arXiv:1509.06999 · Axioms

POVMs and the Two Theorems of Naimark and Sz.-Nagy

James D. Malley, Anthony R. Fletcher

Published Sep 1, 2015• 0 citations

Abstract

In 1940 Naimark showed that if a set of quantum observables are positive semi-definite and sum to the identity then, on a larger space, they have a joint resolution as commuting projectors. In 1955 Sz.-Nagy showed that any set of observables could be so resolved, with the resolution respecting all linear sums. Crucially, both resolutions return the correct Born probabilities for the original observables. Here, an alternative proof of the Sz.-Nagy result is given using elementary inner product spaces. A version of the resolution is then shown to respect all products of observables on the base space. Practical and theoretical consequences are indicated. For example, quantum statistical inference problems that involve any algebraic functionals can now be studied using classical statistical methods over commuting observables. The estimation of quantum states is a problem of this type. Further, as theoretical objects, classical and quantum systems are now distinguished by only more or less degrees of freedom.

DOI: 10.3390/axioms4030400

Related papers

POVMs and Naimark's Theorem Without Sums

Bob Coecke, Éric Oliver Paquette

We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence between abstract POVMs and abstract projective measurements (cf. [B. Coecke and D. Pavlovic (2007) Quantum measurements without sums. In: Mathematics of Quantum Computing and Technology. Chapman & Hall, pp. 559–596. E-print available from arXiv:quant-ph/0608035]) on an extended system, and this proof is moreover purely graphical. ii. Our definition coincides with the usual one for the particular case of the Hilbert space tensor product. We also provide a very useful normal form result for the classical object structure introduced in [B. Coecke and D. Pavlovic (2007) Quantum measurements without sums. In: Mathematics of Quantum Computing and Technology. Chapman & Hall, pp. 559–596. E-print available from arXiv:quant-ph/0608035].

arXiv:quant-ph/0608072Electronic Notes in Theoretical Computer ScienceJul 1, 200849 citations

Notes on Naimark’s dilation theorem

Roberto Beneduci

Abstract After a short review of the main properties of unsharp observables we provide examples of commutative unsharp observables obtained as the projection of sharp observables. In particular, we consider a family of PVMs defined on the tensor product Hilbert space H ⊗ K which include the one introduced by Ozawa in his modification of the von Neumann position measurement model and show that their projections onto H are commutative POVMs. Then, we make some observations on the concept of Naimark dilation and its connections with the integral representation of commutative POVMs. Finally, we introduce a partial order relation in the set of Naimark dilations, show that there is a minimal element and that it is unique. Minimality is a consequence of the partial ordered structure and coincides with the usual definition of minimal Naimark dilation. In passing, we use Naimark’s theorem in order to prove some well known properties of positive operator valued measures.

Journal of Physics Conference SeriesOct 1, 20208 citations

Compatibility of observables represented by positive operator-valued measures

Paweł Kruszyński, Willem M. de Muynck

The proof of a result analogous to that in Koelman and de Muynck [Phys. Lett. A 98, 1 (1983)] is given for the case of unbounded observables. If two, not necessarily bounded, observables are represented by a positive operator-valued measure, then the measurement of any of them is undisturbed if and only if they commute. The Naimark theorem on dilations of spectral functions is exploited. A stronger version of Wigner’s theorem is given.

Journal of Mathematical PhysicsAug 1, 198729 citations

Characterizing incompatibility of quantum measurements via their Naimark extensions

Arindam Mitra, Sibasish Ghosh A, Prabha Mandayam

We obtain a formal characterization of the compatibility or otherwise of a set of positive-operator-valued measures (POVMs) via their Naimark extensions. We show that a set of POVMs is jointly measurable if and only if there exists a single Naimark extension, specified by a fixed ancilla state on the same ancilla Hilbert space, that maps them to a set of commuting projective measurements (PVMs). We use our result to obtain an easily checkable sufficient condition for the compatibility of a pair of dichotomic observables in any dimension. This in turn leads to a characterization of the compatibility regions for some important classes of observables including a pair of unsharp qubit observables. Finally, we also outline as to how our result provides an alternate approach to quantifying the incompatibility of a general set of quantum measurements.

arXiv:2011.11364Nov 23, 20202 citations

Classical Probability and Quantum Outcomes

James D. Malley

There is a contact problem between classical probability and quantum outcomes. Thus, a standard result from classical probability on the existence of joint distributions ultimately implies that all quantum observables must commute. An essential task here is a closer identification of this conflict based on deriving commutativity from the weakest possible assumptions, and showing that stronger assumptions in some of the existing no-go proofs are unnecessary. An example of an unnecessary assumption in such proofs is an entangled system involving nonlocal observables. Another example involves the Kochen-Specker hidden variable model, features of which are also not needed to derive commutativity. A diagram is provided by which user-selected projectors can be easily assembled into many new, graphical no-go proofs.

AxiomsMay 26, 20141 citation

Infinite sequences of linear functionals, positive operator-valued measures and Naimark extension theorem

Roberto Beneduci

Let F : ℬ(ℝ)→ℱ(ℋ) be a commutative positive operator-valued measure from the Borel σ-algebra of the reals to the space of bounded positive operators on the Hilbert space ℋ. It is well known that there exist a self-adjoint operator A and a Markov kernel μ(·)(λ) such that F(Δ) = μΔ(A), where Δ ∈ ℬ(ℝ). We prove that, for any Δ ∈ ℬ(ℝ), if F(Δ) is a discrete operator, then A is a linear combination of the moments of F. This result allows us to characterize the quantum observable represented by A by means of the Naimark dilation of F. The result is connected with the following properties of the sequences of linear functionals. Consider an infinite sequence of linear functionals {Ti}i ∈ ℕ, such that Tif = ∫ f(t) dμt(i), corresponding to an infinite sequence of probability measures {μ(·)(i)}i ∈ ℕ on the Borel σ-algebra ℬ([0, 1]) such that μ(·)(i) ≠ μ(·)(j), where i, j ∈ ℕ and i≠j. There exists a real bounded one-to-one continuous function f such that T i f = ∫ f ( t ) d μ t ( i ) ≠ ∫ f ( t ) d μ t ( j ) = T j f , i , j ∊ ℕ , i ≠ j .

Bulletin of the London Mathematical SocietyMar 17, 201016 citations