pith. machine review for the scientific record. sign in

arxiv: 2503.09677 · v3 · submitted 2025-03-12 · ✦ hep-th · astro-ph.CO· hep-lat· hep-ph

Recognition: 4 theorem links

· Lean Theorem

Scalar Thermal Field Theory for a Rotating Plasma

Authors on Pith no claims yet

Pith reviewed 2026-05-06 21:19 UTC · model claude-opus-4-7

classification ✦ hep-th astro-ph.COhep-lathep-ph PACS 11.10.Wx12.38.Mh05.30.-d
keywords thermal field theoryrotating plasmathermal vorticityequilibrium density matriximaginary-time formalismparticle productionHiggs portalBose-Einstein distribution
0
0 comments X

The pith

A systematic thermal field theory framework for plasmas with non-zero average angular momentum, where scalar production rates grow without bound as the rotational velocity parameter v = ΩR approaches one.

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

Standard thermal field theory assumes the equilibrium density matrix depends only on energy and conserved charges, but the most general relativistic equilibrium also carries an angular-momentum term −Ω·J. This work builds the scalar field theory machinery for that more general ensemble: ensemble averages of free fields in cylindrical modes, a closed-form thermal propagator, a path-integral generating functional, and a Lagrangian formulation in which Ω enters only the quadratic part (so vertices remain unchanged). The author shows the rotation introduces an indefinite-sign contribution to the Euclidean action analogous to the chemical-potential sign problem, but argues that for vanishing chemical potentials the negative −m²Ω² piece is dominated by the positive α² piece because α ≥ |m|/R while Ω < 1/R. As a concrete payoff, the production rate of a Higgs-like scalar coupled through λhS² to a rotating dark-sector bath is computed and grows sharply as v = ΩR → 1, suggesting rotation can substantially boost particle production in astrophysical or early-universe rotating environments.

Core claim

The paper extends thermal field theory to equilibrium density matrices that carry not only a temperature and chemical potentials but also an average angular momentum, encoded as a thermal vorticity vector. By going to a frame where the plasma is at rest and decomposing the boost so that all surviving generators commute, the author writes the density matrix in a tractable form, derives closed expressions for two-point ensemble averages of free scalars, and builds a path-integral generating functional valid in both real- and imaginary-time formalisms. The angular-momentum term shifts each particle energy by mΩ, generalises the chemical-potential bound to μ < m√(1−v²) with v = ΩR, and — crucial

What carries the argument

A density matrix of the form ρ ∝ exp[−β(H − Ω·J − μ_a Q_a)] expanded in cylindrical modes J_m(αr)e^{ipz+imϕ}, giving Bose-Einstein occupations f_B(ω − mΩ − M_d). The convergence requirement Ω < 1/R combined with the discrete spectrum α_{m,n} = j_{m,n}/R is what controls both the indefinite-sign issue in the Euclidean action and the bound μ < m√(1−v²) on chemical potentials.

If this is right

  • Perturbative thermal calculations (decay rates, production rates, self-energies) for any scalar theory can be carried over to a rotating plasma by replacing only the propagator, since rotation does not modify the vertices.
  • In the chemical-potential-free case, lattice studies of rotating scalar thermal field theory in the imaginary-time formalism are in principle possible without an analytic continuation Ω → iΩ_E.
  • The bound μ_d < m√(1−v²) tightens the allowed chemical-potential window in any rotating bosonic system and predicts the onset of a Bose-Einstein-like instability as v → 1.
  • Particle production from rotating accretion disks, coronas around black holes, or rotating primordial-black-hole environments can be significantly enhanced relative to non-rotating estimates, with the enhancement growing without bound as v → 1.
  • The framework provides a ready template for extending TFT to fermions and gauge fields in rotating equilibria (work the author flags in companion papers).

Where Pith is reading between the lines

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

  • The unbounded growth of rates as v → 1 likely signals the breakdown of global rigid rotation as a physical equilibrium near the light cylinder, rather than a true divergence of any observable; an honest astrophysical application probably needs a position-dependent Ω(r) cut off before v reaches one.
  • The fact that vertices are untouched by Ω suggests that existing two-loop and three-loop thermal results in the literature could be ported to the rotating case essentially mechanically, by substituting the rotation-modified propagators of Sec. 3.2.
  • The argument that α² − m²Ω² > 0 saves the Euclidean action is really a statement that the angular-momentum operator is bounded by the radial momentum on physical states inside a cylinder of radius R; this is the same boundedness used implicitly in causality arguments for rigidly rotating quantum systems.
  • If this scalar framework generalises cleanly to fermions, one might expect the rotation-induced shift ω → ω − mΩ to produce a chiral-vortical-effect-like signature already at the free-field level, providing a bridge to the heavy-ion vorticity literature.

