Abstract:We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undecidability to real polynomials. Specifically, we define invariant decompositions of polynomials and characterize which polynomials admit such decompositions. We then include positivity: We define invariant separable and sum-of-squares decompositions, and characterize the polynomials similarly. We provide inequalities and separations between the ranks of the decompositions, and show that the separations are not robust with respect to approximations. For cyclically invariant decompositions, we show that it is undecidable whether the polynomial is nonnegative or sum-of-squares for all system sizes. Our work sheds new light on polynomials by putting them on an equal footing with tensors, and opens the door to extending this framework to other tensor product structures.

Tensor polynomial identities

The $2\times 2$-upper triangular matrix algebra and its generalized polynomial identities

Novel identities for elementary and complete symmetric polynomials with diverse applications

Polynomial decompositions with invariance and positivity inspired by tensors

T-Quadratic Forms and Spectral Analysis of T-Symmetric Tensors

Enumeration formulas for Young tableaux in a diagonal strip

Tensor spaces and the geometry of polynomial representations

Identities And Relations On The Hermite-based Tangent Polynomials

Diagonalizable higher degree forms and symmetric tensors

Inequalities on Generalized Tensor Functions with Diagonalizable and Symmetric Positive Definite Tensors

T-Jordan Canonical Form and T-Drazin Inverse Based on the T-Product

Identities for vacillating tableaux via growth diagrams

Some Symmetric Identities Involving a Sequence of Polynomials.

Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension.

On symmetric Tetranacci polynomials in mathematics and physics

A new classification of algebraic identities for linear operators on associative algebras

Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux

Tensor fundamental theorems of invariant theory

Set partitions, tableaux, and subspace profiles under regular diagonal matrices

On a general notion of a polynomial identity and codimensions