Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Lorentz-boosted diffusion becomes well-posed when initial data are band-limited.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 21:34 UTC pith:DC7LFVFF

load-bearing objection A clean, mostly convincing construction: kinetic admissibility turns Lorentz-boosted diffusion into a well-posed Cauchy problem on a band-limited Paley–Wiener space, with an explicit sampling Green function; the main unresolved point is whether the band-limit really captures all kinetically realizable localized profiles. the 3 major comments →

arxiv 2602.21254 v2 pith:DC7LFVFF submitted 2026-02-23 math-ph gr-qchep-thmath.MPnucl-th

Lorentz-boosted diffusion: initial value formulation and exact solutions

Lorenzo Gavassino This is my paper
classification math-ph gr-qchep-thmath.MPnucl-th MSC 35K0535R2594A2035Q84
keywords boosted diffusionLorentz covariancePaley-Wiener spaceShannon-Whittaker samplingrelativistic Fokker-Planckwell-posednessband-limited functions
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Lorentz-boosted diffusion normally cannot be posed as an initial-value problem: the boosted heat equation admits exponentially growing modes whose growth rate diverges at short wavelengths. The paper argues that this ill-posedness is an artifact of asking too much of the equation. By insisting that boosted density profiles be realizable as densities of the underlying relativistic Fokker-Planck kinetic theory, one gets a sharp band limit on admissible wavenumbers. Within that band-limited class, the boosted diffusion equation is well-posed both forward and backward in time, and every solution is an exact discrete superposition of sampled initial data with a closed-form Green function. The result shows that a hydrodynamic equation can be made mathematically predictive without altering the equation, only by constraining the admissible initial data.

Core claim

The central claim is that the obstruction to well-posedness of Lorentz-boosted diffusion is not intrinsic to Fick's law itself. It disappears once initial data are required to be kinetically admissible, meaning that the initial density profile can be generated by a relativistic Fokker-Planck distribution function whose momentum integral converges. This admissibility requirement is equivalent to band-limiting the initial profile to wavenumbers |k̃| ≤ Λ, with Λ=(1+2v)/√(v(1−v)). On that Paley-Wiener space, the boosted diffusion equation has a unique, global, smooth solution for every initial datum, with continuous dependence and a growth bound ‖δn(t)‖ ≤ e^{|t|/(γv)}‖δn(0)‖. The exact solution

What carries the argument

Band-limited Paley-Wiener space PW_Λ — the space of entire functions whose Fourier transform is supported on [−Λ,Λ] — is the exact space of admissible boosted initial profiles. The cutoff Λ is fixed by the kinetic convergence bound |Im k|<1, inherited from the momentum integral in relativistic Fokker-Planck theory. The other load-bearing tool is the stable boosted dispersion relation ω̃(k̃), which selects the kinetically allowed branch of solutions and bounds the time-growth by e^{|t|/(γv)}. The Shannon-Whittaker sampling theorem converts band limitation into a discrete representation, and the fundamental solution K is evaluated in closed form as a contour integral of the rest-frame diffusio

Load-bearing premise

The load-bearing assumption is that physically realizable boosted density profiles are exactly band-limited Fourier superpositions with real wavenumbers in [−Λ,Λ]; if a realizable profile needed complex wavenumbers or contained content above the cutoff, the well-posedness theorem would not apply.

What would settle it

Take a compactly supported smooth profile in the boosted frame and try to realize it as the density of a source-free, finite-momentum-integral solution of the relativistic Fokker-Planck equation. If such a realization exists, the claimed equivalence between kinetic admissibility and the Paley-Wiener class fails, because compact support is incompatible with band limitation. The paper's own test case is the boosted retarded Green function, which it shows fails this test.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Within PW_Λ, the boosted diffusion equation is well-posed backward as well as forward in time; backward evolution amplifies only the finite band of modes below Λ, with growth no faster than e^{|t|/(γv)}.
  • Every admissible solution is exactly determined by discrete samples of the initial profile at the points x̃_a=πa/Λ, so no information is lost in the sampling representation.
  • The standard retarded diffusion Green function is excluded from the admissible class, because it is not band-limited; its kinetic realization would require a source that is instantaneous in time but infinitely extended in space.
  • The usual procedure of discarding the unstable branch of boosted diffusion and keeping only stable modes reproduces the exact solutions in the long-wavelength limit, giving microscopic justification for that fix.
  • Spatial localizability is frame-dependent for diffusion: profiles that are localized in the rest frame do not remain within the admissible (band-limited) class for moving observers.

