Exact spectral gaps for random Pauli rotations

arXiv:2609.40164v1 Announce Type: new Abstract: We resolve the spectral-gap problem posed by Baer and Haah for random Pauli rotations. In this walk, a nonidentity $n$-qubit Pauli operator $P$ and an angle $\theta$ modulo $2\pi$ are chosen independently and uniformly, and the step is $e^{\mathrm{i}\theta P}$. Writing $d=2^n$, we prove that the gap on $\mathsf{SU}(d)$ is $(d-8)/(8(d-1))$ for $n\ge4$. This disproves their conjectured formula on the full special unitary group. We also prove that the conjectured value, $d(d-3)/(8(d^2-1))$, is exactly the gap on $\mathsf{PU}(d)$ for $n\ge3$. The special-unitary gap is attained by an explicit vector in $\bigwedge^8\mathbb C^d$, constructed from affine three-dimensional subspaces of $\mathbb F_2^n$. Its nontrivial central action explains why balanced tensor representations do not detect this smaller gap. On the projective group, the gap is attained in $U\mapsto U^{\otimes4}\otimes\bar U^{\otimes4}$. The matching lower bounds hold uniformly over all finite-dimensional unitary representations. They combine the spectrum of the graph of anticommuting Pauli operators, a minimum-weight bound for binary polynomials, and a local inequality on a single-qubit Clifford-fixed subspace. The proof is analytic and requires no computational verification.

Abstract:We resolve the spectral-gap problem posed by Baer and Haah for random Pauli rotations. In this walk, a nonidentity $n$-qubit Pauli operator $P$ and an angle $\theta$ modulo $2\pi$ are chosen independently and uniformly, and the step is $e^{\mathrm{i}\theta P}$. Writing $d=2^n$, we prove that the gap on $\mathsf{SU}(d)$ is $(d-8)/(8(d-1))$ for $n\ge4$. This disproves their conjectured formula on the full special unitary group. We also prove that the conjectured value, $d(d-3)/(8(d^2-1))$, is exactly the gap on $\mathsf{PU}(d)$ for $n\ge3$. The special-unitary gap is attained by an explicit vector in $\bigwedge^8\mathbb C^d$, constructed from affine three-dimensional subspaces of $\mathbb F_2^n$. Its nontrivial central action explains why balanced tensor representations do not detect this smaller gap. On the projective group, the gap is attained in $U\mapsto U^{\otimes4}\otimes\bar U^{\otimes4}$. The matching lower bounds hold uniformly over all finite-dimensional unitary representations. They combine the spectrum of the graph of anticommuting Pauli operators, a minimum-weight bound for binary polynomials, and a local inequality on a single-qubit Clifford-fixed subspace. The proof is analytic and requires no computational verification.

Quantum Physics (quant-ph); Probability (math.PR)

arXiv:2609.40164 [quant-ph]

(or arXiv:2609.40164v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2609.40164 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

analiza aiqbench

Exact spectral gaps for random Pauli rotations

Subiecte conexe