Search Results (114)

This paper presents a systematic investigation into the solvability and the general solution of a tensor equation system within the split quaternion algebra framework. As an extension of classical quaternions with distinctive pseudo-Euclidean properties, split quaternions offer unique advantages in multidimensional signal processing applications. We establish rigorous necessary and sufficient conditions for the existence of solutions to the proposed tensor equation system, accompanied by explicit formulations for general solutions when solvability criteria are satisfied. The theoretical framework is further strengthened by the development of computational algorithms and numerical validations through concrete examples. Notably, we demonstrate the practical implementation of our theoretical findings through encryption/decryption algorithms for color video data. Full article

We explore the equivalence between the low-energy dynamics of strained graphene and a quantum mechanical framework for the 2D Dirac equation in flat space with a deformed momentum operator. By considering some common forms of the anisotropic Fermi velocity tensor emerging from the elasticity theory, we associate such tensor forms with a deformation of the momentum operator. We first explore the bound states of charge carriers in a background uniform magnetic field in this framework and quantify the impact of strain in the energy spectrum. Then, we use a quadrature algebra formula as a mathematical tool to analyze the impact of the deformation attached to the momentum operator and identify physical consequences of such deformation in terms of energy modifications due to the applied strain. Full article

In this paper, we extend the definition of tensor products from using an invertible matrix to utilising right-invertible matrices, exploring the algebraic properties of these new tensor products. Based on this novel definition, we define the concepts of tensor rank and tensor nuclear norm, ensuring consistency with their matrix counterparts, and derive a singular value thresholding (${\ast }_{L,R}$ SVT) formula to approximately solve the subproblems in the alternating direction method of multipliers (ADMM), which is integral to our proposed tensor robust principal component analysis (${\ast }_{LR}$ TRPCA) algorithm. The computational complexity of the ${\ast }_{LR}$ TRPCA algorithm is $O(k·(n_1{n}_2{n}_3+p·\min (n_1^2{n}_2,n_1{n}_2^2)))$ for k iterations. According to this complexity analysis, by using a right-invertible matrix that selects p rows from the $n_3$ rows of the invertible matrix used in the tensor product with an invertible matrix, the computational load is approximately reduced to $p/n_3$ of what it would be with an invertible matrix, highlighting the efficiency gain in terms of computational resources. We apply this efficient algorithm to grayscale video denoising and motion detection problems, where it demonstrates significant improvements in processing speed while maintaining comparable quality levels to existing methods, thereby providing a promising approach for handling multi-linear data and offering valuable insights for advanced data analysis tasks. Full article

The aim of this work is to demonstrate that all linear derivatives of the tensor algebra over a smooth manifold M can be viewed as specific cases of a broader concept—the operation of derivation. This approach reveals the universal role of differentiation, which simplifies and generalizes the study of tensor derivatives, making it a powerful tool in Differential Geometry and related fields. To perform this, the generic derivative is introduced, which is defined in terms of the quantities $Q_k^{\left(i\right)}\left(X\right)$. Subsequently, the transformation law of these quantities is determined by the requirement that the generic derivative of a tensor is a tensor. The quantities $Q_k^{\left(i\right)}\left(X\right)$ and their transformation law define a specific geometric object on M, and consequently, a geometric structure on M. Using the generic derivative, one defines the tensor fields of torsion and curvature and computes them for all linear derivatives in terms of the quantities $Q_k^{\left(i\right)}\left(X\right)$. The general model is applied to the cases of Lie derivative, covariant derivative, and Fermi derivative. It is shown that the Lie derivative has non-zero torsion and zero curvature due to the Jacobi identity. For the covariant derivative, the standard results follow without any further calculations. Concerning the Fermi derivative, this is defined in a new way, i.e., as a higher-order derivative defined in terms of two derivatives: a given derivative and the Lie derivative. Being linear derivative, it has torsion and curvature tensor. These fields are computed in a general affine space from the corresponding general expressions of the generic derivative. Applications of the above considerations are discussed in a number of cases. Concerning the Lie derivative, it is been shown that the Poisson bracket is in fact a Lie derivative. Concerning the Fermi derivative, two applications are considered: (a) the explicit computation of the Fermi derivative in a general affine space and (b) the consideration of Freedman–Robertson–Walker spacetime endowed with a scalar torsion field, which satisfies the Cosmological Principle and the computation of Fermi derivative of the spatial directions defining a spatial frame along the cosmological fluid of comoving observers. It is found that torsion, even in this highly symmetric case, induces a kinematic rotation of the space axes, questioning the interpretation of torsion as a spin. Finally it is shown that the Lie derivative of the dynamical equations of an autonomous conservative dynamical system is equivalent to the standard Lie symmetry method. Full article

