Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario

• URL: http://arxiv.org/abs/2506.02226v1
• Date: Mon, 02 Jun 2025 20:11:10 GMT
• Title: Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
• Authors: Santiago Zamora, Rafael A. Macedo, Tailan S. Sarubi, Moisés Alves, Davide Poderini, Rafael Chaves,
• Abstract summary: We develop a framework for certifying non-stabilizer states in prepare-and-measure (PAM) scenarios.<n>We introduce dimensional witnesses that can distinguish stabilizer from non-stabilizer states.<n>We provide analytical proofs that threshold violations of these witnesses certify non-stabilizerness.
• Score: 0.3958317527488534
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Non-stabilizerness is an essential resource for quantum computational advantage, as stabilizer states admit efficient classical simulation. We develop a semi-device-independent framework for certifying non-stabilizer states in prepare-and-measure (PAM) scenarios, relying only on assumptions about the system's dimension. Within this framework, we introduce dimensional witnesses that can distinguish stabilizer from non-stabilizer states, and we provide analytical proofs that threshold violations of these witnesses certify non-stabilizerness. In the simplest setting-three preparations, two measurements, and qubit systems-surpassing a specific threshold guarantees that at least one prepared state lies outside the stabilizer polytope. We extend this approach by linking it to quantum random access codes, also generalizing our results to qutrit systems and introducing a necessary condition for certifying non-stabilizerness based on state overlaps (Gram matrices). These results offer a set of semi-device-independent tools for practically and systematically verifying non-stabilizer states using dimensional witnesses in PAM scenarios.

Related papers

• Quantum Fidelity Estimation in the Resource Theory of Nonstabilizerness [11.386506926570442]
  fidelity estimation is essential for benchmarking quantum states and processes on noisy quantum devices.<n>We propose several efficient protocols for both quantum states and channels within the resource theory of nonstabilizerness.
  arXiv  Detail & Related papers  (2025-06-15T18:51:09Z)
• Stabilizer-Accelerated Quantum Many-Body Ground-State Estimation [0.0]
  We investigate how the stabilizer formalism, in particular highly-entangled stabilizer states, can be used to describe the emergence of many-body shape collectivity.<n>The resulting stabilizer ground state is found to capture to a large extent both bi-partite and collective multi-partite entanglement features.
  arXiv  Detail & Related papers  (2025-05-05T18:01:20Z)
• Probabilistic Conformal Prediction with Approximate Conditional Validity [81.30551968980143]
  We develop a new method for generating prediction sets that combines the flexibility of conformal methods with an estimate of the conditional distribution. Our method consistently outperforms existing approaches in terms of conditional coverage.
  arXiv  Detail & Related papers  (2024-07-01T20:44:48Z)
• Distributionally Robust Policy and Lyapunov-Certificate Learning [13.38077406934971]
  Key challenge in designing controllers with stability guarantees for uncertain systems is the accurate determination of and adaptation to shifts in model parametric uncertainty during online deployment. We tackle this with a novel distributionally robust formulation of the Lyapunov derivative chance constraint ensuring a monotonic decrease of the Lyapunov certificate. We show that, for the resulting closed-loop system, the global stability of its equilibrium can be certified with high confidence, even with Out-of-Distribution uncertainties.
  arXiv  Detail & Related papers  (2024-04-03T18:57:54Z)
• Nonstabilizerness via matrix product states in the Pauli basis [0.0]
  We present a novel approach for the evaluation of nonstabilizerness within the framework of matrix product states (MPS) Our framework provides a powerful tool for efficiently calculating various measures of nonstabilizerness, including stabilizer R'enyi entropies, stabilizer nullity, and Bell magic. We showcase the efficacy and versatility of our method in the ground states of Ising and XXZ spin chains, as well as in circuits dynamics that has recently been realized in Rydberg atom arrays.
  arXiv  Detail & Related papers  (2024-01-29T19:12:10Z)
• 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)
• KCRL: Krasovskii-Constrained Reinforcement Learning with Guaranteed Stability in Nonlinear Dynamical Systems [66.9461097311667]
  We propose a model-based reinforcement learning framework with formal stability guarantees. The proposed method learns the system dynamics up to a confidence interval using feature representation. We show that KCRL is guaranteed to learn a stabilizing policy in a finite number of interactions with the underlying unknown system.
  arXiv  Detail & Related papers  (2022-06-03T17:27:04Z)
• Machine-Learning-Derived Entanglement Witnesses [55.76279816849472]
  We show a correspondence between linear support vector machines (SVMs) and entanglement witnesses. We use this correspondence to generate entanglement witnesses for bipartite and tripartite qubit (and qudit) target entangled states.
  arXiv  Detail & Related papers  (2021-07-05T22:28:02Z)
• Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty [77.18483084440182]
  Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are popular tools for enforcing safety and stability of a controlled system, respectively. We present a Gaussian Process (GP)-based approach to tackle the problem of model uncertainty in safety-critical controllers that use CBFs and CLFs.
  arXiv  Detail & Related papers  (2021-06-13T23:08:49Z)
• Sample-efficient device-independent quantum state verification and certification [68.8204255655161]
  Authentication of quantum sources is a crucial task in building reliable and efficient protocols for quantum-information processing. We develop a systematic approach to device-independent verification of quantum states free of IID assumptions in the finite copy regime. We show that device-independent verification can be performed with optimal sample efficiency.
  arXiv  Detail & Related papers  (2021-05-12T17:48:04Z)
• SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
  We study the verification of parameterised multi-agent systems (MASs) In particular, we study whether unwanted states, characterised as a given state formula, are reachable in a given MAS.
  arXiv  Detail & Related papers  (2020-08-11T15:24:05Z)
• 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)

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.