Weak value

Definition and Derivation

There are many excellent review articles on weak values (see e.g. ) here we briefly cover the basics.

Definition

We will denote the initial state of a system as | ψ i ⟩ , while the final state of the system is denoted as | ψ f ⟩ . We will refer to the initial and final states of the system as the pre- and post-selected quantum mechanical states. With respect to these state the weak value of the observable A is defined as:

A w = ⟨ ψ f | A | ψ i ⟩ ⟨ ψ f | ψ i ⟩ .

Notice that if | ψ f ⟩ = | ψ i ⟩ then the weak value is equal to the usual expected value in the initial state ⟨ ψ i | A | ψ i ⟩ or the final state ⟨ ψ f | A | ψ f ⟩ . In general the weak value quantity is a complex number. The weak value of the observable becomes large when the post-selected state, | ψ f ⟩ , approaches being orthogonal to the pre-selected state, | ψ i ⟩ , i.e. ⟨ ψ f | ψ i ⟩ ≪ 1 . If A w is larger than the largest eigenvalue of A or smaller than the smallest eigenvalue of A the weak value is said to be anomalous.

As an example consider a spin 1/2 particle. Take A to be the Pauli Z operator A = σ z with eigenvalues ± 1 . Using the initial state

| ψ i ⟩ = 1 2 ( cos ⁡ α 2 + sin ⁡ α 2 cos ⁡ α 2 − sin ⁡ α 2 )

and the final state

| ψ f ⟩ = 1 2 ( 1 1 )

we can calculate the weak value to be

A w = ( σ z ) w = tan ⁡ α 2 .

For | α | > π 2 the weak value is anomalous.

Derivation

Here we follow the presentation given by Duck, Stevenson, and Sudarshan, (with some notational updates from Kofman et al. )which makes explicit when the approximations used to derive the weak value are valid.

Consider a quantum system that you want to measure by coupling an ancillary (also quantum) measuring device. The observable to be measured on the system is A . The system and ancilla are coupled via the Hamiltonian H = γ A ⊗ p , where the coupling constant is integrated over an interaction time γ = ∫ t i t f g ( t ) d t ≪ 1 and [ q , p ] = i is the canonical commutator. The Hamiltonian generates the unitary

U = exp ⁡ [ − i γ A ⊗ p ] .

Take the initial state of the ancilla to have a Gaussian distribution

| Φ ⟩ = 1 ( 2 π σ 2 ) 1 / 4 ∫ d q ′ exp ⁡ [ − q ′ 2 / 4 σ 2 ] | q ′ ⟩ ,

the position wavefunction of this state is

Φ ( q ) = ⟨ q | Φ ⟩ = 1 ( 2 π σ 2 ) 1 / 4 exp ⁡ [ − q 2 / 4 σ 2 ] .

The initial state of the system is given by | ψ i ⟩ above; the state | Ψ ⟩ , jointly describing the initial state of the system and ancilla, is given then by:

| Ψ ⟩ = | ψ i ⟩ ⊗ | Φ ⟩ .

Next the system and ancilla interact via the unitary U | Ψ ⟩ . After this one performs a projective measurement of the projectors { | ψ f ⟩ ⟨ ψ f | , I − | ψ f ⟩ ⟨ ψ f | } on the system. If we postselect (or condition) on getting the outcome | ψ f ⟩ ⟨ ψ f | , then the (unnormalized) final state of the meter is

| Φ f ⟩ = ⟨ ψ f | U | ψ i ⟩ ⊗ | Φ ⟩ ≈ ⟨ ψ f | ( I ⊗ I − i γ A ⊗ p ) | ψ i ⟩ ⊗ | Φ ⟩ ( I ) = ⟨ ψ f | ψ i ⟩ ( 1 − i γ A w p ) | Φ ⟩ ≈ ⟨ ψ f | ψ i ⟩ exp ⁡ ( − i γ A w p ) | Φ ⟩ . ( I I )

To arrive at this conclusion, we use the first order series expansion of U on line (I), and we require that

| γ | σ | ⟨ ψ f | A n | ψ i ⟩ ⟨ ψ f | A | ψ i ⟩ | 1 / ( n − 1 ) ≪ 1 , ( n = 2 , 3 , . . . )

On line (II) we use the approximation that e − x ≈ 1 − x for small x . This final approximation is only valid when

| γ A w | / σ ≪ 1.

As p is the generator of translations, the ancilla's wavefunction is now given by

Φ f ( q ) = Φ ( q − γ A w ) .

This is the original wavefunction, shifted by an amount γ A w . By Busch's theorem the system and meter wavefunctions are necessarily disturbed by the measurement. There is a certain sense in which the protocol that allows one to measure the weak value is minimally disturbing, but there is still disturbance.

Quantum metrology and Tomography

At the end of the original weak value paper the authors suggested weak values could be used in quantum metrology:

This suggestion was followed by Hosten and Kwiat and later by Dixon et al. It appears to be an interesting line of research that could result in improved quantum sensing technology.

Additionally in 2011, weak measurements of many photons prepared in the same pure state, followed by strong measurements of a complementary variable, were used to perform quantum tomography (i.e. reconstruct the state in which the photons were prepared).

Quantum foundations

Weak values have been used to examine some of the paradoxes in the foundations of quantum theory. For example, the research group of Aephraim Steinberg at the University of Toronto confirmed Hardy's paradox experimentally using joint weak measurement of the locations of entangled pairs of photons. (also see)

Building on weak measurements, Howard M. Wiseman proposed a weak value measurement of the velocity of a quantum particle at a precise position, which he termed its "naïvely observable velocity". In 2010, a first experimental observation of trajectories of a photon in a double-slit interferometer was reported, which displayed the qualitative features predicted in 2001 by Partha Ghose for photons in the de Broglie-Bohm interpretation.

Criticisms

Criticisms of weak values include philosophical and practical criticisms. Some noted researchers such as Asher Peres, Tony Leggett, David Mermin, and Charles H. Bennett are critical of weak values also: