Equality of the lower and upper support functionals on the boundary of the parameter simplex

Let TT be a tensor over an algebraically closed field, let Θ\Theta be the parameter simplex for support functionals, and let Θ(ϰ)\Theta_{(\varkappa)} denote the relevant boundary edge of Θ\Theta. The lower and upper support functionals are denoted by ζθ\zeta_\theta and ζθ\zeta^\theta, respectively.

Boundary support-functional conjecture. For every θΘ(ϰ)\theta\in\Theta_{(\varkappa)}, one has

ζθ(T)=ζθ(T).\zeta_\theta(T)=\zeta^\theta(T).

The two support functionals are known to be equal for oblique tensors, while Bürgisser showed that they are separated for generic tensors when θ\theta lies in the relative interior of Θ\Theta. This conjecture concerns the remaining boundary case, motivated by rigidity results for support functionals whose parameter lies on an edge of Θ\Theta.

Sources & referencesView supporting material

Primary source

Josh Alman, Baitian Li and Kevin Pratt, “The edge of the asymptotic spectrum of tensors”, arXiv:2604.01386 (2026).

Additional references

2 papers in this index state this conjecture (2024–2026). The statement above is taken from the most recent of them; the others are arXiv:2410.17191.

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.