pith. sign in

arxiv: 2605.29789 · v1 · pith:Z3QHBSNFnew · submitted 2026-05-28 · ✦ hep-th · hep-ph· math-ph· math.MP

Magic Relations and Critical Varieties of Feynman Integrals

Pith reviewed 2026-06-29 06:38 UTC · model grok-4.3

classification ✦ hep-th hep-phmath-phmath.MP
keywords magic relationsFeynman integralsintegration-by-parts identitiescritical varietiesmaster integralsIBP reductionssymmetriescuts
0
0 comments X

The pith

Magic relations in Feynman integrals always coincide with higher-dimensional critical varieties in the generating sector.

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

Magic relations are integration-by-parts identities where every integral in the generating sector drops out, causing standard reduction methods to fail. The paper observes and argues that these relations occur exactly when higher-dimensional critical varieties appear in that sector. This geometric coincidence supplies a direct computational test for the presence of magic relations and a way to locate them. The authors also show how to count master integrals in such cases and classify the relations under symmetries and cuts.

Core claim

We observe and argue that the occurrence of magic relations always coincides with the presence of higher-dimensional critical varieties in the generating sector. This provides a practical computational test to check if a family of Feynman integrals can contain magic relations and to find them, which we implement in the ancillary Mathematica file Magic-Test.m. Additionally, we discuss how to count the number of master integrals in the presence of higher-dimensional critical varieties, classify the behavior of magic relations under symmetries, and we discuss their interplay with cuts.

What carries the argument

The coincidence of magic relations (IBP identities that nullify the entire generating sector) with higher-dimensional critical varieties in that sector, used as a diagnostic criterion.

Load-bearing premise

The observed coincidence between magic relations and higher-dimensional critical varieties holds for Feynman integral families in general rather than only the specific cases examined.

What would settle it

A Feynman integral family that exhibits magic relations but lacks higher-dimensional critical varieties in the generating sector, or the converse.

read the original abstract

Magic relations are a class of integration-by-parts identities where all integrals in the generating sector drop out. Since their presence causes several otherwise successful methods in the Feynman-integral computational pipeline to break down, they are important to detect and understand. In this paper, we take a first step toward a systematic characterization of such identities. Specifically, we observe and argue that the occurrence of magic relations always coincides with the presence of higher-dimensional critical varieties in the generating sector. This provides a practical computational test to check if a family of Feynman integrals can contain magic relations and to find them, which we implement in the ancillary Mathematica file Magic-Test.m. Additionally, we discuss how to count the number of master integrals in the presence of higher-dimensional critical varieties, classify the behavior of magic relations under symmetries, and we discuss their interplay with cuts.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript observes and argues that magic relations—IBP identities emptying the generating sector—always coincide with the presence of higher-dimensional critical varieties in that sector for Feynman integral families. It supplies a practical detection test implemented in the ancillary Magic-Test.m, discusses counting master integrals when such varieties are present, classifies the behavior of magic relations under symmetries, and examines their interplay with cuts.

Significance. If the claimed coincidence is general, the work supplies a new diagnostic linking an important class of IBP breakdowns to geometric features of the integral families, together with a concrete computational test and guidance on master-integral counting. These elements would be directly useful to practitioners who encounter magic relations in multi-loop calculations.

major comments (1)
  1. [Abstract] Abstract: the central claim that magic relations 'always' coincide with higher-dimensional critical varieties is presented as an observation and argument; the provided test detects varieties but does not establish necessity or sufficiency for arbitrary families, so the universality statement requires either a general derivation or explicit verification beyond the examined cases.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the major comment point by point below.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the central claim that magic relations 'always' coincide with higher-dimensional critical varieties is presented as an observation and argument; the provided test detects varieties but does not establish necessity or sufficiency for arbitrary families, so the universality statement requires either a general derivation or explicit verification beyond the examined cases.

    Authors: We thank the referee for this comment. The manuscript deliberately phrases the central statement as an observation and argument (see abstract and Section 2), supported by explicit verification across a range of non-trivial families rather than a general theorem. The test implemented in Magic-Test.m is a practical diagnostic that identifies the higher-dimensional critical varieties whose presence we have found to coincide with magic relations in every case examined; it is not claimed to constitute a proof of necessity or sufficiency. Additional supporting examples and counting procedures appear in Sections 3 and 4. A general derivation establishing the coincidence for arbitrary families remains an open question outside the scope of the present work, which instead supplies a usable computational tool and guidance on master-integral counting when such varieties occur. The current wording already reflects the observational character of the claim, so we do not propose a change to the abstract. revision: no

