pith. machine review for the scientific record. sign in

arxiv: 2512.10843 · v2 · submitted 2025-12-11 · ✦ hep-th · cond-mat.stat-mech· math.CV

Recognition: 2 theorem links

· Lean Theorem

Analyticity and positivity of Green's functions without Lorentz

Paolo Creminelli , Alessandro Longo , Borna Salehian , Ahmadullah Zahed
Authors on Pith no claims yet

Pith reviewed 2026-05-16 23:16 UTC · model grok-4.3

classification ✦ hep-th cond-mat.stat-mechmath.CV
keywords retarded Green's functionmicrocausalityanalyticitypositivityLorentz invariance breakingdispersion relationspermittivityHerglotz-Nevanlinna class
0
0 comments X

The pith

Microcausality enforces analyticity of retarded Green's functions in the forward light-cone even when Lorentz invariance is broken.

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

In translation-invariant theories that break Lorentz symmetry, the retarded Green's function G(ω, k) must be analytic whenever the imaginary parts of frequency and momentum point inside the forward light-cone. Microcausality further rules out compact support for the spectral density on the real axis. Stability requires that ω times the imaginary part of G is non-negative for real arguments, and this inequality extends to the entire analytic domain as Im(ω G) > 0. The resulting class of functions guarantees that electromagnetic response functions like permittivity and inverse permeability remain analytic in media.

Core claim

Microcausality is equivalent to analyticity of the retarded Green's function G when Im(ω, k) lies in the forward light-cone, with suitable growth bounds. Positivity from energy absorption implies ω Im G(ω, k) ≥ 0 on the real axis, which extends to Im[ω G(ω, k)] > 0 in the complex domain. This places G in the Herglotz-Nevanlinna class and proves the analyticity of the permittivities ε(ω, k) and μ^{-1}(ω, k) in Maxwell equations for media. The properties hold in examples with nonzero chemical potential or temperature, and subtracted dispersion relations address cases where G does not vanish at infinity.

What carries the argument

The retarded two-point Green's function G(ω, k) and its analytic continuation to the forward light-cone domain, together with the positivity condition Im[ω G] > 0.

If this is right

  • The spectral density cannot have compact support for real frequencies and momenta.
  • Multi-variable dispersion relations yield a family of integral constraints on the spectral density.
  • Analogous constraints apply to system fluctuations through the fluctuation-dissipation theorem.
  • The permittivity ε(ω, k) and inverse permeability μ^{-1}(ω, k) are analytic in the appropriate domains.

Where Pith is reading between the lines

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

  • Similar analyticity and positivity properties may apply to other linear response functions in condensed matter systems with broken symmetries.
  • Subtracted dispersion relations provide a way to handle divergences at large frequencies without assuming G vanishes at infinity.
  • Verification in thermal and finite-density backgrounds indicates the results are robust for common physical setups.

Load-bearing premise

Microcausality is exactly equivalent to analyticity of G in the forward light-cone region, assuming suitable growth bounds and translation invariance.

What would settle it

A concrete counterexample would be a retarded Green's function whose imaginary part violates Im[ω G(ω, k)] > 0 at some point inside the forward light-cone domain, or one whose spectral density has compact support on the real axis.

Figures

Figures reproduced from arXiv: 2512.10843 by Ahmadullah Zahed, Alessandro Longo, Borna Salehian, Paolo Creminelli.

