The spin-1/2 XXZ chain in its gapless (easy-plane) regime is the paradigmatic exactly solved model of ballistic quantum transport, yet the mathematical status of its finite-temperature spin Drude weight D(β,γ)D(\beta,\gamma) remains unsettled. Urichuk, Oez, Klümper and Sirker (SciPost Phys. 6, 005 (2019)) rederived the exact thermodynamic Bethe ansatz (TBA) formula for DD from the quantum transfer matrix and proved that its high-temperature limit saturates the quasi-local-charge (Mazur) bound for all commensurate anisotropies γ=πn/m\gamma=\pi n/m, while flagging as unresolved in their conclusions: (a) whether the known conserved charges (local plus quasi-local plus the full TBA string content) exhaust the conserved sector so that the Mazur bound is saturated for all anisotropies and temperatures; (b) extension of the analytic derivations beyond commensurate anisotropies — even the value of DD at exactly irrational γ\gamma is unconfirmed; and (c) a rigorous proof of the numerically observed nowhere-continuous (popcorn-like) dependence of D(β,γ)D(\beta,\gamma) on anisotropy at any finite temperature. The present problem concerns the ballistic Drude weight; the diffusive (sub-ballistic) part of spin transport is outside its scope. No resolution of the three components is known in the literature to date; recent progress on the sub-ballistic sector — generalized-hydrodynamic diffusion, Lévy-type anomalous corrections at generic anisotropy, and the infinite-temperature regular conductivity — leaves the Drude-weight problem open. The problem of placing the exact finite-temperature Drude weight of the gapless XXZ chain on rigorous footing for all anisotropies and temperatures remains open.

Background

The spin-1/2 XXZ chain is the one-dimensional anisotropic Heisenberg Hamiltonian H=J∑l(σlxσl+1x+σlyσl+1y+Δ σlzσl+1z)/4H=J\sum_l \left(\sigma_l^x\sigma_{l+1}^x+\sigma_l^y\sigma_{l+1}^y+\Delta\,\sigma_l^z\sigma_{l+1}^z\right)/4 with Pauli matrices σx,y,z\sigma^{x,y,z} and anisotropy −1<Δ<1-1<\Delta<1 (the gapless or easy-plane regime, parametrized by Δ=cos⁡γ\Delta=\cos\gamma, 0<γ<π0<\gamma<\pi). Its spin conductivity at inverse temperature β\beta contains a zero-frequency delta peak, the Drude weight D(β)D(\beta), defined as the time-integrated equilibrium current autocorrelation (equivalently, via the finite-temperature Kohn formula, as the flux-curvature of the eigenenergies thermally averaged). A nonzero DD signals purely ballistic spin transport. Because the spin current is not itself conserved, DD survives at finite temperature only through overlaps with the infinitely many conserved charges of the integrable model. The Mazur bound expresses this: projecting the current onto any family of commuting conserved charges {Qk}\{Q_k\} gives a rigorous lower bound D≥lim⁡N→∞β2N∑k∣⟨J0Qk⟩∣2⟨Qk†Qk⟩D\ge\lim_{N\to\infty}\frac{\beta}{2N}\sum_k\frac{|\langle J_0 Q_k\rangle|^2}{\langle Q_k^\dagger Q_k\rangle}, with equality only if the family is complete. The local charges are even under spin flip and have zero overlap with the odd spin current; the resolution was the discovery of quasi-local charges — operators with exponentially decaying tails whose norm density remains finite in the thermodynamic limit — constructed by Prosen and collaborators from twisted transfer matrices. Their high-temperature bound (Prosen and Ilievski, 2013), lim⁡β→0D/β=J24sin⁡2(πn/m)sin⁡2(π/m)(1−m2πsin⁡(2π/m))\lim_{\beta\to 0}D/\beta=\frac{J^2}{4}\frac{\sin^2(\pi n/m)}{\sin^2(\pi/m)}\left(1-\frac{m}{2\pi}\sin(2\pi/m)\right) for γ=πn/m\gamma=\pi n/m, is a nowhere-continuous (popcorn-like) function of anisotropy. Independently, the thermodynamic Bethe ansatz (TBA), which recasts the Bethe equations into nonlinear integral equations for the Y-functions ηℓ(θ)=eεℓ(θ)\eta_\ell(\theta)=\mathrm{e}^{\varepsilon_\ell(\theta)} (exponentials of the pseudo-energies εℓ\varepsilon_\ell) of bound-magnon string species ℓ\ell, had yielded the same expression (Zotos, 1999, via the Kohn formula), while generalized hydrodynamics (GHD), the exact Euler-scale theory of integrable systems built from infinitely many quasiparticle species with dressed velocities, conjectured the same formula on general grounds (Doyon and Spohn; Ilievski and De Nardis, 2017). Urichuk, Oez, Klümper and Sirker (2019) derived exact TBA formulas for spin-current and current-charge correlators from a generalized free energy via the quantum transfer matrix (QTM, the transfer matrix encodes the Gibbs ensemble in one imaginary-time direction) and its Y-system functional relations, proved that the high-temperature asymptotics of the TBA Drude weight saturates the quasi-local-charge bound for all commensurate γ=πn/m\gamma=\pi n/m, and evaluated D(β)D(\beta) numerically at all temperatures. At zero temperature Dβ→∞=πJsin⁡γ/(2γ(π−γ))D_{\beta\to\infty}=\pi J\sin\gamma/(2\gamma(\pi-\gamma)) is a smooth function of γ\gamma, so the fractal structure must emerge, and then dissolve again, as temperature varies. Nevertheless, all three derivation routes rely on the string hypothesis (the Bethe-ansatz classification of magnons into strings, exact truncation of which occurs only at commensurate anisotropies) and, in the Mazur route, on the unproven completeness of the charge family. Their published conclusions state that all results are limited to commensurate anisotropies γ=πn/m\gamma=\pi n/m, that it is still not completely excluded that parts of the Drude weight are missed in these approaches, and that a fractal structure of D(β>0)D(\beta>0) has not been fully proven; the diffusive part of the current was explicitly deferred.

