Spectral geometry of nonlocal stabilizer entropy
Abstract
Magic, or nonstabilizerness, is the resource that promotes stabilizer operations to universal quantum computation. For bipartite pure states, its component intrinsic to the correlations between the subsystems, the nonlocal magic, is obtained by minimizing a magic measure over local unitaries. For the stabilizer Rényi entropy (SRE), the minimum is conjectured to be attained by the computational-basis (CB) representative, the state obtained by assigning the Schmidt coefficients in decreasing order to matching computational-basis labels. We prove this conjecture for two families of states at every system size and bipartition: states with dyadic-staircase Schmidt spectra and states of Schmidt rank at most six. For arbitrary bipartite pure states, we show that the CB value exceeds the nonlocal SRE by at most $4$, fixing the leading term of any divergent scaling of nonlocal SRE. We further show that the nonlocal SRE grows at most logarithmically with the entanglement entropy. Consequently, one-dimensional area-law states have bounded nonlocal SRE, while critical states with logarithmic entanglement entropy permit at most doubly logarithmic growth with system size. We apply these results to the transverse-field Ising chain, where we tightly bound the nonlocal SRE in the gapped phases and identify its double-logarithmic growth at criticality.
Related
- χ‑Operator Geometry of Extremal Black Holes: Spectral Degeneracy, Zero Temperature, and Non‑Zero Entropy
- Rényi Multi-entropy for Stabilizer States: A Finite Field Gauss Sum Problem
- Fast and exact approach for stabilizer Rényi entropy via the XOR-FWHT algorithm
- Efficient Pauli Truncation from Operator Stabilizer Rényi Entropy
- Classical Root Systems Reveal Defect-Junction Data in Stabilizer Rényi Entropy
BibTeX
@misc{sierant2026spectral,
title = {{Spectral geometry of nonlocal stabilizer entropy}},
author = {Piotr Sierant},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.13106},
eprint = {2609.13106},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.13106},
}
RIS
TY - UNPB
TI - Spectral geometry of nonlocal stabilizer entropy
AU - Piotr Sierant
PY - 2026
DA - 2026/09/14
PB - arXiv
DO - 10.48550/arxiv.2609.13106
UR - https://arxiv.org/abs/2609.13106
AB - Magic, or nonstabilizerness, is the resource that promotes stabilizer operations to universal quantum computation. For bipartite pure states, its component intrinsic to the correlations between the subsystems, the nonlocal magic, is obtained by minimizing a magic measure over local unitaries. For the stabilizer Rényi entropy (SRE), the minimum is conjectured to be attained by the computational-basis (CB) representative, the state obtained by assigning the Schmidt coefficients in decreasing order to matching computational-basis labels. We prove this conjecture for two families of states at every system size and bipartition: states with dyadic-staircase Schmidt spectra and states of Schmidt rank at most six. For arbitrary bipartite pure states, we show that the CB value exceeds the nonlocal SRE by at most $4$, fixing the leading term of any divergent scaling of nonlocal SRE. We further show that the nonlocal SRE grows at most logarithmically with the entanglement entropy. Consequently, one-dimensional area-law states have bounded nonlocal SRE, while critical states with logarithmic entanglement entropy permit at most doubly logarithmic growth with system size. We apply these results to the transverse-field Ising chain, where we tightly bound the nonlocal SRE in the gapped phases and identify its double-logarithmic growth at criticality.
ER -