arXiv++ Combinatorics

Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.

We initiate the study of partial fraction decompositions (PFDs) in several variables using tools from commutative algebra. We give criteria for when a rational function with poles on a hyperplane arrangement has a desirable PFD. Our criteria are obtained by examining the primary decomposition of ideals coming from hyperplane arrangements. We then present an algorithm for finding a PFD that satisfies properties desired by physicists, and demonstrate the effectiveness of this algorithm for computing large examples coming from Feynman integrals.

We classify the Fano and reflexive polytopes that arise from quasi-finite Feynman integrals. These polytopes appear as scaled Minkowski sums of the Newton polytopes associated with the Symanzik graph polynomials. For one-loop graphs and multiloop sunset graphs, we identify the Fano and reflexive cases by computing the number of interior points from the associated bivariate Ehrhart polynomials. More generally, we utilize the properties of Symanzik polynomials and their symmetries to conduct a direct search over all Feynman graphs in generic kinematics with up to ten edges and nine loops. We find that such cases are remarkably sparse: for example, we find only two two-dimensional reflexive polytopes, three three-dimensional reflexive polytopes, and four three-dimensional Fano polytopes. We also reveal a surprising feature of one-loop $N$-gon integrals in higher dimensions: their associated reflexive polytopes encode degenerate Calabi--Yau $(N-2)$-folds. We further analyze the geometric structures encoded by these polytopes and exhibit explicit connections with del Pezzo surfaces, $K3$ surfaces, and Calabi--Yau threefolds. Since reflexive polytopes naturally correspond to Calabi--Yau varieties, our classification demonstrates that quasi-finite Feynman integrals, with reflexive polytopes, are intrinsically linked to Calabi--Yau period integrals.

Weighted Hurwitz numbers arise as coefficients in the power sum expansion of deformed hypergeometric $τ$--functions. They specialise to essentially all known cases of Hurwitz numbers, including classical, monotone, strictly monotone and completed cycles Hurwitz numbers. In this work, we develop a tropical geometry framework for their study, thus enabling a simultaneous investigation of all these cases. We obtain a correspondence theorem expressing weighted Hurwitz numbers in terms of tropical covers. Using this tropical approach, we generalise most known structural results previously obtained for the aforementioned special cases to all weighted Hurwitz numbers. In particular, we study their polynomiality and derive wall--crossing formulae. Moreover, we introduce elliptic weighted Hurwitz numbers and derive tropical mirror symmetry for these new invariants, i.e. we prove that their generating function is quasimodular and that they may be expressed as Feynman integrals.

We explain how to tropicalize scalar quantum field theory and show that tropicalized massive scalar quantum field theory is exactly solvable. This exact solution manifests as a non-linear recursion equation fulfilled by the expansion coefficients of the quantum effective action. Geometrically, this recursion computes specific volumes of moduli spaces of metric graphs and is thereby analogous to Mirzakhani's volume recursions on the moduli space of curves. Building on this exact solution, we construct an algorithm that samples points from the moduli space of graphs approximately proportional to their perturbative contribution. Remarkably, this algorithm requires only polynomial time and memory, suggesting that perturbative quantum field theory computations lie in the polynomial-time complexity class, while all known algorithms for evaluating individual Feynman integrals are exponential in time and memory. To demonstrate the capabilities of the algorithm, we evaluate the primitive contribution to the $φ^4$ beta function at 50 loops with a proof-of-concept implementation.

Copositive matrices and copositive polynomials are objects from optimization. We connect these to the geometry of Feynman integrals in physics. The integral is guaranteed to converge if its kinematic parameters lie in the copositive cone. Pólya's method makes this manifest. We study the copositive cone for the second Symanzik polynomial of any Feynman graph. Its algebraic boundary is described by Landau discriminants.

A longstanding conjecture in $φ^4_4$ theory is that primitive graphs dominate the beta function asymptotically at large loop order in the minimal-subtraction scheme. Here we investigate this issue by exploiting additional combinatorial structure coming from an extension to vectors with $O(N)$ symmetry. For the 0-dimensional case, we calculate the $N$-dependent generating function of primitive graphs and its asymptotics, including arbitrarily many subleading corrections. We find that the leading asymptotic growth rate becomes visible only above $\approx 25$ loops, while data at lower order is suggestive of a wrong asymptotics. Our results also yield the exact asymptotics of Martin invariants. In 4D, each graph comes with a nontrivial Feynman integral, its period. We give bounds on the degree in $N$ for primitive and non-primitive graphs, and construct the primitive graphs of highest degree explicitly. We calculate the 4D primitive beta function numerically up to 17 loops. The qualitative behaviour is similar to the 0D series, with a small but systematic tendency for the 4D data to grow faster with $N$, indicating a correlation between periods and $O(N)$-symmetry factors. The zeros of the 4D primitive beta function approach their asymptotic locations quickly, but, like in 0D, the growth rate of the 4D primitive beta function does not match its asymptotics even at 17 loops. Our results improve on the knowledge of asymptotics in QFT by providing concrete analytic and numerical values, and putting individual observables into a broader context of $φ^4_4$ theory in 0D and 4D. We demonstrate that even if certain quantities are in agreement with the asymptotics already below 10 loops, this must not be mistaken as evidence that overall an asymptotic regime has been reached.

