SciPost Submission Page
Diffusion in generalized hydrodynamics and quasiparticle scattering
by Jacopo De Nardis, Denis Bernard, Benjamin Doyon
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Jacopo De Nardis · Benjamin Doyon 
Submission information  

Preprint Link:  https://arxiv.org/abs/1812.00767v3 (pdf) 
Date submitted:  20190305 01:00 
Submitted by:  De Nardis, Jacopo 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approach:  Theoretical 
Abstract
We extend beyond the Euler scales the hydrodynamic theory for quantum and classical integrable models developed in recent years, accounting for diffusive dynamics and local entropy production. We review how the diffusive scale can be reached via a gradient expansion of the expectation values of the conserved fields and how the coefficients of the expansion can be computed via integrated steadystate twopoint correlation functions, emphasising that PTsymmetry can fully fix the inherent ambiguity in the definition of conserved fields at the diffusive scale. We develop a form factor expansion to compute such correlation functions and we show that, while the dynamics at the Euler scale is completely determined by the density of single quasiparticle excitations on top of the local steady state, diffusion is due to scattering processes among quasiparticles, which are only present in truly interacting systems. We then show that only twoquasiparticle scattering processes contribute to the diffusive dynamics. Finally we employ the theory to compute the exact spin diffusion constant of a gapped XXZ spin 1/2 chain at finite temperature and halffilling, where we show that spin transport is purely diffusive.
Current status:
Submission & Refereeing History
You are currently on this page
Reports on this Submission
Anonymous Report 3 on 2019324 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1812.00767v3, delivered 20190324, doi: 10.21468/SciPost.Report.888
Strengths
as before
Weaknesses
as before
Report
The authors have responded to all the points raised in my previous report and I am satisfied with the response in most cases.
I have two comments with regard to the amended version of the manuscript:
1) In my view, a distinction between phenomenological results, conjectures of possibly exact formulas (e.g. for form factors) and proofs is still not always clear. The manuscript, however, allows readers to form their own views so I do not want to insist on further changes.
2) I thank the authors for extending the section about the gauge and the diffusion matrix. Clarifying that the Onsager coefficients L_{ij} are gauge invariant is important. However, I am now wondering why choosing any particular gauge (such as the one using PT symmetry) is of relevance at all. If the L_{ij}'s are invariant: Why can I not choose any arbitrary gauge as long as I stay consistent?
Requested changes
i) The authors should further clarify point 2) above.
Anonymous Report 2 on 2019318 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1812.00767v3, delivered 20190318, doi: 10.21468/SciPost.Report.875
Strengths
as before
Weaknesses
as before
Report
I thank the authors for their in general adequate response and for the
amendments of their manuscript.
I made a few observations.
1) In the new final paragraph of section 1 the following sentence needs
a reformulation:
"That is, we suppose that, at large times, the relevent of degrees of freedom
is reduced to the local mean charge densities..."
2) Thank you for extending appendix for explanations on "gauge covariance".
(In appendix C the word "gauge" is mispelled as "gaude".)
It is good to know that (top of page 11):
"It is possible to show, assuming the validity of the hydrodynamic projection
[72, 101], that the Onsager coefficients Lij are invariant under (2.28)."
and
"The hydrodynamic approximation of the currents (2.9) is explicitly dependent
on the choice of densities. See Appendix C."
but why do you say
"One must therefore choose a gauge in order to fix the diffusion matrix
itself."
Why not "Use any gauge and stick to it"? Maybe only very special gauges allow
for a hydrodynamical approach?
3) I am still having problems with appendix B. I find (B.3) problematic. The
derivation uses a generating functional with timeindependent fields
\beta_j(x). Hence on the RHS of (B.3) instead of a twopoint correlator with
second time variable identical to 0 an integral over a twopoint correlator
with the second time variable as variable of integration should appear.
If (B.3) in the literal form is to be derived, the generating functional
should involve fields like \beta_j(x,tau).
Requested changes
see report
Author: Jacopo De Nardis on 20190404 [id 484]
(in reply to Report 2 on 20190318)
1) Thank you, we have reformulated the sentence.
2) Thank you very much for pointing out the misprint.
The hydrodynamical approach holds for any choice of densities of charges. That is, the form of eq 2.10 is valid for any choice of gauge. However, the explicit function $\mathfrak{D}_i^{~j}(\bar{\mathfrak{q}})$ (and the form factors we have used to compute correlation functions) depends on the choice of gauge. Thus, one needs to fix one specific gauge in order to obtain a specific function (any gauge will do, but let us fix one). Under change of gauge, the function transforms according to specific rules, as expressed in appendix C.1. We here choose the PT symmetry for two reasons. The first is that it simplifies the relation between the Diffusion matrix and the Onsager matrix. By imposing PT symmetry we only need to compute the Onsager matrix and the susceptibility matrix in order to have the diffusion matrix. The second reason is that eventually we want to write the densities of the charges in terms of the densities of quasiparticle, eq 3.25. Since the rapidity parametrisation in densities of quasiparticles is usually chosen PT invariant (in analogy to GGE states), in order to do that it is simpler to impose PT symmetry. While this mapping is useful to carry on actual calculations, it does not mean that PT symmetry is fundamental for the hydrodynamical approach. We commented on this in the manuscript, footnote 3.
3) We do not understand the reason of the referee’s confusion. The expectation value on the right hand side of B.3 is taken with respect to a density matrix of the form $\exp[\int dx \sum_j \beta_j(x) q_j(x)]$. That is, one has $<o(y,t)> = Z^{1} Tr ( \exp[\int dx \sum_j \beta_j(x) q_j(x)] U_t(o(y)) )$ where $U_t$ is the timeevolution unitary operator (Heisenberg picture). Therefore differentiating the numerator with respect to $\beta_j(x)$ produces $Tr ( \exp[\int dx \sum_j \beta_j(x) q_j(x)] U_t(o(y)) q_j(x) )$, and the contribution of the denominator Z gives the connected average, the right hand side of B.3. One does not differentiate the evolution operator, only the initial distribution. Thus no integral over the time of the second operator appears. This is all commented below eq B.3. The generating functional does not involve integrals over tau of $\beta_j(x, \tau)$, as the perturbation is only in the initial state, there is no $\beta_j(x, \tau)$, there is only $\beta_j(x)$. After taking the derivative, one sets $\beta_j(x) = \beta_j$, independent of $x$, so that the correlation function becomes homogeneous and stationary (a homogeneous GGE): we are considering linear response correlations, namely small perturbation on top a homogenous GGE state. We would also like to mention that eq B.4, consequence of B.3, is relatively standard in the hydrodynamic theory.
Author: Jacopo De Nardis on 20190404 [id 483]
(in reply to Report 3 on 20190324)1) We think that our claims and assumptions are now well spelled (we have made an explicit list of the two main assumptions in the introduction now). We shall repeat here once again our findings A— We have developed an hydrodynamic theory for the description of large scales interacting integrable models that account for diffusive terms. Hydrodynamics is a theory valid at large scales based on certain assumptions that we have provided here.
B— We have computed exactly the Onsager matrices of interacting integrable systems via a thermodynamic form factor expansion. The poles of the 2 particlehole thermodynamic form factor have been conjectured via an educated guess that agrees many different checks.
2) One is indeed free to choose an arbitrary Gauge. Please see reply to 2nd referee.