The weighted Laurent-polynomial spectrum conjecture

Keep the notation above: M,NM,N are non-negative integers, f,gC[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=mZMcmzm,f=\sum_{\mathbf m\in\mathbb{Z}^M}c_{\mathbf m}z^{\mathbf m},

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

Sp(f)={mZMcm0}.\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 nNn\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.

Sources & referencesView supporting material

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.