Saved in:
Bibliographic Details
Main Authors: Zamora, Santiago, Macedo, Rafael A., Sarubi, Tailan S., Alves, Moisés, Poderini, Davide, Chaves, Rafael
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2506.02226
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916952612536320
author Zamora, Santiago
Macedo, Rafael A.
Sarubi, Tailan S.
Alves, Moisés
Poderini, Davide
Chaves, Rafael
author_facet Zamora, Santiago
Macedo, Rafael A.
Sarubi, Tailan S.
Alves, Moisés
Poderini, Davide
Chaves, Rafael
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2506_02226
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
Zamora, Santiago
Macedo, Rafael A.
Sarubi, Tailan S.
Alves, Moisés
Poderini, Davide
Chaves, Rafael
Quantum Physics
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.
title Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
topic Quantum Physics
url https://arxiv.org/abs/2506.02226