pith. sign in

arxiv: 2508.18346 · v2 · pith:RKEFXDHWnew · submitted 2025-08-25 · ✦ hep-th

Schwinger-Keldysh effective theory of charge transport: redundancies and systematic ω/T expansion

Eren Firat , Andrew Gomes , Filippo Nardi , Riccardo Penco , Riccardo Rattazzi This is my paper

Pith reviewed 2026-05-21 21:59 UTC · model grok-4.3

classification ✦ hep-th
keywords Schwinger-Keldysh formalismeffective field theorynon-Abelian symmetriesdynamical KMS symmetrycharge transporthydrodynamicsunitarityω/T expansion
0
0 comments X

The pith

Two approaches to Schwinger-Keldysh effective theories for non-Abelian charge transport are fully equivalent and extendable to all orders in frequency over temperature while preserving dynamical KMS symmetry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper demonstrates the complete equivalence of two different parameterizations used in Schwinger-Keldysh effective field theories for systems with non-Abelian internal symmetries near thermal equilibrium. It provides an explicit dictionary between the redundant Goldstone parameterization and the adjoint matter field approach, along with a path-integral-level proof of their equivalence. The authors extend both formalisms to incorporate the dynamical Kubo-Martin-Schwinger symmetry at all orders in ħω/T and classify all invariant kernels that respect unitarity. This work supplies a consistent framework for calculating charge transport and fluctuations in such systems to arbitrary orders in the small frequency expansion relative to temperature.

Core claim

The two approaches to Schwinger-Keldysh EFTs for non-Abelian charge transport—the redundant Goldstone parameterization and the adjoint matter field—are completely equivalent, as shown by an explicit dictionary and a proof at the path integral level. Both are extended to be compatible with the dynamical KMS symmetry to all orders in ħω/T, with all possible invariant kernels satisfying unitarity constraints classified. Precise power-counting rules are established that clarify the relation between the semiclassical and hydrodynamic expansions.

What carries the argument

The dynamical KMS symmetry imposed order by order in ħω/T, together with the equivalence dictionary between redundant Goldstone parameterization and adjoint matter field.

If this is right

  • Users can freely switch between the two equivalent descriptions when computing transport coefficients.
  • The classification of invariant kernels provides the complete set of allowed terms in the effective action at any given order.
  • Power-counting rules allow systematic organization of terms in the combined semiclassical and hydrodynamic expansion.
  • Non-Abelian charge transport and fluctuations can now be studied to arbitrary orders in ħω/T.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The equivalence suggests that calculations in one formalism can be translated to the other to simplify specific computations in models with non-Abelian symmetries.
  • The order-by-order extension of DKMS symmetry may apply to other effective theories in thermal field theory beyond charge transport.
  • Such frameworks could be used to derive higher-order corrections in hydrodynamic descriptions of systems like the quark-gluon plasma.

Load-bearing premise

The dynamical KMS symmetry can be imposed order-by-order in ħω/T without introducing inconsistencies or violating unitarity at higher orders.

What would settle it

An explicit computation in a weakly coupled model showing that the two parameterizations give different results for a transport coefficient at second order in ω/T, or that one of the classified kernels produces a violation of the fluctuation-dissipation relation.

read the original abstract

We study Schwinger-Keldysh effective field theories (EFTs) for systems with non-Abelian internal symmetries near thermal equilibrium. We consider two approaches that were put forward in the literature -- one using a redundant Goldstone parameterization, the other employing an adjoint matter field -- and demonstrate their complete equivalence by providing an explicit dictionary and proving their equivalence at the path integral level. Critically, we extend both formalisms to be compatible with the dynamical Kubo-Martin-Schwinger (DKMS) symmetry to all orders in $\hbar \omega /T$, classifying all possible invariant kernels satisfying unitarity constraints. We also establish precise power-counting rules, clarifying the interplay between the semiclassical and hydrodynamic expansions. Our work provides a framework for studying non-Abelian charge transport and fluctuations to arbitrary orders in $\hbar \omega /T$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to establish the complete equivalence between the redundant Goldstone parameterization and the adjoint matter field approaches in Schwinger-Keldysh EFTs for non-Abelian charge transport near thermal equilibrium. This is achieved via an explicit dictionary and a path-integral-level proof of equivalence. Both formalisms are extended to incorporate dynamical KMS (DKMS) symmetry to all orders in ħω/T, with all unitarity-satisfying invariant kernels classified. Precise power-counting rules are provided to clarify the interplay between semiclassical and hydrodynamic expansions.

