{"id":"e9109e40-202e-4b3d-b736-0c84d1009c6d","arxiv_id":"2506.11911","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The thesis performs the first elliptic symbol bootstrap to obtain the symbol of the two-loop twelve-point double box, and identifies the first Calabi-Yau threefold geometry in post-Minkowskian gravitational-wave integrals.","lead":"This physics thesis develops new mathematical tools for computing Feynman integrals, the building blocks of particle collision and gravitational wave predictions. It obtains the first elliptic symbol bootstrap result and identifies a new type of geometry, a Calabi-Yau threefold, in gravitational-wave calculations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'first Calabi-Yau threefold at 5PM' claim rests on an unproven completeness of the Baikov leading-singularity classification; a missed topology or subsector could move the 'first'.","rationale":"The reader's weakest assumption correctly identified the completeness of the Baikov leading-singularity analysis, including subsectors and ISP residues, as the fragile point behind the first-Calabi-Yau-at-5PM claim. My stress-test agrees with that broad concern but sharpens it with an internal counterexample from the same thesis: the staggered elliptic ladder family of Sec. 2.6 has an algebraic top-sector leading singularity while the integral is still elliptic, and the authors state that the all-subsector check is left for future work. This demonstrates that top-sector LS algebraicity is not a reliable stand-alone criterion unless all subsectors are checked. The Ch. 4 classification is asserted to include all topologies and subsectors, but the thesis does not provide a proof of that enumeration, and the PM setting has many numerator/ISP choices where residues can hide or fake a geometry. I therefore do not see a fatal flaw, but the 'first' claim should remain conditional on an independent verification of the topology and subsector classification. The reader already reached CONDITIONAL, so my verdict recommendation is UNCHANGED. The concrete test proposed is deliberately IBP/Picard-Fuchs-based because it does not rely on the same leading-singularity criterion being tested.","tokens_in":61379,"tokens_out":5495,"duration_ms":144907,"concrete_test":"Take the four-loop PM topology claimed to yield the first Calabi-Yau threefold, perform an independent IBP reduction (e.g., with Kira or FIRE) on the same propagator set, derive the Picard-Fuchs operator for the top-sector master integral, and factor it. Then repeat for every four-loop topology the thesis labels algebraic or lower-geometric, including all proper subsectors, using the same IBP/Picard-Fuchs criterion. If any topology labelled algebraic produces an irreducible second- or higher-order Picard-Fuchs factor, or if an unclassified topology contributes such a factor, the Baikov leading-singularity classification is incomplete and the 'first CY at 5PM' claim is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that a Calabi-Yau threefold appears for the first time in gravitational-wave physics at fifth post-Minkowskian order is conditional on the completeness and correctness of the Ch. 4 classification of PM Feynman-integral geometries. That classification is performed with loop-by-loop Baikov leading singularities (Sec. 4.3.1), and the geometry of each topology is inferred from the maximal cut. The load-bearing issue is that a top-sector leading singularity is not by itself a sufficient diagnostic of the full integral geometry: the thesis's own staggered elliptic ladder family (Sec. 2.6) has an algebraic leading singularity at the top sector, yet the integral is elliptic, and the authors explicitly leave the all-subsector leading-singularity check for future work. Therefore, unless every contributing PM topology and every proper subsector is independently classified, a topology with algebraic top-sector leading singularity but a nontrivial subsector geometry, or an entirely missed topology or mishandled ISP residue, could move the first appearance of a Calabi-Yau threefold to a different PM order. The thesis asserts the enumeration of all contributing topologies and the completeness of the subsector/ISP analysis rather than proving them. This is not an internal inconsistency, but it is the least secure premise behind the headline 'first' claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This PhD thesis collects published work in two areas. In the N=4 SYM part, it introduces two ten-point ladder families that are claimed to involve the same elliptic curve to all loop orders, provides one-fold elliptic integral representations for them, and initiates an elliptic symbol bootstrap that produces a compact symbol formula for the two-loop twelve-point elliptic double box. In the gravitational-wave part, it classifies Feynman-integral geometries in the post-Minkowskian expansion through four loops using loop-by-loop Baikov leading singularities, identifies a Calabi-Yau threefold at fifth post-Minkowskian order, and derives an epsilon-factorized differential equation for the corresponding integral despite the presence of epsilon-dependent apparent singularities. The thesis is based on the author's published papers [1]-[6] and includes extensive consistency checks of the main computations.","tokens_in":61584,"tokens_out":8431,"duration_ms":115135,"significance":"If the 'first Calabi-Yau threefold at 5PM' claim survives scrutiny, it is a significant result for gravitational-wave amplitude technology, since it delimits the class of special functions needed at the current PM frontier. The two-loop twelve-point double-box symbol is a first example of an elliptic symbol bootstrap and provides a concrete target for elliptic symbol-level integration, with an independent check already cited in ref. [218]. The two ten-point ladder families are useful testbeds for elliptic polylogarithm technology and their explicit three-loop evaluation is a concrete computational achievement. The thesis is strong on verification: the 12-pt symbol is checked against integrability, Steinmann conditions, the hexagon differential equation, symmetry limits, a conformal Ward identity, and the soft limit to the 10-pt double box; the PM classification is cross-checked against known results and, in part, against Picard-Fuchs operators.","major_comments":[{"comment":"The headline claim that a Calabi-Yau threefold appears for the first time at fifth post-Minkowskian order rests on the completeness of the Baikov leading-singularity classification for every contributing topology and every subsector. That completeness is asserted rather than proved. The thesis itself provides a warning example in Sec. 2.6: the staggered elliptic ladder family has an algebraic leading singularity in the top sector, with the elliptic curve inherited from a subsector, and the text explicitly leaves the all-subsector check to future work. Because the same top-sector maximal-cut diagnostic is the main tool of Chapter 4, a missed topology, a mishandled ISP residue, or a nontrivial subsector geometry could move the 'first' appearance to a different PM order. Please either supply a complete all-subsector and ISP analysis for the PM classification, or state the headline claim as conditional on the completeness of the enumeration with the class of checked sectors precisely delimited.","section":"Sec. 4.3.1 and Sec. 4.8, with Sec. 2.6 as a counterexample"},{"comment":"The advertised result that the two ladder families 'involve the same elliptic curve to all loop orders' is stronger than the evidence presented in the thesis. Section 2.8 states that elliptic linear reducibility and the leading-singularity invariance were checked only up to six loops, and that a general proof is expected in the future. The one-fold representations in eqs. (2.94) and (2.95) are therefore established at finite loop order, not at all loop orders. Please either weaken the abstract and introductory claims to 'verified up to six loops with strong evidence for all loops' or provide an induction argument that upgrades the pattern to a proof. As written, the central claim of Part II overstates what is demonstrated.","section":"Abstract and Secs. 2.5-2.8"},{"comment":"The bootstrap fixes more than 400,000 coefficients by solving integrability conditions numerically at random kinematic points using high-precision row reduction. The text reports the number of points and the run time but does not state that the resulting coefficients were subsequently verified to satisfy the integrability polynomials symbolically over the full kinematic domain. If the verification is only numerical, accidental vanishing at the sampled points cannot be excluded in principle. Please specify the exact procedure that turns this numerical computation into a rigorous statement, for example exact rational reconstruction, algebraic independence arguments, interpolation in the cross-ratios, or reliance on the independent check of ref. [218].","section":"Sec. 3.5.1"}],"minor_comments":[{"comment":"The notation '-(chi14 -> infinity)' in eq. (3.64) is informal: the first term is formally divergent in that limit, and the intended subtraction is only understandable through the preceding limiting discussion in eqs. (3.59)-(3.63). Please define the subtracted term explicitly as a limit.","section":"Eq. (3.64)"},{"comment":"The thesis would benefit from a reproducibility note: for the twelve-point bootstrap and the three-loop ladder evaluation, links to the actual Mathematica notebooks or ancillary files should be provided so that the numerical row reductions, the coefficient fixing, and the reported run times can be audited independently.","section":"Computational reproducibility"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a compilation of published papers and preprints, and most technical results have already survived peer review. The remaining issues are about the strength of the claims rather than the correctness of the core derivations, so I do not recommend rejection. The main point to resolve is the completeness of the Chapter 4 classification on which the 'first CY threefold at 5PM' statement depends; a careful limitation statement or an explicit all-subsector analysis would be sufficient."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a compilation thesis, not a new-results paper. The six papers behind it are legitimate, peer-reviewed contributions: the elliptic ladder families, the elliptic symbol bootstrap with the 12-point double-box symbol, the PM geometry classification up to 5PM, and the epsilon-factorized treatment of the CY threefold integral. The thesis adds a coherent narrative, detailed pedagogy, and explicit open questions. If you want to know what is actually known about elliptic Feynman integrals in N=4 SYM and the geometry landscape of PM gravity, this is a good place to look.\n\nWhat stands out: the 12-point double-box symbol result, which was fixed by integrability plus the hexagon differential equation, with multiple cross-checks (Steinmann, extended Steinmann, symmetries, conformal Ward identity). That is a genuine technical achievement. The PM classification is also useful: a systematic loop-by-loop Baikov analysis up to 4 loops (and a 5PM follow-up) that identifies the first CY threefold in gravitational-wave physics. The epsilon-factorized solution of that CY integral, handling apparent singularities, is a real methodological step.\n\nSoft spots: (1) The all-loop statement for the elliptic ladder families is a conjecture beyond six loops. The thesis says so explicitly, but the title and abstract may overstate it. (2) The elliptic symbol bootstrap assumes the Schubert-generated alphabet is complete. The bootstrapped symbol passes many checks, so it is almost certainly right, but completeness is not proven. (3) The 'first CY threefold at 5PM' claim depends on the completeness of the enumerated PM topologies and the subsector/ISP analysis. A top-sector leading singularity can miss subsector geometries, as the thesis itself notes for the staggered ladders. The authors assert completeness, not prove it. So 'first' should be read as 'first within the enumerated set.'\n\nNone of this is fatal. The published results are peer-reviewed and reproducible in principle. The thesis-level claims are clearly flagged as open in the discussion sections. The book-keeping is honest.\n\nWho is this for? A graduate student or a researcher entering these areas would get a lot from the early chapters; a specialist can skip to the discussion sections. As a thesis, it fully deserves a serious defense and publication. As a journal article, it is a compilation, so not a typical submission. For peer review of the underlying results, yes, a serious referee should engage.","headline":"A solid, clearly-written compilation thesis; the underlying results are real, but the 'first CY threefold at 5PM' claim rests on an asserted completeness of the Baikov topology enumeration.","tokens_in":62111,"tokens_out":1937,"would_cite":true,"duration_ms":26848,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.30.-w"],"model":"deepseek-v4-flash","headline":"A Calabi-Yau threefold appears for the first time in gravitational-wave integrals at fifth post-Minkowskian order, and that integral is solved analytically; the same thesis obtains the first symbol of the twelve-point elliptic double box.","keywords":["Feynman integrals","scattering amplitudes","elliptic curves","elliptic symbol bootstrap","Schubert analysis","post-Minkowskian expansion","gravitational waves","Calabi-Yau threefold"],"falsifier":"An independent, exhaustive enumeration of the four-loop (fifth-post-Minkowskian) integral topologies that finds one missing diagram whose leading singularity is a geometry absent from the thesis's classification, a genus-two curve or a Calabi-Yau of a different dimension, say, would falsify the 'first Calabi-Yau threefold' claim; for the solution half, a high-precision numerical evaluation of the 2SF Calabi-Yau integral at fixed kinematics that disagrees with the $\\varepsilon$-factorized formula would falsify it.","tokens_in":61127,"feed_emoji":"🌌","tokens_out":13046,"duration_ms":143356,"temperature":0.7,"pith_summary":"This thesis tries to establish which geometries and special functions actually occur in Feynman integrals, in two very different settings. In planar N = 4 super Yang-Mills theory it claims that two ten-point ladder families share one and the same elliptic curve at every loop order, and, by generalizing the Schubert analysis to elliptic integrals, it produces the first symbol of the two-loop twelve-point elliptic double box as a compact one-line formula. In post-Minkowskian gravity it claims a systematic census, based on the Baikov representation and leading singularities, of the geometries appearing in two-body black-hole scattering up to four loops, identifying the first Calabi-Yau threefold relevant to gravitational-wave physics at fifth post-Minkowskian order. It then solves the integral behind that Calabi-Yau geometry by bringing its differential equation into epsilon-factorized (canonical) form, which required a new method that accommodates epsilon-dependent apparent singularities. If these claims are right, analytic calculations at the current precision frontier, gravitational-wave templates and multi-loop SYM amplitudes, can proceed through geometries beyond polylogarithms with a known function language.","feed_headline":"First Calabi-Yau threefold found in black-hole merger integrals","feed_subtitle":"At fifth post-Minkowskian order the integrals behind black-hole inspiral reach Calabi-Yau geometry, and one is solved.","key_machinery":"The elliptic half runs on the elliptic symbol: the symbol of an elliptic multiple polylogarithm is a tensor product of ordinary logarithms and torus images (periods of the elliptic curve), which turns the bootstrap into linear algebra on letters. The Schubert analysis, solving the momentum-twistor problem of which line in $\\mathbb{CP}^3$ intersects four given external lines, generates those letters, including new elliptic last entries, and the integrability conditions plus the hexagon differential equation fix all coefficients. The gravity half runs on the loop-by-loop Baikov representation, which rewrites an integral in its propagator variables so that the maximal leading singularity exposes the underlying algebraic curve, surface, or Calabi-Yau variety, cross-checked by the factorization of the Picard-Fuchs operator. To solve the Calabi-Yau integral, the load-bearing mechanism is the canonical (epsilon-factorized) form of the differential equation, $\\vec J' = \\varepsilon A(x)\\vec J$, whose construction requires a new transformation that removes apparent singularities depending on the dimensional regulator $\\varepsilon$.","core_discovery":"The central claim is that the geometries of Feynman integrals can be predicted before any calculation and then handled analytically. On the SYM side, the same elliptic curve governs two 10-point ladder families to all loop orders, and the symbol of the 12-point elliptic double box, previously out of reach because direct integration fails, is fixed uniquely by integrability conditions together with the differential equation to the one-loop hexagon, giving the one-line symbol formula of eq. (3.64). On the gravity side, the claim is that a loop-by-loop Baikov leading-singularity analysis classifies all geometries of the post-Minkowskian two-body scattering up to four loops, with the first Calabi-Yau threefold in gravitational-wave physics appearing at fifth post-Minkowskian order; the corresponding integral is then solved by finding an epsilon-factorized differential equation even though the naive equations carry epsilon-dependent apparent singularities, via a new transformation method developed for that purpose.","pith_inferences":["If the classification is complete, the same Baikov census could be rerun for other gravitational observables, such as spin-dependent terms, eccentric orbits, or radiative waveform integrals, and there is no guarantee the first non-polylogarithmic geometry appears at the same loop order there.","The elliptic symbol bootstrap fixed its entire ansatz from integrability alone plus one differential equation; that suggests the same strategy could crack other multi-scale elliptic integrals whose function class is unknown, including massive or non-planar cases.","The apparent-singularity method is likely generic: $\\varepsilon$-dependent apparent singularities are expected to be common in higher-loop Calabi-Yau integrals, so the technique probably transfers to banana integrals and QCD-style multi-scale problems beyond the specific 2SF integral.","One consequence the author does not push: the compact form of the 12-pt double-box symbol reads like an integrated version of the hexagon differential equation, hinting that symbol-level integration may be the natural language for elliptic letters, not just polylogarithmic ones."],"forward_implications":["Post-Minkowskian calculations at and beyond fifth order know in advance which function classes they must confront: polylogarithms below 5PM, then elliptic and K3 geometries, and a Calabi-Yau threefold at 5PM, so no integral should arrive as an unexpected function class.","The epsilon-factorized form for the 2SF Calabi-Yau integral makes that integral evaluable order by order in $\\varepsilon$ via path-ordered exponentials, which is the step needed for analytic 5PM gravitational-wave predictions in that sector.","The symbol of the twelve-point elliptic double box completes the symbol dictionary of the two-loop planar basis in N=4 SYM (together with the pentabox and double pentagon), so all two-loop planar SYM amplitudes are symbolically accessible.","The two 10-point elliptic ladder families provide all-loop-order laboratories where every rung returns to the same elliptic curve, suitable for stress-testing new elliptic integration and bootstrap tools as they are developed.","The new method for $\\varepsilon$-dependent apparent singularities extends the reach of canonical-form techniques beyond the polylogarithmic, elliptic, and previously known Calabi-Yau cases, since those methods could not cope with such singularities."],"supporting_citations":[{"why":"Known eMPL result and symbol of the 10-point double box; supplies the symbol structure that anchors the 12-point bootstrap ansatz.","marker":"[40]"},{"why":"Introduces traintrack integrals and their leading-singularity geometry (CY (L-1)-folds), the shared framework of both thesis halves.","marker":"[48]"},{"why":"Refined traintrack parametrization whose leading singularity obeys the Calabi-Yau condition to all loop orders; underpins the all-loop ladder claims.","marker":"[56]"},{"why":"Constructs the elliptic symbol as iterated integrals on the torus with Eisenstein-Kronecker kernels; the formalism the thesis turns into a bootstrap.","marker":"[75]"},{"why":"Sets the torus-image and modular-parameter conventions, the symbol prime, and the derivative formulas used to impose symbol integrability.","marker":"[213]"},{"why":"The Schubert analysis that predicts polylogarithmic symbol letters from leading-singularity geometry; generalized here to elliptic letters.","marker":"[234]"},{"why":"The Baikov representation, which rewrites PM integrals in propagator variables so maximal leading singularities expose the geometry; the engine of the PM classification.","marker":"[140, 141]"},{"why":"Leading singularities as detectors of non-polylogarithmic geometry; the criterion applied across the PM census.","marker":"[133, 134]"},{"why":"The canonical (epsilon-factorized) form of differential equations, the target reached for the Calabi-Yau integral.","marker":"[135]"},{"why":"Four-loop gravity calculation where K3 and Calabi-Yau integrals appear in observables; the comparison baseline for the 'first CY threefold at 5PM' claim.","marker":"[68]"}],"fun_headline_variants":["First Calabi-Yau threefold in gravitational-wave physics","Elliptic symbol bootstrap cracks two-loop double box","Calabi-Yau threefold appears in black-hole merger integrals","Symbol of elliptic double box obtained in one line","New method solves Calabi-Yau integral with apparent singularities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The 'first Calabi-Yau threefold at fifth post-Minkowskian order' claim rests on the assumption that the Baikov leading-singularity census enumerated every contributing integral topology and subsector and classified their geometries correctly; that completeness is asserted rather than proved in Chapter 4.","fun_headline_variants_meta":{"raw":{"variants":["First Calabi-Yau threefold in gravitational-wave physics","Elliptic symbol bootstrap cracks two-loop double box","Calabi-Yau threefold appears in black-hole merger integrals","Symbol of elliptic double box obtained in one line","New method solves Calabi-Yau integral with apparent singularities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000904,"raw_usage":{"total_tokens":3942,"prompt_tokens":1049,"completion_tokens":2893,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":665,"completion_tokens_details":{"reasoning_tokens":2828}},"tokens_in":665,"tokens_out":2893,"duration_ms":24500,"temperature":1.0,"reasoning_tokens":2828,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T01:01:05.821006+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"An independent, exhaustive enumeration of the four-loop (fifth-post-Minkowskian) integral topologies that finds one missing diagram whose leading singularity is a geometry absent from the thesis's classification, a genus-two curve or a Calabi-Yau of a different dimension, say, would falsify the 'first Calabi-Yau threefold' claim; for the solution half, a high-precision numerical evaluation of the 2SF Calabi-Yau integral at fixed kinematics that disagrees with the $\\varepsilon$-factorized formula would falsify it.","supporting_citations":[],"review_version":1}