---
title: Young Flattenings in Tensors & Polynomials
url: https://www.emergentmind.com/topics/young-flattenings
type: topic
---

# Young Flattenings in Tensors & Polynomials

Young flattenings are representation-theoretic generalized flattenings of tensors and homogeneous polynomials, built from Schur functors and Pieri maps, and used to produce determinantal equations for secant varieties together with lower bounds for border rank. In the literature summarized here, they appear both in multilinear form for tensors and in symmetric form for polynomials, where they refine ordinary matricizations by exploiting the full \(GL(V)\)-module structure rather than only a partition of tensor indices. They are central to several strands of work on tensor rank, border rank, secant geometry, and algebraic complexity, including monomial border ranks, Chow and Veronese secant varieties, determinant and permanent complexity, and recent algorithmic developments [1705.09379] [1608.02530].

## 1. Definition and representation-theoretic construction

Ordinary flattenings rearrange tensor indices to form a matrix; for \(t \in V_1 \otimes V_2 \otimes V_3\), one may group modes as \(V_1 \mid (V_2 \otimes V_3)\), \(V_2 \mid (V_1 \otimes V_3)\), or \(V_3 \mid (V_1 \otimes V_2)\). Generalized flattenings replace such reshaping by an arbitrary linear map
\[
F: V_1 \otimes V_2 \otimes V_3 \to V_1' \otimes V_2',
\]
and Young flattenings are a special, representation-theoretic kind of generalized flattening using the Pieri rule and Schur functors [1705.09379].

For symmetric tensors, Young flattenings are described in terms of partitions \(\lambda,\mu\) and Schur modules \(S_\lambda V, S_\mu V\). One construction starts from a \(GL(V)\)-equivariant Pieri inclusion
\[
S_\mu V \to S^dV \otimes S_\lambda V,
\]
and contraction with \(f \in S^dV\) yields a linear map
\[
F_{\lambda,\mu}(f): S_\mu V \longrightarrow S_\lambda V.
\]
A second standard presentation writes the Pieri map as
\[
\varphi_{\lambda,\mu}: S^dV \otimes S^\lambda V \to S^\mu V,
\]
with \(d = |\mu|-|\lambda|\), and the associated flattening as
\[
\mathcal{F}_{\lambda,\mu}(P): S_\lambda V \to S_\mu V.
\]
The cited literature explicitly uses these equivalent descriptions in different module conventions [1608.02530] [2104.02363].

In suitable bases of semistandard Young tableaux, Young flattenings are represented by matrices whose entries are homogeneous polynomials in the coefficients of the input polynomial. This tableau-level realization is not merely notational: it is the basis for explicit computation, for rank calculations, and for the derivation of determinantal equations for secant varieties [1608.02530] [2104.02363].

## 2. Rank certificates and secant-variety equations

The operational significance of a flattening is that matrix rank furnishes a border-rank certificate. For a generalized flattening \(F\), the basic estimate is
\[
\underline{\operatorname{R}}(t) \geq \frac{\operatorname{rank}(F(t))}{\max \operatorname{rank}(F(u))},
\]
where the maximum is taken over simple tensors \(u\). This is the framework in which Young flattenings are used as lower-bound methods [1705.09379].

For symmetric tensors, the standard border-rank criterion is expressed relative to the reference point \(x_0^d\). If
\[
m=\operatorname{rank}F_{\lambda,\mu}(x_0^d)
\]
and \(f\) has border rank \(r\), then \(F_{\lambda,\mu}(f)\) has rank at most \(mr\). Hence, if \(F_{\lambda,\mu}(f)\) has rank \(k\), then
\[
\operatorname{Brank}(f) \geq \left\lceil \frac{k}{m} \right\rceil.
\]
This rank-quotient principle is the standard bridge from representation-theoretic linear algebra to border-rank lower bounds [1608.02530].

The same matrices also provide equations for secant varieties. The vanishing of suitable minors of a Young flattening matrix gives determinantal equations for secant varieties of the Veronese and related varieties. In the Chow setting, Koszul Young flattenings produce minors that lie in the ideal of \(Ch_d(V)\), and analogous rank bounds yield set-theoretic equations for secant varieties \(\sigma_r(Ch_d(V))\) [1510.00886].

