OCU-PHYS 49 USTC-ICTS-18- Dynamics of logarithmic negativity and mutual information in smooth quenches Hiroyuki Fujita, Mitsuhiro Nishida, Masahiro Nozaki, and Yuji Sugimoto Institute for Solid State Physics, The University of Tokyo, Kashiwa, Chiba 77-8581, Japan School of Physics and Chemistry, Gwangju Institute of Science and Technology, Gwangju 61005, Korea arxiv:181.0658v [hep-th] 7 Dec 018 Kadanoff Center for Theoretical Physics, University of Chicago, Chicago, IL 60637, USA ithems Program, RIKEN, Wako, Saitama 351-0198, Japan Osaka City University Advanced Mathematical Institute (OCAMI), 3-3-138, Sugimoto, Sumiyoshi-ku, Osaka, 558-8585, Japan Interdisciplinary Center for Theoretical Study, University of Science and Technology of China, Hefei, Anhui 3006, China Abstract In this paper, we study how quantum correlation between subsystems changes in time by investigating time evolution of mutual information and logarithmic negativity in two protocols of mass quench. Hamiltonian in both protocols is for -dimensional free scalar theory with time-dependent mass: the mass in one case decreases monotonically and vanishes asymptotically (ECP), and that in the other decreases monotonically before t = 0, but increases monotonically afterward, and becomes constant asymptotically (CCP). We study the time evolution of the quantum correlations under those protocols in two different limits of the mass quench; fast limit and slow limit depending on the speed with which the mass is changed. We obtain the following two results: (1) For the ECP, we find that the time evolution of logarithmic negativity is, when the distance between the two subsystems is large enough, well-interpreted in terms of the propagation of relativistic particles created at a time determined by the limit of the quench we take. On the other hand, the evolution of mutual information in the ECP depends not only on the relativistic particles but also on slowly-moving particles. () For the CCP, both logarithmic negativity and mutual information oscillate in time after the quench. When the subsystems are well-separated, the oscillation of the quantum correlations in the fast limit is suppressed, and the time evolution looks similar to that under the ECP in the fast limit. h-fujita@issp.u-tokyo.ac.jp mnishida@gist.ac.kr masahiro.nozaki@riken.jp sugimoto@sci.osaka-cu.ac.jp
Contents 1 Introduction and summary 1 Logarithmic negativity and mutual information 4.1 Definition of logarithmic negativity and mutual information......... 4.1.1 Replica trick................................ 6.1. Setup and correlator method....................... 8.1.3 Setup................................... 8.1.4 Correlator method............................ 10 3 Smooth quench 11 3.1 End-critical-protocol (ECP) and Cis-critical-protocol (CCP)......... 11 3.1.1 Kibble-Zurek mechanism......................... 1 4 Time evolution of logarithmic negativity and mutual information 14 4.1 Time evolution in ECP.............................. 14 4.1.1 Fast limit................................. 14 4.1. Slow limit................................. 16 4.1.3 Quasi-particle interpretation....................... 19 4. CCP........................................ 4..1 Fast limit................................. 4.. Slow limit................................. 5 4..3 Quasi-particle interpretation....................... 7 5 Discussion and future directions 8 1 Introduction and summary Understanding how quantum states thermalize is one of research themes on the frontier of theoretical physics. Thermodynamics well-describes properties of systems with macroscopic degrees of freedom, and thermodynamic systems time-evolve irreversibly. On the other hand, quantum field theories (QFTs) well-describes properties of systems with microscopic degrees of freedom. The states in QFTs time-evolve unitarily, and a pure state never thermalizes. Therefore, many researchers have been studying how thermalization is interpreted in terms of microscopic degrees of freedom. Since the area of black hole is subject to thermodynamic laws, the black hole is a thermal object [1,, 3, 4, 5, 6]. In terms of holography, thermalization is closely related to the dynamics of black hole such as its formation and evaporation [7, 8]. Therefore, we expect a microscopic description of thermalization to help us to study (quantum) dynamics of black holes. Thus, understanding thermalization in terms of microscopic degrees of freedom is a challenging but worthwhile problem. 1
Thermalization of a whole system of QFTs is unknown, but that of a subsystem can be studied by looking at its dynamics. When we focus on the local dynamics in the subsystem A owing to quantum entanglement of a state, the degrees of freedom in the outside of A play as a thermal bath. Therefore, late-time expectation values of local observables, n-point functions and entanglement entropy, will be approximated by those of a thermal state. Authors in [9] have studied time evolution of entanglement entropy in a -dimensional dynamical system, where a gapped theory changes suddenly to a CFT (a global quench). They have found that the lattice-independent term in a certain scaling limit increases linearly in time and is proportional to the subsystem size at late time. Authors in [10] have numerically studied the time evolution of entanglement entropy for a global quenched state in holographic theories, which have gravity duals. The authors in [11, 1, 13, 14] have proposed holographic models, which analytically describe its linear growth in time in holographic theories. In those articles, researchers have been studying the evolution of entanglement entropy when Hamiltonian changes globally and suddenly. Also, authors in [15] have studied the time evolution of entanglement entropy for excited states in local quenches, where a Hamiltonian changes locally and suddenly. Since the late-time entropy for locally-quenched states is not approximated by thermal entropy, the subsystem in the local quenches does not thermalize. Various holographic models describing local quenched states are proposed [16, 17, 18]. The time evolution of entanglement entropy for the excited states by the quenches shows thermalization depends on detail of quenches. Since three of authors in this paper has been interested in the time evolution of entanglement entropy in more general setups, we have studied the dynamics of quantum entanglement when a time-dependent Hamiltonian changes smoothly in time [19, 0]. The time-dependent Hamiltonian is for a -dimensional free scalar theory with two kinds of time-dependent mass [1] (See Figure 1). If the time-dependent mass is initially constant, it starts to decrease around t = 0, and it asymptotically vanishes, then the quench is called End-Critical-Protocol (ECP). If the time-dependent mass is initially constant, it starts to decrease before t = 0, it vanishes at t = 0, it starts to increase after t = 0, and it asymptotically becomes constant, then the protocol is Cis-Critical-Protocol (CCP). In those smooth protocols, scaling behaviors of observables in QFTs are studied, and their time-evolution is compared to the one in the sudden quenches [, 3]. The two protocols in this paper have two parameters, which are an initial correlation length and a quench rate δ t. We have studied the time evolution of entanglement entropy in the protocols in two limits, δ t 1 and δ t 1, which are first considered in [4]. The time evolution of entanglement entropy in both limits for ECP shows that the late-time entropy is proportional to the subsystem size because quasi-particles are created at a characteristic time, which is determined by the limit. On the other hand, the entropy in both limits for CCP oscillates in time, and we have found the entropy for the quenched state in the fast limit δ t 1 is proportional to the subsystem size, but we could not find whether the entropy in the slow limit δ t 1 is proportional to the size. In this paper, we study the time evolution of mutual information I A,B and logarithmic
negativity E in order to take a more closely look at how the dynamics of quantum entanglement depends on these protocols. These quantum quantities, I A,B and E, measure quantum correlation between subsystems A and B with several distances between them, and those in D CFTs depend on the detail of CFTs because they depend on n-point functions where n >. Figure 1: Time evolution of two time dependent masses m (t) with the parameters and δt, which are dimensionless papameters, = δ t and δt =. Here, a is a lattice spacing. The left a [ a ( panel shows the time evolution of m (t) = 1 1 tanh t δt)] with = δt = 10. The right panel shows the evolution of m (t) = 1 tanh ( t δt) with = δt = 10. Summary We study the dynamics of quantum entanglement by measuring the time evolution of logarithmic negativity E and mutual information I A,B in two protocols ECP and CCP. We define two dimensionless parameters and δt by = a The summary of main results is: ECP δ t and δt =. Here, a is a lattice spacing. a 1. The evolution of E and I A,B is interpreted in terms of the relativistic propagation of quasi-particles. In the fast limit where δt/ 1, the quasi-particles are created around t = 0. In the slow limit where δt/ 1, the particles are created at t t kz = δt, when adiabaticity breaks down.. As we expect from quasi-particle picture, slopes of E and I A,B for l a, l b at early time are independent of the subsystem sizes of A and B when the distance between them is much larger than typical scales, which are determined by these limits. 3. The late-time I A,B is affected by modes propagating slowly for the disjoint interval where the distance between A and B is much larger than the characteristic length. However, the quasi-particles which slowly propagates does not affect E for the disjoint interval. 3
CCP 4. If the distance d between A and B is smaller than, then I A,B and E in the fast CCP oscillate in time. Their late-time period is given by π. The amplitude of oscillation for the large distance d is smaller than that for d. The time evolution of I A,B and E in this limit is similar to that in the fast ECP. The evolution of I A,B and E for the subsystems with d is expected to be independent of the late-time protocol qualitatively. 5. The measures I A,B and E in the slow CCP oscillate with the period, which approaches π at late time. As the distance d between the subsystems increases, the time, when I A,B and E in the slow CCP start to increase, becomes later. Organization In section 1, we have explained why we study the time evolution of logarithmic negativity and mutual information, and we have summarized what we find in this project. In section, we will define E and I A,B, and we will explain how to compute them in quantum field theories. In section 3, we will explain the details of two protocols of quench where we study the time evolution of E and I A,B. In the following section, we will explain what we obtain in this project. Finally, we would like to discuss our results and comments on a few of future directions. Logarithmic negativity and mutual information In this section, we define quantum measures for states, logarithmic negativity and mutual information, and explain their properties briefly. After that, we explain how to compute them in path-integral formalism and in terms of correlation function, replica trick and correlator method. Roughly speaking, the quantum measures in the replica trick are given by a kind of free energy in a partition function on a replicated geometry [5, 6]. The correlator method is applicable to computation of quantum measures for a gaussian state in free field theories. It is a powerful tool to compute them numerically [7, 8, 9, 30, 31, 3]..1 Definition of logarithmic negativity and mutual information When the total space is A B C, logarithmic negativity and mutual information E and I A,B can measure non-local correlation which comes from quantum entanglement between subsystems, A and B, as defined in Figure. Let us explain the definition of E and I A,B, for which Hilbert space on a time slice is H = H A + H B + H C. Here, subsystem sizes of A and B are l a and l b, and the distance between A and B is d. For simplicity, we consider (1 + 1) dimensional quantum field theories. 4
B A C Figure : Geometrical configuration of our subsystems. Definition of mutual information between A and B Mutual information I A,B is defined by a combination of von Neumann entropies for reduced density matrix ρ α, I A,B = S A + S B S, S α = tr α ρ α log ρ α, (.1) where ρ α is the reduced density matrix which is defined by tracing out the degrees of freedom outside α: ρ α = trᾱρ. (.) Entanglement entropy S α is given by Rényi entanglement entropy S (n) α in von Neumann limit, S α = lim S (n) 1 α = lim n 1 n 1 1 n log [tr α (ρ n α)] (.3) Mutual information is non-negative quantity and has a upper bound due to Araki-Lieb inequality S S A S B [33], I A,B Min[S A, S B ] (.4) Tripartite information, a linear combination of mutual information, is expected to be a useful tool to characterize conformal field theories (CFTs), which has gravity dual [34]. The tripartite information in holographic CFTs is a non-positive quantity, and the information in the strongly chaotic systems captures the scrambling properties of holographic CFT[35, 36]. Definition of logarithmic negativity Both I A,B and E can capture the non-local correlation between A and B. However, only E can measure pure quantum entanglement [37, 38]. The quantum measure, which can measure pure quantum entanglement, should be an entanglement monotone. That is, it should decease monotonically under a local manipulation which is called local measurement and classical communication (LOCC) [39, 40, 41]. Entanglement entropy for a pure state is an 5
entanglement monotone because the entropy decreases monotonically under LOCC. However, the entropy for a mixed state is not. Logarithmic negativity is an entanglement monotone even for a mixed state. Let us explain how to define E. The definition of logarithmic negativity E is E log ρ T B = log tr ρ T B, (.5) where ρ T B i λ i is the trace norm of ρ T B, and λ i are eigenvalues of ρ T B. The operation TB is called by partial transpose. This operation transposes the matrix component as follows, ρ = a, α, A ρ b, β, B a b A α β B A B C a,b,α,β,a,b ρ T B = a,b,α,β,a,b a, α, A ρ b, β, B a b A β α B A B C. (.6) Thus, the partially-transposed reduced density matrix ρ T B is given by ρ T B = a, α, A ρ b, β, A a b A β α B. (.7).1.1 Replica trick a,b,α,β,a We review the replica trick for logarithmic negativity E based on Refs. [4, 43, 30]. Instead of tr ρ T B, consider tr(ρ T B ) n for an integer n. The λ i -dependence of tr(ρ T B ) n for even n e is different from that for odd n o as follows, tr(ρ T B ) ne = λ i ne + λ i ne, (.8) λ i >0 λ i <0 tr(ρ T B ) no = λ i no λ i no. (.9) λ i >0 λ i <0 Since the trace norm tr ρ T B is given by taking the analytic continuation of the even sequence at n e 1, the negativity E in the replica trick is given by E = lim ne 1 log tr(ρt B ) ne. (.10) We are able to compute E in D CFT by using twist fields. For example, consider the entire space as A B and A = [u 1, u ]. In this system, E can be expressed as E = lim log T n ne 1 e (u 1 ) T n e (u ), (.11) where T n is the twist field that connects the j-th to (j + )-th replica fields. For this configuration, E corresponds to Rényi entanglement entropy with n = 1/ [44]. As another 6
example, consider two disjoint intervals A = [u 1, u ] and B = [u 3, u 4 ]. Logarithmic negativity E for this configuration is E = lim ne 1 log T n e (u 1 ) T ne (u ) T ne (u 3 )T ne (u 4 ), (.1) where T n is the twist field that connects the j-th sheet to (j + 1)-th one. It is well known that the conformal dimensions of T n and T n in D CFT with central charge c are [5, 6] n = c ( n 1 ). (.13) 1 n Because of the partial transpose T B, the connection between the replica sheets at B is different from that at A as shown in Figure 3. This partial transpose T B has the effect to exchange the twist operators at u 3 and u 4 compared to the ones in the correlation function T ne (u 1 ) T ne (u )T ne (u 3 ) T ne (u 4 ) for tr(ρ ) ne. Figure 3: Replica sheets for the path integral representation of tr(ρ T B ) ne. The replica sheets are sewn together cyclically. We consider the time evolution of E between the two disjoint intervals in D CFT with central charge c in a sudden quench, where a mass gap suddenly vanishes. After the gap vanishes, the ground state for an initial Hamiltonian time-evolves under a CFT Hamiltonian. When we compute E in the replica trick, E in Euclidean space is given by the 4-point function of the twist fields on the boundaries of two strips. Real time-evolution of E is given by performing an analytic continuation τ = τ 0 + it, where τ is the imaginary time of the twist fields, and t is the real time. We introduce a parameter τ 0 as width of the two strips and interpret 1/τ 0 as the energy scale of the initial ground state of the massive theory. In the limit of t τ 0 and u j u i τ 0, 7
the time evolution of E is [30] 0 0 t < u 3 u, ( ) πc 8τ 0 t u 3 u u3 u < t < u 3 u 1, ( ) πc E = u u 1 u 3 u 1 8τ 0 < t < u 4 u, 0 ( πc u4 u 1 8τ 0 t ) u4 u < t < u 4 u 1 u 4 u 1 < t,, (.14) where we assumed u u 1 < u 4 u 3. We note that mutual information I A,B shows the same behavior up to normalization (for example, see [30])..1. Setup and correlator method Here, we explain the detail of the dynamical system, a D free scalar theory with time dependent masses. We also explain how to compute I A,B and E by correlation functions..1.3 Setup The excited state in our setup time-evolves with a time-dependent Hamiltonian from the ground state for the initial Hamiltonian. In order to study the time evolution of quantum correlation between subsystem A and B, we define the change of mutual information and logarithmic negativity I A,B and E by I A,B (t) = I A,B (t) I A,B (t = ), E(t) = E(t) E(t = ), (.15) where I A,B (t) and E(t) are measured at t, and I A,B (t = ) and E(t = ) are measured at t =. We compute E and I A,B with the time-dependent Hamiltonian, which is for (1 + 1) dimensional free boson theory with time-dependent mass m(t), H(t) = 1 dx [ π(x)π(x) + ( φ(x)) + m(t) φ(x) ], (.16) where the time-dependent mass m(t) is dimensionful and changes continuously in time. The time-dependent mass m(t) in early time limit t approaches a constant mass asymptotically. Therefore, we approximate I A,B (t = ) and E(t = ) by mutual information and logarithmic negativity for the ground state of the free scalar theory with a static mass m. We compute I A,B (t) and E(t) by a method, correlator method, where these quantities for gaussian states are given by the summations of eigenvalue-dependent entropies and logarithmic negativities s A (γ) and ɛ(χ) [7, 8, 9, 30, 31, 3]. The eigenvalues γ and χ are for matrices whose components are correlators in the subregions. Since the dimension of these matrices depends on the degrees of freedom in the subsystems, it becomes finite in a 8
discretized system. After discretizing the system, we are able to diagonalize the correlator matrices, and we are able to compute I A,B and E. We discretize the system by putting it on a circle with the circumference L = Nɛ and the lattice spacing ɛ. After replacing dx ɛ N 1 n=0 and φ q n, π p n /ɛ, m(t) m(t)/ɛ as well as φ (q n+1 q n )/ɛ, the discrete Hamiltonian on the circle is, H(t) = 1 ɛ N 1 n=0 [ p n + ( + m(t) )q n q n+1 q n ], (.17) where we assume that N = M + 1 (M Z). dimensionless parameters t, l, δt and We choose ɛ as a unit and define the t = t ɛ, l = l ɛ, δ t δt = ɛ, = ɛ. (.18) where t, l, δ t and are dimensionful. The variables q n and p n are subject to a periodic boundary condition: Also, they have a canonical commutation relation: Discrete Fourier transforms are given by, p 0 = p N 1, q 0 = q N 1. (.19) [q a, p b ] = iδ ab, [q a, q b ] = [p a, p b ] = 0. (.0) q n = 1 N p n = 1 N N 1 κ= N 1 N 1 κ= N 1 e i πnκ N qκ, e i πnκ N pκ, (.1) where q l = q l and p l = p l because p κ and q κ are real. The Hamiltonian in the momentum space is N 1 H(t) = 1 [ ( ( πκ ) ) ] p κ p κ + 4 sin + m (t) q κ q κ, (.) ɛ N κ= N 1 where p and q are subject to the commutation relations, [ q a, p b ] = iδ a, b and [ p a, p b ] = [ q a, q b ] = 0. The variables p and q written in terms of a function f κ, are given by q κ = f κ (t)a κ + f κ(t)a κ, p κ = f κ (t)a κ + f κ(t)a κ, (.3) 9
[ ] [ ] where [a k, a l ] = a k, a l = 0 and a k, a l = δ k,l. The function f κ (t) has a property f κ (t) = f κ (t). Then, f κ (t) satisfies the following Wronskian condition: ( [ q L, p l ] = f l (t) f l (t) f ) l (t)fl (t) δ l,l = iδ l,l. (.4) After taking a thermodynamic limit where N, L, and ɛ is finite, f κ (t) is determined by the following equation of motion: d f κ (t) [ ( κ ) ] + 4 sin + m (t) f dt κ (t) = 0. (.5) The coordinates and its conjugate momenta in the thermodynamic limit are given by where p and q are defined in (.3)..1.4 Correlator method q n = X n = p n = P n = π π π π dκ π q κ e iκn, dκ π p κ e iκn, (.6) Here, let us explain the correlator method where entanglement entropy and logarithmic negativity are related to eigenvalues of matrices whose components are given by correlation functions in the subsystem (see, for example, [3] for entanglement entropy and [7] for logarithmic negativity). If the given subsystem is V, we can define correlation functions X ab (t), P ab (t) and D ab (t) by X ab (t) = X a (t)x b (t) = P ab (t) = P a (t)p b (t) = π π π π D ab (t) = 1 {X a(t), P b (t)} = dκ π X κ cos (κ a b ) = dκ π P κ cos (κ a b ) = π π π π π π dκ π D κ cos (κ a b ) = dκ π f κ(t) cos (κ a b ), dκ f π κ (t) cos (κ a b ), π π dκ [ ] π Re f κ(t)f κ (t) cos (κ a b ), (.7) where local operators, X a (t) and P a (t), are in V. If the size of V is L, we can define two L L matrices, Γ and J, by [ ] [ ] 0 I J = L L Xab (t) D, Γ = ab (t). (.8) I L L 0 D ab (t) P ab (t) Entanglement entropy S A s A (γ κ ), S A = l s A (γ κ ) = κ=1 l κ=1 is given by the summation of eigenvalue-dependent entropies [( γ κ + 1 ) ( log γ κ + 1 ) ( γ κ 1 ) ( log γ κ 1 )], (.9) 10
where γ κ are positive eigenvalues of a L L matrix M = ijγ. In the correlator method, a given partial transposed reduced density matrix ρ T B is ( ) ( ) Γ T B 1 0 1 0 = Γ = Y Γ Y, (.30) 0 Y B 0 Y B where Y is a L L matrix, and the size of A B is L. Y B is a diagonal L L matrix which transforms P b in B into P b and +P a otherwise. The trace norm of ρ T B in correlator method is L [ ρ T B = χ a + 1 χ a 1 1 L [ ] 1 ] = max 1, (.31) χ a a=1 where χ a are positive eigenvalues of ij Γ T B. The index a runs from 1 to L. Therefore, the logarithmic negativity E is given by ( L [ ] ) 1 E = log max 1,. (.3) χ a 3 Smooth quench a=1 Here, we explain the protocols which trigger the time evolution of I A,B and E. The protocols in this paper have the time-dependent masses, one of which is end-critical-protocol (ECP), and the other is Cis-critical-protocol(CCP). 3.1 End-critical-protocol (ECP) and Cis-critical-protocol (CCP) The time-dependent masses in this paper depend on two parameters and δt. Here, and δt are an initial correlation length and quench rate. The time-dependent mass m(t) in ECP is, m (t) = 1 [ ( )] t 1 tanh, (3.1) δt which is constant approximately at early time t δt, decreases after t = δt, and vanishes at late time δt t. The mass in CCP is, m (t) = 1 ( ) t tanh, (3.) δt which is constant approximately in the time region t δt, decreases around t = δt, vanishes around t = 0, increases after t = 0, and approaches a constant values asymptotically. The dynamics of quantum entanglement is governed by the Hamiltonian with the timedependent masses in (3.1) and (3.). As in [45], the function f κ (t) for the time-dependent masses in (3.1) and (3.) is analytically computable because the equation of motion for f κ (t) is given by d f κ (t) [ ( κ ) ] + 4 sin + ɛ m (t) f dt κ (t) = 0. (3.3) 11 a=1
The solution of equation of motion (3.3) for the mass in ECP f κ (t) is given by 1 f κ (t) = A+B δt ( ) α ( 1 + tanh (t/δt) 1 tanh (t/δt) F 1 ( α + β, 1 α + β, 1 α, ) β ) 1 + tanh (t/δt), (3.4) where the parameters A, B, α and β are given by ( κ ) A = 4δt sin + δt ɛ, B = ɛ δt, A B A + B α = i, β =. (3.5) On the other hand, the solution of equation of motion with the mass for CCP is given by ( ) ( t f κ (t) =C cosh α F 1 a, b, 1 ( )) t δt, sinh δt ( ) ( ) ( t t 1 + D cosh α sinh F 1 δt δt + a, 1 + b, 3 ( )) (3.6) t, sinh δt where parameters a, b, C, D, and α are A + B4, b = α + i a = α i A + B 4, C = iω 0δt E 3/ ω0 E 1/ E 3/ E, 3/E 1/ D = iω 0δt E 1/ ω0 E 1/ E 3/ E, α = 1 + 1 4B, 3/E 1/ 4 Γ(1/)Γ(b a) E 1/ = Γ(b)Γ(1/ a), E Γ(3/)Γ(b a) 3/ = Γ(b + 1/)Γ(1 a), E c = E(a b), ( κ ) ( κ ) A = δt sin, B = ɛ δt m 0, ω 0 = 4 sin + ɛ (m 0). (3.7) Since the protocols in (3.1) and (3.) have two parameters and δt, the protocols change slowly or fast by changing the parameters. We study the time evolution of E and I A,B in two limits, which will be explained later. 3.1.1 Kibble-Zurek mechanism Let us explain criteria for the adiabaticity. Suppose an ansatz of f κ (t) in (3.3) is f κ (t) = 1 Wκ (t) e i t W κ(t )dt. (3.8) 1
By substituting (3.8) into (3.3), W κ (t) has to be subject to ( ) Wκ(t) = ωκ(t) Ẅκ 3 W ( κ κ ), ω W κ 4 W κ(t) = 4 sin + m (t). (3.9) κ When W κ W κ 3 4 ( W κ W κ ) in (3.9) is much smaller than ω κ(t), the adiabatic approximation W κ (t) ω κ (t) is valid. Then, the condition where we can use the adiabatic approximation is (see, for example, [46]) ω κ 3 ( ) ωκ 1. (3.10) ωκ 3 4 We focus on the LHS at κ = 0 in (3.10) because it is the largest for any κ. We also assume m ( ) ṁ. m 3 m Thus, we obtain criteria for the adiabaticity C L (t) = 1 m (t) dm(t) dt 1. (3.11) If C L (t) satisfies the condition (3.11), we can examine the time evolution of systems by using the adiabatic approximation. The Kibble-Zurek time t kz is defined by ω κ C L (t kz ) 1, (3.1) and it is the time scale at which the adiabaticity breaks down. In this paper, we consider two limits of the quenches, one of which is a fast limit: δt, (3.13) and is the initial correlation length, and the other is a slow limit: δt, (3.14) The adiabaticity is broken at late time in the slow ECP limit and is broken only near t = 0 in the slow CCP limit. In the slow ECP and CCP, the Kibble-Zurek time t kz is (see, for example, [0]) t kz δt log[δt/], kz = 1 m(t kz ) 1 (ECP), (3.15) δt t kz (δt) 1 1, kz = m( t kz ) (δt) 1 (CCP), (3.16) where we also defined an length scale kz by the inverse mass at the Kibble-Zurek time. In the slow quenches, t kz and kz are the effective time and length scales, respectively. We also define an energy scale E kz = 1/ kz in the slow ECP limit. The Kibble-Zurek mechanism [47, 48] conjectures that the dynamics in the slow limit is frozen when the adiabaticity is broken. For example, the effective correlation length in the slow CCP, which is determined at t t kz, is almost time-independent from t t kz to t t kz. 13
4 Time evolution of logarithmic negativity and mutual information 4.1 Time evolution in ECP In the beginning, we calculate E and I A,B numerically in the ECP 5. Here, we consider the ECP in two limits: the fast limit and the slow limit. We study how E and I A,B time-evolve in these limits. The similar setup to the fast limit was studied in [30], where the authors have studied time evolution of I A,B and E in a global quench. The quantities I A,B and E in the fast limit change in time in the similar manner to those in the global quench. In section 4.1.1, we show the time evolution of E and I A,B in the fast limit, which are computed numerically, and how their time-evolution depends on and δt. After that, we interpret their time-evolution in terms of our toy model where relativistic propagation of local objects contributes to quantum correlation between the subsystems. In section 4.1., we show the time evolution of E and I A,B in the slow limit and how they depend on the parameters. Again, we interpret their evolution in terms of the relativistic propagation of particles created at the Kibble-Zurek time t kz. 4.1.1 Fast limit The time evolution of E(t) and I A,B (t) is shown in Figure 4. Without loss of generality, we can assume l b l a. The panels (a) and (b) of Figure 4 show how E(t) and I A,B (t) for the protocol in (3.1) with (, δt) = (100, 5) depend on the distance between two subsystems whose sizes are the same. The panels (c) and (d) of Figure 4 are similar to the panels (a) and (b), but the subsystem sizes are different. Here, we take the subsystem size l b to be twice as large as the subsystem size l a, l b = l a. We plot E(t) and I A,B (t) with d = 0, 10, 100, 500, 800, and 1500 in the panels (a), (b), (c), and (d) of Figure 4. The panels (e) and (f) of Figure 4 show how E and I A,B depend on the subsystem sizes with fixed distance. We show those for d = 100. In the panels (g) and (h) of Figure 4, we plot E and I A,B for ECP with two pair of parameters, (, δt) = (00, 10) and (, δt) = (100, 5), to see the scaling law. We summarize properties of E and I A,B with l a = l b. Note that E and I A,B with l a = l b have properties similar to those with l a = l b. 5 In order to compute the integrals in (.7), we replace π π dκg(κ) with a summation of g(κ i) numerically, where κ i = π + εj, j is an integer, and ε is a small parameter for our numerical computations. We compute E and I A,B in the ECP with ε = 0.0001, 0.00001, 0.000001. We find no significant difference between them with the different values of ε. 14
(1) Time t s when E and I A,B begin to increase depends on d: t s 0 for d, t s d for d. (4.1) It is independent of the subsystem sizes. () The quantities E and I A,B monotonically increase in the window t s t t s + la. In this window, E for l a, l b is fitted by a following linear function in t, F f (t, ), and I A,B for l a, l b is fitted by G f (t, ): F f (t, ) a 1 t + a, G f (t, ) b 1 t + b. (4.a) (4.b) Since the slopes of E and I A,B in time do not depend on l a and l b but depend on d as one can see in the panels (e) and (f), it is enough to evaluate the coefficients for various d with a pair of subsystem sizes (l a, l b ). Here we provide the numerical results of a 1 and a with (l a, l b ) = (1500, 1500) in Table 1. By a computation in another protocol wiith (, δt) = (00, 5), we find that a 1 appears to be independent of and δt for d = 0, and its value is a 1 0.5. (3) The slopes of E and I A,B change at t = t M, which depends on l a as follows: t M > l a + d for d, t M l a + d for d. (4.3) (4) We define width of the plateau w as a time interval between t M and a time when the slopes of E and I A,B change from a positive or zero to a negative. Then, w for d is given by w l b l a, and its magnitude is independent of d for d. (5) The quantities E and I A,B in the window t s + la + w t t s + l a + w monotonically decrease. (6) The quantities E and I A,B for l a, l b, d, 1 obey the scaling law, ( la E = E, l b, d, t ), ω, (4.4a) ( la I A,B = I A,B, l b, d, t ), ω. (4.4b) The properties (1), (), (3), (4), and (5) can be seen from the panels (a), (b), (c), and (d) of Figure 4. We find the last property (6) from the panels (g) and (h) of Figure 4. In the following, we list the properties of E and I A,B in the late time. The item (LN) denotes the property of E, whereas, (MI) denotes the property of I A,B. 15
(LN1) The logarithmic negativity E for d approaches non-zero constant in the window t l b. On the other hand, E for d vanishes in the window t l b + d. (MI1) The mutual information I A,B for d decreases monotonically in the window t M < t < la+l b, and increases logarithmically after t la+l b. On the other hand, I A,B for d decreases monotonically in the window t M < t < l a + d, and increases after t la+l b+d as I A,B for d does. (MI) The magnitude of I A,B in the window, t la+l b+d, depends on the parameters, l a, l b and d. However, how I A,B time-evolves appears to be independent of the parameters. That is, we can fit to I A,B logarithmic function t, 1/ log t + c, where c is a constant which depends on the subsystem size. Interestingly, E for the long distance is perfectly consistent with the analytic computation in CFT; around t d, E increases linearly, and reaches the maximum value at t d + la. The maximum value continues to t d + la + w. After that, E behaves as linear function with negative slope. Finally, E vanishes in the window t l b + d. These behavior agrees with [30]. Table 1: A fitting function F f (t, ) for E. (, δt) (L a, L b, d) Fitting range F f (t, ) (100, 5) (1500, 1500, 0) (3 t 15) 0.48 t 0.6 (100, 5) (1500, 1500, 100) (5 t 83) 10 0.397 t 0.666 (100, 5) (1500, 1500, 500) (7 t 19) 0.403 t 1.53 (100, 5) (1500, 1500, 800) (7 t 10) 0.389 t.0 (100, 5) (1500, 1500, 1500) (11 t 14) 0.397 t 3.47 (00, 5) (1500, 1500, 0) ( t 7) 0.490 t 0.9 (00, 5) (1500, 1500, 100) ( 5 t 4) 0.370 t 0.397 (00, 5) (1500, 1500, 500) (3 t 9) 0.341 t 0.70 (00, 5) (1500, 1500, 800) (4 t 5) 0.341 t 0.960 (00, 5) (1500, 1500, 1500) ( 11 t 13) 0.330 t 0.149 4.1. Slow limit Next we show some plots of slow ECP in Figure 5. The contents of the figure are as follows: the panels (a) and (b) show how E and I A,B time-evolve, and how E and I A,B change for the distance between A and B. Here, we take the subsystem sizes to l a = l b = 1500, and a pair of parameters for the protocol to (, δt) = (, 00). The panels (c) and (d) are similar to the panels (a) and (b), but for different subsystem sizes, l b = l a = 3000. The panels (e) 16
(a) E (b) I A,B (l a, l b )=(1500, 1500) d=0 d=100 d=500 3.5 3.0.5.0 1.5 4 3 d=800 d=1500 1.0 0.5 10 0 30 40 t/ 1 10 0 30 40 t/ (c) E (d) I A,B (l a, l b )=(1500, 3000) d=0 3 5 4 d=100 d=500 d=800 d=1500 1 10 0 30 40 t/ 3 1 10 0 30 40 t/ (e) E (f) I A,B d=100 (l a, l b )=(600, 600) (l a, l b )=(800, 800) (l a, l b )=(1000, 1000) (l a, l b )=(600, 100) (l a, l b )=(800, 1600) (l a, l b )=(1000, 000) (, δt)=(00, 10) (l a, l b, d) =(1000, 000, 800) (, δt)=(100, 5) (l a, l b, d) =(500, 1000, 400) (g) 1.5 1.0 0.5 E 0.6 0.5 0.4 0.3 0. 0.1 10 0 30 40 50 5 10 15 0 t/ t/ (h) 1.0 0.8 0.6 0.4 0..0 1.5 1.0 0.5 I A,B 10 0 30 40 5 10 15 0 Figure 4: Time evolution of E and I A,B in the fast ECP. The horizontal axis is labeled with t/. The left and right panels show the time evolution of E and I A,B, respectively. The panels (a), (b), (c), and (d) show how E and I A,B depend on the distance between two intervals. We take the subsystem sizes to (l a, l b ) = (1500, 1500) in the panels (a) and (b), and (l a, l b ) = (1500, 3000) in the panels (c) and (d). The panels (e) and (f) show the subsystem size dependence with d = 100. The scaling law can be seen from panels (g) and (h), where we take two pairs of parameters for the fast ECP to (, δt) = (00, 10) and (, δt) = (100, 5). t/ t/ 17
Table : A fitting function G f (t, ) for I A,B. (, δt) (L a, L b, d) Fitting range G f (t, ) (100, 5) (1500, 1500, 0) (3 t 15) 0.568 t 0.31 (100, 5) (1500, 1500, 100) (4 t 8) 0.484 t 0.79 (100, 5) (1500, 1500, 500) (5 t 9) 0.467 t 1.67 (100, 5) (1500, 1500, 800) (7 t 1) 0.473 t.43 (100, 5) (1500, 1500, 1500) (10 t 14) 0.467 t 4.01 (00, 5) (1500, 1500, 0) ( t 75) 0 0.568 t 0.9 (00, 5) (1500, 1500, 100) ( 5 t 85) 0 0.49 t 0.409 (00, 5) (1500, 1500, 500) (3 t 5) 0.394 t 0.777 (00, 5) (1500, 1500, 800) ( 18 t 1) 5 4 0.397 t 1.08 (00, 5) (1500, 1500, 1500) ( 11 t 7) 0.395 t 1.77 and (f) show the time-evolution of E and I A,B for various subsystem sizes with d = 100. In the bottom panels (g) and (h), we plot E and I A,B with two pairs of parameters, (, δt) = (5, 00) and (, δt) = (, 00), to see the scaling law. From these results, we find the following properties of E and I A,B : (1) Compared with the fast limit t s, which is defined in the property (1) of the fast limit, is shifted by the Kibble Zurek time t kz for d 1 E kz, t s 0 for d 1 E kz, t s d + t kz for d 1 E kz. (4.5) For the slow ECP with (, δt) = (, 00), the Kibble Zurek time defined in (3.15) t kz is t kz 91. Again, t s is independent of the subsystem sizes. () The quantities E and I A,B in the window t s t t s + la functions in t, F s (t, E kz ) and G s (t, E kz ); F s (t, E kz ) a 1t E kz + a, G s (t, E kz ) b 1t E kz + b, are fitted by following linear (4.6a) (4.6b) where a 1 and b 1 are the coefficients of t E kz, and a and b are time-independent terms. The slopes of F s and G s are independent of the subsystem sizes as one can see in Figure 5, so that it is enough to evaluate a 1 and b 1 for various d with a pair of the subsystem sizes (l a, l b ). The fitting results for d = 0, 10, 100, 500, 800, 1500 with l a = l b = 600 are summarized in Table 3. The coefficients a 1 and b 1 appear to be independent of d for d 1 E kz, and a 1 is independent of and δt for d = 0, as well as the property () in the fast limit. Its value is a 1 0.5. 18
(3) The time t M depends on l a and d as follows, t M > l a + d for d 1 E kz, t M l a + d + t kz for d 1 E kz. (4.7) (4) The width of the plateau w in the slow limit is the same as the fast limit, w l b l a for d 1 E kz, and the local maximum value in time appears to be independent of the distance. (5) The quantities E and I A,B in the window t s + la + w t t s + l a + w monotonically decrease. (6) The quantities E and I A,B for l a, l b, d, 1 obey the following scaling law, ( ) E = E l a E kz, l b E kz, d E kz, t E kz, ω, (4.8a) ) I A,B = I A,B (l a E kz, l b E kz, d E kz, t E kz, ω. (4.8b) As well as the fast ECP, the properties (1), (), (3), (4), and (5) can be seen from the panels (a), (b), (c), and (d) of Figure 5. We find the last property (6) from the panels (g) and (h) of Figures 5. E in the window t l b + t kz approaches non-zero constant for d 1 E kz, whereas, E in the window t l b + d + t kz vanishes for d 1 E kz as one can see in the panel (a) of Figure 5. On the other hand, in the panel (b) of Figure 5, I A,B grows logarithmically after t la+l b+d + t kz. These properties are almost the same as (LN1), (MI1), and (MI) in the fast limit, but the time is shifted by t kz. The main difference in time scale compared with the fast limit is that t s and t M are shifted by t kz in the slow limit. We will interpret the difference as our toy model in section 4.1.3. 4.1.3 Quasi-particle interpretation The mass potential in the ECP changes as follows: The mass term in the very early time t δt is constant, deceases monotonically after t δt, and vanishes asymptotically at late time t δt. Entanglement structures of states in the early time therefore changes adiabatically. In the fast limit, E and I A,B monotonically increases from t s d/ for d. On the other hand, in the slow limit, t s is shifted by t kz, t s d/ + t kz for d 1 E kz. This means that the entangled pairs, which are composed of right- and left-moving particles p R and p L, are created everywhere when the adiabaticity is broken. The left-moving particle p L is entangled with p R. Entanglement between p L and p R contributes to E and I A,B only when p L is in A (or B), and p R is in B (or A). When p L or p R go away from A or B, E 19
(a) E (b) I A,B (l a, l b )=(1500, 1500).0 3.0 d=0 d=10 1.5.5.0 d=100 1.0 1.5 d=500 d=800 d=1500 0.5 10 0 30 40 50 t E kz 1.0 0.5 10 0 30 40 50 t E kz (c) E (d) I A,B 3.5 (l a, l b )=(1500, 3000) d=0 d=10 d=100 d=500 d=800 d=1500.0 1.5 1.0 0.5 10 0 30 40 50 t E kz 3.0.5.0 1.5 1.0 0.5 10 0 30 40 50 t E kz (e) E (f) I A,B d=100 (l a, l b )=(600, 600) (l a, l b )=(800, 800) (l a, l b )=(1000, 1000) (l a, l b )=(600, 100) (l a, l b )=(800, 1600) 0.4 0.3 0. 0.1 1.5 1.0 0.5 (l a, l b )=(1000, 000) 10 0 30 40 50 t E kz 10 0 30 40 50 t E kz (g) E (h) I A,B (, δt)=(5, 500) 0.05 1. (l a, l b, d) =(1000, 000, 800) (, δt)=(, 00) (l a, l b, d) 0.04 0.03 0.0 0.01 1.0 0.8 0.6 0.4 0. =(400, 800, 30) 10 0 30 40 50 t E kz 10 0 30 40 50 t E kz Figure 5: Time evolution of E and I A,B in the slow limit. The horizontal axis is labelled with t E kz. The panels (a), (b), (c), and (d) show how E and I A,B time-evolve with fixed subsystem sizes, (l a, l b ) = (1500, 1500) and (l a, l b ) = (1500, 3000), in the protocol (, δt) = (, 00). Here we take the distance between A and B to d = 0, 10, 100, 500, 800, and 1500. The panels (e) and (f) show the time evolution of E and I A,B for various subsystem sizes with d = 100. In the bottom panels (g) and (h), we plot E and I A,B with two protocols: one is (, δt) = (5, 500) with (l a, l b, d) = (1000, 000, 800), the other is (, δt) = (, 00) with (l a, l b, d) = (400, 800, 30). 0
Table 3: A fitting function F s (t, E kz ) for E. (, δt) (l a, l b, d) Fitting range F s (t, E kz ) (, 00) (600, 600, 0) 1 t E kz 11 0.46 t E kz + 0.00589 7 (, 00) (600, 600, 10) t E kz 6 0.131 t E kz 0.343 9 (, 00) (600, 600, 100) t E kz 6 0.0681 t E kz 0.83 (, 00) (600, 600, 500) 6 t E kz 7 0.05 t E kz 0.15 13 (, 00) (600, 600, 800) t E kz 15 0.015 t E kz 0.0949 17 (, 00) (600, 600, 1500) t E kz 9 0.0117 t E kz 0.0938 3 (4, 800) (600, 600, 0) t E 4 kz 9 0.45 t E kz + 1.4 5 (4, 800) (600, 600, 10) t E 8 kz 19 0.13 t E 4 kz 05 31 (4, 800) (600, 600, 100) t E 8 kz 5 0.0584 t E kz 159 (4, 800) (600, 600, 500) 5 t E kz 3 0.0073 t E 4 kz 5. 41 (4, 800) (600, 600, 800) t E 8 kz 6 0.00190 t E kz 7.0 3 (4, 800) (600, 600, 1500) t E 4 kz 13 0.00108 t E kz 0.463 and I A,B decrease. The entangled pair created on the middle of two regions reaches A and B at t = t s d/, and goes away from there at t = t M t s + l a /. When the subsystem sizes are the same l a = l b, E and I A,B decrease after t M. Otherwise, E shows a plateau from t M to t M + l b / l a / since the inflow and outflow of the entangled pairs into A and B balance each other. The similar behavior is observed in I A,B. In our computation, E does not vanish in the late time t l b+d for d in the fast limit or d 1/E kz in the slow limit, whereas E vanishes in d CFT analysis. The mutual information I A,B in our computation increases logarithmically in the late time for arbitrary l a, l b, d,, δt. However, this vanishes in the d CFT. In the d CFT, only particle pairs with speed of light are created, and contribute to E and I A,B. In our setup, there are entangled particles propagating with various velocities less than or equal to the speed of light as mentioned in the previous work [0]. The lattice artifact also contributes to them since we calculate on the lattice. Therefore, non-zero values of E and I A,B in the late time are due to the entangled pairs with the velocities less than the speed of light and the lattice artifact. The quantity E after t l b+d vanishes for d in the fast limit or d 1/E kz in the slow limit, which implies that the slow modes do not contribute to E for these configurations, and the lattice artifact is suppressed. As a result, the quantities in this configuration behaves in similar manner to those in the d CFT. Since the late-time entanglement entropy grows as 1/ log t in the smooth quenches [0] and I A,B is given by the summation of entanglement entropies for A, B, and A B as defined in (.1), I A,B at the late time increases as (see also Figure 6) I A,B 1/ log t + 1/ log t 1/ log t = 1/ log t. (4.9) 1
Table 4: A fitting function G s (t, E kz ) for I A,B. (, δt) (l a, l b, d) Fitting range G s (t, E kz ) 1 (, 00) (600, 600, 0) t E kz 6 0.33 t E kz 0.00106 7 (, 00) (600, 600, 10) t E kz 7 0.01 t E kz 0.493 (, 00) (600, 600, 100) 5 t E kz 15 0.136 t E kz 0.583 13 (, 00) (600, 600, 500) t E kz 9 0.0698 t E kz 0.397 (, 00) (600, 600, 800) 9 t E kz 14 0.0405 t E kz 0.3 17 (, 00) (600, 600, 1500) t E kz 10 0.0377 t E kz 0.301 5 (4, 800) (600, 600, 0) t E 4 kz 15 0.39 t E 4 kz + 1.39 5 (4, 800) (600, 600, 10) t E 8 kz 35 0.04 t E 8 kz 96 (4, 800) (600, 600, 100) 5 t E kz 5 0.139 t E 4 kz 403 55 (4, 800) (600, 600, 500) t E 8 kz 35 0.0889 t E 4 kz 358 55 (4, 800) (600, 600, 800) t E 8 kz 35 0.0799 t E 4 kz 360 15 (4, 800) (600, 600, 1500) t E kz 10 0.0638 t E kz 38 4. CCP Here, we study the time evolution of E and I A,B in the fast and slow CCPs numerically 6. There are several papers about the dynamics of quantum entanglement in the CCPs including, for example, the scaling property of entanglement entropy at t = 0 [19], the time evolution of entanglement entropy [0], and complexity [49]. The quantities E and I A,B in the CCPs oscillate in time. We will see that the amplitude of the oscillation in the fast CCP depends on the inter-subsystems distance d, and the behavior of E and I A,B with large d in the fast CCP is similar to that of E and I A,B in the fast ECP. We will also discuss the quasi-particle interpretation of the behavior of E and I A,B in the CCPs. 4..1 Fast limit First, we study the time evolution of E and I A,B at the fast limit in the CCP. They oscillate in time. We compute E and I A,B in the fast CCP with the parameters ( = 100, δt = 5), ( = 100, δt = 10), and ( = 00, δt = 10). Here, we explain the time evolution of I A,B and E in the fast CCP with ( = 100, δt = 5), which are computed numerically. Figure 7 shows the time-dependence of the logarithmic negativity E and the mutual information I A,B in the fast CCP with l a = l b and l a = l b. We find the following properties in the fast CCP limit: (1) The quantities E and I A,B in the fast CCP oscillate. 6 In the CCP, we compute numerically E and I A,B with ε = 0.00001, 0.000001, where ε is defined in footnote 5. In our numerical computations, E and I A,B do not depend on ε so much.
I A,B 3.5 3.0.5.0 1.5 1.0 0.5 10 0 30 40 50 t E kz Figure 6: The fitting for I A,B by the logarithmic function in t. The numerical results are for (l a, l b ) = (1500, 3000) with d = 0, 10, 100, 500, 800, 1500 in the protocol (, δt) = (, 00). The blue curves are 1/ log t E kz + c, where c is a size dependent constant. This confirms our interpretation. () If d, the amplitude of oscillation of E and I A,B in the fast CCP seems to be small, and their time evolution becomes similar to that in the fast ECP. The quantities E and I A,B with d time-evolve as follows: They start to increase around t d, and their slopes with l a < l b become small around t la+d. Then, E and I A,B start to decrease around t l b+d, and their slopes become small after t la+l b+d. (3) If d, the amplitude of the oscillation becomes large. A frequency ω of oscillation of E and I A,B at late time t δt is ω 1. The amplitude of the oscillation in I π A,B is relatively larger than the one in E. The mutual information I A,B with d = 0 has a first dip at t, and the logarithmic negativity E with d = 0 also has a small dip around t. (4) At early time t < la+d, E and I A,B with fixed d are independent of l a and l b. (5) There is the scaling law for E and I A,B in the panels (i) and (j) of Figure 7. If l a, l b,, d 1, we expect E and I A,B to have the following scaling law: E E ( la, l b, d, t, δt ) ( la I A,B I A,B, l b, d, t, δt, ). (4.10) The panels of Figure 7 show that E and I A,B have the properties (1)-(5). The panels (a) and (b) show the time evolution of E and I A,B for the subsystems with l a = l b, and the panels (c) and (d) show that with l a < l b. We plot the time evolution of E and I A,B with the various distance d to study the d-dependence of E and I A,B. The panels of Figure 7 show that E and I A,B in the fast CCP oscillate (the property (1)). The amplitude of their oscillation with d is much smaller than the amplitude for d. The time evolution 3
(l a, l b,, δt) =(600,600,100,5) d=0 d=100 (a) E 0.0 0.15 0.10 (b) I A,B 0.05 0.04 0.03 0.0 d=500 d=800 d=1500 0.05-5 5 10 15 0 t/ 0.01-5 5 10 15 0-0.01 t/ (l a, l b,, δt) =(600,100,100,5) d=0 d=100 d=500 (c) 0.5 0.0 0.15 0.10 E (d) 0.05 0.04 0.03 0.0 0.01 I A,B d=800 0.05 d=1500-5 5 10 15 0 t/ -5 5 10 15 0-0.01 t/ (e) E (f) I A,B (d,, δt)=(0,100,5) (l a, l b )=(600,600) (l a, l b )=(1000,1000) (l a, l b )=(1500,1500) (l a, l b )=(600,100) (l a, l b )=(1000,000) (l a, l b )=(1500,3000) 0.7 0.6 0.5 0.4 0.3 0. 0.1-5 5 10 15 0 t/ 0.1 0.10 0.08 0.06 0.04 0.0-5 5 10 15 0 t/ (g) E (h) I A,B (d,, δt)=(800,100,5) (l a, l b )=(600,600) (l a, l b )=(1000,1000) (l a, l b )=(1500,1500) (l a, l b )=(600,100) (l a, l b )=(1000,000) (l a, l b )=(1500,3000) 0.7 0.6 0.5 0.4 0.3 0. 0.1-5 5 10 15 0 t/ 0.10 0.08 0.06 0.04 0.0-5 5 10 15 0 t/ (i) E (j) I A,B 0.15 0.00 (, δt, l a, l b, d) =(100,5,500,500,500) (, δt, l a, l b, d) =(00,10,1000,1000,1000) 0.10 0.05 0.015 0.010 0.005 t/ 5 10 15 0 t/ 5 10 15 0 Figure 7: Time evolution of E (left side) and I A,B (right side) in the fast CCP. The panels (a), (b), (c), and (d) show E and I A,B with the various distances between the two subsystems, and the panels (e), (f), (g), and (h) show E and I A,B with the various subsystem sizes l a and l b. The panels (i) and (j) show E and I A,B have the scaling law. 4
of E and I A,B with d is similar to their evolution in the fast ECP 7. In particular, E and I A,B in the fast CCP with d start to increase at t d, and their slopes with l a < l b becomes smaller around t d+la. They start to decrease at t d+l b, and almost vanish after t d+la+l b (the property ()). The panels (e) and (f) show the evolution of E and I A,B with d = 0, and the panels (g) and (h) show them with d = 800. The panels (e) and (f) show that E and I A,B oscillate with the frequency, which at late time t δt is expected to be ω 1 as in [0]. If we define the amplitude of oscillation of E and I π A,B by A E and A I, the ratio of A E to E(t) is much smaller than the ratio of A I to I A,B (t). The change I A,B with d = 0 has a first dip at t, and E with d = 0 also has a small dip around t (the property (3)). At early time t < la+d, all plots in the panels (e), (f), (g), and (h) lie on the same curve, and they therefore are independent of l a and l b at the early time (the property (4)). The panel (c) of Figure 4 shows that E in the fast ECP with l a < l b has a plateau in the window la+d t l b+d, but E in the fast CCP with l a < l b in the panel (g) of Figure 7 increases in this window. The panels (i) and (j) show the plots of E and I A,B with two different pairs of parameters (, δt) = (100, 5) and (00, 10). These panels show that the plots for E and I A,B in the CCP with (, δt, l a, l b, d) = (100, 5, 500, 500, 500) are on the plots with (, δt, l a, l b, d) = (00, 10, 1000, 1000, 1000), and we expect E and I A,B to have the scaling law in (4.10) if the parameters, l a, l b, and d are much larger than one (the property (5)). 4.. Slow limit Here, we study E and I A,B in the slow CCP. In the slow CCP, as our previous study of entanglement entropy [0], it does not seem possible to use the quasi-particle interpretation with the speed of light for determining the time scales at which the behavior of E and I A,B changes. We calculate E and I A,B in the slow CCP with ( = 10, δt = 1000), ( = 0, δt = 000), and ( = 10, δt = 4000). Here, we mainly show E and I A,B for ( = 0, δt = 000, kz = 00), which are computed numerically. Since it takes a long time to compute X κ (t), P κ (t), and D κ (t) in the slow CCP numerically, we use the adiabatic approximation of them for large κ as well as the computation of entanglement entropy in the slow CCP [0] 8. See the appendix of [0] for more details of the approximation. Figure 8 shows the time evolution of E and I A,B in the slow CCP. We are not able to find any significant differences between E and I A,B. We find the following properties of E and I A,B in the slow CCP: (1) The time, when the time evolution of E and I A,B starts to increase from zero, becomes 7 In the panels (a) and (c) of Figure 7, E with d = 100 is negative around t 50. We expect this decrease to be related to d. Since we require more computations with d for a better interpretation of the decrease, we leave it for future work. 8 In the numerical computations for the slow CCP, we use the adiabatic approximation of f κ (t) with κ > κ. We check the κ -dependence of E and I A,B with ( = 10, δt = 1000) by computing them with κ = 0.05, 0.3, 0.5, and the computation results show no significant difference between them. 5