The xz-conjecture for Laurent polynomials with polynomial coefficients

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 cm0c_{\mathbf m}\neq0. The xz-conjecture. If

[0,1]lTkhP=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.

Sources & referencesView supporting material

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.