{"id":"6d904f33-6277-48a5-83e2-c681c7f6034d","arxiv_id":"2608.09897","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"White noise in the second-order kurvature density is real, but it is not inherited by the comoving curvature perturbation as an infrared pole, invalidating the k_BH bound on the small-scale primordial power spectrum.","lead":"This paper re-examines a recent claim that tiny fluctuations on very small scales could imprint white noise on the largest observable scales through a quantity called the kurvature density. It confirms the white noise exists, but shows the earlier leap to a boosted curvature power spectrum was an artifact of using a linear equation at second order, so the proposed constraint on the small-scale spectrum is invalid.","discovery_kind":"replication","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claim lim_{k->0} k^2 R_2 = 0 rests on setting the conserved coefficient F to zero via G = D = 0; a physically allowed constant mode would give F != 0 and reinstate the IR pole.","rationale":"The reader's weakest assumption and the load-bearing concern identified here coincide: the proof that the second-order pole coefficient F vanishes relies on the initial condition G = D = 0, and this is not derived from inflationary matching. The conservation law is real and well presented; I did not find an internal algebraic error in the derivation of F' = 0 or in the soft-limit power counting for C. The issue is that conservation alone cannot set the constant of motion. The paper is explicit about this: it says that had a constant mode G != 0 been assumed, F would be nonzero. Therefore the central claim is conditional, exactly as the reader's CONDITIONAL verdict states. The abstract's unconditional phrasing overreaches the proof. If a future matching calculation shows F is nonzero in standard single-field inflation, the conclusion would be false; if it shows F = 0, the proof would be complete. Since neither has been supplied, keeping the verdict CONDITIONAL is appropriate, with the recommendation to justify G = 0 by an inflationary matching calculation and to qualify the abstract accordingly.","tokens_in":25161,"tokens_out":15253,"duration_ms":156493,"concrete_test":"Use an explicit single-field slow-roll inflation model to compute the second-order comoving curvature perturbation on super-Hubble scales at reheating, match it to the radiation-era solution, and evaluate F from Eq. (64) at the matching surface. If standard matching gives F != 0, then lim_{k->0} k^2 R_2 = F/2 != 0 and the central claim fails; if F = 0, the G = 0 assumption is justified. As a cheaper internal check, recompute Section IV.C with zero initial data for P and P' at a finite eta_i > 0 instead of eta -> 0: F(eta_i) = Xi_0(eta_i), which is generically nonzero, showing that the claimed vanishing result depends on the chosen initial surface.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result (Eq. 74) follows from F = 0 in Eq. (64), but the conservation law (66) only shows that F is time-independent. Section IV.C fixes the initial value of F to zero by demanding G = D = 0 in the homogeneous solution P_hom = G + D/eta^3 at eta -> 0. This is an extra physical assumption, not a consequence of the equations: G is a non-decaying constant mode, so it cannot be discarded by regularity at eta -> 0. In a realistic cosmology the radiation era begins at reheating eta_i > 0, and the second-order state at eta_i is set by matching from inflation. A constant second-order superhorizon curvature mode is not freely inserted by hand; it can be generated by the first-order fluctuations during inflation. The paper itself acknowledges that G != 0 would give F != 0 and hence a nonzero lim_{k->0} k^2 R_2, so the refutation of [2] is conditional on an unproved absence of such a mode. The abstract and Introduction state the protection unconditionally, while the proof also restricts to a perfect fluid in radiation domination in Section V.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper revisits the Large Scale White Noise (LSWN) proposal of Refs. [1,2], working to second order in cosmological perturbation theory in Poisson gauge. It confirms that the covariant kurvature density Δρ does acquire a white-noise power spectrum on large scales, and it explicitly computes the quadratic source Q for a perfect radiation-dominated fluid. The central new claim is that this white noise is not inherited by the second-order comoving curvature perturbation: lim_{k→0} k²R₂ = 0. The argument proceeds by deriving a conserved coefficient F for the would-be 1/k² pole in ψ₂−Hv₂, showing that, under the chosen homogeneous-mode initial conditions G=D=0, this coefficient is zero. The paper concludes that the k_BH bound on the small-scale primordial power spectrum proposed in Ref. [2] is invalid.","tokens_in":25347,"tokens_out":5783,"duration_ms":55085,"significance":"If the central claim were established without qualification, the paper would resolve an important inconsistency in the recent LSWN literature: the white noise in Δρ is real, but it does not translate into an infrared enhancement of the curvature power spectrum. The paper's positive contributions include a clean second-order derivation of the relation Δρ₂ = (4πGa²)⁻¹(∇²R₂ + Q − ∇²C), an explicit computation of the weight function W(η,q), and the observation that the soft-limit pole coefficient obeys a conservation law. These are genuine analytic results and are presented transparently. The main weakness is that the headline protection claim is proved only under the initial-condition assumption G=D=0 and only for a perfect fluid in radiation domination, yet the abstract and introduction state it unconditionally. The structural derivation is not circular, but the absence of a primordial second-order superhorizon mode is an extra physical assumption that needs to be stated and justified.","major_comments":[{"comment":"The proof that F=0, and hence that lim_{k→0} k²(ψ̃₂−Hṽ₂)=0, does not follow from the second-order Einstein equations alone. Equation (66) establishes only that F is time-independent; its value is fixed by the initial data through the homogeneous solution P_hom = G + D/η³. The choice G=D=0 is an additional physical assumption, namely that there is no primordial second-order superhorizon curvature mode. The manuscript itself acknowledges that G≠0 would give F≠0. Since Eq. (74) and the central claim depend on this choice, the unqualified statement in the abstract and Introduction that R₂ is protected is not supported by the derivation as presented. The claim must be made conditional on the vanishing of such a mode, or a physical argument for G=0 must be supplied.","section":"§IV.C, Eqs. (64)–(70)"},{"comment":"The proof is restricted to a perfect fluid in radiation domination, and the early-time limit η→0 is used to discard the homogeneous mode. In a realistic cosmology the radiation era begins at a finite reheating time η_i>0, so a constant second-order soft mode present at η_i is not excluded by regularity at η→0; matching from an inflationary phase is not discussed. Section V explicitly limits the proof to a perfect fluid in radiation domination, but the abstract and Introduction state the protection of R₂ without these qualifications. The scope of the central result should be stated consistently throughout, or the generality of the conclusion should be established.","section":"§V and §IV.C"},{"comment":"The abstract says that “R₂ is protected from developing any such IR enhancement” and that the constraint proposed in Ref. [2] is therefore invalid. Given Major Comments 1 and 2, the second statement is stronger than what is proved: the refutation of the k_BH bound is conditional on the absence of a primordial second-order homogeneous mode and on the perfect-fluid/radiation-domination setting. While the paper later notes these limitations, the headline claims should carry the same qualifications; otherwise the reader is presented with an overstatement of the result.","section":"Abstract and Introduction"}],"minor_comments":[{"comment":"After Eq. (36) the “prim” superscript on R₁ is dropped, so it should be made explicit that P_R1(q) in Eq. (44) denotes the primordial power spectrum, not the full time-dependent one.","section":"Eq. (44) and preceding text"},{"comment":"The left panel caption says “Behavior of the kernel (48),” but Eq. (48) defines k_BH as an integral and the weight function W; please clarify that the plotted object is W(η,q), not the integrand f(η,k,q) of Eq. (43).","section":"Fig. 1"},{"comment":"The sentence “the apparent IR divergence in Eq. (47) is an artifact of using the first-order dictionary” is accurate, but it would be helpful to restate explicitly that Eq. (47) also assumes P_R1 is the first-order dimensionless spectrum and that the second-order contribution R₂ is being identified with the full R; this is clear from context but deserves a one-sentence reminder.","section":"§III, after Eq. (47)"},{"comment":"The remark that R₂ itself develops a white-noise contribution from C is interesting, but it is presented in a footnote-like aside; consider placing it in the main text with a precise statement of the expected k→0 limit of the R₂ power spectrum, since this is a natural follow-up for readers.","section":"§V, future directions"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of the journal and the derivations are presented in a transparent, step-by-step manner. The main issue for the editor is the gap between the unconditional claims in the abstract and the conditional content of the proof: the conservation law F'=0 fixes only the time independence of the pole coefficient, while its vanishing relies on the homogeneous-mode initial conditions. This is fixable by qualification or by adding a physical argument for G=0. I also note that the author is a co-author of the two papers being criticized [1,2]; the manuscript discloses this, and I do not see a circularity problem in the technical derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a clean, honest correction of the author's own earlier claim. The key new pieces are the exact second-order relation Delta-rho_2 = (4 pi G a^2)^{-1}(nabla^2 R_2 + Q - nabla^2 C), the explicit demonstration that Q remains finite in the soft limit while nabla^2 C and k^2 R_2 vanish, and the conservation law showing that the coefficient F of the would-be 1/k^2 pole is time-independent. The specific diagnosis of the error in [2]—using the linear Poisson equation to relate two genuinely second-order quantities—is correct and is the right way to retire the k_BH bound. The explicit radiation-domination kernel and weight function are useful, and the paper is appropriately candid that the LSWN in Delta-rho_2 itself is real; only the step to P_R is wrong. The algebra is long and not machine-checked, but the structural argument is coherent and the soft-limit power counting is convincing.\n\nSoft spots, in proportion. First, the abstract and introduction state the protection of R_2 unconditionally, while the proof in Section V is restricted to a perfect fluid in radiation domination. Since the target [2] was also a perfect-fluid radiation-domination calculation, this does not undermine the refutation, but the scope should be qualified. Second, the central result depends on G = D = 0, i.e., no homogeneous second-order 1/k^2 mode at early times. The paper acknowledges this explicitly: a non-zero constant mode would give F != 0 and reinstate the pole. In the standard treatment of second-order perturbations sourced by first-order fluctuations, setting the homogeneous mode to zero is the customary and reasonable choice, and this is not circular. But it is an initial-condition assumption, not a consequence of the equations, and a critic can legitimately ask whether inflationary matching generates such a mode. The conservation law is solid; the vanishing of F is conditional. That distinction should be in the abstract and discussed against inflationary matching. Minor: the residual white noise in R_2 from C is noted but not quantified, and the possible identification of F with the Langlois–Vernizzi charge is left open; both are fine as future work.\n\nCitation pattern is fine: the self-citations to [1,2] are exactly the claims being corrected, and the standard perturbation-theory references are appropriate. The paper deserves a serious referee. It is a substantive correction to a recently proposed constraint, the main argument holds up under the stated assumptions, and the remaining issues are about precision of scope and the initialization assumption, not about the core mechanism. I would send it to review and would cite it in my own work.","headline":"A clear, honest self-correction that fixes the second-order dictionary and kills the claimed IR pole in R2, with the caveat that the vanishing of the pole coefficient is conditional on assuming no primordial 1/k^2 second-order mode and the proof is limited to a perfect fluid in radiation domination.","tokens_in":25919,"tokens_out":3549,"would_cite":true,"duration_ms":36548,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Second-order cosmology kills the claimed infrared enhancement of the curvature power spectrum.","keywords":["cosmological perturbation theory","second order","kurvature density","white noise","infrared enhancement","primordial power spectrum","radiation domination","curvature perturbation"],"falsifier":"A direct check would be to compute $F$ or $\\lim_{k\\to0}(k^2 R_2)$ in an explicit second-order radiation-domination setup that includes a nonvanishing homogeneous solution $P_{\\rm hom}=G+D/\\eta^3$; if a nonzero constant mode $G$ can be physically generated rather than inserted by hand, the conclusion $F=0$ fails. A second, complementary check is to repeat the soft-limit analysis for an imperfect fluid or during matter domination: if the source $\\tilde{\\Xi}$ develops an $O(\\epsilon^{-2})$ component or the conservation law $F'=0$ is broken, then the infrared protection of $R_2$ does not hold in those regimes.","tokens_in":24889,"feed_emoji":"🌌","tokens_out":2888,"duration_ms":26105,"temperature":0.7,"pith_summary":"This paper re-examines the Large Scale White Noise effect in second-order cosmological perturbation theory and separates what is real from what is an artifact. It confirms that the covariantly defined kurvature density $\\Delta\\rho$ genuinely develops a scale-invariant white-noise spectrum at second order. But it shows that this white noise does not carry over to the comoving curvature perturbation $R_2$: the coefficient of a would-be $1/k^2$ pole is conserved and vanishes, so $\\lim_{k\\to0}(k^2 R_2)=0$. The earlier proposal that linked the kurvature white noise to a $1/k$ contribution in the primordial curvature power spectrum, and then to a constraint on small-scale power, is therefore invalid. For a sympathetic reader, the significance is that a potentially powerful window onto small-scale primordial physics is closed, while the true second-order dynamics still leave a softer, infrared-finite imprint.","feed_headline":"White noise stops at the curvature perturbation, not the CMB","feed_subtitle":"A purported infrared boost to the primordial power spectrum is shown to be an artifact of mixing first- and second-order equations.","key_machinery":"The load-bearing identity is the exact second-order relation $\\Delta\\rho_2 = \\frac{1}{4\\pi G a^2}\\!\\left(\\nabla^2 R_2 + Q - \\nabla^2 C\\right)$, which replaces the linear Poisson relation $\\nabla^2 R = 4\\pi G a^2 \\Delta\\rho$. Here $Q$ is a quadratic, locally constructed source built from shear and vorticity, and $C$ is the quadratic completion needed to make $R_2$ gauge invariant; in the soft limit $k\\to0$, $\\nabla^2 C$ vanishes while $Q$ stays finite, so the white noise is carried entirely by $Q$. The second load-bearing object is the conserved pole coefficient $F = P'/H + 3P + \\tilde{\\Xi}_0$, defined from the $1/k^2$ part $P$ of the second-order metric perturbation and the soft part of the source $\\tilde{\\Xi}_0$. The paper proves $F' = 0$ identically from the second-order equation of motion, so $F$ can only be set by initial data; requiring no independent second-order super-horizon mode sets $F=0$.","core_discovery":"The central discovery is that the white noise carried by the second-order kurvature density $\\Delta\\rho_2$ resides entirely in a quadratic extrinsic-curvature source $Q$, and that this source is not inherited by the comoving curvature perturbation. Working in Poisson gauge and specializing to a perfect fluid in radiation domination, the paper derives the exact second-order relation $\\Delta\\rho_2 = \\frac{1}{4\\pi G a^2}(\\nabla^2 R_2 + Q - \\nabla^2 C)$, where $C$ is the quadratic completion that converts the metric combination $\\psi_2 - H v_2$ into the gauge-invariant $R_2$. The earlier linear Poisson relation $\\nabla^2 R = 4\\pi G a^2 \\Delta\\rho$ omitted the term $Q - \\nabla^2 C$; since $\\nabla^2 C\\to 0$ in the soft limit while $Q$ tends to a constant, the omitted term is not a small correction but the entire white-noise content. Solving the second-order Einstein equations, the paper proves that the coefficient $F$ of the potential $O(\\epsilon^{-2})$ pole in $R_2$ is an exact constant of motion during radiation domination and, with no primordial second-order homogeneous mode, $F=0$. Hence $\\lim_{k\\to0}(k^2 R_2)=0$, the claimed infrared enhancement is an artifact of mixing first- and second-order equations, and the $k_{\\rm BH}$ bound derived from it does not follow.","pith_inferences":["Going beyond the paper: the finite white-noise piece in $R_2$ from the completion $C$ could still leave a subdominant, scale-independent large-scale signature in the curvature power spectrum, and characterizing its amplitude would give a concrete target for future lattice or numerical Boltzmann calculations.","Going beyond the paper: because the perfect-fluid radiation source $Q$ grows with internal wavenumber for a scale-invariant primordial spectrum, the same UV sensitivity that motivated the $k_{\\rm BH}$ bound is still present in $\\Delta\\rho$, so realistic imperfect-fluid effects such as viscosity or Silk damping may act as the physical cutoff.","Going beyond the paper: the no-pole result depends on the absence of a primordial second-order $1/k^2$ curvature mode; a testable extension would be to check whether non-Gaussian initial conditions or vector/tensor sources can generate a nonzero $F$ at later times.","Going beyond the paper: the mismatch $Q \\neq \\nabla^2 C$ is the precise sense in which the linear Poisson relation fails as a second-order dictionary, and the same failure could affect other attempts to convert covariant nonlinear curvature measures into statements about gauge-invariant perturbation variables."],"forward_implications":["The $k_{\\rm BH}$ bound proposed in Ref. [2], and its inferred constraint on the small-scale primordial power spectrum, do not apply.","The second-order kurvature density $\\Delta\\rho_2$ still has a genuine, large-scale white-noise spectrum, now computed explicitly during radiation domination including the exact weight function.","The comoving curvature perturbation $R_2$ is protected: $\\lim_{k\\to0}(k^2 R_2)=0$, so no $1/k$ contribution to the dimensionless curvature power spectrum arises from this mechanism.","Because $C$ is $O(\\epsilon^0)$, $R_2$ itself acquires a finite, infrared-convergent white-noise contribution at second order, distinct from the claimed enhancement.","The proof holds for a perfect fluid in radiation domination; extending it to imperfect fluids, neutrino free streaming, or other eras is left as an open problem.","In the soft limit, the conserved pole coefficient $F$ may be related to a Langlois-Vernizzi-type conserved charge, a connection the paper flags but does not establish."],"supporting_citations":[{"why":"Introduces the kurvature density and proposes that it develops large-scale white noise; the paper confirms this part of the claim.","marker":"[1]"},{"why":"Derives the $k_{\\rm BH}$ bound by converting the kurvature white noise into an infrared pole in $R$ through the linear Poisson relation; the paper shows this step is inconsistent.","marker":"[2]"},{"why":"Supplies the notation and conventions for second-order cosmological perturbation theory used throughout the calculation.","marker":"[5]"},{"why":"Provides the companion reference for the perturbative formalism, including connection and metric expansions used in the appendices.","marker":"[6]"},{"why":"Establishes the first-order comoving curvature perturbation $R_1$ and its relation to metric and velocity perturbations, used to identify $\\Delta\\rho_1 = \\nabla^2 R_1/(4\\pi G a^2)$.","marker":"[7]"},{"why":"Introduces a conserved nonlinear quantity in cosmology that the paper suggests may be connected to the conserved soft-limit pole coefficient $F$.","marker":"[10]"},{"why":"Extends the conserved nonlinear perturbation analysis and is referenced as a possible identification for the conservation law found here.","marker":"[11]"}],"fun_headline_variants":["White noise skips curvature perturbation, stays in density","Second-order white noise can't boost curvature perturbation","Curvature perturbation protected from white noise enhancement","Claimed white noise boost to curvature is linear-equation artifact"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes there is no pre-existing second-order curvature mode with a $1/k^2$ component on super-horizon scales—the homogeneous soft-mode coefficients $G$ and $D$ are set to zero—and it is restricted to a perfect fluid in radiation domination, so the protection of $R_2$ is not established for imperfect fluids or other epochs.","fun_headline_variants_meta":{"raw":{"variants":["White noise skips curvature perturbation, stays in density","Second-order white noise can't boost curvature perturbation","Curvature perturbation protected from white noise enhancement","Claimed white noise boost to curvature is linear-equation artifact"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000614,"raw_usage":{"total_tokens":2898,"prompt_tokens":1037,"completion_tokens":1861,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":653,"completion_tokens_details":{"reasoning_tokens":1798}},"tokens_in":653,"tokens_out":1861,"duration_ms":13665,"temperature":1.0,"reasoning_tokens":1798,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:23:18.618438+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check would be to compute $F$ or $\\lim_{k\\to0}(k^2 R_2)$ in an explicit second-order radiation-domination setup that includes a nonvanishing homogeneous solution $P_{\\rm hom}=G+D/\\eta^3$; if a nonzero constant mode $G$ can be physically generated rather than inserted by hand, the conclusion $F=0$ fails. A second, complementary check is to repeat the soft-limit analysis for an imperfect fluid or during matter domination: if the source $\\tilde{\\Xi}$ develops an $O(\\epsilon^{-2})$ component or the conservation law $F'=0$ is broken, then the infrared protection of $R_2$ does not hold in those regimes.","supporting_citations":[{"cited_title":"(B6) For future convenience, note that the trace of the latter reads Ci i =−3ψ+∇ 2E","cited_arxiv_id":null,"evidence_quote":"Introduces the kurvature density and proposes that it develops large-scale white noise; the paper confirms this part of the claim."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Derives the $k_{\\rm BH}$ bound by converting the kurvature white noise into an infrared pole in $R$ through the linear Poisson relation; the paper shows this step is inconsistent."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the notation and conventions for second-order cosmological perturbation theory used throughout the calculation."},{"cited_title":"Lettingx µ(τ) be a fluid element’s worldline, withτthe proper time comoving with the fluid, one has uµ = dxµ dτ","cited_arxiv_id":null,"evidence_quote":"Provides the companion reference for the perturbative formalism, including connection and metric expansions used in the appendices."},{"cited_title":"energy” and “momentum","cited_arxiv_id":null,"evidence_quote":"Establishes the first-order comoving curvature perturbation $R_1$ and its relation to metric and velocity perturbations, used to identify $\\Delta\\rho_1 = \\nabla^2 R_1/(4\\pi G a^2)$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces a conserved nonlinear quantity in cosmology that the paper suggests may be connected to the conserved soft-limit pole coefficient $F$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Extends the conserved nonlinear perturbation analysis and is referenced as a possible identification for the conservation law found here."}],"review_version":1}