{"id":"7512e968-74af-44b4-b984-c4e956e1bffd","arxiv_id":"2607.09326","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Near-flat initial data for Einstein-Euler with polytropic equation of state n>3 on T^{3} produce future-global solutions that homogenise and asymptote to Einstein-de Sitter.","lead":"The paper proves nonlinear future stability of Einstein-de Sitter cosmologies for the Einstein-Euler system with polytropic fluids of index n>3 on the 3-torus. This shows the standard model of the cold-dark-matter epoch can be dynamically stable once the fluid has enough pressure to homogenise.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates n>3 as the structural limitation and correctly judges that it does not undermine the theorem as stated. The proof architecture (sourced wave gauge with matter-dependent term, ODE control of averages via (5.6)/(5.11), corrected wave energies with ∂_v commutation, polytropic-weighted fluid energies, final absorption by large κ) is standard for the field and fully detailed. Decay rates (4.5) match independent numerics. No further load-bearing gap appears: local well-posedness, gauge propagation, and bootstrap closure are all written out. Verdict remains ACCEPT with high confidence.","tokens_in":67279,"tokens_out":467,"duration_ms":6400,"concrete_test":"Independently re-derive the coercivity of E_{f,η;1} in Definition 7.8 / Proposition 7.9 for the borderline case n=3 (or n=3+ε) and check whether the bulk coefficient 2(1-3/(2n)) remains strictly positive after the div-curl identity (7.31); if the energy fails to control ∥∂_x \rho∥_{L^{2}} at n=3, the restriction is sharp as claimed and the theorem for n>3 is unaffected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 4.1) is a fully written bootstrap for the gauge-fixed Einstein–Euler system with polytropic EOS on T^{3}. The n>3 restriction is load-bearing for coercivity of the corrected fluid energy (Definition 7.8, Proposition 7.9), but the authors flag it explicitly, match numerical rates from [FM26], and conjecture instability for n<3. The matter-dependent gauge source (1.11)/(3.11), material-derivative commutation (Proposition 4.7, Lemma 6.6), and absorption of critical terms by large κ (Theorem 8.1) close the estimates without circularity or hidden assumptions. No internal inconsistency or unstated gap undermines the stated theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves nonlinear future stability of Einstein–de Sitter (EdS) cosmologies as solutions of the Einstein–Euler system with polytropic equation of state p = C ρ^{1+1/n} for n > 3, vanishing cosmological constant, and spatial topology T³. After a conformal rescaling that normalises the expected EdS asymptotics and the imposition of a sourced wave gauge whose source functions contain both a large damping parameter κ and a novel matter-dependent term involving (ρ_av − 12) + 12 h^{00}_av, the authors obtain a quasilinear wave-transport system. A bootstrap argument controls spatial averages by ODEs (Proposition 5.5), higher-order metric derivatives by corrected wave energies that are commuted with the material derivative (Propositions 6.8 and 6.11), and fluid derivatives by a corrected L² energy whose coercivity requires n > 3 (Definition 7.8, Proposition 7.9). Critical linear source terms are absorbed by taking κ large (Theorem 8.1). The resulting solutions are future-geodesically complete and asymptote to a spatially homogeneous EdS spacetime with the decay rates (4.5).","tokens_in":67468,"tokens_out":790,"duration_ms":8282,"significance":"This is the first nonlinear stability theorem for a physically realistic, matter-dominated, decelerated cosmological model with vanishing Λ. It resolves a long-standing tension between the linear instability of dust EdS and the use of EdS as a large-scale model of the cold-dark-matter epoch, by showing that a polytropic fluid with n > 3 supplies enough pressure for homogenisation while still producing EdS asymptotics. The technical innovations—matter-dependent gauge source, material-derivative commutation for improved decay, and absorption of critical terms by large κ—are sharp enough to recover the numerical rates of [FM26] and are likely reusable for other matter models compatible with the same expansion rate. The restriction n > 3 is stated explicitly and matches the authors’ own numerical conjecture of instability for n < 3.","major_comments":[],"minor_comments":[{"comment":"In Definition 3.6 and the subsequent discussion of the gauge source Y^μ, a short remark clarifying that the combination (ρ_av − 12) + 12 h^{00}_av is precisely the quantity that appears as a critical source in the averaged spatial-metric equations would help the reader see why the novel term is necessary.","section":null},{"comment":"The bound τ₀ ≥ ε^{-4n} used in Proposition 5.5 and Theorem 8.1 is stated without a one-line justification of the exponent; a brief parenthetical explaining that it converts the non-integrable remainder into an O(ε³) term would improve readability.","section":null},{"comment":"Several places (e.g., the paragraph after (1.16) and Remark 1.3) refer to “numerical rates found in [FM26]”; adding the explicit numerical exponents next to the analytic rates (1.16)–(1.17) would make the comparison immediate.","section":null},{"comment":"Typographical inconsistencies appear in the conformal factor (sometimes τ^{-2}, sometimes τ^{-4} for the metric) and in the indexing of multi-indices; a uniform convention would reduce the chance of misreading.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical, but the central bootstrap is complete and the n > 3 restriction is handled honestly. I see no reason to request a major revision; the result is ready for publication in a top GR/mathematical-physics journal."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is the first nonlinear future-stability result for a realistic Λ=0 matter-dominated cosmology with compact spatial topology. EdS was long thought unstable (linear dust analysis, numerics), and every prior global stability theorem either needed accelerated expansion or treated vacuum/Milne. Here they close it for polytropic fluids with n>3: near-flat initial data on T^{3} launch future-global solutions that homogenise to an EdS-like background with explicit rates matching the Marshall–Fajman numerics.\n\nWhat is new is the combination of decelerated expansion, fluid-driven leading-order geometry, and compact topology. The technical pieces that make it work are the matter-dependent gauge source that kills the critical average combination (ρ_av−12)+12h^{00}_av, material-derivative commutation that improves fluid decay enough to feed the metric energies, and the polytropic-weighted corrected fluid energy whose coercivity forces n>3. The bootstrap is fully written: local well-posedness, gauge propagation, ODE averages, corrected wave and fluid energies, absorption of critical terms by large κ. No circularity, no free parameters that are later “predicted.”\n\nThe soft spot is real but flagged: n>3 is load-bearing for the fluid-energy correction. For n<3 they conjecture instability; n=3 is open. That is a genuine restriction, not a hidden gap. Everything else (κ large, τ_{0} large, ε small) is standard bootstrap bookkeeping.\n\nThis is for people who work on mathematical cosmology or Einstein–matter systems. The argument is long and technical, but it is clean and the rates are sharp. I would send it to referees without hesitation; it deserves a careful read and will be cited. Engage with it.","headline":"First nonlinear future-stability theorem for Einstein–de Sitter under a polytropic fluid with n>3; the bootstrap is complete and the n>3 restriction is the only real structural limit.","tokens_in":68072,"tokens_out":467,"would_cite":true,"duration_ms":8792,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","35Q76","83F05"],"pacs":["04.20.Ex","98.80.Jk"],"model":"grok-4.5","headline":"Einstein–de Sitter cosmologies are nonlinearly stable when the fluid is polytropic with index n>3.","keywords":["Einstein-de Sitter","nonlinear stability","Einstein-Euler","polytropic fluid","decelerated expansion","sourced wave gauge","homogenisation"],"falsifier":"A numerical or analytic construction of a polytropic Einstein–Euler solution with index n>3, initially close to Einstein–de Sitter on T^{3}, that develops a shock or fails to homogenise the density within finite conformal time would refute the theorem.","tokens_in":68166,"feed_emoji":"🌌","tokens_out":652,"duration_ms":8614,"temperature":0.7,"pith_summary":"The Einstein–de Sitter universe is the standard model of the cold-dark-matter era: a flat, homogeneous, decelerating cosmos filled with pressureless dust. Linear analysis and numerics have long suggested that this model is unstable. This paper proves that the picture changes when the matter is a polytropic fluid with polytropic index greater than three. For an open set of initial data on the three-torus that are close to a flat metric with positive density, the Einstein–Euler evolution exists for all future time, remains close to the Einstein–de Sitter family, and the metric, density and velocity homogenise to a spatially homogeneous Einstein–de Sitter solution. The result supplies the first rigorous nonlinear stability theorem for a physically realistic, matter-dominated, decelerated cosmology with vanishing cosmological constant.","feed_headline":"Einstein–de Sitter is nonlinearly stable for polytropic fluids","feed_subtitle":"Open set of near-flat data on the three-torus homogenises to EdS when the polytropic index exceeds three","key_machinery":"A sourced wave gauge whose gauge source functions contain the combination of averaged lapse and averaged fluid density, together with material-derivative commutators and corrected L^{2} energies for both the metric wave equations and the polytropic Euler system; the correction produces a coercive damping term only when n>3.","core_discovery":"There exists an open family of future-global solutions of the Einstein–Euler system with polytropic equation of state of index n>3 on T^{3} whose expansion-normalised metric, density and velocity remain bounded in high Sobolev norms and converge, with explicit decay rates, to a spatially homogeneous Einstein–de Sitter spacetime. In particular the physical metric asymptotes to the Einstein–de Sitter form and the solutions are future-causally geodesically complete.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Near-flat T³ data homogenise to Einstein-de Sitter for polytropic n>3","Einstein-de Sitter is nonlinearly stable under polytropic Einstein-Euler","Open set of near-flat metrics on T³ asymptote to Einstein-de Sitter","Polytropic fluids yield future global convergence to Einstein-de Sitter","Einstein-Euler flow drives near-flat T³ data to Einstein-de Sitter form"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The fluid must have polytropic index strictly larger than three; below that threshold the energy correction that produces integrable decay fails and the paper itself expects instability.","fun_headline_variants_meta":{"raw":{"variants":["Near-flat T³ data homogenise to Einstein-de Sitter for polytropic n>3","Einstein-de Sitter is nonlinearly stable under polytropic Einstein-Euler","Open set of near-flat metrics on T³ asymptote to Einstein-de Sitter","Polytropic fluids yield future global convergence to Einstein-de Sitter","Einstein-Euler flow drives near-flat T³ data to Einstein-de Sitter form"]},"model":"grok-4.5","effort":"low","cost_usd":0.004736,"raw_usage":{"total_tokens":1320,"prompt_tokens":700,"num_sources_used":0,"completion_tokens":113,"cost_in_usd_ticks":47360000,"prompt_tokens_details":{"text_tokens":700,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":507,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":700,"tokens_out":113,"duration_ms":4489,"temperature":1.0,"reasoning_tokens":507,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T03:51:03.577438+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"A numerical or analytic construction of a polytropic Einstein–Euler solution with index n>3, initially close to Einstein–de Sitter on T^{3}, that develops a shock or fails to homogenise the density within finite conformal time would refute the theorem.","supporting_citations":[],"review_version":1}