Problem Statement

For the spin-1/2 XXZ chain with anisotropy Δ=cos⁡γ\Delta=\cos\gamma, ∣Δ∣<1|\Delta|<1, at zero magnetic field and periodic boundary conditions, place the exact finite-temperature spin Drude weight D(β,γ)D(\beta,\gamma) on rigorous foundations for all anisotropies and temperatures. The common scientific objective is to settle whether the accepted TBA/GHD expression — the closed-form sum over string species ℓ\ell of rapidity integrals of the TBA Y-functions ηℓ(θ)\eta_\ell(\theta) and their logarithmic derivatives with respect to rapidity and the spin and temperature sources, equivalently the GHD formula D=(β/2)∑ℓ∫dθ ρℓ(1−nℓ)(vℓeff)2(mℓdr)2D=(\beta/2)\sum_\ell\int d\theta\,\rho_\ell(1-n_\ell)(v^{\mathrm{eff}}_\ell)^2(m^{\mathrm{dr}}_\ell)^2 in terms of quasiparticle densities ρℓ\rho_\ell, occupation functions nℓn_\ell, effective velocities vℓeffv^{\mathrm{eff}}_\ell, and dressed magnetizations mℓdrm^{\mathrm{dr}}_\ell — is exactly the Drude weight of the model. Three jointly defining components: (a) determine whether the known charges (local, quasi-local, and the full TBA particle content) exhaust the conserved sector relevant to spin transport, so that the Mazur bound is saturated and DD equals the exact long-time current autocorrelation for all ∣Δ∣<1|\Delta|<1 and all β\beta — at present, saturation is proven only at β→0\beta\to 0 and only for commensurate γ=πn/m\gamma=\pi n/m; (b) extend the analytic derivations (quantum-transfer-matrix/Y-system manipulations, high- and low-temperature asymptotics) beyond the commensurate anisotropies γ=πn/m\gamma=\pi n/m to generic, incommensurate γ\gamma, in particular determining the exact value of D(β,γ)D(\beta,\gamma) at irrational γ\gamma and whether it equals the limit of commensurate-point values; and (c) rigorously prove, or refute, that at any fixed finite temperature D(β,γ)D(\beta,\gamma) is a nowhere-continuous (popcorn-like) function of the anisotropy, continuous only in the β→∞\beta\to\infty limit where D=πJsin⁡γ/(2γ(π−γ))D=\pi J\sin\gamma/(2\gamma(\pi-\gamma)) is smooth. Each of the three components stands as an independent deliverable and must be settled in its own right: a complete answer resolves (a), (b), and (c) separately, and a proof or refutation that addresses one of them does not by itself count as resolving the others. Together they determine whether the accepted Drude-weight formula is exactly the finite-temperature Drude weight for every anisotropy and temperature — or must be overturned — and whether D(β,γ)D(\beta,\gamma) is a nowhere-continuous (popcorn-like) function of the anisotropy at any fixed finite temperature.