Load-bearing premise

The argument that rotation does not break a non-perturbative Euclidean treatment relies on the chemical potentials being zero and on a bound that uses the radial cutoff R; once chemical potentials are turned on, the sign problem returns, and the infinite-volume limit must be taken carefully holding v = ΩR fixed.

What would settle it

A lattice or otherwise non-perturbative computation of the partition function for a rotating scalar plasma at μ_a = 0 that exhibits a genuine sign problem (i.e., a non-bounded-below real part of the Euclidean action in the v < 1 regime) would directly contradict the central technical claim. On the phenomenology side, computing the λhS² rate by independent methods and finding no enhancement as v → 1 would falsify Eq. (6.12).

read the original abstract

This paper initiates the systematic study of thermal field theory for generic equilibrium density matrices, which feature arbitrary values not only of temperature and chemical potentials, but also of average angular momentum. The focus here is on scalar fields, although some results also apply to fields with arbitrary spins. A general technique to compute ensemble averages is provided. Moreover, path-integral methods are developed to study thermal Green's functions (with an arbitrary number of points) in generic theories, which cover both the real-time and imaginary-time formalism. It is shown that, while the average angular momentum, like the chemical potentials, does not contribute positively to the Euclidean action, its negative contributions can be compensated by some other contributions that are instead positive, at least in some cases, e.g. when the chemical potentials vanish. As an application of the developed general formalism, it is shown that the production of particles weakly coupled to a rotating plasma can be significantly enhanced compared to the non-rotating case. The Higgs boson production through a portal coupling to a dark sector in the early universe is studied in some detail. The findings of this paper can also be useful, for example, to investigate the physics of rotating stars, ordinary and primordial black holes and more exotic compact objects.

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

5 major / 8 minor

Summary. The manuscript develops thermal field theory for the most general equilibrium density matrix including a non-vanishing average angular momentum (thermal vorticity τ⃗), with focus on scalar fields. Sec. 2 reduces the generic density matrix to a frame in which it is a function of commuting operators only. Sec. 3 computes, for free scalars in cylindrical quantization with Dirichlet condition J_m(αR)=0, the averages ⟨α†α⟩, ⟨H⟩, ⟨J_z⟩, ⟨Q_a⟩ in closed form, derives the bound (3.46) on chemical potentials, and obtains energy/angular-momentum/charge densities in the large-volume limit at fixed v≡ΩR∈[0,1) (Eqs. 3.43–3.45), as well as the "non time-ordered" 2-point function (3.48). Sec. 4 generalizes the closed-time-path/imaginary-time path integral to non-zero Ω, leading to (4.12)–(4.17). Sec. 5 performs the momentum integration for ordinary scalars and discusses the sign-problem-like character of the Ω-dependent terms in the Euclidean action, observing that for μ_a=0 the negative contributions can be compensated. Sec. 6 applies the formalism to compute the production rate Γ (Eq. 6.12) of a scalar h weakly coupled via λhS² to a thermal sector, and finds Γ grows indefinitely as v→1.

Significance. If correct, the paper provides a useful and previously-missing systematic extension of standard thermal field theory machinery (real-time and imaginary-time path integrals, Kobes–Semenoff cutting rules, thermal propagators) to equilibrium states with non-zero average angular momentum, including arbitrary chemical potentials and multi-field/non-Abelian internal symmetry. The closed-form expression (3.35) for ⟨α†α⟩ in the original basis, the generalized bosonic bound (3.46), and the observation that for μ_a=0 the negative Ω-contribution to the Euclidean action is dominated by α²−m²Ω²>0 (giving a route to lattice studies of rotating bosonic plasmas) are concrete technical contributions. The application to dark-sector portal-induced Higgs production in a rotating bath is a worked, falsifiable example. The presentation is self-contained, and a numerical dataset is deposited at Zenodo, which aids reproducibility. The scope is narrower than the framing in the introduction suggests (see major comments), but within that scope the results are useful and the formalism is likely to be reused.

