The importance of being spectral

This is a Perspective on "On the properties of spectral effect algebras" by Anna Jenčová and Martin Plávala, published in Quantum 3, 148 (2019).

By Alessandro Bisio (Dipartimento di Fisica, Pavia University, Italy).

The spectral theorem, a major result in functional analysis, states that any normal (A linear operator is normal if it is closed, densely defined, and it commutes with its adjoint.) operator on a Hilbert space $\mathcal{H}$ can be diagonalized, i.e. it is unitarily equivalent to a multiplication operator [1]. The importance of the spectral theorem in Quantum Theory can hardly be underestimated. Observables are self-adjoint (and thus normal) operators and their eigenvalues, which are real numbers, represent the possible outcomes of a measurement. Mixed states, which are trace-class positive (and hence self-adjoint) operators, can also be diagonalized. Restricting to the finite dimensional case, any mixed state $\rho$ can then be written as a finite convex combination of orthogonal pure states, i.e. $\rho = \sum_{i=1}^d p_i |\psi_i\rangle\langle\psi_i|$ where $d$ is the dimension of the Hilbert space. This is a remarkable feature of Quantum Theory (Trivially, this is also a feature of classical theory.) and it allows us to interpret every density matrix as an ensemble of perfectly discriminable pure states, or, equivalently, as the average state of a classical information source. Moreover, the fact that every quantum state can be diagonalised is the reason why majorization theory [2] can be applied in Quantum Information [3,4]. Majorization is also a main ingredient of the recent frameworks for quantum thermodynamics (see e.g. the reviews [5,6]).

Spectrality plays an ubiquitous role in quantum theory but in a generic theory (Here we are referring to the framework of generalized and operational probabilistic theories [7,8,9]), as in the PR-boxes theory [10] (also called “boxworld” theory [11]) it may fail to hold. Therefore, it has an important place in the works dealing with the recostruction of the mathematical framework of quantum theory from operational axioms. On one hand, diagonalization can be derived from other axioms [12,13]. On the other hand, the fact that any state can be decomposed as a convex mixture of perfectly discriminable states can be one of the axioms which the Hilbert space formalism is derived from [14].

Other approaches (We are now referring to the works which predominantly belong to the Quantum Logic literature [15,16,17]) focus on the structure of the set of effects, rather than on the space of physical states. An effect [18] is a linear functional which maps states to probabilities and describes a yes/no mesurement. In quantum theory effects are represented by positive operators bounded by the identity. Therefore, the spectral theorem applies and we can decompose any effect into one-dimensional projectors. The notion of effect algebras has been introduced in Ref. [19] as an abstraction of the set of quantum effects. It consists of a set ${E}$ endowed with an abelian and associative binary operation “$+$” and elements $0$ and $1$ such that $i)$ $\forall a \in {E} $ $ \exists! \, a’$ such that $a+a’=1$ and $ii)$ $ a +1 \in {E}$ implies $a = 0$. Effect algebras are a tool which allow to analyze the fundamental features of the elementary binary physical quantities. In particular, they can be regarded as an algebraic model for a logic (where its elements play the role of propositions) which can encompass both the structure of classical Boolean Logic and the orthomodular lattice structure of Quantum Logic. Necessary and sufficient conditions for an effect algebra to be affinely isomorphic to the effect set of Quantum Theory have been derived in Ref. [20]. The basic ingredients of this derivation are the assumption that the effect algebra is both convex, i.e. it posses a convex structure, and spectral. A convex effect algebra ${E}$ is spectral if its elements can be diagonalized. More precisely, we require that for any element $f \in {E}$, there exist a finite collection $\{ a_i \}$ of extremal one-dimensional effects such that $\sum_i a_i =1 $ and $f = \sum_i \lambda_i a_i$ for some real coefficients $ \lambda_i \in [0,1]$. Such a collection $\{ a_i \}$ of effects is called a context and in finite dimensional Quantum Theory they correspond to resolutions of the identity in terms of rank-one projectors.

