Extremizing Measures of Magic on Pure States by Clifford-stabilizer States

• URL: http://arxiv.org/abs/2512.19657v1
• Date: Mon, 22 Dec 2025 18:33:03 GMT
• Title: Extremizing Measures of Magic on Pure States by Clifford-stabilizer States
• Abstract summary: We formalize the notions of $G$-stabilizer spaces, states, and codes for arbitrary finite subgroups.<n>Our main theorem shows that any $G$-invariant pure state is an extremal point of a broad class of derived functionals.<n>We classify such states for qubits, qutrits, ququints, and two-qubit systems.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Magic states are essential resources enabling universal, fault-tolerant quantum computation within the stabilizer framework. Their non-stabilizerness provides the additional resource required to overcome the constraints of stabilizer codes, as formalized by the Eastin-Knill theorem, while still permitting fault-tolerant distillation. Although numerous measures of magic have been introduced, not every state with nonzero magic has been shown to be distillable by a stabilizer code, and all currently known distillable states arise as special cases of Clifford-stabilizer states, defined as pure states uniquely stabilized by finite subgroups of the Clifford group. In this work, we develop a general framework for group-covariant functionals on the real manifold of Hermitian operators. We formalize the notions of $G$-stabilizer spaces, states, and codes for arbitrary finite subgroups $G \subset \mathrm{U}(\mathcal{H})$, and introduce analytic families of $G$-covariant functionals. Our main theorem shows that any $G$-invariant pure state is an extremal point of a broad class of derived functionals, including symmetric, max-type, and Rényi-type functionals, provided the underlying family is $G$-covariant. This extremality holds for variations restricted to directions orthogonal to the stabilized subspace while preserving purity. Specializing to the Pauli and Clifford groups, our framework unifies the extremality structure of several canonical magic measures, including mana, stabilizer Rényi entropies, and stabilizer fidelity. In particular, Clifford-stabilizer states extremize these measures. We classify such states for qubits, qutrits, ququints, and two-qubit systems, identifying new candidates for magic distillation protocols. We further propose an inefficient distillation protocol for a two-qubit magic state with stabilizer fidelity exceeding that of standard benchmark states.

Related papers

• SANE: State Anomaly Neutralization for Stable Extreme-Context Delta-Rule Models [53.86918766240095]
  Delta-Rule recurrent models maintain a fixed-size state, enabling $O(1)$ inference memory but potentially becoming unstable under extreme-context extrapolation.<n>We propose textbfState Anomaly Neutralization (SANE), which applies adaptive $tanh$ compression at chunk boundaries while preserving the intra-chunk parallel structure.
  arXiv  Detail & Related papers  (2026-08-23T10:41:07Z)
• Asymptotic Entanglement Hiding under Stabilizer Restrictions [13.402964582276113]
  Entment is central to quantum information processing, while stabilizer operations underpin fault-tolerant quantum computation.<n>We quantify stabilizer-visible entanglement by restricting measured relative entropy of entanglement stabilizer measurements.<n>These results reveal a fundamental separation between entanglement and magic as resources, exposing limits on entanglement extraction using stabilizer operations.
  arXiv  Detail & Related papers  (2026-08-19T02:11:51Z)
• Universal magic state concentration [0.0]
  We introduce universal magic state concentration: a fixed stabilizer protocol that converts a few copies of an unknown pure non-stabilizer qubit state into an exact target magic state.<n>We show that $mathrmlin_3$ governs the optimal state dependence of any protocol up to nine input copies, and we showcase an eight-copy protocol with improved success probability.<n>As a corollary, any unknown pure qubit magic state suffices for universal quantum computation via exact $mathrmCCZ$ injection.
  arXiv  Detail & Related papers  (2026-08-13T15:37:46Z)
