Search Results (63)

Let X be a complex projective variety embedded in a complex projective space. The dimensions of the secant varieties of X have an expected value, and it is important to know if they are equal or at least near to this expected value. Blomenhofer and Casarotti proved important results on the embeddings of G-varieties, G being an algebraic group, embedded in the projectivations of an irreducible G-representation, proving that no proper secant variety is a cone. In this paper, we give other conditions which assure that no proper secant varieties of X are a cone, e.g., that X is G-homogeneous. We consider the Segre product of two varieties with the product action and the case of toric varieties. We present conceptual tests for it, and discuss the information we obtained from certain linear projections of X. For the Segre–Veronese embeddings of ${\mathbb{P}}^n\times {\mathbb{P}}^n$ with respect to forms of bidegree $(1,d)$, our results are related to the simultaneous rank of degree d forms in $n+1$ variables. Full article

Bilinear systems can be developed from the point of view of time-varying linear differential equations or from the symmetry of Lie theory, in particular Lie algebras, Lie groups, and Lie semigroups. For bilinear control systems with bounded control range, we analyze when a unique control set (i.e., a maximal set of approximate controllability) with nonvoid interior exists, for the induced system on projective space. We use the system semigroup by considering piecewise constant controls and use spectral properties to extend the result to bilinear systems in ${\mathbb{R}}^d$. The contribution of this paper highlights the relationship between all the existent control sets. We show that the controllability property of a bilinear system is equivalent to the existence and uniqueness of a control set of the projective system. Full article

Quantum channels define key objects in quantum information theory. They are represented by completely positive trace-preserving linear maps in matrix algebras. We analyze a family of quantum channels defined through the use of the Weyl operators. Such channels provide generalization of the celebrated qubit Pauli channels. Moreover, they are covariant with respective to the finite group generated by Weyl operators. In what follows, we study self-adjoint Weyl channels by providing a special Hermitian representation. For a prime dimension of the corresponding Hilbert space, the self-adjoint Weyl channels contain well-known generalized Pauli channels as a special case. We propose multipartite generalization of Weyl channels. In particular, we analyze the power of prime dimensions using finite fields and study the covariance properties of these objects. Full article

This research presents the results of a combined numerical and experimental study of the thermal decomposition behavior of copolymers based on polypropylene glycol fumarate phthalate. The thermal decomposition of polymers plays a key role in various fields, such as waste recycling and energy recovery, and in the development of new materials. The objective of this study is to model the degradation kinetics using thermogravimetric data, matrix-based numerical methods, and quantum chemical calculations. To solve the resulting systems of linear algebraic equations (SLAEs), matrix decomposition algorithms (QR, SVD, and Cholesky) were employed, which enabled the determination of activation energy values for the process. Comparison of the activation energy (E_a) results obtained using the decomposition method of Cholesky (207.21 kJ/mol), normal equations (205.22 kJ/mol), singular value decomposition (206.23 kJ/mol), and QR decomposition (206.23 kJ/mol) showed minor changes that were associated with the features of each method. Quantum chemical calculations based on density functional theory (DFT) at the B3LYP/6-31G(d) level were performed to analyze the molecular structure and interpret the IR spectra. This study establishes that the content of functional groups (ether and ester) and the type of chemical bonds exert critical influences on the decomposition mechanism and associated thermal parameters. The results confirm that the polymer’s structural architecture governs its thermal stability. The scientific novelty of this work lies in the integration of numerical approximation methods and quantum chemical analysis for investigating the thermal behavior of polymers. This approach is applied for the first time to copolymers of this composition and may be employed in the design of heat-resistant materials for agricultural and environmental applications. Full article

Thestability of a control system is essential for its effective operation. Stability implies that small changes in input, initial conditions, or parameters do not lead to significant fluctuations in output. Various stability properties, such as inner stability, asymptotic stability, and BIBO (Bounded Input, Bounded Output) stability, are well understood for classical linear control systems in Euclidean spaces. This paper aims to thoroughly address the stability problem for a class of linear control systems defined on matrix Lie groups. This approach generalizes classical models corresponding to the latter when the group is Abelian and non-compact. It is important to note that this generalization leads to a very difficult control system, due to the complexity of the state space and the special dynamics resulting from the drift and control vectors. Several mathematical concepts help us understand and characterize stability in the classical case. We first show how to extend these algebraic, topological, and dynamical concepts from Euclidean space to a connected Lie group of matrices. Building on classical results, we identify a pathway that enables us to formulate conjectures about stability in this broader context. This problem is closely linked to the controllability and observability properties of the system. Fortunately, these properties are well established for both classes of linear systems, whether in Euclidean spaces or on Lie groups. We are confident that these conjectures can be proved in future work, initially for the class of nilpotent and solvable groups, and later for semi-simple groups. This will provide valuable insights that will facilitate, through Jouan’s Equivalence Theorem, the analysis of an important class of nonlinear control systems on manifolds beyond Lie groups. We provide an example involving a three-dimensional solvable Lie group of rigid motions in a plane to illustrate these conjectures. Full article

