Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2608.01317

Analytic Qubit Separation between POVMs and Projective Measurements

Lin Zhu, Ranyiliu Chen, Xin Wang, Shenggen Zheng

quant-phmath.OASubmitted Aug 2, 2026• Announced Aug 4, 2026• 0 citations• Revised Aug 31, 2026 (v2)
v1 · Aug 2, 2026v2 · Aug 31, 2026
arXivHTMLPDF

Abstract

Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional with rational coefficients that separates the two measurement models at local dimension two. An explicit three-outcome qubit positive-operator-valued measure with rational matrix entries attains $2\sqrt2+1/100$. On the other hand, all qubit-projective strategies are bounded by $2\sqrt2+\sqrt5/250+\sqrt2/32400$, giving a fully analytic certified gap greater than $1/1000$. To our knowledge, this is the first fully analytic Bell-functional separation between qubit POVMs and qubit projective measurements over arbitrary shared two-qubit states. Lean certificate for the separation theorem is provided for completeness. Separately, an exact level-3 noncommutative sum-of-squares certificate proves that the explicit qubit strategy attains the unrestricted finite-dimensional tensor-product quantum optimum.

Comments
9 pages. Comments are welcome

Related papers

Robust certification of non-projective measurements: theory and experiment

Raphael Brinster, Peter Tirler, Shishir Khandelwal +7 more

Determining the conditions under which positive operator-valued measures (POVMs), the most general class of quantum measurements, outperform projective measurements remains a challenging and largely unresolved problem. Of particular interest are projectively simulable POVMs, which can be realized through probabilistic mixtures of projective measurements, and therefore offer no advantage over projective schemes. Characterizing the boundary between simulable and non-simulable POVMs is, however, a difficult task, and existing tools either fail to scale efficiently, provide limited experimental feasibility or work only for specific POVMs. Here, we introduce and demonstrate a general method to certify non-simulability of a POVM by introducing a complete hierarchy of semidefinite programs. It provides upper bounds on the non-simulability measure of critical visibility of arbitrary POVMs which are tight in many cases and outperform previously known criteria. We experimentally certify the non-simulability of two- and three-dimensional POVMs using a trapped-ion qudit quantum processor by constructing non-simulability witnesses and introduce a modification of our framework that makes them robust against state preparation errors. Finally, we extend our results to the setting where an additional ancilla system is available.

quant-pharXiv:2511.04446•PRX Quantum•Nov 7, 2025•0 citations

Ancilla-free implementation of generalized measurements for qubits embedded in a qudit space

Laurin E. Fischer, Daniel Miller, Francesco Tacchino +3 more

Informationally complete (IC) positive operator-valued measures (POVMs) are generalized quantum measurements that offer advantages over the standard computational basis readout of qubits. For instance, IC-POVMs enable efficient extraction of operator expectation values, a crucial step in many quantum algorithms. POVM measurements are typically implemented by coupling one additional ancilla qubit to each logical qubit, thus imposing high demands on the device size and connectivity. Here, we show how to implement a general class of IC-POVMs without ancilla qubits. We exploit the higher-dimensional Hilbert space of a qudit in which qubits are often encoded. POVMs can then be realized by coupling each qubit to two of the available qudit states, followed by a projective measurement. We develop the required control pulse sequences and numerically establish their feasibility for superconducting transmon qubits through pulse-level simulations. Finally, we present an experimental demonstration of a qudit-space POVM measurement on IBM Quantum hardware. This paves the way to making POVM measurements broadly available to quantum computing applications.

arXiv:2203.07369•Physical Review Research•Jul 11, 2022•46 citations

Quantum measurement beyond projection: POVMs, instruments, dilation theorems, ancilla-assisted partial measurement, and operational trade-offs

Sachin .