This paper introduces a novel closed-form coordinate-free expression for the higher-order Cayley transform, a concept that has not been explored in depth before. The transform is defined by the Lie algebra of three-dimensional vectors into the Lie group of proper orthogonal Euclidean tensors. The approach uses only elementary algebraic calculations with Euclidean vectors and tensors. The analytical expressions are given by rational functions by the Euclidean norm of vector parameterization. The inverse of the higher-order Cayley map is a multi-valued function that recovers the higher-order Rodrigues vectors (the principal parameterization and their shadows). Using vector parameterizations of the Euler and higher-order Rodrigues vectors, we determine the instantaneous angular velocity (in space and body frame), kinematics equations, and tangent operator. The analytical expressions of the parameterized quantities are identical for both the principal vector and shadows parameterization, showcasing the novelty and potential of our research. Full article

Practical algorithms for computing canonical forms of multi-digraphs do not exist in the literature. This paper proposes two practical approaches for finding canonical forms, from the perspective of nD symbolic computation. Initially, the approaches turn the problem of finding canonical forms of multi-digraphs into computing canonical forms of indexed monomials in computer algebra. Then, the first approach utilizes the double coset representative method in computational group theory for canonicalization of indexed monomials and shows that finding the canonical forms of a class of multi-digraphs in practice has polynomial complexity of approximately $O\left({(k+p)}^2\right)$ or $O\left(k^{2.1}\right)$ by the computer algebra system (CAS) tool Tensor-canonicalizer. The second approach verifies the equivalence of canonicalization of indexed monomials and finding canonical forms of (simple) colored tripartite graphs. It is found that the proposed algorithm takes approximately $O\left({(k+2p)}^{4.803}\right)$ time for a class of multi-digraphs in practical implementation, combined with one of the best known graph isomorphism tools Traces, where k and p are the vertex number and edge number of a multi-digraph, respectively. Full article

In this paper, we propose a definition of block tensors and the real representation of tensors. Equipped with the simplification method, i.e., the real representation along with the M-P inverse, we demonstrate the conditions that are necessary and sufficient for the system of dual split quaternion tensor equations $(\mathcal{A}{\ast }_N\mathcal{X},\mathcal{X}{\ast }_S\mathcal{C})=(\mathcal{B},\mathcal{D})$, when its solution exists. Furthermore, the general expression of the solution is also provided when the solution of the system exists, and we use a numerical example to validate it in the last section. To the best of our knowledge, this is the first time that the aforementioned tensor system has been examined on dual split quaternion algebra. Additionally, we provide its equivalent conditions when its Hermitian solution $\mathcal{X}={\mathcal{X}}^{\ast }$ and $\eta$-Hermitian solutions $\mathcal{X}={\mathcal{X}}^{\eta \ast }$ exist. Subsequently, we discuss two special dual split quaternion tensor equations. Last but not least, we propose an application for encrypting and decrypting two color videos, and we validate this algorithm through a specific example. Full article

