Showing changes from revision #25 to #26: Added | Removed | Changed

Quantum measurement

Idea

Quantum measurement is measurement in quantum mechanics.

The “projection postulate” of quantum physics asserts (von Neumann 1932; Lüders 1951) that:

1. measurement of quantum states is with respect to a choice of orthonormal linear basis $\big\{\vert \psi_b \rangle \big\}_{b : B}$ of the given Hilbert space $\mathscr{H}$ of pure quantum states;

2. the result of measurement on pure quantum states $\vert \psi \rangle \;\in\; \mathscr{H}$ is

   1. a random value $b \in B$;

   2. the “collapse” of the quantum state being measured by orthogonal projection to the linear span of the $b$th basis state.

      $$\array{ P_b &\colon& \mathscr{H} &\xrightarrow{\phantom{---}}& \mathscr{H}_b \hookrightarrow \mathscr{H} \\ && \vert \psi \rangle &\mapsto& P_b \vert \psi \rangle \mathrlap{ = \vert \psi_b \rangle \langle \psi_b \vert \psi \rangle } }$$

In terms of mixed quantum states represented by density matrices, this prescription translates into a quantum operation which is given by a positive-operator valued measure (this is what Lüders (1951) first wrote down).

There are different ways to type the quantum measurement, taking into account the non-deterministic nature of its outcome:

1. Regarding the direct sum $\bigoplus_{b \colon B} \mathscr{H}$ of Hilbert spaces as the logical disjunction (“or”) of quantum logic, one may regard measurement as being the linear map into the direct sum whose $b$th component is $P_b$.

   This choice of typing appears (briefly) in Selinger 2004, p. 39, in a precursor discussion that led to the formulation of the quantum programming language Quipper.

2. Regarding the measurement outcome $b \in B$ as the observed context of the actual quantum collapse, one may regard the collapse projection as dependently typed.

   Getting from previous option back to this one is known in the the Quipper-community as dynamic lifting (namely “of the measured bits back into the context”)

\begin{imagefromfile} “file_name”: “PossibleTypingsOfQuantumMeasurement-221025.jpg”, “width”: “560”, “unit”: “px”, “margin”: { “top”: -20, “bottom”: 20, “right”: 0, “left”: 10 } \end{imagefromfile}

Both of these options naturally emerge and are naturally unified in the “Quantum Modal Logic” inherent to dependent linear type theory: This is discussed at quantum circuits via dependent linear types.

\begin{imagefromfile} “file_name”: “QCwthLHT-QuantumModalUnits-221110.jpg”, “width”: “800”, “unit”: “px”, “margin”: { “top”: -10, “bottom”: 20, “right”: 0, “left”: 10 } \end{imagefromfile}

quantum measurement	quantum state preparation
quantum superposition	quantum parallelism

Properties

• collapse of the wavefunction

• deferred measurement principle

\linebreak

The “measurement problem”

In the context of interpretation of quantum mechanics it is common to speak of the “measurement problem” when referring to the tension between regarding quantum physics as a probabilistic theory and the idea of realism.

Namely – by the above – a quantum measurement is formally reflected in a change of probabilities. But since in any given measurement experiment one definite outcome is observed, one may wonder how that particular outcome was actually chosen, given that the theory only gives its probability.

(…)

Related concepts

• deferred measurement principle

• Bell's inequality

• no-cloning theorem

• quantum reader monad

• quantum state preparation

• quantum fluctuation

• decoherence

• Bell's inequality

• quantum probability

• interpretation of quantum mechanics

References

General

The original axiomatization of quantum measurement via the projection postulate:

• John von Neumann, §III.3 and §VI of:

  Mathematische Grundlagen der Quantenmechanik (German) (1932, 1971) [[doi:10.1007/978-3-642-96048-2](https://link.springer.com/book/10.1007/978-3-642-96048-2)]

  Mathematical Foundations of Quantum Mechanics Princeton University Press (1955) [[doi:10.1515/9781400889921](https://doi.org/10.1515/9781400889921), Wikipedia entry]

• Gerhart Lüders:

  Über die Zustandsänderung durch den Meßprozeß, Ann. Phys. 8 (1951) 322–328 [[doi:10.1002/andp.19504430510](https://doi.org/10.1002/andp.19504430510)]

  Concerning the state-change due to the measurement process, Ann. Phys. 15 9 (2006) 663-670 [[pdf](http://myweb.rz.uni-augsburg.de/~eckern/adp/history/historic-papers/2006_518_663-670.pdf), pdf]

Review and discussion:

• Roland Omnès, §8 of: The Interpretation of Quantum Mechanics, Princeton University Press (1994) [[ISBN:9780691036694](http://press.princeton.edu/titles/5525.html)]

• Klaas Landsman, Section 11: of Foundations of quantum theory – From classical concepts to Operator algebras, Springer Open 2017 (doi:10.1007/978-3-319-51777-3, pdf)

Formalization

Brief mentioning of typing and categorical semantics of quantum measurement in the quantum programming language QPL/Quipper:

• Peter Selinger, p. 39 of: Towards a quantum programming language, Mathematical Structures in Computer Science 14 4 (2004) 527–586 [[doi:10.1017/S0960129504004256](https://doi.org/10.1017/S0960129504004256), pdf, web]

Discussion of quantum measurements in terms of finite quantum mechanics in terms of dagger-compact categories via Frobenius algebra-structures and the quantum reader monad:

• Bob Coecke, Duško Pavlović, Quantum measurements without sums, in Louis Kauffman, Samuel Lomonaco (eds.), Mathematics of Quantum Computation and Quantum Technology, Taylor & Francis (2008) 559-596 [[arXiv:quant-ph/0608035](https://arxiv.org/abs/quant-ph/0608035), doi:10.1201/9781584889007]

• Bob Coecke, Eric Oliver Paquette, POVMs and Naimark’s theorem without sums, Electronic Notes in Theoretical Computer Science 210 (2008) 15-31 [[arXiv:quant-ph/0608072](https://arxiv.org/abs/quant-ph/0608072), doi:10.1016/j.entcs.2008.04.015]

• Bob Coecke, Eric Paquette, Dusko Pavlovic, Classical and quantum structures (2008) [[pdf](http://www.comlab.ox.ac.uk/files/627/RR-08-02.pdf), pdf]

• Bob Coecke, Duško Pavlović, Jamie Vicary, A new description of orthogonal bases, Mathematical Structures in Computer Science 23 3 (2012) 555- 567 [[arXiv:0810.0812](https://arxiv.org/abs/0810.0812), doi:10.1017/S0960129512000047]

Textbook account in:

• Chris Heunen, Jamie Vicary, Categories for Quantum Theory, Oxford University Press 2019 (ISBN:9780198739616)

Generalization to Hilbert bundles:

• Chris Heunen, Manuel L. Reyes?, Frobenius Structures Over Hilbert $C^\ast$-Modules, Commun. Math. Phys. 361 (2018) 787–824 [[doi:10.1007/s00220-018-3166-0](https://doi.org/10.1007/s00220-018-3166-0), arXiv:1704.05725]

The Measurement Problem

The article

• Klaas Landsman, Robin Reuvers, A Flea on Schrödinger’s Cat, Found. Phys. 43, 373-407 (2013) (arXiv:1210.2353, pdf)

points out that for symmetric systems with a symmetric ground state, already a tiny perturbation mixing the ground state with the first excited state causes spontaneous symmetry breaking in a suitable limit, and suggests that this already resolves the measurement problem.

See also

• David Wallace, The Quantum Measurement Problem: State of Play (arXiv:0712.0149)