{"id":"8e3dc294-2c43-44ac-9c2f-1fb021ad9cff","arxiv_id":"2605.30199","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Causal fermion systems are constructed for globally hyperbolic spacetimes such that their continuum limit satisfies the Euler-Lagrange equations of the causal action principle if and only if the coupled Einstein-Dirac equations hold.","lead":"The paper constructs causal fermion systems for globally hyperbolic spacetimes by identifying the fermionic projector with the one-particle density operator of a quasi-free Hadamard state and incorporating a chart-independent iε regularization. It shows that the Euler-Lagrange equations of the causal action principle hold in the continuum limit if and only if the coupled Einstein-Dirac equations are satisfied.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"iε-regularization's chart-independence and Hadamard preservation lack explicit global construction details needed for the iff claim","rationale":"Reader correctly isolated the regularization as the weakest link from the abstract. Full-text review would be needed to confirm whether the paper supplies the missing global construction; absent that, the equivalence claim remains formally unverified at the level of the abstract alone.","tokens_in":1594,"tokens_out":406,"duration_ms":15508,"concrete_test":"In the section defining the iε-regularization, extract the explicit formula or prescription; check whether it is written in fully covariant, chart-independent language (e.g., using only the metric and causal structure) and whether a proof is given that the resulting two-point function satisfies the Hadamard condition on a general globally hyperbolic manifold (not just locally). If either is missing or relies on a fixed coordinate chart, recompute the continuum limit on a simple curved example (e.g., de Sitter) with an alternative regularization to test sensitivity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an equivalence: EL equations of the causal action hold iff coupled Einstein-Dirac equations. This rests on identifying the fermionic projector with the one-particle density operator of a quasi-free Hadamard state, then performing continuum limit analysis under a chart-independent iε-regularization built into the projector. For the equivalence to be rigorous, the regularization must (a) be definable without reference to any particular chart, (b) preserve the Hadamard property for the state on an arbitrary globally hyperbolic spacetime, and (c) allow the continuum limit to recover the Einstein-Dirac equations without residual regularization artifacts. The abstract asserts this is achieved, but the construction of such a global iε scheme (typically local in Minkowski or specific coordinates) is the least secured step; any chart dependence or failure to control the singular structure uniformly would break the identification and invalidate the iff direction.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper constructs the causal fermion system for globally hyperbolic spacetimes starting from algebraic quantum field theory. The fermionic projector is identified with the one-particle density operator of a quasi-free Hadamard state. Ultraviolet regularization is incorporated via a chart-independent iε-regularization scheme built into the projector. The continuum limit analysis is developed, and it is claimed that the Euler-Lagrange equations of the causal action principle hold if and only if the coupled Einstein-Dirac equations are satisfied.","tokens_in":1811,"tokens_out":374,"duration_ms":17136,"significance":"If the equivalence is rigorously established, the work would provide a concrete bridge between the causal action principle and standard semiclassical gravity in curved spacetime, grounding causal fermion systems in algebraic QFT via Hadamard states. This could strengthen the framework's physical relevance, but the absence of explicit derivations, lemmas, or verification of the regularization scheme prevents assessing whether the result actually holds.","major_comments":[{"comment":"Abstract, paragraph 3: The claim that the chart-independent iε-regularization scheme permits the continuum limit analysis while preserving the identification with the one-particle density operator of a quasi-free Hadamard state lacks any explicit global construction, verification of chart independence, or proof that the Hadamard property is preserved uniformly on arbitrary globally hyperbolic spacetimes. This directly undermines the support for the central iff equivalence, as any residual chart dependence or singular-structure artifacts would invalidate the identification and the recovery of the Einstein-Dirac equations.","section":"Abstract, paragraph 3"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":"The manuscript asserts a strong equivalence result but provides no intermediate steps, lemmas, or explicit regularization construction, making it impossible to evaluate the central claim from the available text."},"author_rebuttal":{"model":"grok-4.3","summary":"We are grateful to the referee for their thorough evaluation of our manuscript. The major comment is addressed in the point-by-point response below, and we will make the necessary revisions to strengthen the paper.","responses":[{"response":"We thank the referee for this observation. Upon review, we acknowledge that while the manuscript describes the iε-regularization scheme and its properties, it does not provide the explicit global construction, detailed verification of chart independence, or a uniform proof of Hadamard property preservation as requested. These elements are necessary to fully support the central claim. We will therefore revise the manuscript to include these explicit constructions, verifications, and proofs in an expanded section on the regularization scheme. This revision will directly address the concern regarding the support for the equivalence to the Einstein-Dirac equations.","revision_made":"yes","referee_comment":"[Abstract, paragraph 3] Abstract, paragraph 3: The claim that the chart-independent iε-regularization scheme permits the continuum limit analysis while preserving the identification with the one-particle density operator of a quasi-free Hadamard state lacks any explicit global construction, verification of chart independence, or proof that the Hadamard property is preserved uniformly on arbitrary globally hyperbolic spacetimes. This directly undermines the support for the central iff equivalence, as any residual chart dependence or singular-structure artifacts would invalidate the identification and the recovery of the Einstein-Dirac equations."}],"tokens_in":1220,"tokens_out":310,"duration_ms":32971,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper constructs causal fermion systems for arbitrary globally hyperbolic spacetimes, links the fermionic projector to a Hadamard state, and uses a chart-independent iε regularization to show that the causal action's Euler-Lagrange equations are equivalent to the Einstein-Dirac system in the continuum limit.\n\nIt does a good job anchoring the construction in algebraic QFT and standard Hadamard states rather than starting from scratch. That gives the equivalence claim some external support. The if-and-only-if statement is a clear target.\n\nThe soft spot is the regularization. Making an iε scheme that is truly chart-independent on a general spacetime, keeps the Hadamard property, and lets the continuum limit go through cleanly is the load-bearing step. The abstract asserts it works, but any hidden coordinate dependence or uncontrolled singular terms would undermine the equivalence. The stress-test concern is on point until the full construction is checked. If the paper provides explicit global definitions and shows how the regularization commutes with the analysis, that would strengthen it.\n\nThis is aimed at people already following the causal fermion systems approach. Someone looking for how that framework handles curved space would find the construction useful. It is worth a serious referee report to verify the regularization details and the limit analysis. The math appears formally grounded in the setup described.","headline":"Causal fermion systems on curved spacetimes with claimed EL equivalence to Einstein-Dirac, regularization is the part to check.","tokens_in":2266,"tokens_out":342,"would_cite":false,"duration_ms":29171,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Euler-Lagrange equations of the causal action principle hold if and only if the coupled Einstein-Dirac equations are satisfied.","keywords":["causal fermion systems","continuum limit","Einstein-Dirac equations","fermionic projector","globally hyperbolic spacetimes","Hadamard state","algebraic quantum field theory","iε-regularization"],"falsifier":"An explicit computation in a concrete globally hyperbolic spacetime (such as a static black-hole exterior) showing a solution of the causal action Euler-Lagrange equations that fails to satisfy the Einstein-Dirac system, or the converse.","tokens_in":2489,"feed_emoji":"","tokens_out":749,"duration_ms":17269,"temperature":0.7,"pith_summary":"The paper builds causal fermion systems on globally hyperbolic spacetimes by starting from algebraic quantum field theory and identifying the fermionic projector with the one-particle density operator of a quasi-free Hadamard state. A chart-independent iε-regularization is introduced to control ultraviolet behavior while preserving this identification. The continuum limit is then taken, and the analysis shows that the variational equations coming from the causal action principle become equivalent to the Einstein-Dirac system. A sympathetic reader would see this as a way to obtain the classical gravitational and fermionic field equations from a single underlying action principle in curved backgrounds.","feed_headline":"Causal action yields Einstein-Dirac equations on curved spacetimes","feed_subtitle":"In globally hyperbolic spacetimes the Euler-Lagrange equations hold exactly when the coupled Einstein-Dirac system is satisfied.","key_machinery":"The chart-independent iε-regularization of the fermionic projector, which enables the continuum limit analysis while preserving the Hadamard-state identification.","core_discovery":"We construct the causal fermion system for globally hyperbolic spacetimes starting in the framework of algebraic quantum field theory. The fermionic projector is identified with the one-particle density operator of a quasi-free Hadamard state. The ultraviolet regularization is built into the fermionic projector via a chart-independent iε-regularization scheme. The continuum limit analysis is developed in globally hyperbolic spacetimes. It is shown that the Euler-Lagrange equations of the causal action principle are satisfied in this setup if and only if the coupled Einstein-Dirac equations hold.","pith_inferences":["The same regularization and limit procedure might be applied to other background geometries or to systems with additional fields to derive their classical equations from the causal action.","If the equivalence survives quantization of the causal fermion system, it could furnish a route from a discrete underlying structure to semiclassical gravity coupled to fermions.","The chart-independent regularization may allow consistent treatment of spacetimes that lack a preferred coordinate chart, such as those with nontrivial topology."],"forward_implications":["The causal action principle supplies a variational principle whose stationary points are precisely the solutions of the Einstein-Dirac equations.","Causal fermion systems can be defined and analyzed on any globally hyperbolic spacetime, not only on Minkowski space.","The equivalence holds for any quasi-free Hadamard state once the iε-regularization is applied.","The continuum limit recovers the classical field equations without additional assumptions on the spacetime geometry beyond global hyperbolicity."],"fun_headline_variants":["Causal action satisfies Einstein-Dirac equations on curved spacetimes","Causal fermions link to Einstein-Dirac via continuum limit analysis","EL equations hold exactly for Einstein-Dirac in causal fermion systems","Causal fermion systems satisfy Einstein-Dirac equations in curved spacetimes"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The ultraviolet regularization is built into the fermionic projector via a chart-independent iε-regularization scheme that preserves the identification with the one-particle density operator of a quasi-free Hadamard state.","fun_headline_variants_meta":{"raw":{"variants":["Causal action satisfies Einstein-Dirac equations on curved spacetimes","Causal fermions link to Einstein-Dirac via continuum limit analysis","EL equations hold exactly for Einstein-Dirac in causal fermion systems","Causal fermion systems satisfy Einstein-Dirac equations in curved spacetimes"]},"model":"grok-4.3","cost_usd":0.013221,"raw_usage":{"total_tokens":5684,"prompt_tokens":576,"num_sources_used":0,"completion_tokens":76,"cost_in_usd_ticks":132212000,"prompt_tokens_details":{"text_tokens":576,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":5032,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":576,"tokens_out":76,"duration_ms":35883,"temperature":1.0,"reasoning_tokens":5032,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T00:21:32.159370+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation in a concrete globally hyperbolic spacetime (such as a static black-hole exterior) showing a solution of the causal action Euler-Lagrange equations that fails to satisfy the Einstein-Dirac system, or the converse.","supporting_citations":[],"review_version":1}