Pith. sign in

REVIEW 3 major objections 5 minor 38 references

The paper argues that Feynman integrals obey two new all-orders constraints on sequential discontinuities: some singular loci cannot be revisited after a first discontinuity, and others yield a history-independent unique discontinuity.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 21:31 UTC pith:BCCN75F7

load-bearing objection Novel and plausible constraints with a solid worked example, but the two headline theorems rest on topological statements deferred to a companion paper. the 3 major comments →

arxiv 2607.16034 v1 pith:BCCN75F7 submitted 2026-07-17 hep-th hep-ph

New Tools in the Landau Bootstrap

Piotr Bargie{\l}a , Giulio Crisanti , Craig Larkin , Luke Lippstreu , Andrew J. McLeod , Maria Polackova , Laura Walsh This is my paper
classification hep-th hep-ph
keywords Feynman integralsdiscontinuity constraintsPicard-Lefschetz theoryLandau bootstrapEuler characteristicsymbol lettersdimensional regularizationSteinmann relations
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper argues that Feynman integrals, beyond the singularities already encoded in the Landau equations, obey two new families of constraints on how discontinuities can be sequenced. The first says some singular loci are non-repeating: once a discontinuity is taken there, no later discontinuity can be taken at the same locus, on any Riemann sheet. The second, called the Lefschetz uniqueness principle, says that when exactly one integration contour (a Lefschetz thimble) vanishes at a singularity, the discontinuity is unique up to a constant factor no matter which other discontinuities or analytic continuations came first. The authors claim both constraints hold to all orders in dimensional regularization and are checkable by counting critical points of the Feynman-parameter integrand, and they prove that non-repeating loci cannot carry square-root branch points. If correct, these are new analytic-structure laws for Feynman integrals that directly constrain symbol-letter sequences and epsilon-expansion orders, sharpening the Landau bootstrap.

Core claim

Two new constraints on sequential discontinuities. Non-repeating: if a vanishing cycle and its dual vanishing cell have zero intersection number, then Disc_λ Disc_λ ... I = 0; the hooked triangle's m1^2 − m2^2 singularity is the concrete example. Lefschetz uniqueness: if exactly one solution to the critical point equations disappears at λ → 0, then the discontinuity Disc_λ of the integral is the same up to an integer factor regardless of earlier discontinuities, so Disc_λ ... I ∝ Disc_λ ... I. Both are derived from the Picard–Lefschetz formula and Euler-characteristic counts in excluded Feynman-parameter spaces. A Galois-parity argument shows non-repeating loci are never square-root branch p

What carries the argument

The engine is the Picard–Lefschetz formula, Disc_λ ∫_σ ω = Σ_i ⟨ν̃_i|σ⟩ ∫_{ν_i} ω, which expresses each discontinuity as a sum over vanishing cycles weighted by intersection numbers. To make it useful, the paper tracks the Euler characteristic of the space X_E = ℂ^n \ (G=0 ∪ ∪_{i∈E} α_i=0), computed by counting solutions of the critical-point equations dlog(α_1^{ν_1} ... α_n^{ν_n} G^{-D/2}) = 0. A drop in this count signals a possible discontinuity. Non-repeating constraints follow when the vanishing cycle and its dual vanishing cell have zero intersection number; uniqueness follows when only one Lefschetz thimble can vanish at the singular locus. The proof that non-repeating discontinuities

Load-bearing premise

The load-bearing premise is that the drop in the Euler characteristic of the Feynman-parameter space, computed by counting critical points, exactly reflects the drop in the homology that produces the vanishing cycle; if a case exists where these two drops disagree, the non-repeating constraint could fail.

What would settle it

