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:2208.13588 · Journal of Physics A Mathematical and Theoretical

Naimark dilations of qubit POVMs and joint measurements

Juha-Pekka Pellonpää, Sébastien Designolle, Roope Uola

Published Mar 7, 2023• 3 citations
arXivHTMLPDF

Abstract

Abstract Measurement incompatibility is one of the cornerstones of quantum theory. This phenomenon appears in many forms, of which the concept of non-joint measurability has received considerable attention in the recent years. In order to characterise this non-classical phenomenon, various analytical and numerical methods have been developed. The analytical approaches have mostly concentrated on the qubit case, as well as to scenarios involving sets of measurements with symmetries, such as position and momentum or sets of mutually unbiased bases. The numerical methods can, in principle, decide any finite-dimensional and discrete joint measurability problem, but they naturally have practical limitations in terms of computational power. These methods exclusively start from a given set of measurements and ask whether the set possesses incompatibility. Here, we take a complementary approach by asking which measurements are compatible with a given measurement. It turns out, that this question can be answered in full generality through a minimal Naimark dilation of the given measurement: the set of interest is exactly those measurements that have a block-diagonal representation in such dilation. We demonstrate the use of the technique through various qubit examples, leading to an alternative characterisation of all compatible pairs of binary qubit measurements, which retrieves the celebrated Busch criterion. We further apply the technique to special examples of trinary and continuous qubit measurements.

DOI
10.1088/1751-8121/acc21c

Related papers

Joint measurability structures realizable with qubit measurements: Incompatibility via marginal surgery

Nikola Andrejić, Ravi Kunjwal

Measurements in quantum theory exhibit incompatibility, i.e., they can fail to be jointly measurable.An intuitive way to represent the (in)compatibility relations among a set of measurements is via a hypergraph representing their joint measurability structure: its vertices represent measurements and its hyperedges represent (all and only) subsets of compatible measurements.Projective measurements in quantum theory realize (all and only) joint measurability structures that are graphs.On the other hand, general measurements represented by positive operator-valued measures (POVMs) can realize arbitrary joint measurability structures.Here we explore the scope of joint measurability structures realizable with qubit POVMs.We develop a technique that we term marginal surgery to obtain nontrivial joint measurability structures starting from a set of compatible measurements.We show explicit examples of marginal surgery on a special set of qubit POVMs to construct joint measurability structures such as N-cycle and N-Specker scenarios for any integer N 3.We also show the realizability of various joint measurability structures with N ∈ {4, 5, 6} vertices.In particular, we show that all possible joint measurability structures with N = 4 vertices are realizable.We conjecture that all joint measurability structures are realizable with qubit POVMs.This contrasts with the unbounded dimension required in R. Kunjwal et al. [Phys. Rev. A 89, 052126 (2014)].Our results also render this previous construction maximally efficient in terms of the required Hilbert space dimension.We also obtain a sufficient condition for the joint measurability of any set of binary qubit POVMs which powers many of our results and should be of independent interest.

arXiv:2003.00785•Physical Review Research•Oct 28, 2020•11 citations

Characterizing incompatibility of quantum measurements via their Naimark extensions

Arindam Mitra, Sibasish Ghosh A, Prabha Mandayam

We obtain a formal characterization of the compatibility or otherwise of a set of positive-operator-valued measures (POVMs) via their Naimark extensions. We show that a set of POVMs is jointly measurable if and only if there exists a single Naimark extension, specified by a fixed ancilla state on the same ancilla Hilbert space, that maps them to a set of commuting projective measurements (PVMs). We use our result to obtain an easily checkable sufficient condition for the compatibility of a pair of dichotomic observables in any dimension. This in turn leads to a characterization of the compatibility regions for some important classes of observables including a pair of unsharp qubit observables. Finally, we also outline as to how our result provides an alternate approach to quantifying the incompatibility of a general set of quantum measurements.

arXiv:2011.11364•Nov 23, 2020•2 citations

Characterising extremal decoherence by quantum measurement incompatibility

Daniel McNulty, William Townsend, Jukka Kiukas