## 3. Tensor products and multiplicativity phenomena

A notable structural property is that lower bounds on border rank obtained from generalized flattenings, including Young flattenings, multiply under tensor product. If \(s,t\) are tensors and \(F_1,F_2\) are generalized flattenings for them, then for \(s \otimes t\),
\[
\underline{\operatorname{R}}(s \otimes t) \geq
\frac{\operatorname{rank}(F_1(s))}{\max \operatorname{rank}(F_1(\mathrm{simple\ tensor}))}
\cdot
\frac{\operatorname{rank}(F_2(t))}{\max \operatorname{rank}(F_2(\mathrm{simple\ tensor}))}.
\]
The same specialization applies to Young flattenings built from Pieri inclusions [1705.09379].

The linear-algebraic reason is that the tensor-product flattening is constructed as \(F_1 \otimes F_2\), and matrix rank is multiplicative under Kronecker product. The representation-theoretic reason given in the cited work is that the Pieri inclusions and their ranks on simple tensors remain compatible under tensor product, so the denominator retains the same factorized form [1705.09379].

This multiplicativity sharply contrasts with tensor rank itself. Tensor rank is submultiplicative under tensor product, but not multiplicative in general: if a tensor \(t\) has border rank strictly smaller than rank, then the tensor rank of a sufficiently high tensor power \(t^{\otimes n}\) is strictly smaller than \((\operatorname{R}(t))^n\). By contrast, the flattening-derived lower bounds multiply exactly, even though multiplicativity of border rank and asymptotic rank remains open [1705.09379].

## 4. Monomials, optimal shapes, and Chow-type applications

For monomials, the effectiveness of Young flattenings depends strongly on the choice of partition shape. For a monomial
\[
x^\alpha = x_0^{\alpha_0}\cdots x_n^{\alpha_n},
\]
a monomial-optimal shape is defined by
\[
\lambda = \left(\sum_{i=1}^n\alpha_i, \sum_{i=1}^{n-1}\alpha_i, \ldots, \alpha_1, 0\right).
\]
Under the dominance conditions stated in the monomial study,
\[
\mathrm{rank}\ F_{\lambda,(d,\lambda)}(x^\alpha)
=
\dim S_\lambda V_0 \cdot \prod_{i=1}^n (\alpha_i+1).
\]
This yields the best possible lower bound for large classes of monomials, including all monomials up to degree \(6\), monomials in \(3\) variables, and any power of the product of variables [1608.02530].

The same work also delineates the limits of the method. For degree \(7\) and higher there are monomials for which no Young flattening can give a lower bound that matches the conjecturally tight upper bound of Landsberg and Teitler. The paper therefore presents Young flattenings not as universally optimal, but as a powerful family with a describable ceiling on monomial problems [1608.02530].

Koszul Young flattenings sharpen this picture for products of variables and Chow varieties. For \(P \in S^dV\), \(1 \le k < d\), and \(1 \le p < d\), the Koszul Young flattening is
\[
P_{k,d-k}^{\wedge p}: S^kV^* \otimes \Lambda^p V
\longrightarrow
S^{d-k-1}V \otimes \Lambda^{p+1}V.
\]
For \(P=x_1x_2\cdots x_d\), the paper computes the rank explicitly as \(\mathbf{S}(p,d,k)\), proves that the minors of size \(\mathbf{S}(p,d,k)+1\) lie in the ideal of the Chow variety \(Ch_d(V)\), and derives the lower bound
\[
\underline{\mathbf{R}_S}(x_1 \cdots x_{2n+1})
\ge
\binom{2n+1}{n}
\left(
1+\frac{n^2}{(n+1)^2(2n-1)}
\right),
\]
which improves over the classical flattening bound \(\binom{d}{\lfloor d/2 \rfloor}\) for odd \(d\) [1510.00886].

## 5. Determinant, permanent, and invariant-tensor applications