Given a matroid or flag of matroids we introduce several broad classes of polynomials satisfying Deletion-Contraction identities, and study their singularities. There are three main families of polynomials captured by our approach: matroidal polynomials on a matroid (including matroid basis polynomials, configuration polynomials, Tutte polynomials); flag matroidal polynomials on a flag matroid; and Feynman integrands. The last class includes under general kinematics the inhomogeneous Feynman diagram polynomials which naturally arise in the Lee--Pomeransky form of the Feynman integral attached to a Feynman diagram. Assuming that the primary underlying matroid is connected and of positive rank (and in the flag case, has rank at least two), we show: a) in positive characteristic, homogeneous matroidal polynomials are strongly $F$-regular; b) over an algebraically closed field of characteristic zero, the associated jet schemes of (flag) matroidal polynomials as well as those of Feynman integrands are irreducible. Consequently, all these polynomials have rational singularities (or are smooth).

Hurwitz numbers enumerate branched morphisms between Riemann surfaces. For a fixed elliptic target, Hurwitz numbers are intimately related to mirror symmetry following work of Dijkgraaf. In recent work of Chapuy and Dolega a new variant of Hurwitz numbers with fixed genus $0$ target was introduced that includes maps between between non-orientiable surfaces. These numbers are called $b$-Hurwitz numbers and are polynomials in a parameter $b$ which measures the non-orientability of the involved maps. An interpretation in terms of factorisations of $b$-Hurwitz numbers for $b=1$, so-called twisted Hurwitz numbers, was found in work of Burman and Fesler. In previous work, the authors derived a tropical geometry interpretation of these numbers. In this paper, we introduce a natural generalisation of twisted Hurwitz numbers with elliptic targets within the framework of symmetric groups. We derive a tropical interpretation of these invariants, relate them to Feynman integrals and derive an expression as a matrix element of an operator in the bosonic Fock space.

In this thesis, we take a journey through two different but not dissimilar stories with an underlying theme of combinatorics emerging from scattering amplitudes in quantum field theories. The first part tells the tale of the $c_2$-invariant, an arithmetic invariant related to the Feynman integral in $φ^4$-theory, which studies the zeros of the Kirchoff polynomial and related graph polynomials. Through reformulating the $c_2$-invariant as a purely combinatorial problem, we show how enumerating certain edge bipartitions through fixed-point free involutions can complete a special case of the long sought after $c_2$ completion conjecture. The second part tells the tale of the positive Grassmannian and a combinatorial T-duality map on its cells, as related to scattering amplitudes in planar $\mathcal{N} = 4$ SYM theory. In particular, T-duality is a bridge between triangulations of the hypersimplex and triangulations of the amplituhedron, two objects that appear as images of the positive Grassmannian. We give an algorithm for viewing T-duality as a map on Le diagrams and characterize a nice structure to the Le diagrams (which can then be used in lieu of the algorithm). Through this Le diagram perspective on T-duality, we show how the dimensional relationship between the positroid cells on either side of the map can be directly explained.

We investigate a degree preserving variant of the $Δ$-Y transformation which replaces a triangle with a new 6-valent vertex which has double edges to the vertices that had been in the triangle. This operation is relevant for understanding scalar Feynman integrals in 6 dimensions. We study the structure of equivalence classes under this operation and its inverse, with particular attention to when the equivalence classes are finite, when they contain simple 6-regular graphs, and when they contain doubled 3-regular graphs. The last of these, in particular, is relevant for the Feynman integral calculations and we make some observations linking the structure of these classes to the Feynman periods. Furthermore, we investigate properties of minimal graphs in these equivalence classes.

Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if and only if it is Boolean. We also prove that the arrangement in the cycle space of a graph is Boolean if and only if the cycle space has a basis consisting of cycles such that any two of them do not share edges.

