Stabilizer rank bounds for magic-state orbits

• URL: http://arxiv.org/abs/2605.28586v1
• Date: Wed, 27 May 2026 15:09:25 GMT
• Title: Stabilizer rank bounds for magic-state orbits
• Abstract summary: We show that Distinct Clifford orbits of magic states can exhibit different stabilizer ranks at small tensor powers.<n>We also prove the first nontrivial $(m / log m)$ lower bounds for the Hadamard-eigenstate and Norrell orbits.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Distinct Clifford orbits of magic states can exhibit different stabilizer ranks at small tensor powers. We establish this for qutrits, where the single-qutrit Clifford group has four inequivalent orbits of magic states: Strange, Norrell, Hadamard-eigenstate, and the qutrit T-state, but a nontrivial upper bound on the asymptotic exponent had been pinned down for only the qutrit T-state. For the other three orbits we give explicit stabilizer decompositions, yielding upper bounds on the per-copy asymptotic stabilizer-rank exponent: $γ_S \le \log_3(2)/2 \approx 0.316$ for the Strange state, and $γ_{H_3}, γ_N \le \log_3(4)/3 \approx 0.421$ for the Hadamard-eigenstate and Norrell orbits, all strictly below the prior $γ_{T_3} \le 1/2$ baseline. We also prove the first nontrivial $Ω(m / \log m)$ asymptotic lower bounds for the Hadamard-eigenstate and Norrell orbits, and exhibit two-qutrit Clifford circuits that convert two copies of these states into an injectable phase state with constant success probability, enabling constant-overhead injection of one non-Clifford diagonal gate per orbit. In the case of qubits, we give a closed-form decomposition of the qubit T-type orbit at four copies matching the existing $γ_T \le \log_2(3)/4 \approx 0.396$ exponent via a direct algebraic identity rather than an entangled cat-state construction. An open-source library stabrank accompanies the paper, with Lean 4 proof formalizations of all the decompositions.

Related papers

• Critical bifurcation and deconfined quantum criticality in an interacting cluster Ising chain [35.18016233072556]
  We investigate a cluster Ising chain with an additional nearest-neighbor interaction.<n>Without the interaction, the Jordan-Wigner transformation decomposes the model into a triplet of identical Majorana chains.<n>Our simulations reveal a translation-symmetry-breaking antiferromagnet reached through first-order transitions.
  arXiv  Detail & Related papers  (2026-08-25T08:48:15Z)
• Asymptotic entanglement in circle stabilizer states and states forbidding arbitrary vertex-minors [0.0]
  We show that a stabilizer state $|rangle$ can be transformed into another stabilizer state $|rangle$ using only single-qubit Clifford operations and Pauli measurements.<n>Our results establish a connection between stabilizer entanglement and forbidden entanglement-minors, with direct implications for the entanglement that can be generated in quantum devices.
  arXiv  Detail & Related papers  (2026-08-21T18:03:42Z)
• An Argmax Principle for Sum-of-Squares Relaxations on the Sphere [42.540924632302925]
  We develop an argmax principle for analyzing sum-of-squares relaxations of optimization problems over the unit sphere.<n>Our guiding principle is that its maximizers are rounding candidates.
  arXiv  Detail & Related papers  (2026-08-03T17:58:00Z)
• The Kikuchi Hierarchy is Sharp for $k$XOR [46.26532142699448]
  We show that a normalized variant of the Kikuchi hierarchy achieves the sharp conjectured trade-off, with no logarithmic loss, at every arity $kge3$.<n>We also prove matching lower bounds in the same model. The inference and refutation upper bounds transfer to more general planting laws and predicates.
  arXiv  Detail & Related papers  (2026-07-31T17:54:11Z)