How strong is the assumption that a convex effect algebra is spectral? A way to address this question is to examine the diversity of spectral convex effect algebras that are allowed. For example, it is not difficult to realise [20] that a spectral convex effect algebra which has exactly one context is isomorphic to the effect algebra of Classical Probability Theory. On the opposite, since a Hilbert space has continuously many orthonormal basis, Quantum Theory posseses infinitely many contexts. The results of A. Jencova and M. Plavala [21] suggest that spectrality is a rather strong assumption. They prove that a convex spectral effect algebra is either classical or it has infinitely many contexts. There exist no convex spectral effect algebras with a finite, greater than one number of contexts. Moreover, a convex spectral effect algebra is proved to recover the orthomodular lattice structure of Quantum Logic if the state space is sharply determining (See e.g. Definition $13$ of Ref. [21] for the notion of sharply determining state space).

Whichever the framework one chooses, the fact that states and effects can be diagonalized strongly affects the mathematical structure of a theory. This paper of A. Jencova and M. Plavala is a significant step forward in our
understanding of the role that spectrality plays in physical theories.

► BibTeX data

► References

[1] Michael Reed, Barry Simon, Barry Simon, and Barry Simon, Methods of modern mathematical physics, volume 1 (1972).

[2] Albert W Marshall, Ingram Olkin, and Barry C Arnold, Inequalities: theory of majorization and its applications, volume 143 (1979).

[3] Michael A Nielsen, Physical Review Letters, 83(2):436 (1999), 10.1103/​PhysRevLett.83.436.

[4] Michael A Nielsen, Physical Review A, 63(2):022114 (2001), 10.1103/​PhysRevA.63.022114.

[5] Gilad Gour, Markus P Müller, Varun Narasimhachar, Robert W Spekkens, and Nicole Yunger Halpern, Physics Reports, 583:1-58 (2015), 10.1016/​j.physrep.2015.04.003.

[6] Felix Binder, Luis A Correa, Christian Gogolin, Janet Anders, and Gerardo Adesso, Eds. Thermodynamics in the Quantum Regime, Fundamental Theories of Physics, Springer (2018), 10.1007/​978-3-319-99046-0.

[7] Lucien Hardy, arXiv:0101012.

[8] Jonathan Barrett, Phys. Rev. A, 75:032304 (2007), 10.1103/​PhysRevA.75.032304.

[9] Giacomo Mauro D'Ariano, Giulio Chiribella, and Paolo Perinotti, Quantum theory from first principles: an informational approach. Cambridge University Press (2017).

[10] Sandu Popescu and Daniel Rohrlich, Foundations of Physics, 24(3):379-385 (1994), 10.1007/​BF02058098.

[11] David Gross, Markus Müller, Roger Colbeck, and Oscar CO Dahlsten, Physical review letters, 104(8):080402 (2010), 10.1103/​PhysRevLett.104.080402.

[12] G. Chiribella, G.M. D'Ariano, and P. Perinotti, Phys. Rev. A, 84(012311):012311-012350 (2011), 10.1103/​PhysRevA.84.012311.

[13] G. Chiribella and C.M. Scandolo, EPTCS, volume 195, pages 96-115 (2015), 10.4204/​EPTCS.195.8.

[14] Howard Barnum, Markus P Müller, and Cozmin Ududec, New Journal of Physics, 16(12):123029 (2014), 10.1088/​1367-2630/​16/​12/​123029.

[15] Garrett Birkhoff and John Von Neumann, Annals of Mathematics, 37(4):823-843 (1936), 10.2307/​1968621.

[16] Kurt Engesser, Dov M Gabbay, and Daniel Lehmann, Handbook of quantum logic and quantum structures: Quantum structures (2011).

[17] Kurt Engesser, Dov M Gabbay, and Daniel Lehmann, Handbook of quantum logic and quantum structures: Quantum logic. (2008).

[18] Günther Ludwig and Carl A Hein, Foundations of quantum mechanics II (1985).

[19] D. J. Foulis and M. K. Bennett, Foundations of Physics, 24(10):1331-1352 (1994).

[20] Stan Gudder, arXiv:1802.01265.

[21] Anna Jenčová and Martin Plávala, Quantum, 3:148 (2019), 10.22331/​q-2019-06-03-148.

Cited by

On Crossref's cited-by service no data on citing works was found (last attempt 2019-07-15 10:11:56). On SAO/NASA ADS no data on citing works was found (last attempt 2019-07-15 10:11:56).