arxiv: 2604.05139 · v1 · submitted 2026-04-06 · ✦ hep-th · hep-ph

Recognition: 2 theorem links

· Lean Theorem

The double-logarithmic four-graviton Regge sector as a rank-two twisted period system

Agust\'in Sabio Vera (Universidad Aut\'onoma de Madrid , Instituto de F\'isica Te\'orica UAM-CSIC)

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:45 UTC · model grok-4.3

classification ✦ hep-th hep-ph

keywords four-graviton scatteringRegge limitMellin spacetwisted period systemsupergravityparabolic cylinder functionsintersection theory

0 comments

The pith

The Mellin-space solution for four-graviton Regge scattering in N-extended supergravity is equivalent to a rank-two twisted period system given by two weighted integrals.

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

The paper takes the already-known Mellin-space expression for the double-logarithmic part of four-graviton scattering in supergravity, previously written with parabolic-cylinder functions, and reorganizes it as two closely related weighted integrals. These integrals obey a pair of simple first-order differential equations and a recursion relation that shifts with the number of supersymmetries N. The resulting rank-two twisted period system supplies a single framework that covers the entire family of supergravity theories, clarifies the link between the positive-ray Euler integral and contour representations, and reproduces the intersection-theory reduction rule. Special cases with four or six supersymmetries become especially simple, and low-even-N theories admit a direct Hermite-polynomial construction.

Core claim

The Mellin partial wave for the double-logarithmic four-graviton Regge sector is completely determined by two closely related weighted integrals that together form a rank-two twisted period system. These functions satisfy a simple pair of first-order differential equations and a recursion as the number of supersymmetries N changes, thereby furnishing a uniform description of the full supergravity family while reproducing the parabolic-cylinder solution and the intersection-theory reduction rule.

What carries the argument

The rank-two twisted period system formed by two weighted integrals that determine the full Mellin partial wave.

If this is right

A single recursion relation organizes the entire tower of supergravity theories as N varies.
The cases N=4 and N=6 acquire particularly transparent closed-form expressions.
Low-even-N theories are constructed directly from Hermite polynomials.
The intersection-theory reduction rule is recovered uniformly without case-by-case contour analysis.

Where Pith is reading between the lines

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

The same weighted-integral representation could be tested on other high-energy limits or on higher-point supergravity amplitudes.
Numerical evaluation of the integrals might prove faster than direct manipulation of parabolic-cylinder functions for moderate N.
The differential equations satisfied by the integrals invite comparison with period integrals appearing in related string-theory calculations.

Load-bearing premise

The known parabolic-cylinder expression for the Mellin partial wave can be recovered exactly from the proposed pair of weighted integrals without missing information or hidden assumptions.

What would settle it

Compute the two weighted integrals explicitly for a fixed small value of N, such as N=4, and check whether the resulting function coincides with the known parabolic-cylinder expression for the Mellin partial wave at the same N.

Figures

Figures reproduced from arXiv: 2604.05139 by Agust\'in Sabio Vera (Universidad Aut\'onoma de Madrid, Instituto de F\'isica Te\'orica UAM-CSIC).

