Weak measurement

Last updated

In quantum mechanics (and computation & information), weak measurements are 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] the system is necessarily disturbed by the measurement. 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]

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 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: Mensky; [9] [10] Belavkin; [11] [12] Barchielli, Lanz, Prosperi; [13] Barchielli; [14] Caves; [15] [16] Caves and 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 Aharonov, Albert and 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.

Mathematics

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 ${\displaystyle \sum _{q}|q\rangle \langle q|=I}$. The measurements 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 ${\displaystyle {\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 ${\displaystyle 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 ${\displaystyle \sum _{q}E_{q}=I}$ so that the corresponding probabilities sum to unity: ${\displaystyle \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 ${\displaystyle \int dq\,E(q)=I}$. An alternative representation is often seen in the literature. Using the spectral representation of the position operator ${\displaystyle 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 ${\displaystyle \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.

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 Fuchs and Peres; [22] Fuchs; [23] Fuchs and Jacobs; [24] and 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's 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.

• 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]

Related Research Articles

Quantum teleportation is a technique for transferring quantum information from a sender at one location to a receiver some distance away. While teleportation is commonly portrayed in science fiction as a means to transfer physical objects from one location to the next, quantum teleportation only transfers quantum information. Moreover, the sender may not know the location of the recipient, and does not know which particular quantum state will be transferred.

In quantum mechanics, the uncertainty principle is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physical quantities of a particle, such as position, x, and momentum, p, can be predicted from initial conditions.

Bell's theorem proves that quantum physics is incompatible with local hidden-variable theories. It was introduced by physicist John Stewart Bell in a 1964 paper titled "On the Einstein Podolsky Rosen Paradox", referring to a 1935 thought experiment that Albert Einstein, Boris Podolsky and Nathan Rosen used to argue that quantum physics is an "incomplete" theory. By 1935, it was already recognized that the predictions of quantum physics are probabilistic. Einstein, Podolsky and Rosen presented a scenario that, in their view, indicated that quantum particles, like electrons and photons, must carry physical properties or attributes not included in quantum theory, and the uncertainties in quantum theory's predictions were due to ignorance of these properties, later termed "hidden variables". Their scenario involves a pair of widely separated physical objects, prepared in such a way that the quantum state of the pair is entangled.

In quantum mechanics, a density matrix is a matrix that describes the quantum state of a physical system. It allows for the calculation of the probabilities of the outcomes of any measurement performed upon this system, using the Born rule. It is a generalization of the more usual state vectors or wavefunctions: while those can only represent pure states, density matrices can also represent mixed states. Mixed states arise in quantum mechanics in two different situations: first when the preparation of the system is not fully known, and thus one must deal with a statistical ensemble of possible preparations, and second when one wants to describe a physical system which is entangled with another, as its state can not be described by a pure state.

In quantum physics, a measurement is the testing or manipulation of a physical system in order to yield a numerical result. The predictions that quantum physics makes are in general probabilistic. The mathematical tools for making predictions about what measurement outcomes may occur were developed during the 20th century and make use of linear algebra and functional analysis.

In quantum computing and specifically the quantum circuit model of computation, a quantum logic gate is a basic quantum circuit operating on a small number of qubits. They are the building blocks of quantum circuits, like classical logic gates are for conventional digital circuits.

Quantum error correction (QEC) is used in quantum computing to protect quantum information from errors due to decoherence and other quantum noise. Quantum error correction is essential if one is to achieve fault-tolerant quantum computation that can deal not only with noise on stored quantum information, but also with faulty quantum gates, faulty quantum preparation, and faulty measurements.

The Peres–Horodecki criterion is a necessary condition, for the joint density matrix of two quantum mechanical systems and , to be separable. It is also called the PPT criterion, for positive partial transpose. In the 2x2 and 2x3 dimensional cases the condition is also sufficient. It is used to decide the separability of mixed states, where the Schmidt decomposition does not apply.

In functional analysis and quantum measurement theory, a positive operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalisation of projection-valued measures (PVM) and, correspondingly, quantum measurements described by POVMs are a generalisation of quantum measurement described by PVMs.

The Born rule is a key postulate of quantum mechanics which gives the probability that a measurement of a quantum system will yield a given result. In its simplest form, it states that the probability density of finding a particle at a given point, when measured, is proportional to the square of the magnitude of the particle's wavefunction at that point. It was formulated by German physicist Max Born in 1926.

In quantum mechanics, notably in quantum information theory, fidelity is a measure of the "closeness" of two quantum states. It expresses the probability that one state will pass a test to identify as the other. The fidelity is not a metric on the space of density matrices, but it can be used to define the Bures metric on this space.

The Jaynes–Cummings model is a theoretical model in quantum optics. It describes the system of a two-level atom interacting with a quantized mode of an optical cavity, with or without the presence of light. It was originally developed to study the interaction of atoms with the quantized electromagnetic field in order to investigate the phenomena of spontaneous emission and absorption of photons in a cavity.

In theoretical physics, quantum nonlocality refers to the phenomenon by which the measurement statistics of a multipartite quantum system do not admit an interpretation in terms of a local realistic theory. Quantum nonlocality has been experimentally verified under different physical assumptions. Any physical theory that aims at superseding or replacing quantum theory should account for such experiments and therefore must also be nonlocal in this sense; quantum nonlocality is a property of the universe that is independent of our description of nature.

In quantum mechanics, a weak value is a quantity related to a shift of a measuring device's pointer when usually there is pre- and postselection. It should not be confused with a weak measurement, which is often defined in conjunction. The weak value was first defined by Yakir Aharonov, David Albert and Lev Vaidman, published in Physical Review Letters 1988, and is related to the two-state vector formalism. There is also a way to obtain weak values without postselection.

The Ghirardi–Rimini–Weber theory (GRW) is a spontaneous collapse theory in quantum mechanics, proposed in 1986 by Giancarlo Ghirardi, Alberto Rimini, and Tullio Weber.

Within computational chemistry, the Slater–Condon rules express integrals of one- and two-body operators over wavefunctions constructed as Slater determinants of orthonormal orbitals in terms of the individual orbitals. In doing so, the original integrals involving N-electron wavefunctions are reduced to sums over integrals involving at most two molecular orbitals, or in other words, the original 3N dimensional integral is expressed in terms of many three- and six-dimensional integrals.

In quantum information theory, mutually unbiased bases in Hilbert space Cd are two orthonormal bases and such that the square of the magnitude of the inner product between any basis states and equals the inverse of the dimension d:

In quantum mechanics, and especially quantum information theory, the purity of a normalized quantum state is a scalar defined as

The Koopman–von Neumann mechanics is a description of classical mechanics in terms of Hilbert space, introduced by Bernard Koopman and John von Neumann in 1931 and 1932, respectively.

The quantum Fisher information is a central quantity in quantum metrology and is the quantum analogue of the classical Fisher information. The quantum Fisher information of a state with respect to the observable is defined as

References

1. Todd A Brun (2002). "A simple model of quantum trajectories". Am. J. Phys. 70 (7): 719–737. arXiv:. Bibcode:2002AmJPh..70..719B. doi:10.1119/1.1475328.
2. Paul Busch (2009). J. Christian; W.Myrvold (eds.). "No Information Without Disturbance": Quantum Limitations of Measurement. The University of Western Ontario Series in Philosophy of Science. 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. 73. Springer-Verlag, 2008. pp. 229–256. arXiv:. doi:10.1007/978-1-4020-9107-0. ISBN   978-1-4020-9106-3. ISSN   1566-659X.
3. Stan Gudder (2005). Andrei Khrennikov; Olga Nanasiova; Endre Pap (eds.). "Non-disturbance for fuzzy quantum measurements". Fuzzy Sets and Systems. Fuzzy Sets and Systems, Volume 155, Issue 1, Pages 1-164 (1 October 2005) Measures and conditioning, Measures and conditioning. 155: 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 (2009). Y. v. Nazarov (ed.). . Quantum Noise in Mesoscopic Physics. Springer Netherlands. pp.  205–228. arXiv:. doi:10.1007/978-94-010-0089-5_10. ISBN   978-1-4020-1240-2.
6. A. Winter (1999). "Coding Theorem and Strong Converse for Quantum Channels". IEEE Trans. Inf. Theory. 45 (7): 2481–2485. arXiv:. doi:10.1109/18.796385.
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.
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:. Bibcode:2010RvMP...82.1155C. doi:10.1103/RevModPhys.82.1155.
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.
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:. Bibcode:1992CMaPh.146..611B. doi:10.1007/bf02097018.
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.
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.
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.
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.
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.
18. Carmichael, Howard (1993). An open systems approach to quantum optics, Lecture Notes in Physics. Springer.
19. O. Oreshkov; T. A. Brun (2005). "Weak Measurements Are Universal". Phys. Rev. Lett. 95 (11): 110409. arXiv:. Bibcode:2005PhRvL..95k0409O. doi:10.1103/PhysRevLett.95.110409.
20. Wiseman, Howard M.; Milburn, Gerard J. (2009). . Cambridge; New York: Cambridge University Press. pp.  460. ISBN   978-0-521-80442-4.
21. 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:. Bibcode:1996PhRvA..53.2038F. doi:10.1103/PhysRevA.53.2038. PMID   9913105.
22. C. A. Fuchs (1996). "Information Gain vs. State Disturbance in Quantum Theory". arXiv:. Bibcode:1996quant.ph.11010F.Cite journal requires |journal= (help)
23. C. A. Fuchs; K. A. Jacobs (2001). "Information-tradeoff relations for finite-strength quantum measurements". Phys. Rev. A. 63 (6): 062305. arXiv:. Bibcode:2001PhRvA..63f2305F. doi:10.1103/PhysRevA.63.062305.
24. K. Banaszek (2006). "Quantum-state disturbance versus information gain: Uncertainty relations for quantum information". Open Syst. Inf. Dyn. 13: 1–16. arXiv:. doi:10.1007/s11080-006-7263-8.
25. T. Ogawa; H. Nagaoka (1999). "A New Proof of the Channel Coding Theorem via Hypothesis Testing in Quantum Information Theory". IEEE Trans. Inf. Theory. 45 (7): 2486–2489. arXiv:. Bibcode:2002quant.ph..8139O. doi:10.1109/18.796386.
26. S. J. Dolinar (1973). "An optimum receiver for the binary coherent state quantum channel". MIT Res. Lab. Electron. Quart. Progr. Rep. 111: 115–120.
27. 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.
28. 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.
29. K. Jacobs; D. A. Steck (2006). "A straightforward introduction to continuous quantum measurement". Contemporary Physics. 47 (5): 279–303. arXiv:. Bibcode:2006ConPh..47..279J. doi:10.1080/00107510601101934.
30. Boaz Tamir; Eliahu Cohen (2013). "Introduction to Weak Measurements and Weak Values". Quanta. 2 (1): 7–17. doi:.