Weak measurement

In quantum mechanics (and computation & information), weak measurement is a type of quantum measurement that results in an observer obtaining very little information about the system on average, but also disturbs the state very little.^[1] From Busch's theorem^[2] any quantum system is necessarily disturbed by measurement, but the amount of disturbance is described by a parameter called the measurement strength.

Weak measurement is a subset of the more general form of quantum measurement described by operators known as POVMs, where the strength of measurement is low In the literature weak measurements are also known as unsharp,^[3] fuzzy,^[3][4] dull, noisy,^[5] approximate, and gentle^[6] measurements. Additionally weak measurements are often confused with the distinct but related concept of the weak value.^[7]

The most common methods of weak measurement are by coupling the quantum system to an ancilla qubit and projectively measuring the ancilla (which results in a weak measurement on the quantum system of interest), measuring a small part of large entangled systems, and for atomic physics, phase contrast imaging.

History

Weak measurements were first thought about in the context of weak continuous measurements of quantum systems^[8] (i.e. quantum filtering and quantum trajectories). The physics of continuous quantum measurements is as follows. Consider using an ancilla, e.g. a field or a current, to probe a quantum system. The interaction between the system and the probe correlates the two systems. Typically the interaction only weakly correlates the system and ancilla (specifically, the interaction unitary operator need only to be expanded to first or second order in perturbation theory). By measuring the ancilla and then using quantum measurement theory, the state of the system conditioned on the results of the measurement can be determined. In order to obtain a strong measurement, many ancilla must be coupled and then measured. In the limit where there is a continuum of ancilla the measurement process becomes continuous in time. This process was described first by: Michael B. Mensky;^[9][10] Viacheslav Belavkin;^[11][12] Alberto Barchielli, L. Lanz, G. M. Prosperi;^[13] Barchielli;^[14] Carlton Caves;^[15][16] Caves and Gerald J. Milburn.^[17] Later on Howard Carmichael^[18] and Howard M. Wiseman^[19] also made important contributions to the field.

The notion of a weak measurement is often misattributed to Yakir Aharonov, David Albert and Lev Vaidman.^[7] In their article they consider an example of a weak measurement (and perhaps coin the phrase "weak measurement") and use it to motivate their definition of a weak value, which they defined there for the first time.

Example: Limit of a Weak Stern Gerlach Magnet

The Stern-Gerlach experiment is a quintessential example of the quantization of the electron spin angular momentum. It involves a strong magnetic field gradient, which causes a spin-dependent force on electrons passing through the field, creating two pure-spin beams of electrons exiting the apparatus.

Suppose the magnet in this apparatus produced a very weak gradient, such as a sliver of calcite crystal.

Theory: Coupling to Ancilla

There is no universally accepted definition of a weak measurement. One approach is to declare a weak measurement to be a generalized measurement where some or all of the Kraus operators are close to the identity.^[20] The approach taken below is to interact two systems weakly and then measure one of them.^[21] After detailing this approach we will illustrate it with examples.

Weak interaction and ancilla coupled measurement

Consider a system that starts in the quantum state ${\displaystyle |\psi \rangle }$ and an ancilla that starts in the state ${\displaystyle |\phi \rangle }$. The combined initial state is ${\displaystyle |\Psi \rangle =|\psi \rangle \otimes |\phi \rangle }$.

These two systems interact via the Hamiltonian ${\displaystyle H=A\otimes B}$, which generates the time evolutions ${\displaystyle U(t)=\exp[-ixtH]}$ (in units where ${\displaystyle \hbar =1}$), where ${\displaystyle x}$ is the "interaction strength", which has units of inverse time. Assume a fixed interaction time ${\displaystyle t=\Delta t}$ and that ${\displaystyle \lambda =x\Delta t}$ is small, such that ${\displaystyle \lambda ^{3}\approx 0}$.

A series expansion of ${\displaystyle U}$ in ${\displaystyle \lambda }$ gives

${\displaystyle {\begin{aligned}U&=I\otimes I-i\lambda H-{\frac {1}{2}}\lambda ^{2}H^{2}+O(\lambda ^{3})\\&\approx I\otimes I-i\lambda A\otimes B-{\frac {1}{2}}\lambda ^{2}A^{2}\otimes B^{2}.\end{aligned}}}$

