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

Laser Physics Letters

Antidistinguishability of quantum states via real and complex POVMs

Ya-Di Qiao, Zhihua Guo, Chengyang Zhang, Hai Du, Huaixin Cao

Published Jul 1, 2025• 2 citations
Publisher

Abstract

Abstract Antidistinguishability, a key concept in quantum information, describes quantum states that can be excluded by null measurement outcomes, thus enabling indirect state certification through incompatible measurements. This work systematically explores the fundamental properties of quantum state antidistinguishability. First, we present several essential characteristics of antidistinguishable quantum states. Leveraging the Bloch representation, we establish a rigorous correspondence between quantum states and positive-operator-valued measures (POVMs). Through this approach, we prove that in qubit systems, real quantum states can be antidistinguished only by real POVMs, while complex states necessitate complex POVMs. However, the scenario becomes significantly more intricate in high-dimensional quantum systems. Finally, we derive the general forms for a three-state antidistinguishable set through real and complex POVMs, respectively, achieving a complete solution to the antidistinguishability problem within qubit systems.

DOI
10.1088/1612-202x/adeb62

Related papers

Single-shot antidistinguishability of unitary operations

Satyaki Manna, Anandamay Das Bhowmik

The notion of antidistinguishability captures the possibility of ruling out certain alternatives in a quantum experiment without identifying the actual outcome. Although extensively studied for quantum states, the antidistinguishability of quantum channels remains largely unexplored. In this work, we investigate the single-shot antidistinguishability of unitary operations. We analyse two scenarios: antidistinguishability with single-system probes and with entangled probes. For sets of three unitaries, we first prove that all maximally entangled states are equivalent in their performance as probe. In the qubit case, we further establish that maximally entangled probes are always sufficient: if a set of three qubit unitaries is antidistinguishable with either a single-system or non-maximally entangled probe, then it is also antidistinguishable with a maximally entangled one. However, in higher dimension, this equivalence fails. In \textit{dimension 3}, there exists a set of unitaries that are antidistinguishable with non-maximally entangled probe or single-system probe but not with maximally entangled probe. We also establish that union of two antidistinguishable sets of three qubit unitaries also forms a set of antidistinguishable unitaries. Lastly, we provide methods to construct antidistinguishable unitaries from non-antidistinguishable ones.

arXiv:2510.14609•Physical Review A•Jan 29, 2026•1 citation

Single-shot distinguishability and antidistinguishability of quantum measurements

Satyaki Manna, Sneha Suresh, Manan Singh Kachhawaha +1 more

Among the surprising features of quantum measurements, the problem of distinguishing and antidistinguishing general quantum measurements is fundamentally appealing. Unlike classical systems, quantum theory offers entangled states and peculiar state update rule of the postmeasurement state, which gives rise to four distinct scenarios for distinguishing (and antidistinguishing) quantum measurements: (i) probing single systems and without access to the postmeasurement states, (ii) probing entangled systems and without access to the postmeasurement states, (iii) probing single systems with access to the postmeasurement states, and (iv) probing entangled systems with access to the postmeasurement states. In these scenarios, we consider the probability of distinguishing (and antidistinguishing) quantum measurements sampled from a given set in the single-shot regime. For some scenarios, we provide the analytical expressions of distinguishability (and antidistinguishability) for qubit projective measurements. We show that the distinguishability of any pair of qubit projective measurements in scenario (iii) is always greater than its values in scenario (ii). Interestingly, we find certain pairs of qubit nonprojective measurements for which the optimal distinguishability in scenario (ii) is achieved using a nonmaximally entangled state. It turns out that, for any set of measurements, distinguishability (and antidistinguishability) in scenario (i) is always less than or equal to in any other scenario, while it reaches its highest possible value in scenario (iv). We establish that the relations form a strict hierarchy, and there is no hierarchical relation between scenarios (ii) and (iii). In particular, we introduce different variants of the well-known ``trine'' qubit measurement to construct pairs (and triples) of qubit quantum measurements such that they are perfectly distinguishable (and antidistinguishable) in scenario (ii) but not in scenario (iii) and vice versa. Additionally, we present qubit measurements that are perfectly distinguishable (and antidistinguishable) in scenario (iv) but not in any other scenario.