Evaluate the second discontinuity of the hooked triangle at m1² = m2² in dimensional regularization to order ε: if Disc_{m1²−m2²} Disc_{m1²−m2²} I_hook is nonzero at any order, the non-repeating claim fails. Separately, take an integral with a single vanishing critical point and compare Disc_λ after two different prior discontinuity sequences; if the ratio is not constant, Lefschetz uniqueness fails.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • A non-repeating locus λ = 0 forbids the appearance of √λ as a prefactor or as a branch point of the polylogarithmic part of the integral, at all orders in ε.
  • If a singularity satisfies the Lefschetz uniqueness condition, then in the symbol of a polylogarithmic integral all words that follow the letter λ are fixed once and for all, including at higher ε orders.
  • Because the statements are dimension-independent and all-orders, they apply directly to the ε-expansion (D = 4 − 2ε), relating coefficients of different orders via equation (18).
  • For the hooked triangle, the constraint Disc_{m1²−m2²} Disc_{m1²−m2²} I_hook = 0 is verified by an explicit residue computation in a momentum-space representation.
  • The reported Steinmann-violation rule gives bootstrap data: minimal cuts of the form (20) signal that the first two discontinuities will violate Steinmann at some ε order.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the claimed zero-intersection characterization of non-repeating loci can be proven for all Feynman integrals, it would imply that algebraic prefactors like √(m1²−m2²) can never appear in polylogarithmic integrals at such loci, a statement that could be tested by scanning known two-loop results.
  • An algorithmic reading of the critical-point-count criterion suggests an automated bootstrap step: for any integral, compute which sectors lose critical points in each singular limit, then classify each singularity as non-repeating, unique, or neither; this could produce a machine-generated list of allowed discontinuity sequences.
  • The Lefschetz uniqueness relation may also constrain the constant prefactor: checking whether the proportionality constant is always ±1 (or a fixed integer) in explicit examples would either strengthen or prune the principle.
  • One can try to connect uniqueness to commutativity: discontinuities at unique loci should commute with all other discontinuities; this could offer a topological explanation for observed commutativity of certain branch cuts in multi-loop amplitudes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. These proceedings report two new constraints on sequential discontinuities of Feynman integrals in the Landau bootstrap. The first is the existence of 'non-repeating' discontinuities (Eq. 8): certain singularities, once a discontinuity has been taken, cannot appear as a discontinuity again on any Riemann sheet, at all orders in dimensional regularization. The second is a 'Lefschetz uniqueness principle' (Eq. 17): when the number of point solutions to the critical point equations drops by exactly one at a singularity, the corresponding discontinuity is the same, up to a proportionality factor, regardless of which other discontinuities or analytic continuations were performed first. The paper illustrates the first with a hooked-triangle integral, gives a Baikov-representation derivation of the vanishing of the second discontinuity (Eq. 12), proves that non-repeating discontinuities cannot be of square-root type, and sketches consequences for symbol letters and the epsilon expansion. A separate section discusses a graphical rule for massless Steinmann violations. The general proofs are deferred to a companion paper [34].

Significance. If the two constraints hold as stated, they would provide genuinely new, algorithmic inputs for the Landau bootstrap: they are all-orders statements in dimensional regularization, and Eq. (18) would relate different orders of the epsilon expansion and constrain which symbol letters can follow a given letter. The hooked-triangle analysis is a strength: it is a concrete, non-trivial example in which the non-repeating mechanism is exhibited in an explicit Baikov representation, including the contour deformation in Fig. 1 and the stated intersection number. The square-root-exclusion argument is self-contained. However, because the general homological statements are asserted and deferred, the significance of the central claims is conditional. The paper also honestly flags that the hooked-triangle mechanism is one mechanism, not the only one.