**Figure 1.** Figure 1: Real-axis denominators e σ 2/4D−η(σ). Real zeros are marked by black points. N = 4 has only the zero σ = 0. The upper panel shows the positive-real zeros present for N < 4. The lower panel shows that no positive-real zero remains for N > 4 [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗

read the original abstract

We study the double-logarithmic four-graviton Regge sector in $N$-extended supergravity. Its Mellin-space solution is already known in terms of parabolic-cylinder functions. We show that the same answer can be organized as a rank-two twisted period system, meaning that two closely related weighted integrals determine the full Mellin partial wave. These functions satisfy a simple pair of first-order differential equations and a recursion as the number of supersymmetries $N$ changes. This gives a uniform description of the full supergravity family, clarifies the relation between the positive-ray Euler integral and the earlier contour representation, and reproduces the same reduction rule through intersection theory. The reformulation also makes the special cases with four and six supersymmetries particularly transparent and yields a simple Hermite-polynomial construction for the low-even theories.

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.

Desk Editor's Note private letter to a colleague

The paper recasts the known Mellin solution for the double-log four-graviton Regge sector as a rank-two twisted period system with first-order DEs and an N-recursion.

read the letter

The main takeaway is that the authors have recast the known Mellin-space solution for the double-logarithmic four-graviton Regge sector in N-extended supergravity as a rank-two twisted period system. Two weighted integrals now capture the full partial wave, and this form comes with clean first-order differential equations plus a recursion in N. This reorganization is new. It supplies a uniform description across different numbers of supersymmetries and makes the N=4 and N=6 cases especially transparent through a Hermite-polynomial construction. The paper also shows that the new setup reproduces the intersection-theory reduction rule and clarifies how the positive-ray Euler integral relates to the earlier contour representation. The work does a good job of presenting these technical improvements without altering the underlying physics. The equivalence to the parabolic-cylinder solution appears to hold exactly, based on the checks described. The limitation is that this remains a re-coordinatization of an existing answer rather than an independent derivation or extension to new amplitudes. The central assumption that the two integrals fully determine the wave without loss of information seems to check out in the special cases, but it rests on the prior Mellin result. This is a paper for people already working on Regge limits and Mellin transforms in supergravity. A reader who knows the parabolic-cylinder literature will appreciate the new differential-equation tools and the recursion. It is narrow but the formal structure is handled carefully. I would send this to peer review. The claims are specific enough that referees can check the derivations directly.

Referee Report

0 major / 2 minor

Summary. The paper shows that the known Mellin-space solution for the double-logarithmic four-graviton Regge sector in N-extended supergravity (expressed via parabolic-cylinder functions) can be equivalently reorganized as a rank-two twisted period system. This system is defined by two closely related weighted integrals that determine the full partial wave; the integrals obey a pair of first-order differential equations together with an N-recursion, reproduce the intersection-theory reduction rule, clarify the link between the positive-ray Euler integral and prior contour representations, and render the N=4 and N=6 cases transparent via an explicit Hermite-polynomial construction for low-even theories.

Significance. If the claimed exact equivalence holds, the work supplies a uniform description across the entire supergravity family in this sector. The use of twisted period systems and the explicit Hermite-polynomial construction for low-even N provide concrete, computable expressions that may simplify further Regge-limit analyses and Mellin-space calculations. The reproduction of the intersection-theory reduction rule and the clarification of integral representations are additional strengths that strengthen the result's utility.

minor comments (2)

[Introduction] The introduction would benefit from a brief explicit statement of the two weighted integrals (e.g., their precise kernels and contours) before the differential-equation analysis begins, to aid readers unfamiliar with twisted period systems.
[Section on differential equations and recursion] Notation for the N-recursion relation could be made more uniform with the differential operators introduced in the same section to avoid any ambiguity in the combined system.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending acceptance. The referee's summary accurately captures the main results concerning the reformulation of the double-logarithmic four-graviton Regge sector as a rank-two twisted period system.

Circularity Check

0 steps flagged

No significant circularity; exact reorganization of externally known Mellin solution

full rationale

The paper starts from the already-established Mellin-space solution in parabolic-cylinder functions for the double-logarithmic four-graviton Regge sector and shows it can be equivalently expressed as a rank-two twisted period system via two weighted integrals. These integrals are shown to satisfy first-order DEs, an N-recursion, and reproduce the intersection-theory reduction rule, with special cases for N=4,6 made transparent via Hermite polynomials. All steps are presented as direct equivalences and verifications against the known input solution using standard techniques, without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claim to unverified prior author results. The derivation is self-contained and externally benchmarked against the pre-existing parabolic-cylinder expression.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Review is based on abstract only; the central claim rests on the existence of a known parabolic-cylinder solution and on standard properties of Mellin transforms and weighted integrals.

axioms (2)

domain assumption The Mellin-space solution is already known and correctly given by parabolic-cylinder functions
The paper takes this solution as given and reorganizes it.
domain assumption Weighted integrals can be defined that exactly reproduce the full Mellin partial wave
This is the load-bearing step asserted but not derived in the abstract.

pith-pipeline@v0.9.0 · 5457 in / 1352 out tokens · 40830 ms · 2026-05-10T18:45:56.600588+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean (distinction → 8-tick, φ, J) reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The weight z^{η-1} exp(-z²/2 - σ z)... positive-ray Euler integral... intersection theory reduction rule... Hermite-polynomial construction for the low-even theories.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

58 extracted references · 53 canonical work pages

[1]

M. T. Grisaru, P. van Nieuwenhuizen and C. C. Wu, Phys. Rev. D12(1975), 1563. doi:10.1103/PhysRevD.12.1563

work page doi:10.1103/physrevd.12.1563 1975
[2]

L. N. Lipatov, Phys. Lett. B116(1982), 411–413. doi:10.1016/0370-2693(82)90156-3

work page doi:10.1016/0370-2693(82)90156-3 1982
[3]

L. N. Lipatov, Sov. Phys. JETP55(1982), 582–590

1982
[4]

L. N. Lipatov, Nucl. Phys. B365(1991), 614–632. doi:10.1016/0550-3213(91)90512-V

work page doi:10.1016/0550-3213(91)90512-v 1991
[5]

L. N. Lipatov, Phys. Part. Nucl.44(2013), 391–413. doi:10.1134/S1063779613020214. [arXiv:1105.3127 [hep-th]]

work page doi:10.1134/s1063779613020214 2013
[6]

L. N. Lipatov, Int. J. Mod. Phys. A31(2016), 1645011. doi:10.1142/S0217751X16450113

work page doi:10.1142/s0217751x16450113 2016
[8]

Weinberg, Phys

S. Weinberg, Phys. Rev.140(1965), B516–B524. doi:10.1103/PhysRev.140.B516

work page doi:10.1103/physrev.140.b516 1965
[9]

Di Vecchia, A

P. Di Vecchia, A. Luna, S. G. Naculich, R. Russo, G. Veneziano and C. D. White, Phys. Lett. B798(2019), 134927. doi:10.1016/j.physletb.2019.134927. [arXiv:1908.05603 [hep-th]]

work page doi:10.1016/j.physletb.2019.134927 2019
[10]

Di Vecchia, S

P. Di Vecchia, S. G. Naculich, R. Russo, G. Veneziano and C. D. White, JHEP03(2020), 173. doi:10.1007/JHEP03(2020)173. [arXiv:1911.11716 [hep-th]]

work page doi:10.1007/jhep03(2020)173 2020
[11]

Di Vecchia, C

P. Di Vecchia, C. Heissenberg, R. Russo and G. Veneziano, Phys. Rept.1083(2024), 1–169. doi:10.1016/j.physrep.2024.06.002. [arXiv:2306.16488 [hep-th]]

work page doi:10.1016/j.physrep.2024.06.002 2024
[12]

Bern and D

Z. Bern and D. C. Dunbar, Nucl. Phys. B379(1992), 562–601. doi:10.1016/0550-3213(92)90135- X

work page doi:10.1016/0550-3213(92)90135- 1992
[13]

Z. Bern, D. C. Dunbar and T. Shimada, Phys. Lett. B312(1993), 277–284. doi:10.1016/0370- 2693(93)91081-W. [arXiv:hep-th/9307001 [hep-th]]

work page doi:10.1016/0370- 1993
[15]

Z. Bern, J. J. Carrasco, L. J. Dixon, H. Johansson and R. Roiban, Phys. Rev. Lett.103(2009), 081301. doi:10.1103/PhysRevLett.103.081301. [arXiv:0905.2326 [hep-th]]

work page doi:10.1103/physrevlett.103.081301 2009
[16]

Abreu, F

S. Abreu, F. Febres Cordero, H. Ita, M. Jaquier, B. Page, M. S. Ruf and V. Sotnikov, Phys. Rev. Lett.124(2020), 211601. doi:10.1103/PhysRevLett.124.211601. [arXiv:2002.12374 [hep-th]]

work page doi:10.1103/physrevlett.124.211601 2020
[17]

Boucher-Veronneau and L

C. Boucher-Veronneau and L. J. Dixon, JHEP12(2011), 046. doi:10.1007/JHEP12(2011)046. [arXiv:1110.1132 [hep-th]]

work page doi:10.1007/jhep12(2011)046 2011
[18]

J. M. Henn and B. Mistlberger, JHEP05(2019), 023. doi:10.1007/JHEP05(2019)023. [arXiv:1902.07221 [hep-th]]

work page doi:10.1007/jhep05(2019)023 2019
[19]

Sabio Vera, E

A. Sabio Vera, E. Serna Campillo and M. A. Vazquez-Mozo, JHEP03(2012), 005. doi:10.1007/JHEP03(2012)005. [arXiv:1112.4494 [hep-th]]. 20

work page doi:10.1007/jhep03(2012)005 2012
[20]

Sabio Vera, E

A. Sabio Vera, E. Serna Campillo and M. A. Vazquez-Mozo, JHEP04(2013), 086. doi:10.1007/JHEP04(2013)086. [arXiv:1212.5103 [hep-th]]

work page doi:10.1007/jhep04(2013)086 2013
[21]

Johansson, A

H. Johansson, A. Sabio Vera, E. Serna Campillo and M. Á. Vázquez-Mozo, JHEP10(2013),

2013
[22]

[arXiv:1307.3106 [hep-th]]

doi:10.1007/JHEP10(2013)215. [arXiv:1307.3106 [hep-th]]

work page doi:10.1007/jhep10(2013)215 2013
[23]

Johansson, A

H. Johansson, A. Sabio Vera, E. Serna Campillo and M. A. Vazquez-Mozo, [arXiv:1310.1680 [hep-th]]

work page arXiv
[24]

Sabio Vera and M

A. Sabio Vera and M. A. Vazquez-Mozo, JHEP03(2015), 070. doi:10.1007/JHEP03(2015)070. [arXiv:1412.3699 [hep-th]]

work page doi:10.1007/jhep03(2015)070 2015
[25]

Z. Bern, S. Davies, T. Dennen and Y. t. Huang, Phys. Rev. D86(2012), 105014. doi:10.1103/PhysRevD.86.105014. [arXiv:1209.2472 [hep-th]]

work page doi:10.1103/physrevd.86.105014 2012
[26]

Melville, S

S. Melville, S. G. Naculich, H. J. Schnitzer and C. D. White, Phys. Rev. D89(2014), 025009. doi:10.1103/PhysRevD.89.025009. [arXiv:1306.6019 [hep-th]]

work page doi:10.1103/physrevd.89.025009 2014
[27]

Caron-Huot, D

S. Caron-Huot, D. Chicherin, J. M. Henn, Y. Zhang and S. Zoia, JHEP10(2020), 188. doi:10.1007/JHEP10(2020)188. [arXiv:2003.03120 [hep-th]]

work page doi:10.1007/jhep10(2020)188 2020
[28]

S. G. Naculich, JHEP02(2021), 044. doi:10.1007/JHEP02(2021)044. [arXiv:2012.00030 [hep- th]]

work page doi:10.1007/jhep02(2021)044 2021
[29]

Raj and R

H. Raj and R. Venugopalan, Phys. Rev. D109(2024), 044064. doi:10.1103/PhysRevD.109.044064. [arXiv:2311.03463 [hep-th]]

work page doi:10.1103/physrevd.109.044064 2024
[30]

Raj and R

H. Raj and R. Venugopalan, Phys. Rev. D110(2024), 056010. doi:10.1103/PhysRevD.110.056010. [arXiv:2406.10483 [hep-th]]

work page doi:10.1103/physrevd.110.056010 2024
[31]

Bondarenko, Eur

S. Bondarenko, Eur. Phys. J. C84(2024), 1031. doi:10.1140/epjc/s10052-024-13396-z. [arXiv:2406.19067 [hep-th]]

work page doi:10.1140/epjc/s10052-024-13396-z 2024
[32]

I. Z. Rothstein and M. Saavedra, [arXiv:2412.04428 [hep-th]]

work page arXiv
[33]

Ciafaloni, D

M. Ciafaloni, D. Colferai and G. Veneziano, Phys. Rev. D99(2019), 066008. doi:10.1103/PhysRevD.99.066008. [arXiv:1812.08137 [hep-th]]

work page doi:10.1103/physrevd.99.066008 2019
[34]

Barcaro and V

D. Barcaro and V. Del Duca, JHEP09(2025), 041. doi:10.1007/JHEP09(2025)041. [arXiv:2506.11822 [hep-th]]

work page doi:10.1007/jhep09(2025)041 2025
[35]

Alessio, V

F. Alessio, V. Del Duca, R. Gonzo, E. Rosi, I. Z. Rothstein and M. Saavedra, [arXiv:2511.11457 [hep-th]]

work page arXiv
[36]

Alessio, V

F. Alessio, V. Del Duca, R. Gonzo and E. Rosi, [arXiv:2601.21687 [hep-th]]

work page arXiv
[37]

Kirschner and L

R. Kirschner and L. N. Lipatov, Sov. Phys. JETP56(1982), 266–273

1982
[38]

Anomalies and Fermion Zero Modes on Strings and Domain Walls,

R. Kirschner and L. N. Lipatov, Nucl. Phys. B213(1983), 122–148. doi:10.1016/0550- 3213(83)90178-5

work page doi:10.1016/0550- 1983
[39]

Bartels, L

J. Bartels, L. N. Lipatov and A. Sabio Vera, JHEP07(2014), 056. doi:10.1007/JHEP07(2014)056. [arXiv:1208.3423 [hep-th]]. 21

work page doi:10.1007/jhep07(2014)056 2014
[40]

Sabio Vera, JHEP07(2019), 080

A. Sabio Vera, JHEP07(2019), 080. doi:10.1007/JHEP07(2019)080. [arXiv:1904.13372 [hep- th]]

work page doi:10.1007/jhep07(2019)080 2019
[41]

Sabio Vera, JHEP01(2020), 163

A. Sabio Vera, JHEP01(2020), 163. doi:10.1007/JHEP01(2020)163. [arXiv:1912.00744 [hep- th]]

work page doi:10.1007/jhep01(2020)163 2020
[42]

Aomoto and M

K. Aomoto and M. Kita,Theory of Hypergeometric Functions, Springer, Tokyo (2011). doi:10.1007/978-4-431-53938-4

work page doi:10.1007/978-4-431-53938-4 2011
[43]

Cho and K

K. Cho and K. Matsumoto, Nagoya Math. J.139(1995), 67–86. doi:10.1017/S0027763000005304

work page doi:10.1017/s0027763000005304 1995
[44]

Matsumoto, Osaka J

K. Matsumoto, Osaka J. Math.35(1998), 873–893

1998
[45]

Mizera, Phys

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

work page doi:10.1103/physrevlett.120.141602 2018
[46]

Feynman Integrals and Intersection Theory

P. Mastrolia and S. Mizera, JHEP02(2019), 139. doi:10.1007/JHEP02(2019)139. [arXiv:1810.03818 [hep-th]]

work page doi:10.1007/jhep02(2019)139 2019
[47]

Mandal, Pierpaolo Mastrolia, Luca Mattiazzi, and Sebastian Mizera

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

work page doi:10.1007/jhep05(2019)153 2019
[48]

Mandal, Pierpaolo Mastrolia, Luca Mattiazzi, and Sebastian Mizera

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

work page doi:10.1103/physrevlett.123.201602 2019
[49]

Mandal, Pierpaolo Mastrolia, Luca Mattiazzi, and Sebastian Mizera

H. Frellesvig, F. Gasparotto, S. Laporta, M. K. Mandal, P. Mastrolia, L. Mattiazzi and S. Mizera, JHEP03(2021), 027. doi:10.1007/JHEP03(2021)027. [arXiv:2008.04823 [hep-th]]

work page doi:10.1007/jhep03(2021)027 2021
[50]

Mizera, PoS MA2019 (2022), 016

S. Mizera, PoS MA2019 (2022), 016. doi:10.22323/1.383.0016. [arXiv:2002.10476 [hep-th]]

work page doi:10.22323/1.383.0016 2022
[51]

S. L. Cacciatori and P. Mastrolia,Intersection Numbers in Quantum Mechanics and Field Theory, [arXiv:2211.03729 [hep-th]]

work page arXiv
[52]

R. N. Lee and A. A. Pomeransky, JHEP11(2013), 165. doi:10.1007/JHEP11(2013)165. [arXiv:1308.6676 [hep-ph]]

work page doi:10.1007/jhep11(2013)165 2013
[53]

Bloch and H

S. Bloch and H. Esnault, J. Théorie des Nombres de Bordeaux16(2004), 357–371. doi:10.5802/jtnb.450. [arXiv:math/0005137 [math.AG]]

work page doi:10.5802/jtnb.450 2004
[54]

Hien, Math

M. Hien, Math. Ann.337(2007), 631–669. doi:10.1007/s00208-006-0050-6. [arXiv:math/0609439 [math.AG]]

work page doi:10.1007/s00208-006-0050-6 2007
[55]

Mimachi and M

K. Mimachi and M. Yoshida, Int. J. Math.18(2007), 395–409. doi:10.1142/S0129167X0700414X. [arXiv:math/0408272 [math.QA]]

work page doi:10.1142/s0129167x0700414x 2007
[56]

Matsumoto, Funkcial

K. Matsumoto, Funkcial. Ekvac.67(2024), 105–147. doi:10.1619/fesi.67.105. [arXiv:1804.00366 [math.CA]]

work page doi:10.1619/fesi.67.105 2024
[57]

NIST Digital Library of Mathematical Functions, F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller and B. V. Saunders, eds., available athttps://dlmf.nist.gov/
[58]

Duhr, JHEP08(2012), 043

C. Duhr, JHEP08(2012), 043. doi:10.1007/JHEP08(2012)043. [arXiv:1203.0454 [hep-ph]]. 22

work page doi:10.1007/jhep08(2012)043 2012
[59]

N. M. Katz and T. Oda, J. Math. Kyoto Univ.8(1968), 199–213. doi:10.1215/kjm/1250524135

work page doi:10.1215/kjm/1250524135 1968
[60]

Aomoto, J

K. Aomoto, J. Math. Soc. Japan39(1987), 191–208. doi:10.2969/jmsj/03920191. 23

work page doi:10.2969/jmsj/03920191 1987