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.
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.
A pair of quantum observables diagonal in the same basis can be measured jointly, so some coherence is obviously needed for measurement incompatibility. It is equally clear that these quantum resources are not comparable for general observables. However, in the spirit of complementarity between path and superposition, one expects a precise measurement of the incoherent basis label to be incompatible with sufficiently coherent observables. Here we formalise this idea in a very general framework, involving pairs where one observable is incoherent (diagonal), and the coherence in the other is adjusted by damping via genuinely incoherent operations. An extreme case is a basis measurement mutually unbiased to the incoherent basis, leading to an interesting interplay between coherence and complementarity. In terms of measurement theory, we show that if coherence is insufficient to sustain incompatibility, the associated joint measurements have sequential implementations via incoherent instruments. This yields a concrete method for solving joint measurability problems, tractable even in large systems without resorting to numerical optimisation: we find analytical bounds for the coherence needed for incompatibility, in terms of a divergence measure characterising basis state distinguishability of incoherent observables. We verify the consistency of our theory by a quick proof of the known noise bound for the incompatibility of mutually unbiased bases, and then apply it to study emergent classicality in the spin-boson model of pure decoherence on an N-qubit open quantum system.
A pair of quantum observables diagonal in the same ``incoherent'' basis can be measured jointly, so some coherence is obviously required for measurement incompatibility. Here we first observe that coherence in a single observable is linked to the diagonal elements of any observable jointly measurable with it, leading to a general criterion for the coherence needed for incompatibility. Specializing to the case where the second observable is incoherent (diagonal), we develop a concrete method for solving incompatibility problems, tractable even in large systems by analytical bounds, without resorting to numerical optimization. We verify the consistency of our method by a quick proof of the known noise bound for mutually unbiased bases, and apply it to study emergent classicality in the spin-boson model of an N-qubit open quantum system. Finally, we formulate our theory in an operational resource-theoretic setting involving ``genuinely incoherent operations'' used previously in the literature, and show that if the coherence is insufficient to sustain incompatibility, the associated joint measurements have sequential implementations via incoherent instruments.
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.
This thesis is concerned with several topics related to concept of incompatibility of quan- tum observables. The operational description of quantum theory is given, in which incom- patibility is expressed in terms of joint measurability. A connection between symmetric informationally complete positive operator-valued measures and mutually unbiased bases is given, and examples of this connection holding based on investigations in Mathematica are presented. An extension of the Arthurs-Kelly measurement model is then given, where the measured observable is calculated, thereby generalising the results given previously in the literature. It is shown that in the case of prior correlations between measurement probes there exists the possibility that a measurement of both probes leads to marginal observables with smaller statistical spread than if measurements are performed on the individual probes. This concept is then highlighted by considering two probe states that allow for this reduction in spread, and the required conditions for success are given. Fi- nally, error-error relations for incompatible dichotomic qubit observables are considered in the case of state-dependent and independent error measures. Quantities that arise in the state-independent measures case, which were previously presented geometrically, have been given operational meaning, and optimal approximating schemes in both cases are compared. Limitations regarding the state-dependent optimal approximations, and experimental work built upon this construction are also discussed.
Optimization of quantum measurement processes has a pivotal role in carrying out better, more accurate or less disrupting, measurements and experiments on a quantum system. Especially, convex optimization, i.e., identifying the extreme points of the convex sets and subsets of quantum measuring devices plays an important part in quantum optimization since the typical figures of merit for measuring processes are affine functionals. In this thesis, we discuss results determining the extreme quantum devices and their relevance, e.g., in quantum-compatibility-related questions. Especially, we see that a compatible device pair where one device is extreme can be joined into a single apparatus essentially in a unique way. Moreover, we show that the question whether a pair of quantum observables can be measured jointly can often be formulated in a weaker form when some of the observables involved are extreme. Another major line of research treated in this thesis deals with convex analysis of special restricted quantum device sets, covariance structures or, in particular, generalized imprimitivity systems. Some results on the structure ofcovariant observables and instruments are listed as well as results identifying the extreme points of covariance structures in quantum theory. As a special case study, not published anywhere before, we study the structure of Euclidean-covariant localization observables for spin-0-particles. We also discuss the general form of Weyl-covariant phase-space instruments. Finally, certain optimality measures originating from convex geometry are introduced for quantum devices, namely, boundariness measuring how ‘close’ to the algebraic boundary of the device set a quantum apparatus is and the robustness of incompatibility quantifying the level of incompatibility for a quantum device pair by measuring the highest amount of noise the pair tolerates without becoming compatible. Boundariness is further associated to minimum-error discrimination of quantum devices, and robustness of incompatibility is shown to behave monotonically under certain compatibility-non-decreasing operations. Moreover, the value of robustness of incompatibility is given for a few special device pairs.
We study when a noisy qubit channel renders all positive-operator-valued measures (POVMs) jointly measurable. For every unital qubit channel, we derive the exact incompatibility-breaking criterion and prove that projective measurements already determine the boundary for arbitrary POVMs. Through the steering--joint-measurability correspondence, this result gives the exact POVM-steering boundary for all two-qubit states with maximally mixed marginals, with the Werner states recovered as a special case. For nonunital qubit channels, we construct a generally asymmetric parent POVM and obtain an explicit sufficient incompatibility-breaking condition, which in turn yields a sufficient unsteerability criterion for arbitrary two-qubit states.