The xz-conjecture for Laurent polynomials with polynomial coefficients

About 4 years old · traced to

Let hh be an admissible function on Tk×[0,1]l\mathbb{T}^k\times[0,1]^l of the form

h(z1,…,zk;x1,…,xl)=∑mcm(x)zm,h(z_1,\ldots,z_k;x_1,\ldots,x_l)=\sum_{\mathbf m}c_{\mathbf m}(x)z^{\mathbf m},

where m=(m1,…,mk)\mathbf m=(m_1,\ldots,m_k) is an integer multi-index, each cmc_{\mathbf m} is a complex polynomial in the xjx_j, and Sp⁡(h)\operatorname{Sp}(h) is the set of m\mathbf m for which cm≠0c_{\mathbf m}\neq0. The xz-conjecture. If

∫[0,1]l∫TkhP=0\int_{[0,1]^l}\int_{\mathbb{T}^k}h^P=0

for every positive integer PP, then the zero vector is not in the convex hull of Sp⁡(h)\operatorname{Sp}(h). This is known when there are no xx-variables and when there is one xx-variable and no zz-variables, but remains open already for one xx and one zz.

References

Primary source

Michael Müger and Lars Tuset, “The Mathieu conjecture for SU(2) reduced to an abelian conjecture”, arXiv:2210.06582 (2023).

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.