Strassen's decomposition conjecture for disjoint-variable forms

From papers

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 FiSd[i]F_i\in S^{[i]}_d and set F=i=1sFiSdF=\sum_{i=1}^sF_i\in S_d, where d3d\geq 3. A minimal Waring decomposition is a decomposition using exactly rk(F)\operatorname{rk}(F) summands.

Strassen's decomposition conjecture. If F=i=1sFiSF=\sum_{i=1}^sF_i\in S is a degree d3d\geq3 form such that FiS[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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.