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 performs the measurements M times asking whether the system is in the same state as the one at the initial time until the fixed measurement time t, then survival probability tends to 1 by taking the limit . This is the case for fixed measurement time t. It is known that, if one takes measurement time infinite at appropriate scaling, the ‘Quantum Zeno Effect’ does not occur and the effect of Hamiltonian dynamics emerges. 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 the 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.
It is known that, in quantum theory, measurements suppress Hamiltonian dynamics of a system. A famous example is the ‘Quantum Zeno Effect’ . This phenomena states that, for fixed finite time t, if one performs repeated measurements in small intervals (taking limit to 0), then the dynamics of the system freezes. More precisely, suppose the system is initially in the (pure) state and evolves by the Hamiltonian H. For fixed time t, one repeats the 2-outcome measurements in the interval asking if the system is in the state ‘’ or not, which is described by the PVM : repeat the following processes until t,
The probability getting the outcome ‘’ in all the measurements tends to 1 in the limit (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, the ‘Quantum Zeno Effect’ does not occur and the effect of the Hamiltonian dynamics emerges . 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 asking whether the system is in the state ‘’ 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 2-body interaction term. For fixed , one repeats the measurement of configuration until in the interval . That is, the number of measurements is , the maximum integer which does not exceed . Taking the limit , 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 . 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.
2. 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 . Many body fermion systems on this lattice are described by creation and annihilation operators satisfying the following canonical anti-commutation relations:
These operators act on the fermion Fock space ( dimension) consisting of one-particle Hilbert space . In this paper, we consider the following form of Hamiltonian
where is a real valued function called potential and is a parameter representing the strengthening of interaction. and represent hopping, potential, and interaction terms, respectively. We consider the periodic boundary condition and identify as .
Put (). Then, from canonical anti-commutation relations, it turns out that they are projections commuting each other. For a configuration of particles ( correspond to the absence and the existence of a particle, respectively, and represents whether a particle is in the site n or not), put
Then, they are projections and satisfy
That is, is a PVM (projection-valued measure) representing the measurement of configuration of particles. Since 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 on the system in the state and obtains the outcome x, then the state after the measurement is
3. SSEP from Repeated Measurement
First, let us consider the Hamiltonian without potential and interaction terms:
(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 , and use the same symbol) until T with interval t. Put , which satisfies . Then, the probability of getting the outcome x by the configuration measurement at time T is
where is the state which has the density operator . Put
and define a matrix with -entry
is a doubly stochastic matrix. With , the probability distribution is expressed as
Let us make the measurement interval t small and the measurement time T large. Fix and let M be a positive integer. Put and and take the limit .
Here, we state our main result as a theorem.
converges to a probability distribution on by the limit . This distribution corresponds to that of symmetric simple exclusion process (SSEP) initially in the distribution .
In the following, we provide the proof of this result step by step.
For , let us denote the maximum integer which does not exceed a. Then, . () on the right-hand side of
converges to the identity operator and to as the limit . Let us focus on the factor
Expanding in terms of t, we have
where . Since , the second term is 0:
Defining a matrix X as
then we get
In order to prove this fact, we prepare a lemma.
Let V be a Banach space and X be a bounded operator on V. In addition, suppose is a sequence of bounded operators on V such that is a operator norm of . Then, we obtain
in the operator norm.
The proof consists of two parts. First, we show the relation which is well-known for the case that X is a number,
For , there exists a positive integer such that . For by the inequality
for sufficiently large K, the first term of the right-hand side is smaller than and the right-hand side is bounded from above by .
Next, we will show that
By expanding , we get
The right-hand side is bounded above by
Since and as , the right-hand side of the inequality tends to 0 as . □
The Proof ofEquation (1).
The proof consists of the following two steps:
Show by using Lemma 1 for the case .
in order to apply Lemma 1 for the case , we have to show
Putting , then by the inequality , we have
for . Thus,
and, by Lemma 1, we obtain
Next, we estimate the difference between and . Denote . Then,
The first factor of the right-hand side tends to as . Let us consider the second factor:
Setting and , then . In addition, since as , for large M. By
Since , . Thus, we obtain
and this goes to 0 as . 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:
represents the distribution of the configuration after the large time repeated measurement. The next question is: from what this stochastic process is this distribution obtained? Let us evaluate the detail of X. Recall that the -entry of X is . First, in order to obtain , let us calculate and :
where . Similarly, we have
Combining the above equations, we obtain
By the simple calculation, we have
Thus, finally we get
When one considers the time evolution of the observables instead of distribution (Heisenberg picture), the generator is the transpose of X. The action of to the observable is
where for , represents the configuration that exchanges the values at n and . is 1 if the condition in is satisfied and 0 otherwise.
The stochastic process with such a generator is called the symmetric simple exclusion process (SSEP). Theorem 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, the 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, , is obtained from SSEP by the hydrodynamic limit [3,4].
In the following, let us consider the Hamiltonian including the potential and the interaction , and complete the proof of Theorem 1. Since these terms commute with , they do not change . Let us consider the contribution to . Calculating the terms which do not become 0, from the potential term, we have
In addition, from the interaction term, we have
The expectation values of these terms with respect to the state are 0. This is due to the relation and the fact that they are 0 if multiplied by from both sides. Therefore, even if one considers the Hamiltonian including the potential and the interaction
the stochastic process obtained by the large time repeated measurements of configuration is not changed. This completes the proof of Theorem 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). However, 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 move against the electric field. This means that one can extract work from the system only by performing the measurement.
4. 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, a 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. However, 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 1: converges to a distribution which is described by the equation . Thus, a part of our main result can be applied to general systems.
This research received no external funding.
Conflicts of Interest
The author declares no conflict of interest.
Misra, B.; Sudarshan, E.C.G. The Zeno’s paradox in quantum theory. J. Math. Phys.1977, 18, 756–763. [Google Scholar] [CrossRef]
Facchi, P.; Ligabò, M. Large-time limit of the quantum Zeno effect. J. Math. Phys.2017, 58, 032103. [Google Scholar] [CrossRef]
Kipnis, C.; Landim, C. Scaling Limits of Interacting Particle Systems; Springer: Berlin/Heidelberg, Germany, 1998; Volume 320. [Google Scholar]
Guo, M.Z.; Papanicolaou, G.C.; Varadhan, S.R.S. Nonlinear diffusion limit for a system with nearest neighbor interactions. Commun. Math. Phys.1988, 118, 31–59. [Google Scholar] [CrossRef]
Abdul-Rahman, H.; Nachtergaele, B.; Sims, R.; Stolz, G. Localization properties of the disordered XY spin chain: A review of mathematical results with an eye toward many-body localization. Ann. Phys.2017, 529, 1600280. [Google Scholar] [CrossRef]
Damanik, D.; Lukic, M.; Yessen, W. Quantum dynamics of periodic and limit-periodic Jacobi and block Jacobi matrices with applications to some quantum many body problems. Commun. Math. Phys.2015, 337, 1535–1561. [Google Scholar] [CrossRef]
Damanik, D.; Gorodetski, A.; Liu, Q.H.; Qu, Y.H. Transport exponents of Sturmian Hamiltonians. J. Funct. Anal.2015, 269, 1404–1440. [Google Scholar] [CrossRef]
Kachkovskiy, I. On transport properties of isotropic quasiperiodic XY spin chains. Commun. Math. Phys.2016, 345, 659–673. [Google Scholar] [CrossRef]
Germinet, F.; De Bievre, S. Dynamical localization for discrete and continuous random Schrödinger operators. Commun. Math. Phys.1998, 194, 323–341. [Google Scholar] [CrossRef]
Carmona, R.; Klein, A.; Martinelli, F. Anderson localization for Bernoulli and other singular potentials. Commun. Math. Phys.1987, 108, 41–66. [Google Scholar] [CrossRef]
Anderson, P.W. Absence of Diffusion in Certain Random Lattices. Phys. Rev.1958, 109, 1492–1505. [Google Scholar] [CrossRef]