Rigorous, assumption-free equivalence of the two contour prescriptions in superstring perturbation theory (low spacetime dimensions, stub-free intermediate-state sums, and controlled integral interchanges)

Superstring perturbation theory requires a prescription for deforming integration cycles to define divergent S-matrix amplitudes, and two such prescriptions are known: deformation of the moduli-space integration cycles into complexified moduli space (the string-theoretic $i\varepsilon$), and deformation of the loop-energy integration contours of superstring field theory Feynman diagrams. Sen (2017) proved the two prescriptions equivalent to all orders in perturbation theory, which establishes unitarity of the moduli-space prescription — but the proof explicitly assumes spacetime dimension $D>2$, inserts vertex 'stubs' to force convergence of the infinite sum over intermediate string states, and justifies key interchanges of integrals only by formal phase estimates. The open problem is to establish the same all-order equivalence while removing these three crutches: extend it to $D\le 2$ where infrared divergences of individual massless propagators are severe, control the sum over intermediate string states without stub suppression factors (or prove independence of the stub choice), and supply rigorous functional-analytic justification for the Schwinger-parameter/loop-momentum interchanges and contour deformations, including exceptional kinematic subspaces and higher-codimension boundary contributions in moduli space. No published work is known to resolve these three gaps; the subsequent literature on Cutkosky rules, analyticity and crossing, two-dimensional string amplitudes, and explicit tree-level and one-loop contour constructions leaves them untouched.

Background

In first-quantized string theory, an $n$-particle scattering amplitude at genus $g$ (i.e. at order $g$ in the topological expansion, where the world-sheet — the two-dimensional surface swept out by a propagating string — is a Riemann surface with $g$ handles) is computed as an integral over the moduli space of Riemann surfaces of genus $g$ with $n$ punctures (the space of inequivalent complex structures on the surface, with the punctures marking the positions of the external string vertex operators, the local insertions on the surface that create or absorb the external particles). When the total center-of-mass energy of the incoming particles exceeds the threshold for production of some final state — which, because string theory has states of arbitrarily small mass (the massless graviton, and in many backgrounds tachyons), happens generically — these integrals diverge along the real integration cycles, just as loop momentum integrals in quantum field theory develop infrared (long-distance, low-energy) singularities from massless particles.

Two systematic prescriptions repair this. The first, the string-theoretic analog of the Feynman $i\varepsilon$ (the infinitesimal displacement of propagator poles that makes loop integrals well-defined) proposed by Witten (2013), deforms the integration cycles over moduli space into the complexified moduli space, so that the divergent oscillatory integrals become absolutely convergent ones over deformed cycles. The second comes from superstring field theory (SFT), the second-quantized formulation in which the S-matrix is a sum of Feynman diagrams: because the SFT interaction vertices grow exponentially for large timelike momenta, the integration contours over the loop energies cannot lie along the real axis and must instead run from $-i\infty$ to $+i\infty$ while navigating around the propagator poles in the complex energy plane (Pius and Sen, 2016). Sen (2017) proved that these two prescriptions agree to all orders in perturbation theory, so that the unitarity (probability conservation) of the SFT-based amplitudes — where it follows from the standard Cutkosky-rule analysis (the Cutkosky rules determine the discontinuities of Feynman amplitudes across branch cuts and thereby express unitarity) — carries over to the world-sheet (moduli-space) prescription.

