Stochastic process emerged from lattice fermion systems by repeated measurements and large-time limit

It is known that in quantum theory, measurements may suppress Hamiltonian dynamics of a system. A famous example is the `Quantum Zeno Effect'. This is the phenomena that if one repeats the measurements many times asking whether the system is in the same state as the one at the initial time until the fixed measurement time, then survival probability tends to 1 by taking the measurement interval to 0. This is the case for fixed measurement time. It is known that if one takes measurement time infinite at appropriate scaling, `Quantum Zeno Effect' does not occur and the effect of Hamiltonian dynamics emerges (Facchi and Ligabo 2017). In the present paper, we consider the long time repeated measurements and the dynamics of quantum many body systems in the scaling where the effect of measurements and dynamics are balanced. We show that the stochastic process, called symmetric simple exclusion process (SSEP), is obtained from the repeated and long time measurements of configuration of particles in finite lattice fermion systems. The emerging stochastic process is independent of potential and interaction of the underlying Hamiltonian of the system.


Introduction
It is known that in quantum theory, measurements suppress Hamiltonian dynamics of a system. A famous example is the 'Quantum Zeno Effect' [2]. This phenomena states that for fixed finite time t if one performs repeated measurements in small interval (taking limit to 0), then the dynamics of the system freezes. More precisely, suppose the system is initially in the (pure) state ψ 0 and evolves by the Hamiltonian H. For fixed time t, one repeats the 2-outcome measurements in the interval t/M asking if the system is in the state 'ψ 0 ' or not, which is described by the PVM {|ψ 0 ψ 0 |, 1 − |ψ 0 ψ 0 |}: repeat the following processes until t, dynamics : ψ → e −i t M H ψ measurement : ψ 0 or not?.
The probability getting the outcome 'ψ 0 ' in all the measurements tends to 1 in the limit M → ∞ (small interval limit). That is, the dynamics of the system is frozen by the continuous measurement. This is the 'Quantum Zeno Effect'. However, this is the case of finite measurement time t. It is known that if one takes measurement time infinite at appropriate scaling, 'Quantum Zeno Effect' does not occur and the effect of the Hamiltonian dynamics emerges [1]. In this paper, we will consider the case that suppression by repeated measurements and Hamiltonian dynamics are balanced. In the setting of 'Quantum Zeno Effect', one usually considers the 2-outcome measurement {|ψ 0 ψ 0 |, 1 − |ψ 0 ψ 0 |} asking whether the system is in the state 'ψ 0 ' or not. If one deals with more complicated outcome space such as configuration of particles, physically meaningful stochastic processes may be obtained.
Here, we consider the measurement of configuration of particles in finite lattice fermion systems. We deal with the Hamiltonian consisting of hopping term, potential term and 2body interaction term. For fixed τ , one repeats the measurement of configuration until τ M in the interval 1/M . That is, the number of measurements is [τ M 2 ], the maximum integer which does not exceed τ M 2 . Taking the limit M → ∞, we obtain a stochastic process with a new time τ . This process corresponds to the symmetric simple exclusive process (SSEP) and is independent of potential and interaction terms of the Hamiltonian. It is known that the diffusion equation is obtained from the SSEP by the appropriate scaling limit called hydrodynamic limit [3,4]. By the diffusion equation, the diffusion of particles is proportional to √ τ . If the measurements are not performed, generally the transport property of quantum many body systems should be influenced by the potential [5,6,7,8]. For example, if the potential is random the system shows the localization (Anderson localization) [9,10,11] and if the potential is periodic the system shows the ballistic transport [12]. Thus, our result suggests that the effect of repeated measurements promotes the diffusion for the random potentials and suppresses the transport of particles for the periodic potentials.