Theano, TensorFlow, Keras, Torch, PyTorch, and other software frameworks have remarkably stimulated the popularity of deep learning (DL). Apart from all the good they achieve, the danger of such frameworks is that they unintentionally spur a black-box attitude. Some practitioners play around with building blocks offered by frameworks and rely on them, having a superficial understanding of the internal mechanics. This paper constitutes a concise tutorial that elucidates the flows of signals and gradients in deep neural networks, enabling readers to successfully implement a deep network from scratch. By “from scratch”, we mean with access to a programming language and numerical libraries but without any components that hide DL computations underneath. To achieve this goal, the following five topics need to be well understood: (1) automatic differentiation, (2) the initialization of weights, (3) learning algorithms, (4) regularization, and (5) the organization of computations. We cover all of these topics in the paper. From a tutorial perspective, the key contributions include the following: (a) proposition of R and S operators for tensors—rashape and stack, respectively—that facilitate algebraic notation of computations involved in convolutional, pooling, and flattening layers; (b) a Python project named hmdl (“home-made deep learning”); and (c) consistent notation across all mathematical contexts involved. The hmdl project serves as a practical example of implementation and a reference. It was built using NumPy and Numba modules with JIT and CUDA amenities applied. In the experimental section, we compare hmdl implementation to Keras (backed with TensorFlow). Finally, we point out the consistency of the two in terms of convergence and accuracy, and we observe the superiority of the latter in terms of efficiency. Full article

The effects of relaxation, convection, and anisotropy on a two-dimensional, two-equation system of nonlinearly coupled, second-order hyperbolic, advection–reaction–diffusion equations are studied numerically by means of a three-time-level linearized finite difference method. The formulation utilizes a frame-indifferent constitutive equation for the heat and mass diffusion fluxes, taking into account the tensorial character of the thermal diffusivity of heat and mass diffusion. This approach results in a large system of linear algebraic equations at each time level. It is shown that the effects of relaxation are small although they may be noticeable initially if the relaxation times are smaller than the characteristic residence, diffusion, and reaction times. It is also shown that the anisotropy associated with one of the dependent variables does not have an important role in the reaction wave dynamics, whereas the anisotropy of the other dependent variable results in transitions from spiral waves to either large or small curvature reaction fronts. Convection is found to play an important role in the reaction front dynamics depending on the vortex circulation and radius and the anisotropy of the two dependent variables. For clockwise-rotating vortices of large diameter, patterns similar to those observed in planar mixing layers have been found for anisotropic diffusion tensors. Full article

This study introduces an innovative integration of Laban Movement Analysis (LMA) with biomechanical principles to examine the golf swing dynamics from an ecological perspective. Traditionally, LMA focuses on the qualitative aspects of movement, often isolated from external influences. This research bridges that gap by investigating how golfers manage and adapt to the inertial forces of the club throughout the swing. Using motion tracking sensors and screw theory, we analyzed the spatial movement pattern in the Kinesphere (mapped as an icosahedron) and related it to force dynamics in the Effort Cube through the inertia tensor. The results showed significant differences between skilled and novice golfers in terms of how efficiently they align their movements with the club’s inertia. Skilled golfers demonstrated smoother Instantaneous Screw Axes (ISAs) and better synchronization with inertia forces, while novice golfers exhibited more abrupt deviations. These findings suggest that integrating qualitative movement descriptors with biomechanical models provides deeper insights into swing efficiency, performance improvement, and injury prevention. This combined framework offers a novel method to enhance both qualitative and quantitative analysis of golf swings. Full article