• Analytical Landscape of Maximal Magic for Two-Qutrit States and Beyond [39.447454043481464]
  We investigate entanglement and magic in systems of two qutrits and two ququints.<n>For the lower frontier, we recast the minimal magic as a compact function of concurrence and negativity.<n>For the upper frontier, we determine the maximal stabilizer Rényi to be $M = ln(81/17) approx 1.561$.<n>The maximum magic is achieved eighteen distinct maxima categorized into three families of six permutation-equivalent spectra.
  arXiv  Detail & Related papers  (2026-07-08T09:31:18Z)
• Entropic Riemannian Neural Optimal Transport [41.69130102668252]
  We propose a unified framework that combines intrinsic entropic OT and amortized out-of-sample evaluation.<n>Our method matches or improves over Euclidean, tangent-space, and log-Euclidean baselines on benchmarks over $mathbbS2$, $mathrmSO(3)$, $mathrmSPD(3)$, $mathrmSE(3)$, and $mathbbH2$.
  arXiv  Detail & Related papers  (2026-05-05T19:43:03Z)
• Transversal gates of the ((3,3,2)) qutrit code and local symmetries of the absolutely maximally entangled state of four qutrits [0.30458514384586394]
  Local unitary orbits of absolutely maximally entangled (AME) states in $(mathbbCD)otimes n where $n$ is even, also known as perfect tensors, are studied.<n>We show that the group of gates of $mathcalC$ and the group of local symmetries of the AME state are closely related.
  arXiv  Detail & Related papers  (2026-01-27T14:58:07Z)
• Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
  We show how to reduce the geometry of degenerate states to the non-abelian connection $A$. We find independent invariants associated with each triple of subspaces. Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
  arXiv  Detail & Related papers  (2024-04-04T06:39:28Z)
• Quadratic Lower bounds on the Approximate Stabilizer Rank: A Probabilistic Approach [6.169364905804677]
  The approximate stabilizer rank of a quantum state is the minimum number of terms in any approximate decomposition of that state into stabilizer states. We improve the lower bound on the approximate rank to $tilde Omega(sqrt n)$ for a wide range of the approximation parameters.
  arXiv  Detail & Related papers  (2023-05-17T15:09:41Z)
• Concentration bounds for quantum states and limitations on the QAOA from polynomial approximations [17.209060627291315]
  We prove concentration for the following classes of quantum states: (i) output states of shallow quantum circuits, answering an open question from [DPMRF22]; (ii) injective matrix product states, answering an open question from [DPMRF22]; (iii) output states of dense Hamiltonian evolution, i.e. states of the form $eiota H(p) cdots eiota H(1) |psirangle for any $n$-qubit product state $|psirangle$, where each $H(
  arXiv  Detail & Related papers  (2022-09-06T18:00:02Z)
• Trimer states with $\mathbb{Z}_3$ topological order in Rydberg atom arrays [0.0]
  We study the quantum states obtained as equal-weight superpositions of all trimer coverings of a lattice. We show that these states can host $mathbbZ_3$ topological order or can be gapless liquids with $mathrmU(1) times mathrmU(1)$ local symmetry.
  arXiv  Detail & Related papers  (2022-05-20T18:04:58Z)
• An Entropic Lens on Stabilizer States [0.0]
  We show how the two subgraphs already present at two qubits are embedded into more complicated subgraphs at three and four qubits. We argue that no additional types of subgraph appear beyond four qubits, but that the entropic structures within the subgraphs can grow progressively more complicated as the qubit number increases.
  arXiv  Detail & Related papers  (2022-04-15T18:00:12Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)
• On $O( \max \{n_1, n_2 \}\log ( \max \{ n_1, n_2 \} n_3) )$ Sample Entries for $n_1 \times n_2 \times n_3$ Tensor Completion via Unitary Transformation [20.854908850239035]
  This paper investigates the incoherence conditions of $n_3$ low-rank $n_3$ low-rank $n_3$ matrix slices. We show that such low-rank tensors can be recovered exactly with high probability.
  arXiv  Detail & Related papers  (2020-12-16T08:03:48Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.