Decoherence, when viewed in the Heisenberg picture, can turn incompatible measurements into jointly measurable ones. This provides an observable-level description of emergent classicality in terms of the incompatibility destroyed by a noise channel. The corresponding loss of incompatibility can be captured by the channel's \emph{compatibility region}---the observables in a probe class that become jointly measurable with every noisy observable. The geometry and volume of this region provide a refined operational way to compare noise channels. We apply this framework to decoherence channels, each of which acts by Schur multiplication with extreme points of the convex set of unit-diagonal positive semidefinite matrices. Restricting to extremals eliminates convex mixing and reveals subtle phase-dependent decoherence effects thar are not captured by damping rates or conventional coherence quantifiers. Such channels have a rigid dilation structure described by a rank-one operator frame, which reduces joint measurability to a positivity test, making the compatibility region analytically tractable, and its volume computable from the frame's Gram matrix. If the frame can be normalised to a minimal informationally complete (MIC) POVM, the compatibility region acquires a geometric interpretation in the associated probability representation of the quantum state space, familiar with Qbism. Among maximal-rank extremals, those associated with symmetric informationally complete (SIC) POVMs maximise the compatibility volume and hence destroy the greatest amount of incompatibility, providing an operational characterisation of the special role of SICs in terms of joint measurability. This leads to a new formulation of the well-known SIC existence problem as a joint measurability question for noisy mutually unbiased bases.

quant-pharXiv:2607.21169•Jul 24, 2026•0 citations

Incompatibility robustness of quantum measurements: a unified framework

Sébastien Designolle, Máté Farkas, Jędrzej Kaniewski

Abstract In quantum mechanics performing a measurement is an invasive process which generally disturbs the system. Due to this phenomenon, there exist incompatible quantum measurements, i.e. measurements that cannot be simultaneously performed on a single copy of the system. It is then natural to ask what the most incompatible quantum measurements are. To answer this question, several measures have been proposed to quantify how incompatible a set of measurements is, however their properties are not well-understood. In this work, we develop a general framework that encompasses all the commonly used measures of incompatibility based on robustness to noise. Moreover, we propose several conditions that a measure of incompatibility should satisfy, and investigate whether the existing measures comply with them. We find that some of the widely used measures do not fulfil these basic requirements. We also show that when looking for the most incompatible pairs of measurements, we obtain different answers depending on the exact measure. For one of the measures, we analytically prove that projective measurements onto two mutually unbiased bases are among the most incompatible pairs in every dimension. However, for some of the remaining measures we find that some peculiar measurements turn out to be even more incompatible.

arXiv:1906.00448•New Journal of Physics•Oct 22, 2019•79 citations

Compatibility of Binary Qubit Measurements

Dmitry Grinko, Roope Uola

Deciding which sets of quantum measurements allow a simultaneous readout is a central problem in quantum measurement theory. The problem is relevant not only from the foundational perspective, but also has direct applications in quantum correlation problems fueled by incompatible measurements. Although central, only a few analytical criteria exist for deciding the incompatibility of general sets of measurements. This Letter approaches the problem through functions defined on the Boolean hypercube and their Fourier transformations. We show that this reformulation of the problem leads to a complete geometric characterization of joint measurability of any finite set of unbiased binary qubit measurements and gives a necessary condition for the biased case. We discuss our results in the realm of quantum steering, where they translate into a family of steering inequalities. When certain unbiasedness conditions are fulfilled, these criteria are tight, hence fully characterizing the steering problem when the trusted party holds a qubit, and the untrusted party performs any finite number of binary measurements. We further discuss how our results point towards a second-order cone programming approach to measurement incompatibility and compare this to the predominantly used semi-definite programming-based techniques. We use our approach to falsify an existing conjecture on measurement incompatibility of special sets of measurements.

arXiv:2407.07711•Physical Review Letters•Nov 14, 2025•0 citations

Quantum measurement incompatibility in subspaces

Roope Uola, Tristan Kraft, Sébastien Designolle +5 more

