Search NASA⌕ Search

Engineering topics

Mizera, Sebastian

Publications and source records attributed to Mizera, Sebastian.

Principal Landau determinants

We reformulate the Landau analysis of Feynman integrals with the aim of advancing the state of the art in modern particle-physics computations. We contribute new algorithms for computing Landau singularities, using tools from polyhedral geometry and symbolic/numerical elimination. Inspired by the work of Gelfand, Kapranov, and Zelevinsky (GKZ) on generalized Euler integrals, we define the principal Landau determinant of a Feynman diagram. We illustrate with a number of examples that this algebraic formalism allows to compute many components of the Landau singular locus. We adapt the GKZ framework by carefully specializing Euler integrals to Feynman integrals. For instance, ultraviolet and infrared singularities are detected as irreducible components of an incidence variety, which project dominantly to the kinematic space. We compute principal Landau determinants for the infinite families of one-loop and banana diagrams with different mass configurations, and for a range of cutting-edge Standard Model processes. Furthermore, our algorithms build on the Julia package this http URL and are implemented in the new open-source package this http URL available at this https URL.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Crossing beyond scattering amplitudes

We find that different asymptotic measurements in quantum field theory can be related to one another through new versions of crossing symmetry. Assuming analyticity, we conjecture generalized crossing relations for multi-particle processes and the corresponding paths of analytic continuation. We prove them to all multiplicity at tree-level in quantum field theory and string theory. We illustrate how to practically perform analytic continuations on loop-level examples using different methods, including unitarity cuts and differential equations. We study the extent to which anomalous thresholds away from the usual physical region can cause an analytic obstruction to crossing when massless particles are involved. In an appendix, we review and streamline historical proofs of four-particle crossing symmetry in gapped theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

What can be measured asymptotically?

We consider asymptotic observables in quantum field theories in which the S-matrix makes sense. We argue that in addition to scattering amplitudes, a whole compendium of inclusive observables exists where the time-ordering is relaxed. These include expectation values of electromagnetic or gravitational radiation fields as well as out-of-time-order amplitudes. We explain how to calculate them in two ways: by relating them to amplitudes and products of amplitudes, and by using a generalization of the LSZ reduction formula. As an application, we discuss one-loop master integrals contributing to gravitational radiation in the post-Minkowski expansion, emphasizing the role of classical cut contributions and highlighting the different infrared physics of in-in observables.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Four lectures on Euler integrals

These lecture notes provide a self-contained introduction to Euler integrals, which are frequently encountered in applications. In particle physics, they arise as Feynman integrals or string amplitudes. Our four selected topics demonstrate the diverse mathematical techniques involved in the study of Euler integrals, including polyhedral geometry, very affine varieties, differential equations, and computational algebra.

Matsubara-Heo, Saiei-Jaeyeong↗

Evaluating one-loop string amplitudes

We evaluate one-loop open-string amplitudes at finite \alpha' α ′ for the first time. Our method involves a deformation of the integration contour over the modular parameter \tau τ to a fractal contour introduced by Rademacher in the context of analytic number theory. This procedure leads to explicit and practical formulas for the one-loop four-point amplitudes in type-I superstring theory, amenable to numerical evaluation. We plot the amplitudes as a function of the Mandelstam invariants s s and t t and directly verify long-standing conjectures about their behaviour at high energies.

Eberhardt, Lorenz↗

Natural boundaries for scattering amplitudes

Singularities, such as poles and branch points, play a crucial role in investigating the analytic properties of scattering amplitudes that inform new computational techniques. In this note, we point out that scattering amplitudes can also have another class of singularities called natural boundaries of analyticity. They create a barrier beyond which analytic continuation cannot be performed. More concretely, we use unitarity to show that 2 \to 2 2 → 2 scattering amplitudes in theories with a mass gap can have a natural boundary on the second sheet of the lightest threshold cut. There, an infinite number of ladder-type Landau singularities densely accumulates on the real axis in the center-of-mass energy plane. We argue that natural boundaries are generic features of higher-multiplicity scattering amplitudes in gapped theories.

97 MATHEMATICS AND COMPUTING↗

Unitarity cuts of the worldsheet