The projection postulate and spectral representation of observables remain central in quantum theory but describe only an idealized measurement limit. Realistic measurements may be inefficient, unsharp, weak, indirect, adaptive, destructive, or informationally incomplete. Positive-operator-valued measures (POVMs) provide the probability rule for processes, whereas quantum instruments specify state transformation. This review traces the hierarchy from von Neumann projective measurement to generalized measurement, emphasizing distinctions among effects, instruments, channels, and implementations. Naimark dilation realizes arbitrary POVMs through unitary coupling to an ancillary meter and projective readout. Stinespring dilation represents completely positive trace-preserving dynamics by unitary evolution on an enlarged system followed by partial trace. A qubit–ancilla interaction yields a partial-measurement instrument, its POVM effects, and its information–disturbance trade-off. It compares projective, generalized, and ancilla-mediated schemes; examines compatibility, instrument incompatibility, and disturbance; and surveys applications to state discrimination, tomography, control, and error correction. Recent developments in dynamic-circuit measurements and noisy-POVM compatibility are integrated with questions concerning measurement back-action and outcome definiteness. The review stresses that a POVM does not uniquely determine state update, dilation theorems establish realizability rather than unique mechanisms, and operational measurement theory does not settle definite outcomes, arguing quantum instruments provide a complete description of measurement.

International Journal of Physics and Applications•Jul 1, 2025•0 citations

Finite Nonsignalling Resources Suffice to Simulate Entangled Qubits

Ziao Tang, Xin Wang, Ge Bai

A longstanding question in Bell nonlocality is whether finite-alphabet nonsignalling resources can reproduce the continuum of measurement correlations of partially entangled qubits. Here we resolve this problem by showing that every fixed pure two-qubit state admits an exact simulation of all local projective-measurement statistics using shared randomness and finitely many Popescu-Rohrlich (PR) boxes, without communication or postselection. The boxes operate in parallel, with a worst-case bound independent of the measurement settings: at most $128\cot^4θ$ calls for the Schmidt state $\cosθ|00\rangle+\sinθ|11\rangle$, $0<θ<π/4$. The key is an exact finite-selection method that reduces input-dependent continuous sampling to a choice from a fixed-length shared random list, implemented through a finite PR-box network. The construction extends to arbitrary mixed two-qubit states and local binary-outcome POVMs. This reveals a fundamental separation between the continuity of quantum measurement correlations and the alphabet size of the resources needed to simulate them, shedding light on the resource-theoretic structure of Bell nonlocality.

quant-pharXiv:2610.32319•Oct 26, 2026•0 citations

Finite-Resolution Position Measurements and Their Sharp Limit Detector POVMs, Instruments, and the MTT Completion Boundary

Peter Nero

Measurement is an ordinary physical interaction. Its mathematical description nevertheless has several layers: an effect-valued measure gives outcome probabilities, an instrument also gives conditional post-interaction states, a realized record requires an outcome-completion rule, and later dynamics may stabilize that record. This paper constructs the first two layers exactly for finite-resolution position detection and keeps the latter two distinct. On the square-integrable Hilbert space over Euclidean position space, a normalized detector response defines a commutative positive operator-valued measure that is precisely a classical smearing of the sharp position projection-valued measure. Its outcome density is the convolution of the detector response with the sharp Born density, and converges in total variation to that density. For densities with one integrable weak derivative, an explicit error bound separates detector resolution, detector shape, and spatial variation of the input. A square-root instrument realizes the same effects and produces a finite post-measurement filter. For a Gaussian response, detector blur adds exactly epsilon squared times the identity to the outcome covariance. A two-outcome qubit example shows that finite unsharp effects converge in operator norm to a discrete projective measurement, so not every projective measurement is a distributional singularity. In Modal Triplet Theory, these results supply a rigorous downstream detector interface. They do not derive the instrument from selected geometry, select one realized outcome, or identify detector width with a coherence or Ornstein-Uhlenbeck floor.

•Jul 29, 2026•0 citations

A Separation between Full-Rank PVM and Assumption-free Self-Testing

Ranyiliu Chen

