arXiv subjects
Publications and source records attributed to Sebastian Mizera.
We give a pedagogical review of the recently-introduced notion of a "scalar product" between Feynman integrals and how it helps us understand the analytic structure of the perturbative S-matrix. (This article is a contribution to the proceedings of the workshop "MathemAmplitudes 2019: Intersection Theory and Feynman Integrals" held in Padova, Italy on 18-20 December 2019.)
We study a surprising phenomenon in which Feynman integrals in $D=4-2\varepsilon$ space-time dimensions as $\varepsilon \to 0$ can be fully characterized by their behavior in the opposite limit, $\varepsilon \to \infty$. More concretely, we consider vector bundles of Feynman integrals over kinematic spaces, whose connections have a polynomial dependence on $\varepsilon$ and are known to be governed by intersection numbers of twisted forms. They give rise to differential equations that can be obtained exactly as a truncating expansion in either $\varepsilon$ or $1/\varepsilon$. We use the latter for explicit computations, which are performed by expanding intersection numbers in terms of Saito's higher residue pairings (previously used in the context of topological Landau-Ginzburg models and mirror symmetry). These pairings localize on critical points of a certain Morse function, which correspond to regions in the loop-momentum space that were previously thought to govern only the large-$D$ physics. The results of this work leverage recent understanding of an analogous situation for moduli spaces of curves, where the $α' \to 0$ and $α' \to \infty$ limits of intersection numbers coincide for scattering amplitudes of massless quantum field theories.
We elaborate on the recent proposal that intersection numbers of certain cohomology classes on the moduli space of genus-zero Riemann surfaces with punctures compute tree-level scattering amplitudes in quantum field theories. The relevant cohomology classes are twisted by representations of the fundamental group that describes how punctures braid around each other on the Riemann surface, which can be used to link it to the space of kinematic invariants. Intersection numbers of said cohomology classes, whose representatives we call twisted forms, can be shown to fully localize on the boundaries of the moduli space, which are in one-to-one map with Feynman diagrams. We prove that when twisted forms are logarithmic, their intersection numbers have a simple expansion in terms of trivalent Feynman diagrams allowing only for massless propagators on the internal and external lines. For physical applications one also needs to study non-logarithmic forms as they are responsible for propagation of massive states. We utilize the natural fibre bundle structure of the moduli space, which allows for a direct access to the boundaries, to introduce recursion relations for intersection numbers that "integrate out" puncture-by-puncture. The resulting recursion involves only linear algebra of certain matrices describing braiding properties of the moduli space and evaluating one-dimensional residues, thus paving a way for explicit analytic computations of scattering amplitudes. Together with the previous reformulation of the tree-level S-matrix of string theory in terms of twisted forms, the results of this work complete a unified geometric framework for studying scattering amplitudes from genus-zero Riemann surfaces. We show that a web of dualities between different homology and cohomology groups allows for deriving a host of identities among various types of amplitudes computed from the moduli space.
We introduce a bosonic ambitwistor string theory in AdS space. Even though the theory is anomalous at the quantum level, one can nevertheless use it in the classical limit to derive a novel formula for correlation functions of boundary CFT operators in arbitrary space-time dimensions. The resulting construction can be treated as a natural extension of the CHY formalism for the flat-space S-matrix, as it similarly expresses tree-level amplitudes in AdS as integrals over the moduli space of Riemann spheres with punctures. These integrals localize on an operator-valued version of scattering equations, which we derive directly from the ambitwistor string action on a coset manifold. As a testing ground for this formalism we focus on the simplest case of ambitwistor string coupled to two current algebras, which gives bi-adjoint scalar correlators in AdS. In order to evaluate them directly, we make use of a series of contour deformations on the moduli space of punctured Riemann spheres and check that the result agrees with tree level Witten diagram computations to all multiplicity. We also initiate the study of eigenfunctions of scattering equations in AdS, which interpolate between conformal partial waves in different OPE channels, and point out a connection to an elliptic deformation of the Calogero-Sutherland model.
We give a geometric interpretation of color-kinematics duality between tree-level scattering amplitudes of gauge and gravity theories. Using their representation as intersection numbers we show how to obtain Bern-Carrasco-Johansson numerators in a constructive way as residues around boundaries of the moduli space. In this language the kinematic Jacobi identity between each triple of numerators is a residue theorem in disguise.
We reformulate the monodromy relations of open-string scattering amplitudes as boundary terms of twisted homologies on the configuration spaces of Riemann surfaces of arbitrary genus. This allows us to write explicit linear relations involving loop integrands of open-string theories for any number of external particles and, for the first time, to arbitrary genus. In the non-planar sector, these relations contain seemingly unphysical contributions, which we argue clarify mismatches in previous literature. The text is mostly self-contained and presents a concise introduction to twisted homologies. As a result of this powerful formulation, we can propose estimates on the number of independent loop integrands based on Euler characteristics of the relevant configuration spaces, leading to a higher-genus generalization of the famous $(n-3)!$ result at genus zero.
Feynman integrals obey linear relations governed by intersection numbers, which act as scalar products between vector spaces. We present a general algorithm for constructing multivariate intersection numbers relevant to Feynman integrals, and show for the first time how they can be used to solve the problem of integral reduction to a basis of master integrals by projections, and to directly derive functional equations fulfilled by the latter. We apply it to the derivation of contiguity relations for special functions admitting multi-fold integral representations, and to the decomposition of a few Feynman integrals at one- and two-loops, as first steps towards potential applications to generic multi-loop integrals.
We elaborate on the recent idea of a direct decomposition of Feynman integrals onto a basis of master integrals on maximal cuts using intersection numbers. We begin by showing an application of the method to the derivation of contiguity relations for special functions, such as the Euler beta function, the Gauss ${}_2F_1$ hypergeometric function, and the Appell $F_1$ function. Then, we apply the new method to decompose Feynman integrals whose maximal cuts admit 1-form integral representations, including examples that have from two to an arbitrary number of loops, and/or from zero to an arbitrary number of legs. Direct constructions of differential equations and dimensional recurrence relations for Feynman integrals are also discussed. We present two novel approaches to decomposition-by-intersections in cases where the maximal cuts admit a 2-form integral representation, with a view towards the extension of the formalism to $n$-form representations. The decomposition formulae computed through the use of intersection numbers are directly verified to agree with the ones obtained using integration-by-parts identities.
We introduce a natural generalization of the scattering equations, which connect the space of Mandelstam invariants to that of points on ${\mathbb{CP}^1}$, to higher-dimensional projective spaces $\mathbb{CP}^{k-1}$. The standard, $k=2$ Mandelstam invariants, $s_{ab}$, are generalized to completely symmetric tensors $\textsf{s}_{a_1a_2\ldots a_k}$ subject to a `massless' condition $\textsf{s}_{a_1a_2\cdots a_{k-2}\,b\,b}=0$ and to `momentum conservation'. The scattering equations are obtained by constructing a potential function and computing its critical points. We mainly concentrate on the $k=3$ case: study solutions and define the generalization of biadjoint scalar amplitudes. We compute all `biadjoint amplitudes' for $(k,n)=(3,6)$ and find a direct connection to the tropical Grassmannian. This leads to the notion of $k=3$ Feynman diagrams. We also find a concrete realization of the new kinematic spaces, which coincides with the spinor-helicity formalism for $k=2$, and provides analytic solutions analogous to the MHV ones.
We introduce the tools of intersection theory to the study of Feynman integrals, which allows for a new way of projecting integrals onto a basis. In order to illustrate this technique, we consider the Baikov representation of maximal cuts in arbitrary space-time dimension. We introduce a minimal basis of differential forms with logarithmic singularities on the boundaries of the corresponding integration cycles. We give an algorithm for computing a basis decomposition of an arbitrary maximal cut using so-called intersection numbers and describe two alternative ways of computing them. Furthermore, we show how to obtain Pfaffian systems of differential equations for the basis integrals using the same technique. All the steps are illustrated on the example of a two-loop non-planar triangle diagram with a massive loop.
In this paper we study an algebra that naturally combines two familiar operations in scattering amplitudes: computations of volumes of polytopes using triangulations and constructions of canonical forms from products of smaller ones. We mainly concentrate on the case of $G(2,n)$ as it controls both general MHV leading singularities and CHY integrands for a variety of theories. This commutative algebra has also appeared in the study of configuration spaces and we called it the $Δ$-algebra. As a natural application, we generalize the well-known square move. This allows us to generate infinite families of new moves between non-planar on-shell diagrams. We call them sphere moves. Using the $Δ$-algebra we derive familiar results, such as the KK and BCJ relations, and prove novel formulas for higher-order relations. Finally, we comment on generalizations to $G(k,n)$.
We present new formulas for $n$-particle tree-level scattering amplitudes of six-dimensional $\mathcal{N}=(1,1)$ super Yang-Mills (SYM) and $\mathcal{N}=(2,2)$ supergravity (SUGRA). They are written as integrals over the moduli space of certain rational maps localized on the $(n-3)!$ solutions of the scattering equations. Due to the properties of spinor-helicity variables in six dimensions, the even-$n$ and odd-$n$ formulas are quite different and have to be treated separately. We first propose a manifestly supersymmetric expression for the even-$n$ amplitudes of $\mathcal{N}=(1,1)$ SYM theory and perform various consistency checks. By considering soft-gluon limits of the even-$n$ amplitudes, we deduce the form of the rational maps and the integrand for $n$ odd. The odd-$n$ formulas obtained in this way have a new redundancy that is intertwined with the usual $\text{SL}(2, \mathbb{C})$ invariance on the Riemann sphere. We also propose an alternative form of the formulas, analogous to the Witten-RSV formulation, and explore its relationship with the symplectic (or Lagrangian) Grassmannian. Since the amplitudes are formulated in a way that manifests double-copy properties, formulas for the six-dimensional $\mathcal{N}=(2,2)$ SUGRA amplitudes follow. These six-dimensional results allow us to deduce new formulas for five-dimensional SYM and SUGRA amplitudes, as well as massive amplitudes of four-dimensional $\mathcal{N}=4$ SYM on the Coulomb branch.
Perturbiner expansion provides a generating function for all Berends-Giele currents in a given quantum field theory. We apply this method to various effective field theories with and without color degrees of freedom. In the colored case, we study the U(N) non-linear sigma model of Goldstone bosons (NLSM) in a recent parametrization due to Cheung and Shen, as well as its extension involving a coupling to the bi-adjoint scalar. We propose a Lagrangian and a Cachazo-He-Yuan formula for the latter valid in multi-trace sectors and systematically calculate its amplitudes. Furthermore, we make a similar proposal for a higher-derivative correction to NLSM that agrees with the subleading order of the abelian Z-theory. In the colorless cases, we formulate perturbiner expansions for the special Galileon and Born-Infeld theories. Finally, we study Kawai-Lewellen-Tye-like double-copy relations for Berends-Giele currents between the above colored and colorless theories. We find that they hold up to pure gauge terms, but without the need for further field redefinitions.
We introduce an efficient algorithm for reducing bond dimensions in an arbitrary tensor network without changing its geometry. The method is based on a novel, quantitative understanding of local correlations in a network. Together with a tensor network coarse-graining algorithm, it yields a proper renormalization group (RG) flow. Compared to existing methods, the advantages of our algorithm are its low computational cost, simplicity of implementation, and applicability to any network. We benchmark it by evaluating physical observables for the 2D classical Ising model and find accuracy comparable with the best existing tensor network methods. Because of its graph independence, our algorithm is an excellent candidate for implementation of real-space RG in higher dimensions. We discuss some of the details and the remaining challenges in 3D. Source code for our algorithm is freely available.
We use Picard-Lefschetz theory to prove a new formula for intersection numbers of twisted cocycles associated to a given arrangement of hyperplanes. In a special case when this arrangement produces the moduli space of punctured Riemann spheres, intersection numbers become tree-level scattering amplitudes of quantum field theories in the Cachazo-He-Yuan formulation.
Recently it has been understood that certain soft factorization theorems for scattering amplitudes can be written as Ward identities of new asymptotic symmetries. This relationship has been established for soft particles with spins $s > 0$, most notably for soft gravitons and photons. Here we study the remaining case of soft scalars. We show that a class of Yukawa-type theories, where a massless scalar couples to massive particles, have an infinite number of conserved charges. This raises the question as to whether one can associate asymptotic symmetries to scalars.
We revisit the relations between open and closed string scattering amplitudes discovered by Kawai, Lewellen, and Tye (KLT). We show that they emerge from the underlying algebro-topological identities known as the twisted period relations. In order to do so, we formulate tree-level string theory amplitudes in the language of twisted de Rham theory. There, open string amplitudes are understood as pairings between twisted cycles and cocycles. Similarly, closed string amplitudes are given as a pairing between two twisted cocycles. Finally, objects relating the two types of string amplitudes are the $α'$-corrected bi-adjoint scalar amplitudes recently defined by the author [arXiv:1610.04230]. We show that they naturally arise as intersection numbers of twisted cycles. In this work we focus on the combinatorial and topological description of twisted cycles relevant for string theory amplitudes. In this setting, each twisted cycle is a polytope, known in combinatorics as the associahedron, together with an additional structure encoding monodromy properties of string integrals. In fact, this additional structure is given by higher-dimensional generalizations of the Pochhammer contour. An open string amplitude is then computed as an integral of a logarithmic form over an associahedron. We show that the inverse of the KLT kernel can be calculated from the knowledge of how pairs of associahedra intersect one another in the moduli space. In the field theory limit, contributions from these intersections localize to vertices of the associahedra, giving rise to the bi-adjoint scalar partial amplitudes.
The field theory Kawai-Lewellen-Tye (KLT) kernel, which relates scattering amplitudes of gravitons and gluons, turns out to be the inverse of a matrix whose components are bi-adjoint scalar partial amplitudes. In this note we propose an analogous construction for the string theory KLT kernel. We present simple diagrammatic rules for the computation of the $α'$-corrected bi-adjoint scalar amplitudes that are exact in $α'$. We find compact expressions in terms of graphs, where the standard Feynman propagators $1/p^2$ are replaced by either $1/\sin (πα' p^2/2)$ or $1/\tan (πα' p^2/2)$, as determined by a recursive procedure. We demonstrate how the same object can be used to conveniently expand open string partial amplitudes in a BCJ basis.