major comments (5)
  1. [§3.1 and §6 (Eqs. 3.17, 3.39, 3.46, 6.12)] The entire v→1 enhancement narrative — including the bound Ω<1/R, the divergence of ⟨ρ_E⟩, ⟨J_z⟩ as v→1, and the 'remarkable property' that Γ grows indefinitely as v→1 (text after Eq. 6.12) — is derived under the specific Dirichlet choice J_m(αR)=0. No physical argument is given for why this boundary condition models a rotating plasma around a black-hole corona, a rotating star, or a lab plasma. Different reasonable choices (Neumann, MIT-bag-type, soft confining potential, or a Robin condition) modify the large-m asymptotics of the lowest spectral root and can change both v_max and the structure of the v→1 behavior. The paper should either (i) demonstrate that the qualitative enhancement and the bound Ω<1/R are robust under a representative class of boundary conditions, or (ii) explicitly restrict the physical claims of §6 to systems with a hard cylindrical wall.
  2. [§3.1, around Eq. (3.40); §5 after Eq. (5.7)] The 'large-volume' limit is taken with v=ΩR held fixed in [0,1), which forces Ω→0 as R→∞. The application in §6 then identifies Ω with 'the angular-velocity vector of the rotating plasma' (text after Eq. 5.7) and quotes velocities v≃1 as physically relevant for black-hole coronas. These two pictures are in tension: rigid rotation of an unbounded thermal state at finite Ω is ill-defined because the light surface r=1/Ω must lie inside the system, and the limit being taken is in fact a boundary-rotation limit rather than bulk rigid rotation at finite Ω. The manuscript should clarify which physical setup is being modeled (finite cylinder with rotating wall vs. bulk rigid rotation with light cylinder excluded) and reconcile the §6 phenomenological discussion with the order of limits actually used.
  3. [§3.1, Eqs. (3.43)–(3.45); Fig. 2] The divergences of ⟨ρ_E⟩ and ⟨J_z⟩ as v→1 (Fig. 2) appear to be dominated by modes with α≈|y|, i.e. modes peaked near the cylinder wall (large-m, low-radial-node Bessel functions). It would substantially strengthen the physical interpretation to display the radial profile of the energy and angular-momentum densities — i.e. the integrand before integrating over the transverse direction — to make explicit whether the enhancement is a bulk effect or is localized in a shell of vanishing relative thickness as v→1. As written, a reader cannot tell whether ⟨ρ_E⟩ in (3.43) refers to a volume-averaged density or to the local density at a specific r, which matters for any phenomenological application.
  4. [§5 around Eq. (5.12)] The argument that for μ_a=0 the negative −m²Ω² contribution is compensated by α² because α≥|m|/R is again tied to the Dirichlet spectrum. The conclusion that 'the real part of the Euclidean action is bounded from below … even in the presence of a non-zero average angular momentum' is therefore conditional on the same boundary-condition choice as the convergence bound Ω<1/R. This conditionality should be stated explicitly here, since the sentence as written reads as a generic statement about rotating bosonic TFT and is liable to be over-interpreted as a sign-problem-free formulation of bulk rigid rotation.
  5. [§6, Eq. (6.7) and footnote 8] The vanishing of the (1+f)(1+f) and (1+f)f decay-type contributions is stated to follow from energy–momentum conservation (the I_{q,q1,q2} triangle condition and the f→0 / kinematics argument). However, in a rotating system the relevant conserved quantity along the rotation axis is angular momentum m, and the effective Bose factor is f_B(ω−mΩ); near v→1, modes with large m and ω−mΩ small become populated and the kinematic exclusion of the decay channel deserves a more careful argument than the brief sentence given. Please verify (or restate) the kinematic argument in the rotating case, especially since this is what isolates the coalescence channel as the sole contribution to Γ.
