Cayley's hyperdeterminant: A combinatorial approach via representation theory

DOI10.1016/J.LAA.2012.01.037zbMATH Open1270.15016arXiv1106.5068OpenAlexW1974126243MaRDI QIDQ417565FDOQ417565

Authors: Mikelis G. Bickis, Mohsen Soltanifar, Murray R. Bremner 

Publication date: 14 May 2012

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

Abstract: Cayley's hyperdeterminant is a homogeneous polynomial of degree 4 in the 8 entries of a 2 x 2 x 2 array. It is the simplest (nonconstant) polynomial which is invariant under changes of basis in three directions. We use elementary facts about representations of the 3-dimensional simple Lie algebra sl_2(C) to reduce the problem of finding the invariant polynomials for a 2 x 2 x 2 array to a combinatorial problem on the enumeration of 2 x 2 x 2 arrays with non-negative integer entries. We then apply results from linear algebra to obtain a new proof that Cayley's hyperdeterminant generates all the invariants. In the last section we show how this approach can be applied to general multidimensional arrays.

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

Recommendations

• On the hyperdeterminant for \(2\times 2\times 3\) arrays
• Introduction to the Hyperdeterminant and to the Rank of Multidimensional Matrices
• Construction of hyperdeterminants
• Hyperdeterminants
• Publication:4351294

zbMATH Keywords

representation theorypolynomial invariantsCayley hyperdeterminantmultidimensional matrices

Mathematics Subject Classification ID

Contingency tables (62H17) Vector and tensor algebra, theory of invariants (15A72) Combinatorial aspects of representation theory (05E10) Determinants, permanents, traces, other special matrix functions (15A15) Representations of Lie algebras and Lie superalgebras, algebraic theory (weights) (17B10) Actions of groups on commutative rings; invariant theory (13A50)

Cites Work

• Tensor Decompositions and Applications
• Kruskal's polynomial for \(2 \times{}2 \times{}2\) arrays and a generalization to \(2 \times{}n \times{}n\) arrays
• Three-way arrays: rank and uniqueness of trilinear decompositions, with application to arithmetic complexity and statistics
• Tensor Rank and the Ill-Posedness of the Best Low-Rank Approximation Problem
• Title not available (Why is that?)
• Lie groups. An approach through invariants and representations
• Naive Lie Theory
• Introduction to Lie Algebras and Representation Theory
• A geometric approach to the Kronecker problem. I: The two row case.
• Title not available (Why is that?)
• Tensor rank is NP-complete
• Introduction to Lie algebras
• Title not available (Why is that?)
• Hyperdeterminants
• Binary cumulant varieties
• Phylogenetic invariants for stationary base composition
• The rank of a 2 × 2 × 2 tensor
• Algebraic invariants of five qubits
• The hyperdeterminant and triangulations of the 4-cube
• On polynomial invariants of several qubits
• Irreducible finite-dimensional representations of equivariant map algebras
• Subtracting a best rank-1 approximation may increase tensor rank
• Brunn--Minkowski inequalities for contingency tables and integer flows

Cited In (12)

• The work of Gian-Carlo Rota on invariant theory
• Stabilizers for nondegenerate matrices of boundary format and Steiner bundles
• Rank classification of \(2 \times 2 \times 2 \times 2 \times 2\) tensors over \(\mathbb F_2\)
• Canonical forms of \(2\times 2\times 2\) and \(2\times 2\times 2\times 2\) arrays over \(\mathbb F_2\) and \(\mathbb F_3\)
• Title not available (Why is that?)
• On the hyperdeterminant for \(2\times 2\times 3\) arrays
• The maximum rank of \(2 \times \cdots \times 2\) tensors over \(\mathbb{F}_2\)
• The \(3\times 3\times 3\) hyperdeterminant as a polynomial in the fundamental invariants for \(\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\)
• Quantum hyperdeterminants and hyper-Pfaffians
• Polynomial identities for hyper-matrices
• Hyperdeterminant of an \(SL_{2}\)-homomorphism
• Fundamental invariants for the action of \(SL_{3}(\mathbb{C}) \times SL_{3}(\mathbb{C}) \times SL_{3}(\mathbb{C})\) on \(3 \times 3 \times 3\) arrays

This page was built for publication: Cayley's hyperdeterminant: A combinatorial approach via representation theory

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