arXiv:2410.10632•Physical Review A•Feb 14, 2025•4 citations

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

Inner products of pure states and their antidistinguishability

Vincent Russo, Jamie Sikora

A set of d quantum states is said to be antidistinguishable if there exists a d-outcome POVM that can perfectly identify which state was not measured. A conjecture by Havlíček and Barrett states that if a set of d pure states has small pair-wise inner products, then the set must be antidistinguishable. In this note we provide a certificate of antidistinguishability via semidefinite programming duality and use it to provide a counterexample to this conjecture when d = 4.

arXiv:2206.08313•Physical Review A•Mar 27, 2023•8 citations

Experimental characterization of qutrits using symmetric, informationally complete positive operator-valued measures

Zachari Medendorp, Fabian A. Torres-Ruiz, Lynden K. Shalm +3 more

Generalized quantum measurements (also known as positive operator-valued measures or POVMs) are of great importance in quantum information and quantum foundations, but often difficult to perform. We present an experimental approach which can in principle be used to perform arbitrary POVMs in a linear-optical context. One of the most interesting POVMs, the symmetric, informationally complete-POVM (or SIC-POVM), is the most compact set of measurements that can be used to fully describe a quantum state. We use our technique to carry out the first experimental characterization of the state of a qutrit using SIC-POVMs. Because of the highly symmetric nature of this measurement, such a representation has the unique property that it permits all other measurement outcomes to be predicted by a simple extension of the classical Bayesian sum rule, making no use of complex amplitudes or Hilbert-space operators. We demonstrate this approach on several qutrit states encoded in single photons.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•May 21, 2011•1 citation

Antidistinguishability of states in General Probabilistic Theories

Satyaki Manna, Anandamay Das Bhowmik

We investigate antidistinguishability of states within the framework of general probabilistic theories (GPTs). We formulate antidistinguishability, strong and equal antidistinguishability as refined notions that imposed additional constraint on the measurement effects. We establish general results relating these notions of antidistinguishability and derive an upper bound on the cardinality of equally antidistinguishable sets in terms of the affine dimension of the state space. We then study antidistinguishability in polygonal theories, obtaining conditions for antidistinguishability of a set of states. In consequence, we show that the set of all pure states in a polygon model is antidistinguishable. Additionally, we identify broad families of strongly and equally antidistinguishable states. Finally, using Random Exclusion Codes, whose success probability is governed by the antidistinguishability of different sets of encoding states, we probe the nonclassicality of polygon theories. We find that certain polygon models can outperform the optimal quantum value, while their optimal performance converges to the quantum limit in the large-polygon limit.

