On the structure tensor of sl_n

DOI10.1016/J.LAA.2022.08.012MaRDI QIDQ2676747zbMATH OpenOpenAlexWikidataFDO

Authors Kashif Bari

Publication date 28 September 2022

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.08171

zbMATH Keywords

Lie algebrarankstructure tensor

Mathematics Subject Classification ID

Classical groups (algebro-geometric aspects) (14L35) Multilinear algebra, tensor calculus (15A69)

Abstract: The structure tensor of $mathfrak{sl}_n$, denoted $T_{mathfrak{sl}_n}$, is the tensor arising from the Lie bracket bilinear operation on the set of traceless $nimesn$ matrices over $mathbbC$. This tensor is intimately related to the well studied matrix multiplication tensor. Studying the structure tensor of $mathfrak{sl}_n$ may provide further insight into the complexity of matrix multiplication and the "hay in a haystack" problem of finding explicit sequences tensors with high rank or border rank. We aim to find new bounds on the rank and border rank of this structure tensor in the case of $mathfrak{sl}_3$ and $mathfrak{sl}_4$. We additionally provide bounds in the case of the lie algebras $mathfrak{so}_4$ and $mathfrak{so}_5$. The lower bounds on the border ranks were obtained via various recent techniques, namely Koszul flattenings, border substitution, and border apolarity. Upper bounds on the rank of $T_{mathfrak{sl}_3}$ are obtained via numerical methods that allowed us to find an explicit rank decomposition.

Review text

The structure tensor \(T_n\) of the algebra \(\mathfrak{sl}_n\) of traceless \(n\times n\) matrices is the tensor associated with the bracket bilinear operator \([x,y]=xy-yx\) which defines the algebra. The study of the rank of \(T_n\) is related with the complexity of the product of matrices. One can show indeed that the exponent of the power of two which approximates the rank of \(T_n\), when \(n\) grows, is asymptotically the same of the exponent that arises from the matrix multiplication tensors. The author studies bounds for the rank and the border rank of \(T_n\), for some small value of \(n\), i.e. \(n=3,4\). In particular the author shows that rank\((T_3)\leq 20\), and that the border rank of \(T_3\) (resp. \(T_4\)) is bounded below by \(16\) (resp. \(28\)). The author also describes lower bounds for the border rank of the structure tensors of \(\mathfrak{so}_4\) and \(\mathfrak{so}_5\).

Recommendations

• On the multiplicative complexity of Lie algebras
• On tensors of border rank \(l\) in \({\mathbb C}^{m\times n\times l}\)
• A \(2\mathbf{n}^2-\log_2(\mathbf{n})-1\) lower bound for the border rank of matrix multiplication
• Tensor rank: matching polynomials and Schur rings
• On the geometry of geometric rank

Cites work

• Algebraic Geometry. I: Complex projective varieties.
• Apolarity, border rank, and multigraded Hilbert scheme
• Basic algebraic geometry 1. Varieties in projective space. Translated from the Russian by Miles Reid
• Gaussian elimination is not optimal
• Geometry and complexity theory
• scientific article; zbMATH DE number 4005608 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 3999285 (Why is no real title available?)
• New lower bounds for the border rank of matrix multiplication
• On the geometry of border rank decompositions for matrix multiplication and other tensors with symmetry
• Polynomials and the exponent of matrix multiplication
• Rank and border rank of Kronecker powers of tensors and Strassen's laser method
• Rank and optimal computation of generic tensors
• Relations between exact and approximate bilinear algorithms. Applications
• Typical tensorial rank
• Ubiquity of the exponent of matrix multiplication

Cited in

(6)

• On the internal tensor structures of the fibration \(T(\operatorname{Lm}(Vn))\)
• Derangements and tensor powers of adjoint modules for \(\mathfrak{sl}_n\)
• On the multiplicative complexity of simple the Lie algebras \(G_2\), \(F_4\), \(E_6\), \(E_7\), \(E_8\) and of semisimple Lie algebras
• On tensor product decomposition of \(\widehat{\mathfrak{sl}}(n)\) modules
• Tensor invariants of the Lie algebra \(sl_ 2(\mathbb{C} [t])\) and fundamental representations of the Lie algebra \(\widehat{sp}_{2n}\)
• Two classes of minimal generic fundamental invariants for tensors

This page was built for publication: On the structure tensor of \(\mathfrak{sl}_n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2676747)