References

  1. A. Urichuk, Y. Oez, A. Klümper, J. Sirker, 'The spin Drude weight of the XXZ chain and generalized hydrodynamics', SciPost Phys. 6, 005 (2019), doi:10.21468/SciPostPhys.6.1.005, arXiv:1808.09033, https://arxiv.org/abs/1808.09033
  2. X. Zotos, 'Finite temperature Drude weight of the one-dimensional spin-1/2 Heisenberg model', Phys. Rev. Lett. 82, 1764 (1999), doi:10.1103/PhysRevLett.82.1764, https://doi.org/10.1103/PhysRevLett.82.1764
  3. T. Prosen, 'Open XXZ spin chain: Nonequilibrium steady state and a strict bound on ballistic transport', Phys. Rev. Lett. 106, 217206 (2011), doi:10.1103/PhysRevLett.106.217206, https://doi.org/10.1103/PhysRevLett.106.217206
  4. T. Prosen, E. Ilievski, 'Families of quasilocal conservation laws and quantum spin transport', Phys. Rev. Lett. 111, 057203 (2013), doi:10.1103/PhysRevLett.111.057203, https://doi.org/10.1103/PhysRevLett.111.057203
  5. J. Sirker, R. G. Pereira, I. Affleck, 'Diffusion and ballistic transport in one-dimensional quantum systems', Phys. Rev. Lett. 103, 216602 (2009), doi:10.1103/PhysRevLett.103.216602, https://doi.org/10.1103/PhysRevLett.103.216602
  6. B. Doyon, H. Spohn, 'Drude Weight for the Lieb-Liniger Bose Gas', SciPost Phys. 3, 039 (2017), doi:10.21468/SciPostPhys.3.6.039, arXiv:1705.08141, https://arxiv.org/abs/1705.08141
  7. E. Ilievski, J. De Nardis, 'Microscopic Origin of Ideal Conductivity in Integrable Quantum Models', Phys. Rev. Lett. 119, 020602 (2017), doi:10.1103/PhysRevLett.119.020602, https://doi.org/10.1103/PhysRevLett.119.020602
  8. J. De Nardis, D. Bernard, B. Doyon, 'Hydrodynamic Diffusion in Integrable Systems', Phys. Rev. Lett. 121, 160603 (2018), doi:10.1103/PhysRevLett.121.160603, arXiv:1807.02414, https://arxiv.org/abs/1807.02414
  9. M. Borsi, B. Pozsgay, L. Pristyák, 'Current Operators in Bethe Ansatz and Generalized Hydrodynamics: An Exact Quantum-Classical Correspondence', Phys. Rev. X 10, 011054 (2020), doi:10.1103/PhysRevX.10.011054, arXiv:1908.07320, https://arxiv.org/abs/1908.07320
  10. B. Pozsgay, 'Algebraic construction of current operators in integrable spin chains', Phys. Rev. Lett. 125, 070602 (2020), doi:10.1103/PhysRevLett.125.070602, arXiv:2005.06242, https://arxiv.org/abs/2005.06242
  11. M. Borsi, B. Pozsgay, L. Pristyák, 'Current operators in integrable models: a review', J. Stat. Mech. (2021) 094001, doi:10.1088/1742-5468/ac0f6b, arXiv:2103.12160, https://arxiv.org/abs/2103.12160
  12. A. Klümper, K. Sakai, 'The spin Drude weight of the spin-1/2 XXZ chain: An analytic finite size study', arXiv:1904.11253 (2019), https://arxiv.org/abs/1904.11253
  13. M. Mierzejewski, P. Prelovšek, T. Prosen, 'Identifying Local and Quasilocal Conserved Quantities in Integrable Systems', Phys. Rev. Lett. 114, 140601 (2015), doi:10.1103/PhysRevLett.114.140601, https://doi.org/10.1103/PhysRevLett.114.140601
  14. C. Matsui, 'Nonequilibrium physics in integrable systems and spin-flip non-invariant conserved quantities', J. Phys. A 53, 134001 (2020), doi:10.1088/1751-8121/ab72ae, arXiv:2002.01069, https://arxiv.org/abs/2002.01069
  15. B. Bertini, F. Heidrich-Meisner, C. Karrasch, T. Prosen, R. Steinigeweg, M. Žnidarič, 'Finite-temperature transport in one-dimensional quantum lattice models', Rev. Mod. Phys. 93, 025003 (2021), doi:10.1103/RevModPhys.93.025003, arXiv:2003.03334, https://arxiv.org/abs/2003.03334
  16. A. Urichuk, J. Sirker, A. Klümper, 'Analytical results for the low-temperature Drude weight of the XXZ spin chain', Phys. Rev. B 103, 245108 (2021), doi:10.1103/PhysRevB.103.245108, arXiv:2104.03266, https://arxiv.org/abs/2104.03266
  17. E. Ilievski, 'Popcorn Drude weights from quantum symmetry', J. Phys. A 55, 504005 (2022), doi:10.1088/1751-8121/acaa77, arXiv:2208.01446, https://arxiv.org/abs/2208.01446
  18. S. Ae, K. Sakai, 'Spin Drude weight for the integrable XXZ chain with arbitrary spin', J. Stat. Mech. (2024) 033104, doi:10.1088/1742-5468/ad2b5b, arXiv:2309.16462, https://arxiv.org/abs/2309.16462
  19. S. Ae, 'Infinite temperature spin dc conductivity of the spin-1/2 XXZ chain', J. Phys. A 57, 445204 (2024), doi:10.1088/1751-8121/ad7e64, arXiv:2310.04790, https://arxiv.org/abs/2310.04790
  20. S. Ae, 'Long-range correlation and the spin conductivity in the XXZ chain from ballistic macroscopic fluctuation theory', arXiv:2605.01645 (2026), https://arxiv.org/abs/2605.01645
  21. U. Agrawal, S. Gopalakrishnan, R. Vasseur, B. Ware, 'Anomalous low-frequency conductivity in easy-plane XXZ spin chains', Phys. Rev. B 101, 224415 (2020), doi:10.1103/PhysRevB.101.224415, arXiv:1909.05263, https://arxiv.org/abs/1909.05263
  22. J. De Nardis, M. Medenjak, C. Karrasch, E. Ilievski, 'Anomalous Spin Diffusion in One-Dimensional Antiferromagnets', Phys. Rev. Lett. 123, 186601 (2019), doi:10.1103/PhysRevLett.123.186601, arXiv:1903.07598, https://arxiv.org/abs/1903.07598
  23. S. Gopalakrishnan, R. Vasseur, 'Anomalous transport from hot quasiparticles in interacting spin chains', Rep. Prog. Phys. 86, 036502 (2023), doi:10.1088/1361-6633/acb36e, arXiv:2208.11133, https://arxiv.org/abs/2208.11133
  24. B. C. Nagy, M. Kormos, G. Takács, 'Thermodynamics and fractal Drude weights in the sine-Gordon model', Phys. Rev. B 108, L241105 (2023), doi:10.1103/PhysRevB.108.L241105, arXiv:2305.15474, https://arxiv.org/abs/2305.15474
  25. M. Mierzejewski, J. Herbrych, P. Prelovšek, 'Ballistic transport in integrable quantum lattice models with degenerate spectra', Phys. Rev. B 103, 235115 (2021), doi:10.1103/PhysRevB.103.235115, arXiv:2102.07467, https://arxiv.org/abs/2102.07467
  26. B. Doyon, S. Gopalakrishnan, F. Møller, J. Schmiedmayer, R. Vasseur, 'Generalized Hydrodynamics: A Perspective', Phys. Rev. X 15, 010501 (2025), doi:10.1103/PhysRevX.15.010501, arXiv:2311.03438, https://arxiv.org/abs/2311.03438