quant-pharXiv:2609.17498•Sep 16, 2026•0 citations
Abstract Antidistinguishability, a key concept in quantum information, describes quantum states that can be excluded by null measurement outcomes, thus enabling indirect state certification through incompatible measurements. This work systematically explores the fundamental properties of quantum state antidistinguishability. First, we present several essential characteristics of antidistinguishable quantum states. Leveraging the Bloch representation, we establish a rigorous correspondence between quantum states and positive-operator-valued measures (POVMs). Through this approach, we prove that in qubit systems, real quantum states can be antidistinguished only by real POVMs, while complex states necessitate complex POVMs. However, the scenario becomes significantly more intricate in high-dimensional quantum systems. Finally, we derive the general forms for a three-state antidistinguishable set through real and complex POVMs, respectively, achieving a complete solution to the antidistinguishability problem within qubit systems.
The notion of antidistinguishability captures the possibility of ruling out certain alternatives in a quantum experiment without identifying the actual outcome. Although extensively studied for quantum states, the antidistinguishability of quantum channels remains largely unexplored. In this work, we investigate the single-shot antidistinguishability of unitary operations. We analyse two scenarios: antidistinguishability with single-system probes and with entangled probes. For sets of three unitaries, we first prove that all maximally entangled states are equivalent in their performance as probe. In the qubit case, we further establish that maximally entangled probes are always sufficient: if a set of three qubit unitaries is antidistinguishable with either a single-system or non-maximally entangled probe, then it is also antidistinguishable with a maximally entangled one. However, in higher dimension, this equivalence fails. In \textit{dimension 3}, there exists a set of unitaries that are antidistinguishable with non-maximally entangled probe or single-system probe but not with maximally entangled probe. We also establish that union of two antidistinguishable sets of three qubit unitaries also forms a set of antidistinguishable unitaries. Lastly, we provide methods to construct antidistinguishable unitaries from non-antidistinguishable ones.
Among the surprising features of quantum measurements, the problem of distinguishing and antidistinguishing general quantum measurements is fundamentally appealing. Unlike classical systems, quantum theory offers entangled states and peculiar state update rule of the postmeasurement state, which gives rise to four distinct scenarios for distinguishing (and antidistinguishing) quantum measurements: (i) probing single systems and without access to the postmeasurement states, (ii) probing entangled systems and without access to the postmeasurement states, (iii) probing single systems with access to the postmeasurement states, and (iv) probing entangled systems with access to the postmeasurement states. In these scenarios, we consider the probability of distinguishing (and antidistinguishing) quantum measurements sampled from a given set in the single-shot regime. For some scenarios, we provide the analytical expressions of distinguishability (and antidistinguishability) for qubit projective measurements. We show that the distinguishability of any pair of qubit projective measurements in scenario (iii) is always greater than its values in scenario (ii). Interestingly, we find certain pairs of qubit nonprojective measurements for which the optimal distinguishability in scenario (ii) is achieved using a nonmaximally entangled state. It turns out that, for any set of measurements, distinguishability (and antidistinguishability) in scenario (i) is always less than or equal to in any other scenario, while it reaches its highest possible value in scenario (iv). We establish that the relations form a strict hierarchy, and there is no hierarchical relation between scenarios (ii) and (iii). In particular, we introduce different variants of the well-known ``trine'' qubit measurement to construct pairs (and triples) of qubit quantum measurements such that they are perfectly distinguishable (and antidistinguishable) in scenario (ii) but not in scenario (iii) and vice versa. Additionally, we present qubit measurements that are perfectly distinguishable (and antidistinguishable) in scenario (iv) but not in any other scenario.
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.
Generalized quantum measurements (also known as positive operator-valued measures or POVMs) are of great importance in quantum information and quantum foundations, but often difficult to perform. We present an experimental approach which can in principle be used to perform arbitrary POVMs in a linear-optical context. One of the most interesting POVMs, the symmetric, informationally complete-POVM (or SIC-POVM), is the most compact set of measurements that can be used to fully describe a quantum state. We use our technique to carry out the first experimental characterization of the state of a qutrit using SIC-POVMs. Because of the highly symmetric nature of this measurement, such a representation has the unique property that it permits all other measurement outcomes to be predicted by a simple extension of the classical Bayesian sum rule, making no use of complex amplitudes or Hilbert-space operators. We demonstrate this approach on several qutrit states encoded in single photons.
We investigate antidistinguishability of states within the framework of general probabilistic theories (GPTs). We formulate antidistinguishability, strong and equal antidistinguishability as refined notions that imposed additional constraint on the measurement effects. We establish general results relating these notions of antidistinguishability and derive an upper bound on the cardinality of equally antidistinguishable sets in terms of the affine dimension of the state space. We then study antidistinguishability in polygonal theories, obtaining conditions for antidistinguishability of a set of states. In consequence, we show that the set of all pure states in a polygon model is antidistinguishable. Additionally, we identify broad families of strongly and equally antidistinguishable states. Finally, using Random Exclusion Codes, whose success probability is governed by the antidistinguishability of different sets of encoding states, we probe the nonclassicality of polygon theories. We find that certain polygon models can outperform the optimal quantum value, while their optimal performance converges to the quantum limit in the large-polygon limit.