Lattice fermion system on the circle
In this section, we recall the description of many body fermion systems on lattice. Here consider the one-dimensional finite lattice {1, 2, · · · , N }. Many body fermion systems on this lattice is described by creation and annihilation operators a * n , a n (n = 1, 2, · · · , N ) satisfying the following canonical anti-commutation relations: {a n , a m } = 0, {a * n , a m } = δ nm 1.
These operators act on the fermion Fock space (2 N dimension) consisting of one-particle Hilbert space C N . In this paper, we consider the following form of Hamiltonian (a * n a n+1 + a * n+1 a n ) + v(n)a * n a n + λa * n a n a * n+1 a n+1 , where v : {1, · · · , N } → R is a real valued function called potential and λ ∈ R is a parameter representing the strengthen of interaction. − 1 2 (a * n a n+1 + a * n+1 a n ), v(n)a * n a n and λa * n a n a * n+1 a n+1 represent hopping, potential and interaction terms respectively. We consider the periodic boundary condition and identify a N +1 as a 1 .
Put A 0 n = a n a * n , A 1 n = a * n a n (n = 1, · · · , N ), then from canonical anti-commutation relations it turns out that they are projections commuting each other. For a configuration of particles x = (x 1 , x 2 , · · · , x N ) ∈ {0, 1} N (0, 1 correspond to the absence and the existence of a particle respectively, and x n represents whether a particle is in the site n or not), put Then they are projections and satisfy representing the measurement of configuration of particles. Since P x = 0 and the number of outcomes is equal to the dimension of the Hilbert space they are 1-rank projections. In this paper, we consider only projection measurement, that is, if one performs the measurement {P x } x∈{0,1} N on the system in the state ρ and obtain the outcome x, then the state after the measurement is

