{"id":"b6176731-88f1-422c-9de3-23f83034cb8b","arxiv_id":"2608.07907","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":4,"one_line_summary":"A one-loop functional derivation gives the local effective action and FLRW energy-momentum tensor for a scalar-channel NJL condensate in curved spacetime, reproducing flat-space mean-field results in the constant-condensate limit.","lead":"The paper derives the curved-spacetime energy-momentum tensor for a vacuum Nambu-Jona-Lasinio fermion condensate using a one-loop functional calculation, giving explicit FLRW energy density and pressure. It also clarifies why the same four-fermion interaction behaves differently in scattering, vacuum condensation, and finite-density pairing, a distinction cosmological models often blur.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the central local T formulas are internally consistent and their derivative-expansion domain is explicitly scoped by the paper.","rationale":"The reader's ACCEPT with moderate confidence is justified. The calculation is lengthy but self-consistent. The normalization and sign conventions were spot-checked against the flat-space mode sums: Eq. (5.14) reduces to Eq. (4.25) for H=0, and the pressure reduces to -rho. The conservation identity (5.16) follows algebraically from the constant-U, constant-F variation of -U + F R. The treatment of the f2/curvature-squared sector is careful: on conformally flat FLRW the Weyl-squared term vanishes, the Euler term is topological, and the remaining box-R term is a boundary term after d=4 subtraction, so omitting it from the bulk energy-momentum tensor is consistent with the declared truncation. The paper explicitly discusses the in-out versus in-in distinction and restricts the claim to the local contribution, so the absence of state-dependent nonlocal terms and particle production is a scope statement rather than a hidden assumption. The only genuinely load-bearing limitation, also identified by the reader, is the derivative-expansion control condition: the heat-kernel series is asymptotic and requires |R|/m_eff^2 << 1 and |nabla R|/m_eff^3 << 1. The paper acknowledges this in Sec. IVC and flags the singular behavior at m_eff=0. Given that the claim is presented as a local one-loop contribution within that regime, this limitation does not invalidate the result; it defines its boundary. No algebraic error or logical gap emerged that would warrant a change to the verdict.","tokens_in":44591,"tokens_out":24587,"duration_ms":301221,"concrete_test":"Independently reconstruct the massive Dirac one-loop effective action from standard coincidence-limit heat-kernel coefficients (e.g., Parker-Toms, Chap. 6) and take the metric variation in spatially flat FLRW; verify that the H^2 coefficient in Eq. (5.14) is exactly -P_d m_eff^2 Gamma(1-d/2) and the (2Hdot+3H^2) coefficient in Eq. (5.15) is one third of the rho coefficient. If the numerical factor 1/6 entering F_reg is reproduced, the central local energy-momentum result is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the chain from Eq. (4.34) to Eqs. (5.14)-(5.15), I find no internal inconsistency: the flat-space limit reproduces Eq. (4.25), the constant-coefficient conservation identity (5.16) holds, and the f2 sector is correctly identified as bulk-trivial on conformally flat FLRW once the four-dimensional subtraction is made. The one substantive limitation is the adiabatic/heat-kernel control condition stated around Eq. (3.11) and acknowledged in Sec. IVC: the local formulas are valid only for |R|/m_eff^2 << 1 and |nabla R|/m_eff^3 << 1, so they are not controlled in the chiral or small-m_eff regime. This is a domain-of-validity boundary on the central claim, not a flaw in the derivation; the paper labels its result as the local contribution and does not claim validity beyond that regime.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a functional description of four-fermion interactions in curved spacetime and computes the one-loop local energy-momentum tensor sourced by a scalar-channel NJL condensate. It distinguishes in-out transition amplitudes from in-in expectation values, reviews the role of state data, and contrasts perturbative, NJL, and BCS regimes. The central calculation linearizes the four-fermion interaction with a Hubbard-Stratonovich field, reduces the parity-even Dirac determinant to Laplace-type form, and uses heat-kernel coefficients through fourth adiabatic order to obtain a local effective action. Specializing to spatially flat FLRW spacetime yields the energy density and pressure in Eqs. (5.14) and (5.15). The flat-space limit reproduces the direct mode-sum mean-field calculation, and the conservation identity (5.11) is verified. The paper is explicit that the result is a local massive-saddle expression, with nonlocal, state-dependent, and small-mass contributions outside the stated regime.","tokens_in":44780,"tokens_out":12280,"duration_ms":142029,"significance":"If the central result holds, it supplies a useful covariant baseline for semiclassical-gravity applications of NJL condensation: a one-loop local source with explicit curvature-dependent terms that is internally cross-checked against flat-space mode sums and the scalar heat-kernel benchmark. The paper's strengths include the self-consistent derivation of the gap equation from the same action, the verified conservation relation between the condensate equation and the energy-momentum tensor, the explicit treatment of renormalization structure in curved spacetime, and the pedagogical separation of in-out versus in-in functionals and of NJL versus BCS condensation. No parameters are fitted to the final FLRW formulas. The main limitation is domain of validity: the local derivative expansion requires |R|/m_eff^2 << 1 and |nabla R|/m_eff^3 << 1, so the explicit formulas in Eqs. (5.14)-(5.15) are not controlled in the small-mass or massless regime; the paper itself acknowledges this in Sec. IVC.","major_comments":[],"minor_comments":[{"comment":"The abstract presents Eqs. (5.14)-(5.15) without the derivative-expansion control condition stated near Eq. (3.11). Because the formulas have a singular m_eff -> 0 limit and the paper itself notes in Sec. IVC that the local massive expansion is uncontrolled there, I recommend adding an explicit domain-of-validity sentence to the abstract, such as 'valid for |R|/m_eff^2 << 1 and |nabla R|/m_eff^3 << 1'.","section":"Abstract and Sec. VI"},{"comment":"The statement that the f_2 sector has no four-dimensional spatially flat FLRW bulk variation should be read as applying to the subtracted, exactly four-dimensional local action with constant coefficient; before subtraction, the pole term Gamma(2-d/2) times the S_psi integral does contribute on FLRW. The surrounding text and footnote are correct, but Eqs. (5.14)-(5.15) could be misread as the complete dimensionally regulated one-loop source, so a short clarifying sentence would help.","section":"Sec. V.C"},{"comment":"The paper correctly says that renormalization and matching conditions are needed before the coefficients become physical, but this point could be stated more prominently. Equations (5.14)-(5.15) are regulated local coefficients, not scheme-independent expectation values; their quantitative use requires the counterterm basis in Eqs. (5.17) and (5.20) and the matching conditions described in Sec. V.D.","section":"Sec. V.D"},{"comment":"The gamma-matrix convention footnote is very compressed and may confuse readers; a few explicit lines translating the kinetic operator and spin sums between the two signatures would improve accessibility.","section":"Footnote 1"},{"comment":"There is a typo around Eq. (5.16): 'aswhichshouldbedueto' should be split into 'as which should be due to' or rewritten as a normal sentence.","section":"Eq. (5.16) vicinity"},{"comment":"The BCS grand-potential material is thorough but lengthy relative to the central NJL result. Since the main text already gives the physical BCS/NJL distinction and Appendix E contains the detailed derivation, condensing the main-text BCS discussion would help the paper's focus.","section":"Sec. II.F and Appendix E"}],"recommendation":"minor_revision","confidential_remarks":"I agree with the reader's favorable assessment. The central NJL calculation is internally consistent, the flat-space and conservation checks are convincing, and the paper is honest about the local massive-expansion domain. The manuscript is somewhat long, and the BCS/thermal sections are ancillary to the main result, but this is a scope and presentation matter rather than a correctness concern. No integrity or novelty issues came to my attention."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The core deliverable is a pair of explicit local formulas for the energy density and pressure of a scalar-channel NJL condensate on FLRW, Eqs. (5.14)-(5.15). As far as I know, those expressions are not in the earlier reviews, and they are the reason to read the paper.\n\nThe derivation is careful and honest. The authors fix their normalizations with the flat-space mode sum, reproduce the same determinant result in dimensional regularization, and then verify the curved-space conservation identity (5.11)-(5.16). The heat-kernel coefficients are standard and checked against the scalar benchmark. They also spell out the state data that separate in-out from in-in, and NJL from BCS. That pedagogical structure is a real service, even if parts of Secs. II and III are review material.\n\nThe main soft spot is the domain of validity. The local heat-kernel expansion requires |R|/m_eff^2 << 1 and |nabla R|/m_eff^3 << 1, and the paper says so near Eq. (3.11) and again in Sec. IVC. That means Eqs. (5.14)-(5.15) do not apply in the chiral or small-m_eff regime, which is a place NJL models often live. This is a boundary on the central claim, not a contradiction. A second limitation: the finite part of the condensate kinetic coefficient Z(Theta) is left to a matching condition, so the time-dependent-condensate dynamics are not fully fixed. The constant-saddle four-derivative term in the gap equation also has a spurious singular behavior at m_eff=0, which the authors flag.\n\nI checked the consistency chain from (4.34) to (5.14)-(5.15) and found no internal inconsistency. The flat-space limit and the conservation law both work. So the central result is likely correct. It is a useful tool for semiclassical-gravity applications where the condensate mass is large compared with the curvature scale, and a clear statement of what is missing elsewhere.\n\nI would accept it for peer review. The referee should check the heat-kernel coefficient (4.30) and the metric variation, but there are no red flags. I would cite it if I worked on NJL in cosmology, and it deserves a serious referee.","headline":"A careful, self-consistent derivation of the local one-loop NJL energy-momentum tensor in curved spacetime; the central formulas are new and check out, with the domain of validity honestly scoped.","tokens_in":45328,"tokens_out":2671,"would_cite":true,"duration_ms":27817,"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":"A vacuum Nambu–Jona-Lasinio condensate in curved spacetime generates a local one-loop energy-momentum tensor, and the paper derives its explicit FLRW form in Eqs. (5.14)–(5.15).","keywords":["Nambu–Jona-Lasinio model","curved spacetime","energy-momentum tensor","heat kernel","closed-time-path functional","BCS pairing","FLRW cosmology"],"falsifier":"Evaluate the one-loop fermionic energy-momentum tensor on a fixed spatially flat FLRW background without the derivative expansion—e.g. by a full adiabatic or mode-sum computation adapted to the same NJL saddle—at $H/m_{\\rm eff}$ around unity. If the difference from Eqs. (5.14)–(5.15) does not vanish as $H^2/m_{\\rm eff}^2\\to 0$, or if the local formulas fail to reduce to $p=-\\rho$ at $H=\\dot H=0$, the central claim is disproved.","tokens_in":44389,"feed_emoji":"🔭","tokens_out":7879,"duration_ms":77740,"temperature":0.7,"pith_summary":"This paper attempts to establish a local, one-loop formula for the energy-momentum tensor sourced by a scalar-channel Nambu–Jona-Lasinio (NJL) vacuum condensate on a curved spacetime, and to write it explicitly on a spatially flat FLRW background. The central result is Eqs. (5.14)–(5.15): the regulated energy density and pressure of a constant condensate, expressed through the effective fermion mass $m_{\\rm eff}$, the auxiliary condensate field $\\Theta$, and the Hubble rate $H$. If the derivation is correct, these expressions supply the quantum matter source that semiclassical Einstein equations would use in cosmological models where four-fermion interactions are integrated to a homogeneous NJL condensate. The paper also gives a functional separation of perturbative four-fermion scattering, vacuum NJL condensation, and finite-density BCS pairing, stressing that expectation values in cosmology require the in-in (closed-time-path) functional rather than the in-out functional. The calculation is a derivative (heat-kernel) expansion whose control condition is $|R|/m_{\\rm eff}^2\\ll 1$, and the paper itself observes that the formulas lose validity as $m_{\\rm eff}\\to 0$.","feed_headline":"Vacuum NJL condensate gets a one-loop cosmological stress tensor","feed_subtitle":"The local vacuum energy density and pressure now have explicit forms, ready for semiclassical cosmology.","key_machinery":"The load-bearing mechanism is the Hubbard–Stratonovich linearization of the four-fermion interaction: an auxiliary scalar $\\Theta$ shifts the fermion mass to $m_{\\rm eff}=m+\\Theta$, so the interacting theory is replaced by a free Dirac determinant in a spacetime-dependent mass. The parity-even determinant is reduced with the Schrödinger–Lichnerowicz identity to the Laplace-type operator $K[M]=-\\nabla^2_{\\rm spin}+\\frac{1}{4}R+M^2-\\gamma^\\mu\\nabla_\\mu M$, whose traced heat-kernel coefficients $b_0=4$, $b_1=-4M^2-R/3$, and $b_2=2M^4+\\frac13 R M^2+2(\\nabla M)^2-\\frac23\\square M^2+\\cdots$ carry the local volume, Einstein–Hilbert, curvature-squared, and condensate-gradient operators. The covariant effective action is varied before imposing the FLRW ansatz, which is what yields both energy density and pressure.","core_discovery":"On the paper's own terms, the discovery is that the parity-even one-loop determinant of a Dirac fermion with an NJL mass shift $M(x)=m+\\Theta(x)$ produces a covariant local effective action whose metric variation yields a closed-form energy-momentum tensor. For a constant saddle on a spatially flat FLRW background, the regulated energy density and pressure are\n$$\\$rho^{{\\rm reg}}$_{\\rm MF}=2P_d m_{\\rm eff}^4\\Gamma(-d/2)+\\frac{\\$Theta^{2}$}{4\\$\\lambda$}-P_d m_{\\rm eff}^2\\Gamma(1-d/2)$H^{2}$,$$\n$$$p^{{\\rm reg}}$_{\\rm MF}=-2P_d m_{\\rm eff}^4\\Gamma(-d/2)-\\frac{\\$Theta^{2}$}{4\\$\\lambda$}+\\frac{P_d m_{\\rm eff}^2}{3}\\Gamma(1-d/2)(2\\dot H+$3H^{2}$),$$\nwith $P_d$ the dimensionally continued prefactor of Eq. (4.20). The paper states that the $H=0$ limit reproduces the direct flat-space mean-field calculation, and that a globally constant condensate automatically satisfies the local conservation law when the condensate equation is imposed. The same formalism exhibits the local volume, Einstein–Hilbert, and curvature-squared operators generated by the fermion loop, and explains why BCS pairing requires a different saddle, state data, and Nambu–Gorkov kernel.","pith_inferences":["Editorial extension: the same derivative expansion can be adapted to a slowly rolling condensate, giving a two-field system $(H(t),\\Theta(t))$ whose equations are (5.8)–(5.10); solving them self-consistently would test whether NJL condensates can support nonsingular or dark-energy cosmologies.","Editorial extension: near the chiral limit $m_{\\rm eff}\\to 0$ the local formulas break down, so quantitative cosmological predictions in that regime would require a nonlocal or resummed computation, not just analytic continuation.","Editorial extension: the BCS appendix suggests that a curved-spacetime BCS energy-momentum tensor will require solving for the pairing field $\\Delta(t)$ on the closed time path with a specified initial state, which is a substantial but well-posed extension.","Editorial extension: the finite renormalized coefficient $Z(\\Theta)$ requires a two-point matching; until that is fixed, predictions that depend on the condensate kinetic term are not fully determined by the one-loop local action."],"forward_implications":["In flat spacetime with a constant condensate, Eqs. (5.14)–(5.15) reduce to $p=-\\rho$, the vacuum equation of state of a homogeneous NJL mean field.","On FLRW the one-loop fermion determinant renormalizes the cosmological constant, Einstein–Hilbert, and curvature-squared gravitational couplings; an independent finite $R^2$ coupling contributes nonzero $\\rho_{R^2}$ and $p_{R^2}$ even though the Weyl-squared term drops out in spatially flat FLRW.","A time-dependent condensate is only consistent with local energy-momentum conservation if it satisfies the condensate equation (5.10); prescribing $\\Theta(t)$ by hand generically violates $\\dot\\rho+3H(\\rho+p)=0$.","Finite-density BCS pairing cannot be treated as a vacuum NJL condensate: it needs an attractive projected Cooper channel, occupied mode data, and a Nambu–Gorkov kernel, and in curved spacetime its energy-momentum tensor will depend on the initial density matrix.","A globally constant $\\Theta$ solves the dynamical condensate equation only when $U' - F' R=0$ is compatible with the background, so constant-saddle results are valid on restricted geometries."],"supporting_citations":[{"why":"Supplies the heat-kernel/adiabatic expansion and the control conditions on $R/m^2$ used throughout the derivative expansion.","marker":"[2]"},{"why":"Introduces the NJL mechanism of dynamical mass generation that the scalar condensate realizes.","marker":"[8]"},{"why":"Extends the NJL mechanism to the dynamical symmetry-breaking model whose flat-space gap equation is the baseline.","marker":"[9]"},{"why":"Provides the mean-field/large-N organization and regulator discussion used to define the NJL truncation.","marker":"[10]"},{"why":"Gives the closed-time-path (Schwinger–Keldysh) functional used for in-in expectation values.","marker":"[40]"},{"why":"Places the CTP formalism in curved spacetimes and fixes the causal in-in effective action used here.","marker":"[43]"},{"why":"Introduces the auxiliary-field linearization of the four-fermion interaction.","marker":"[53]"},{"why":"Introduces the Hubbard–Stratonovich transformation used to shift the fermion mass.","marker":"[54]"},{"why":"Provides the proper-time representation of the Green function at the base of the heat-kernel expansion.","marker":"[57]"},{"why":"Gives the traced spinor heat-kernel coefficients needed for the $b_n$ coefficients and their domain of validity.","marker":"[59]"}],"fun_headline_variants":["NJL condensate yields one-loop cosmological stress tensor","Vacuum NJL loop gives FLRW energy density and pressure","One-loop NJL effective action produces explicit stress tensor","Curved-space NJL condensate: one-loop energy momentum solved","NJL saddle leads to local stress tensor in FLRW"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the local heat-kernel/derivative expansion being controlled, i.e. $|R|/m_{\\rm eff}^2\\ll 1$ and $|\\nabla R|/m_{\\rm eff}^3\\ll 1$; the paper itself notes that the formulas become uncontrolled as $m_{\\rm eff}\\to 0$.","fun_headline_variants_meta":{"raw":{"variants":["NJL condensate yields one-loop cosmological stress tensor","Vacuum NJL loop gives FLRW energy density and pressure","One-loop NJL effective action produces explicit stress tensor","Curved-space NJL condensate: one-loop energy momentum solved","NJL saddle leads to local stress tensor in FLRW"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00029,"raw_usage":{"total_tokens":1760,"prompt_tokens":1071,"completion_tokens":689,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":687,"completion_tokens_details":{"reasoning_tokens":607}},"tokens_in":687,"tokens_out":689,"duration_ms":7566,"temperature":1.0,"reasoning_tokens":607,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:41:57.998897+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the one-loop fermionic energy-momentum tensor on a fixed spatially flat FLRW background without the derivative expansion—e.g. by a full adiabatic or mode-sum computation adapted to the same NJL saddle—at $H/m_{\\rm eff}$ around unity. If the difference from Eqs. (5.14)–(5.15) does not vanish as $H^2/m_{\\rm eff}^2\\to 0$, or if the local formulas fail to reduce to $p=-\\rho$ at $H=\\dot H=0$, the central claim is disproved.","supporting_citations":[{"cited_title":"Parker and D","cited_arxiv_id":null,"evidence_quote":"Supplies the heat-kernel/adiabatic expansion and the control conditions on $R/m^2$ used throughout the derivative expansion."},{"cited_title":"A method for the computation of quantum distribution functions,","cited_arxiv_id":null,"evidence_quote":"Introduces the auxiliary-field linearization of the four-fermion interaction."},{"cited_title":"On gauge invariance and vacuum polar- ization,","cited_arxiv_id":null,"evidence_quote":"Provides the proper-time representation of the Green function at the base of the heat-kernel expansion."}],"review_version":1}