This paper presents a methodology for accurately incorporating the nonlinearity of boundary conditions (BCs) into the mode shapes, natural frequencies, and dynamic behaviour of analytical beam models. Such models have received renewed interest in recent years as a result of their successful implementation in state-of-the-art multiphysics problems. To address the need for this boundary nonlinearity to be more completely captured in the equations of motion, a nonlinear algebra expansion of the classical linear approach for developing solvability conditions for natural frequencies and mode shapes is presented. The method is applicable to any BC that can be accurately represented in polynomial form, either explicitly or through the application of a Taylor expansion; this is the only assumption made in removing the need for the use of analytical approximations of the dynamics themselves. By reducing the BCs of the beam to a system of polynomials, it is possible to utilise the tensor resultant to develop these solvability conditions analogous to the conditions placed on the matrix determinant in linear, classical cases. The approach is first derived for a general set of nonlinear BCs before being applied to two example systems to investigate the importance of including nonlinear tip behaviour in the BCs to accurately predict the system response. In the first, a theoretical, symmetric system, in which a beam is supported by nonlinear springs, is used to explore both the applicability of the methodology and the improvements it can make to the accuracy of the model. Then, the more practical example of a cantilever beam with repulsive magnetic interaction at the tip is used to more explicitly assess the importance of properly incorporating boundary nonlinearity into multiphysics problems. Full article

We study Lorentzian contact and Lorentzian–Sasakian structures in Hom-Lie algebras. We find that the three-dimensional $\mathfrak{sl}(2,\mathbb{R})$ and Heisenberg Lie algebras provide examples of such structures, respectively. Curvature tensor properties in Lorentzian–Sasakian Hom-Lie algebras are investigated. If v is a contact 1-form, conditions under which the Ricci curvature tensor is v-parallel are given. Ricci solitons for Lorentzian–Sasakian Hom-Lie algebras are also studied. It is shown that a Ricci soliton vector field $\zeta$ is conformal whenever the Lorentzian–Sasakian Hom-Lie algebra is Ricci semisymmetric. To illustrate the use of the theory, a two-parameter family of three-dimensional Lorentzian–Sasakian Hom-Lie algebras which are not Lie algebras is given and their Ricci solitons are computed. Full article

Dual algebra plays an important role in kinematic synthesis and dynamic analysis, but there are still few studies on dual quaternion matrix theory. This paper provides an efficient method for solving the QLY least squares problem of the dual quaternion matrix equation $AXB+CYD\approx E$, where X, Y are unknown dual quaternion matrices with special structures. First, we define a semi-tensor product of dual quaternion matrices and study its properties, which can be used to achieve the equivalent form of the dual quaternion matrix equation. Then, by using the dual representation of dual quaternion and the $\mathcal{GH}$-representation of special dual quaternion matrices, we study the expression of QLY least squares Hermitian solution of the dual quaternion matrix equation $AXB+CYD\approx E$. The algorithm is given and the numerical examples are provided to illustrate the efficiency of the method. Full article

Optical real-time data processing is advancing fields like tensor algebra acceleration, cryptography, and digital holography. This technology offers advantages such as reduced complexity through optical fast Fourier transform and passive dot-product multiplication. In this study, the proposed Reconfigurable Complex Convolution Module (RCCM) is capable of independently modulating both phase and amplitude over two million pixels. This research is relevant for applications in optical computing, hardware acceleration, encryption, and machine learning, where precise signal modulation is crucial. We demonstrate simultaneous amplitude and phase modulation of an optical two-dimensional signal in a thin lens’s Fourier plane. Utilizing two spatial light modulators (SLMs) in a Michelson interferometer placed in the focal plane of two Fourier lenses, our system enables full modulation in a 4F system’s Fourier domain. This setup addresses challenges like SLMs’ non-linear inter-pixel crosstalk and variable modulation efficiency. The integration of these technologies in the RCCM contributes to the advancement of optical computing and related fields. Full article

This paper investigates the one-bit function perturbation (OBFP) impact on the robust set stability of Boolean networks with disturbances (DBNs). Firstly, the dynamics of these networks are converted into the algebraic forms utilizing the semi-tensor product (STP) method. Secondly, OBFP’s impact on the robust set stability of DBNs is divided into two situations. Then, by constructing a state set and defining an index vector, several necessary and sufficient conditions to guarantee that a DBN under OBFP can stay robust set stable unchanged are provided. Finally, a biological example is proposed to demonstrate the effectiveness of the obtained theoretical results. Full article