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

• URL: http://arxiv.org/abs/2506.02226v2
• Date: Wed, 17 Sep 2025 01:04:17 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 semi-device-independent framework for certifying non-stabilizer states in prepare-and-measure scenarios.<n>We provide analytical proofs that threshold violations of prepare-and-measure witnesses certify non-stabilizerness.
• Score: 0.12314765641075437
• 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 prepare-and-measure 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, while a stronger violation can certify at least two. 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 prepare-and-measure inequalities.

Related papers

• Semi-device-independent randomness certification on discretized continuous-variable platforms [33.83993649730681]
  We present a semi-device-independent scheme for randomness certification tailored to continuous-variable implementations.<n>We show that simple optical setups can achieve dimension-witness violations that certify positive min-entropy.
  arXiv  Detail & Related papers  (2025-11-07T19:23:46Z)
• Non-stabilizerness in quantum-enhanced metrological protocols [0.0]
  Non-stabilizerness characterizes genuinely quantum (beyond-Clifford) operations.<n>Non-stabilizerness can be measured by stabilizer R'enyi entropy (SRE)
  arXiv  Detail & Related papers  (2025-10-01T19:08:39Z)
• Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
  We propose an unsupervised conformal inference framework for generation.<n>Our gates achieve close-to-nominal coverage and provide tighter, more stable thresholds than split UCP.<n>The result is a label-free, API-compatible gate for test-time filtering.
  arXiv  Detail & Related papers  (2025-09-26T23:40:47Z)
• 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)
• SConU: Selective Conformal Uncertainty in Large Language Models [59.25881667640868]
  We propose a novel approach termed Selective Conformal Uncertainty (SConU)<n>We develop two conformal p-values that are instrumental in determining whether a given sample deviates from the uncertainty distribution of the calibration set at a specific manageable risk level.<n>Our approach not only facilitates rigorous management of miscoverage rates across both single-domain and interdisciplinary contexts, but also enhances the efficiency of predictions.
  arXiv  Detail & Related papers  (2025-04-19T03:01:45Z)
• Certifying classes of $d$-outcome measurements with quantum steering [49.1574468325115]
  We provide a construction of a family of steering inequalities tailored to large classes of $d$-outcomes projective measurements. We prove that the maximal quantum violation of those inequalities can be used for certification of those measurements and the maximally entangled state of two qudits.
  arXiv  Detail & Related papers  (2024-10-27T15:32:53Z)
• 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.