Abstract We discuss symmetric quantum measurements and the associated covariant observables modelled, respectively, as instruments and positive-operator-valued measures. The emphasis of this work are the optimality properties of the measurements, namely, extremality, informational completeness, and the rank-1 property which contrast the complementary class of (rank-1) projection-valued measures. The first half of this work concentrates solely on finite-outcome measurements symmetric w.r.t. finite groups where we derive exhaustive characterizations for the pointwise Kraus-operators of covariant instruments and necessary and sufficient extremality conditions using these Kraus-operators. We motivate the use of covariance methods by showing that observables covariant with respect to symmetric groups contain a family of representatives from both of the complementary optimality classes of observables and show that even a slight deviation from a rank-1 projection-valued measure can yield an extreme informationally complete rank-1 observable. The latter half of this work derives similar results for continuous measurements in (possibly) infinite dimensions. As an example we study covariant phase space instruments, their structure, and extremality properties.
Abstract We discuss symmetric quantum measurements and the associated covariant observables modelled, respectively, as instruments and positive-operator-valued measures. The emphasis of this work are the optimality properties of the measurements, namely, extremality, informational completeness, and the rank-1 property which contrast the complementary class of (rank-1) projection-valued measures. The first half of this work concentrates solely on finite-outcome measurements symmetric w.r.t. finite groups where we derive exhaustive characterizations for the pointwise Kraus-operators of covariant instruments and necessary and sufficient extremality conditions using these Kraus-operators. We motivate the use of covariance methods by showing that observables covariant with respect to symmetric groups contain a family of representatives from both of the complementary optimality classes of observables and show that even a slight deviation from a rank-1 projection-valued measure can yield an extreme informationally complete rank-1 observable. The latter half of this work derives similar results for continuous measurements in (possibly) infinite dimensions. As an example we study covariant phase space instruments, their structure, and extremality properties.
Minimal Informationally Complete quantum measurements, or MICs, illuminate the structure of quantum theory and how it departs from the classical. Central to this capacity is their role as tomographically complete measurements with the fewest possible number of outcomes for a given finite dimension. Despite their advantages, little is known about them. We establish general properties of MICs, explore constructions of several classes of them, and make some developments to the theory of MIC Gram matrices. These Gram matrices turn out to be a rich subject of inquiry, relating linear algebra, number theory and probability. Among our results are some equivalent conditions for unbiased MICs, a characterization of rank-1 MICs through the Hadamard product, several ways in which immediate properties of MICs capture the abandonment of classical phase space intuitions, and a numerical study of MIC Gram matrix spectra. We also present, to our knowledge, the first example of an unbiased rank-1 MIC which is not group covariant. This work provides further context to the discovery that the symmetric informationally complete quantum measurements (SICs) are in many ways optimal among MICs. In a deep sense, the ideal measurements of quantum physics are not orthogonal bases.
There has been much interest in so-called SIC-POVMs, i.e., rank 1 symmetric informationally complete positive operator valued measures. In this paper we discuss the larger class of POVMs that are symmetric and informationally complete, but not necessarily rank 1. This class of POVMs is of some independent interest. In particular it includes a POVM that is closely related to the discrete Wigner function. However, it is interesting mainly because of the light it casts on the problem of constructing rank 1, symmetric, informationally complete POVMs. In this connection we derive an extremal condition alternative to the one derived by Renes et al.
A broad class of informationally complete symmetric measurements is introduced. It can be understood as a common generalization of symmetric, informationally complete positive operator-valued measures and mutually unbiased bases. Additionally, it provides a natural way to define two more families of mutually unbiased symmetric measurement operators in any finite dimension. We show a general method of their construction, together with an example of an optimal measurement. Finally, we analyze the properties of symmetric measurements and provide applications in entropic relations and entanglement detection.
In this work, we generalise an object that has proved interesting to both the pure and applied mathematician alike. Specifically, symmetric informationally complete positive operator valued measures (SIC-POVMs) were first encountered in the study finite tight frames, where they provide examples of complex equiangular tight frames. Then, the quantum information theory community discovered their own utility for these objects, for they provided a particularly useful example of a generalised measurement of a quantum system, a type of positive operator valued measure. In particular, they have proven useful to quantum state tomography and for probing quantum foundations. SIC-POVMs are collections of rank-one orthogonal projections acting on finite-dimensional Hilbert spaces and operational SIC-POVMs are their arbitrary rank counterparts. In this thesis, we cover necessary background on the standard quantum formalism, define SIC-POVMs and outline how they have been constructed up until this point via the orbit of the Weyl-Heisenberg group, which motivates Zauner’s conjecture. We go on to discuss generalised operational SIC-POVMs and give some new theorems that classify them. We then show that an infinite family of operational SIC-POVMs can be obtained via the representation theory of the symmetric group. Possibly shedding light on the unproven Zauner’s conjecture, we prove that an element of this infinite family cannot be generated via an orbit of the Weyl-Heisenberg group. We finish by describing the relation between these operational SIC-POVMs and Bell inequalities.
We represent quantum observables as normalized positive operator valued measures and consider convex sets of observables which are covariant with respect to a unitary representation of a locally compact Abelian symmetry group G. The value space of such observables is a transitive G-space. We characterize the extreme points of covariant observables and also determine the covariant extreme points of the larger set of all quantum observables. The results are applied to position, position difference, and time observables.
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.