We construct a nonlocal game that self-tests a maximally entangled qubit strategy among pure full-Schmidt-rank projective strategies, but admits an inequivalent optimum using one nonprojective measurement. This resolves a conjecture of Baptista et al. on imposing full rank and projectivity simultaneously. The construction combines CHSH with an auxiliary game $G$ that forces deterministic answers under these assumptions and admits a trine POVM optimum without them. We classify the optimal correlations of $G$ as a line segment parametrized by the tracial states of $\mathbb{C}\oplus M_2(\mathbb{C})$. Projectivity on the state support removes the matrix summand, whereas projective dilations with nonzero nonabort probability have a nontracial local state whose zero left ideal is not two-sided. Finally, a family in local dimension six shows that the full-rank PVM self-test is not robust.

quant-pharXiv:2609.10013•Sep 10, 2026•0 citations
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional with rational coefficients that separates the two measurement models at local dimension two. An explicit three-outcome qubit positive-operator-valued measure with rational matrix entries attains 22+1/1002\sqrt2+1/10022​+1/100. On the other hand, all qubit-projective strategies are bounded by 22+5/250+2/324002\sqrt2+\sqrt5/250+\sqrt2/3240022​+5​/250+2​/32400, giving a fully analytic certified gap greater than 1/10001/10001/1000. To our knowledge, this is the first fully analytic Bell-functional separation between qubit POVMs and qubit projective measurements over arbitrary shared two-qubit states. Lean certificate for the separation theorem is provided for completeness. Separately, an exact level-3 noncommutative sum-of-squares certificate proves that the explicit qubit strategy attains the unrestricted finite-dimensional tensor-product quantum optimum.
Determining the conditions under which positive operator-valued measures (POVMs), the most general class of quantum measurements, outperform projective measurements remains a challenging and largely unresolved problem. Of particular interest are projectively simulable POVMs, which can be realized through probabilistic mixtures of projective measurements, and therefore offer no advantage over projective schemes. Characterizing the boundary between simulable and non-simulable POVMs is, however, a difficult task, and existing tools either fail to scale efficiently, provide limited experimental feasibility or work only for specific POVMs. Here, we introduce and demonstrate a general method to certify non-simulability of a POVM by introducing a complete hierarchy of semidefinite programs. It provides upper bounds on the non-simulability measure of critical visibility of arbitrary POVMs which are tight in many cases and outperform previously known criteria. We experimentally certify the non-simulability of two- and three-dimensional POVMs using a trapped-ion qudit quantum processor by constructing non-simulability witnesses and introduce a modification of our framework that makes them robust against state preparation errors. Finally, we extend our results to the setting where an additional ancilla system is available.
Informationally complete (IC) positive operator-valued measures (POVMs) are generalized quantum measurements that offer advantages over the standard computational basis readout of qubits. For instance, IC-POVMs enable efficient extraction of operator expectation values, a crucial step in many quantum algorithms. POVM measurements are typically implemented by coupling one additional ancilla qubit to each logical qubit, thus imposing high demands on the device size and connectivity. Here, we show how to implement a general class of IC-POVMs without ancilla qubits. We exploit the higher-dimensional Hilbert space of a qudit in which qubits are often encoded. POVMs can then be realized by coupling each qubit to two of the available qudit states, followed by a projective measurement. We develop the required control pulse sequences and numerically establish their feasibility for superconducting transmon qubits through pulse-level simulations. Finally, we present an experimental demonstration of a qudit-space POVM measurement on IBM Quantum hardware. This paves the way to making POVM measurements broadly available to quantum computing applications.
The projection postulate and spectral representation of observables remain central in quantum theory but describe only an idealized measurement limit. Realistic measurements may be inefficient, unsharp, weak, indirect, adaptive, destructive, or informationally incomplete. Positive-operator-valued measures (POVMs) provide the probability rule for processes, whereas quantum instruments specify state transformation. This review traces the hierarchy from von Neumann projective measurement to generalized measurement, emphasizing distinctions among effects, instruments, channels, and implementations. Naimark dilation realizes arbitrary POVMs through unitary coupling to an ancillary meter and projective readout. Stinespring dilation represents completely positive trace-preserving dynamics by unitary evolution on an enlarged system followed by partial trace. A qubit–ancilla interaction yields a partial-measurement instrument, its POVM effects, and its information–disturbance trade-off. It compares projective, generalized, and ancilla-mediated schemes; examines compatibility, instrument incompatibility, and disturbance; and surveys applications to state discrimination, tomography, control, and error correction. Recent developments in dynamic-circuit measurements and noisy-POVM compatibility are integrated with questions concerning measurement back-action and outcome definiteness. The review stresses that a POVM does not uniquely determine state update, dilation theorems establish realizability rather than unique mechanisms, and operational measurement theory does not settle definite outcomes, arguing quantum instruments provide a complete description of measurement.
A longstanding question in Bell nonlocality is whether finite-alphabet nonsignalling resources can reproduce the continuum of measurement correlations of partially entangled qubits. Here we resolve this problem by showing that every fixed pure two-qubit state admits an exact simulation of all local projective-measurement statistics using shared randomness and finitely many Popescu-Rohrlich (PR) boxes, without communication or postselection. The boxes operate in parallel, with a worst-case bound independent of the measurement settings: at most 128cot⁡4θ128\cot^4θ128cot4θ calls for the Schmidt state cos⁡θ∣00⟩+sin⁡θ∣11⟩\cosθ|00\rangle+\sinθ|11\ranglecosθ∣00⟩+sinθ∣11⟩, 0<θ<π/40<θ<π/40<θ<π/4. The key is an exact finite-selection method that reduces input-dependent continuous sampling to a choice from a fixed-length shared random list, implemented through a finite PR-box network. The construction extends to arbitrary mixed two-qubit states and local binary-outcome POVMs. This reveals a fundamental separation between the continuity of quantum measurement correlations and the alphabet size of the resources needed to simulate them, shedding light on the resource-theoretic structure of Bell nonlocality.
Measurement is an ordinary physical interaction. Its mathematical description nevertheless has several layers: an effect-valued measure gives outcome probabilities, an instrument also gives conditional post-interaction states, a realized record requires an outcome-completion rule, and later dynamics may stabilize that record. This paper constructs the first two layers exactly for finite-resolution position detection and keeps the latter two distinct. On the square-integrable Hilbert space over Euclidean position space, a normalized detector response defines a commutative positive operator-valued measure that is precisely a classical smearing of the sharp position projection-valued measure. Its outcome density is the convolution of the detector response with the sharp Born density, and converges in total variation to that density. For densities with one integrable weak derivative, an explicit error bound separates detector resolution, detector shape, and spatial variation of the input. A square-root instrument realizes the same effects and produces a finite post-measurement filter. For a Gaussian response, detector blur adds exactly epsilon squared times the identity to the outcome covariance. A two-outcome qubit example shows that finite unsharp effects converge in operator norm to a discrete projective measurement, so not every projective measurement is a distributional singularity. In Modal Triplet Theory, these results supply a rigorous downstream detector interface. They do not derive the instrument from selected geometry, select one realized outcome, or identify detector width with a coherence or Ornstein-Uhlenbeck floor.
We construct a nonlocal game that self-tests a maximally entangled qubit strategy among pure full-Schmidt-rank projective strategies, but admits an inequivalent optimum using one nonprojective measurement. This resolves a conjecture of Baptista et al. on imposing full rank and projectivity simultaneously. The construction combines CHSH with an auxiliary game GGG that forces deterministic answers under these assumptions and admits a trine POVM optimum without them. We classify the optimal correlations of GGG as a line segment parametrized by the tracial states of C⊕M2(C)\mathbb{C}\oplus M_2(\mathbb{C})C⊕M2​(C). Projectivity on the state support removes the matrix summand, whereas projective dilations with nonzero nonabort probability have a nontracial local state whose zero left ideal is not two-sided. Finally, a family in local dimension six shows that the full-rank PVM self-test is not robust.