The initial attitude error is challenging to satisfy the requirements of the linear model due to the complex nature of the ocean environment. This presents a challenge in the transfer alignment of the ship. In order to enhance the precision and velocity of ship transfer alignment, as well as to streamline the alignment processes, this paper proposes a transfer alignment methodology based on the Earth-Centered Earth-Fixed (ECEF) frame special Euclidean group (SE(3)) matrix Lie group. After introducing the two navigation states, velocity and attitude, from the ECEF frame into SE(3), the nonlinear inertial navigation system error state model and its corresponding measurement equations are derived based on the mapping relationship between the Lie groups and Lie algebra. The method effectively solves the error problem due to linear approximation in the traditional transfer alignment method, and applies to misalignment angles of arbitrary scale. The simulation results verify the effectiveness and rapidity of the proposed alignment method in the case of arbitrary misalignment angles. Full article

The Riordan group of Riordan arrays was first described in 1991, and since then, it has provided useful tools for the study of areas such as combinatorial identities, polynomial sequences (including families of orthogonal polynomials), lattice path enumeration, and linear recurrences. Useful extensions of the idea of a Riordan array have included almost Riordan arrays, double Riordan arrays, and their generalizations. After giving a brief overview of the Riordan group, we define two further extensions of the notion of Riordan arrays, and we give a number of applications for these extensions. The relevance of these applications indicates that these new extensions are worthy of study. The first extension is that of the reverse symmetrization of a Riordan array, for which we give two applications. The first application of this symmetrization is to the study of a family of Riordan arrays whose symmetrizations lead to the famous Robbins numbers as well as to numbers associated with the 20 vertex model of mathematical physics. We provide closed-form expressions for the elements of these arrays, and we also give a canonical Catalan factorization for them. We also describe an alternative family of Riordan arrays whose symmetrizations lead to the same integer sequences. The second application of this symmetrization process is to the area of the enumeration of lattice paths. We remain with the applications to lattice paths for the second extension of Riordan arrays that we introduce, which is the interleaved Riordan array. The methods used include generating functions, linear algebra, weighted compositions, and linear recurrences. In the case of the symmetrization process applied to Riordan arrays, we focus on the principal minor sequences of the resulting square matrices in the context of integrable lattice models. Full article

In this paper, we show the maximal regularity of nonlinear second-order hyperbolic boundary differential equations. We aim to show if the given second-order partial differential operator satisfies the specific ellipticity condition; additionally, if solutions of the function, which are related to the first-order time derivative, possess no poles nor algebraic branch points, then the maximal regularity of nonlinear second-order hyperbolic boundary differential equations exists. This study explores the use of taking the positive definite second-order operator as the generator of an analytic semi-group. We impose specific boundary conditions to make this positive definite second-order operator self-adjoint. As a linear operator, the self-adjoint operator satisfies the linearity property. This, in turn, facilitates the application of semi-group theory and linear operator theory. Full article

In this article, we showcase $PSL(3,4)$ as the automorphism group for a specific class of three linear binary codes, $C_1$, $C_2$ and $C_3$, with dimension 9. The demonstration involves leveraging the action of the group $PSL(3,4)$, represented by invertible matrices of size 9 by 9 up to isomorphism, on the vector space ${F_2}^9$. Additionally, we establish that these codes exhibit a three-weight self-orthogonal property. All computations presented in this paper were performed using the guava package of GAP (Groups, Algorithms, Programming) a system designed for computational discrete algebra. Full article

We propose a new approach to extend the notion of commutator and Lie algebra to algebras with ternary multiplication laws. Our approach is based on the ternary associativity of the first and second kinds. We propose a ternary commutator, which is a linear combination of six triple products (all permutations of three elements). The coefficients of this linear combination are the cube roots of unity. We find an identity for the ternary commutator that holds due to the ternary associativity of either the first or second kind. The form of this identity is determined by the permutations of the general affine group $GA(1,5)\subset S_5$. We consider this identity as a ternary analog of the Jacobi identity. Based on the results obtained, we introduce the concept of a ternary Lie algebra at cube roots of unity and provide examples of such algebras constructed using ternary multiplications of rectangular and three-dimensional matrices. We also highlight the connection between the structure constants of a ternary Lie algebra with three generators and an irreducible representation of the rotation group. The classification of two-dimensional ternary Lie algebras at cube roots of unity is proposed. Full article