Young flattenings and their Koszul specializations are deeply connected to algebraic complexity, especially for determinant and permanent polynomials. In the symmetric setting, Koszul-Young flattenings were used to obtain new lower bounds for the symmetric border rank of the \(n \times n\) determinant for all \(n\), as well as further lower bounds for the \(3 \times 3\) permanent. For \(n \ge 5\), the resulting bounds improve the earlier \(\binom{n}{\lfloor n/2 \rfloor}^2\) estimate by explicit rational correction factors; for \(n=4\), the paper proves \(\underline{R}_s(\det_4)\ge 38\), and for \(n=3\), it gives
\[
\underline{R}_s(\det_3)\ge 14,
\qquad
\underline{R}_s(\perm_3)\ge 14.
\]
The improvement is in the lower-order term rather than the leading exponential term [1505.05079].

For ordinary tensor rank, recursive Koszul flattenings extend the same representation-theoretic philosophy to determinant and permanent tensors. In that framework, Koszul flattenings are described as Schur functors attached to hook shapes \((p+1,1,\ldots,1)\), and recursive application across different tensor legs yields stronger lower bounds. The paper proves exact tensor ranks
\[
\mathbf{R}(\det_4)=12,
\qquad
\mathbf{R}(\operatorname{perm}_4)=8
\]
over arbitrary field of characteristic \(\neq 2\), and obtains lower bounds on \(\mathbf{R}(\det_n)\) that completely separate determinant and permanent tensors by tensor rank growth [2503.12032].

A further development concerns \(GL(V)\)-invariant tensors in \(V^*\otimes U\otimes W\) arising from matrices of constant rank. This work gives the first explicit use of Young flattenings for tensors beyond Koszul to obtain border rank lower bounds. In the example
\[
T \in \mathbb{C}^3 \otimes \mathbb{C}^8 \otimes \mathbb{C}^6
\]
with \(\mu=(2,1)\) and \(\nu=(2,2)\), the first Koszul flattening gives \(\underline{R}\ge 9\), while the Young flattening gives \(\underline{R}\ge 10\), and ten is maximal. The paper also determines the border rank of three tensors and emphasizes that general Young flattenings can be strictly stronger than Koszul flattenings, especially for unbalanced tensors [2405.05895].

## 6. Bases, implementations, algorithmic uses, and newer extensions

The computational realization of Young flattenings depends heavily on the chosen model of irreducible polynomial representations. One line of work revisits Young flattenings in the Schur module basis, clarifying that the box-filling procedure described by Oeding and Farnsworth is not equivariant, and deriving explicit equivariant Pieri inclusions in the Schur basis. Using Reuven Hodges’ tableau straightening algorithm as a subroutine, the resulting implementation outperforms Steven Sam’s PieriMaps implementation by several orders of magnitude on many examples, in particular for powers of linear forms, where the reported speedup is over a factor of \(1000\) [2104.02363].

Koszul–Young flattenings have also acquired an algorithmic role in tensor decomposition. For an \(n_1 \times n_2 \times n_3\) tensor with \(n_1 \le n_2 \le n_3\), \(n_1 \to \infty\), and \(n_3/n_2 = O(1)\), an algorithm based on these flattenings is guaranteed to succeed for generic components when
\[
r \le (1-\epsilon)(n_2+n_3)
\]
for arbitrary \(\epsilon>0\), with runtime polynomial in \(n_3\). In the square case \(n_2=n_3=n\), this is a factor-of-2 improvement over classical simultaneous diagonalization, which requires \(r \le n\). The same paper proves a barrier result: no flattening of the style considered can surpass rank \(n_2+n_3\), and for \(n \times n \times n\) tensors, degree-\(d\) polynomial flattenings cannot surpass rank \(Cn\) for a constant \(C=C(d)\) [2411.14344].

Recent nonlinear work places classical Young flattenings inside a wider family. Kronecker-Koszul flattenings generalize Koszul flattenings and related secant-variety equations, while Kronecker-Young flattenings replace wedges by general Schur functors on grouped tensor powers. In this setting, tangency flattenings provide the first explicit polynomial equations vanishing on secant varieties of the Segre variety but not on cactus varieties. This suggests that the classical linear Young-flattening paradigm is now part of a broader determinantal toolkit in which representation-theoretic flattenings remain the foundational special cases [2602.12762].

Source: https://www.emergentmind.com/topics/young-flattenings