{"id":"8b8e7b1e-f253-4989-96b5-f5ac1db3e64e","arxiv_id":"2608.11129","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a weakly interacting phi^4 Bose gas, the moment of inertia density is the perpendicular radius squared times the enthalpy density, holding through order lambda^(3/2) including ring-diagram resummation.","lead":"This paper computes the moment of inertia of a rotating, interacting Bose gas in quantum field theory and finds that it equals the square of the distance from the rotation axis times the enthalpy density, even when interactions are included. The result matters because it corrects a recent published claim that self-interactions could make the moment of inertia negative, a question tied to the rotation properties of quark-gluon plasma.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Concern: the I = r_perp^2 h identity is proven only within a momentum-independent 2PI one-loop truncation; an O(lambda^2) momentum-dependent self-energy could break the cancellation that enforces the identity, so the general claim overreaches its demonstrated support.","rationale":"The reader identified the momentum-independent 2PI one-loop truncation as the weakest assumption, and my reading agrees. The internal algebra through O(lambda^(3/2)) checks out: the derivation in Eqs. (93)-(97) of I1 = r_perp^2 e' is consistent given the p-only dependence of G, and the enthalpy bookkeeping in Sec. IV B is coherent. Within that truncation, I = r_perp^2 h holds, including for the resummed gap equation, and the correction of Ref. [26] is plausible: their Eq. (106) with the divergent sum over l^2 replaced by 2 is indeed inconsistent with the classical result and with the Bessel-based derivation in Eqs. (101)-(105). The concern I raise is not about the O(lambda^(3/2)) result but about the scope of the conclusion. The abstract and introduction state the identity as a general result for the interacting theory, and Sec. V draws the physical conclusion that self-interactions cannot produce a negative moment of inertia. But the proof structure only controls the leading momentum-independent self-energy truncation; the paper explicitly notes momentum dependence appears at O(lambda^2) via the sunset diagram (Sec. IV A). At that order the step p[G(P)]^2 = -(1/2) dG/dp (used in Eq. (96)) is no longer exact, and there is no argument that the O(lambda^2) correction respects the identity. The verification the reader performed stops at O(lambda^(3/2)); for a stronger reading of the claim, the O(lambda^2) sunset check is needed. This is why my verdict remains CONDITIONAL rather than ACCEPT or UNCHANGED: the conditional status should explicitly require the O(lambda^2) momentum-dependent check and a bounded-system check on the ell-summation prescription. I do not see a reason to REJECT: the demonstrated order is correct, the truncation is standard, and the criticism of Ref. [26] is internally consistent. The verdict should be CONDITIONAL, requiring (1) the O(lambda^2) sunset computation for the identity and (2) ideally an independent check of the ell-summation-ordering prescription against a bounded light-cylinder calculation. My agreement_with_reader is 'agree' because the reader's weakest_assumption also centers on the momentum-independent self-energy; my concrete test gives a sharp way to settle it, and my verdict matches the reader's CONDITIONAL.","tokens_in":21741,"tokens_out":4385,"duration_ms":31739,"concrete_test":"Compute the O(lambda^2) sunset-diagram contribution to the four-point function that feeds I1 in Eq. (18), using the exact momentum-dependent self-energy from the sunset graph, and compare it with the O(lambda^2) contribution to e' and p' in Eqs. (76a)-(76b) obtained with the same G having momentum-dependent Pi(p). Concretely: evaluate the sunset contribution to I1 (the analogue of Eq. (95) with [G(P)]^2 replaced by the product of two G's with momentum-dependent Pi) and separately compute the O(lambda^2) shift in h = e + p from the same resummed propagator. If the two differ, the identity I = r_perp^2 h fails at O(lambda^2); if they match (or if the sunset contribution vanishes by symmetry), the concern is resolved and the claim can be extended.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central result, Eq. (98) with Eq. (22), asserts I = r_perp^2 h for the interacting Bose gas at arbitrary mass, verified through O(lambda^(3/2)) and via the resummed gap equation (70). The derivation of I1 = r_perp^2 e' in Eqs. (93)-(97) is the load-bearing step. It relies on the identity p[G(P)]^2 = -(1/2) dG/dp, which requires G to depend on p only through |p|^2, i.e., a momentum-independent self-energy Pi. With a momentum-dependent Pi(P), this identity acquires extra terms involving derivatives of Pi with respect to p, and the cancellation that yields Eq. (96) is not protected. The paper itself states (Sec. IV A, after Eq. (72)) that momentum dependence in Pi enters first at O(lambda^2) from the sunset diagram. Therefore the order-by-order proof I = r_perp^2 h is complete only at O(lambda^(3/2)); at O(lambda^2) the sunset diagram contributes to G and hence to the I1-integrand with nontrivial p-dependence, while the enthalpy computation in Sec. IV B also uses the same G but with different weightings of omega_n^2 and p^2. Nothing in the paper shows that the sunset contribution preserves I = r_perp^2 h. The conclusion in Sec. V that 'self-interactions cannot account for a negative moment of inertia' is thus not established beyond the one-loop 2PI truncation. This is not an internal inconsistency within the demonstrated order, but it is a real gap between the general claim (valid for 'interacting effects including ring-diagram resummation') and the calculation actually shown.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the moment of inertia density of a weakly interacting scalar phi^4 gas in the limit of vanishing angular velocity. The authors express I = dJ/dOmega at Omega=0 in terms of thermal two- and four-point functions at zero rotation (Eqs. (17)-(19)), and then evaluate these diagrams in a 2PI one-loop/daisy truncation with a momentum-independent self-energy. They find that the disconnected contributions give I = r_perp^2 e' + r_perp^2 p' = r_perp^2 h, with h = e+p, both at O(lambda^(3/2)) and for the self-consistent solution of the gap equation (70). The paper also reanalyzes Ref. [26], arguing that its negative moment of inertia arises from an incorrect treatment of the summation over angular momentum and the spatial integration of Bessel functions, and concludes that scalar self-interactions reduce the moment of inertia monotonically but cannot make it negative.","tokens_in":21975,"tokens_out":12540,"duration_ms":113432,"significance":"If the result stands, the paper establishes a surprisingly simple relation, I = r_perp^2 h, for an interacting Bose gas, and it directly challenges a recent calculation that reported a negative moment of inertia in phi^4 theory. The derivation is detailed and internally consistent at the order shown: the vanishing of the connected O(lambda) diagram, the factor 1/2 in I_{1;2'}, the Bessel identities, and the independent enthalpy computation from the energy-momentum tensor are all worked out explicitly, and the resummed gap equation is solved and analyzed including its large-coupling asymptotics. The paper also gives a clear and concrete falsifiable prediction: within the 2PI one-loop truncation, the identity holds for arbitrary mass and for the daisy-resummed propagator. The main weakness is that the proof is carried out only for a momentum-independent self-energy, and the general conclusions are worded more broadly than the demonstrated support.","major_comments":[{"comment":"The load-bearing step I_{1;2'} = (1/2) int d^3x r_perp^2 e' uses the identity p[G(P)]^2 = -(1/2) dG(P)/dp, which is valid only when G(P) depends on p through |p|^2, i.e., when the self-energy Pi is momentum-independent. The paper itself notes (Sec. IV A, after Eq. (72)) that momentum dependence enters first at O(lambda^2) from the sunset diagram. Consequently, the equality I = r_perp^2 h is established for the 2PI one-loop/daisy truncation, but not in the full theory beyond O(lambda^(3/2)); at O(lambda^2) the sunset contribution could affect I_1 and I_2 differently from e' and p'. The concluding statement in Sec. V that 'self-interactions cannot account for the emergence of a negative moment of inertia' is therefore stronger than the calculation supports. I recommend either extending the calculation to include the O(lambda^2) sunset contribution to I_1 and I_2, or explicitly qualifying all global claims as results of the momentum-independent-Pi truncation.","section":"Sec. IV D, Eqs. (93)-(96), and Sec. V"},{"comment":"The criticism of Ref. [26] hinges on the prescription that the ell-summation must be performed before the transverse spatial integration, using the Bessel identities in Eqs. (44) and (103). The paper argues but does not prove that this ordering is the physically correct one; it acknowledges that the alternative treatment with a bounded system inside the light cylinder (Ref. [30]) is intractable so far. The inconsistency of the Ref. [26] result with the classical result Eq. (33) is a strong indication, but the statement that the 'main error' is the incorrect treatment of the summation/integration order would be more convincing if accompanied by a justification of the ordering, for example from the definition of the local density I(x) in Eq. (7) and from the requirement that the total I be obtained by integrating a well-defined local density.","section":"Sec. IV E, Eqs. (101)-(105)"}],"minor_comments":[{"comment":"The word 'inheritated' should be 'inherited'.","section":"Introduction"},{"comment":"The phrase '2PI (particle irreducible)' should be '2PI (two-particle-irreducible)' on first use.","section":"Sec. III"},{"comment":"The notation G(0) for the coincident-point propagator is easy to confuse with the free propagator G_0; please define it explicitly at first use.","section":"Sec. IV A, Eq. (69)"},{"comment":"The constant C is described as an ultraviolet divergent constant and then set to zero; it would be helpful to state explicitly that this contact-term regularization is the same one used in Eqs. (76) and (78), since the cancellation of C is relevant for the final identity.","section":"Appendix A, Eq. (A2)"},{"comment":"The comparison with Ref. [26] introduces a degeneracy factor g=2 for a charged scalar field; the paper should clarify how this factor enters the comparison with the real scalar theory of Eq. (8).","section":"Sec. IV E, Eq. (106)"},{"comment":"The caption states that the dashed perturbative curves become nonmonotonic for lambda >~ 1, indicating breakdown of naive perturbation; marking the breakdown region more explicitly would help readers distinguish the resummed results used in the conclusions from the unreliable perturbative ones.","section":"Fig. 1"}],"recommendation":"major_revision","confidential_remarks":"This is a careful and mostly convincing calculation. The central derivation is internally consistent within the stated 2PI one-loop/daisy truncation, and the paper makes a useful, falsifiable prediction. My main reservation is that the conclusions are phrased more broadly than the momentum-independent-Pi truncation warrants, especially the statement that self-interactions cannot produce a negative moment of inertia. The criticism of Ref. [26] is pointed and may be contentious; if the paper is accepted, I would recommend inviting a response from the authors of Ref. [26] or ensuring that a referee with specific expertise in rotating thermal field theory assesses the summation-ordering argument. No concerns about novelty or attribution; the manuscript cites prior work appropriately."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this paper does a genuinely careful job verifying that in weakly interacting phi^4 theory, the moment of inertia density is I = r_perp^2 h through O(lambda^(3/2)) including ring-diagram resummation, and it very plausibly corrects the Siri-Sadooghi result that found a negative moment of inertia. I rechecked the non-obvious algebra — the vanishing of the connected O(lambda) diagram, the 1/2 in I_1;2', the Bessel sum rules — and it is internally consistent. That is real progress: the relation was conjectured for a hadron gas, and here it is derived in an interacting QFT at this order, with a clean diagrammatic decomposition into two- and four-point functions.\n\nThe paper also earns credit for being explicit about its own limits. It states that momentum dependence in the self-energy starts at O(lambda^2) with the sunset, and it concedes that the bounded light-cylinder treatment of Ref. [30] is so far intractable.\n\nThe soft spots are proportionate. The conclusion in Sec. V that 'self-interactions cannot account for a negative moment of inertia' goes beyond the demonstrated support. The proof lives in a momentum-independent 2PI one-loop truncation; at O(lambda^2) the sunset diagram gives a momentum-dependent self-energy, and nothing in the paper shows the identity survives that. That is not an internal inconsistency, but it is a real gap between the general claim and the calculation. The referee should ask for the language to be softened to 'within this truncation' or for a discussion of the sunset contribution.\n\nThe correction of Ref. [26] is convincing but not completely closed. It hinges on performing the ell-sum before the transverse spatial integration via Bessel identities. The authors justify the ordering by consistency with the classical result and extensivity, and they show that Ref. [26]'s noninteracting result is independent of the cylinder radius, which is a strong red flag. Still, the alternative bounded system being intractable leaves a scheme-dependence question open. That is a minor caveat, not a load-bearing flaw.\n\nWho is this for? Anyone working on rotating QGP, the moment-of-inertia debate, or resummed thermal perturbation theory. It deserves serious refereeing, with the requests above. I would cite it, and I would bring it to the reading group.\n\nRecommendation: send to peer review, not desk reject.","headline":"The central identity is sound at demonstrated order; the broader negative-moment-of-inertia claim overreaches its support, and the Ref. [26] correction is likely right but scheme-dependent.","tokens_in":22694,"tokens_out":4175,"would_cite":true,"duration_ms":34191,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For a weakly interacting Bose gas in $\\phi^4$ theory, the moment of inertia density equals the squared distance to the rotation axis times the enthalpy density, through order $\\lambda^{3/2}$ including ring resummation.","keywords":["moment of inertia","rotating Bose gas","phi^4 theory","thermal field theory","ring diagrams","enthalpy density","daisy resummation","Bessel function"],"falsifier":"Compute the $O(\\lambda^2)$ sunset corrections to $I_1$, $I_2$, and $h$ separately without assuming a momentum-independent self-energy; if $I_1+I_2$ divided by $r_\\perp^2 h$ deviates from unity at that order, the identity fails beyond the demonstrated precision. A complete calculation inside the light-cylinder boundary would similarly settle whether the angular-momentum sum must precede the spatial integral.","tokens_in":21392,"feed_emoji":"🌀","tokens_out":9549,"duration_ms":78076,"temperature":0.7,"pith_summary":"This paper sets out to establish that a rotating, weakly interacting scalar Bose gas obeys the same relation between rotation and matter distribution as a classical gas: the moment of inertia density is $I = r_\\perp^2 h$, where $r_\\perp$ is the distance from the rotation axis and $h = p + e$ is the enthalpy density. The relation is verified explicitly in $\\phi^4$ theory through order $\\lambda^{3/2}$, including the resummation of ring (daisy) diagrams, and for any value of the field mass. The paper also argues that a previous calculation reporting a negative moment of inertia at large coupling mishandled the summation over angular-momentum modes and the spatial integration over Bessel functions. If the argument is right, interactions lower the moment of inertia through the thermal mass but cannot make it negative in this scalar model.","feed_headline":"Interacting Bose gas keeps the classical rotation law","feed_subtitle":"Interactions shrink the moment of inertia through the thermal mass but never make it negative.","key_machinery":"The load-bearing object is the two-particle-irreducible (2PI) free energy truncated at one loop, combined with a momentum-independent self-energy $\\Pi$ fixed by the gap equation $\\Pi = (\\lambda/2)\\int dP_\\Pi\\, n_B(\\varepsilon_\\Pi)$, the daisy/ring resummation. Momentum independence is what lets the integrands for $I_1$ and $I_2$ collapse into the same integrals that define the kinetic pieces $e'$ and $p'$ of the energy and pressure densities, making $I = r_\\perp^2(e'+p') = r_\\perp^2 h$ a bookkeeping identity. The second piece of machinery is the Bessel-function summation, $\\sum_\\ell J_\\ell(z)^2 = 1$ and $\\sum_\\ell \\ell^2 J_\\ell(z)^2 = z^2/2$, together with the ordering rule that the angular-momentum sum must be performed before the transverse spatial integration.","core_discovery":"The central claim is the identity $I = r_\\perp^2 h$ for the finite-temperature self-interacting scalar, shown to hold at $O(\\lambda^{3/2})$ for arbitrary vacuum mass $m$. Writing the zero-rotation moment of inertia as $I = I_1 + I_2$, where $I_1$ comes from the two-point angular-momentum correlation function and $I_2$ from the $\\Omega^2$ piece of the Lagrangian, the connected four-point vertex contributes zero at this order; the surviving disconnected pieces give $I_1 = r_\\perp^2 e'$ and $I_2 = r_\\perp^2 p'$, whose sum is $r_\\perp^2 h$. The same identity survives when the free propagator is replaced by the daisy-resummed propagator built from the momentum-independent self-energy satisfying the gap equation. The earlier negative-moment-of-inertia result is traced to an incorrect order of operations: integrating over all space before summing over the angular-momentum quantum number produces a divergent $\\sum_\\ell \\ell^2$ that was regularized by hand, whereas the correct treatment performs the $\\ell$ sum first using Bessel identities and then integrates over $r_\\perp$. In the resummed large-coupling limit the enthalpy falls like $(\\ln \\lambda)^4/\\lambda$, so self-interaction monotonically diminishes $I$ while keeping it positive.","pith_inferences":["Going beyond the paper, the structure of the proof suggests that any field theory whose self-energy is momentum-independent at the relevant order will satisfy the same $I = r_\\perp^2 h$ identity, so the relation is likely a thermodynamic bookkeeping statement rather than a peculiarity of $\\phi^4$.","A concrete next-step test would be an $O(\\lambda^2)$ computation keeping the sunset momentum dependence; if it preserves the identity, the result is likely exact to all orders, whereas a violation would localize the first place the simple relation breaks.","The ordering prescription for the $\\ell$ sum and the $r_\\perp$ integral predicts that a successful bounded-system calculation inside the light cylinder (still open in the paper's account) should reproduce the same zero-rotation limit, which would provide an independent check of the correction."],"forward_implications":["In the massless limit the explicit expression is $I = r_\\perp^2\\big[\\frac{2\\pi^2 T^4}{45} - \\frac{\\lambda}{4!}\\frac{T^4}{12} + (\\frac{\\lambda}{4!})^{3/2}\\frac{T^4}{3\\pi}\\big]$, with the nonanalytic $\\lambda^{3/2}$ term coming from ring resummation.","With the self-consistent gap equation solved exactly, the moment of inertia falls monotonically as the coupling grows, unlike the naive perturbative expansion, and it remains positive for all $\\lambda$.","The relation $I = r_\\perp^2 h$ holds for any vacuum mass $m$ when $h$ is expressed through the thermal mass $m_\\Pi^2 = m^2 + \\Pi$.","Since $h>0$, self-interactions in this scalar model cannot explain the negative moment of inertia reported for rotating gluon plasma; some other mechanism must be responsible."],"supporting_citations":[{"why":"Provides the standard finite-temperature field theory framework, Matsubara summation formulas, and the $h_n(y)$ functions used for the high-temperature expansions.","marker":"[27]"},{"why":"The prior calculation of the rotating Bose gas whose negative moment-of-inertia result is reanalyzed and attributed to an incorrect order of the $\\ell$ summation and Bessel-function spatial integration.","marker":"[26]"},{"why":"Conjectured the enthalpy-density form of the moment of inertia for a hadron resonance gas, which this paper verifies for the interacting scalar field.","marker":"[17]"},{"why":"Describes the bounded light-cylinder approach with point-dependent self-energy, the alternative whose difficulty motivates the zero-rotation limit taken in this paper.","marker":"[30]"},{"why":"Supplies the two-particle-irreducible formalism underlying the dressed propagator and the self-consistent gap equation.","marker":"[32]"},{"why":"Documents the need to avoid a naive full-propagator replacement in 2PI thermodynamics, justifying the energy-momentum tensor route to the enthalpy.","marker":"[33]"},{"why":"Shows the daisy-resummed gap equation reproduces the exact large-$N$ limit of the $O(N)$ scalar theory, supporting the resummed treatment beyond fixed order.","marker":"[36]"}],"fun_headline_variants":["Interacting Bose gas obeys classical rotation inertia","Rotation law for Bose gas survives interactions","Classical inertia formula holds for quantum gas","Bose gas: interactions preserve the moment of inertia"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on assuming that the one-loop daisy resummation with a momentum-independent self-energy captures every interaction effect relevant at the computed orders, and that in the rotating-frame calculation the angular-momentum sum must be taken before the integral over the transverse distance.","fun_headline_variants_meta":{"raw":{"variants":["Interacting Bose gas obeys classical rotation inertia","Rotation law for Bose gas survives interactions","Classical inertia formula holds for quantum gas","Bose gas: interactions preserve the moment of inertia"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000263,"raw_usage":{"total_tokens":1613,"prompt_tokens":970,"completion_tokens":643,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":586,"completion_tokens_details":{"reasoning_tokens":586}},"tokens_in":586,"tokens_out":643,"duration_ms":5872,"temperature":1.0,"reasoning_tokens":586,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:41:51.842615+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the $O(\\lambda^2)$ sunset corrections to $I_1$, $I_2$, and $h$ separately without assuming a momentum-independent self-energy; if $I_1+I_2$ divided by $r_\\perp^2 h$ deviates from unity at that order, the identity fails beyond the demonstrated precision. A complete calculation inside the light-cylinder boundary would similarly settle whether the angular-momentum sum must precede the spatial integral.","supporting_citations":[{"cited_title":"Moment of Inertia of an Interacting Bose Gas","cited_arxiv_id":"2608.11129","evidence_quote":"The prior calculation of the rotating Bose gas whose negative moment-of-inertia result is reanalyzed and attributed to an incorrect order of the $\\ell$ summation and Bessel-function spatial integration."}],"review_version":1}