Strassen's decomposition conjecture for disjoint-variable forms

About 10 years old · traced to

Let S=C[x1,0,…,x1,n1,…,xs,0,…,xs,ns]S=\mathbb{C}[x_{1,0},\ldots,x_{1,n_1},\ldots,x_{s,0},\ldots,x_{s,n_s}] be the polynomial ring in ss disjoint blocks of variables, and let S[i]=C[xi,0,…,xi,ni]S^{[i]}=\mathbb{C}[x_{i,0},\ldots,x_{i,n_i}]. Let Fi∈Sd[i]F_i\in S^{[i]}_d and set F=∑i=1sFi∈SdF=\sum_{i=1}^sF_i\in S_d, where d≥3d\geq 3. A minimal Waring decomposition is a decomposition using exactly rk⁡(F)\operatorname{rk}(F) summands.

Strassen's decomposition conjecture. If F=∑i=1sFi∈SF=\sum_{i=1}^sF_i\in S is a degree d≥3d\geq3 form such that Fi∈S[i]F_i\in S^{[i]} for all i=1,…,si=1,\ldots,s, then any minimal Waring decomposition of FF is a sum of minimal Waring decompositions of the forms FiF_i.

This is a decomposition-level strengthening of rank additivity for forms in disjoint variables. The source notes that sufficient conditions are known, but does not specify whether the conjecture has been resolved.

References

Primary source

Enrico Carlini, Maria Virginia Catalisano and Alessandro Oneto, “Waring loci and the Strassen conjecture”, arXiv:1605.00384 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.