Because it was only necessary to expand the unitary to a low order in perturbation theory, we call this is a weak interaction. Further, the fact that the unitary is predominately the identity operator, as ${\displaystyle \lambda }$ and ${\displaystyle \lambda ^{2}}$ are small, implies that the state after the interaction is not radically different from the initial state. The combined state of the system after interaction is

${\displaystyle |\Psi '\rangle =\left(I\otimes I-i\lambda A\otimes B-{\frac {1}{2}}\lambda ^{2}A^{2}\otimes B^{2}\right)|\Psi \rangle .}$

Now we perform a measurement on the ancilla to find out about the system, this is known as an ancilla-coupled measurement. We will consider measurements in a basis ${\displaystyle |q\rangle }$ (on the ancilla system) such that ${\textstyle \sum _{q}|q\rangle \langle q|=I}$. The measurement's action on both systems is described by the action of the projectors ${\displaystyle \Pi _{q}=I\otimes |q\rangle \langle q|}$ on the joint state ${\displaystyle |\Psi '\rangle }$. From quantum measurement theory we know the conditional state after the measurement is

${\displaystyle {\begin{aligned}|\Psi _{q}\rangle &={\frac {\Pi _{q}|\Psi '\rangle }{\sqrt {\langle \Psi '|\Pi _{q}|\Psi '\rangle }}}\\&={\frac {I\langle q|\phi \rangle -i\lambda A\langle q|B|\phi \rangle -{\frac {1}{2}}\lambda ^{2}A^{2}\langle q|B^{2}|\phi \rangle }{\mathcal {N}}}|\psi \rangle \otimes |q\rangle ,\end{aligned}}}$

where ${\textstyle {\mathcal {N}}={\sqrt {\langle \Psi '|\Pi _{q}|\Psi '\rangle }}}$ is a normalization factor for the wavefunction. Notice the ancilla system state records the outcome of the measurement. The object ${\textstyle M_{q}:=I\langle q|\phi \rangle -i\lambda A\langle q|B|\phi \rangle -{\frac {1}{2}}\lambda ^{2}A^{2}\langle q|B^{2}|\phi \rangle }$ is an operator on the system Hilbert space and is called a Kraus operator.

With respect to the Kraus operators the post-measurement state of the combined system is

${\displaystyle |\Psi _{q}\rangle ={\frac {M_{q}|\psi \rangle }{\sqrt {\langle \psi |M_{q}^{\dagger }M_{q}|\psi \rangle }}}\otimes |q\rangle .}$

The objects ${\displaystyle E_{q}=M_{q}^{\dagger }M_{q}}$ are elements of what is called a POVM and must obey ${\textstyle \sum _{q}E_{q}=I}$ so that the corresponding probabilities sum to unity: ${\textstyle \sum _{q}\Pr(q|\psi )=\sum _{q}\langle \psi |E_{q}|\psi \rangle =1}$. As the ancilla system is no longer correlated with the primary system, it is simply recording the outcome of the measurement, we can trace over it. Doing so gives the conditional state of the primary system alone:

${\displaystyle |\psi _{q}\rangle ={\frac {M_{q}|\psi \rangle }{\sqrt {\langle \psi |M_{q}^{\dagger }M_{q}|\psi \rangle }}},}$

which we still label by the outcome of the measurement ${\displaystyle q}$. Indeed, these considerations allow one to derive a quantum trajectory.

Example Kraus operators

We will use the canonical example of Gaussian Kraus operators given by Barchielli, Lanz, Prosperi;^[13] and Caves and Milburn.^[17] Take ${\displaystyle H=x\otimes p}$, where the position and momentum on both systems have the usual Canonical commutation relation ${\displaystyle [x,p]=i}$. Take the initial wavefunction of the ancilla to have a Gaussian distribution

${\displaystyle |\Phi \rangle ={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\int dq'\exp[-q'^{2}/(4\sigma ^{2})]|q'\rangle .}$

The position wavefunction of the ancilla is

${\displaystyle \Phi (q)=\langle q|\Phi \rangle ={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\exp[-q^{2}/(4\sigma ^{2})].}$

The Kraus operators are (compared to the discussion above, we set ${\displaystyle \lambda =1}$)

${\displaystyle {\begin{aligned}M(q)&=\langle q|\exp[-ix\otimes p]|\Phi \rangle \\&={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\exp[-(q-x)^{2}/(4\sigma ^{2})],\end{aligned}}}$

while the corresponding POVM elements are

${\displaystyle {\begin{aligned}E(q)&=M_{q}^{\dagger }M_{q}\\&={\frac {1}{\sqrt {2\pi \sigma ^{2}}}}\exp[-(q-x)^{2}/(2\sigma ^{2})],\end{aligned}}}$

which obey ${\textstyle \int dq\,E(q)=I}$. An alternative representation is often seen in the literature. Using the spectral representation of the position operator ${\textstyle x=\int x'dx'|x'\rangle \langle x'|}$, we can write

${\displaystyle {\begin{aligned}M(q)&={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\int dx'\exp[-(q-x')^{2}/(4\sigma ^{2})]|x'\rangle \langle x'|,\\E(q)&={\frac {1}{\sqrt {2\pi \sigma ^{2}}}}\int dx'\exp[-(q-x')^{2}/(2\sigma ^{2})]|x'\rangle \langle x'|.\end{aligned}}}$

Notice that ${\textstyle \lim _{\sigma \to 0}E(q)=|x=q\rangle \langle x=q|}$.^[17] That is, in a particular limit these operators limit to a strong measurement of position; for other values of ${\displaystyle \sigma }$ we refer to the measurement as finite-strength; and as ${\displaystyle \sigma \to \infty }$, we say the measurement is weak.

Theory: Phase Contrast Imaging

Phase contrast imaging is an imaging method used in atomic physics, with cold and dense dilute gases of atoms, most commonly Bose Einstein Condensates. It uses the atoms as a lens, and measures the interference between the light that is phase shifted by the atoms and the light that does not pass through the atoms.

The measurement strength is dictated by detuning of the imaging light and the time of interaction between the light and the atoms.

Information-gain–disturbance tradeoff

As stated above, Busch's theorem^[2] prevents a free lunch: there can be no information gain without disturbance. However, the tradeoff between information gain and disturbance has been characterized by many authors, including C. A. Fuchs and Asher Peres;^[22] Fuchs;^[23] Fuchs and K. A. Jacobs;^[24] and K. Banaszek.^[25]

Recently the information-gain–disturbance tradeoff relation has been examined in the context of what is called the "gentle-measurement lemma".^[6][26]

Applications

Since the early days it has been clear that the primary use of weak measurement would be for feedback control or adaptive measurements of quantum systems. Indeed, this motivated much of Belavkin's work, and an explicit example was given by Caves and Milburn. An early application of an adaptive weak measurements was that of Dolinar receiver,^[27] which has been realized experimentally.^[28][29] Another interesting application of weak measurements is to use weak measurements followed by a unitary, possibly conditional on the weak measurement result, to synthesize other generalized measurements.^[20] Wiseman and Milburn's book^[21] is a good reference for many of the modern developments.

Further reading

• Quantum Measurement Theory and Practice, Andrew Jordan (Cambridge Press 2024) ISBN 9781009100069
• Brun's article^[1]
• Jacobs and Steck's article^[30]
• Quantum Measurement Theory and its Applications, K. Jacobs (Cambridge Press, 2014) ISBN 9781107025486
• Quantum Measurement and Control, H. M. Wiseman and G. J. Milburn (Cambridge Press, 2009)^[21]
• Tamir and Cohen's article^[31]

References

1. Todd A Brun (2002). "A simple model of quantum trajectories". Am. J. Phys. 70 (7): 719–737. arXiv:quant-ph/0108132. Bibcode:2002AmJPh..70..719B. doi:10.1119/1.1475328. S2CID 40746086.
2. Paul Busch (2009). J. Christian; W.Myrvold (eds.). "No Information Without Disturbance": Quantum Limitations of Measurement. Invited contribution, "Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle: An International Conference in Honour of Abner Shimony", Perimeter Institute, Waterloo, Ontario, Canada, July 18–21, 2006. Vol. 73. Springer-Verlag, 2008. pp. 229–256. arXiv:0706.3526. doi:10.1007/978-1-4020-9107-0. ISBN 978-1-4020-9106-3. ISSN 1566-659X. {{cite book}}: |journal= ignored (help)
3. Gudder, Stan (2005). "Non-disturbance for fuzzy quantum measurements". Fuzzy Sets and Systems. 155 (1): 18–25. doi:10.1016/j.fss.2005.05.009.
4. Asher Peres (1993). Quantum Theory, Concepts and Methods. Kluwer. p. 387. ISBN 978-0-7923-2549-9.
5. A. N. Korotkov (2003). "Noisy Quantum Measurement of Solid-State Qubits: Bayesian Approach". In Y. v. Nazarov (ed.). Quantum Noise in Mesoscopic Physics. Springer Netherlands. pp. 205–228. arXiv:cond-mat/0209629. doi:10.1007/978-94-010-0089-5_10. ISBN 978-1-4020-1240-2. S2CID 9025386.
6. A. Winter (1999). "Coding Theorem and Strong Converse for Quantum Channels". IEEE Trans. Inf. Theory. 45 (7): 2481–2485. arXiv:1409.2536. doi:10.1109/18.796385. S2CID 15675016.
7. Yakir Aharonov; David Z. Albert & Lev Vaidman (1988). "How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100". Physical Review Letters. 60 (14): 1351–1354. Bibcode:1988PhRvL..60.1351A. doi:10.1103/PhysRevLett.60.1351. PMID 10038016. S2CID 46042317.
8. A. Clerk; M. Devoret; S. Girvin; F. Marquardt; R. Schoelkopf (2010). "Introduction to quantum noise, measurement, and amplification". Rev. Mod. Phys. 82 (2): 1155–1208. arXiv:0810.4729. Bibcode:2010RvMP...82.1155C. doi:10.1103/RevModPhys.82.1155. S2CID 119200464.
9. M. B. Mensky (1979). "Quantum restrictions for continuous observation of an oscillator". Phys. Rev. D. 20 (2): 384–387. Bibcode:1979PhRvD..20..384M. doi:10.1103/PhysRevD.20.384.
10. M. B. Menskii (1979). "Quantum restrictions on the measurement of the parameters of motion of a macroscopic oscillator". Zhurnal Éksperimental'noĭ i Teoreticheskoĭ Fiziki. 77 (4): 1326–1339. Bibcode:1979JETP...50..667M.
11. V. P. Belavkin (1980). "Quantum filtering of Markov signals with white quantum noise". Radiotechnika I Electronika. 25: 1445–1453.
12. V. P. Belavkin (1992). "Quantum continual measurements and a posteriori collapse on CCR". Commun. Math. Phys. 146 (3): 611–635. arXiv:math-ph/0512070. Bibcode:1992CMaPh.146..611B. doi:10.1007/bf02097018. S2CID 17016809.
13. A. Barchielli; L. Lanz; G. M. Prosperi (1982). "A model for the macroscopic description and continual observations in quantum mechanics". Il Nuovo Cimento B. 72 (1): 79–121. Bibcode:1982NCimB..72...79B. doi:10.1007/BF02894935. S2CID 124717734.
14. A. Barchielli (1986). "Measurement theory and stochastic differential equations in quantum mechanics". Phys. Rev. A. 34 (3): 1642–1649. Bibcode:1986PhRvA..34.1642B. doi:10.1103/PhysRevA.34.1642. PMID 9897442.
15. Carlton M. Caves (1986). "Quantum mechanics of measurements distributed in time. A path-integral formulation". Phys. Rev. D. 33 (6): 1643–1665. Bibcode:1986PhRvD..33.1643C. doi:10.1103/PhysRevD.33.1643. PMID 9956814.
16. Carlton M. Caves (1987). "Quantum mechanics of measurements distributed in time. II. Connections among formulations". Phys. Rev. D. 35 (6): 1815–1830. Bibcode:1987PhRvD..35.1815C. doi:10.1103/PhysRevD.35.1815. PMID 9957858.
17. Carlton M. Caves; G. J. Milburn (1987). "Quantum-mechanical model for continuous position measurements" (PDF). Phys. Rev. A. 36 (12): 5543–5555. Bibcode:1987PhRvA..36.5543C. doi:10.1103/PhysRevA.36.5543. PMID 9898842.
18. Carmichael, Howard (1993). An open systems approach to quantum optics, Lecture Notes in Physics. Springer.
19. Wiseman, Howard Mark (1994). Quantum trajectories and feedback (PhD). University of Queensland.
20. O. Oreshkov; T. A. Brun (2005). "Weak Measurements Are Universal". Phys. Rev. Lett. 95 (11): 110409. arXiv:quant-ph/0503017. Bibcode:2005PhRvL..95k0409O. doi:10.1103/PhysRevLett.95.110409. PMID 16196989. S2CID 43706272.
21. Wiseman, Howard M.; Milburn, Gerard J. (2009). Quantum Measurement and Control. Cambridge; New York: Cambridge University Press. pp. 460. ISBN 978-0-521-80442-4.
22. C. A. Fuchs; A. Peres (1996). "Quantum-state disturbance versus information gain: Uncertainty relations for quantum information". Phys. Rev. A. 53 (4): 2038–2045. arXiv:quant-ph/9512023. Bibcode:1996PhRvA..53.2038F. doi:10.1103/PhysRevA.53.2038. PMID 9913105. S2CID 28280831.
23. C. A. Fuchs (1996). "Information Gain vs. State Disturbance in Quantum Theory". arXiv:quant-ph/9611010. Bibcode:1996quant.ph.11010F. {{cite journal}}: Cite journal requires |journal= (help)
24. C. A. Fuchs; K. A. Jacobs (2001). "Information-tradeoff relations for finite-strength quantum measurements". Phys. Rev. A. 63 (6): 062305. arXiv:quant-ph/0009101. Bibcode:2001PhRvA..63f2305F. doi:10.1103/PhysRevA.63.062305. S2CID 119476175.
25. K. Banaszek (2006). "Quantum-state disturbance versus information gain: Uncertainty relations for quantum information". Open Syst. Inf. Dyn. 13: 1–16. arXiv:quant-ph/0006062. doi:10.1007/s11080-006-7263-8. S2CID 35809757.
26. T. Ogawa; H. Nagaoka (1999). "Strong Converse to the Quantum Channel Coding Theorem". IEEE Trans. Inf. Theory. 45 (7): 2486–2489. arXiv:quant-ph/9808063. Bibcode:2002quant.ph..8139O. doi:10.1109/18.796386. S2CID 1360955.
27. S. J. Dolinar (1973). "An optimum receiver for the binary coherent state quantum channel" (PDF). MIT Research Laboratory of Electronics Quarterly Progress Report. 111: 115–120.
28. R. L. Cook; P. J. Martin; J. M. Geremia (2007). "Optical coherent state discrimination using a closed-loop quantum measurement". Nature. 446 (11): 774–777. Bibcode:2007Natur.446..774C. doi:10.1038/nature05655. PMID 17429395. S2CID 4381249.
29. F. E. Becerra; J. Fan; G. Baumgartner; J. Goldhar; J. T. Kosloski; A. Migdall (2013). "Experimental demonstration of a receiver beating the standard quantum limit for multiple nonorthogonal state discrimination". Nature Photonics. 7 (11): 147–152. Bibcode:2013NaPho...7..147B. doi:10.1038/nphoton.2012.316. S2CID 41194236.
30. K. Jacobs; D. A. Steck (2006). "A straightforward introduction to continuous quantum measurement". Contemporary Physics. 47 (5): 279–303. arXiv:quant-ph/0611067. Bibcode:2006ConPh..47..279J. doi:10.1080/00107510601101934. S2CID 33746261.
31. Boaz Tamir; Eliahu Cohen (2013). "Introduction to Weak Measurements and Weak Values". Quanta. 2 (1): 7–17. doi:10.12743/quanta.v2i1.14.