major comments (3)
  1. [Sec. 3, after Eq. (12)] The central claim that non-repeating discontinuities arise when the vanishing cycle and vanishing cell have vanishing intersection number is asserted, but the topological proof is deferred to [34]. Moreover, the only worked example is not in the generic regime: the (m1^2-m2^2)=0 locus produces a one-dimensional solution in sector {α1,α2} (Sec. 3, after Eq. (11)), so the point-counting criterion that motivates the general statement requires an additional blowup/degeneration analysis. The all-orders identity (8) therefore is not established for arbitrary integrals by this manuscript. Please either provide the homological argument (or a precise statement of the conditions under which it holds) or explicitly present Eqs. (8) and (12) as conjectures supported by the hooked-triangle example.
  2. [Sec. 4, Eq. (17)] The Lefschetz uniqueness principle is introduced as an immediate consequence of a one-unit drop in the number of point solutions to the critical point equations. This inference requires that the vanishing homology of X_E be one-dimensional in the strict singular limit; if a higher-dimensional solution component appears, as happens in the hooked-triangle example at the degenerate locus, uniqueness can fail. No proof or example is given here, and no distinction is made between generic point-counting and the strict limit. Since Eq. (17) is one of the paper's two headline results, and Eq. (18) is derived from it, the manuscript should either prove this step or state it as a conjecture with a concrete test.
  3. [Sec. 4, Eq. (18)] The passage from (17) to the statement that the sequences of symbol letters following λ 'must always be the same' needs justification. An identity between integrals up to an integer proportionality factor does not immediately imply an identity between individual symbol words at each order in ε, because the proportionality factor can itself depend on ε and on the kinematics, and the symbol is a particular transcendental-weight component. The authors should spell out the argument or add a hypothesis (e.g., that the proportionality factor is a rational number independent of ε).
minor comments (5)
  1. [References] Reference [34] is listed as 'To appear' with no arXiv number or publicly accessible version. Since the central claims of this manuscript depend on it, the authors should either make the content available or clearly mark the present results as preliminary.
  2. [Sec. 5, Eq. (20)] Equation (20) appears in the text but no diagram or explicit expression is shown. The advertised 'graphical rule' for Steinmann violations is therefore not self-contained; please include the missing diagram or refer to a specific figure in [26].
  3. [Sec. 3, footnote 1] The reference to Hegel [25] is a stylistic aside that is unrelated to the mathematical content. It should be removed or replaced with a substantively useful citation.
  4. [Sec. 2, Eq. (5)] The notation in Eq. (8) with repeated 'Disc' operands is not formally defined. The authors should specify the order of operations and the convention for nested discontinuities.
  5. [Sec. 5] The section on massless Steinmann violations is very brief and not clearly connected to the two new constraints of the abstract. Consider expanding it or explicitly labeling it as an application of [26].

Circularity Check

0 steps flagged

No construction-level circularity: the constraints are derived from the Picard–Lefschetz formula and an explicit contour computation; the main weakness is a deferred same-author companion proof, which is a verification gap rather than circularity.

full rationale

The paper's derivation chain begins with the Picard–Lefschetz formula (Eq. 2) and the correspondence between Euler-characteristic drops and critical-point solutions (Eq. 5), both attributed to external mathematical literature. The non-repeating statement is not assumed into existence: for the hooked triangle the authors explicitly compute the contour after a discontinuity (Eq. 12) and show the relevant intersection number ⟨ν̃12|ν12⟩ vanishes, so the second discontinuity vanishes by the formula. The Lefschetz uniqueness principle is likewise an inference from a drop by one in the number of point solutions to the existence of a unique vanishing thimble; even if this inference is delicate (degenerate sectors, one-dimensional solution sets), it is not identical to the claimed proportionality. The main qualification is that the general all-orders mechanism is deferred to a companion paper [34] by overlapping authors that is listed as "To appear", and the paper explicitly says "the homological interpretation of this phenomenon is subtle, and we defer discussion of it to [34]". That is missing support/verification, not a circular reduction: no fitted parameter is renamed as a prediction, and no equation is equal to an input by construction. Self-citations [23,26] provide the framework but the two new constraint classes have independent content. Hence no circular step can be exhibited; score 2 reflects the deferred same-author companion proof and heavy self-citation, not construction-level circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No free parameters are fitted; the claims are meant to be consequences of the Picard–Lefschetz formula. The principal external grounding is the standard theory of (co)homology of hyperplane arrangements, plus the authors' prior genealogical-constraint work [23]. The paper-specific assumptions — the vanishing-intersection criterion for non-repeating discontinuities and the uniqueness-to-proportionality inference — are exactly the parts deferred to the companion paper [34].