We compute the imaginary parts of genus-one string scattering amplitudes. Following Witten’s i\varepsilon i ε prescription for the integration contour on the moduli space of worldsheets, we give a general algorithm for computing unitarity cuts of the annulus, Möbius strip, and torus topologies exactly in \alpha' α ′ . With the help of tropical analysis, we show how the intricate pattern of thresholds (normal and anomalous) opening up arises from the worldsheet computation. The result is a manifestly-convergent representation of the imaginary parts of amplitudes, which has the analytic form expected from Cutkosky rules in field theory, but bypasses the need for performing laborious sums over the intermediate states. We use this representation to study various physical aspects of string amplitudes, including their behavior in the (s,t) ( s , t ) plane, exponential suppression, decay widths of massive strings, total cross section, and low-energy expansions. We find that planar annulus amplitudes exhibit a version of low-spin dominance: at any finite energy, only a finite number of low partial-wave spins give an appreciable contribution to the imaginary part.

97 MATHEMATICS AND COMPUTING↗

Celestial geometry

Celestial holography expresses S-matrix elements as correlators in a CFT living on the night sky. Poincaré invariance imposes additional selection rules on the allowed positions of operators. As a consequence, n-point correlators are only supported on certain patches of the celestial sphere, depending on the labeling of each operator as incoming/outgoing. Here we initiate a study of the celestial geometry, examining the kinematic support of celestial amplitudes for different crossing channels. We give simple geometric rules for determining this support. For n ≥ 5, we can view these channels as tiling together to form a covering of the celestial sphere. Our analysis serves as a stepping off point to better understand the analyticity of celestial correlators and illuminate the connection between the 4D kinematic and 2D CFT notions of crossing symmetry.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Landau discriminants

Scattering amplitudes in quantum field theories have intricate analytic properties as functions of the energies and momenta of the scattered particles. In perturbation theory, their singularities are governed by a set of nonlinear polynomial equations, known as Landau equations, for each individual Feynman diagram. The singularity locus of the associated Feynman integral is made precise with the notion of the Landau discriminant, which characterizes when the Landau equations admit a solution. In order to compute this discriminant, we present approaches from classical elimination theory, as well as a numerical algorithm based on homotopy continuation. These methods allow us to compute Landau discriminants of various Feynman diagrams up to 3 loops, which were previously out of reach. For instance, the Landau discriminant of the envelope diagram is a reducible surface of degree 45 in the three-dimensional space of kinematic invariants. We investigate geometric properties of the Landau discriminant, such as irreducibility, dimension and degree. In particular, we find simple examples in which the Landau discriminant has codimension greater than one. Furthermore, we describe a numerical procedure for determining which parts of the Landau discriminant lie in the physical regions. In order to study degenerate limits of Landau equations and bounds on the degree of the Landau discriminant, we introduce Landau polytopes and study their facet structure. Finally, we provide an efficient numerical algorithm for the computation of the number of master integrals based on the connection to algebraic statistics.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

On unitarity of tree-level string amplitudes

Four-particle tree-level scattering amplitudes in string theory are magically consistent with unitarity, reflected in the non-trivial fact that beneath the critical dimension, the residues of the amplitudes on massive poles can be expanded in partial waves with all positive coefficients. While this follows (rather indirectly) from the no-ghost theorem, the simplicity of the statement and its fundamental importance for the physical consistency of string theory begs for a more direct and elementary understanding. In this note we take a step in this direction by presenting a new expression for the partial wave coefficients of string amplitudes, given by surprisingly simple double/triple contour integrals for open/closed strings. This representation allows us to directly prove unitarity of all superstring theories in D ≤ 6 spacetime dimensions, and can also be used to determine various asymptotics of the partial waves at large mass levels.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Status of Intersection Theory and Feynman Integrals

Here, 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.

97 MATHEMATICS AND COMPUTING↗

What is the iε for the S-matrix?

