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

Journal of Physics A Mathematical and Theoretical

Quantum instruments: I. Extreme instruments

Juha-Pekka Pellonpää

Published Dec 10, 2012• 30 citations
Publisher

Abstract

The structure of completely positive quantum instruments is analyzed thoroughly. We characterize the extreme points of the convex set of instruments. The characterization holds also for nondiscrete instruments in infinite dimensions, and is applied to quantum observables, channels, and preparations which are special cases of instruments. We show that extreme instruments are discrete in finite dimensions.

DOI
10.1088/1751-8113/46/2/025302

Related papers

Understanding Quantum Instruments Through the Analysis of $C^*$-Convexity and Their Marginals

B. V. Rajarama Bhat, Chongdar, Arghya, Sruthymurali

Quantum instruments are mathematical devices introduced to describe the conditional state change during a quantum process. They are completely positive map valued measures on measurable spaces. We may also view them as non-commutative analogues of joint probability measures. We analyze the $C^*$-convexity structure of spaces of quantum instruments. A complete description of the $C^*$-extreme instruments in finite dimensions has been established. Further, the implications of $C^*$-extremity between quantum instruments and their marginals has been explored.

arXiv:2509.11785•Sep 15, 2025•0 citations

Complete characterization of extreme quantum observables in infinite dimensions

Juha-Pekka Pellonpää

We give a complete characterization for extreme quantum observables, i.e. for normalized positive operator valued measures (POVMs) which are extremals in the convex set of all POVMs. The characterization is valid both in discrete and continuous cases, and also in the case of an infinite-dimensional Hilbert space. We show that sharp POVMs are pre-processing clean, i.e. they cannot be irreversibly connected to other POVMs via quantum channels.

arXiv:1007.3211•Journal of Physics A Mathematical and Theoretical•Feb 7, 2011•29 citations

Extremal quantum protocols

Giacomo Mauro D’Ariano, Paolo Perinotti, Michal Sedlák

Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here, we investigate the extremal points of this set for the case of finite dimensional quantum systems and generalized instruments with finitely many outcomes. We derive algebraic necessary and sufficient conditions for extremality.

arXiv:1101.4889•Journal of Mathematical Physics•Aug 1, 2011•20 citations

Extreme quantum states and processes, and extreme points of general spectrahedra in finite dimensional algebras

Giulio Chiribella

Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators satisfying affine constraints. These examples include sets of quantum states with given expectation values of a set of observables, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterization of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and then used to retrieve classic results such as Choi’s characterization of the extreme quantum channels, Parthasarathy’s characterization of the extreme quantum states with given marginals and the quantum version of Birkhoff’s theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalization, and we characterize the extremal POVMs.

International Journal of Quantum Information•Apr 30, 2024•1 citation

Extreme quantum states and processes, and extreme points of general spectrahedra in finite dimensional algebras

Giulio Chiribella

Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators subject to affine constraints. These examples include sets of quantum states with given expectation values of some observables of interest, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels, and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterisation of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and are used to retrieve classic results such as Choi's characterisation of the extreme quantum channels, Parhasarathy's characterisation of the extreme quantum states with given marginals, and the quantum version of Birkhoff's theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalisation, and we characterise the extremal POVMs.

arXiv:2311.10929•Nov 18, 2023•0 citations

Extreme Observables and Optimal Measurements in Quantum Theory

Erkka Haapasalo

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.

•Nov 21, 2015•0 citations
The structure of completely positive quantum instruments is analyzed thoroughly. We characterize the extreme points of the convex set of instruments. The characterization holds also for nondiscrete instruments in infinite dimensions, and is applied to quantum observables, channels, and preparations which are special cases of instruments. We show that extreme instruments are discrete in finite dimensions.
Understanding Quantum Instruments Through the Analysis of C∗C^*C∗-Convexity and Their Marginals
Quantum instruments are mathematical devices introduced to describe the conditional state change during a quantum process. They are completely positive map valued measures on measurable spaces. We may also view them as non-commutative analogues of joint probability measures. We analyze the C∗C^*C∗-convexity structure of spaces of quantum instruments. A complete description of the C∗C^*C∗-extreme instruments in finite dimensions has been established. Further, the implications of C∗C^*C∗-extremity between quantum instruments and their marginals has been explored.
Generalized quantum instruments correspond to measurements where the input and output are either states or more generally quantum circuits. These measurements describe any quantum protocol including games, communications, and algorithms. The set of generalized quantum instruments with a given input and output structure is a convex set. Here, we investigate the extremal points of this set for the case of finite dimensional quantum systems and generalized instruments with finitely many outcomes. We derive algebraic necessary and sufficient conditions for extremality.
Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators satisfying affine constraints. These examples include sets of quantum states with given expectation values of a set of observables, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterization of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and then used to retrieve classic results such as Choi’s characterization of the extreme quantum channels, Parthasarathy’s characterization of the extreme quantum states with given marginals and the quantum version of Birkhoff’s theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalization, and we characterize the extremal POVMs.
Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators subject to affine constraints. These examples include sets of quantum states with given expectation values of some observables of interest, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels, and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterisation of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and are used to retrieve classic results such as Choi's characterisation of the extreme quantum channels, Parhasarathy's characterisation of the extreme quantum states with given marginals, and the quantum version of Birkhoff's theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalisation, and we characterise the extremal POVMs.
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.