axioms (6)
  • standard math Picard–Lefschetz formula (eq. 2) expresses any discontinuity as a sum of vanishing-cycle integrals weighted by intersection numbers.
    Cited to [27] (Pham); treated as a theorem in singularity theory.
  • domain assumption A nontrivial discontinuity about λ=0 requires a drop in the dimension of the relevant homology group, detected by the signed Euler characteristic of X (eq. 4).
    Invoked in Sec. 2 via [24,28]; this is the link between topology and integral singularity structure.
  • domain assumption The number of point solutions to the critical point equations (eq. 5) counts the Euler characteristic of X.
    Used in Sec. 2 to compute χ(X); relies on [5,29–33].
  • domain assumption After computing a discontinuity, the relevant topological space X_E (eq. 6) changes because new contours involve fewer α_i=0 endpoints.
    Core of the genealogical-constraint method from [23]; needed to apply the Picard–Lefschetz formula iteratively.
  • ad hoc to paper Non-repeating discontinuities arise exactly when the vanishing cycle and vanishing cell have vanishing intersection number.
    Stated in Sec. 3 (after eq. 12) as the general mechanism; proof deferred to [34].
  • ad hoc to paper A unique Lefschetz thimble implies the discontinuity is the same up to a proportionality factor regardless of which other discontinuities were computed first (eq. 17).
    Stated in Sec. 4 as 'it immediately follows' from the Picard–Lefschetz formula; no derivation given in this paper.

pith-pipeline@v1.3.0-alltime-deepseek · 7730 in / 13510 out tokens · 119179 ms · 2026-08-01T21:31:52.207618+00:00 · methodology

0 comments
read the original abstract

We describe recent advances in our understanding of the analytic structure of Feynman integrals. In particular, we describe two new classes of constraints on such integrals, that identify discontinuities that either cannot be repeated, or that always give rise to the same result (no matter which other discontinuities are computed first). These new constraints hold at all orders in dimensional regularization, and provide us with new input for the Landau bootstrap, where information about the singularities and discontinuities of individual Feynman integrals is used to construct their functional form.

Figures

Figures reproduced from arXiv: 2607.16034 by Andrew J. McLeod, Craig Larkin, Giulio Crisanti, Laura Walsh, Luke Lippstreu, Maria Polackova, Piotr Bargie{\l}a.