Circularity Check

0 steps flagged

No circularity; central claim is observational coincidence without reduction to inputs or self-citations

full rationale

The paper states it 'observe[s] and argue[s]' that magic relations coincide with higher-dimensional critical varieties and supplies an external test (Magic-Test.m). No equations, definitions, or derivations in the provided text reduce the claim to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The argument is framed as empirical observation across examined families rather than a tautological or internally forced result, satisfying the requirement for independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no explicit free parameters, invented entities, or ad-hoc axioms; the work relies on standard domain concepts from Feynman integral reduction and algebraic geometry.

axioms (1)
  • domain assumption Standard definitions and properties of critical varieties apply to the parameter space of Feynman integral sectors
    Invoked implicitly when linking varieties to the occurrence of magic relations.

pith-pipeline@v0.9.1-grok · 5678 in / 1080 out tokens · 36723 ms · 2026-06-29T06:38:01.324351+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the spanning cuts consistency problem in the IBP reductions of Feynman integrals

    hep-ph 2026-06 unverdicted novelty 6.0

    Inconsistency in spanning cuts for IBP reductions arises because cuts can make hidden terms in IBP relations finite via pinch singularities that cancel vanishing parameters, linked to hidden linear relations between p...

Reference graph

Works this paper leans on

67 extracted references · 57 canonical work pages · cited by 1 Pith paper · 25 internal anchors

  1. [1]

    R. N. Lee and A. A. Pomeransky, Critical points and number of master integrals , JHEP 11 (2013) 165, [arXiv:1308.6676]

  2. [2]

    Kira 1.2 Release Notes

    P. Maierhöfer and J. Usovitsch, Kira 1.2 Release Notes , arXiv:1812.01491

  3. [3]

    Weinzierl, Feynman Integrals

    S. Weinzierl, Feynman Integrals. A Comprehensive Treatment for Students and Researchers . UNITEXT for Physics. Springer, 2022

  4. [4]

    K. G. Chetyrkin and F. V. Tkachov, Integration by parts: The algorithm to calculate β-functions in 4 loops, Nucl. Phys. B 192 (1981) 159–204

  5. [5]

    High-precision calculation of multi-loop Feynman integrals by difference equations

    S. Laporta, High-precision calculation of multiloop Feynman integrals by difference equations , Int. J. Mod. Phys. A 15 (2000) 5087–5159, [ hep-ph/0102033]

  6. [6]

    Feynman Integrals and Intersection Theory

    P. Mastrolia and S. Mizera, Feynman Integrals and Intersection Theory , JHEP 02 (2019) 139, [arXiv:1810.03818]

  7. [7]

    A. V. Smirnov and V. A. Smirnov, FIRE4, LiteRed and accompanying tools to solve integration by parts relations, Comput. Phys. Commun. 184 (2013) 2820–2827, [ arXiv:1302.5885]

  8. [8]

    R. N. Lee and V. A. Smirnov, Analytic Epsilon Expansions of Master Integrals Corresponding to Massless Three-Loop Form Factors and Three-Loop g-2 up to Four-Loop Transcendentality Weight , JHEP 02 (2011) 102, [ arXiv:1010.1334]

  9. [9]

    J. M. Drummond, J. Henn, V. A. Smirnov, and E. Sokatchev, Magic identities for conformal four-point integrals, JHEP 01 (2007) 064, [ hep-th/0607160]

  10. [10]

    S. He, X. Jiang, J. Liu, and Y.-Q. Zhang, Notes on conformal integrals: Coulomb branch amplitudes, magic identities, and bootstrap , Phys. Rev. D 112 (2025), no. 7 076012, [ arXiv:2502.08871]. – 41 –

  11. [11]

    J. M. Drummond, J. Henn, G. P. Korchemsky, and E. Sokatchev, Dual superconformal symmetry of scattering amplitudes in N=4 super-Yang-Mills theory , Nucl. Phys. B 828 (2010) 317–374, [arXiv:0807.1095]

  12. [12]

    K. J. Larsen and Y. Zhang, Integration-by-parts reductions from unitarity cuts and algebraic geometry , Phys. Rev. D 93 (2016), no. 4 041701, [ arXiv:1511.01071]

  13. [13]

    Z. Wu, J. Boehm, R. Ma, H. Xu, and Y. Zhang, NeatIBP 1.0, a package generating small-size integration-by-parts relations for Feynman integrals , Comput. Phys. Commun. 295 (2024) 108999, [arXiv:2305.08783]

  14. [14]

    X. Guan, X. Liu, Y.-Q. Ma, and W.-H. Wu, Blade: A package for block-triangular form improved Feynman integrals decomposition, Comput. Phys. Commun. 310 (2025) 109538, [ arXiv:2405.14621]

  15. [15]

    A. V. Smirnov and M. Zeng, FIRE 7: Automatic Reduction with Modular Approach , arXiv:2510.07150

  16. [16]

    Lange, J

    F. Lange, J. Usovitsch, and Z. Wu, Kira 3: integral reduction with efficient seeding and optimized equation selection, arXiv:2505.20197

  17. [17]

    Z. Wu, J. Böhm, R. Ma, J. Usovitsch, Y. Xu, and Y. Zhang, Performing integration-by-parts reductions using NeatIBP 1.1 + Kira , Comput. Phys. Commun. 316 (2025) 109798, [ arXiv:2502.20778]

  18. [18]

    Frellesvig, F

    H. Frellesvig, F. Gasparotto, M. K. Mandal, P. Mastrolia, L. Mattiazzi, and S. Mizera, Vector Space of Feynman Integrals and Multivariate Intersection Numbers , Phys. Rev. Lett. 123 (2019), no. 20 201602, [arXiv:1907.02000]

  19. [19]

    Mizera, Status of Intersection Theory and Feynman Integrals , PoS MA2019 (2019) 016, [arXiv:2002.10476]

    S. Mizera, Status of Intersection Theory and Feynman Integrals , PoS MA2019 (2019) 016, [arXiv:2002.10476]

  20. [20]

    Weinzierl, Applications of intersection numbers in physics , PoS MA2019 (2022) 021, [arXiv:2011.02865]

    S. Weinzierl, Applications of intersection numbers in physics , PoS MA2019 (2022) 021, [arXiv:2011.02865]

  21. [21]

    Caron-Huot and A

    S. Caron-Huot and A. Pokraka, Duals of Feynman integrals. Part I. Differential equations , JHEP 12 (2021) 045, [ arXiv:2104.06898]

  22. [22]

    Caron-Huot and A

    S. Caron-Huot and A. Pokraka, Duals of Feynman Integrals. Part II. Generalized unitarity , JHEP 04 (2022) 078, [ arXiv:2112.00055]

  23. [23]

    Fontana and T

    G. Fontana and T. Peraro, Reduction to master integrals via intersection numbers and polynomial expansions, JHEP 08 (2023) 175, [ arXiv:2304.14336]

  24. [24]

    Brunello, V

    G. Brunello, V. Chestnov, G. Crisanti, H. Frellesvig, M. K. Mandal, and P. Mastrolia, Intersection numbers, polynomial division and relative cohomology , JHEP 09 (2024) 015, [ arXiv:2401.01897]

  25. [25]

    Brunello, G

    G. Brunello, G. Crisanti, M. Giroux, P. Mastrolia, and S. Smith, Fourier calculus from intersection theory, Phys. Rev. D 109 (2024), no. 9 094047, [ arXiv:2311.14432]

  26. [26]

    Brunello, V

    G. Brunello, V. Chestnov, and P. Mastrolia, Intersection numbers from companion tensor algebra , JHEP 07 (2025) 045, [ arXiv:2408.16668]

  27. [27]

    Crisanti and S

    G. Crisanti and S. Smith, Feynman integral reductions by intersection theory with orthogonal bases and closed formulae , JHEP 09 (2024) 018, [ arXiv:2405.18178]

  28. [28]

    M. Lu, Z. Wang, and L. L. Yang, Intersection theory, relative cohomology and the Feynman parametrization, JHEP 05 (2025) 158, [ arXiv:2411.05226]

  29. [29]

    De and A

    S. De and A. Pokraka, Cosmology meets cohomology , JHEP 03 (2024) 156, [ arXiv:2308.03753]

  30. [30]

    De and A

    S. De and A. Pokraka, A physical basis for cosmological correlators from cuts , JHEP 03 (2025) 040, [arXiv:2411.09695]

  31. [31]

    Glew and A

    R. Glew and A. Pokraka, Kinematic flow from the flow of cuts , arXiv:2508.11568. – 42 –

  32. [32]

    A. V. Smirnov and A. V. Petukhov, The Number of Master Integrals is Finite , Lett. Math. Phys. 97 (2011) 37–44, [ arXiv:1004.4199]

  33. [33]

    P. A. Baikov, Explicit solutions of the multiloop integral recurrence relations and its application , Nucl. Instrum. Meth. A 389 (1997) 347–349, [ hep-ph/9611449]

  34. [34]

    Frellesvig, The loop-by-loop Baikov representation — Strategies and implementation , JHEP 04 (2025) 111, [ arXiv:2412.01804]

    H. Frellesvig, The loop-by-loop Baikov representation — Strategies and implementation , JHEP 04 (2025) 111, [ arXiv:2412.01804]

  35. [35]

    Tensor structure from scalar Feynman matroids

    D. Kreimer and K. Yeats, Tensor structure from scalar Feynman matroids , Phys. Lett. B 698 (2011) 443–450, [ arXiv:1010.5804]

  36. [36]

    R. D. Sameshima, On Different Parametrizations of Feynman Integrals . PhD thesis, CUNY, Graduate School - U. Ctr., 2019

  37. [37]

    Artico and L

    D. Artico and L. Magnea, Integration-by-parts identities and differential equations for parametrised Feynman integrals, JHEP 03 (2024) 096, [ arXiv:2310.03939]

  38. [38]

    Singular 4-3-0 — A computer algebra system for polynomial computations

    W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, “ Singular 4-3-0 — A computer algebra system for polynomial computations. ” http://www.singular.uni-kl.de, 2022

  39. [39]

    R. N. Lee, Presenting LiteRed: a tool for the Loop InTEgrals REDuction , arXiv:1212.2685

  40. [40]

    Kira - A Feynman Integral Reduction Program

    P. Maierhöfer, J. Usovitsch, and P. Uwer, Kira—A Feynman integral reduction program , Comput. Phys. Commun. 230 (2018) 99–112, [ arXiv:1705.05610]

  41. [41]

    Cuts of Feynman Integrals in Baikov representation

    H. Frellesvig and C. G. Papadopoulos, Cuts of Feynman Integrals in Baikov representation , JHEP 04 (2017) 083, [ arXiv:1701.07356]

  42. [42]

    Fevola, S

    C. Fevola, S. Mizera, and S. Telen, Principal Landau determinants , Comput. Phys. Commun. 303 (2024) 109278, [ arXiv:2311.16219]

  43. [43]

    Macaulay2, a software system for research in algebraic geometry

    D. R. Grayson and M. E. Stillman, “Macaulay2, a software system for research in algebraic geometry. ” A vailable at http://www2.macaulay2.com

  44. [44]

    Chestnov and G

    V. Chestnov and G. Crisanti, Sampling Polynomial Rational Remainders with SP QR: A new Package for Polynomial Division and Elimination , arXiv:2511.14875

  45. [45]

    Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers

    H. Frellesvig, F. Gasparotto, S. Laporta, M. K. Mandal, P. Mastrolia, L. Mattiazzi, and S. Mizera, Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers , JHEP 05 (2019) 153, [ arXiv:1901.11510]

  46. [46]

    Becchetti, F

    M. Becchetti, F. Coro, C. Nega, L. Tancredi, and F. J. Wagner, Analytic two-loop amplitudes for qq → γγ and gg → γγ mediated by a heavy-quark loop , JHEP 06 (2025) 033, [ arXiv:2502.00118]

  47. [47]

    F. Coro, C. Nega, L. Tancredi, and F. J. Wagner, Analytic two-loop amplitudes for di-jet and γ+jet production mediated by a heavy-quark loop , arXiv:2509.15315

  48. [48]

    C. Duhr, S. Maggio, C. Semper, and S. F. Stawinski, Discrete symmetries of Feynman integrals , arXiv:2604.08332

  49. [49]

    Two-loop planar master integrals for Higgs$\to 3$ partons with full heavy-quark mass dependence

    R. Bonciani, V. Del Duca, H. Frellesvig, J. M. Henn, F. Moriello, and V. A. Smirnov, Two-loop planar master integrals for Higgs → 3 partons with full heavy-quark mass dependence , JHEP 12 (2016) 096, [arXiv:1609.06685]

  50. [50]

    On the maximal cut of Feynman integrals and the solution of their differential equations

    A. Primo and L. Tancredi, On the maximal cut of Feynman integrals and the solution of their differential equations, Nucl. Phys. B 916 (2017) 94–116, [ arXiv:1610.08397]

  51. [51]

    Maximal cuts and differential equations for Feynman integrals. An application to the three-loop massive banana graph

    A. Primo and L. Tancredi, Maximal cuts and differential equations for Feynman integrals. An application to the three-loop massive banana graph , Nucl. Phys. B 921 (2017) 316–356, [ arXiv:1704.05465]. – 43 –

  52. [52]

    Maximal Cuts in Arbitrary Dimension

    J. Bosma, M. Sogaard, and Y. Zhang, Maximal Cuts in Arbitrary Dimension , JHEP 08 (2017) 051, [arXiv:1704.04255]

  53. [53]

    Arnold, S

    V. Arnold, S. Gusein-Zade, and A. Varchenko, Singularities of differentiable maps, Volume 2. Monodromy and asymptotics of integrals . Birkhäuser, 01, 2012

  54. [54]

    Master integrals for the four-loop Sudakov form factor

    R. Boels, B. A. Kniehl, and G. Yang, Master integrals for the four-loop Sudakov form factor , Nucl. Phys. B 902 (2016) 387–414, [ arXiv:1508.03717]

  55. [55]

    Feynman integral relations from parametric annihilators

    T. Bitoun, C. Bogner, R. P. Klausen, and E. Panzer, Feynman integral relations from parametric annihilators, Lett. Math. Phys. 109 (2019), no. 3 497–564, [ arXiv:1712.09215]

  56. [56]

    Mizera and A

    S. Mizera and A. Pokraka, From Infinity to Four Dimensions: Higher Residue Pairings and Feynman Integrals, JHEP 02 (2020) 159, [ arXiv:1910.11852]

  57. [57]

    Matsubara-Heo and S

    S.-J. Matsubara-Heo and S. Telen, Twisted cohomology and likelihood ideals , Adv. Appl. Math. 165 (2025) 102832, [ arXiv:2301.13579]

  58. [58]

    Eisenbud, Commutative Algebra: with a View Toward Algebraic Geometry , vol

    D. Eisenbud, Commutative Algebra: with a View Toward Algebraic Geometry , vol. 150 of Graduate Texts in Mathematics . Springer New York, 1995

  59. [59]

    Bertolini, G

    G. Bertolini, G. Fontana, and T. Peraro, CALICO: Computing Annihilators from Linear Identities Constraining (differential) Operators , JHEP 10 (2025) 018, [ arXiv:2506.13653]

  60. [60]

    FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs

    T. Peraro, FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs , JHEP 07 (2019) 031, [ arXiv:1905.08019]

  61. [61]

    Feynman Integral Reduction without Integration-By-Parts

    Z. Wang and L. L. Yang, Feynman Integral Reduction without Integration-By-Parts , arXiv:2412.15962

  62. [62]

    Page and Q

    B. Page and Q. Song, Critical points and syzygies for Feynman integrals , JHEP 02 (2026) 004, [arXiv:2509.17681]

  63. [63]

    Correia, M

    M. Correia, M. Giroux, and S. Mizera, SOFIA: Singularities of Feynman integrals automatized , Comput. Phys. Commun. 320 (2026) 109970, [ arXiv:2503.16601]

  64. [64]

    L. D. Landau, On the Analytic Properties of Vertex Parts in Quantum Field Theory , Zh. Eksp. Teor. Fiz. 37 (1960), no. 1 62–70

  65. [65]

    Jiang and L

    X. Jiang and L. L. Yang, Recursive structure of Baikov representations: Generics and application to symbology, Phys. Rev. D 108 (2023), no. 7 076004, [ arXiv:2303.11657]

  66. [66]

    Banyaga and D

    A. Banyaga and D. Hurtubise, Lectures on Morse Homology . Texts in the Mathematical Sciences. Springer, Dordrecht, 1 ed., 2010

  67. [67]

    Lairez, Computing periods of rational integrals , Mathematics of Computation 85 (Nov., 2015) 1719–1752

    P. Lairez, Computing periods of rational integrals , Mathematics of Computation 85 (Nov., 2015) 1719–1752. – 44 –