Quantum Information and HolographyView this Special Issue
Research Article | Open Access
Sagar F. Lokhande, "Spread of Entanglement in Non-Relativistic Theories", Advances in High Energy Physics, vol. 2018, Article ID 9151707, 27 pages, 2018. https://doi.org/10.1155/2018/9151707
Spread of Entanglement in Non-Relativistic Theories
We use a simple holographic toy model to study global quantum quenches in strongly coupled, hyperscaling-violating-Lifshitz quantum field theories using entanglement entropy as a probe. Generalizing our conformal field theory results, we show that the holographic entanglement entropy of small subsystems can be written as a simple linear response relation. We use this relation to derive a time-dependent first law of entanglement entropy. In general, this law has a time-dependent term resembling relative entropy which we propose as a good order parameter to characterize out-of-equilibrium states in the post-quench evolution. We use these tools to study a broad class of quantum quenches in detail: instantaneous, power law, and periodic.
1.1. Quantum Quenches and Entanglement Entropy
Studying the evolution of quantum field theories (QFTs) after generic time-dependent perturbations is an important problem. If denotes the time-independent Hamiltonian of a QFT defined on a manifold , one is often interested in a time-dependent perturbationwhere could correspond to making a coupling in the Hamiltonian time-dependent  such aswith denoting a generic operator in the theory and its corresponding source. A perturbation of the above kind, followed by unitary quantum evolution, is called a Quantum Quench. If the theory was in a pure state before the quench, unitarity of the post-quench evolution implies that it will remain in a pure state. However, experimental studies in ultracold atoms  and theoretical arguments [3–5] suggest that the end state of the evolution looks thermal to a very good approximation when studied with local, coarse-grained probes. This process is often termed thermalization. If a quantum quench acts uniformly at all space points such that , it is known as a Global Quench. In this paper, we will only discuss quenches of this kind.
Study of global quenches was initiated in  using boundary conformal field theory techniques of . For the case of free field theories,  made significant progress using symmetries of the theory. Let us begin by considering a global quench to a more general conformal field theory (CFT). In this case, one-point functions are known to thermalize instantaneously [8–10], thus forcing one to look for better probes of thermalization in CFTs. Natural choices are non-local observables like two-point correlation functions, Wilson lines, and entanglement entropy. Although all of these have been studied recently , entanglement entropy is the most attractive of these, and for good reasons. As shown in , entanglement entropy equilibriates slower compared to other quantities for a finite-duration global quench, thus determining the physical rate of thermalization of the theory. It has further been used as an order parameter for phases of quantum matter . The entanglement shared between regions codifies all possible correlations between them, making it very useful. For example, mutual information, a combination of entanglement entropies of two regions, gives an upper bound on all possible connected two-point functions between operators in the two regions . Lastly, entanglement entropy grows in time after a quench (as we will discuss in great detail later), thus making the quench a way to generate entanglement. This is a goal of great interest in quantum information theory .
Entanglement entropy of a subregion (also called subsystem interchangeably) in the CFT is defined as the von Nuemann entropy of where is the reduced density matrix on the region . In a QFT, the entanglement entropy is generally calculated using the replica trick  but it is UV-divergent for any subregion and any state , due to the short-distance divergences. To obtain a finite answer, one often considers the difference between the entanglement entropies of in two nearby states. The authors in  studied the time evolution of entanglement entropy of a general subregion in (1+1) dimensional CFT and showed that the entanglement entropy increases linearly in time and saturates after a specific time. However, technical difficulties do not allow one to generalize these calculations to higher dimensions easily (Nevertheless, recently some progress has been made on this account in the dilute gas limit in ).
In such cases, the AdS/CFT correspondence [18–20] has been very useful. It maps a strongly coupled holographic CFT to a weakly coupled theory of gravity in AdS space. Thus quantum quenches in such CFTs correspond to classical time evolution of the semi-classical theory of gravity. A general asymptotically AdS spacetime in the Feffermann-Graham gauge looks likewhere parameterizes the CFT which lives on the boundary of this spacetime . Operators in the CFT correspond to matter fields in this geometry. Then, if the CFT Hamiltonian is perturbed such as in (2), the insertion of the operators in the CFT acts as sources for the matter fields in AdS and changes their boundary conditions. The full matter plus gravity system evolves in time and this evolution can be used to understand the post-quench evolution in the CFT. AdS spacetime can be thought of as a box and thus acts as a potential well for the matter fields. These then fall into the center of AdS and, after sufficient time, generically form a black hole [21–23] (However, see  for an interesting discussion of a class of initial conditions that do not result in black hole formation. Whether a generic perturbative initial condition leads to a collapse or not is still an open problem. See  and references therein for a discussion about this). Thermalization in the CFT is thus described by black hole formation in the dual semi-classical theory of gravity in AdS, as has been noted by several authors [23, 26, 27]. Consequently, collapsing solutions to semi-classical gravity in AdS are one of the most widely used tools to study quenches in holographic CFTs [11, 28–31]. Apart from weak-field analytic study in , they have also been studied using probe D-branes [32–34] and numerical methods [8, 35].
In 2006, Ryu and Takayanagi  proposed that the entanglement entropy of a subregion in the CFT is given by the minimal area of a bulk co-dimension 2 surface homologous to at the AdS boundarywith the homology condition . Due to the simplicity of this formula, holographic entanglement entropy has received a lot of attention in the past decade (see  for a recent review). However, this formula works only for time-independent states. To calculate entanglement entropy of a subregion in a time-dependent state, one needs to use the covariant generalization of this formula, proposed in . This general proposal is called HRT proposal and it states thatwhere now denotes an extremal codimension-2 surface in the AdS bulk, i.e., one with vanishing trace of the extrinsic curvature.
Using the HRT proposal,  initiated the study of time-dependent holographic entanglement entropy, in the context of quenching a holographic (1+1) D CFT. They considered an abrupt (instantaneous) global quench to the CFT, such aswhere is the Heaviside Theta function. As the operators are uniformly inserted in the CFT, the dual bulk fields get sourced everywhere at the boundary of the AdS3. If these operators have conformal dimensions much smaller than the central charge, the bulk fields are light and then the quench is described by a 3D geometry with a thin, uniform shell of infalling matter that forms a black hole. This geometry is well-studied and known as the Vaidya Geometry where the function determines the horizon(s) of the black hole and is called the Blackening Function. The end state of the quench will be a stationary state that looks thermal locally, with a temperature fixed in terms of the blackening function of the black hole. Like the field theory calculation of  in the (1+1) D CFT,  found a linear growth of entanglement entropy with time. Reference  generalized this holographic calculation to the case where the initial state is not vacuum but a thermal state or a typical pure state. These works for lower-dimensional field theories using the properties of (2+1) D AdS gravity, which is special in various ways. Reference  instead considered the evolution of holographic entanglement entropy in (2+1) D CFT, exploring evolving geometries in AdS4. They also observed a linear behavior for the growth of entanglement entropy, but noticed some novel phenomena, such as a discontinuity in the time derivative of entanglement entropy near the time when it is about to saturate. Motivated by these examples, [43, 44] considered the case of general dimensional CFTs. For subsystems whose characteristic size is much greater than the temperature scale , they found that the time evolution of holographic entanglement entropy has a linear regimewhere is the entropy density of the subsystem in the final state, is the area of the entangling surface in the CFT, and is a subsystem-independent constant called the Entanglement Velocity. Furthermore, the rate of growth in this linear regime was found to be bounded by 1 (in units ). As envisaged by  using a quasi-particle description for the propagation of this entanglement,  showed that this bound is a consequence of the causality of the (spacetime) dimensional CFT.
However, these works focused on the limit of large subsystem sizes. Reference  proposed a method to explore the entanglement entropies when the subsystem sizes are small compared to the final temperature. They observed a perturbative expansion for the area of the extremal surface and used that to study the post-quench evolution after an instantaneous quench. Reference  used a similar method to study the very interesting case of a global quench that is linear in time. But it was only in  that a comprehensive study of growth of entanglement entropy in the small subsystem regime was undertaken. Reference  studied a wide class of global quenches, including instantaneous, power law with arbitrary and periodic quenches. This was possible due to a novel interpretation that the growth of entanglement entropy after a quench can be understood as a linear response of the subsystem (in time) to the energy the quench injects. This interpretation allows one to rewrite the entanglement entropy (and other related information-theoretic quantities) as a convolution of two functions: a kernel that depends on the shape and size of the subsystem and a source that only depends on the energetics of the quench:This interpretation is very useful. As described in detail in , it implies the existence of a time-dependent first law of entanglement for small subsystems. Moreover, such a law can be used to define a time-dependent quantity analogous to relative entropy that would measure the distance between out-of-equilibrium states explored during the post-quench evolution and either the initial or the final equilibrium state.
1.2. Hyperscaling-Violating-Lifshitz Theories
In this paper, we would like to study global quantum quenches when the CFT is in an excited state which partially breaks the full conformal symmetry. These states have a finite energy density and charge density . The conserved current for the charge is dual to a gauge field in the AdS bulk. Finite charge density then implies that this gauge field has a non-normalizeable mode at the boundary , which plays the role of a chemical potential for the charge. Since there is a finite energy and charge density, these generically backreact on the AdS geometry, modifying the interior [49–51]. (In the simplest case, the backreaction is known to uniquely give the AdS-Reissner-Nordstrom metric . But this is known to be unstable at low temperatures ) We will further include fermions in the bulk and focus on the actionwhere denotes an ideal fluid Lagrangian at zero temperature for the fermions. Using this,  showed that the solutions to the equations of motion arewhere the exponent is fixed in terms of mass of the fermion. AdS radius appears in the metric because the finite charge density is smeared in an appropriate finite spatial region in the CFT. If we then zoom in near this region, that would correspond to zooming in on the interior part of the geometry. This part is not asymptotically AdS but instead has only part of AdS isometries. If we take this metric as an effective description of some field theory defined at its asymptotic boundary, this field theory will not be fully conformal. In fact, in the background given by the metric (12), time and space scale in an anisotropic wayThe constant is a Dynamical Critical Exponent in this theory. It determines, for example, how the mass gap scales with respect to the coherence length near the critical UV CFTField theories with such properties are called Lifshitz Field Theories. They have the usual time and space translation generators (the Hamiltonian and spatial momenta ) and the spatial rotation generators (angular momenta ) but only an anisotropic dilatation with the following commutation relations:As a consequence, they are also known as non-relativistic field theories. Such theories are known to describe general quantum critical points in condensed matter  and they can be constructed from Yang-Mills theories [54, 55]. Thus, in this effective limit, we would be describing non-relativistic holography.
The idea of investigating holography for theories without conformal symmetry is not new. See [56–61] for older work studying the holographic duals of Schrödinger field theories. The asymptotically Lifshitz geometry (12) was first introduced in  to study Lifshitz field theories. They observed that this metric is nonsingular and all its curvature invariants are finite. However, it has a peculiar behavior near (the interior of the geometry) and in fact it is geodesically incomplete . Thus to have a well-defined holography, one needs to find this metric as a solution of string theory. We thus need to embed the action (11) in some string model. There has been a lot of work in this direction [50, 59–61, 63–67], to name a few. Some works have advocated taking the asymptotically Lifshitz metric as a solution of general relativity with appropriate matter . Energy conditions on this matter then decide what class of geometries are expected to have a Lifshitz field theory as a holographic dual. In particular,  showed that the condition needs to hold for the Null Energy Condition (NEC) to be satisfied in the bulk (Although these works suggest that there may exist a Lifshitz holography, recently there has been some debate about what exactly the geometry dual to a UV Lifshitz critical point looks like. See ).
In this paper, we will study a class of excited states in the CFTs that is further qualified as follows. The IR geometry describing these states has an extra critical exponent, called the Hyperscaling-Violating Parameter and denoted by . As before, we will zoom in on the IR and take the asymptotics to define an effective, non-relativistic field theory. Following investigations in the holography of charged dilatonic black holes, it was realized [71, 72] that such geometries are good effective holographic descriptions for condensed-matter systems. The metric looks likewhere we recall that . In addition to Lifshitz symmetries, this metric transforms asunder scaling. From now on, we will call this the Hyperscaling-Violating-Lifshitz metric and denote it by the acronym hvLif. Hyperscaling laws are well-known in condensed-matter physics. Traditionally, they are defined as those laws where the critical exponents depend on the dimension. In our case, the presence of roughly means that the asymptotic field theory effectively lives in spatial dimensions instead of spatial dimensions. This may be a concern for dimensional analysis, but the issue is resolved when one posits the existence of a length scale that does not decouple in the IR.
Hyperscaling violating metrics can be obtained from the action where the parameters and determine the exponents and . The potential gives an asymptotically AdS solution in the limit and an asymptotically hvLif solution in the limit . For a range of exponents and , the metric can be shown to arise in a UV-complete theory like string theory [66, 72–74]. With these pieces of evidence, it is natural to study further the holography of hyperscaling-violating solutions in AdS spacetime. The Null Energy Condition (NEC) in the bulk imposes some constraints on the class of non-relativistic field theories dual to the hyperscaling-violating backgrounds, namely, that the critical exponents must satisfy [72, 75]We will study global quantum quenches in these field theories. These quenches correspond to classical evolution of the hyperscaling-violating background, possibly with some matter fields. In analogy with AdS/CFT correspondence, changing coupling constants in the field theory will correspond to turning on the non-normalizeable modes of some bulk matter fields. Owing to the natural gravitational potential well in the AdS spacetime, these matter fields will then collapse towards the center of AdS to eventually form a black hole. Formation of the black hole will correspond to thermalization in the dual field theory, which we assume will happen generically thanks to the strong coupling and chaotic dynamics. The simplest model to study this is to assume that the bulk matter is light and that it falls as a homogenous, thin, spherical shell. Its backreaction on the bulk geometry is then given by the Vaidya-like metricwith being the blackening function (Vaidya-like solutions in asymptotically Lifshitz backgrounds were first studied by ). We display it explicitly in equation (40). We will study the time-dependent holographic entanglement entropy in such a background and infer characteristics of the quenches in the asymptotic non-relativistic field theory. The entangling region in the boundary can have any geometry. For the case of strip geometries, this problem was also studied in [77, 78] but in a regime complementary to what we will study. They studied the evolution of entanglement entropy when , where denotes the temperature of the final state after thermalization. Thermalization of mutual information between two widely separated regions in a hyperscaling-violating field theory was studied in [79, 80]. We will instead study the complementary regime . Unlike [77, 78], we will also consider more general quantum quenches: instantaneous, power-law with any power, and periodic in time.
1.3. Reader’s Map
The plan of the paper is as follows. In Section 2, we discuss the perturbative expansion of the HRT area functional in the presence of a small parameter. In Section 2.1, we make some general comments on holographic renormalization for asymptotically hvLif backgrounds. In Section 3, we discuss our Vaidya model of global quantum quenches in detail. In Section 3.1, we use the perturbative expansion of the area functional in the Vaidya model to calculate a simple integral expression for time-dependent holographic entanglement entropy (see equation (51)) which holds for any global quantum quench. In Section 4, we interpret this equation as a linear response relation and use it to derive a time-dependent generalization of the first law of entanglement entropy for small subsystems in Section 4.1. Such a law allows one to study a time-dependent analogue of relative entropy, which we discuss in Section 4.2. In Section 5, we start studying specific quantum quenches using the general machinery we have developed so far. Section 5.1 discusses in detail the instantaneous global quantum quench to the hvLif field theory. We once again study small subsystems and display explicitly various time-dependent quantities related to entanglement entropy. In Section 5.2, we study a finite-duration global quench that is a power law in time, with an arbitrary power. We discuss the method to obtain results in this general case and for convenience discuss the case of integer powers in detail. In Section 5.3, we elaborate on the case of a global quench linear in time. This is a special case of the power law quench but this is interesting in itself due to earlier work [46, 47]. We then come to Section 5.4 where we study a Floquet quench, a global quench that is periodic in time. This is a case of particular importance in condensed-matter community and we disucss thermalization of entanglement entropy for small subsystems for a Floquet quench. Finally, in Section 6, we conclude with a summary of our results and some directions for future work. There is an Appendix where we compute the stress tensor for hvLif backgrounds.
2. Perturbation Theory for Small Subsystems
From now on, we will work in an asymptotically hvLif spacetime and use that to study the quenches in the asymptotic non-relativistic field theories. Our results will be an approximation to quenching the specific class of excited states in CFTs that we have discussed in Section 1.
2.1. Holographic Renormalization
In this subsection, we will discuss holographic renormalization for asymptotically hvLif spacetimes. This is a very important problem, albeit outside the purview of this paper. Thus, we will be brief.
For a review of holographic renormalization in the case of CFTs, see . Discussion of holographic renormalization for asymptotically Lifshitz backgrounds was initiated in [62, 68]. It was studied in more detail in [82–88], to name a few. In this subsection, we will follow the excellent article . They study holographic renormalization in hvLif backgrounds using radial Hamilton-Jacobi method. In this method, one starts with a general action for the gravity-matter systemalong with the usual Gibbons-Hawking boundary term. Then one takes an ADM-like ansatz for the metric and finds the Hamiltonian as well Hamilton’s Principal Function . These are related by the Hamilton-Jacobi equationSolving this equation and using the definition of , one obtains the normalizeable and non-normalizeable modes for the fields. After an appropriate canonical transformation that diagonalizes the symplectic form on the space of these solutions, the normalizeable modes of the fields are identified as sources for some operators in the asymptotic field theory and the non-normalizeable modes are identified with the expectation values of these operators. Moreover, the asymptotic behavior of the solution of the Hamilton-Jacobi equation, including the finite terms, is useful in obtaining an analogue of Feffermann-Graham expansion for the fields on the hvLif backgrounds. The Feffermann-Graham expansion for the metric looks likewhere, for economy of notation, we have definedand . The metric defines the metric on the asymptotic boundary. We demand that this be given byWe are interested in studying quantum quenches in the asymptotic field theory by calculating entanglement entropy of a subregion holographically. If we consider a subregion in the field theory with a characteristic size , let denote the turning point in the bulk up to which the extremal homologous surface goes. The authors in  have argued that the UV of the asymptotic field theory gets mapped to the IR of the gravity theory on the hvLif background. Thus if is small (compared to the temperature scale), will be small (compared to the radius of the spacetime ). The bulk surface will then probe only the near-boundary region of the geometry.
When we do a global quantum quench in the field theory, this will in general change the geometry by a finite amount but because the subregion is small, the reduced density matrices on before and after the quench will differ by a small amount. In the bulk this implies that the area of the HRT surface dual to will get corrections from leading perturbations to the asymptotic hvLif metric, such asThe leading term in the perturbation with the perturbation is a simple function of the expectation of the stress tensorwith the power of fixed by symmetry. Higher powers of are subleading for small . If the quantum quench involved changing the coupling constant of some operator in the field theory, the metric perturbation may also get corrections from the expectation value of as well as from the source. We will assume that the (aniosotropic) scaling dimension of this operator is such that its contribution to the metric perturbation appears at subleading orders compared to that of .
But the area of the HRT surface will be divergent, reflecting the fact that entanglement entropy of in any state is UV-divergent. This divergence, however, is easy to remove: we subtract the entanglement entropy of in vacuum from all our answers. There will in general be contributions to entanglement entropy from the source directly. Understanding them will need a source-dependent renormalization, so we will subtract this as well. Thus we will calculatewhere is the contribution to the holographic entanglement entropy from the source.
2.2. Perturbative Expansion of the Area Functional
In the previous subsection, we have made precise the class of universal corrections we will aim to capture by calculating entanglement entropy holographically. In this subsection, we briefly review the results of  where they set up a perturbative calculation of holographic entanglement entropy of a subsystem in the presence of a small parameter (see also ). They considered the case of a homogeneous and instantaneous quench to the CFT ground state, while  generalized this to any homogenous quench. We will discuss such a calculation for the area of a bulk surface in asymptotically hvLif spacetime. We start with the HRT formula [36, 38]where is Newton’s constant in dimensional bulk and is a dimensional bulk surface that is homologous to boundary subregion . We will assume that the characteristic size of is small compared to any other scale in the field theory, following [45, 47]. To be precise, the small parameter in our case will bewith denoting the temperature of the final state. We will discuss how to calculate it in Section 3.1. Let denote all the embedding fields for the surface and denote the Lagrange functional for the area of the surface Assuming the dimensionless parameter , we can expand the embedding functions and the Lagrange function as follows:where the embedding functions that extremize the area at any given order in can in principle be obtained by solving Euler-Lagrange equations order by order in . However, as first noted in , the calculation of the area to order becomes particularly simple. One getswhere we have used the equations of motion at zeroth order in . Hence the first-order correction to holographic entanglement entropy is given byThis is the term we will calculate, and as we will see, it will be universal.
3. The Vaidya Model for Global Quenches
Let us start with the hvLif metric in (16)where is the bulk radial direction in the Schwarzschild frame, with the boundary at , and we have set the radius of the spacetime to 1. We will assume that the critical dynamical exponents and , apart from the constraints (19), also satisfyAs discussed in Section 1, the metric (20) (reproduced below) describes a simple model of a thin, homogenous shell of infalling matter to form a black hole with asymptotically hvLif geometryWe will call this the hvLif-Vaidya geometry and use this to model our quenches holographically. In what follows, it will be useful to work in tortoise coordinates, also called Eddington-Finkelstein coordinates, defined byIn these coordinates, the metric takes the formThe class of global quenches we study can be parameterized in terms of the blackening functionwhere the time-dependent function corresponds to the quench in the boundary. We can always choose it to be bounded such that and the leading term indicates the time-independent vacuum. The constant is the horizon radius and it encodes the equilibrium properties of the final state, a long time after the time-dependent perturbation. In case of pure AdS backgrounds, it precisely coincides with the horizon radius of the black hole formed as a result of perturbing the boundary CFT. Depending on the functional form of , we will distinguish between two kinds of global quenches:(i) Quenches of finite duration We will denote the duration of the quench by , with reference to the Schwarzschild coordinate natural to a lab. For quenches with finite duration, interpolates smoothly between two values at and . Denoting by for a moment where we have normalized the value of when the quench ends. From a geometrical viewpoint, at we have the AdS-HSV geometry, and we turn on the quench and as a result at end up in a static black hole solution with AdS-HSV asymptotics [72, 90–93].(ii) Quenches of infinite duration In this case, we keep on perturbing the system indefinitely in time and as a result keep on inserting energy. One can still formally expand in a small parameter , but the expansion invariably becomes bad at sufficiently late times. We will not discuss very late time dynamics.
In this paper, we will mainly study quenches of finite duration.
3.1. Spread of Entanglement Entropy
In , we considered boundary subregions with spherical and strip geometry to study the time evolution of entanglement. But in this paper, we will only study subregions with a strip geometry. This is because, in a non-relativistic setting, it is very difficult to solve for the embedding functions with spherical geometry that extemize the area. The strip geometry will be defined on a time-slice so as to have coordinates such thatWe will assume that is the smallest energy scale in the theory but, as we will see, will not need to assume anything about . The strip has translation invariance along the directions since . This translation invariance can be used to constrain the homologous surface in the bulk, which as a result is completely specified by one function . We follow the usual procedure to calculate the area of this homologous surface in the bulk. It can be shown to bewhere denotes the tip of the point in the bulk where the surface curves, i.e., the depth up to which the surface falls inside. The Lagrange function is given byBefore we proceed to calculate this, we remark the exact expansion parameter. As we argue in the Appendix, the blackening function can be used to define an “effective temperature”Explicitly evaluating this, we see that the parameter is dimensionless and we define it to be . It can also be written differently using the bulk distance asThe Lagrange function now can be written as a function of this parameter and can be expanded around . The zeroth-order Lagrange function and its first-order correction are then given byThe Euler-Lagrange equations from the zeroth-order function can be solved to obtain the solution for the extremal surface in the time-independent case. This solution iswhere is the hypergeometric function andEvaluating the first correction to the area at these solutions, the time-dependent change in the entanglement entropy becomeswhere the turning point can be calculated from to be
4. Entanglement as a Linear Response
Equation (51) for time evolution of entanglement entropy has a very interesting structure. In particular, if we define a time-like coordinatethe time-dependent change in entanglement entropy can be written as the convolution equationfor some appropriate functions and . In the theory of linear response, one of these functions, say , is called the input or Source function and the other one is called a Response. However, the roles of and are interchangeable due to the properties of the convolution operation.
As we argue in equation (A.22) in the Appendix, the energy density in hvLif-Vaidya spacetime isNow, without loss of generality, we identify the source with the energy densityThis is a natural choice for the source because this function depends only on the parameters in the quench. The response function will then contain all the information about the geometry of the entangling subregion:where is the area of the entangling surface, the boundary of the subregion along the perpendicular directions, and is defined in terms of . Notice that we have unbounded limits in (54), but the actual integral for entanglement entropy (51) has bounded integration domain. To make this change, we have made the response function an explicit function of these limits. The upper limit also provides a natural reference for the domain of the response function.
For , there was no quench and as expected, the response function vanishes as well. Thus, the spread of entanglement is causal in our model. For finite quenches, the source function increases only up to . In these cases, owing to the properties of the convolution integral, the entanglement growth saturates at a timeAs was noted in , writing the growth of entanglement entropy as a convolution has the added benefit that convolution integrals enjoy the following nice properties: (i) Linearity If a source is a linear combination of two independent sources , the convolution is the same linear combination of the individual convolutions(ii) Time-translation invariance A convolution is left invariant by translating it(iii) Differentiation rule If , differentiation follows the simple rule(iv) Integration rule If , the integral of the convolution is the product of integrals.One can use these properties and study a class of source functions which are relatively simple. If the source function is complicated, but decomposable into a series of such simpler functions, these properties will prove useful in studying evolution of entanglement entropy in such a case.
4.1. Time-Dependent First Law of Entanglement
There always exists a First Law of Entanglement Entropy for small subregions. For the kind of quenches we are studying, the reduced density matrix for the subregion after the quench can be written as and so can the entanglement entropy:In fact, the change in the entanglement entropy can be shown to bewhere the Modular Hamiltonian is defined as Equation (64) is called the First Law of Entanglement Entropy.
In this subsection, we will show that there exists such a first law even in the time-dependent case for the small subregions. In (56), if we assume for a moment that the source is constant in time , then the entanglement growth (54) simplifies toObserve that we can explicitly calculate the indefinite integral of the non-trivial part of the response function (57):Using this, we define the functionwhich can be thought of as the indefinite integral of the full response function. Taking the limits and of the function , we get the entanglement growth to beWe can rewrite the latter expression aswhere by we denote the total energy inside the entangling surface:Using (52) for in terms of , we can write the parameter asIt is called the Entanglement Temperature and has been extensively studied in literature [94–97]. Observe that the entanglement temperature only depends on the shape of the entangling surface (through ) and not on the quench. Thus, it is a characteristic of the subregion. In the relativistic limit (), it reduces to the well-known expression [47, 94]This equation is a manifestation of the standard First Law of Entanglement Entropy.
We now generalize this law to the case of adiabatic sources. In this case, the function varies slowly and is approximately constant for time intervals of the order of . To derive the first law, let us start by partially integrating the entanglement entropy integral (54), while using the source function (56). We getwhere is defined in (67). Note that one cannot cancel the integration measure in the numerator and the denominator of the second term. One is supposed to think of the derivative of as an independent function of .
Naively, this gives us the full expression for the time-dependent change in entanglement entropy. However, there is still a choice of the integration constant in the definition of the function , equation (67). For calculating the entanglement growth after a constant quench (see equation (68)), this choice did not matter because the integration constant got cancelled when one implemented the limits of the definite integral in the end. Here, the presence of the integration constant matters because it gives a non-vanishing term as changes across an interval of size . So, how do we fix this constant? We would like to reproduce the time-independent first law of entanglement entropy (70) when we make the source time-independent. This fixes the constant to be . In particular, this implies the condition , which is not surprising for a integral of a function with compact support. We also have . Using these, we getThis is then our generalization of the First Law of Entanglement to adiabatic time-dependent cases. We can identify the precise condition when this first law will hold. The adiabatic approximation is true if the integral in the equation above is not very large compared to the first term. One can thus show that ifthen the above first law holds.
4.2. An Analogue of Relative Entropy
In time-independent cases, relative entropy between two density matrices and can be shown to be [98, 99]whereWe see that (75) is analogous to this. In particular, we can define a time-dependent analogue of relative entropy between the vacuum of non-relativistic field theories and thermal states produced by action of a global quenchwhere by we mean the term that remains after subtracting the vacuum quantity as well as source-dependent terms. This quantity has some nice properties. When there is no quench, it vanishes owing to the time-independent first law. For an adiabatic quench, it is very small, implying that the time-dependent excited state is not very far from the vacuum. For quenches of finite duration, it is non-zero only for . Moreover, like the relative entropy, it is positive definite and hence must have an extremum in the interval . All these properties suggest that this quantity can be thought of as an order parameter for out-of-equilibrium states. That is, this quantity tells us how far an out-of-equilibrium state is at time compared to an equilibrium state with the same energy density .
We can in fact show that, for , . To see this, first we recall the integral expression for the relative entropyNow, we observe thatHence we getwith . Now referring to the discussion above equation (75), for because of the choice of the integration constant. Also, due to the Null Energy Condition in the bulk. Hence, for .
Apart from providing an order parameter to understand out-of-equilibrium states, the time-dependent relative entropy also helps us to organize the post-quench time evolution of the field theory. To see how this is done, let us first calculate the time derivative of the relative entropy using the differentiation rule of convolutionwhere the first term is a boundary term from the boundary at . We can now define the following regimes during the post-quench evolution:(i) Driven regime ( ) For , the system is being driven by the quench as . Since , the second term is negative wrt first in (83). However, both the terms contribute in general and there is a change in relative entropy as a function of time.(ii) Transient regime ( ) For , the quench has stopped acting and hence . Thus, only the second term in (83) contributes. As a result, we get The distance in the Hilbert space between the vacuum and the excited state thus keeps decreasing with time in this regime.
5. Special Cases
In this section, we will study the growth of entanglement for small subsystems for some explicit quenches. As we will see, they cover a wide range of time-dependent perturbations to the field theory.
5.1. Instantaneous Quench
As a first example, we will study the instantaneous global quantum quench defined by . This will elucidate the use of the convolution formula (54) for entanglement entropy. Further, our discussion fills in a gap in the literature [77, 78] for entanglement growth after instantaneous quenches, which has focused more on large subsystems. From (51), the entanglement entropy in this case isThe Heaviside Theta function can be used to naturally divide the evolution of entanglement entropy into the following three regimes:(1) Pre-quench regime When the integrand vanishes for the entire integration domain. Hence(2) Post-saturation regime When , the integrand is nonzero for the entire integration domain. Furthermore the final result then does not depend on time. Thus the growth of entanglement saturates in this regime and gives us the value of entanglement entropy in the final equilibrium state. We will use this value later to normalize our plots.(3) Time-dependent regime For , the value of is actually time-dependent. This is thus an out-of-equilibrium regime. To study this regime, we split off the equilibrium entanglement entropy of (87) and observe that we can define a dimensionless parameter In terms of this parameter, the time evolution of the entanglement entropy is where is the Incomplete Beta Function.
Having described the regimes, we now observe that the problem of studying the evolution of entanglement entropy simplifies to the problem of studying the behavior of for different time scales. Before we study this in detail, we depict in Figure 1 the evolution of entanglement entropy for instantaneous global quenches.
5.1.1. Nature of Entanglement Growth
We now study in detail the time-dependent regime. To organize our study, we observe that the time-dependent regime can be further classified into three different subregimes. The existence of these subregimes can also be seen from Figure 1, where, as a function of time, the entanglement growth has three different functional forms. We now describe each of these subregimes in detail.
(1) Early Time Growth. The first subregime is the one where time is very close to zero, . This implies that the dimensionless parameter . This motivates us to expand , given by (90), near . We expect that this simplifies the expression for the entanglement growth near . The expansion of near iswhere we have assumed and following . Thus the time growth of entanglement entropy near becomesIf we take the limit , we recover the Vaidya solution with an asymptotically AdS background. In this limit, the above equation reproduces the well-known results for early time growth of entanglement , in particular the quadratic function of time. It was also argued that this time dependence is universal irrespective of the size of the subsystem [43–45]. The argument is that it is the UV part of the CFT which largely determines the early time growth and hence depends only on the symmetries . We expect the same to be true of the early time entanglement growth for non-relativistic field theories under investigation here.
(2) Quasilinear Growth. The time dependence of entanglement entropy is not universal for intermediate time scalesIt was shown in [43, 44, 77, 78] that there is a linear regime for large subsystems. But as was argued in [45, 47], there is no such regime for small subsystems. These results were for CFTs, but even in the case of non-relativistic field theories, we observe similar features. In particular, Figure 1 suggests that we can model the growth of entanglement as quasilinear. Then to study such a regime, [43–45, 47, 78] identified a parameter called Entanglement Velocity. For CFTs, it was defined as [43, 44]Following , we define entanglement velocity for the case of non-relativistic theories to beRecall that from (52) we haveA simple calculation then shows that the entanglement velocity is equal toAs we can see, this is not independent of the subsystem. A similar feature was observed in [45, 47], contrary to the large subsystem limit, where the entanglement velocity is universal [43, 44]. In Figure 2, we plot the entanglement velocity as a function of time for different dimensions.
To understand this instantaneous velocity better, we study it in some limits. First we set but keep arbitrary. This is the limit of relativistic but non-conformal field theories or the purely hyperscaling-violating theories. The time dependence of the velocity then is shown in part (a) of Figure 3. In part (b) of the same figure, we keep and plot the time dependence of the velocity for different values of . For large subsystems, the entanglement velocity was found to be connected to the velocity of quasiparticles produced during the quench . It was argued later that the spread of entanglement is causal and that this velocity is bounded by 1 in units of [17, 43, 44]. However, the instantaneous velocity does not satisfy this bound [45, 47, 100, 101], although the time average of the velocity is bounded. This suggests that there is no quasi-particle picture for the production and propagation of entanglement for small subsystems. In the case of non-relativistic theories, the situation becomes more muddled. We will comment on these issues by studying the maximum and average velocity.
The maximum entanglement velocity in our case can be found usingwhere we have assumed that and . This has the valueIn the AdS limit , , we reproduce the known result which gives, for example, a maximum velocity of for . In part (a) of Figure 4 we plot the maximum as a function of dimension.
It is also interesting to consider the maximum entanglement velocity as a function of . This problem was studied numerically in [102, 103] recently. They found that the entanglement entropy for small subsystems is a linear function of . We observe the same linear behavior, above , as we show in part (a) of Figure 5. Now we turn to the average entanglement velocity. It is given byUsing (97), this can be shown to beAs expected, it reduces to the known expression [45, 47] in the limit of AdS-Vaidya