Measurement Problem and Two-State Vector Formalism

In this paper, I show that an interpretation of quantum mechanics using two-state vector formalism proposed by Aharonov, Bergmann, and Lebowitz, can solve one of the measurement problems formulated by Maudlin. According to this interpretation, we can simultaneously insist that the wave function of a system is complete, that the wave function is determined by the Schrödinger equation, and that the measurement of a physical quantity always has determinate outcomes, although Maudlin in his formulation of the measurement problem states that these three claims are mutually inconsistent. Further, I show that my interpretation does not contradict the uncertainty relation and the no-go theorem.


Introduction
In his formalization of one of the measurement problems, Maudlin asserts that the following three claims are mutually inconsistent [1]: A The wave function of a system is complete; i.e., the wave function specifies (directly or indirectly) all of the physical properties of a system.B The wave function always evolves according to a linear dynamical equation (e.g., the Schrödinger equation).C The measurement of, e.g., the spin of an electron, always (or at least usually) has determinate outcomes; i.e., at the end of the measurement, the measuring device is in a state that indicates either spin up (and not down) or spin down (and not up).According to Maudlin, since these three claims are mutually inconsistent, all interpretations of quantum mechanics and alternative theories have to discard at least one of these claims.For example, hidden variable theories (e.g., Bohm mechanics and modal interpretations) deny statement A above, the so-called collapse theories deny statement B, and the many-worlds interpretation denies statement C. In this paper, I suggest an interpretation that consistently satisfies all the three abovementioned conditions.However, statement B is slightly modified as follows: B' The wave function at a given time can always be determined according to a linear dynamical equation (e.g., the Schrödinger equation).
Statements A, B' and C are also mutually inconsistent in the existing interpretations.The new interpretation makes it possible to satisfy these three claims by considering not only the past state but also the future state of the given system.This interpretation is inspired by the two-state vector formalism (TSVF), which is a formalism of quantum mechanics proposed by Aharonov, Bergmann, and Lebowitz [2].
TSVF has a rule, which is called the "ABL rule" and expressed in Equation (1) ("ABL" is an abbreviation of Aharonov, Bergmann, and Lebowitz), which determines the probability that the system under consideration is in a given state at t that is dependent on the states of the system at 0 t and 1 t ( ) The ABL rule asserts that when the state of the system at 1 t is an eigenstate of a physical quantity Q, the probability that the state of the system at t is the eigenstate of Q is always 1. Further, we have to use the Schrödinger equation in order to calculate the probabilities by using the ABL rule.Therefore, there is no need to discard any of the abovementioned three claims.

Brief Review of Two-State Vector Formalism
In this section, I present a brief review of TSVF.Let us assume that the physical quantity Q has eigenstates 1 2 , , , n q q q  (in this paper, we assume "the eigenstate-eigenvalue link").The probability, ( ) , i P q t , that the state of the system at t is i q is calculated as follows by using the ABL rule: ( , . Here, ( ) ( ) ( ) where ( ) denotes the initial state of the system measured at 0 t and ( ) represents the final state of the system measured at 1 t , with 0 1 t t t < < .Equation (2) indicates that the wave functions in TSVF obey the Schrödinger equation.
There appears to be no method for verifying the prediction made using TSVF because we cannot know the intermediate state at t without destroying the state.Aharonov and Vaidman solved this problem by proposing a new measurement concept called "weak measurement"; measurements made according to this concept do not destroy the intermediate quantum state [3].
According to Aharonov and Vaidman, the mean value obtained by weak measurement is the real part of the "weak value."The weak value of the physical quantity Q at t, ( ) Recently, physicists performed a weak measurement and confirmed that the theoretically predicted and measured weak values showed good agreement (cf.[4]).Finally, with respect to the speculation that TSVF contradicts conventional quantum mechanics (CQM), it has been proved that the Born rule (and the ABL rule) can be derived in TSVF [5].

How to Solve the Measurement Problem
In general, when the final state is an eigenstate, i q , of Q, the intermediate state is also i q with certainty because Thus, we can simultaneously insist that the wave function of a system is complete, that the wave function is determined by using the Schrödinger equation (when the initial and final wave functions are given), and that the measurement of a physical quantity always (or at least usually) has determinate outcomes [6].
Nevertheless, this interpretation still appears to be problematic in the following situation: Let us assume that we measure the x-spin of an electron at 0 t and obtain a value 2 +  .Thus, the system state is x + , where ( ) ( ) x z − respectively represent the states in which the measured values the x(z)-spin are 2 +  and 2 −  .Thereafter, we measure the z-spin of the electron at 1 t and obtain a value 2 +  ; thus, the system state is z + .
According to the ABL rule, both probabilities, namely, the probability that the system state at t ( ) and the probability that the system state at t is z + , are 1.However, a quantum system cannot have the eigenstates of both the x-spin and the z-spin simultaneously.Let us assume that the state of a system ( ) Q and 2 Q having eigenvalues 1 q and 2 q , respectively.
Consequently, ( ) ( ) This contradicts the assumption that 1 Q and 2 Q are non-commutative.
Therefore, Aharonov, Popescu, and Tollaksen state that if at t we measure the spin in the z-direction, we must find it up, because that's how the particle is prepared at 0 t .On the other hand, if at t we measure the spin along x, we must also find it up, because otherwise the measurement at 1 t wouldn't find it up ([7], p. 27).Nonetheless, there is still concern that our interpretation contradicts the uncertainty relation (Kennard-Robertson inequality).Let us assume that an ensemble of electrons whose x-spin at 0 t is 2 +  and z-spin at 1 t is 2 +  has been prepared, and let us divide this ensemble into two sub-ensembles: 1 Σ and 2 Σ .When we perform a weak measurement of the x-spin in 1 Σ and the z-spin in 2 Σ at t, we obtain the result that the x-spin is 2 +  and the z-spin is 2 +  with certainty.This result indicates that the standard deviations of both the x-spin in 1 Σ and the z-spin in 2 Σ are 0 (because all the measurement results of the x-spin in 1 Σ and the z-spin in 2 Σ are 2 +  ).This result appears to contradict the uncertainty relation.However, note that the uncertainty relation considers only the past state.When we consider the future state as well, the standard deviations of both the z-spin and the x-spin can be 0 at t. Here, we define ( ) where z S denotes an operator of the z-spin.Consequently, we can easily obtain ( ) Similarly, we can obtain ( ) Therefore, when we interpret w z S ∆ as the standard deviation of the z-spin in TSQM, it is not strange that the standard deviations of both the x-spin in 1 Σ and the z-spin in 2 Σ are 0.
In general, when we define ( ) ( ) ( ) where Q denotes an observable quantity, i φ represents an eigenstate of Q, and i j ij φ φ δ = , we can easily obtain ( ) when the final state is an eigenstate of Q.
Nevertheless, the concern that the abovementioned interpretation may contradict no-go theorem such as the