Significance. If the equivalence proof and all-order DKMS classification hold, the work supplies a useful systematic framework for non-Abelian charge transport and fluctuations to arbitrary orders in ħω/T. The explicit dictionary, path-integral equivalence, and kernel classification under unitarity are concrete strengths that could aid reproducible calculations in thermal EFTs.

major comments (2)
  1. [path-integral equivalence section] The path-integral equivalence proof (abstract and associated section) must explicitly verify that the dictionary preserves the integration measure and non-Abelian commutator structures when the DKMS symmetry is imposed at O((ħω/T)^2) and higher; otherwise the claimed completeness of the kernel classification is at risk.
  2. [DKMS symmetry extension] The order-by-order DKMS extension (section on all-order compatibility) assumes the perturbative expansion closes under unitarity without new counterterms or missed kernels from non-Abelian adjoint commutators; an explicit check or counter-example at the first subleading order would be needed to substantiate the all-order claim.
minor comments (1)
  1. A summary table listing the classified kernels by order in ħω/T and their unitarity constraints would improve readability of the classification results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback on our manuscript. We address each major comment in detail below, providing clarifications and committing to revisions that enhance the explicitness of our proofs and checks.

read point-by-point responses

  1. Referee: [path-integral equivalence section] The path-integral equivalence proof (abstract and associated section) must explicitly verify that the dictionary preserves the integration measure and non-Abelian commutator structures when the DKMS symmetry is imposed at O((ħω/T)^2) and higher; otherwise the claimed completeness of the kernel classification is at risk.

    Authors: We agree that making the preservation explicit at higher orders strengthens the presentation. Our path-integral equivalence proof establishes the dictionary via a change of variables that preserves the measure by construction, as the transformation is field redefinition with unit Jacobian in the appropriate regularization. The non-Abelian commutator structures are preserved because both formulations use the same adjoint representation and the dictionary maps generators accordingly. To address the concern directly, we will revise the section to include an explicit order-by-order verification up to O((ħω/T)^2), confirming that the DKMS imposition does not alter the measure or introduce inconsistencies in commutators. This will support the completeness of the kernel classification. revision: yes

  2. Referee: [DKMS symmetry extension] The order-by-order DKMS extension (section on all-order compatibility) assumes the perturbative expansion closes under unitarity without new counterterms or missed kernels from non-Abelian adjoint commutators; an explicit check or counter-example at the first subleading order would be needed to substantiate the all-order claim.

    Authors: The classification of invariant kernels is derived from the general requirements of DKMS symmetry and unitarity, which inherently accounts for all contributions from non-Abelian commutators through the structure of the effective action. The perturbative expansion closes without new counterterms because any potential terms are constrained by the symmetries and power-counting. However, to provide the requested substantiation, we will add an explicit check at the first subleading order in a new appendix or subsection, computing the possible kernels at O((ħω/T)^2) and verifying that no additional counterterms or missed kernels arise from the adjoint commutators. This explicit example will illustrate the all-order claim. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit dictionary, path-integral proof, and symmetry classification are independent of fitted inputs or self-referential definitions

full rationale

The paper's central claims rest on providing an explicit dictionary between the redundant Goldstone parameterization and adjoint matter field approaches, followed by a path-integral-level equivalence proof and an order-by-order extension of DKMS symmetry with kernel classification under unitarity. These steps are presented as direct constructions from the Schwinger-Keldysh formalism and standard KMS properties drawn from prior literature, without any reduction of predictions to parameters fitted within the paper's own equations or to self-citations that bear the full load of the equivalence. Power-counting rules and all-order compatibility are derived from symmetry constraints rather than by construction from the inputs themselves. No self-definitional loops, fitted quantities renamed as predictions, or ansatze smuggled via overlapping citations are exhibited in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework relies on standard axioms of Schwinger-Keldysh path integrals, thermal equilibrium, and unitarity constraints from quantum field theory; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Schwinger-Keldysh contour and path-integral formulation for real-time thermal correlators
    Invoked as the starting point for both EFT approaches.
  • domain assumption Existence of dynamical KMS symmetry in thermal equilibrium
    Used to constrain the allowed kernels to all orders in ħω/T.