Figure 1
Figure 1. Figure 1: The region of analyticity guaranteed by microcausality [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Integration contour used in eq. (4.5). definition of the Fourier transform in the new variables Gˆ(z1, z2) = α 2 ˆ du1 du2 e i(z1u1+z2u2)/2Gˆ(u1, u2), (4.4) where we have defined u1 ≡ t − x/α and u2 ≡ t + x/α, with Gˆ(u1, u2) = G(t, x), and the prefactor is the Jacobian of the transformation. Notice that the function Gˆ(u1, u2) has support only when u1 > 0 and u2 > 0. In the limit |z1| → ∞ in the UHP, keep… view at source ↗
Figure 3
Figure 3. Figure 3: The three cases of compact support of Im G(ω, ⃗k) discussed in the text. section 6, must also satisfy positivity properties. Moreover it is connected to fluctuations via the fluctuation-dissipation theorem, see section 5.4.) In the single-variable case, the answer is negative: any function (or more generally tempered distribution) with suitable integrability conditions is viable and gives an analytic funct… view at source ↗
Figure 4
Figure 4. Figure 4: Comparison between constant-ωI sections in ˜d = 3. Two pyramids inside the FLC in ˜d = 3. Varying α changes the area of their constant-ωI sections. Setting ωI = 3/2, the green and yellow sections are obtained by choosing α = 2 (green) or α = 11/10 (yellow). attention to linear transformations of the form ω = 1 ˜d X d˜ i=1 zi , ⃗k = 1 α ˜d X d˜ i=1 ⃗nizi ∈ R d˜−1 , (8.1) with α > 1, and a set of unit vector… view at source ↗
Figure 5
Figure 5. Figure 5: Comparison between constant-ωI sections in ˜d = 4. The constant-ωI sections of the hyperpyramids are regular tetrahedrons inscribed in S 2 ωI /α. Setting ωI = 2, the green and yellow tetrahedrons are obtained by the choices α = 2 and α = 4/3 respectively. Here Ra b explicitly parametrizes the freedom to rotate the hyperpyramid along the ωI -axis (or equivalently, to perform an SO( ˜d − 1) rotation of each … view at source ↗
read the original abstract

We study the properties imposed by microcausality and positivity on the retarded two-point Green's function in a theory with spontaneous breaking of Lorentz invariance. We assume invariance under time and spatial translations, so that the Green's function $G$ depends on $\omega$ and $\vec k$. We discuss that in Fourier space microcausality is equivalent to the analyticity of $G$ when $\Im (\omega,\vec k)$ lies in the forward light-cone, supplemented by bounds on the growth of $G$ as one approaches the boundaries of this domain. Microcausality also implies that the imaginary part of $G$ (its spectral density) cannot have compact support for real $(\omega,\vec k)$. Using analyticity, we write multi-variable dispersion relations and show that the spectral density must satisfy a family of integral constraints. Analogous constraints can be applied to the fluctuations of the system, via the fluctuation-dissipation theorem. A stable physical system, which can only absorb energy from external sources, satisfies $\omega \cdot \Im G(\omega,\vec k) \ge 0$ for real $(\omega,\vec k)$. We show that this positivity property can be extended to the complex domain: $\Im [\omega\, G(\omega,\vec k)] >0$ in the domain of analyticity guaranteed by microcausality. Functions with this property belong to the Herglotz-Nevanlinna class. This allows to prove the analyticity of the permittivities $\epsilon(\omega,k)$ and $\mu^{-1}(\omega,k)$ that appear in Maxwell equations in a medium. We verify the above properties in several examples where Lorentz invariance is broken by a background field, e.g. non-zero chemical potential, or non-zero temperature. We study subtracted dispersion relations when the assumption $G \to 0$ at infinity must be relaxed.

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 / 2 minor

Summary. The paper claims that in translation-invariant theories with spontaneous Lorentz breaking, microcausality implies analyticity of the retarded Green's function G(ω, k) in the tube domain where Im(ω, k) lies in the forward light cone (supplemented by growth bounds), that the spectral density has non-compact support, and that multi-variable dispersion relations yield integral constraints. It further asserts that stability implies ω Im G(ω, k) ≥ 0 on the real axis, which extends to Im[ω G(ω, k)] > 0 throughout the analyticity domain, placing G in the Herglotz-Nevanlinna class and thereby proving analyticity of the permittivity ε(ω, k) and inverse permeability μ^{-1}(ω, k) appearing in Maxwell equations in a medium. The properties are illustrated in examples with background fields such as nonzero chemical potential or temperature, and subtracted dispersion relations are discussed when G does not vanish at infinity.

Significance. If the multi-variable technical steps hold, the work provides a systematic extension of dispersion relations and positivity constraints to Lorentz-violating but translation-invariant settings, with direct implications for response functions in media. The explicit link to the Herglotz-Nevanlinna class and the resulting analyticity statements for electromagnetic constitutive relations constitute the central advance, assuming the growth bounds and domain mappings are rigorously controlled.

major comments (2)
  1. [paragraphs following the statement of the positivity extension and the Herglotz-Nevanlinna membership] The central claim that Im[ω G(ω, k)] > 0 throughout the multi-variable tube domain places G in the Herglotz-Nevanlinna class (thereby guaranteeing analyticity of ε(ω, k) and μ^{-1}(ω, k)) requires an explicit reduction or generalization. The standard Herglotz-Nevanlinna representation applies to holomorphic functions of a single complex variable in the upper half-plane; the manuscript works with a four-variable tube domain but does not detail how positivity survives fixing real k and varying ω, or how a multi-variable analog is invoked, nor does it specify the contour deformations needed when growth bounds are present.
  2. [section stating the equivalence of microcausality to analyticity] Microcausality is equated to analyticity in the forward light-cone tube domain only when supplemented by unspecified growth bounds on G near the boundary. These bounds are invoked to justify the multi-variable dispersion relations and the extension of positivity, yet no explicit form, derivation, or verification is provided; without them the integral constraints on the spectral density and the complex-domain positivity cannot be confirmed.
minor comments (2)
  1. [abstract and all equations involving G(ω, k)] Notation for the momentum vector is inconsistent between ω and vec k versus bold k; adopt a uniform convention throughout.
  2. [paragraph on non-compact support of the spectral density] The statement that the spectral density cannot have compact support is asserted but would benefit from a one-sentence reminder of the supporting argument from the tube-domain analyticity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the multi-variable technical details and growth bounds require more explicit treatment. We will revise the manuscript to provide the requested clarifications while preserving the core results on analyticity, positivity, and their implications for constitutive relations.

read point-by-point responses

  1. Referee: The central claim that Im[ω G(ω, k)] > 0 throughout the multi-variable tube domain places G in the Herglotz-Nevanlinna class (thereby guaranteeing analyticity of ε(ω, k) and μ^{-1}(ω, k)) requires an explicit reduction or generalization. The standard Herglotz-Nevanlinna representation applies to holomorphic functions of a single complex variable in the upper half-plane; the manuscript works with a four-variable tube domain but does not detail how positivity survives fixing real k and varying ω, or how a multi-variable analog is invoked, nor does it specify the contour deformations needed when growth bounds are present.

    Authors: We agree that an explicit reduction step is needed for clarity. In the revised manuscript we will insert a dedicated subsection showing that, for any fixed real spatial momentum k, the tube-domain condition restricts the imaginary part of ω to the upper half-plane while preserving Im[ω G(ω, k)] > 0. This reduces the problem to the standard one-variable Herglotz-Nevanlinna class, yielding the desired representation and the analyticity of ε(ω, k) and μ^{-1}(ω, k). We will also spell out the contour deformations employed in the dispersion relations, indicating how the growth bounds control the arcs at infinity. revision: yes

  2. Referee: Microcausality is equated to analyticity in the forward light-cone tube domain only when supplemented by unspecified growth bounds on G near the boundary. These bounds are invoked to justify the multi-variable dispersion relations and the extension of positivity, yet no explicit form, derivation, or verification is provided; without them the integral constraints on the spectral density and the complex-domain positivity cannot be confirmed.

    Authors: The growth bounds are indeed essential and were stated only qualitatively. In the revision we will derive their explicit form from the assumption that the retarded correlator is a tempered distribution whose support lies in the forward light cone, following the standard estimates of the edge-of-the-wedge theorem. We will then verify that these bounds hold in the concrete examples (finite chemical potential and finite temperature) and confirm that they suffice for the multi-variable dispersion relations and the extension of positivity to the tube interior. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on standard microcausality and positivity without self-referential reduction

full rationale

The paper begins with the standard assumption that microcausality implies analyticity of G in the forward light-cone domain (with growth bounds) and derives positivity constraints, the extension Im[ω G] > 0 in the complex domain, and membership in the Herglotz-Nevanlinna class directly from these inputs. No step reduces by the paper's own equations to a fitted parameter renamed as prediction, a self-definitional loop, or a load-bearing self-citation whose content is unverified. The multi-variable dispersion relations and application to ε(ω,k), μ^{-1}(ω,k) follow from the stated analyticity and positivity without circular closure. The derivation is self-contained against external benchmarks of microcausality and positivity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard QFT assumptions of microcausality, positivity of spectral functions for stable systems, and translation invariance. No new free parameters or postulated entities are introduced.

axioms (2)
  • domain assumption Microcausality is equivalent to analyticity of G when Im(ω, k) lies in the forward light-cone, supplemented by growth bounds
    Directly stated in the abstract as the starting equivalence used to derive all further properties.
  • domain assumption Stable systems satisfy ω · Im G(ω, k) ≥ 0 for real (ω, k)
    Invoked to define the positivity property that is then extended to the complex domain.

pith-pipeline@v0.9.0 · 5659 in / 1606 out tokens · 33988 ms · 2026-05-16T23:16:44.421266+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. Dynamic Response of a Finite Circular Plate on an Elastic Half-Space Using the Truncated Lamb Kernel

    math.AP 2026-01 unverdicted novelty 7.0

    A matrix representation of the truncated Lamb operator on a free-edge Bessel basis produces the frequency-domain response of finite circular plates on elastic half-spaces.

  2. Positivity with Long-Range Interactions

    hep-th 2025-12 unverdicted novelty 7.0

    Defines IR-finite amplitudes M_E that preserve analyticity and unitarity to derive positivity bounds on EFTs including electromagnetism and gravity in D=4.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 2 Pith papers · 5 internal anchors

  1. [1]

    Causality, Analyticity and an IR Obstruction to UV Completion

    [1]A. Adams,N. Arkani-Hamed,S. Dubovsky,A. Nicolis, andR. Rattazzi, “Causality, analyticity and an IR obstruction to UV completion,”JHEP10(2006) 014,arXiv:hep-th/0602178. [2]B. Bellazzini,J. Elias Miró,R. Rattazzi,M. Riembau, andF. Riv a, “Positive moments for scattering amplitudes,”Phys. Rev. D104no. 3, (2021) 036006,arXiv:2011.00037 [hep-th]. [3]S. Caro...

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  2. [2]

    The S-matrix bootstrap. Part I: QFT in AdS,

    3, 2022.arXiv:2203.06805 [hep-th]. [8]M. F. Paulos,J. Penedones,J. Toledo,B. C. v an Rees, andP. Vieira, “The S-matrix bootstrap. Part I: QFT in AdS,”JHEP11(2017) 133,arXiv:1607.06109 [hep-th]. [9]J. Elias Miro,A. Guerrieri, andM. A. Gumus, “Bridging positivity and S-matrix bootstrap bounds,”JHEP05(2023) 001,arXiv:2210.01502 [hep-th]. [10]M. Kruczenski,J....

    work page arXiv 2022

  3. [3]

    Statistical-mechanical theory of irreversible processes. i. general theory and simple applications to magnetic and conduction problems,

    61 [20]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 Japan12no. 6, (1957) 570–586. [21]P. Creminelli,O. Janssen,B. Salehian, andL. Senatore, “Positivity bounds on electromagnetic properties of media,”JHEP08(2024) 066,arXiv...

    work page arXiv 1957

  4. [4]

    Causality Constraints in Conformal Field Theory

    https://books.google.fr/books?id=bJSNDwAAQBAJ. [24]T. Hartman,S. Jain, andS. Kundu, “Causality Constraints in Conformal Field Theory,”JHEP05 (2016) 099,arXiv:1509.00014 [hep-th]. [25]T. BautistaandH. Godazgar, “Lorentzian CFT 3-point functions in momentum space,”JHEP01 (2020) 142,arXiv:1908.04733 [hep-th]. [26]G. Sommer, “Present state of rigorous analyti...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    Generalised kramers-kronig formula for spatially dispersive media,

    arXiv:2411.01056 [hep-th]. [28]D. B. MelroseandR. J. Stoneham, “Generalised kramers-kronig formula for spatially dispersive media,”Journal of Physics A: Mathematical and General10no. 1, (Jan,

    work page arXiv

  6. [6]

    Retarded Correlators in Kinetic Theory: Branch Cuts, Poles and Hydrodynamic Onset Transitions

    [31]P. Romatschke, “Retarded correlators in kinetic theory: branch cuts, poles and hydrodynamic onset transitions,”Eur. Phys. J. C76no. 6, (2016) 352,arXiv:1512.02641 [hep-th]. [32]A. KurkelaandU. A. Wiedemann, “Analytic structure of nonhydrodynamic modes in kinetic theory,”Eur. Phys. J. C79no. 9, (2019) 776,arXiv:1712.04376 [hep-ph]. [33]L. Iliesiu,M. Ko...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  7. [7]

    Kramers-krönig relations in nonlinear optics,

    8446–8453.https://link.aps.org/doi/10.1103/PhysRevB.44.8446. [38]D. C. Hutchings,M. Sheik-Bahae,D. J. Hagan, andE. W. V an Stryland, “Kramers-krönig relations in nonlinear optics,”Optical and Quantum Electronics24(1992) 1–30. [39]R. W. Boyd,Nonlinear Optics, Third Edition. Academic Press, Inc., USA, 3rd ed.,

    work page doi:10.1103/physrevb.44.8446 1992

  8. [8]

    Lectures on holographic methods for condensed matter physics

    62 [40]S. A. Hartnoll, “Lectures on holographic methods for condensed matter physics,”Class. Quant. Grav.26(2009) 224002,arXiv:0903.3246 [hep-th]. [41]L. D. LandauandE. M. Lifshitz,Electrodynamics of Continuous Media. Pergamon, New York,

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  9. [9]

    A characterization of herglotz–nevanlinna functions in two variables via integral representations,

    [42]A. LugerandM. Nedic, “A characterization of herglotz–nevanlinna functions in two variables via integral representations,”Arkiv för Matematik55no. 1, (2017) 199–216. http://dx.doi.org/10.4310/ARKIV.2017.v55.n1.a10. [43]A. LugerandM. Nedic, “Geometric properties of measures related to holomorphic functions having positive imaginary or real part,”arXiv e...

    work page doi:10.4310/arkiv.2017.v55.n1.a10 2017

  10. [10]

    On the structure of Nevanlinna measures,

    arXiv:1812.00627,arXiv:1812.00627 [math.CV]. [44]M. NedicandE. Saksman, “On the structure of Nevanlinna measures,”arXiv e-prints(Jan.,

    work page arXiv

  11. [11]

    Ground-state energy of a many-fermion system. ii,

    arXiv:2201.01039,arXiv:2201.01039 [math.CV]. [45]J. M. LuttingerandJ. C. W ard, “Ground-state energy of a many-fermion system. ii,”Phys. Rev. 118(Jun,

    work page arXiv

  12. [12]

    Many-body chaos and energy dynamics in holography

    1417–1427.https://link.aps.org/doi/10.1103/PhysRev.118.1417. [46]M. Blake,R. A. Da vison,S. Grozdanov, andH. Liu, “Many-body chaos and energy dynamics in holography,”JHEP10(2018) 035,arXiv:1809.01169 [hep-th]. [47]K. HattoriandK. Itakura, “Vacuum birefringence in strong magnetic fields: (I) Photon polarization tensor with all the Landau levels,”Annals Phy...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrev.118.1417 2018

  13. [13]

    Holomorphic functions with positive real part on polycylinders,

    https://doi.org/10.1070/SM1977v033n03ABEH002426. [50]A. KorányiandL. Pukánszky, “Holomorphic functions with positive real part on polycylinders,” Transactions of the American Mathematical Society108no. 3, (1963) 449–456. [51]V. S. VladimirovandY. N. Drozhzhinov, “Holonomic functions in a polycircle with nonnegative imaginary part,”Mathematical notes of th...

    work page doi:10.1070/sm1977v033n03abeh002426 1963

  14. [14]

    Herglotz–nevanlinna functions in several variables,

    [53]A. LugerandM. Nedic, “Herglotz–nevanlinna functions in several variables,”Journal of Mathematical Analysis and Applications472no. 1, (2019) 1189–1219. https://www.sciencedirect.com/science/article/pii/S0022247X18310187. [54]S. Weinberg,The Quantum theory of fields. Vol. 1: Foundations. Cambridge University Press, 6,

    work page 2019

  15. [15]

    Spontaneously broken boosts and the Goldstone continuum,

    [55]L. AlberteandA. Nicolis, “Spontaneously broken boosts and the Goldstone continuum,”JHEP07 (2020) 076,arXiv:2001.06024 [hep-th]. [56]S. Mandelstam, “Determination of the pion-nucleon scattering amplitude from dispersion relations and unitarity. general theory,”Phys. Rev.112(Nov,

    work page arXiv 2020

  16. [16]

    The mandelstam representation and the continuity theorem,

    1344–1360. https://link.aps.org/doi/10.1103/PhysRev.112.1344. [57]D. Y. Petrina, “The mandelstam representation and the continuity theorem,”Zh. Eksperim. i Teor. Fiz.V ol: 46(01,

    work page doi:10.1103/physrev.112.1344

  17. [17]

    Über positive harmonische entwicklungen und typisch-reelle potenzreihen,

    https://www.osti.gov/biblio/4050833. 63 [58]W. Rogosinski, “Über positive harmonische entwicklungen und typisch-reelle potenzreihen,” Mathematische Zeitschrift35no. 1, (1932) 93–121.https://doi.org/10.1007/BF01186552. [59]P. RamanandA. Sinha, “QFT, EFT and GFT,”JHEP12(2021) 203,arXiv:2107.06559 [hep-th]. [60]E. P. WignerandL. Eisenbud, “Higher Angular Mom...

    work page doi:10.1007/bf01186552 1932

  18. [18]

    The finite group velocity of quantum spin systems,

    [66]E. H. LiebandD. W. Robinson, “The finite group velocity of quantum spin systems,”Commun. Math. Phys.28(1972) 251–257. [67]S. D. Chowdhury,S. A. Hartnoll, andA. Hebbar, “Lieb-Robinson causality and non-Fermi liquids,”arXiv:2510.18950 [hep-th]. 64

    work page arXiv 1972