International Journal of Quantum Information

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

Giulio Chiribella

Published Apr 30, 2024• 1 citation

Abstract

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.

DOI: 10.1142/s0219749924400045

Related papers

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.10929Nov 18, 20230 citations

On the convex structure of process positive operator valued measures

Anna Jenčová

Measurements on quantum channels are described by so-called process positive operator valued measures, or process POVMs. We study implementing schemes of extremal process POVMs. As it turns out, the corresponding measurement must satisfy certain extremality property, which is stronger than the usual extremality given by the convex structure. This property motivates the introduction and investigation of the A-convex structure of POVMs, which generalizes both the usual convex and C*-convex structures. We show that extremal points and faces of the set of process POVMs are closely related to A-extremal points and A-faces of POVMs, for a certain subalgebra A. We also give a characterization of A-extremal and A-pure POVMs.

arXiv:1508.00458Journal of Mathematical PhysicsNov 12, 20152 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.3211Journal of Physics A Mathematical and TheoreticalFeb 7, 201129 citations

Extremal covariant measurements

Giulio Chiribella, Giacomo Mauro D’Ariano

We characterize the extremal points of the convex set of quantum measurements that are covariant under a finite-dimensional projective representation of a compact group, with action of the group on the measurement probability space which is generally nontransitive. In this case the POVM density is made of multiple orbits of positive operators, and, in the case of extremal measurements, we provide a bound for the number of orbits and for the rank of POVM elements. Two relevant applications are considered, concerning state discrimination with mutually unbiased bases and the maximization of the mutual information.

arXiv:quant-ph/0603168Journal of Mathematical PhysicsSep 1, 200614 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 ﬁgures of merit for measuring processes are aﬃne 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, 20150 citations

8 Barycentric decomposition of quantum measurements in finite dimensions

G. Chiribella, G. M. D’ariano, D. -m. Schlingemann

We analyze the convex structure of the set of positive operator valued measures (POVMs) representing quantum measurements on a given finite dimensional quantum system, with outcomes in a given locally compact Hausdorff space. The extreme points of the convex set are operator valued measures concentrated on a finite set of k≤d2 points of the outcome space, d<∞ being the dimension of the Hilbert space. We prove that for second-countable outcome spaces any POVM admits a Choquet representation as the barycenter of the set of extreme points with respect to a suitable probability measure. In the general case, Krein–Milman theorem is invoked to represent POVMs as barycenters of a certain set of POVMs concentrated on k≤d2 points of the outcome space.

Aug 17, 201619 citations