The weighted Laurent-polynomial spectrum conjecture

About 2 years old · traced to

Keep the notation above: M,NM,N are non-negative integers, f,g∈C[x1,…,xN,z1±1,…,zM±1]f,g\in\mathbb{C}[x_1,\ldots,x_N,z_1^{\pm1},\ldots,z_M^{\pm1}], δ∈C[x1,…,xN]\delta\in\mathbb{C}[x_1,\ldots,x_N] is a monomial of odd degree in all variables, and

f=∑m∈ZMcmzm,f=\sum_{\mathbf m\in\mathbb{Z}^M}c_{\mathbf m}z^{\mathbf m},

where cm∈C[x1,…,xN]c_{\mathbf m}\in\mathbb{C}[x_1,\ldots,x_N]. Define the spectrum

Sp⁡(f)={m∈ZM∣cm≠0}.\operatorname{Sp}(f)=\{\mathbf m\in\mathbb{Z}^M\mid c_{\mathbf m}\ne0\}.

Weighted Laurent-polynomial spectrum conjecture. If

∫(N,M)fnδ=0\int_{(N,M)}f^n\delta=0

for all n∈Nn\in\mathbb{N}, then 0\mathbf 0 is not in the convex hull of Sp⁡(f)⊂RM\operatorname{Sp}(f)\subset\mathbb{R}^M.

This is presented as a generalization of the xzxz-conjecture and would give a spectral criterion relevant to the weighted Laurent-polynomial Mathieu conjecture. The supplied text gives no resolution beyond the surrounding partial results, so the conjecture remains open.

References

Primary source

Michael Müger and Lars Tuset, “An integral formula for Lie groups, and the Mathieu conjecture reduced to Abelian non-Lie conjectures”, arXiv:2410.11622 (2025).

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.