minor comments (8)
  1. [Eq. (3.6)] The integration limit is written as ∫_{-p_0}^{p_0} dp, but in the discretized version (3.19) p runs over all 2πj/L with j∈ℤ. Please reconcile, or state explicitly that p_0 here is just a placeholder for the on-shell relation and that the off-shell range in the field expansion is (−∞,∞).
  2. [Eq. (3.17) and Fig. 1] The function ζ(y/α) is defined implicitly via R Δα_{m,n}→ζ⁻¹(y/α) and only displayed numerically. Given how central it is to (3.43)–(3.45), an analytic formula or closed-form asymptotic (using McMahon's expansion uniformly in m/n) would be valuable; at minimum, the limits ζ(0)=1/π and ζ(±1)=0 should be stated explicitly with derivations.
  3. [Eq. (4.6) footnote 6] The notation x^ω = {t, R(tΩ⃗)x⃗} is non-standard and easily confused with a frequency label; consider renaming.
  4. [§2.1, around Eq. (2.7)] Footnote 2 corrects the convergence statement of [6] but the corrected condition (β_0>0, |β_∥|<β_0 hold for τ⃗·J⃗ eigenvalue zero) should be stated as a theorem-level assumption since it underlies the existence of ρ throughout.
  5. [Eq. (3.48)] The 2-point function G^>_{ss'} mixes Bose factors of matrices μ_a R_a; it would help readers if (3.35) were restated immediately after (3.48) so that the matrix-valued f_B is unambiguous in the propagator.
  6. [§6, around Eq. (6.12)] Numerical results in Fig. 3 (right) only go up to v≈0.3. Given the headline claim concerns v→1, showing the curve at larger v (with the radial-mode truncation made explicit) would substantially strengthen the figure.
  7. [References] The discussion of rigid rotation, the light cylinder, and rotating thermal states would benefit from citing the older causality/boundary literature (e.g., Duffy–Shovkovy, Ambruș–Winstanley) in addition to [11–16], to give context for the boundary-condition choice.
  8. [Title/abstract vs. content] The abstract claims results 'also apply to fields with arbitrary spins'. In the manuscript only Sec. 2 and parts of Sec. 6 are spin-agnostic; Secs. 3–5 are scalar-specific. A more precise wording would help.

Simulated Author's Rebuttal

5 responses · 0 unresolved

We thank the referee for a careful and constructive report and for a recommendation of minor revision. The five major comments converge on a coherent and well-taken concern: that several physically appealing statements in the manuscript — the convergence bound Ω<1/R, the v→1 enhancement of densities and of the production rate Γ, and the boundedness from below of the real part of the Euclidean action at μ_a=0 — are derived in a finite co-rotating cylinder with Dirichlet boundary, and should be stated as such rather than as generic features of bulk rigid rotation. We agree with this assessment. We will revise §3.1, §5, §6 and §7 to (i) make explicit that the physical setup is a finite cylinder co-rotating with the plasma, with v=ΩR<1 the causal bound on the boundary; (ii) qualify the robustness of the bound Ω<1/R under a representative class of boundary conditions; (iii) clarify that ⟨ρ_E⟩, ⟨J_z⟩, ⟨ρ_a⟩ in Eqs. (3.43)–(3.45) are volume-averaged densities and add a radial-profile plot to expose the shell-like localization of the v→1 enhancement; (iv) state explicitly the BC-dependence of the §5 boundedness argument; and (v) expand footnote 8 of §6 into a proper kinematic argument separating the on-shell triangle condition from the rotation-shifted Bose factors. None of these revisions affects the technical results; they sharpen their physical interpretation, which is the spirit of the referee's report.

read point-by-point responses
  1. Referee: The v→1 enhancement narrative and bound Ω<1/R are derived under the Dirichlet choice J_m(αR)=0; no argument is given that this models a black-hole corona, rotating star, or lab plasma. Different boundary conditions can change v_max and the v→1 behavior. The paper should (i) demonstrate robustness under a representative class of BCs or (ii) restrict §6 claims to hard-wall systems.

    Authors: We agree that the convergence bound Ω<1/R and the enhancement towards v→1 are derived using the Dirichlet spectrum J_m(αR)=0, which was adopted as a computationally convenient regulator. The structural feature on which Ω<1/R relies is that the lowest radial root j_{m,1} grows linearly in m for large m with j_{m,1}/m→1; this asymptotic is shared by Neumann and Robin conditions on a cylinder of radius R, so the bound Ω<1/R and the qualitative v→1 growth survive in this representative class. MIT-bag-type or soft-confining boundaries change the prefactor in the spectrum and hence the precise critical velocity, but not the existence of a finite v_max<1 set by causality on the boundary. We will (a) add an explicit paragraph in §3.1 stating that the bound Ω<1/R follows from the universal large-m asymptotics shared by a class of BCs, (b) qualify the statements in §6 to make clear that the precise numerical enhancement depends on the wall model, and (c) note that the qualitative conclusion (sizable enhancement at moderate v, divergence of the boundary-confined idealization as v→1) is robust, while the strict v→1 limit should be interpreted as the unattainable causal limit of the rotating-wall idealization. revision: yes

  2. Referee: The large-volume limit holds v=ΩR fixed, forcing Ω→0 as R→∞, yet §6 quotes v≃1 for black-hole coronas. Rigid rotation of an unbounded thermal state at finite Ω is ill-defined (light surface r=1/Ω must lie inside). The setup being modeled — finite cylinder with rotating wall vs. bulk rigid rotation with light cylinder excluded — should be clarified.

    Authors: The referee is correct that the order of limits taken corresponds physically to a finite cylinder co-rotating with the plasma, with R kept finite (or the limit R→∞ taken with v=ΩR fixed, i.e. Ω→0), rather than bulk rigid rotation of an unbounded medium at finite Ω. This is precisely the well-known Vilenkin/Iyer setup, in which the light cylinder coincides with the boundary at v=1 and is excluded from the system. We will add a clarifying paragraph at the end of §3.1 (and a forward reference in §6) emphasizing that: (i) Ω is the angular velocity of the bounding cylinder, with the plasma in rigid co-rotation inside r≤R; (ii) the causal limit r=1/Ω is realized as v→1 from below and is never crossed in the integration domain; (iii) phenomenological identifications with black-hole coronas should be read as order-of-magnitude indications, with R interpreted as the characteristic transverse size of the rotating region and Ω as a local angular velocity, not as a global rigid-rotation parameter of an infinite medium. We thank the referee for pointing out that this physical picture was implicit but not stated. revision: yes

  3. Referee: The divergences of ⟨ρ_E⟩ and ⟨J_z⟩ as v→1 (Fig. 2) appear dominated by modes with α≈|y|, i.e. peaked near the wall. The paper should display the radial profile of the energy and angular-momentum densities to clarify whether the enhancement is bulk or shell-localized. It is also unclear whether ⟨ρ_E⟩ in (3.43) is volume-averaged or local at r.

    Authors: This is a fair observation. The quantities ⟨ρ_E⟩, ⟨J_z⟩ in Eqs. (3.43)–(3.45) are obtained from logZ via β- and τ-derivatives and therefore correspond to volume-integrated densities divided by the cylinder volume (i.e. volume-averaged densities), not local densities at fixed r. This is reflected in the absence of any explicit r-dependence in the integrands. The referee's intuition that the v→1 growth is dominated by modes with α≈|y| (large m, lowest-n) is correct, and these modes are radially concentrated near r∼R; hence the enhancement is, in this idealized hard-wall setup, a near-boundary effect rather than a bulk effect. We will (a) state explicitly below Eq. (3.43) that ⟨ρ_E⟩ etc. are volume-averaged, (b) add a short discussion of the radial profile constructed from |J_m(αr)|² weighted by the relevant occupation numbers, and (c) include a representative radial-profile plot showing the shell-like localization as v approaches 1. This sharpens the physical interpretation considerably and we are grateful for the suggestion. revision: yes

  4. Referee: The argument that for μ_a=0 the −m²Ω² contribution is compensated by α²≥(m/R)² is tied to the Dirichlet spectrum. The conclusion that the real part of the Euclidean action is bounded from below is therefore conditional on this BC choice and should be stated explicitly to avoid over-interpretation as a generic sign-problem-free formulation of bulk rigid rotation.

    Authors: We agree. The bound α≥|m|/R that we use in §5 to argue α²−m²Ω²>0 is indeed inherited from the same Dirichlet spectrum used in §3.1, and the resulting boundedness of the real part of the Euclidean action is not a generic statement about bulk rigid rotation. We will revise the paragraph following Eq. (5.12) to make this conditionality explicit, stating that (i) the positivity argument relies on the existence of a confining boundary together with v=ΩR<1, (ii) it therefore applies to lattice formulations on a finite cylinder co-rotating with the plasma, and (iii) it does not by itself establish the absence of a sign problem for an attempted formulation of bulk rigid rotation in infinite volume at finite Ω, which is in any case ill-defined for the reasons noted in the referee's second comment. We will also add a corresponding caveat to the summary in §7. revision: yes

  5. Referee: In Eq. (6.7) and footnote 8, the vanishing of the decay-type (1+f)(1+f) and (1+f)f contributions is justified by a brief energy–momentum-conservation argument. In a rotating system, with f_B(ω−mΩ) and large m, ω−mΩ small modes are populated; the kinematic exclusion of the decay channel deserves a more careful argument.

    Authors: The referee raises a legitimate concern that we did not spell out carefully. The relevant point is that the kinematic constraint enforced by the radial integral I_{q,q1,q2}, namely that α, α_1, α_2 form the sides of a triangle (Eq. (6.8) and Ref. [33]), together with conservation of p (translation along z) and m (rotational symmetry around z), is equivalent in the rotating case to ordinary 4-momentum conservation among the three on-shell modes labeled by {ω,α,p,m}. The shift ω→ω−mΩ enters only through the Bose factors and not through the triangle/conservation conditions, because Ω couples to the conserved m, not to the dispersion relation of an individual mode. Hence the decay S→hS in the rotating frame is kinematically forbidden by exactly the same boost argument as in the non-rotating case, regardless of how populated the large-m, small (ω−mΩ) modes are: large occupation does not change the on-shell kinematics, only the statistical weight of the (kinematically allowed) coalescence channel. We will expand footnote 8 into a short paragraph that (i) separates the kinematic content (triangle condition, on-shellness) from the statistical content (Bose factors with ω−mΩ), and (ii) explicitly verifies that the decay channels vanish term by term in the rotating case. revision: yes

Circularity Check

1 steps flagged

Largely self-contained derivation in standard TFT; the only mild circularity is that the headline "v→1 enhancement" restates the convergence boundary built into the Dirichlet regulator.

specific steps
  1. self definitional [Sec. 6, Eq. (6.13); compare Sec. 3.1, Eq. (3.39)]
    "Note that Γ has a remarkable property: it grows indefinitely when the velocity parameter v ≡ ΩR approaches 1. This can be seen by noting that the convergence of the sum over m in (6.12) requires Ω < lim_{m→+∞} j_{m,1}/(mR) = 1/R."

    The 'enhancement as v→1' is the same statement as the convergence bound Ω<1/R derived in Sec. 3.1 (Eq. 3.39) using lim j_{m,1}/m = 1. Holding v=ΩR fixed and pushing v→1 places the system at the boundary of validity of the Dirichlet-regulated mode sum, where divergence is forced by the regulator. So the headline physical 'enhancement' restates the convergence threshold of its own regularization rather than predicting it from independent dynamics. Mild — the formula itself (6.12) has independent content for v bounded away from 1.

full rationale

The paper's derivation chain is mostly independent of self-citations and is built on standard, externally-checkable TFT machinery: (i) the general equilibrium density matrix (Sec. 2) is a textbook construction; (ii) the cylindrical mode expansion (Sec. 3) follows Vilenkin [11] and standard Bessel-function analysis; (iii) the path integral derivation (Sec. 4) extends Landsman–van Weert [3] and Matsumoto et al. [21] by inserting the Ω·J term; (iv) the application in Sec. 6 uses Kobes–Semenoff [22,23] cutting rules with modified propagators. Self-citation to the author's own pedagogical review [6] is used for standard TFT results, but [6] itself is a review of established material, so it is not a load-bearing chain that hides an unverified premise. Citations [17,18] are extensions of the present work and are not load-bearing here. The one mildly self-definitional element is the "enhancement as v→1" claim: the bound Ω < 1/R (Eq. 3.39) is a convergence requirement of the discrete-spectrum regulator J_m(αR)=0; taking R→∞ with v=ΩR ∈ [0,1) fixed places the system arbitrarily close to that convergence boundary by construction, so the divergence of ⟨ρ_E⟩, ⟨J_z⟩ and Γ as v→1 (Eq. 6.13 reproduces exactly the same limit lim j_{m,1}/m = 1 used in Eq. 3.39) is essentially the statement that the approximation breaks down at its own validity boundary. This is borderline self-definitional rather than a fit-as-prediction. It is a real physics concern (boundary-condition dependence, order-of-limits, as the skeptic notes) but not, strictly, circularity in the technical sense covered by this pass. The reader's higher score (5.0) appears to conflate physical-interpretation worries with circularity. No fitted parameter is renamed as a prediction; no uniqueness theorem is imported from prior work to forbid alternatives; no central premise rests on an unchecked self-citation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Model omitted the axiom ledger; defaulted for pipeline continuity.

pith-pipeline@v0.9.0 · 9595 in / 5986 out tokens · 91926 ms · 2026-05-06T21:19:27.511983+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.