Figure 1
Figure 1. Figure 1: (a) Hooked triangle Feynman diagram with 𝑝 2 ≠ 0 and internal masses 𝑚 2 1 and 𝑚 2 2 . (b) The 𝑧3 integration plane after we have computed discontinuities about 𝑚 2 1 = 0 and then (𝑚 2 1 − 𝑚 2 2 ) = 0. (c) By contour deformation, 𝜈12 is equivalent to a residue contour around the simple pole at the origin. be off shell). It follows that there can no longer be any singularity in the 𝑚1 → 𝑚2 limit once we hav… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 24 linked inside Pith

  1. [1]

    M.BerghoffandE.Panzer,J.Geom.Phys.216,105539(2025),arXiv:2212.06661[math-ph]

    Pith/arXiv arXiv 2025

  2. [2]

    Britto, Phys

    R. Britto, Phys. Rev. Lett.131, 091601 (2023), arXiv:2305.15369 [hep-th]

    Pith/arXiv arXiv 2023

  3. [3]

    H. S. Hannesdottir, A. J. McLeod, M. D. Schwartz, and C. Vergu, Phys. Rev. D111, 085003 (2025), arXiv:2410.02424 [hep-ph]

    Pith/arXiv arXiv 2025

  4. [4]

    Mühlbauer, Lett

    M. Mühlbauer, Lett. Math. Phys.112, 118 (2022), arXiv:2206.08402 [math-ph]

    Pith/arXiv arXiv 2022

  5. [5]

    Frellesvig, F

    H. Frellesvig, F. Gasparotto, M. K. Mandal, P. Mastrolia, L. Mattiazzi, and S. Mizera, Phys. Rev. Lett.123, 201602 (2019), arXiv:1907.02000 [hep-th]

    Pith/arXiv arXiv 2019

  6. [6]

    Mizera, Phys

    S. Mizera, Phys. Rev. Lett.120, 141602 (2018), arXiv:1711.00469 [hep-th]

    Pith/arXiv arXiv 2018

  7. [7]

    M. K. Mandal, EPJ Web Conf.314, 00029 (2024)

    2024

  8. [8]

    Mizera,Aspects of Scattering Amplitudes and Moduli Space Localization, Ph.D

    S. Mizera,Aspects of Scattering Amplitudes and Moduli Space Localization, Ph.D. thesis, Princeton, Inst. Advanced Study (2020), arXiv:1906.02099 [hep-th]

    Pith/arXiv arXiv 2020

  9. [9]

    S.Caron-Huot,L.J.Dixon,J.M.Drummond,F.Dulat,J.Foster,O.Gürdoğan,M.vonHippel, A.J.McLeod, andG.Papathanasiou,PoSCORFU2019,003(2020),arXiv:2005.06735[hep- th]

    Pith/arXiv arXiv 2020

  10. [10]

    N.Arkani-Hamed,L.J.Dixon,A.J.McLeod,M.Spradlin,J.Trnka, andA.Volovich, (2022), arXiv:2207.10636 [hep-th]

    Pith/arXiv arXiv 2022

  11. [11]

    Nakanishi, Progress of Theoretical Physics22, 128 (1959)

    N. Nakanishi, Progress of Theoretical Physics22, 128 (1959)

    1959

  12. [12]

    Landau, Nucl

    L. Landau, Nucl. Phys.13, 181 (1960)

    1960

  13. [13]

    J. D. Bjorken,Experimental tests of Quantum electrodynamics and spectral representations of Green’s functions in perturbation theory, Ph.D. thesis, Stanford U. (1959)

    1959

  14. [14]

    Chen, Bull

    K.-T. Chen, Bull. Amer. Math. Soc.83, 831 (1977)

    1977

  15. [15]

    A. B. Goncharov, Adv. Math.114, 197 (1995)

    1995

  16. [16]

    A. B. Goncharov, Math. Res. Lett.5, 497 (1998), arXiv:1105.2076 [math.AG]

    Pith/arXiv arXiv 1998

  17. [17]

    Remiddi and J

    E. Remiddi and J. Vermaseren, Int. J. Mod. Phys. A15, 725 (2000), arXiv:hep-ph/9905237

    Pith/arXiv arXiv 2000

  18. [18]

    J. M. Borwein, D. M. Bradley, D. J. Broadhurst, and P. Lisonek, Trans. Am. Math. Soc.353, 907 (2001), arXiv:math/9910045 [math-ca]

    Pith/arXiv arXiv 2001

  19. [19]

    S. Moch, P. Uwer, and S. Weinzierl, J.Math.Phys.43, 3363 (2002), arXiv:hep-ph/0110083 [hep-ph] . 9 New Tools in the Landau BootstrapAndrew J. McLeod

    Pith/arXiv arXiv 2002

  20. [20]

    A. B. Goncharov, M. Spradlin, C. Vergu, and A. Volovich, Phys. Rev. Lett.105, 151605 (2010), arXiv:1006.5703 [hep-th]

    Pith/arXiv arXiv 2010

  21. [21]

    J. L. Bourjailyet al., inSnowmass 2021(2022) arXiv:2203.07088 [hep-ph]

    Pith/arXiv arXiv 2021

  22. [22]

    Pham,Singularities of integrals: Homology, hyperfunctions and microlocal analysis, Uni- versitext (Springer London, 2011)

    F. Pham,Singularities of integrals: Homology, hyperfunctions and microlocal analysis, Uni- versitext (Springer London, 2011)

    2011

  23. [23]

    H.S.Hannesdottir,L.Lippstreu,A.J.McLeod, andM.Polackova, (2024),arXiv:2406.05943 [hep-th]

    Pith/arXiv arXiv 2024

  24. [24]

    Fevola, S

    C. Fevola, S. Mizera, and S. Telen, Phys. Rev. Lett.132, 101601 (2024), arXiv:2311.14669 [hep-th]

    Pith/arXiv arXiv 2024

  25. [25]

    G. W. F. Hegel,Phenomenology of Spirit(Oxford University Press, New York, NY, 1979) foreword and analysis by J. N. Findlay

    1979

  26. [26]

    H.S.Hannesdottir,L.Lippstreu,A.J.McLeod, andM.Polackova, (2025),arXiv:2512.24010 [hep-th]

    arXiv 2025

  27. [27]

    Pham, Bulletin de la Société Mathématique de France93, 333 (1965)

    F. Pham, Bulletin de la Société Mathématique de France93, 333 (1965)

    1965

  28. [28]

    Pham, Annales de l’I.H.P

    F. Pham, Annales de l’I.H.P. Physique théorique6, 89 (1967)

    1967

  29. [29]

    Frellesvig, F

    H. Frellesvig, F. Gasparotto, S. Laporta, M. K. Mandal, P. Mastrolia, L. Mattiazzi, and S. Mizera, JHEP05, 153 (2019), arXiv:1901.11510 [hep-ph]

    Pith/arXiv arXiv 2019

  30. [30]

    Fevola, S

    C. Fevola, S. Mizera, and S. Telen, Comput. Phys. Commun.303, 109278 (2024), arXiv:2311.16219 [math-ph]

    Pith/arXiv arXiv 2024

  31. [31]

    R. N. Lee and A. A. Pomeransky, Journal of High Energy Physics2013, 165 (2013), arXiv:1308.6676 [hep-ph, physics:hep-th]

    Pith/arXiv arXiv 2013

  32. [32]

    Huh, Compositio Mathematica149, 1245–1266 (2013)

    J. Huh, Compositio Mathematica149, 1245–1266 (2013)

    2013

  33. [33]

    Hypergeometricdiscriminants,

    S.-J.Matsubara-Heo,“Hypergeometricdiscriminants,” (2025),arXiv:2505.13163[math.AG]

    Pith/arXiv arXiv 2025

  34. [34]

    Crisanti, L

    G. Crisanti, L. Lippstreu, A. J. McLeod, and M. Polackova, To appear

  35. [35]

    Britto and H

    R. Britto and H. S. Hannesdottir, JHEP02, 094 (2026), arXiv:2510.14087 [hep-th]

    arXiv 2026

  36. [36]

    Caron-Huot, L

    S. Caron-Huot, L. J. Dixon, A. McLeod, and M. von Hippel, Phys. Rev. Lett.117, 241601 (2016), arXiv:1609.00669 [hep-th]

    Pith/arXiv arXiv 2016

  37. [37]

    Drummond, J

    J. Drummond, J. Foster, and Ö. Gürdoğan, Phys. Rev. Lett.120, 161601 (2018), arXiv:1710.10953 [hep-th]

    Pith/arXiv arXiv 2018

  38. [38]

    Caron-Huot, L

    S. Caron-Huot, L. J. Dixon, F. Dulat, M. Von Hippel, A. J. McLeod, and G. Papathanasiou, JHEP09, 061 (2019), arXiv:1906.07116 [hep-th] . 10

    Pith/arXiv arXiv 2019