We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in order to apply it for instance to special Feynman integrals emerging in renormalizable Quantum field Theories. We will consider multidimensional integrals over hyperexponential integrands and try to find closed form representations in terms of nested sums and products or iterated integrals. In addition, if we fail to compute a closed form solution in full generality, we may succeed in computing the first coefficients of the Laurent series expansions of such integrals in terms of indefinite nested sums and products or iterated integrals. In this article we present the corresponding methods and algorithms. Our Mathematica package MultiIntegrate, can be considered as an enhanced implementation of the (continuous) multivariate Almkvist Zeilberger algorithm to compute recurrences or differential equations for hyperexponential integrands and integrals. Together with the summation package Sigma and the package HarmonicSums our package provides methods to compute closed form representations (or coefficients of the Laurent series expansions) of multidimensional integrals over hyperexponential integrands in terms of nested sums or iterated integrals.

We study a rational matroid invariant, obtained as the tropicalization of the Feynman period integral. It equals the volume of the polar of the matroid polytope and we give efficient formulas for its computation. This invariant is proven to respect all known identities of Feynman integrals for graphs. We observe a strong correlation between the tropical and transcendental integrals, which yields a method to approximate unknown Feynman periods.

A Feynman period is a particular residue of a scalar Feynman integral which is both physically and number theoretically interesting. Two ways in which the graph theory of the underlying Feynman graph can illuminate the Feynman period are via graph operations which are period invariant and other graph quantities which predict aspects of the Feynman period, one notable example is known as the $c_2$ invariant. We give results and computations in both these directions, proving a new period identity and computing its consequences up to 11 loops in $φ^4$-theory, proving a $c_2$ invariant identity, and giving the results of a computational investigation of $c_2$ invariants at 11 loops.

We study generating series of Gromov-Witten invariants of $E\times\mathbb{P}^1$ and their tropical counterparts. Using tropical degeneration and floor diagram techniques, we can express the generating series as sums of Feynman integrals, where each summand corresponds to a certain type of graph which we call a pearl chain. The individual summands are --- just as in the case of mirror symmetry of elliptic curves, where the generating series of Hurwitz numbers equals a sum of Feynman integrals --- complex analytic path integrals involving a product of propagators (equal to the Weierstrass-$\wp$-function plus an Eisenstein series). We also use pearl chains to study generating functions of counts of tropical curves in $E_{\mathbb{T}}\times\mathbb{P}^1_\mathbb{T}$ of so-called leaky degree.

Dodgson polynomials appear in Schwinger parametric Feynman integrals and are closely related to the well known Kirchhoff (or first Symanzik) polynomial. In this article a new combinatorial interpretation and a generalisation of Dodgson polynomials are provided. This leads to two new identities that relate large sums of products of Dodgson polynomials to a much simpler expression involving powers of the Kirchhoff polynomial. These identities can be applied to the parametric integrand for quantum electrodynamics, simplifying it significantly. This is worked out here in detail on the example of superficially renormalised photon propagator Feynman graphs, but works much more generally.

We prove a tropical mirror symmetry theorem for descendant Gromov-Witten invariants of the elliptic curve, generalizing the tropical mirror symmetry theorem for Hurwitz numbers of the elliptic curve, Theorem 2.20 in [Böhm J., Bringmann K., Buchholz A., Markwig H., J. Reine Angew. Math. 732 (2017), 211-246, arXiv:1309.5893]. For the case of the elliptic curve, the tropical version of mirror symmetry holds on a fine level and easily implies the equality of the generating series of descendant Gromov-Witten invariants of the elliptic curve to Feynman integrals. To prove tropical mirror symmetry for elliptic curves, we investigate the bijection between graph covers and sets of monomials contributing to a coefficient in a Feynman integral. We also soup up the traditional approach in mathematical physics to mirror symmetry for the elliptic curve, involving operators on a Fock space, to give a proof of tropical mirror symmetry for Hurwitz numbers of the elliptic curve. In this way, we shed light on the intimate relation between the operator approach on a bosonic Fock space and the tropical approach.

We introduce moduli spaces of colored graphs, defined as spaces of non-degenerate metrics on certain families of edge-colored graphs. Apart from fixing the rank and number of legs these families are determined by various conditions on the coloring of their graphs. The motivation for this is to study Feynman integrals in quantum field theory using the combinatorial structure of these moduli spaces. Here a family of graphs is specified by the allowed Feynman diagrams in a particular quantum field theory such as (massive) scalar fields or quantum electrodynamics. The resulting spaces are cell complexes with a rich and interesting combinatorial structure. We treat some examples in detail and discuss their topological properties, connectivity and homology groups.

This document begins by reviewing recent progress that has been made by taking a combinatorial perspective on the $c_2$ invariant, an arithmetic graph invariant with connections to Feynman integrals. Then it proceeds to report on some recent calculations of $c_2$ invariants for two families of circulant graphs at small primes. These calculations support the idea that all possible finite sequences appear as initial segments of $c_2$ invariants, in contrast to their apparent sparsity on small graphs.