Where Pith is reading between the lines

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

  • Not explored in the paper: the same recipe — identify a kinetic sector, use its admissibility bound to define a function space, and then pose the initial-value problem — could rescue other relativistic hydrodynamic equations that are linearly unstable in moving frames.
  • The cutoff Λ has its minimum at v=1/4; this suggests an observable regime where deviations from naive boosted diffusion would be most pronounced, though the paper does not discuss this.
  • The exact reconstruction from lattice samples means that in a moving frame, the full spacetime density is encoded in a discrete set of pointwise values on one initial slice; an experimental or numerical check of that identity would be a direct test.
  • The uncertainty-type bound (16) implies that any density perturbation narrower than (4Λ)^{-1} cannot be purely diffusive; this is a testable prediction about when non-hydrodynamic modes must appear.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper revisits the well-known ill-posedness of one-dimensional Lorentz-boosted diffusion, equation (3), and proposes a physically motivated cure. Starting from the observation that Fick-type diffusion arises as an exact hydrodynamic sector of relativistic Fokker-Planck kinetic theory, the author argues that kinetic admissibility imposes the bound |Im k| < 1 on the rest-frame wavevector. Boosting this condition yields a finite wavenumber cutoff Lambda = (1+2v)/sqrt(v(1-v)) (eq. (10)), so that admissible boosted-frame initial data form the Paley-Wiener space PW_Lambda. The author then restricts the evolution to the stable branch of the boosted dispersion relation (12), proves a forward/backward well-posedness estimate (13), and derives an exact discrete sampling formula (21) in which the evolution kernel K is obtained in closed form (27). A verification of kinetic admissibility is given for K itself in Section IV.D. The paper concludes with physical interpretations, including the frame dependence of localizability and the contrast with Cattaneo theory.

Significance. If the main claim is fully established, this is a conceptually valuable result: it shows that an acausal and Hadamard-ill-posed PDE can be turned into a well-posed one by imposing a nonlocal, band-limited restriction on initial data that is motivated by the underlying kinetic theory, and that the resulting solutions admit an exact discrete Green-function representation. The paper is transparent, self-contained in its derivations, and includes explicit closed-form results that can be checked directly. The numerical illustrations and the explicit verification that the fundamental solution K admits a kinetic realization are useful strengths. However, the central claim that all band-limited superpositions, not just K, are kinetically realizable is not proved. The identification of PW_Lambda with the set of kinetically admissible density profiles is therefore an assumption rather than a theorem, and this gap is load-bearing for the abstract and the conclusions.

major comments (3)
  1. [Section IV.D (Eqs. (29), (31)–(32))] Kinetic admissibility is verified only for the fundamental solution K, not for the general superpositions in Eq. (29). The paper itself states at the beginning of Section IV.D that a density superposition converging in the usual sense does not automatically imply convergence of the corresponding kinetic distribution. Yet Section IV.C asserts that profiles built from arbitrary c_a in l^2 are 'kinetically admissible' by construction. To support the central claim, the author must show that for every admissible initial sample sequence (or every phi in L^2([-Lambda,Lambda])) the associated kinetic distribution, e.g. the natural extension of (31), converges in a well-defined sense and solves the Fokker-Planck equation (4). Without this, the sampling formula (21) defines solutions of (3), but their physical realizability within the kinetic theory remains unproved.
  2. [Section II.B (Eqs. (7)–(11))] The derivation of the cutoff Lambda applies the kinetic bound |Im k| < 1 mode by mode to real-k-tilde Fourier modes. This establishes that PW_Lambda is a sufficient class of initial data in the sense that every individual Fourier mode in [-Lambda,Lambda] is kinetically admissible. It does not establish the converse: there may exist localized kinetic-theory-realizable density profiles whose Fourier representation in the boosted frame extends beyond |Re k-tilde| = Lambda, because cancellations in the momentum integral of the full superposition could render the density finite even when individual modes violate the bound. The paper's statement that kinetically admissible boosted profiles 'form a space of band-limited functions' is therefore stronger than what is proved. Either provide a proof that no such exterior modes can contribute to a realizable density, or reformulate the result as app
  3. [Section II.C, Eq. (13)] The well-posedness estimate (13) is proved directly from the stable-branch dispersion relation (12) and the Paley-Wiener restriction. This is a self-consistent construction, but it defines a modified evolution problem rather than well-posedness of the original equation (3) for arbitrary data in PW_Lambda. The paper is mostly explicit about this, but the introduction and abstract could be read as claiming that the boosted diffusion equation itself becomes well-posed after a kinetic restriction. It would strengthen the paper to state more prominently that the initial time derivative is fixed by projecting onto the stable branch, so that the recovered IVP is an effective hydrodynamic evolution, not the full second-order PDE with unconstrained initial data.