pith-pipeline@v0.9.0 · 5683 in / 1469 out tokens · 24766 ms · 2026-05-21T21:59:19.031577+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Stochastic inflation from a non-equilibrium renormalization group

    hep-th 2026-05 unverdicted novelty 7.0

    A generalized Fokker-Planck equation for stochastic inflation is derived from a Polchinski-type renormalization group flow on the density matrix, incorporating dissipative and diffusive corrections beyond the leading order.

  2. Schwinger-Keldysh Path Integral for Gauge theories

    hep-th 2026-04 unverdicted novelty 6.0

    A manifestly BRST-invariant Schwinger-Keldysh path integral is derived for non-Abelian gauge theories with generic initial states, enabling perturbative Ward-Takahashi-Slavnov-Taylor identities and Open EFT expansions...

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 2 Pith papers · 22 internal anchors

  1. [1]

    Relativistic hydrodynamics in heavy-ion collisions: general aspects and recent developments

    A. Jaiswal and V. Roy, Relativistic hydrodynamics in heavy-ion collisions: general aspects and recent developments, Adv. High Energy Phys. 2016 (2016) 9623034 [ 1605.08694]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  2. [2]

    Cosmological Non-Linearities as an Effective Fluid

    D. Baumann, A. Nicolis, L. Senatore and M. Zaldarriaga, Cosmological Non-Linearities as an Effective Fluid, JCAP 07 (2012) 051 [ 1004.2488]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  3. [3]

    2011 , PAGES =

    L. Rezzolla and O. Zanotti, Relativistic Hydrodynamics, Oxford University Press (9, 2013), 10.1093/acprof:oso/9780198528906.001.0001

    work page doi:10.1093/acprof:oso/9780198528906.001.0001 2013

  4. [4]

    Bakshi and K.T

    P.M. Bakshi and K.T. Mahanthappa, Expectation value formalism in quantum field theory. 1. , J. Math. Phys. 4 (1963) 1

    work page 1963

  5. [5]

    Bakshi and K.T

    P.M. Bakshi and K.T. Mahanthappa, Expectation value formalism in quantum field theory. 2. , J. Math. Phys. 4 (1963) 12

    work page 1963

  6. [6]

    Mahanthappa, Multiple production of photons in quantum electrodynamics , Phys

    K.T. Mahanthappa, Multiple production of photons in quantum electrodynamics , Phys. Rev. 126 (1962) 329

    work page 1962

  7. [7]

    Keldysh, Diagram technique for nonequilibrium processes, Sov

    L.V. Keldysh, Diagram technique for nonequilibrium processes, Sov. Phys. JETP 20 (1965) 1018

    work page 1965

  8. [8]

    Mousatov and S.A

    C.H. Mousatov and S.A. Hartnoll, On the planckian bound for heat diffusion in insulators , Nature Physics 16 (2020) 579–584

    work page 2020

  9. [9]

    Hartnoll and A.P

    S.A. Hartnoll and A.P. Mackenzie, Colloquium: Planckian dissipation in metals , Rev. Mod. Phys. 94 (2022) 041002 [ 2107.07802]

    work page arXiv 2022

  10. [10]

    Akyuz, G

    C.O. Akyuz, G. Goon and R. Penco, The Schwinger-Keldysh coset construction , JHEP 06 (2024) 004 [ 2306.17232]

    work page arXiv 2024

  11. [11]

    Lessa, R

    L.A. Lessa, R. Ma, J.-H. Zhang, Z. Bi, M. Cheng and C. Wang, Strong-to-Weak Spontaneous Symmetry Breaking in Mixed Quantum States , PRX Quantum 6 (2025) 010344 [ 2405.03639]

    work page arXiv 2025

  12. [12]

    D. Gu, Z. Wang and Z. Wang, Spontaneous symmetry breaking in open quantum systems: strong, weak, and strong-to-weak, 2406.19381

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Huang, M

    X. Huang, M. Qi, J.-H. Zhang and A. Lucas, Hydrodynamics as the effective field theory of strong-to-weak spontaneous symmetry breaking, 2407.08760

    work page arXiv

  14. [14]

    Kubo, Statistical-mechanical theory of irreversible processes

    R. Kubo, Statistical-mechanical theory of irreversible processes. i. general theory and simple applications to magnetic and conduction problems , Journal of the Physical Society of Japan 12 (1957) 570 [ https://doi.org/10.1143/JPSJ.12.570]

    work page doi:10.1143/jpsj.12.570 1957

  15. [15]

    Martin and J

    P.C. Martin and J. Schwinger, Theory of many-particle systems. i , Phys. Rev. 115 (1959) 1342

    work page 1959

  16. [16]

    Thermodynamic Equilibrium as a Symmetry of the Schwinger-Keldysh Action

    L.M. Sieberer, A. Chiocchetta, A. Gambassi, U.C. T¨ auber and S. Diehl, Thermodynamic Equilibrium as a Symmetry of the Schwinger-Keldysh Action , Phys. Rev. B 92 (2015) 134307 [1505.00912]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  17. [17]

    Effective field theory for dissipative fluids (II): classical limit, dynamical KMS symmetry and entropy current

    P. Glorioso, M. Crossley and H. Liu, Effective field theory of dissipative fluids (II): classical limit, dynamical KMS symmetry and entropy current , JHEP 09 (2017) 096 [ 1701.07817]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  18. [18]

    Pavaskar, R

    S. Pavaskar, R. Penco and I.Z. Rothstein, An effective field theory of magneto-elasticity , SciPost Phys. 12 (2022) 155 [ 2112.13873]. – 27 –

    work page arXiv 2022

  19. [19]

    Towards an effective action for relativistic dissipative hydrodynamics

    P. Kovtun, G.D. Moore and P. Romatschke, Towards an effective action for relativistic dissipative hydrodynamics, JHEP 07 (2014) 123 [ 1405.3967]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  20. [20]

    Adiabatic hydrodynamics: The eightfold way to dissipation

    F.M. Haehl, R. Loganayagam and M. Rangamani, Adiabatic hydrodynamics: The eightfold way to dissipation, JHEP 05 (2015) 060 [ 1502.00636]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  21. [21]

    The Fluid Manifesto: Emergent symmetries, hydrodynamics, and black holes

    F.M. Haehl, R. Loganayagam and M. Rangamani, The Fluid Manifesto: Emergent symmetries, hydrodynamics, and black holes , JHEP 01 (2016) 184 [ 1510.02494]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  22. [22]

    Effective field theory of dissipative fluids

    M. Crossley, P. Glorioso and H. Liu, Effective field theory of dissipative fluids , JHEP 09 (2017) 095 [1511.03646]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  23. [23]

    Glorioso, Fluid Dynamics in Action , Ph.D

    P. Glorioso, Fluid Dynamics in Action , Ph.D. thesis, MIT, 2016

    work page 2016

  24. [24]

    Dissipative hydrodynamics in superspace

    K. Jensen, N. Pinzani-Fokeeva and A. Yarom, Dissipative hydrodynamics in superspace, JHEP 09 (2018) 127 [ 1701.07436]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  25. [25]

    Glorioso, L.V

    P. Glorioso, L.V. Delacr´ etaz, X. Chen, R.M. Nandkishore and A. Lucas, Hydrodynamics in lattice models with continuous non-Abelian symmetries , SciPost Phys. 10 (2021) 015 [2007.13753]

    work page arXiv 2021

  26. [26]

    Lectures on non-equilibrium effective field theories and fluctuating hydrodynamics

    H. Liu and P. Glorioso, Lectures on non-equilibrium effective field theories and fluctuating hydrodynamics, PoS TASI2017 (2018) 008 [ 1805.09331]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  27. [27]

    Landry, The coset construction for non-equilibrium systems , JHEP 07 (2020) 200 [1912.12301]

    M.J. Landry, The coset construction for non-equilibrium systems , JHEP 07 (2020) 200 [1912.12301]

    work page arXiv 2020

  28. [28]

    Akyuz and R

    C.O. Akyuz and R. Penco, Effective Description of Ajar Systems with a U(1) Symmetry, 2503.22840

    work page arXiv

  29. [29]

    Weinberg, The quantum theory of fields

    S. Weinberg, The quantum theory of fields. Vol. 2: Modern applications , Cambridge University Press (8, 2013), 10.1017/CBO9781139644174

    work page doi:10.1017/cbo9781139644174 2013

  30. [30]

    Lectures on hydrodynamic fluctuations in relativistic theories

    P. Kovtun, Lectures on hydrodynamic fluctuations in relativistic theories , J. Phys. A 45 (2012) 473001 [1205.5040]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  31. [31]

    Basar, Recent developments in relativistic hydrodynamic fluctuations , 2410.02866

    G. Basar, Recent developments in relativistic hydrodynamic fluctuations , 2410.02866

    work page arXiv

  32. [32]

    Le Bellac and H

    M. Le Bellac and H. Mabilat, Real time Feynman rules at finite temperature , Phys. Lett. B 381 (1996) 262

    work page 1996

  33. [33]

    A Re-examination of the Path Ordered Approach to Real Time Thermal Field Theory

    T.S. Evans and A.C. Pearson, A Reexamination of the path ordered approach to real time thermal field theory, Phys. Rev. D 52 (1995) 4652 [ hep-ph/9412217]

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  34. [34]

    Classification of out-of-time-order correlators

    F.M. Haehl, R. Loganayagam, P. Narayan and M. Rangamani, Classification of out-of-time-order correlators, SciPost Phys. 6 (2019) 001 [ 1701.02820]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  35. [35]

    P. Gao, P. Glorioso and H. Liu, Ghostbusters: Unitarity and Causality of Non-equilibrium Effective Field Theories, JHEP 03 (2020) 040 [ 1803.10778]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  36. [36]

    The second law of thermodynamics from symmetry and unitarity

    P. Glorioso and H. Liu, The second law of thermodynamics from symmetry and unitarity , 1612.07705

    work page internal anchor Pith review Pith/arXiv arXiv

  37. [37]

    Coleman, J

    S.R. Coleman, J. Wess and B. Zumino, Structure of phenomenological Lagrangians. 1. , Phys. Rev. 177 (1969) 2239

    work page 1969

  38. [38]

    Callan, Jr., S.R

    C.G. Callan, Jr., S.R. Coleman, J. Wess and B. Zumino, Structure of phenomenological Lagrangians. 2., Phys. Rev. 177 (1969) 2247. – 28 –

    work page 1969

  39. [39]

    Supersymmetric Gauge Theories and the AdS/CFT Correspondence

    E. D’Hoker and D.Z. Freedman, Supersymmetric gauge theories and the AdS / CFT correspondence, hep-th/0201253

    work page internal anchor Pith review Pith/arXiv arXiv

  40. [40]

    A Generalized Fluctuation-Dissipation Theorem for Nonlinear Response Functions

    E. Wang and U.W. Heinz, A Generalized fluctuation dissipation theorem for nonlinear response functions, Phys. Rev. D 66 (2002) 025008 [ hep-th/9809016]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  41. [41]

    Effective field theory for hydrodynamics: thermodynamics, and the derivative expansion

    S. Dubovsky, L. Hui, A. Nicolis and D.T. Son, Effective field theory for hydrodynamics: thermodynamics, and the derivative expansion , Phys. Rev. D 85 (2012) 085029 [ 1107.0731]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  42. [42]

    Relativistic Fluids, Superfluids, Solids and Supersolids from a Coset Construction

    A. Nicolis, R. Penco and R.A. Rosen, Relativistic Fluids, Superfluids, Solids and Supersolids from a Coset Construction , Phys. Rev. D 89 (2014) 045002 [ 1307.0517]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  43. [43]

    Jain, Fractonic solids, 2406.07334

    A. Jain, Fractonic solids, 2406.07334

    work page internal anchor Pith review arXiv

  44. [44]

    Liang and T

    Q. Liang and T. Melia, Relativistic Fractons and their Dust , 2503.14496

    work page arXiv

  45. [45]

    Firat, A

    E. Firat, A. Gomes, F. Nardi, R. Penco and R. Rattazzi, In preparation,

    work page

  46. [46]

    Null energy condition and superluminal propagation

    S. Dubovsky, T. Gregoire, A. Nicolis and R. Rattazzi, Null energy condition and superluminal propagation, JHEP 03 (2006) 025 [ hep-th/0512260]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  47. [47]

    Delacretaz, A bound on thermalization from diffusive fluctuations , Nature Phys

    L.V. Delacretaz, A bound on thermalization from diffusive fluctuations , Nature Phys. 21 (2025) 669 [2310.16948]. – 29 –

    work page arXiv 2025