The proof of Sen (2017) proceeds by introducing a complex parameter $u$ that scales all loop energies, regarding the amplitude as the limit $u\to 1$ taken from within the first quadrant of the complex $u$-plane, replacing each propagator by a Schwinger-parameter integral (a $t$-integral representation of $(k^2+m^2)^{-1}$, where $t$ is a proper-time parameter), and showing that both prescriptions yield the same analytic function of $u$ there. The argument, however, rests on three explicit props. First, convergence of the large-$t$ regions uses the factor $t^{-D/2}$ from Gaussian loop-momentum integration, which suffices only in spacetime dimension $D>2$; for $D\le 2$ single massless propagators produce genuine divergences of the form $\int d^D k/k^2$, and the paper explicitly sets this regime aside. Second, the sum over intermediate string states is made convergent by adding 'stubs' to the vertices — lengths of cylinder inserted at each puncture, implemented as factors $(\lambda_i(y))^{m_i^2}$ multiplying the contribution of a state of mass $m_i$ — chosen small enough to beat the density of string states, which grows like $e^{c\,m}$ at mass level $m$; no first-principles derivation of this choice, or control of the undeformed sum, is given. Third, the manipulations that replace propagators by $t$-integrals and interchange them with the loop-momentum and moduli integrals are justified only by phase estimates and by the avoidance of pinch singularities (contours trapped between approaching poles) for $u$ in the first quadrant; loci such as internal energies $k_i^0=0$, where the damping factors vanish, are dismissed as measure zero, and possible boundary contributions when contours are deformed near higher-codimension faces of the compactified moduli space (the boundary strata added upon compactification, where the Riemann surface degenerates into long thin tubes — precisely the regions associated with propagators going on-shell) are not analyzed. The equivalence result underpins later all-order results in the same program — Cutkosky rules, unitarity, and analyticity/crossing symmetry (de Lacroix, Erbin, and Sen, 2019) — all of which inherit these assumptions. Standard references (Erbin's textbook String Field Theory: A Modern Introduction; the 2024 review by Sen and Zwiebach) present the equivalence as established in the critical-dimension, stub-based setting (the critical dimension, ten for superstrings, being the spacetime dimension at which the world-sheet theory is internally consistent) without treating the three gaps as open problems, while recent work on explicit contour constructions (Eberhardt–Mizera; Manschot–Wang) and on two-dimensional string amplitudes addresses related questions at tree level and one loop only.

Problem Statement

Establish the equivalence of the two contour prescriptions in superstring perturbation theory — the deformation of moduli-space integration cycles into complexified moduli space (the string-theoretic $i\varepsilon$) and the deformation of loop-energy integration contours of superstring field theory Feynman diagrams — to all orders in perturbation theory, without the auxiliary assumptions on which the existing proof of Sen (2017) rests. Concretely, discharge the three explicitly flagged gaps, which jointly support this single objective of putting the all-order equivalence (and thereby the unitarity of the moduli-space prescription) on a sound footing:

1. Low dimensions: extend the equivalence to spacetime dimension $D\le 2$, where a single massless propagator produces genuine infrared divergences of the form $\int d^D k/k^2$ and the existing convergence argument, based on $t^{-D/2}$ suppression of the large-Schwinger-parameter regions, fails. Since the amplitudes themselves are ill-defined there in their naive form, this may require reorganizing the quantity being compared, provided the two prescriptions are applied to the same reorganized object and shown to agree for it.

2. Stub independence: control the infinite sum over intermediate string states, whose level density grows like $e^{c\,m}$, without the inserted stub factors $(\lambda_i(y))^{m_i^2}$ that are chosen small by hand to force convergence — either by proving convergence of the undeformed sum over all string states, by deriving the admissible class of stub choices from first principles, or by proving that the final amplitudes are independent of the stub choice.

3. Rigor of the interchanges: supply a rigorous functional-analytic justification for replacing propagators by Schwinger $t_i$-integrals and interchanging them with the loop-momentum and moduli integrations — including the treatment of the loci with vanishing internal energies $k_i^0=0$ currently dismissed as measure zero, of exceptional kinematic subspaces (the non-generic kinematic configurations in which the phase-estimate and pinch-singularity-avoidance arguments used for these interchanges fail — for example, loci where several internal propagators simultaneously approach their mass shell and pinch an integration contour, or where momentum invariants degenerate), and of possible boundary contributions arising when contours are deformed near higher-codimension faces of the compactified moduli space.

An answer that refutes extendability — for instance, an explicit demonstration that in some $D\le 2$ theory or in a stub-free loop computation the two prescriptions yield inequivalent amplitudes — also counts as a resolution, provided the discrepancy is established for the same quantity under both prescriptions.

References

1. Ashoke Sen, 'Equivalence of Two Contour Prescriptions in Superstring Perturbation Theory', JHEP 04 (2017) 025, DOI: 10.1007/JHEP04(2017)025, arXiv:1610.00443, https://arxiv.org/abs/1610.00443
2. Edward Witten, 'The Feynman $i\varepsilon$ in String Theory', JHEP 04 (2015) 055, DOI: 10.1007/JHEP04(2015)055, arXiv:1307.5124, https://arxiv.org/abs/1307.5124
3. Roji Pius and Ashoke Sen, 'Cutkosky Rules for Superstring Field Theory', JHEP 10 (2016) 024, DOI: 10.1007/JHEP10(2016)024, arXiv:1604.01783, https://arxiv.org/abs/1604.01783
4. Corinne de Lacroix, Harold Erbin, and Ashoke Sen, 'Analyticity and Crossing Symmetry of Superstring Loop Amplitudes', JHEP 05 (2019) 139, DOI: 10.1007/JHEP05(2019)139, arXiv:1810.07197, https://arxiv.org/abs/1810.07197
5. Ashoke Sen, 'String Field Theory as World-sheet UV Regulator', JHEP 10 (2019) 119, DOI: 10.1007/JHEP10(2019)119, arXiv:1902.00263, https://arxiv.org/abs/1902.00263
6. Ashoke Sen, 'Fixing an Ambiguity in Two Dimensional String Theory Using String Field Theory', JHEP 03 (2020) 005, DOI: 10.1007/JHEP03(2020)005, arXiv:1908.02782, https://arxiv.org/abs/1908.02782
7. Ashoke Sen, 'Divergent to Complex Amplitudes in Two Dimensional String Theory', JHEP 02 (2021) 086, DOI: 10.1007/JHEP02(2021)086, arXiv:2003.12076, https://arxiv.org/abs/2003.12076
8. Ashoke Sen, 'D-instantons, String Field Theory and Two Dimensional String Theory', JHEP 11 (2021) 061, DOI: 10.1007/JHEP11(2021)061, arXiv:2012.11624, https://arxiv.org/abs/2012.11624
9. Ashoke Sen, 'Infrared finite semi-inclusive cross section in two dimensional type 0B string theory', JHEP 04 (2023) 101, DOI: 10.1007/JHEP04(2023)101, arXiv:2208.07385, https://arxiv.org/abs/2208.07385
10. Bruno Balthazar, Victor A. Rodriguez, and Xi Yin, 'The S-Matrix of 2D Type 0B String Theory Part 1: Perturbation Theory Revisited', JHEP 05 (2023) 234, DOI: 10.1007/JHEP05(2023)234, arXiv:2201.05621, https://arxiv.org/abs/2201.05621
11. Luca Buoninfante, 'On the contour prescriptions in string-inspired nonlocal field theories', Phys. Rev. D 106 (2022) 126028, DOI: 10.1103/PhysRevD.106.126028, arXiv:2205.15348, https://arxiv.org/abs/2205.15348
12. Lorenz Eberhardt and Sebastian Mizera, 'Evaluating one-loop string amplitudes', SciPost Phys. 15 (2023) 119, DOI: 10.21468/SciPostPhys.15.3.119, arXiv:2302.12733, https://arxiv.org/abs/2302.12733
13. Lorenz Eberhardt and Sebastian Mizera, 'Lorentzian contours for tree-level string amplitudes', SciPost Phys. 17 (2024) 078, DOI: 10.21468/SciPostPhys.17.3.078, arXiv:2403.07051, https://arxiv.org/abs/2403.07051
14. Nima Arkani-Hamed, Lorenz Eberhardt, Yu-tin Huang, and Sebastian Mizera, 'On Unitarity of Tree-Level String Amplitudes', JHEP 02 (2022) 197, DOI: 10.1007/JHEP02(2022)197, arXiv:2201.11575, https://arxiv.org/abs/2201.11575
15. Jan Manschot and Zhi-Zhen Wang, 'The $i\varepsilon$-Prescription for String Amplitudes and Regularized Modular Integrals', Commun. Num. Theor. Phys. 19 (2025), DOI: 10.4310/cntp.251030233627, arXiv:2411.02517, https://arxiv.org/abs/2411.02517
16. Harold Erbin, 'String Field Theory: A Modern Introduction', Lecture Notes in Physics 980, Springer (2021), DOI: 10.1007/978-3-030-65321-7, arXiv:2301.01686, https://arxiv.org/abs/2301.01686
17. Ashoke Sen and Barton Zwiebach, 'String Field Theory: A Review', 2024, arXiv:2405.19421, https://arxiv.org/abs/2405.19421