Mathieu-type admissible-function conjecture for G2G_2

Let SS^* denote the unit circle, and let J~G2\tilde J_{G_2} be the weight function associated with the paper's Euler-angle parametrization of G2G_2. A function

f:[0,1]6×(S)8Cf:[0,1]^6\times(S^*)^8\to\mathbb{C}

is 14\frac{1}{4}-admissible if it has the corresponding finite Laurent-type expansion with exponents in j=141jZ\bigcup_{j=1}^4\frac{1}{j}\mathbb{Z} and coefficients polynomial in the real variables and their square-root factors. Let Sp(f)\operatorname{Sp}(f) denote its spectrum. The G2G_2 admissible-function conjecture. If

(S)8[0,1]50S(x5)fPJ~G2=0\int_{(S^*)^8}\int_{[0,1]^5}\int_0^{S(x_5)}f^P\tilde J_{G_2}=0

for every PNP\in\mathbb{N}, then the zero vector does not lie in the convex hull of Sp(f)\operatorname{Sp}(f). This is the auxiliary conjecture assumed in the paper to prove Mathieu's conjecture for G2G_2; the paper does not provide a resolution.

Sources & referencesView supporting material

Primary source

Kevin Zwart, “On the Mathieu Conjecture for Sp(N) and G_2”, arXiv:2403.02813 (2024).

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.