We consider the question of characterizing the incompatibility of sets of high-dimensional quantum measurements. We introduce the concept of measurement incompatibility in subspaces. That is, starting from a set of measurements that is incompatible, one considers the set of measurements obtained by projection onto any strict subspace of fixed dimension. We identify three possible forms of incompatibility in subspaces: (i) incompressible incompatibility---measurements that become compatible in every subspace, (ii) fully compressible incompatibility---measurements that remain incompatible in every subspace, and (iii) partly compressible incompatibility---measurements that are compatible in some subspace and incompatible in another. For each class, we discuss explicit examples. Finally, we present some applications of these ideas. First, we show that joint measurability and coexistence are two inequivalent notions of incompatibility in the simplest case of qubit systems. Second, we highlight the implications of our results for tests of quantum steering.

arXiv:2010.04048•Physical Review A•Feb 5, 2021•14 citations
Abstract Measurement incompatibility is one of the cornerstones of quantum theory. This phenomenon appears in many forms, of which the concept of non-joint measurability has received considerable attention in the recent years. In order to characterise this non-classical phenomenon, various analytical and numerical methods have been developed. The analytical approaches have mostly concentrated on the qubit case, as well as to scenarios involving sets of measurements with symmetries, such as position and momentum or sets of mutually unbiased bases. The numerical methods can, in principle, decide any finite-dimensional and discrete joint measurability problem, but they naturally have practical limitations in terms of computational power. These methods exclusively start from a given set of measurements and ask whether the set possesses incompatibility. Here, we take a complementary approach by asking which measurements are compatible with a given measurement. It turns out, that this question can be answered in full generality through a minimal Naimark dilation of the given measurement: the set of interest is exactly those measurements that have a block-diagonal representation in such dilation. We demonstrate the use of the technique through various qubit examples, leading to an alternative characterisation of all compatible pairs of binary qubit measurements, which retrieves the celebrated Busch criterion. We further apply the technique to special examples of trinary and continuous qubit measurements.
Measurements in quantum theory exhibit incompatibility, i.e., they can fail to be jointly measurable.An intuitive way to represent the (in)compatibility relations among a set of measurements is via a hypergraph representing their joint measurability structure: its vertices represent measurements and its hyperedges represent (all and only) subsets of compatible measurements.Projective measurements in quantum theory realize (all and only) joint measurability structures that are graphs.On the other hand, general measurements represented by positive operator-valued measures (POVMs) can realize arbitrary joint measurability structures.Here we explore the scope of joint measurability structures realizable with qubit POVMs.We develop a technique that we term marginal surgery to obtain nontrivial joint measurability structures starting from a set of compatible measurements.We show explicit examples of marginal surgery on a special set of qubit POVMs to construct joint measurability structures such as N-cycle and N-Specker scenarios for any integer N 3.We also show the realizability of various joint measurability structures with N ∈ {4, 5, 6} vertices.In particular, we show that all possible joint measurability structures with N = 4 vertices are realizable.We conjecture that all joint measurability structures are realizable with qubit POVMs.This contrasts with the unbounded dimension required in R. Kunjwal et al. [Phys. Rev. A 89, 052126 (2014)].Our results also render this previous construction maximally efficient in terms of the required Hilbert space dimension.We also obtain a sufficient condition for the joint measurability of any set of binary qubit POVMs which powers many of our results and should be of independent interest.
We obtain a formal characterization of the compatibility or otherwise of a set of positive-operator-valued measures (POVMs) via their Naimark extensions. We show that a set of POVMs is jointly measurable if and only if there exists a single Naimark extension, specified by a fixed ancilla state on the same ancilla Hilbert space, that maps them to a set of commuting projective measurements (PVMs). We use our result to obtain an easily checkable sufficient condition for the compatibility of a pair of dichotomic observables in any dimension. This in turn leads to a characterization of the compatibility regions for some important classes of observables including a pair of unsharp qubit observables. Finally, we also outline as to how our result provides an alternate approach to quantifying the incompatibility of a general set of quantum measurements.
Decoherence, when viewed in the Heisenberg picture, can turn incompatible measurements into jointly measurable ones. This provides an observable-level description of emergent classicality in terms of the incompatibility destroyed by a noise channel. The corresponding loss of incompatibility can be captured by the channel's \emph{compatibility region}---the observables in a probe class that become jointly measurable with every noisy observable. The geometry and volume of this region provide a refined operational way to compare noise channels. We apply this framework to decoherence channels, each of which acts by Schur multiplication with extreme points of the convex set of unit-diagonal positive semidefinite matrices. Restricting to extremals eliminates convex mixing and reveals subtle phase-dependent decoherence effects thar are not captured by damping rates or conventional coherence quantifiers. Such channels have a rigid dilation structure described by a rank-one operator frame, which reduces joint measurability to a positivity test, making the compatibility region analytically tractable, and its volume computable from the frame's Gram matrix. If the frame can be normalised to a minimal informationally complete (MIC) POVM, the compatibility region acquires a geometric interpretation in the associated probability representation of the quantum state space, familiar with Qbism. Among maximal-rank extremals, those associated with symmetric informationally complete (SIC) POVMs maximise the compatibility volume and hence destroy the greatest amount of incompatibility, providing an operational characterisation of the special role of SICs in terms of joint measurability. This leads to a new formulation of the well-known SIC existence problem as a joint measurability question for noisy mutually unbiased bases.
Abstract In quantum mechanics performing a measurement is an invasive process which generally disturbs the system. Due to this phenomenon, there exist incompatible quantum measurements, i.e. measurements that cannot be simultaneously performed on a single copy of the system. It is then natural to ask what the most incompatible quantum measurements are. To answer this question, several measures have been proposed to quantify how incompatible a set of measurements is, however their properties are not well-understood. In this work, we develop a general framework that encompasses all the commonly used measures of incompatibility based on robustness to noise. Moreover, we propose several conditions that a measure of incompatibility should satisfy, and investigate whether the existing measures comply with them. We find that some of the widely used measures do not fulfil these basic requirements. We also show that when looking for the most incompatible pairs of measurements, we obtain different answers depending on the exact measure. For one of the measures, we analytically prove that projective measurements onto two mutually unbiased bases are among the most incompatible pairs in every dimension. However, for some of the remaining measures we find that some peculiar measurements turn out to be even more incompatible.
Deciding which sets of quantum measurements allow a simultaneous readout is a central problem in quantum measurement theory. The problem is relevant not only from the foundational perspective, but also has direct applications in quantum correlation problems fueled by incompatible measurements. Although central, only a few analytical criteria exist for deciding the incompatibility of general sets of measurements. This Letter approaches the problem through functions defined on the Boolean hypercube and their Fourier transformations. We show that this reformulation of the problem leads to a complete geometric characterization of joint measurability of any finite set of unbiased binary qubit measurements and gives a necessary condition for the biased case. We discuss our results in the realm of quantum steering, where they translate into a family of steering inequalities. When certain unbiasedness conditions are fulfilled, these criteria are tight, hence fully characterizing the steering problem when the trusted party holds a qubit, and the untrusted party performs any finite number of binary measurements. We further discuss how our results point towards a second-order cone programming approach to measurement incompatibility and compare this to the predominantly used semi-definite programming-based techniques. We use our approach to falsify an existing conjecture on measurement incompatibility of special sets of measurements.
We consider the question of characterizing the incompatibility of sets of high-dimensional quantum measurements. We introduce the concept of measurement incompatibility in subspaces. That is, starting from a set of measurements that is incompatible, one considers the set of measurements obtained by projection onto any strict subspace of fixed dimension. We identify three possible forms of incompatibility in subspaces: (i) incompressible incompatibility---measurements that become compatible in every subspace, (ii) fully compressible incompatibility---measurements that remain incompatible in every subspace, and (iii) partly compressible incompatibility---measurements that are compatible in some subspace and incompatible in another. For each class, we discuss explicit examples. Finally, we present some applications of these ideas. First, we show that joint measurability and coexistence are two inequivalent notions of incompatibility in the simplest case of qubit systems. Second, we highlight the implications of our results for tests of quantum steering.