Data security is one of the biggest concerns in the modern world due to advancements in technology, and cryptography ensures that the privacy, integrity, and authenticity of such information are safeguarded in today’s digitally connected world. In this article, we introduce a new technique for the construction of non-linear components in block ciphers. The proposed S-box generation process is a transformational procedure through which the elements of a finite field are mapped onto highly nonlinear permutations. This transformation is achieved through a series of algebraic and combinatorial operations. It involves group actions on some pairs of two Galois fields to create an initial S-box $P_{r}Sbox$, which induces a rich algebraic structure. The post S-box $P_{o}Sbox$, which is derived from heuristic group-based optimization, leads to high nonlinearity and other important cryptographic parameters. The proposed S-box demonstrates resilience against various attacks, making the system resistant to statistical vulnerabilities. The investigation reveals remarkable attributes, including a nonlinearity score of 112, an average Strict Avalanche Criterion score of 0.504, and LAP (Linear Approximation Probability) score of 0.062, surpassing well-established S-boxes that exhibit desired cryptographic properties. This novel methodology suggests an encouraging approach for enhancing the security framework of block ciphers. In addition, we also proposed a three-step image encryption technique comprising of Row Permutation, Bitwise XOR, and block-wise substitution using $P_{o}Sbox$. These operations contribute to adding more levels of randomness, which improves the dispersion across the cipher image and makes it equally intense. Therefore, we were able to establish that the approach works to mitigate against statistical and cryptanalytic attacks. The PSNR, UACI, MSE, NCC, AD, SC, MD, and NAE data comparisons with existing methods are also provided to prove the efficiency of the encryption algorithm. Full article

This paper proposes a dead-reckoning (DR) method for vehicles using Lie theory. This approach treats the pose (position and attitude) and velocity of the vehicle as elements of the Lie group ${\mathit{SE}}_2\left(3\right)$ and follows the computations based on Lie theory. Previously employed DR methods, which have been widely used, suffer from cumulative errors over time due to inaccuracies in the calculated changes from velocity during the motion of the vehicle or small errors in modeling assumptions. Consequently, this results in significant discrepancies between the estimated and actual positions over time. However, by treating the pose and velocity of the vehicle as elements of the Lie group, the proposed method allows for accurate solutions without the errors introduced by linearization. The incremental updates for pose and velocity in the DR computation are represented in the Lie algebra. Experimental results confirm that the proposed method improves the accuracy of DR. In particular, as the motion prediction time interval of the vehicle increases, the proposed method demonstrates a more pronounced improvement in positional accuracy. Full article

In this paper, we define a cohomology theory of a modified $\lambda$-differential left-symmetric algebra. Moreover, we introduce the notion of modified $\lambda$-differential left-symmetric 2-algebras, which is the categorization of a modified $\lambda$-differential left-symmetric algebra. As applications of cohomology, we classify linear deformations and abelian extensions of modified $\lambda$-differential left-symmetric algebras using the second cohomology group and classify skeletal modified $\lambda$-differential left-symmetric 2-algebra using the third cohomology group. Finally, we show that strict modified $\lambda$-differential left-symmetric 2-algebras are equivalent to crossed modules of modified $\lambda$-differential left-symmetric algebras. Full article

The realization of a BRST cohomology of the 4D topological gauge-affine gravity is established in terms of a superconnection formalism. The identification of fields in the quantized theory occurs directly as is usual in terms of superconnection and its supercurvature components with the double covering of the general affine group $\overline{GA}(4,\mathbb{R})$. Then, by means of an appropriate decomposition of the metalinear double-covering group $\overline{SL}(5,\mathbb{R})$ with respect to the general linear double-covering group $\overline{GL}(4,\mathbb{R})$, one can easily obtain the enlargements of the fields while remaining consistent with the BRST algebra. This leads to the descent equations, allowing us to build the observables of the theory by means of the BRST algebra constructed using a $\overline{sa}(5,\mathbb{R})$ algebra-valued superconnection. In particular, we discuss the construction of topological invariants with torsion. Full article

This paper presents a sensor fusion method for navigation of unmanned underwater vehicles. The method combines Lie theory into Kalman filter to estimate and compensate for the misalignment between the sensors: inertial navigation system and Doppler Velocity Log (DVL). In the process and measurement model equations, a 3-dimensional Euclidean group ($\mathit{SE}\left(3\right)$) and 3-sphere space (${\mathit{S}}^3$) are used to express the pose (position and attitude) and misalignment, respectively. $\mathit{SE}\left(3\right)$ contains position and attitude transformation matrices, and ${\mathit{S}}^3$ comprises unit quaternions. The increments in pose and misalignment are represented in the Lie algebra, which is a linear space. The use of Lie algebra facilitates the application of an extended Kalman filter (EKF). The previous EKF approach without Lie theory is based on the assumption that a non-differentiable space can be approximated as a differentiable space when the increments are sufficiently small. On the contrary, the proposed Lie theory approach enables exact differentiation in a differentiable space, thus enhances the accuracy of the navigation. Furthermore, the convergence and stability of the internal parameters, such as the Kalman gain and measurement innovation, are improved. Full article