minor comments (4)
  1. [Appendix C, last line] The unstable branch is referred to as 'the red curve in figure 2', but figure 2 shows Lambda(v). The red curve is in figure 1. Please correct the cross-reference.
  2. [Section IV.D, Eq. (32)] The integrals in (32) are only conditionally convergent; the boundary term at xi = -infinity is said to decay as 1/xi. It would be helpful to state explicitly that the convergence is in the improper Riemann sense and to justify the integration-by-parts step under that convention.
  3. [Section II.C] Well-posedness is usually taken to include uniqueness. The Fourier representation makes uniqueness immediate, but the paper does not state it. A single sentence after Eq. (13) would close this.
  4. [General] The notation for the Paley-Wiener space is inconsistent in places (PW_Lambda vs P W_Lambda). Unifying the notation would improve readability.

Circularity Check

0 steps flagged

No significant circularity: the admissible initial-data space is derived from the kinetic convergence bound, not fitted or defined by the well-posedness conclusion.

full rationale

The central derivation is self-contained rather than circular. The paper derives the kinetic embedding directly in Section II.A by substituting the mode ansatz (5) into the Fokker-Planck equation to obtain the diffusion dispersion relation ω = -ik^2. The admissibility bound |Im k| < 1 follows from convergence of the momentum integral in (6), and the boosted cutoff Λ in (10) is computed in Appendix B from this bound combined with the boost relations (8). The choice of the stable branch (12) is justified by the fact that the unstable branch violates the same kinetic admissibility condition, as shown by (9) and Figure 1. The growth estimate (13), and hence well-posedness, is a direct consequence of the derived restriction |Im ω̃| < 1/(γv), not an independently assumed input dressed up as a prediction. The sampling representation (21) is a standard consequence of the Paley-Wiener theorem applied to the space PW_Λ, and the closed-form Green function (27) is obtained by evaluating the contour integral (24). The self-citations to [16,17] are used for context and for a kinetic-realization construction, but the key dispersion relation, cutoff, and admissibility bound are re-derived in this paper; Section IV.D also directly verifies that the exhibited kinetic distribution solves (4) and integrates to K. The main caveat, that per-mode kinetic admissibility is assumed to imply admissibility of superpositions, is a potential correctness gap explicitly acknowledged in Section IV.D, not a circular step. Therefore no specific reduction of the claimed results to their own inputs can be exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper introduces no fitted parameters; the boost v and background β are inputs (β cancels in the final density). The central claim rests on a handful of domain assumptions drawn from the Fokker-Planck kinetic embedding (and the author's prior refs [16,17]) plus the Fourier-expandability of boosted initial data. The only standard-math input is the Shannon-Whittaker sampling theorem.

axioms (6)
  • domain assumption The relativistic Vlasov-Fokker-Planck equation (4) is the correct microscopic model for the stochastic scattering of particles in a medium.
    The entire construction rests on this kinetic equation; the hydrodynamic sector of this equation is claimed to be exact Fick diffusion (refs [16,17], recap in Section II.A).
  • domain assumption The density field n is defined as ∫ dp/(2π) f, and the hydrodynamic sector is spanned by modes f = e^{-βε} e^{ik(x-βp)-iωt} with ω = -i k^2.
    This is the 'exact hydrodynamic sector' claim imported from refs [16,17] and re-derived in Section II.A; the convergence of the p-integral yields the admissibility bound |Im k| < 1.
  • domain assumption In the boosted frame, the initial data δn(0, x̃) are assumed to be spatially localized and expandable in Fourier modes with real wavevector k̃.
    Section II.B: 'We also assume that the initial state ... may be expanded in modes that are of Fourier type in the boosted frame'; this is what reduces the kinetic bound (7) to the band-limit cutoff (10).
  • domain assumption The time evolution is restricted to the stable dispersion branch (12), i.e., the branch continuously connected to the origin; the unstable branch is excluded by the kinetic admissibility bound.
    Sections II.B-C; the paper shows the unstable branch violates (7) for all v<1, so this is derived rather than chosen, but it is a selection of one mode of the second-order PDE (3).
  • domain assumption The explicit kinetic reconstruction δf_K = πβ e^{-β|p|} (1-∂_x^2)K(t, x-βp) (Eq. 31) is imported from ref [16] for massless particles.
    Section IV.D: 'it is known that, if such a kinetic realization exists, it must take the form (31)'.
  • standard math Shannon-Whittaker sampling theorem for the Paley-Wiener space PW_Λ (standard mathematics).
    Section III.C uses the sampling theorem; this is a classical result, not in question.

pith-pipeline@v1.3.0-alltime-deepseek · 14048 in / 21082 out tokens · 175744 ms · 2026-08-02T21:34:48.902949+00:00 · methodology

0 comments
read the original abstract

It is well known that the diffusion equation, when treated as a stand-alone partial differential equation, exhibits exponential instabilities in boosted frames, which render the corresponding initial-value problem ill-posed. Recently, however, it was shown that Fick-type diffusion arises as the exact hydrodynamic sector of relativistic Fokker-Planck kinetic theory. In this work, we exploit this kinetic embedding to formulate a modified initial-value problem for one-dimensional Lorentz-boosted diffusion. We show that the resulting dynamics are well posed both forward and backward in time, provided the boosted density profiles admit a kinetic-theory realization. Such profiles form a space of band-limited functions, within which the evolution can be expressed as a discrete superposition of spatially sampled initial data, weighted by a Shannon-Whittaker-type Green function defined on the full Minkowski plane. The Green function is obtained in closed analytic form.

Figures

Figures reproduced from arXiv: 2602.21254 by Lorenzo Gavassino.

Figure 1
Figure 1. Figure 1: FIG. 1. Imaginary part (left) and real part (right) of the boosted dispersion relations ˜ω [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Wavenumber cutoff Λ as a function of the boost velocity [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Snapshot at [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Snapshots of the forward (left panel) and backward (right panel) time evolution of the Green function [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Exact solutions (29) of the boosted diffusion equation (3) for the initial data (30) at boost velocity [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗

discussion (0)

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

Forward citations

Cited by 1 Pith paper

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

  1. How acausal equations emerge from causal dynamics

    nucl-th 2026-04 unverdicted novelty 8.0

    A causal microscopic kinetic model can reproduce arbitrary rest-frame stable dissipative dispersion relations at real k through suitable initialization, providing a counterexample to claims that micro-causality alone ...

Reference graph

Works this paper leans on

36 extracted references · 15 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Peliti,Statistical Mechanics in a Nutshell, In a nutshell (Princeton University Press, 2011)

    L. Peliti,Statistical Mechanics in a Nutshell, In a nutshell (Princeton University Press, 2011). 13

    2011

  2. [2]

    Hiscock and L

    W. Hiscock and L. Lindblom, Physical review D: Particles and fields31, 725 (1985)

    1985

  3. [3]

    Kost ¨adt and M

    P. Kost ¨adt and M. Liu, Phys. Rev. D62, 023003 (2000), arXiv:cond-mat/0010276 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2000

  4. [4]

    Ba¸ sar, J

    G. Ba¸ sar, J. Bhambure, R. Singh, and D. Teaney, Phys. Rev. C110, 044903 (2024), arXiv:2403.04185 [nucl-th]

    Pith/arXiv arXiv 2024

  5. [5]

    Isakov,Inverse Problems for Partial Differential Equations, 2nd ed., Applied Mathematical Sciences, Vol

    V. Isakov,Inverse Problems for Partial Differential Equations, 2nd ed., Applied Mathematical Sciences, Vol. 127 (Springer, New York, 2006)

    2006

  6. [6]

    Gavassino, Phys

    L. Gavassino, Phys. Rev. X12, 041001 (2022), arXiv:2111.05254 [gr-qc]

    Pith/arXiv arXiv 2022

  7. [7]

    C. Cattaneo,Sur une forme de l’´ equation de la chaleur ´ eliminant le paradoxe d’une propagation instantan´ ee, Comptes rendus hebdomadaires des s´ eances de l’Acad´ emie des sciences (Gauthier-Villars, 1958)

    1958

  8. [8]

    Israel and J

    W. Israel and J. Stewart, Annals of Physics118, 341 (1979)

    1979

  9. [9]

    Gavassino and M

    L. Gavassino and M. Antonelli, Front. Astron. Space Sci.8, 686344 (2021), arXiv:2105.15184 [gr-qc]

    Pith/arXiv arXiv 2021

  10. [10]

    Gavassino and M

    L. Gavassino and M. Antonelli, Phys. Rev. D112, 104052 (2025), arXiv:2509.00198 [gr-qc]

    arXiv 2025

  11. [11]

    Rezzolla and O

    L. Rezzolla and O. Zanotti,Relativistic Hydrodynamics, by L. Rezzolla and O. Zanotti. Oxford University Press,

  12. [12]

    Geroch, Journal of Mathematical Physics36, 4226 (1995)

    R. Geroch, Journal of Mathematical Physics36, 4226 (1995)

    1995

  13. [13]

    Lindblom, Annals of Physics247, 1 (1996), arXiv:gr-qc/9508058 [gr-qc]

    L. Lindblom, Annals of Physics247, 1 (1996), arXiv:gr-qc/9508058 [gr-qc]

    Pith/arXiv arXiv 1996

  14. [14]

    R. P. Geroch, (2001), arXiv:gr-qc/0103112

    Pith/arXiv arXiv 2001

  15. [15]

    Gavassino, Phys

    L. Gavassino, Phys. Rev. D112, 034026 (2025), arXiv:2505.18815 [gr-qc]

    Pith/arXiv arXiv 2025

  16. [16]

    Gavassino, (2026), arXiv:2601.19464 [gr-qc]

    L. Gavassino, (2026), arXiv:2601.19464 [gr-qc]

    Pith/arXiv arXiv 2026

  17. [17]

    Gavassino, (2026), arXiv:2601.19474 [nucl-th]

    L. Gavassino, (2026), arXiv:2601.19474 [nucl-th]

    Pith/arXiv arXiv 2026

  18. [18]

    Gavassino, (2026), arXiv:2601.03081 [gr-qc]

    L. Gavassino, (2026), arXiv:2601.03081 [gr-qc]

    Pith/arXiv arXiv 2026

  19. [19]

    L. C. Evans,Partial differential equations(American Mathematical Society, Providence, R.I., 2010)

    2010

  20. [20]

    Huang,Statistical Mechanics, 2nd ed

    K. Huang,Statistical Mechanics, 2nd ed. (John Wiley & Sons, 1987)

    1987

  21. [21]

    Debbasch, K

    F. Debbasch, K. Mallick, and J.-P. Rivet, Journal of Statistical Physics88, 945 (1997)

    1997

  22. [22]

    Dunkel and P

    J. Dunkel and P. H ¨anggi, Phys. Rept.471, 1 (2009), arXiv:0812.1996 [cond-mat.stat-mech]

    Pith/arXiv arXiv 2009

  23. [23]

    S. R. de Groot, W. A. van Leeuwen, and C. G. van Weert,Relativistic kinetic theory: principles and applications(1980)

    1980

  24. [24]

    Gavassino, M

    L. Gavassino, M. Antonelli, and B. Haskell, Phys. Rev. Lett.128, 010606 (2022), arXiv:2105.14621 [gr-qc]

    Pith/arXiv arXiv 2022

  25. [25]

    M. P. Heller, A. Serantes, M. Spali´ nski, and B. Withers, Phys. Rev. Lett.130, 261601 (2023), arXiv:2212.07434 [hep-th]

    Pith/arXiv arXiv 2023

  26. [26]

    Gavassino, Phys

    L. Gavassino, Phys. Lett. B840, 137854 (2023), arXiv:2301.06651 [hep-th]

    Pith/arXiv arXiv 2023

  27. [27]

    R. E. A. C. Paley and N. Wiener,Fourier Transforms in the Complex Domain, American Mathematical Society Colloquium Publications, Vol. 19 (American Mathematical Society, Providence, RI, USA, 1934)

    1934

  28. [28]

    A. I. Zayed, Revista de la Uni´ on Matem´ atica Argentina49, 99 (2008)

    2008

  29. [29]

    Rauch,Partial Differential Equations, Graduate Texts in Mathematics (Springer New York, 2012)

    J. Rauch,Partial Differential Equations, Graduate Texts in Mathematics (Springer New York, 2012)

    2012

  30. [30]

    P. M. Morse and H. Feshbach,Methods of Theoretical Physics, Vol. 1 (McGraw–Hill Book Company, New York, 1953) vol. I

    1953

  31. [31]

    O. F. Brevig, A. Chirre, J. Ortega-Cerd` a, and K. Seip, arXiv e-prints , arXiv:2210.13922 (2022), arXiv:2210.13922 [math.CA]

    Pith/arXiv arXiv 2022

  32. [32]

    A. G. Garc ´ ıa,Advances in Imaging and Electron Physics, Advances in Imaging and Electron Physics,124, 63 (2003)

    2003

  33. [33]

    Ostrovskii and A

    I. Ostrovskii and A. Ulanovskii, Comptes Rendus de l’Acad´ emie des Sciences - Series I - Mathematics333, 735 (2001)

    2001

  34. [34]

    F. S. Bemfica, M. M. Disconzi, and J. Noronha, Phys. Rev. X12, 021044 (2022)

    2022

  35. [35]

    J. L. Anderson and H. R. Witting, Physica74, 466 (1974)

    1974

  36. [2013]

    ISBN-10: 0198528906; ISBN-13: 978-0198528906(2013)

    2013