algebra / Mathieu–Zhao Spaces, Integral Conjectures

Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2)

For the integral $\mathcal{I}(h)$ over the unit interval and the torus, the paper gives the three-term Laurent polynomial $f(x,z)=(1-z^{-1})((1-x)+xz)$ with $\mathcal{I}(f^n)=0$ but $\mathcal{I}(z^{-1}f^n)=(-1)^{n-1}/(n+1)\neq0$. This disproves the $xz$-conjecture with one interval and one torus variable, shows $\ker\mathcal{I}$ is not a Mathieu–Zhao subspace, and by padding yields counterexamples for SU(2).

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraJul 21, 2026Significance 25/100Registry: unreviewed

Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2)

Prior state unknowndisproved

For the integral $\mathcal{I}(h)$ over the unit interval and the torus, the paper gives the three-term Laurent polynomial $f(x,z)=(1-z^{-1})((1-x)+xz)$ with $\mathcal{I}(f^n)=0$ but $\mathcal{I}(z^{-1}f^n)=(-1)^{n-1}/(n+1)\neq0$. This disproves the $xz$-conjecture with one interval and one torus variable, shows $\ker\mathcal{I}$ is not a Mathieu–Zhao subspace, and by padding yields counterexamples for SU(2).

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For the integral $\mathcal{I}(h)$ over the unit interval and the torus, the paper gives the three-term Laurent polynomial $f(x,z)=(1-z^{-1})((1-x)+xz)$ with $\mathcal{I}(f^n)=0$ but $\mathcal{I}(z^{-1}f^n)=(-1)^{n-1}/(n+1)\neq0$. This disproves the $xz$-conjecture with one interval and one torus variable, shows $\ker\mathcal{I}$ is not a Mathieu–Zhao subspace, and by padding yields counterexamples for SU(2).

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.