arXiv:2311.10929

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

Giulio Chiribella

Published Nov 18, 2023• 0 citations

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 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.

DOI: 10.48550/arxiv.2311.10929

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 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 InformationApr 30, 20241 citation

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

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

A note on the extreme points of 1-qubit quantum Markov chains on 2 vertices

Carlos F. Lardizabal

Abstract In this note we study completely positive, trace-preserving (CPT) maps M 4 ( C ) ↦ M 4 ( C ) , in particular the class of examples given by quantum Markov chains (QMCs) describing the evolution of one qubit on a 2-vertex graph. For this class of channels, and regarding its convex structure, we examine the problem of finding the extreme points both with respect to CPT maps and with respect to the set of QMCs. This is done by considering the class of maps whose image is contained in the set of block-diagonal matrices. Motivated by previous results in the literature, a practical criterion for extremality is obtained via the Choi–Jamiołkowski isomorphism and appropriate direct-sum subspaces. The study of extreme maps is natural from a structural point of view, as these play the role of indecomposable operations and provide fundamental information about the geometry of the set of quantum channels.

Journal of Physics A Mathematical and TheoreticalMay 1, 20260 citations

The Ruskai-Audenaert conjecture & equipartitions of positive operators

Niranjan Kumar, Michael M. Wolf

Several open problems in quantum information theory can be formulated as equipartition problems for positive operators, asking for a decomposition into bounded-rank positive parts under uniform constraints. The existence problems for SIC-POVMs and MUBs are of this type, as is the Ruskai-Audenaert conjecture. We first show that certain problems of this form can be attacked using equivariant cohomology, and then present new results on the Ruskai-Audenaert conjecture. In its weak form, this conjecture asserts that every quantum channel admits a convex decomposition into a minimal number of generalized extreme points; in its strong form, one with equal weights. We prove the strong conjecture in all dimensions for a set of channels of nonzero measure, including all cq- and qc-channels, as well as for all channels with qubit inputs. We also prove the weak conjecture for all qutrit channels, along with further results on convex decompositions of quantum channels.

quant-pharXiv:2607.23066Jul 28, 20260 citations