Can the S-matrix be complexified in a way consistent with causality? Since the 1960's, the affirmative answer to this question has been well-understood for 2→2 scattering of the lightest particle in theories with a mass gap at low momentum transfer, where the S-matrix is analytic everywhere except at normal-threshold branch cuts. We ask whether an analogous picture extends to realistic theories, such as the Standard Model, that include massless fields, UV/IR divergences, and unstable particles. Especially in the presence of light states running in the loops, the traditional iε prescription for approaching physical regions might break down, because causality requirements for the individual Feynman diagrams can be mutually incompatible. We demonstrate that such analyticity problems are not in contradiction with unitarity. Instead, they should be thought of as finite-width effects that disappear in the idealized 2→2 scattering amplitudes with no unstable particles, but might persist at higher multiplicity. To fix these issues, we propose an iε -like prescription for deforming branch cuts in the space of Mandelstam invariants without modifying the analytic properties. This procedure results in a complex strip around the real part of the kinematic space, where the S-matrix remains causal. In addition to giving a pedagogical introduction to the analytic properties of the perturbative S-matrix from a modern point of view, we illustrate all the points on explicit examples, both symbolically and numerically. Furthermore, to help with the investigation of related questions, we introduce a number of tools, including holomorphic cutting rules, new approaches to dispersion relations, as well as formulae for local behavior of Feynman integrals near branch points.

Anomalous thresholds↗

Coaction and double-copy properties of configuration-space integrals at genus zero

We investigate configuration-space integrals over punctured Riemann spheres from the viewpoint of the motivic Galois coaction and double-copy structures generalizing the Kawai-Lewellen-Tye (KLT) relations in string theory. For this purpose, explicit bases of twisted cycles and cocycles are worked out whose orthonormality simplifies the coaction. We present methods to efficiently perform and organize the expansions of configuration-space integrals in the inverse string tension α' or the dimensional-regularization parameter ϵ of Feynman integrals. Generating-function techniques open up a new perspective on the coaction of multiple polylogarithms in any number of variables and analytic continuations in the unintegrated punctures. We present a compact recursion for a generalized KLT kernel and discuss its origin from intersection numbers of Stasheff polytopes and its implications for correlation functions of two-dimensional conformal field theories. We find a non-trivial example of correlation functions in (p, 2) minimal models, which can be normalized to become uniformly transcendental in the p → ∞ limit.

Conformal Field Theory↗

Loop amplitudes monodromy relations and color-kinematics duality

Color-kinematics duality is a remarkable conjectured property of gauge theory which, together with double copy, is at the heart of a wealth of new developments in scattering amplitudes. So far, its validity has been verified in most cases only empirically, with limited ab initio understanding beyond tree-level. In this paper we provide initial steps in a first-principle understanding of color-kinematics duality and double-copy at loop level, through a detailed analysis of the field-theory limit of the monodromy relations of string theory at one loop. In this limit, we dissect the type of Feynman graphs generated and the relations they obey. We find that graphs with contact-terms are unavoidable and are generated in the field theory limit of “bulk” contours which do not have a standard physical interpretation in string perturbation theory. We show how they are related to ambiguities in the definition of the loop momentum and that their role is precisely to cancel those ambiguities.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Decomposition of Feynman integrals by multivariate intersection numbers

We present a detailed description of the recent idea for a direct decomposition of Feynman integrals onto a basis of master integrals by projections, as well as a direct derivation of the differential equations satisfied by the master integrals, employing multivariate intersection numbers. We discuss a recursive algorithm for the computation of multivariate intersection numbers, and provide three different approaches for a direct decomposition of Feynman integrals, which we dub the straight decomposition, the bottom-up decomposition, and the top-down decomposition. These algorithms exploit the unitarity structure of Feynman integrals by computing intersection numbers supported on cuts, in various orders, thus showing the synthesis of the intersection-theory concepts with unitarity-based methods and integrand decomposition. We perform explicit computations to exemplify all of these approaches applied to Feynman integrals, paving a way towards potential applications to generic multi-loop integrals.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Scattering equations in AdS: scalar correlators in arbitrary dimensions

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 cur- rent 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.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Monodromy relations from twisted homology

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.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

The S matrix of 6D super Yang-Mills and maximal supergravity from rational maps

We present new formulas for n-particle tree-level scattering amplitudes of six-dimensional N = (1,1) super Yang-Mills (SYM) and 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 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 SL(2, 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 N = (2,2) SUGRA amplitudes follow. Furthermore, 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 N = 4 SYM on the Coulomb branch.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