{"id":"85884646-62bb-4d5d-8893-28030ec07f02","arxiv_id":"2509.00597","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A memorial essay recounting Yvonne Choquet-Bruhat's impact on gravitational physics and the author's long friendship with her.","lead":"This paper is a personal tribute by Thibault Damour to mathematician Yvonne Choquet-Bruhat, describing her key contributions to general relativity and their interactions from 1975 until her later years. It offers a historical and human portrait rather than new scientific results.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the memoir's central claim is historical and supported by published references; the one uncertain anecdote (fn. 28) is not load-bearing.","rationale":"The manuscript is explicitly a memorial essay, not a research paper: no derivation, data, or falsifiable claim. The reader's verdict UNVERDICTED is appropriate. My own pass found no load-bearing flaw. The flagged fn. [28] is the most uncertain factual detail, but the reader's own text concedes the broader tribute would survive; I agree. The paper's four Section 3 bullet points cite primary sources and can be checked independently. Thus the verdict should remain unchanged.","tokens_in":5638,"tokens_out":4799,"duration_ms":59548,"concrete_test":"As a verification pass, compare Fourès-Bruhat 1956 [9] with ADM 1962 to confirm the 3+1 decomposition claim; check Choquet-Bruhat 1969 [11] for the exceptionality/lack-of-steepening result and Isaacson 1968 [12]; verify Choquet-Bruhat–Marsden 1976 [16] is a near-flat positive-energy theorem; and inspect [18] for the hyperbolic 3+1 system. For fn. [28], search Khalatnikov's 2012 autobiography and IHP records; absence of confirmation would weaken the anecdote but not the memoir's central tribute.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing concern. The central claim—that Choquet-Bruhat's mathematical works contain results of direct importance for gravitational physics—is grounded in four specific, published contributions: [9] on the 3+1 decomposition, [11] on high-frequency gravitational-wave averaging and exceptionality, [16] on near-flat positive energy, and [18] on hyperbolic formulations. These are checkable against the literature, not dependent on the author's memory. The least certain passage is fn. [28] (Khalatnikov's January 1968 IHP talk), which rests on private communication and partial recollection; the paper itself flags the uncertainty. However, even if that date or anecdote is inaccurate, it is an aside in Section 4 and does not support the scientific tribute. Likewise, the Deser recollection in fn. [10] is anecdotal but only explains a citation omission, not the content of [9]. No internal inconsistency or unsupported scientific assertion was found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a memorial tribute to Yvonne Choquet-Bruhat. The author recounts his first encounters with her, then describes four areas in which her mathematical results had direct importance for gravitational physics: the 3+1 decomposition of Einstein's equations, the averaging of strong high-frequency gravitational waves and its relation to Lax–Boillat exceptionality, the near-flat positive-energy theorem (with Marsden), and hyperbolic formulations of the 3+1 evolution system relevant to numerical relativity. The second half of the paper describes their interactions at IHES from 2003 to 2018, including discussions around the BKL conjecture, her later positive-energy proof in arbitrary dimensions, and the 2018 Amaldi Medal. The memoir is explicit about being a personal recollection, and the scientific attributions are anchored in published references ([1], [8], [9], [11], [16], [18], [20]–[23], [29]). The only clearly uncertain historical detail, the January 1968 Khalatnikov seminar (fn. [28]), is already marked as a private communication that is only partly confirmed.","tokens_in":5903,"tokens_out":3439,"duration_ms":41632,"significance":"As a historical and personal tribute, the paper serves a useful purpose: it documents, with published references, Choquet-Bruhat's priority in several results that are often attributed primarily to others, notably the 3+1 decomposition (usually credited to ADM) and the hyperbolic reduction relevant to numerical relativity. The paper makes no technical claims that require verification, and the author is appropriately careful to distinguish memory from documented fact. The load-bearing scientific content is checkable against the literature, and the author does not rely on unverifiable reminiscence for the central tribute. Strengths include the explicit hedging in footnotes [10] and [28], the inclusion of the Golden Oldie republication [1] and its editorial note [2], and the connection of older results to recent work ([15], [17], [19]). The weakest anecdote, fn. [28], is non-essential and already flagged as uncertain, so it does not undermine the main message.","major_comments":[],"minor_comments":[{"comment":"The lapse-evolution conditions are garbled in the text: \"( ∂t − Lβ) = −α2K\" should likely read \"(∂_t − £_β) α = −α^2 K\", and the \"1+log\" condition \"(∂t−Lβ) = −2αK\" should read \"(∂_t − £_β) α = −2α K\". Please correct these expressions and use a consistent notation for the Lie derivative.","section":"Section 3, hyperbolic formulations paragraph"},{"comment":"Typo: \"her autobiogaphy [26]\" should be \"her autobiography [26]\". Also, \"Her second scientific book [25] led also to many interesting discussion\" should read \"discussions\".","section":"Section 4, IHES paragraph"},{"comment":"The sentence \"the not so well-known fact that the main results of [27] ... were first publically presented by Isaak Khalatnikov in January 1968 at the Institut Henri Poincaré in Paris\" is presented as established in the main text, even though the footnote says it rests on private communication and partial confirmation. I suggest inserting an attribution such as \"according to Khalatnikov\" in the main text; the footnote's caveat is good but the main-text wording is stronger than the evidence.","section":"Section 4 and footnote [28]"}],"recommendation":"minor_revision","confidential_remarks":"This is a memorial/historical tribute rather than a technical research paper, so the usual proof-checking standards do not apply. I see no citation-pattern problems; the references are appropriate and the footnote attributions are suitably cautious. The only required changes are the small textual and typographical corrections listed above; the uncertain Khalatnikov anecdote does not need to be removed, only softened in the main text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a memorial essay, not a research paper. The new material is personal: Damour's recollections of Choquet-Bruhat's visits to IHES, the Deser comment about the 3+1 decomposition, the Khalatnikov seminar in Paris, and the Amaldi medal story. The scientific content is a concise summary of four contributions (3+1 decomposition, high-frequency gravitational wave averaging and exceptionality, the Choquet-Bruhat–Marsden positive energy theorem, and hyperbolic formulations) with primary references. Nothing here changes physics, but the historical anecdotes are worth preserving.\n\nCredit where due: the paper does exactly what a tribute should. The attributions are checkable against published work, not dependent on memory. The claim that Choquet-Bruhat's works had direct importance for gravitational physics is supportable and not exaggerated. The essay is also honest about uncertainty: footnote 28 explicitly says the Khalatnikov account is partly confirmed and that Christodoulou was distracted; the body text uses 'I think' and 'I don't know' where memory is uncertain. No fitting, no circularity, no invented entities.\n\nSoft spots are minor and are mostly in the nature of the genre. Several anecdotes rest on private communication and cannot be independently verified, but the paper flags that. The Deser footnote is plausible but secondhand. The Khalatnikov date is the weakest specific claim; if wrong, it would not damage the broader tribute. I would also note that the essay is partly autobiographical—Damour's own role (the Amaldi medal, declining co-authorship, the chapter in Yvonne's book) is woven in. That is normal for a tribute and does not undercut the content.\n\nThe reader's 'unverdictable' framing is a bit off. For a memoir, the right question is whether the historical claims are credible and sourced, and they are. The central assertion about direct importance survives scrutiny.\n\nWho should read this: anyone working on the history of general relativity or numerical relativity, and anyone writing about priority of the 3+1 approach or nonlinear wave exceptionality. It deserves a serious referee for a memorial volume or a journal like General Relativity and Gravitation; for a physics research arXiv it is a historical note, but a good one. I would accept it for peer review in an appropriate venue and would cite it when discussing priority of the 3+1 decomposition.","headline":"A sincere, well-referenced memoir that adds a few new recollections to the historical record; not a research result, but solid and honest for what it is.","tokens_in":6275,"tokens_out":1764,"would_cite":true,"duration_ms":24206,"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":"Yvonne Choquet-Bruhat's mathematical results were direct working tools of gravitational physics, from the 3+1 split to wave averaging and positive energy.","keywords":["Yvonne Choquet-Bruhat","general relativity","3+1 decomposition","numerical relativity","high-frequency gravitational waves","positive energy theorem","hyperbolic evolution systems","BKL conjecture"],"falsifier":"Compare Choquet-Bruhat's 1956 paper [9] line by line with the ADM paper [10]: if [9] does not actually contain the lapse-shift 3+1 decomposition with extrinsic curvature and the constraint/evolution split, the central credit claim loses its factual basis.","tokens_in":5612,"feed_emoji":"🌌","tokens_out":10603,"duration_ms":115439,"temperature":0.7,"pith_summary":"This tribute sets out to establish that Yvonne Choquet-Bruhat's mathematically oriented work was not remote from physics but supplied several tools gravitational physics later used. The author argues that her 1956 paper gave the 3+1 decomposition of Einstein's equations, normally credited only to ADM, and that her 1969 analysis of strong high-frequency gravitational waves shows Einstein's equations satisfy Lax-Boillat exceptionality, so waves do not steepen into shocks. It also points to her hyperbolic 3+1 evolution systems, whose lapse condition later generalized into the '1+log' slicing of numerical relativity, and to her proof with Marsden of local positivity of energy. A sympathetic reader would care because the essay changes who gets credit for the mathematical foundations of black-hole simulation and gravitational-wave theory.","feed_headline":"A 1956 decomposition still powers black-hole simulations","feed_subtitle":"This tribute shows how Choquet-Bruhat's 3+1 split, wave averaging, and energy proof became tools of gravitational physics.","key_machinery":"The argument is carried by four concrete mechanisms: the 3+1 decomposition (splitting spacetime into a spatial slice and a time direction, with lapse and shift variables); the two-timing averaging of high-frequency waves with a boundedness condition that yields Lax-Boillat exceptionality, the non-steepening property of nonlinear waves; the critical-point analysis in infinite dimensions used to prove local positivity of energy; and the time-hyperbolicity condition on 3+1 evolution systems that fixes the lapse evolution. Each is the piece of mathematics that later entered physics practice, so together they function as evidence for the paper's credit-revision claim.","core_discovery":"On the paper's own terms, the discovery is that Choquet-Bruhat's results were not merely rigorous mathematics but repeatedly the exact tools physics needed: the 3+1 decomposition of Einstein's equations (1956), a mathematically justified averaging of high-frequency waves that yields their effective stress-energy tensor and shows strong waves satisfy Lax-Boillat exceptionality and do not steepen (1969), a first rigorous local proof of the positivity of energy near flat space with Marsden (1976), and hyperbolic 3+1 evolution systems whose time-hyperbolicity condition later generalized into the '1+log' slicing condition now common in numerical relativity. The paper also presents her later work","pith_inferences":["A natural extension: the non-steepening property of gravitational waves should be observable as the absence of shock features in waveforms from compact binaries; current detectors could look for spectral distortions that this property forbids.","If the January 1968 Khalatnikov seminar account holds, BKL ideas were circulating in Paris a year before Misner's Mixmaster paper; checking Khalatnikov's autobiography and Christodoulou's memory could settle that chronology.","The misattribution pattern suggests a historiographic test: scan early numerical relativity and mathematical relativity papers for citations of the 1956 paper; a citation gap would quantify how undercredited this result was."],"forward_implications":["The standard citation of the 3+1 decomposition should include Choquet-Bruhat's 1956 paper alongside ADM; numerical relativity's foundational split is not exclusively an ADM result.","Einstein's equations are Lax-Boillat exceptional: strong high-frequency gravitational waves do not develop shocks, which is a structural property of the theory relevant to how gravitational radiation propagates.","The '1+log' slicing condition used in modern black-hole codes descends from the lapse evolution law in Choquet-Bruhat and Ruggeri's hyperbolic system.","Positive energy (E ≥ |P|) is a proven property, not just a physical expectation, and it holds in arbitrary spacetime dimension via a spinor proof.","The well-posed Cauchy problem extends to supergravity and Gauss-Bonnet/stringy gravity, so those candidate extensions of Einstein's theory have a sound initial-value formulation."],"supporting_citations":[{"why":"Supplies the original 1950 existence theorem for Einstein's equations in the non-analytic case, which the author says he only slowly appreciated as physics-relevant.","marker":"[1]"},{"why":"The 1956 paper containing the 3+1 decomposition that the author argues is usually misattributed to ADM.","marker":"[9]"},{"why":"The ADM work to which the 3+1 decomposition is normally credited; the comparison baseline for the credit correction.","marker":"[10]"},{"why":"The 1969 high-frequency wave paper establishing Lax-Boillat exceptionality of Einstein's equations.","marker":"[11]"},{"why":"Isaacson's earlier high-frequency effective stress-energy work that the author says [11] improves on in rigor and in proving non-steepening.","marker":"[12]"},{"why":"The 1976 proof with Marsden of local positivity of energy near flat space by critical-point analysis.","marker":"[16]"},{"why":"The 1983 hyperbolic 3+1 system with Ruggeri whose lapse condition later generalized to '1+log' slicing.","marker":"[18]"},{"why":"The Cauchy problem analysis for stringy/Gauss-Bonnet gravity, supporting the claim that her work extends to modified gravity theories.","marker":"[23]"}],"fun_headline_variants":["Choquet-Bruhat's 3+1 split: the math behind black-hole sims","From 1956 to today: her equations drive numerical relativity","How Choquet-Bruhat's geometry became physics' workhorse","Wave averaging and energy proofs: her lasting gravitational legacy","Her 1969 wave result still shapes gravitational-wave theory"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The historical narrative leans on the accuracy of private communications and personal recollections, notably Khalatnikov's account of a January 1968 seminar and Deser's remark that the 1956 decomposition was 'well known'; if those memories are wrong, the specific priority anecdotes weaken, though the broader scientific tribute would largely survive.","fun_headline_variants_meta":{"raw":{"variants":["Choquet-Bruhat's 3+1 split: the math behind black-hole sims","From 1956 to today: her equations drive numerical relativity","How Choquet-Bruhat's geometry became physics' workhorse","Wave averaging and energy proofs: her lasting gravitational legacy","Her 1969 wave result still shapes gravitational-wave theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000139,"raw_usage":{"total_tokens":889,"prompt_tokens":537,"completion_tokens":352,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":281,"completion_tokens_details":{"reasoning_tokens":260}},"tokens_in":281,"tokens_out":352,"duration_ms":4598,"temperature":1.0,"reasoning_tokens":260,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T13:24:03.631355+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compare Choquet-Bruhat's 1956 paper [9] line by line with the ADM paper [10]: if [9] does not actually contain the lapse-shift 3+1 decomposition with extrinsic curvature and the constraint/evolution split, the central credit claim loses its factual basis.","supporting_citations":[{"cited_title":"Existence theorem for the Einsteinian gravita tional field equations in the non- analytic case","cited_arxiv_id":null,"evidence_quote":"Supplies the original 1950 existence theorem for Einstein's equations in the non-analytic case, which the author says he only slowly appreciated as physics-relevant."},{"cited_title":"Sur l’int´ egration des ´ equations dela relativit´ e g´ en´ erale","cited_arxiv_id":null,"evidence_quote":"The 1956 paper containing the 3+1 decomposition that the author argues is usually misattributed to ADM."},{"cited_title":"it was well known","cited_arxiv_id":null,"evidence_quote":"The ADM work to which the 3+1 decomposition is normally credited; the comparison baseline for the credit correction."},{"cited_title":"Construction de solutions radiativ es approch´ ees des ´ equations d’Einstein","cited_arxiv_id":null,"evidence_quote":"The 1969 high-frequency wave paper establishing Lax-Boillat exceptionality of Einstein's equations."},{"cited_title":"Gravitational Radiation in the Limit of High Freq uency. II. Nonlinear Terms and the Effective Stress Tensor,","cited_arxiv_id":null,"evidence_quote":"Isaacson's earlier high-frequency effective stress-energy work that the author says [11] improves on in rigor and in proving non-steepening."},{"cited_title":"Solution of the local m ass problem in general relativity","cited_arxiv_id":null,"evidence_quote":"The 1976 proof with Marsden of local positivity of energy near flat space by critical-point analysis."},{"cited_title":"HYPERBOLICITY OF THE 3 + 1 SYSTEM OF EINSTEIN EQUATIONS,","cited_arxiv_id":null,"evidence_quote":"The 1983 hyperbolic 3+1 system with Ruggeri whose lapse condition later generalized to '1+log' slicing."},{"cited_title":"The Cauchy Problem for Stringy Gravity ,","cited_arxiv_id":null,"evidence_quote":"The Cauchy problem analysis for stringy/Gauss-Bonnet gravity, supporting the claim that her work extends to modified gravity theories."}],"review_version":1}