SSEP from repeated measurement
First, let us consider the Hamiltonian without potential and interaction terms: (a * n a n+1 + a * n+1 a n ), a N +1 = a 1 (periodic boundary condition). The system evolves by this Hamiltonian. Suppose that we repeat the measurements of configuration on the system initially in the state ρ (we identify the density operator ρ and the expectation value functional A → TrρA, and use the same symbol) until T with interval t. Put L ∈ N, s ∈ R which satisfies T = Lt + s (L ∈ N, 0 ≤ s < t). Then, the probability p t T (x) of getting the outcome x by the configuration measurement at time T is where ω x is the state which has the density operator P x . Put and define a 2 N × 2 N matrix U t with (x, y)-entry U t is a doubly stochastic matrix. With U t , the probability distribution p t T is expressed as Let us make the measurement interval t small and the measurement time T large. Fix τ > 0 and let M be a positive integer. Put t = 1 M and T = τ M and take the limit M → ∞. Here, we state our main result as a theorem.
This distribution corresponds to that of symmetric simple exclusion process (SSEP) initially in the distribution {ρ(P x )} x∈{0,1} N .
In the following, we provide the proof of this result step by step. For a ∈ R, let us denote [a] the maximum integer which does not exceed a.
converges to the identity operator and p Expanding ω y (e itH P x e −itH ) in terms of t, we have Since [P x , P y ] = 0, the second term is 0: Defining a 2 N × 2 N matrix X as In order to prove this fact, we prepare a lemma.
Lemma 3.2. Let V be a Banach space and X be a bounded operator on V . And suppose Then we obtain in the operator norm.
Proof. The proof consists of two parts. First, we show the relation which is well-known for the case that X is a number, Recall that for sufficiently large K, the first term of the right hand side is smaller than 3 and the right hand side is bounded from above by . Next, we will show that By expanding 1 + X K + Y K K , we get The right hand side is bounded above by Since K Y K → 0 and 1 + X K K → e X as K → ∞, the right hand side of the inequality tends to 0 as K → ∞.
The proof of equation (1). The proof consists of the following two steps: = e τ X by using Lemma 3.2 for the case K = M 2 .
, in order to apply Lemma 3.2 for the case K = M 2 , we have to show
Since 0 ≤ a < 1, (−1) n a n ≤ 0. Thus we obtain and this goes to 0 as M → ∞. Combining the above discussions, we get the conclusion Using the above discussions, we obtain the limit and it turns out that this is the solution of the following equations [a * n a n+1 , [a * n+1 a n , P x ] = (δ xn1 δ x n+1 0 − δ xn0 δ x n+1 1 )a * n+1 a n P n,n+1 x .
By the simple calculation, we have , ω y ([a * n+1 a n , [a * m+1 a m , P x ]]) = 0. Thus, finally we get When one considers the time evolution of the observables instead of distribution (Heisenberg picture), the generator is the transpose X T of X. The action of X T to the observable where for y ∈ {0, 1} N , y n↔n+1 represents the configuration that exchanges the values at n and n + 1. 1 {yn=1,y n+1 =0} is 1 if the condition in {} is satisfied and 0 otherwise. The stochastic process with such a generator is called symmetric simple exclusion process (SSEP). Theorem 3.1 is proved for the case that Hamiltonian does not include potential and interaction terms.
Before considering the case with potential and interaction terms, we would like to mention the importance of SSEP in (non-equilibrium) statistical physics. SSEP is a special case of a more general model, asymmetric simple exclusion process (ASEP) [13,14], which is a solvable model of interacting particle systems. Its dynamics and stationary state are well investigated. Moreover, as mentioned in the introduction, it is known that the diffusion equation, ∂ ∂t ρ(t, x) = D ∂ 2 ∂x 2 ρ(t, x), is obtained from SSEP by the hydrodynamic limit [3,4]. In the following let us consider the Hamiltonian including the potential N n=1 v(n)a * n a n and the interaction λ N n=1 a * n a n a * n+1 a n+1 , and complete the proof of Theorem 3.1. Since these terms commute with P x , they do not change [H, P x ]. Let us consider the contribution to [H, [H, P x ]]. Calculating the terms which do not become 0, from the potential term we have [a * n a n , a * n a n+1 P n,n+1 x ] = a * n a n+1 P n,n+1 x , [a * n+1 a n+1 , a * n a n+1 P n,n+1 x ] = −a * n a n+1 P n,n+1 x , [a * n a n , a * n+1 a n P n,n+1 x ] = −a * n+1 a n P n,n+1 x , [a * n+1 a n+1 , a * n+1 a n P n,n+1 x ] = a * n+1 a n P n,n+1 x .
The expectation values of these terms with respect to the state ω y are 0. This is due to the relation ω y (A) = TrP y AP y and the fact that they are 0 if multiplied P y from both side. Therefore even if one considers the Hamiltonian including the potential and the interaction H = N n=1 − 1 2 (a * n a n+1 + a * n+1 a n ) + v(n)a * n a n + λa * n a n a * n+1 a n+1 , the stochastic process obtained by the large time repeated measurements of configuration is not changed. This completes the proof of Theorem 3.1. Of course, if the measurement is not performed, the property of the transport of particles is influenced by the potential and the interaction. It is well-known that when the potential is periodic the system shows the ballistic transport (the current is independent of the system size) and for random potentials the system shows the localization (Anderson localization). But our result shows that by performing the long time repeated measurements, the transport of the particles is described by the same stochastic process (SSEP) independent of the potential and the interaction. This fact concludes that the effect of measurement sometimes suppresses the transport (comparing to the ballistic case) and sometimes induces the transport (comparing to the localization case).
Independence of the potential implies that even if the electric field is induced, the particles do not flow in the specific direction. Since the stochastic process is symmetric, some particles moves against the electric field. This means one can extract work from the system only by performing the measurement.

Discussion and outlook
In this paper, we considered the large time repeated measurements of configuration of particles, and showed that the classical stochastic process (SSEP) is obtained. From this stochastic process, diffusion equation emerges by the hydrodynamic limit. Although we dealt with only one-dimensional periodic lattice, our result is easily extended to any dimension and the lattice with boundary or infinite lattice. One of the key points of our result is that the effect of continuous measurement makes the way of particle diffusion universal. Our result suggests that in order to explain the universal behavior of diffusion in macroscopic world as seen in the diffusion equation from the quantum mechanical dynamics, disturbance from the environment would be necessary. But, projection measurement is the very strong disturbance. How can we obtain the diffusion equation from more physically natural dissipative quantum many body systems? This is our future work.
In the present paper, we only use the fact that the measurement is described by 1-rank PVM to prove the former part of Theorem 3.1: p 1 M τ M converges to a distribution q τ which is described by the equation d dτ q τ = Xq τ . Thus, a part of our main result can be applied to general systems.