• Magic-protected entanglement and Clifford-irreducible structure in magic state space [45.88028371034407]
  We develop a Clifford-orbit framework for studying magic-protected entanglement.<n>It defines canonical representatives, spectra, and ranks that characterize the Clifford-irreducible structure of a state.<n>These results identify magical entanglement as an orbit-level diagnostic of how nonstabilizerness protects quantum correlations against Clifford reduction.
  arXiv  Detail & Related papers  (2026-07-20T18:00:20Z)
• Resourcefulness without Resource: Geometric Origins and Robustness [43.748379918040854]
  A prevailing intuition holds that quantum protocols using only free states confer no operational advantage.<n>Known instances include nonlocality without entanglement and, more recently, nonstabilizerness without magic.<n>By contrast, non-free ensembles admit memory-assisted attacks that fully erase the gap, exposing a sharp operational asymmetry between free and resource-carrying ensembles.
  arXiv  Detail & Related papers  (2026-06-30T11:30:00Z)
• Fast Rates for Offline Contextual Bandits with Forward-KL Regularization under Single-Policy Concentrability [54.40598524756038]
  emphKullback-Leibler (KL) regularization is ubiquitous in reinforcement learning algorithms.<n>Recent studies have demonstrated $-1$-type fast rates for decision making under reverse KL regularization.<n>We take the first step towards addressing this problem via a streamlined analysis of forward-KL-regularized offline CBs.
  arXiv  Detail & Related papers  (2026-05-09T23:17:46Z)
• Dismagicker: Unitary Gate for Non-Stabilizerness Reduction [2.1102551867513646]
  We introduce the notion of dismagicker: non-Clifford unitary gate designed to reduce the non-stabilizerness (also called magic) of quantum many-body states.<n>Dismagicker enriches our toolkit for the manipulation of many-body states by unifying non-stabilizerness and entanglement reduction.
  arXiv  Detail & Related papers  (2026-04-05T10:17:37Z)
• Basis-independent stabilizerness and maximally noisy magic states [0.21485350418225238]
  We show a characterization of absolutely stabilizer states for multiple qudits of all prime dimensions by introducing a polytope of their allowed spectra.<n>For odd-prime-dimensional qudits, we also give a complete characterization of absolutely Wigner-positive states.
  arXiv  Detail & Related papers  (2026-02-25T19:03:16Z)
• Multi-invariants in stabilizer states [0.0]
  We develop tools to calculate a class of multipartite entanglement measures for stabilizer states.<n>We uncover hints of an interesting connection between multi-invariants, stabilizer states and topology.
  arXiv  Detail & Related papers  (2026-01-22T19:00:02Z)
• Local unitary decomposition of tripartite arbitrary leveled qudit stabilizer states into $p$-level-qudit EPR and GHZ state [0.757381458998204]
  We study the entanglement structure of tripartite stabilizer states on $N$ qudits of dimension $D$, distributed across parties $A$, $B$, and $C$, under arbitrary local unitaries.
  arXiv  Detail & Related papers  (2025-07-12T22:51:08Z)
• Magic Steady State Production: Non-Hermitian and Stochastic pathways [42.87502453001109]
  We introduce a protocol that prepares magic steady states by leveraging non-Hermitian dynamics.<n>We find the optimal parameters to prepare $|Hrangle$ and $|Trangle$ states.
  arXiv  Detail & Related papers  (2025-07-11T15:18:48Z)
• Regularity and Stability Properties of Selective SSMs with Discontinuous Gating [18.718025325906762]
  In this paper, we investigate the stability and regularity properties of continuous-time selective SSMs.<n>We establish that intrinsic energy dissipation guarantees exponential forgetting of past states.<n>Our findings offer a rigorous framework for understanding and designing stable and reliable deep selective SSMs.
  arXiv  Detail & Related papers  (2025-05-16T18:08:40Z)
• Stabilizer Entanglement Enhances Magic Injection [8.474797307449121]
  We show that entanglement acts as a conduit that teleports magic across the system, thereby enhancing magic injection.<n>We extend our analysis to tripartite stabilizer entanglement, non-stabilizer entanglement, and magic injection via shallow-depth brickwork circuits.
  arXiv  Detail & Related papers  (2025-03-26T18:00:04Z)
• Non-stabilizerness of Neural Quantum States [41.94295877935867]
  We introduce a methodology to estimate non-stabilizerness or "magic", a key resource for quantum complexity, with Neural Quantum States (NQS)<n>We study the magic content in an ensemble of random NQS, demonstrating that neural network parametrizations of the wave function capture finite non-stabilizerness besides large entanglement.
  arXiv  Detail & Related papers  (2025-02-13T19:14:15Z)
• Autonomous stabilization with programmable stabilized state [3.5212094612774405]
  Reservoir engineering is a powerful technique to autonomously stabilize a quantum state. We experimentally achieve $84.6%$ and $82.5%$ stabilization fidelity for the odd and even-parity Bell states.
  arXiv  Detail & Related papers  (2023-12-18T03:17:59Z)
• Bases for optimising stabiliser decompositions of quantum states [14.947570152519281]
  We introduce and study the vector space of linear dependencies of $n$-qubit stabiliser states. We construct elegant bases of linear dependencies of constant size three. We use them to explicitly compute the stabiliser extent of states of more qubits than is feasible with existing techniques.
  arXiv  Detail & Related papers  (2023-11-29T06:30:05Z)
• Sufficient condition for universal quantum computation using bosonic circuits [44.99833362998488]
  We focus on promoting circuits that are otherwise simulatable to computational universality. We first introduce a general framework for mapping a continuous-variable state into a qubit state. We then cast existing maps into this framework, including the modular and stabilizer subsystem decompositions.
  arXiv  Detail & Related papers  (2023-09-14T16:15:14Z)
• Dissipative preparation and stabilization of many-body quantum states in a superconducting qutrit array [55.41644538483948]
  We present and analyze a protocol for driven-dissipatively preparing and stabilizing a manifold of quantum manybody entangled states. We perform theoretical modeling of this platform via pulse-level simulations based on physical features of real devices. Our work shows the capacity of driven-dissipative superconducting cQED systems to host robust and self-corrected quantum manybody states.
  arXiv  Detail & Related papers  (2023-03-21T18:02:47Z)
• Spectral stabilizability [0.0]
  We develop conditions for stabilizability based on the target state's eigendecomposition. We use the spectral approach to derive upper bounds on stabilizability for a number of exemplary open system scenarios.
  arXiv  Detail & Related papers  (2022-12-23T10:38:31Z)
• Toward Better Generalization Bounds with Locally Elastic Stability [41.7030651617752]
  We argue that locally elastic stability implies tighter generalization bounds than those derived based on uniform stability. We revisit the examples of bounded support vector machines, regularized least square regressions, and gradient descent.
  arXiv  Detail & Related papers  (2020-10-27T02:04:53Z)
• Learning Stabilizing Controllers for Unstable Linear Quadratic Regulators from a Single Trajectory [85.29718245299341]
  We study linear controllers under quadratic costs model also known as linear quadratic regulators (LQR) We present two different semi-definite programs (SDP) which results in a controller that stabilizes all systems within an ellipsoid uncertainty set. We propose an efficient data dependent algorithm -- textsceXploration -- that with high probability quickly identifies a stabilizing controller.
  arXiv  Detail & Related papers  (2020-06-19T08:58:57Z)
• Fine-Grained Analysis of Stability and Generalization for Stochastic Gradient Descent [55.85456985750134]
  We introduce a new stability measure called on-average model stability, for which we develop novel bounds controlled by the risks of SGD iterates. This yields generalization bounds depending on the behavior of the best model, and leads to the first-ever-known fast bounds in the low-noise setting. To our best knowledge, this gives the firstever-known stability and generalization for SGD with even non-differentiable loss functions.
  arXiv  Detail & Related papers  (2020-06-15T06:30:19Z)

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.