Symmetric adjoining conjecture for tensor rank

Let TCI×I×IT\in\mathbb{C}^{I\times I\times I} be a symmetric tensor, and let MCI×I\mathcal{M}\subset\mathbb{C}^{I\times I} be a set of symmetric rank-one matrices. Let T\mathcal{T} be obtained from TT by the symmetrical adjoining of the matrices in M\mathcal{M}, and let EspanM(T)\mathcal{E}_{\operatorname{span}\mathcal{M}}(T) denote the associated family of symmetric tensors obtained by adjoining the span of M\mathcal{M}. Symmetric adjoining conjecture. The symmetric rank of T\mathcal{T} equals

3dimspanM3\dim\operatorname{span}\mathcal{M}

plus the minimal symmetric rank of a symmetric tensor in EspanM(T)\mathcal{E}_{\operatorname{span}\mathcal{M}}(T). The author could not prove this even when M\mathcal{M} consists of one matrix, and the paper uses it as a conjectural symmetric counterpart of a rank formula for ordinary adjoining of slices.

Sources & referencesView supporting material

Primary source

Yaroslav Shitov, “A counterexample to Comon's conjecture”, arXiv:1705.08740 (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.