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
• Authors: Muhammad Erew, Moshe Goldstein,
• 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

• 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.