There are many excellent review articles on weak values here we briefly cover the basics.
Definition
We will denote the initial state of a system as, while the final state of the system is denoted as. 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 is defined as: Notice that if then the weak value is equal to the usual expected value in the initial state or the final state. In general the weak value quantity is a complex number. The weak value of the observable becomes large when the post-selected state,, approaches being orthogonal to the pre-selected state,, i.e.. If is larger than the largest eigenvalue of or smaller than the smallest eigenvalue of the weak value is said to be anomalous. As an example consider a spin 1/2 particle. Take to be the Pauli Z operator with eigenvalues. Using the initial state and the final state we can calculate the weak value to be For the weak value is anomalous.
Derivation
Here we follow the presentation given by Duck, Stevenson, and Sudarshan, 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 measuring device. The observable to be measured on the system is. The system and ancilla are coupled via the Hamiltonian where the coupling constant is integrated over an interaction time and is the canonical commutator. The Hamiltonian generates the unitary Take the initial state of the ancilla to have a Gaussian distribution the position wavefunction of this state is The initial state of the system is given by above; the state, jointly describing the initial state of the system and ancilla, is given then by: Next the system and ancilla interact via the unitary. After this one performs a projective measurement of the projectors on the system. If we postselect on getting the outcome, then the final state of the meter is To arrive at this conclusion, we use the first order series expansion of on line, and we require that On line we use the approximation that for small. This final approximation is only valid when As is the generator of translations, the ancilla's wavefunction is now given by This is the original wavefunction, shifted by an amount. 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.
Applications
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.
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. 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.
Quantum Computation
Weak values have been implemented into quantum computing to get a giant speed up in time complexity. In a paper, Arun Kumar Pati describes a new kind of quantum computer using weak value amplification and post-selection, and implements search algorithm which can find the target state in a single run with time complexity, beating out the well known Grover's algorithm.
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:
Stephen Parrott questions the meaning and usefulness of weak measurements, as described above.
