A spectral theory for transverse tensor operators

Abstract

Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of the optimally-compressed tensor product spaces over algebras, called \emph{densors}. This gives structural insights for tensors and improves how we recognize tensors in arbitrary reference frames. Using work of Eisenbud--Sturmfels on binomial ideals, we classify the maximal groups and categories of transverse operators, leading us to general tensor data types and categorical tensor decompositions, amenable to theorems like Jordan--Hölder and Krull--Schmidt. All categorical tensor substructure is detected by transverse operators whose spectra contain a Stanley--Reisner ideal, which can be analyzed with combinatorial and geometrical tools via their simplicial complexes. Underpinning this is a ternary Galois correspondence between tensor spaces, multivariable polynomial ideals, and transverse operators. This correspondence can be computed in polynomial time. We give an implementation in the computer algebra system \textsf{Magma}.

arXiv comment45 pages, 6 figures

References in corpus (13)

• Classification of multipartite entangled states by multidimensional determinants
• The polynomial invariants of four qubits
• E-Determinants of Tensors
• Canonical matrices for linear matrix problems
• Isomorphism in expanding families of indistinguishable groups
• A fast isomorphism test for groups of genus 2
• On the Complexity of the F5 Gröbner basis Algorithm
• The average size of the kernel of a matrix and orbits of linear groups
• Skolem-Noether for nilpotent products
• The threshold for subgroup profiles to agree is $\Omega (\log n)$
• The average size of the kernel of a matrix and orbits of linear groups, II: duality
• General Bilinear Forms
• Exact sequences of inner automorphisms of tensors

Cited by in corpus (2)

• Exact sequences of inner automorphisms of tensors
• Tensor Isomorphism by conjugacy of Lie algebras