Abstract
Recently, remarkably simple exact results were presented about the dynamics of heat transport in the local Luttinger model for nonequilibrium initial states defined by position-dependent temperature profiles. We present mathematical details on how these results were obtained. We also give an alternative derivation using only algebraic relations involving the energy-momentum tensor which hold true in any unitary conformal field theory (CFT). This establishes a simple universal correspondence between initial temperature profiles and the resulting heat-wave propagation in CFT. We extend these results to larger classes of nonequilibrium states. It is proposed that such universal CFT relations provide benchmarks to identify nonuniversal properties of nonequilibrium dynamics in other models.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of heat, mass, charge, or spin transport in classical and quantum one-dimensional systems has a long history, see, e.g., [1,2,3,4,5,6,7,8,9,10]. Among problems that continue to make this an active field are questions concerning presence of diffusion, effects of integrability, interactions, or disorder, universality, and behaviors after quantum quenches, to mention a few. Studies of such questions were further spurred by experiments on ultracold atomic gases [11, 12] which recently triggered a rapid development of this field, see, e.g., [13,14,15,16,17,18,19,20,21,22,23]. Let us specifically mention the use of methods of conformal field theory (CFT) to gain better understanding of nonequilibrium steady states and transport in critical quantum 1d systems, see [24,25,26,27] and references therein, [28] for an operator-algebraic approach, and [29,30,31,32] that are particularly close to the context of the present paper.
In [33] two of us (E.L. and P.M.) together with Joel L. Lebowitz and Vieri Mastropietro studied in the Luttinger model the dynamics of heat transport starting from a particular class of nonequilibrium initial states. These states were given by position-dependent temperature profiles \(1/\beta (x) > 0\), and the time evolution was determined by the standard translation invariant Hamiltonian
where \(\mathcal {E}(x)\) is the energy density operator on a circle \(S^1\) with circumference L parameterized by the coordinate \(x \in [-L/2, L/2]\). \(\mathcal {E}(x)\) together with the heat current operator \(\mathcal {J}(x)\) satisfy the continuity equation
with the usual Heisenberg time evolution \(\mathcal {O}(t) = \mathrm{e}^{\mathrm{i}Ht}\mathcal {O}\mathrm{e}^{-\mathrm{i}Ht}\) for observables \(\mathcal {O}= \mathcal {E}(x)\) and \(\mathcal {J}(x)\). (The units are such that \(\hbar = k_B = e = 1\).) We computed the evolution of the energy density and the heat current, \(\langle \mathcal {E}(x,t)\rangle _{\text {neq}}\) and \(\langle \mathcal {J}(x,t)\rangle _{\text {neq}}\), using the following definition of nonequilibrium expectation values:Footnote 1
Note that the special case of constant \(\beta (x)=\beta _0\) corresponds to the standard Gibbs equilibrium expectations
at temperature \(1/\beta _0\), and it is therefore natural to interpret \(1/\beta (x)\) as a position-dependent temperature profile. We stick to this interpretation throughout this paper, although a more common definition of the local temperature would link it directly to \(\langle \mathcal {E}(x,t)\rangle _{\text {neq}}\). Other interpretations of \(\beta (x)\) are possible, in particular if the states in (1.3) arise as equilibria for dynamics defined by inhomogeneous Hamiltonians, as will be briefly discussed at the end of the paper. The setup considered in [33] resembled that of inhomogeneous quantum quenches [34] except that the evolution was studied after quenches from mixed states of (1.3) and it was analyzed directly in real rather than imaginary time.
To study heat transport we were particularly interested in kink-like profiles \(1/\beta (x)\) interpolating between temperatures \(1/\beta _{\mathcal {L}}\) to the far left and \(1/\beta _{\mathcal {R}}\) to the far right, see Fig. 1. The smooth temperature profile protocol described above allows one to analytically compute the nontrivial behavior of the energy density and the heat current around the location of the kink at early times and their subsequent development into heat waves moving ballistically to the right and left. This should be contrasted with the results of the CFT description of the dynamics in the partitioning protocol employed in similar previous studies, see [27] and references therein. In such a description, argued to be valid after a transient time, the ballistic heat waves are compressed to simple jumps (shocks) without internal structure moving away from the contact point. In the smooth initial states that we consider, this happens only in the limit when t and x are sent to infinity at the same rate, as such a limit wipes out the nontrivial internal structure of the heat waves. The evolution of the energy density and the heat current obtained in [33] permits then to better understand the shortcomings of the partitioning protocol. It also sheds a new interesting light on transport in integrable systems and, in particular, on how its universal features [35] emerge at long times for a large class of nonequilibrium initial states, see [36] and also Sect. 4.3 below for a related discussion of charge transport in the Luttinger model. As a representative example, we plot \(\langle \mathcal {E}(x,t) \rangle _{\text {neq}}\) and \(\langle \mathcal {J}(x,t)\rangle _{\text {neq}}\) in Fig. 2 at four times for the Luttinger model with local interactions (defined in more detail below) starting from the kink-like temperature profile in Fig. 1. Note a peak and a dip in the energy density at time \(t=0\) in the region where the temperature changes and how this local shape evolves into heat waves. This is accompanied by a universal heat current building up in the region between the two heat-wave fronts. We note that, for local interactions, the wave fronts preserve their shapes in time. For the Luttinger model with nonlocal interactions, there are additional dispersive effects, which, however, eventually become unobservable in any finite region as the wave fronts leave such regions in finite time, see Fig. 1 in [33]. In the remainder of this paper we restrict our discussion to the local case.
In the local Luttinger model, the energy density is given formally byFootnote 2
with fermionic field operators \(\psi _{\pm }(x)\) (with antiperiodic boundary conditions) obeying the usual canonical anticommutation relations \(\{\psi _r(x),\psi ^\dag _{r'}(y)\} = \delta _{r,r'} \delta (x-y)\), etc., \(\left. :\! \cdots \!: \right. \) denoting Wick (normal) ordering, the bare Fermi velocity \(v_F > 0\), and the coupling strength \(\lambda > -\pi v_F/2\). The (diverging) constant \(\mathcal {E}_0\) subtracts the ground-state energy density up to the finite contribution \(-\pi v/(6L^2)\) left for later convenience. The heat current is given by \(\mathcal {J}(x)=v^2\mathcal {P}(x)\) with the momentum density operator
and the plasmon velocity \(v = v_F \sqrt{1+2\lambda /(\pi v_F)}\) [36, 39]. We found in [33] the following exact expectation values of the energy density and the heat current in the thermodynamic limit marked by the superscript \({{}^\infty }\) on the expectations:Footnote 3
where \(x^\pm = x\pm vt\) are the light-cone coordinates and the function
is determined by the temperature profile. We also observed that F(x) can be written in terms of the Schwarzian derivative
of the function
as
for some constant \(\beta _0>0\). Noting that Schwarzian derivatives appear in CFT [40] and that the local Luttinger model is a CFT, we also argued that it should be possible to obtain the result in (1.7) and (1.8) in a simpler way using conformal transformations, and that it may be possible to also obtain expectation values of other observables in that way [33]. Our main result in this paper is to show that this is indeed the case.
The method used in [33] was perturbative in a small parameter \(\epsilon \) measuring the distance to equilibrium in the initial state (i.e., the case \(\epsilon =0\) corresponds to the Gibbs state). This method is general, but generically one can only obtain useful low-order results. In the special case of local interactions, however, we were able to push the computations to all orders in \(\epsilon \), and, summing the resulting infinite series, we obtained the results in (1.7) and (1.8). In this paper we give a simpler derivation of these results extending them to all unitary CFT models, including models at finite L, and to other observables.
Our analysis is based on the Minkowskian version of CFT, and it generalizes to other classes of nonequilibrium states. One such generalization is (1.3) but where, in addition to the temperature profile \(1/\beta (x)\), we also allow for a “velocity” profile \(\nu (x)\) taking
for \(|\nu (x)| < v\) (this condition ensures that \(\mathcal {G}\) is positive). Note that for constant profiles this is a generalization [41] of the Gibbs state in (1.4) where \(\beta _0H\) is replaced by \(\beta _0(H+\nu _0 P)\) with the momentum operator
This may be also be viewed in CFT as a Lorentz boost of the ordinary Gibbs state [27]. As will be shown, the corresponding generalization of the result in (1.7) is obtained by replacing \(F(x^\mp )\) by \(F_{\pm }(x^\mp )\) given by (1.8) with the right-hand side multiplied by the central charge c of CFT (which is equal to 1 for the local Luttinger model) and with \(\beta (x)\) replaced by
In particular, in the long-time limit
where \(\beta _{\pm ,\mathcal {L}}\) and \(\beta _{\pm ,\mathcal {R}}\) are the asymptotic values of \(\beta _{\pm }(x)\) to the left and to the right, respectively.Footnote 4
Finally, for CFTs with a double \(\text {U(1)}\) current algebra (e.g., the Luttinger model itself), we may also handle chemical-potential profiles \(\mu _{\pm }(x)\) in addition to temperature profiles \(1/\beta _{\pm }(x)\), possibly different for right and left movers. In this case, the functions \(F_{\pm }(x)\) pick up an additional term proportional to \(\mu _{\pm }(x)^2\). This is the largest class of nonequilibrium states that we consider. They are defined as in (1.3) but with \(\mathcal {G}\) in (4.40), see Sect. 4.3 for details.
The above results show that in CFT there is a universal relation between the initial temperature, velocity, and chemical-potential profiles and the resulting heat- and density-wave propagation even at finite times.Footnote 5 We believe that this provides a useful benchmark for other models as follows. Typically, finite-time results are model-dependent, and more universal behavior is only obtained at long times [27]. As an example, we mention the nonlocal Luttinger model which exhibits finite-time dispersion effects depending on short-distance details of the interaction potential [33]. However, these effects have some qualitative features that are always present. We postulate that the CFT results have to be subtracted in order to identify the effects that come from the microscopic details in the propagation of the heat or density waves emanating from the inhomogeneities of the initial state. In addition, such a subtraction should allow to identify the time scales when such model-dependent effects are important and when not. Moreover, it was argued in [19] that integrable systems come in two kinds: those that are purely ballistic and those with a nonzero diffusive contribution. For heat transport, in particular, one way to view this is through the thermal conductivity in the frequency domain
where a nonzero thermal Drude weight \(D_{\text {th}}\) indicates the presence of a ballistic contribution and a finite nonzero value of the regular part \(\mathrm{Re}\,\kappa ^{\text {reg}}_{\text {th}}(\omega )\) at \(\omega =0\) signals the presence of a diffusive component in the heat transport [9]. It is known that “pure” CFT captures the ballistic part [27], with \(\mathrm{Re}\,\kappa ^{\text {reg}}_{\text {th}}=0\). This also follows from our results. The cause of dispersive and diffusive effects thus must come from short-distance details, randomness, or other relevant perturbations, see, e.g., [42] for a recent discussion of that issue within CFT.
The plan of the rest of this paper is as follows. In Sect. 2, we sketch the original derivation of the result in (1.7) and (1.8) and explain the physical significance of the limit \(L\rightarrow \infty \) since this is also relevant for our more direct CFT argument. We also present special integrals whose exact evaluation was the key to this result and which, as we believe, are interesting in their own right. The reader may skip the second half of Sect. 2 without loss of continuity. The CFT derivation is given in Sect. 3. After collecting the results about Minkowski-space CFT that are needed in Sect. 3.1, we show in Sect. 3.2 how to use conformal transformations to straighten out position-dependent temperature profiles \(1/\beta (x)\) on a periodic interval. This allows one to exactly map the nonequilibrium expectations in CFT to the corresponding equilibrium ones. We make this mapping explicit for products of the components of the energy-momentum tensor. In Sect. 3.3, we study the thermodynamic limit of the finite-volume relations which allows one to treat temperature profiles on the infinite line with different asymptotic values on the left and right sides. As a byproduct, we calculate the thermal Drude weight. Section 4 is devoted to various generalizations. In Sect. 4.1, we briefly discuss the correlators of primary fields. In Sect. 4.2, we consider states with different temperature profiles for the right and left movers. They form a class of nonequilibrium states preserved by the Schrödinger-picture dynamics that lead to simple examples of generalized Gibbs states at long times. In Sect. 4.3, we extend the analysis to CFTs with a \(\text {U(1)}\) current algebra and states with temperature and chemical-potential profiles. For the Luttinger model we discuss how this implies universality of conductance for both the charge and axial currents, generalizing previous results in [36], see also [43]. Finally, in Sect. 5, we make contact with [29,30,31,32], discussing the dynamics preserving states in (1.3) and the related Euclidian CFT description. We end with conclusions and directions for further developments in Sect. 6. The Appendix contains some mathematical details on the special integrals mentioned above.
2 Perturbative Derivation and Remarkable Integrals
The perturbative computation method used in [33] is based on introducing an expansion parameter \(\epsilon \) measuring the deviation of the temperature profile from constant temperature \(1/\bar{\beta }\) as follows:
with W(x) a function defined by this relation.
In [33] we were mainly interested in kink-like functions where W(x) becomes (say) 1 / 2 and \(-\,1/2\) to the far left and right, respectively, so that \(\bar{\beta }=(\beta _\mathcal {L}+\beta _\mathcal {R})/2\) and \(\epsilon =(\beta _\mathcal {L}-\beta _\mathcal {R})/\bar{\beta }\) in terms of the asymptotic values. On the other hand, for technical reasons, we used a model on a circle with circumference \(L<\infty \), which at first sight seems incompatible: a smooth function W(x) on the circle with a single kink is not possible, and there has to be at least one other opposite one. As an example, consider the periodic function
which is kink-like in the vicinity of \(x=0\) as desired but has an opposite kink in the vicinity of \(x=\pm L/2\) and leads (for negative \(\epsilon \)) to the temperature profile of Fig. 1. The effect of the additional step around \(\pm L/2\) can be eliminated by computing results \(\langle \mathcal {O}(t)\rangle _{\text {neq}}\) for \(L < \infty \) at finite times t, and then taking the limit \(L\rightarrow \infty \) [33] in which (2.2) turns into
In this way technical problems with \(L=\infty \) on the level of quantum field theory are avoided and, at the same time, boundary conditions have no influence on the final results. The physical interpretation is that the kink at \(x = \pm L/2\) is “behind the moon” and does not affect the physics in any finite region at times significantly smaller than L / v, which is a time scale that becomes infinite in the limit \(L\rightarrow \infty \).
In the rest of this section we sketch the perturbative derivation of the result in (1.7) and (1.8), concentrating on remarkable integrals which were the key to this results. The readers mainly interested in our CFT derivation may pass directly to Sect. 3 without loss of continuity.
With the inverse-temperature profile (2.1), one can use the Dyson series to obtain an expansion
for any local observable \(\mathcal {O}(x,t)\), such as \(\mathcal {E}(x,t)\) and \(\mathcal {J}(x,t)\). The leading term in (2.4) is the equilibrium expectation value (which is time independent, i.e., \(\langle \mathcal {O}(x,t)\rangle _{\bar{\beta }} = \langle \mathcal {O}(x)\rangle _{\bar{\beta }}\)), and the n-th order term is an \((n+1)\)-point correlation function for \(n=1,2,\ldots \) [33]. This method works, in principle, for any model but, in practice, it is difficult to go beyond leading order \(n=1\). For a quasi-free bosonic model, to which the Luttinger model reduces, one can use general mathematical results [44,45,46] to replace the many-body computation by a much simpler one-particle one, and this makes it possible to extend the calculation to all orders [33].
In particular, for the local Luttinger model, after taking the limit \(L\rightarrow \infty \), this method gives (1.7) with
where
It is interesting to note that the limit \(L\rightarrow \infty \) is not only useful to eliminate the effect of boundary conditions (as explained) but also computationally: this limit turns Riemann sums into integrals and eliminates zero-mode contributions which would be more difficult to handle [33].
The integrals in (2.7) are certainly nontrivial, but we found that they all can be computed exactly, giving the result in Lemma 2.1, and this was the key that led to (1.8).
Lemma 2.1
For all \(n=1,2,\ldots \),
with \(Q_j\) defined in (2.8).
A proof can be found in the Appendix.
It is remarkable that the result are even second order polynomials in the variables \(q_j\). It is clear from (2.6) that the constant term leads to contributions to \(F_n(x)\) which are proportional to \(W(x)^n\), whereas the terms with \(q_j^2\) and \(q_jq_k\), \(j\ne k\), lead to \(W(x)^{n-2}W''(x)\) and \(W(x)^{n-2}W'(x)^2\), respectively. Thus, the special form of the integrals in Lemma 2.1 implies that we get at most terms involving second derivatives of W(x). The explicit expression of these integrals allows one to compute \(F_n(x)\) exactly, and the result is simple enough to analytically sum the series in (2.5), which gives the result in (1.8) [33].
We describe this computation above since it allows one to interpret the argument in the next section as a partial proof of Lemma 2.1. Such a proof is only partial since all terms with \(q_j^2\) are identified with (say) \(q_1^2\), and all terms with \(q_jq_k\) for \(j\ne k\) are identified with \(q_1q_2\). This identification is also useful in order to explicitly derive (1.8) from Lemma 2.1, see Eq. (A4) in [33], which is implied by (2.9). Thus, the exact integrals in Lemma 2.1 contain more information than the result in (1.8). Since nontrivial integrals that can be computed exactly are rare and often not only have one but several applications in physics, we prove (2.9) in this paper. Moreover, since our derivation of (1.7) and (1.8) in the next section works even for finite L, it suggests interesting Riemann sum generalizations of the exact integrals in Lemma 2.1. We believe it would be interesting to work them out, but this is left for a future study.
We finally mention that our argument in the next section allows one to interpret the computation described above as a derivation of the conformal anomaly in CFT by a direct computation, see (3.7).
3 CFT Derivation
3.1 CFT in Minkowski Space
We consider the Minkowskian version of a unitary two-dimensional CFT where space is a circle \(S^1\) parameterized by the periodic coordinate x with the basic range \(-L/2\le x\le L/2\) and where \(t\in \mathbb {R}\) is time. We keep the propagation speed v in our equations to clearly indicate how it effects the (otherwise) universal law relating the temperature profiles to the heat-wave dynamics.
The basic objects of such a CFT are the periodic light-cone components \(T_{\pm }(x^\mp )=T_{\pm }(x^\mp +L)\) of the energy-momentum tensorFootnote 6 where, as before, \(x^\pm = x \pm vt\). They are distributions with values in the self-adjoint operators on the Hilbert space of states of the theory that satisfy the equal-time commutation relations
where \(\delta (x)\) stands for the L-periodized \(\delta \)-function. The real number c is the central charge of the theory. In terms of the Fourier modes,
the commutation relations in (3.1) and (3.2) reduce to those of the Virasoro algebra,
Technically, we assume that the Hilbert space of the theory is a (possibly infinite) direct sum of unitary highest-weight representations of two commuting copies of the Virasoro algebra. The local Luttinger model is an example with \(c=1\) of such a theory where
with the fermion densities \(\rho _{\pm }(x) = \left. :\! \psi ^\dag _{\pm }(x) \psi ^{\phantom {\dagger }}_{\pm }(x) \!: \right. \) and \(\tanh 2\varphi = -\lambda /(\pi v_F+\lambda )\). A related quantity describing the interactions is the Luttinger parameterFootnote 7 \(K = \mathrm{e}^{2\varphi }\). The effective densities \(\tilde{\rho }_{\pm }\) act in a direct sum of bosonic Fock spaces that contains the interacting vacuum \(|\Psi \rangle \) and the Wick ordering in (3.5) is with respect to \(|\Psi \rangle \) [37, 38]. In the following arguments, the explicit form of the operators \(T_{\pm }(x)\) is not used.
Let \(\widetilde{\mathrm {Diff}}_+(S^1)\) denote the covering group of the group \(\mathrm {Diff}_+(S^1)\) of orientation-preserving diffeomorphisms of the circle. The elements of \(\widetilde{\mathrm {Diff}}_+(S^1)\) are represented by smooth functions \(x \mapsto f(x)\) on \(\mathbb R\) such that \(f(x+L)=f(x)+L\) and \(f'(x)>0\), with functions f(x) and \(f(x)+nL\) corresponding to the same diffeomorphism in \(\mathrm {Diff}_+(S^1)\). The operator-valued distributions \(T_{\pm }\) generate two commuting projective unitary representations \(U_{\pm }\) of \(\widetilde{\mathrm {Diff}}_+(S^1)\) on the Hilbert space of the theory such that for infinitesimal diffeomorphisms \(f(x)=x+\varepsilon \zeta (x)\) one has
and under the adjoint action
with the Schwarzian derivative (Sf)(x) given by (1.9). This was proven in [47] for the unitary highest-weight representations of the Virasoro algebra and carries over to the present context. The adjoint action of \(U_{\pm }(f)\) preserves \(T_{\mp }\).
The energy-momentum tensor determines the Hamiltonian,
and under the Heisenberg picture evolution, \(T_{\pm }(x,t) = T_{\pm }(x^\mp )\) as claimed above. The energy and momentum density operators
satisfy the continuity equations
As we shall see, the finite-volume nonequilibrium expectation values in (1.3) for \(\mathcal {O}= \mathcal {E}(x)\) and \(\mathcal {J}(x) = v^2\mathcal {P}(x)\) are well defined for any such CFT provided the inverse-temperature profile is periodic.
3.2 Relating Nonequilibrium to Equilibrium Expectations
From the above, it is clear that the calculation of the time evolution of the nonequilibrium expectation values of the energy density and current operators is equivalent to computing \(\langle T_{\pm }(x^\mp )\rangle _{\text {neq}}\).
Let us denote \(U(f) = U_{+}(f)U_{-}(f)\) for \(f\in \widetilde{\mathrm {Diff}}_+(S^1)\). The key observation is that it is possible to find an f such that
for some constant \(\beta _0 > 0\). In order to see this, take the function f given by (1.10) with the constant \(\beta _0\) determined by
The above choice of \(\beta _0\) ensures that \(f(x+L)=f(x)+L\) and thus that f defines an element in \(\widetilde{\mathrm {Diff}}_+(S^1)\). Using this function f, it follows from (1.3), (3.7), and (3.9) that
Upon using the relation \(f'(x) = \beta _0/\beta (x)\) for the derivative of f, this reduces to
where the last equality follows by the change of variables \(y = f(x)\). This establishes (3.11). In short, the conjugation with U(f) straightens out the temperature profile.
From the definition in (1.3) and the relation in (3.11), we infer that
This translates the nonequilibrium expectations to the equilibrium ones defined by (1.4). For \(x^{-r}= x-rvt\) and
(with noncoincident points), using again (3.7), we obtain the relation
for f given by (1.10) and (3.12). In particular,
The Gibbs state is translation invariant so that the expectations \(\big \langle T_{\pm }(y)\big \rangle _{\beta _0}\) do not depend on y, but they depend, in general, on \(v\beta _0\) and L. By scaling, however, \((v\beta _0)^2 \big \langle T_{\pm }(y) \big \rangle _{\beta _0}\) depends only on \(v\beta _0/L\) but in a way dependent on the representation content of the CFT. As we shall see, what is universal, depending only on the central charge, is the \(L\rightarrow \infty \) limit of \((v\beta _0)^2 \big \langle T_{\pm }(y)\big \rangle _{\beta _0}\).
3.3 Thermodynamic Limit
Let us consider the limit \(L\rightarrow \infty \) of the nonequilibrium expectations in (3.17). For a large class of kink-like \(\beta (x)\) profiles (not necessarily symmetric) with an antikink around \(\pm L/2\),
where \(\beta _{\mathcal {L}}\) and \(\beta _{\mathcal {R}}\) are the asymptotic values of the plateau to the left and to the right of the kink.Footnote 8 Similarly, for fixed x, \(\beta (x)\) will stabilize up to \(O(L^{-1})\) terms with any trace of the antikink gradually wiped out, and so does the function f given by (1.10). The question about the large-L limit of the nonequilibrium expectations in (3.17) then boils down to the one for the equilibrium expectations \(\big \langle \prod _{j} T_{r_j}(x_j) \big \rangle _{\beta _0}\), where, by rescaling, \(\beta _0\) may be set to its asymptotic value and the insertion points are allowed to have \(O(L^{-1})\) variations.
In CFT the control of the thermodynamic limit of the equilibrium expectations is an easy exercise. The thermal expectations like those mentioned above may be viewed as the ones in the Euclidean theory on the torus \(S^1\times S^1\) where the circles have circumferences L and \(v\beta _0\), respectively. In a modular invariant CFT [40], they also have a dual representation
as the equilibrium expectations with inverse temperature L / v in the theory on the circle with circumference \(v\beta _0\). The components of the energy-momentum tensor with complex arguments on the right-hand side are defined by
and \(\mathcal {T}\) orders \(x_j\) increasingly from the right to the left. The identity in (3.20) comes from swapping the two circles that play a symmetric role in the Euclidean version of the theory. It still holds for the Luttinger model if the finite-volume theory corresponds to antiperiodic boundary conditions for the fermionic fields \(\psi _{\pm }(x)\), as we assumed, even if the corresponding CFT does not have full modular invariance.
When \(L\rightarrow \infty \), the right-hand side of (3.20) tends to the vacuum expectations providing the dual representation of the equilibrium expectations in the thermodynamic limit:
Besides, such vacuum expectations are universal because they receive contribution only from the tensor product of the two vacuum highest-weight representations of the Virasoro algebra. They factorize according to
In the theory on the circle with circumference \(v\beta _0\),
We infer that the identity in (3.17) holds in the thermodynamic limit for infinite-volume profiles \(\beta (x)>0\) with arbitrary asymptotic values \(\beta _{\mathcal {L}}\) and \(\beta _{\mathcal {R}}\) and the function f defined by (1.10). By scaling, the right-hand side is then independent of the choice of \(\beta _0\). In particular, (3.18) together with (3.24) show that in the limit \(L\rightarrow \infty \),
This is equivalent to (1.7) with F given by the right-hand side of (1.8) multiplied by the central charge c.
The above result allows one to easily extract the value of the thermal Drude weight \(D_{\text {th}}\), see (1.16), which may be obtained [18, 48] from
where the nonequilibrium expectation is calculated for the inverse-temperature profile \(\beta (x)\) interpolating between the asymptotic values \(\beta _{\mathcal {L}}\) and \(\beta _{\mathcal {R}}\) with \(\Delta \beta =\beta _\mathcal {L}-\beta _\mathcal {R}\). The factor \(-\beta _0^2\) is there to relate \(D_{\text {th}}\) to the response to temperature rather than inverse-temperature change. The space integral receives the contribution from the region of length \(\approx 2vt\) between the two ballistically separating heat waves where the heat current takes the long-time value \(({\pi c}/{12})(\beta _{\mathcal {L}}^{-2}-\beta _{\mathcal {R}}^{-2})\). This yields
which is proportional to the temperature \(1/\beta _0\). The result may be also obtained using the partitioning protocol that leads to the same steady state. It agrees with the calculation of the thermal conductivity by the Green–Kubo formula,
where we used (3.25) and (3.26) to express the infinite-volume 2-point correlation function of the heat current. Note that the regular part of \(\,\mathrm{Re}\,\kappa _{\text {th}}(\omega )\) vanishes, confirming the absence of diffusive heat transport in nonequilibrium CFT.
4 Generalizations
4.1 Other Correlators
The finite-volume relation in (3.15) between the nonequilibrium and equilibrium expectations may be rendered explicit also for observables
where \(\Phi _j(x^-_j,x^+_j)\) are primary fields whose transformation laws under the \(\widetilde{\mathrm {Diff}}_+(S^1)\) symmetry take the form
with the conformal weights \(\Delta ^\pm _{\Phi _j}\ge 0\). It then follows from (3.15) that
for f given by (1.10) and \(\beta _0\) by (3.12). Note that these are simpler relations than for the energy-momentum tensor components \(T_{\pm }\) since those fail to be primary fields with conformal weights (2, 0) and (0, 2) due to the Schwarzian derivative term in (3.7) reflecting the conformal anomaly. In a similar way as for observables built from the operators \(T_{\pm }\), the relations (4.3) hold also in the thermodynamic limit which may be controlled like before. Also, as before, \(\beta _0\) may be taken arbitrary in the infinite volume.
For example, the Luttinger model has a conserved \(\text {U(1)}\) current with the light-cone components \(J_{\pm }(x^\mp ) = \sqrt{K}\,\tilde{\rho }_{\pm }(x^\mp )\), see (3.5), with conformal weights (1, 0) and (0, 1), respectively, and (renormalized) fermionic fields \(\psi _{\pm }(x^-,x^+)\) with conformal weights
accompanied by their Hermitian conjugates \(\psi ^\dagger _{\pm }(x^-,x^+)\) with the same conformal weights.Footnote 9 Their infinite-volume equilibrium 2-point correlation functions have the form
and
Thus, it follows from (4.3) that the corresponding nonequilibrium correlation functions are
and
We note that the latter agrees with Eq. (19) in [33] to first order in the expansion parameter \(\epsilon \) in (2.1) and exactly reproduces Eq. (10) in [33] in the long-time limit.
4.2 Temperature and Velocity Profiles
It is straightforward to generalize the argument of Sect. 3.2 to nonequilibrium states as in (1.3) with \(\mathcal {G}\) given by (1.12), which is more conveniently written as
Our argument above goes through as it stands but with U(f) replaced by \(U(f_+,f_-)= U_{+}(f_+)U_{-}(f_-)\) with two different diffeomorphisms \(f_{\pm }\). Choosing them as
one straightens out both profiles \(1/\beta _{\pm }(x)\), replacing (3.15) by the identity
where
define the expectations in a simple example of a generalized Gibbs state with different temperatures for the right and the left movers. In particular, (3.17) becomes
The thermodynamic limit of the expectations in (4.12) of the observables in (3.16) may still be conveniently studied by going to the dual picture which, upon setting \(\beta _{0,\pm } = \beta _0 (1 \pm {\nu _0}/{v})\), takes the formFootnote 10
where on the right-hand side the expectation is in the theory on the circle with circumference \(v\beta _0\). We infer that in the thermodynamic limit
where on the right-hand side the first (second) vacuum expectation is in the theory on the circle with circumference \(v\beta _{0,+}\) (\(v\beta _{0,-}\)), and the last equality follows by the factorization in (3.23) of the vacuum expectations and their rescaling. In a similar way as in Sect. 3.3, this shows that the identity in (4.13) holds in the thermodynamic limit with the infinite-volume profiles \(\beta _{\pm }(x)>0\) with arbitrary positive asymptotic values \(\beta _{\pm ,\mathcal {L}}\) and \(\beta _{\pm ,\mathcal {R}}\) and \(f_{\pm }(x)\) given by the first of the equations in (4.10) with arbitrary \(\beta _{0,\pm }>0\). In particular,
implying that
with the functions
as described in Sect. 1.
There is a conceptual gain from the consideration of the nonequilibrium states with different temperature profiles for the right and left movers: unlike the states with equal profiles, such states are preserved by the Schrödinger-picture dynamics. Indeed, for \(\mathcal {G}\) given by (4.9),
so that under the Schrödinger-picture evolution the profiles \(\beta _{\pm }(x)\) move ballistically to the right and to the left, respectively. This still holds in the thermodynamic limit and makes it clear why for long times such states converge to the generalized Gibbs state in (4.12) with inverse temperatures \(\beta _{0,+} = \beta _{+,\mathcal {L}}\) and \(\beta _{0,-} = \beta _{-,\mathcal {R}}\). Conversely, we may view the nonequilibrium states with \(\mathcal {G}\) given by (4.9) as the generalized Gibbs state with local profiles \(\beta _{\pm }(x)\) whose time evolution under the Schrödinger-picture dynamics reduces to the time evolution of the profiles governed by the equations
This is reminiscent of the time evolution of the generalized Gibbs states with local profiles in the generalized hydrodynamic picture of integrable models out of equilibrium [14,15,16,17,18, 20,21,22,23]. In CFT, however, no hydrodynamic-scale closure is needed to obtain the hydrodynamic evolution equation (4.20) [49].
4.3 Temperature and Chemical-Potential Profiles
Suppose that our CFT possesses a \(\text {U(1)}\) symmetry generated by a conserved current with components \(\rho \) and j satisfying
For instance, \(\rho = \rho _{+}+\rho _{-}\) and \(j = Kv (\rho _{+}-\rho _{-})\) for the local Luttinger model, see, e.g., Appendix B in [36] (we recall that K is the Luttinger parameter). One may then consider states with both temperature and chemical-potentialFootnote 11 profiles by taking
where \(\rho (x)\) is the zero time density and \(\mu (x)\) is a periodic chemical-potential profile. Suppose that the light-cone components \(J_{\pm } = (1/2)(\rho \pm v^{-1} j)\) of the current depend only on \(x^\mp \), respectively, and satisfy the \(\text {U(1)}\) current algebra:
In terms of the Fourier modes,
and the commutation relations take the form
For concreteness, we shall restrict our discussion to the case of the local Luttinger model in which case \(J_{\pm }=\sqrt{K}\,\tilde{\rho }_{\pm }\) and \(\kappa = K\), see (3.5), or to the case when \(J_{\pm }\) is one of the Cartan subalgebra components of the two current algebras of the level k WZW theory based on a compact Lie group [40] (e.g., \(\text {U(1)}\) or \(\text {SU(}N\text {)}\)) in which case \(\kappa ={k}/{2}\). It follows from [47, 50] that in these cases there exist, besides the two projective representations \(U_{\pm }\) of \(\widetilde{\mathrm {Diff}}_+(S^1)\) considered above for which
also two commuting projective representations \(V_{\pm }\) of the additive gauge group of periodic smooth maps \(h(x)=h(x+L)\) on \(\mathbb R\) generated infinitesimally by \(J_{\pm }\),
for \(h(x) = \varepsilon \xi (x)\). Under the adjoint action of \(V_\pm (h)\),
Recall from Sect. 3.2 that the conjugation with operators \(U(f)= U_{+}(f)U_{-}(f)\) for \(f\in \widetilde{\mathrm {Diff}}(S^1)\) satisfying (1.10) with \(\beta _0\) given by (3.12) was previously used to straighten out the periodic inverse-temperature profile \(\beta (x)\) to a constant one given by \(\beta _0\). We shall keep the function f as before and choose
Then conjugating \(\mathcal {G}\) in (4.22) first with \(V(h)= V_+(h)V_-(h)\) and then with U(f) straightens out the chemical-potential and inverse-temperature profiles to \(\mu _0\) and \(\beta _0\), respectively,
leading to the identity
The thermodynamic limit can be controlled as before using the dual representation of the equilibrium expectations (that involves now the theory on a circle of circumference \(v\beta _0\) with twisted boundary conditions). In the infinite volume, one can again treat profiles with arbitrary asymptotic values. Using the fact that in the theories under consideration,
in the thermodynamic limit, one obtains the identities in (1.7) with
as well as the formulas
with
For the matrix \(\mathcal {D}\) of the Drude weights obtained from the nonequilibrium expectations with respect to states with profiles with small kinks of heights \(\Delta \beta =\beta _\mathcal {L}-\beta _\mathcal {R}\) and \(\Delta \mu =\mu _\mathcal {L}-\mu _\mathcal {R}\) around the constant values \(\beta _0\) and \(\mu _0\) of the inverse temperature and chemical potential, the formula in (3.28) generalizes to
This yields
Note that the thermal Drude weight \(D_{11}\) is independent of \(\mu _0\) and the density Drude weight \(D_{22}\) is independent of the temperature. In particular, for the Luttinger model, \(D_{22} = {Kv}/{\pi }\). The lack of symmetry of \(\mathcal {D}\) is due to the asymmetric way in which the temperature and the chemical potential enter into the Gibbs state.Footnote 12
As before, one may also consider nonequilibrium states with different local profiles \(\beta _{\pm }(x)\) and \(\mu _{\pm }(x)\) for right and left movers, which are defined by (1.3) with
This leads to the replacement of the functions F and G in (4.35) and (4.37) with
and
respectively. In this case, the expectation values are given by (4.17) for \(\bigl \langle \mathcal {E}(x,t) \bigr \rangle ^\infty _{\text {neq}}\) and \(\bigl \langle \mathcal {J}(x,t) \bigr \rangle ^\infty _{\text {neq}}\) as well as
The nonequilibrium states in (4.40) form the family of generalized Gibbs states with local profiles that correspond to the commuting conserved charges \(H_{\pm }\) of (4.12) and \(Q^{J}_{\pm }= \int _{-L/2}^{L/2} J_{\pm }(x) \, dx\). Such a family of states is again preserved by the Schrödinger evolution that displaces the local profiles \(\beta _{\pm }(x)\) and \(\mu _{\pm }(x)\) ballistically. Their time evolutions are governed by (4.20) together with
In the long-time limit, one obtains a genuine (i.e., with constant profiles) generalized Gibbs state which is the thermodynamic limit of the state with
In particular,
generalizing (1.15).
As a specific example, consider the Luttinger model with the initial state given by (4.40) with \(\beta _{\pm }(x) = \beta _{0}\) and with \(\mu _{\pm }(x)\) interpolating when \(L\rightarrow \infty \) between the asymptotic values \(\mu _{\pm ,\mathcal {L}}\) and \(\mu _{\pm ,\mathcal {R}}\). The charges \(Q^{J}_{\pm }=\sqrt{K} \int \tilde{\rho }_\pm (x)dx\) are then the number operators of right and left moving plasmons. One can also consider in that case the number operators of electrons (and holes) \(Q^{e}_{\pm } =\int \rho _{\pm }(x) dx\), which are different from \(Q^{J}_{\pm }\), although the total charges are equal, i.e., \(Q^{e}_{+} + Q^{e}_{-} = Q^{J}_{+} + Q^{J}_{-}\). Indeed, we infer from (3.5) that
Unlike for \(Q^{J}_{\pm }\), the spectra of \(Q^{e}_{\pm }\) are composed of integers. In terms of \(Q^{e}_{\pm }\), the generalized Gibbs state appearing in the long-time limit of the evolution will correspond to
From (4.49) we infer that the value of the permanent current in the limiting nonequilibrium steady state is
It was argued in [51,52,53] that \(\mu ^{e}_{\pm }\) that couple in the steady state to the electron charges correspond to the chemical potentials of free electrons of wide leads connected to a Luttinger wire, at least if \(\mu _+(x)=\mu _-(x)\). As was discussed in [36], the second equality of (4.52) would then provide an explanation for the experimental measurements [54] of conductance in quantum wires that gave results close to the universal constant \({e^2}/{h}\), equal to \({1}/{2\pi }\) in the units \(\hbar = e = 1\) that we are using. This universal value is different from the conductance \({K e^2}/{h}\) predicted in [55] which, instead, is consistent with the first equality of (4.52) that uses the asymptotic values of the imposed chemical-potential profiles that couple in the steady state to the plasmon charges. The above extends the derivation of the universal result obtained in [36] to states with constant temperature and with chemical-potential profiles possibly different for the right and left movers.Footnote 13
The Luttinger model possesses also a conserved axial current with \(\rho _A=\rho _+-\rho _-\) and \(j_A=(v/K)(\rho _++\rho _-)\) satisfying \(\partial _t\rho _A+\partial _xj_A=0\). Note that (4.48) implies that the permanent axial current in the limiting nonequilibrium steady state considered above takes the value
with the universal coefficient both when expressed in terms of the asymptotic values of the profiles \(\mu _\pm (x)\) and in terms of \(\mu ^{e}_\pm \).
5 Equilibrium Dynamics and Relation to Euclidian CFT
In this section, we discuss the relation between the articles [29,30,31,32] and the present paper. In [29] it was argued that the kernel of the 1-particle density matrix in the ground state of a nonrelativistic high density Fermi gas in a trap may be described on mesoscopic scales by the 2-point function of the fermionic massless free field whose Fermi velocity varies in space. These results were generalized in [30,31,32] to certain nonrelativistic systems of interacting 1d bosons in traps. Despite similarities, there are several differences with the approach of the present paper. First, the arguments in [29] were based on the analysis of the ground-state Euclidian-time correlators in the presence of a trap and these were shown to correspond to Euclidian CFT correlators in an appropriate curved metric (in [32] also the coupling to a gauge field appeared implicitly). In this paper, we consider positive temperatures, but the correspondence of [29] generalizes to low-temperature states leading to the compactification of the Euclidian time direction in CFT, just as for homogeneous equilibria. Hence, for specific CFTs, the states in (1.3) may, indeed, be viewed as describing on mesoscopic scales the 1d nonrelativistic low-temperature matter in traps, with \(\beta (x)\) having the interpretation of the position-dependent Fermi velocity in appropriate units. Second, the argument of [29] was done for the equilibrium dynamics (although some nonequilibrium situations were also considered), whereas in the bulk of the present paper we study the dynamics generated by the homogeneous Hamiltonian that does not preserve the states in (1.3). Our considerations may, however, be generalized to dynamics induced by inhomogeneous Hamiltonians [56], in particular to the ones that preserve the states in (1.3). Third, we use the Minkowski version of CFT, whereas the papers [29,30,31,32] employed the Euclidian CFT. That is usually considered as an innocent distinction handled by the Wick rotation. Indeed, for the primary fields, the correlators in the Euclidian theory in the metric considered in [29,30,31,32] and with compactified time do agree, up to the Wick rotation, with the corresponding correlators in the states of (1.3) for which the time dependence is generated by the equilibrium dynamics. As shown below, however, that does not hold directly for the correlators of the energy-momentum tensor components which are of main interest in this paper. This points to the need of caution when one applies Euclidian techniques in the study of systems that are inhomogeneous in space or/and time.
To be more concrete, let us briefly discuss the equilibrium dynamics for the states in (1.3) that is generated by the inhomogeneous Hamiltonian \(\tilde{H}=\beta _0^{-1}\mathcal {G}\). Defining
we immediately obtain from (3.15) and (3.11) the relations
where \(f(x_j)^{-r}=f(x_j)-rvt_j\). Note the difference of the right-hand sides with those of (3.17) and (4.3) corresponding to the dynamics generated by the homogeneous Hamiltonian H of (3.8) which results in the time dependence in the arguments of function f.
After the Wick rotation \(t_j=-i\tau _j\), the correlators in (5.3) become the correlation functions of the same primary fields in the Euclidian CFT on the torus \(S^1\times S^1\) parameterized by \((x\ \mathrm{mod}\,L,\tau \ \mathrm{mod}\,\beta _0)\) and equipped with the Riemannian metric
where \(h_0=dzd\bar{z}\) for the complex coordinate \(z=f(x)+\mathrm{i}v\tau \) on the torus with f(x) given by (1.10) and \(\beta _0\) by (3.12), and where \(\sigma (z,\bar{z})=-2\ln {f'(x)}\). In other words,
where on the left-hand side is the Wick rotated (5.3) and on the right-hand side the Euclidian correlation functions on the torus \(S^1\times S^1\) with the Riemannian metric h of (5.4). Such a relation is well known for \(f(x)=x\). Its generalization to general f follows from the identity
The ground-state version of the relations in (5.5) provided the basis for the use of Euclidian CFT in the description of the trapped 1d fermions or bosons on mesoscopic scales in [29,30,31,32], with the interpretation of \(v\beta (x)/\beta _0\) as the position-dependent Fermi velocity clearly reflected in the form of the metric in (5.4).
Let us pass to the discussion of the energy-momentum correlators. For \(f(x)=x\), the Wick-rotated correlators in (5.2) are represented by the Euclidian correlation functions of the energy-momentum components \(T_+=T_{zz}\Vert (dz)^2\Vert \) and \(T_-=T_{\bar{z}\bar{z}}\Vert (d\bar{z})^2\Vert \) on the torus \(S^1\times S^1\) with metric \(h_0\). However, for general f(x) one has [57], in the notation \(z^+=z,z^-=\bar{z}\),
and the right-hand side does not represent correctly the Schwarzian-derivative terms of the Wick-rotated (5.2). In the Euclidian domain, the Schwarzian derivative appears in the transformation law of the energy-momentum components when one deals with holomorphic transformations \(z\mapsto f(z)\) [40, 57], but this is not the case here. A closer examination shows that
where \({\mathcal R}(z,\bar{z})=-\beta ''(x)/\beta (x)\) is the scalar curvature of the metric \(e^\sigma h_0\). This substantiates the comment made above about the need of caution.
6 Conclusions
We elaborated on the formula of [33] giving the full time evolution of the energy density and heat current from a nonequilibrium state with a preimposed temperature profile in the Luttinger model with local interactions. The formula was obtained in [33] by expanding the nonequilibrium state around the equilibrium to all orders. More details on the perturbative computation involving the exact calculation of complicated integrals, that may be interesting in its own right, were given. The main part of the paper was devoted to showing how the formula of [33], a result of the resummation of the perturbative series, may be obtained using Minkowskian conformal symmetries of the local Luttinger model. The idea was to use conformal transformations to map spatially inhomogeneous situations to homogeneous ones, straightening out a nonuniform temperature profile to a constant one. This led to a direct relation between nonequilibrium and equilibrium states, yielding the remarkable formula of [33] as a corollary. The CFT argument holds for a general class of unitary CFTs and could be applied to a wider class of nonequilibrium states that are preserved by the Schrödinger-picture evolution. The states in this class may be viewed as particular examples of simple generalized Gibbs states with local profiles, and they tend to ordinary generalized Gibbs states at long times, somewhat similarly as in the scenario recently advocated for integrable models where the evolution at certain length and time scales could be described by generalized hydrodynamics [14,15,16,17,18, 20,21,22,23]. We obtained similar results also for CFTs with a \(\text {U(1)}\) current algebra (including the local Luttinger model itself) where we treated nonequilibrium states with temperature and chemical-potential profiles. Moreover, our results permit a more detailed analysis within CFT, compared to using the partitioning protocol studied before [27], of how a system starting in a state that looks like two different equilibria joint together evolves in time towards a nonequilibrium steady state described by a generalized Gibbs state.
As was discussed in Sect. 5, at least some families of the CFT nonequilibrium states that we studied in the present paper could be interpreted as providing a mesoscopic-scale description of dense nonrelativistic 1d matter in macroscopic traps [29,30,31,32]. The dynamical correlators in such CFT states should similarly describe the corresponding nonrelativistic correlators at mesoscopic time scales both for after-quench and for equilibrium dynamics. The other way of arriving at the family of nonequilibrium CFT states that we considered is by reversing the logic of this paper. In the periodic-volume Minkowski CFT, the conformal symmetries (together with the gauge symmetries if a \(\text {U(1)}\) current algebra is present) are broken in the usual equilibria that are not preserved by the symmetries. Instead, the application of the symmetry transformations to the equilibrium states generates the family of nonequilibrium states that were studied here.
In the infinite volume, the states with kink-like profiles give access to the full counting statistics of the energy or charge transfers through the kinks, similarly to the states arising in the partitioning protocol [27]. Although such statistics in both approaches differ at finite times, they have the same long-time large deviations. This will be discussed elsewhere as it requires using different boundary conditions for finite volumes that allow one to avoid the duplication of kinks in the profiles. Finally, another interesting exercise, which was abundantly discussed in the similar context of quantum quenches [25], concerns the evolution of the entanglement entropy or negativity starting from states with profiles of the type consider here. By the replica trick, the latter may be extracted from nonequilibrium correlators of the twist primary fields in the replicated theory, to which our approach gives direct access. The analysis of the corresponding formulas is left for future research.
Notes
The symbols \(\mathcal {E}\), F, and f here correspond to \(\mathcal {H}\), G, and g in [33].
To avoid confusion, we stress that our subscripts ± refer to right \((+)\) and left (−) movers.
Here we use the term “universal” as referring to the same form in different CFTs rather than to the independence of the microscopic details of the models.
In the more standard notation for the energy-momentum tensor components in light-cone coordinates, \(T_+=T_{--}\), \(T_-=T_{++}\) and \(T_{+-}=0=T_{-+}\).
The fermionic fields are represented as vertex operators related to the bosonic fields \(\tilde{\rho }_\pm \). Such operators require Wick ordering that provides their multiplicative renormalization, see, e.g., [38].
This is proven using modular invariance for imaginary \(\nu _0\) and continuing analytically to real \(\nu _0\).
The name is somewhat conventional. If \(\rho \) is charge density, rather than the particle density, then \(-\mu (x)\) would be the electric potential.
The coefficients of linear response of currents \(\mathcal {J}\) and j to small \(-\Delta \beta \) and \(\Delta (\beta \mu )\) would form a symmetric matrix that unveils a ballistic version of the Onsager reciprocal relations.
The result in [36] was more general in that it was for the Luttinger model with nonlocal interactions, but it was only for zero temperature states and \(\mu _+(x)=\mu _-(x)=\mu (x)\).
References
Rieder, Z., Lebowitz, J.L., Lieb, E.: Properties of a harmonic crystal in a stationary nonequilibrium state. J. Math. Phys. 8, 1073 (1967)
Spohn, H., Lebowitz, J.L.: Stationary non-equilibrium states of infinite harmonic systems. Commun. Math. Phys. 54, 97 (1977)
Zotos, X., Naef, F., Prelovsek, P.: Transport and conservation laws. Phys. Rev. B 55, 11029 (1997)
Ho, T.G., Araki, H.: Asymptotic time evolution of a partitioned infinite two-sided isotropic \(XY\)-chain. Tr. Mat. Inst. Steklova 228, 203 (2000)
Ogata, Y.: Nonequilibrium properties in the transverse \(XX\) chain. Phys. Rev. E 66, 016135 (2002)
Aschbacher, W.H., Pillet, C.-A.: Non-equilibrium steady states of the \(XY\) chain. J. Stat. Phys. 112, 1153 (2003)
Giamarchi, T.: Quantum Physics in One Dimension. Oxford University Press, Oxford (2004)
Zotos, X.: Issues on the transport of one dimensional systems. J. Phys. Soc. Jpn. Suppl. 74, 173 (2005)
Sirker, J., Pereira, R.G., Affleck, I.: Diffusion and ballistic transport in one-dimensional quantum systems. Phys. Rev. Lett. 103, 216602 (2009)
Sirker, J., Pereira, R.G., Affleck, I.: Conservation laws, integrability, and transport in one-dimensional quantum systems. Phys. Rev. B 83, 035115 (2011)
Bloch, I., Dalibard, J., Zwerger, W.: Many-body physics with ultracold gases. Rev. Mod. Phys. 80, 885 (2008)
Polkovnikov, A., Sengupta, K., Silva, A., Vengalattore, M.: Colloquium: nonequilibrium dynamics of closed interacting quantum systems. Rev. Mod. Phys. 83, 863 (2011)
Cazalilla, M.A., Chung, M.-C.: Quantum quenches in the Luttinger model and its close relatives. J. Stat. Mech. 064004 (2016)
Bertini, B., Collura, M., De Nardis, J., Fagotti, M.: Transport in out-of-equilibrium \(XXZ\) chains: exact profiles of charges and currents. Phys. Rev. Lett. 117, 207201 (2016)
Castro-Alvaredo, O.A., Doyon, B., Yoshimura, T.: Emergent hydrodynamics in integrable quantum systems out of equilibrium. Phys. Rev. X 6, 041065 (2016)
Bulchandani, V.B., Vasseur, R., Karrasch, C., Moore, J.E.: Bethe–Boltzmann hydrodynamics and spin transport in the XXZ chain. arXiv:1702.06146 [cond-mat.stat-mech] (2017)
Doyon, B., Spohn, H., Yoshimura, T.: A geometric viewpoint on generalized hydrodynamics. arXiv:1704.04409 [cond-mat.stat-mech] (2017)
Doyon, B., Spohn, H.: Drude weight for the Lieb–Liniger Bose gas. arXiv:1705.08141 [cond-mat.stat-mech] (2017)
Spohn, H.: Interacting and noninteracting integrable systems. arXiv:1707.02159 [cond-mat.stat-mech] (2017)
Doyon, B., Yoshimura, T.: A note on generalized hydrodynamics: inhomogeneous fields and other concepts. SciPost Phys. 2, 014 (2017)
Ilievski, E., De Nardis, J.: Ballistic transport in the one-dimensional Hubbard model: the hydrodynamic approach. Phys. Rev. B 96, 081118(R) (2017)
Caux, J.-S., Doyon, B., Dubail, J., Konik, R., Yoshimura, T.: Hydrodynamics of the interacting Bose gas in the Quantum Newton Cradle setup. arXiv:1711.00873 [cond-mat.stat-mech] (2017)
Doyon, B.: Exact large-scale correlations in integrable systems out of equilibrium. arXiv:1711.04568 [math-ph] (2017)
Calabrese, P., Cardy, J.: Time dependence of correlation functions following a quantum quench. Phys. Rev. Lett. 96, 136801 (2006)
Calabrese, P., Cardy, J.: Quantum quenches in 1+1 dimensional conformal field theories. J. Stat. Mech. 064003 (2016)
Bernard, D., Doyon, B.: Energy flow in non-equilibrium conformal field theory. J. Phys. A 45, 362001 (2012)
Bernard, D., Doyon, B.: Conformal field theory out of equilibrium: a review. J. Stat. Mech. 064005 (2016)
Hollands, S., Longo, R.: Non-equilibrium thermodynamics and conformal field theory. Commun. Math. Phys. 357, 43 (2018)
Dubail, J., Stéphan, J.-M., Viti, J., Calabrese, P.: Conformal field theory for inhomogeneous one-dimensional quantum systems: the example of non-interacting Fermi gases. SciPost Phys. 2, 002 (2017)
Brun, Y., Dubail, J.: One-particle density matrix of trapped one-dimensional impenetrable bosons from conformal invariance. SciPost Phys. 2, 012 (2017)
Dubail, J., Stéphan, J.-M., Calabrese, P.: Emergence of curved light-cones in a class of inhomogeneous Luttinger liquids. SciPost Phys. 3, 019 (2017)
Brun, Y., Dubail, J.: The Inhomogeneous Gaussian Free Field, with application to ground state correlations of trapped 1d Bose gases. arXiv:1712.05262 [cond-mat.stat-mech] (2017)
Langmann, E., Lebowitz, J.L., Mastropietro, V., Moosavi, P.: Time evolution of the Luttinger model with nonuniform temperature profile. Phys. Rev. B 95, 235142 (2017)
Sotiriadis, S., Cardy, J.: Inhomogeneous quantum quenches. J. Stat. Mech. P1, 2008 (1003)
Vidmar, L., Rigol, M.: Generalized Gibbs ensemble in integrable lattice models. J. Stat. Mech. 064007 (2016)
Langmann, E., Lebowitz, J.L., Mastropietro, V., Moosavi, P.: Steady states and universal conductance in a quenched Luttinger model. Commun. Math. Phys. 349, 551 (2017)
Mattis, D.C., Lieb, E.H.: Exact solution of a many-fermion system and its associated boson field. J. Math. Phys. 6, 304 (1965)
Langmann, E., Moosavi, P.: Construction by bosonization of a fermion-phonon model. J. Math. Phys. 56, 091902 (2015)
Voit, J.: One-dimensional Fermi liquids. Rep. Prog. Phys. 58, 977 (1995)
Di Francesco, P., Mathieu, P., Sénéchal, D.: Conformal Field Theory. Springer, Berlin (1997)
Callen, H.N.: Thermodynamics and an Introduction to Thermostatics. Wiley, New York (1985)
Bernard, D., Doyon, B.: Diffusion and signatures of localization in stochastic conformal field theory. Phys. Rev. Lett. 119, 110201 (2017)
Mastropietro, V., Wang, Z.: Quantum quench for inhomogeneous states in the nonlocal Luttinger model. Phys. Rev. B 91, 085123 (2015)
Ruijsenaars, S.N.M.: On Bogoliubov transformations for systems of relativistic charged particles. J. Math. Phys. 18, 517 (1977)
Ruijsenaars, S.N.M.: On Bogoliubov transformations. II. The general case. Ann. Phys. 116, 105 (1978)
Grosse, H., Langmann, E.: A superversion of quasifree second quantization. I. Charged particles. J. Math. Phys. 33, 1032 (1992)
Goodman, R., Wallach, N.R.: Projective unitary positive-energy representations of \(Diff(S^1)\). J. Funct. Anal. 63, 299 (1985)
Vasseur, R., Karrasch, C., Moore, J.E.: Expansion potentials for exact far-from-equilibrium spreading of particles and energy. Phys. Rev. Lett. 115, 267201 (2015)
Bernard, D., Doyon, B.: A hydrodynamic approach to non-equilibrium conformal field theories. J. Stat. Mech. 033104 (2016)
Goodman, R., Wallach, N.R.: Structure and unitary cocycle representations of loop groups and the group of diffeomorphisms of the circle. J. Reine Angew. Math. 347, 69 (1984)
Maslov, D.L., Stone, M.: Landauer conductance of Luttinger liquids with leads. Phys. Rev. B 52, R5539 (1995)
Alekseev, A.Y., Cheianov, V.V., Fröhlich, J.: Comparing conductance quantization in quantum wires and quantum Hall systems. Phys. Rev. B 54, R17320 (1996)
Kawabata, A.: On the renormalization of conductance in Tomonaga–Luttinger liquid. J. Phys. Soc. Jpn. 65, 30 (1996)
Tarucha, S., Honda, T., Saku, T.: Reduction of quantized conductance at low temperatures observed in 2 to 10 \(\mu \)m-long quantum wires. Sol. State Commun. 94, 413 (1995)
Kane, C.L., Fisher, M.P.A.: Transport in a one-channel Luttinger liquid. Phys. Rev. Lett. 68, 1220 (1992)
Langmann, E., Moosavi, P.: in preparation
Gawȩdzki, K.: Lectures on conformal field theory. In: Deligne, P., et al. (eds.) Quantum Fields and Strings: A Course for Mathematicians, pp. 727–805. Providence, AMS-IAS (1999)
Acknowledgements
All the authors profited from valuable input and encouragement by Joel Lebowitz and Vieri Mastropietro. They gratefully acknowledge that this paper would not have seen the light of day without them. They would also like to thank Jouko Mickelsson and Herbert Spohn for helpful discussions. E.L. acknowledges support by VR Grant No. 2016-05167. P.M. is thankful for financial support from P. F. Lindström’s foundation (KTH travel scholarship VT-2017-0011 no. 4). The final version of the article has profited from pertinent comments of the anonymous referees who, in particular, drew our attention to the articles [29,30,31,32].
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is dedicated to Herbert, Jürg, and Tom.
Appendix
Appendix
In this appendix we give a proof of Lemma 2.1.
We find it convenient to write the integrals in (2.7) as
To compute these integrals we insert the Taylor series
into the integrand and obtain
with the integrals
where \(m_j = 1,2,\ldots \) for \(j=0,1,\ldots ,k\) such that \(\sum _{j} m_j = n+1\), and \(R_n\) a linear combination of terms
with indices \(1\le \ell _{j,1}< \cdots < \ell _{j,m_j}\le n\) for \(j = 1,2,\ldots ,k\) and \(\{ m_j \}\) such that \(\sum _j jm_j\ge 3\).
To compute the integrals in (A.4) we define \(M=\sum _j jm_j\) and insert the derivatives of \(f_\nu (p)\) from (A.2). This gives
In the second equality we wrote \((\mathrm{i}\nu )^{n-m_0+1} = (\mathrm{i}\nu -vp+vp)^{n-m_0+1}\) to expand into a binomial series, and in the third we summed the bosonic Matsubara frequencies \(\nu \) using the Mittag–Leffler series of \(\coth (v\bar{\beta } p/2)\) and changed variables to \(s = v\bar{\beta } p\). We note that, for \(M\ge 1\), the integrand of the last integral is singular, but the singularity is removable, i.e., one can replace \(\coth (s/2)\) by \( \coth (s/2)-2/s\) without changing the result. To further compute these integrals we use partial integrations. We find that the integrals in (A.6) are zero for \(M \ge 3\), which implies \(R_n = 0\). The remaining integrals \(I_n^{(n+1)}\), \(I^{(n,1)}_n\), \(I_n^{(n,0,1)}\), and \(I_n^{(n-1,2)}\) are found by straightforward computations. Inserting them into (A.3) we obtain the result in Lemma 2.1.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gawędzki, K., Langmann, E. & Moosavi, P. Finite-Time Universality in Nonequilibrium CFT. J Stat Phys 172, 353–378 (2018). https://doi.org/10.1007/s10955-018-2025-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-018-2025-x