arXiv subjects
Publications and source records attributed to Erik Panzer.
We prove a formula for the linear coefficient of the Ehrhart polynomial in terms of the Tutte polynomial. Furthermore, we characterize the matroids that extremize this Ehrhart coefficient, proving a conjecture of Ferroni.
We show that the motivic Lie algebra of mixed Tate motives over $\mathbb{Z}$ embeds canonically into the unstable compactly-supported cohomology of locally symmetric spaces for $\mathrm{GL}_g(\mathbb{Z})$, and into the weight-zero compactly-supported cohomology of $\mathcal{A}_g$, the moduli space of principally polarized abelian varieties. Our construction passes through tropical geometry and graph complexes: compactly-supported analogues of the Borel classes pull back via the tropical Torelli map to canonical graph cocycles. The latter were recently identified with cocycles studied previously by Rossi and Willwacher. We combine their results with the theory of single-valued periods to conclude that the cocycles map to generators of the motivic Lie algebra. We also compute the canonical graph cocycles for all graphs with $\leq14$ edges.
We introduce tropical scalar field theory as a model for renormalizable quantum field theory, and examine in detail the case of quartic self-interaction and internal $O(N)$ symmetry. This model arises in a formally zero-dimensional limit of critical long-range models, but nevertheless its Feynman integrals exhibit strong numerical correlations with the ordinary 4-dimensional theory. The tropical theory retains the full complexity of renormalization with nested and overlapping vertex subdivergences and infinitely many primitive graphs. We compute the perturbation series of the tropical renormalization group functions exactly to 400 loops and study their asymptotic growth. In the minimal subtraction scheme, we find only an arithmetic sequence of singularities on the negative real axis in the Borel plane. These singularities are confluent and imply that the large-order perturbative asymptotics contain logarithmic and fractional power corrections. The absence of any further singularities suggests these series are Borel summable. In contrast, in a kinematic subtraction scheme, the singularity structure on the negative axis changes, and we find additional singularities on the positive real axis.
We prove relations between the number of $k$-connected components of a graph, Crapo's invariant $\beta(M)$ of a matroid, and Speyer's polynomial $g_M(t)$. These yield a simple interpretation of $g_M'(-1)$ when $M$ is graphic or cographic. Furthermore, we improve Ferroni's algorithm to compute $g_M(t)$ and provide an implementation and an extensive data set. These calculations reveal a large number of graph theoretic constraints on the second derivative $g_M''(-1)$, which we thus advertise as an intriguing new invariant of graphs. We also propose a relation between the flow polynomial and $g_M''(0)$ for cubic graphs.
We develop the theory of "virtual morphisms" in logarithmic algebraic geometry, introduced by Howell. It allows one to give algebro-geometric meaning to various useful maps of topological spaces that do not correspond to morphisms of (log) schemes in the classical sense, while retaining functoriality of key constructions. In particular, we explain how virtual morphisms provide a natural categorical home for Deligne's theory of tangential basepoints: the latter are simply the virtual morphisms from a point. We also extend Howell's results on the functoriality of Betti and de Rham cohomology. Using this framework, we lift the topological operad of little $2$-disks to an operad in log schemes over the integers, whose virtual points are isomorphism classes of stable marked curves of genus zero equipped with a tangential basepoint. The gluing of such curves along marked points is performed using virtual morphisms that transport tangential basepoints around the curves. This builds on Vaintrob's analogous construction for framed little disks, for which the classical notion of morphism in logarithmic geometry sufficed. In this way, we obtain a direct algebro-geometric proof of the formality of the little disks operad, following the strategy envisioned by Beilinson. Furthermore, Bar-Natan's parenthesized braids naturally appear as the fundamental groupoids of our moduli spaces, with all virtual basepoints defined over the integers.
We study a closed differential form on the symmetric space of positive definite matrices, which is defined using the Pfaffian and is $\mathsf{GL}_{2n}(\mathbb{Z})$ invariant up to a sign. It gives rise to an infinite family of unstable classes in the compactly-supported cohomology of the locally symmetric space for $\mathsf{GL}_{2n}(\mathbb{Z})$ with coefficients in the orientation bundle. Furthermore, by applying the Pfaffian forms to the dual Laplacian of graphs, and integrating them over the space of edge lengths, we construct an infinite family of cocycles for the odd commutative graph complex. By explicit computation, we show that the first such cocycle gives a non-trivial class in $H^{-6}(\mathsf{GC}_3)$.
We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of morphism in logarithmic geometry itself, introduced by Howell, which allows us to interpret the ubiquitous rule of thumb ''$\lim_{\epsilon\to 0} \log \epsilon := 0$'' as the restriction to a submanifold. Via a version of de Rham's theorem with logarithmic divergences, we obtain a functorial characterization of the classical theory of ``regularized integration'': it is the unique way to extend the ordinary integral to the logarithmically divergent context while respecting the basic laws of calculus (change of variables, Fubini's theorem, and Stokes' formula.)
For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the $c_2$ invariant and the extended graph permanent, are essentially determined by our new sequence. This proves the completion conjecture for the $c_2$ invariant at all primes, and also that it is fixed under twists. We conjecture that our invariant is perfect: Two Feynman periods are equal, if and only if, their Martin sequences are equal.
We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederive the known analytic structure of Aomoto polylogarithms and massive one loop Feynman integrals. Moreover, we introduce the "simple type" to prove hierarchy constraints in degenerate cases where the Picard-Lefschetz formula does not apply, e.g. the massless triangle or the ice cream cone Feynman diagram. We compare our findings with a "classical" hierarchy of iterated variations (from 1960's $S$-matrix theory) and show how our setup not only explains, but also refines the latter. In order to do so, we need to further resolve the geometry of Feynman motives: We boldly blow up what no one has blown up before.
We compute the two-loop mixed QCD-Electroweak corrections to $q \overline{q} \to H g$ and its crossed channels $q g \to H q$, $\overline{q} g \to H \overline{q}$, limiting ourselves to the contribution of light virtual quarks. We compute the independent helicity amplitudes as well as the form factors for this process, expressing them in terms of hyperlogarithms with algebraic arguments. The Feynman integrals are computed by direct integration over Feynman parameters and the results are expressed in terms of a basis of rational prefactors.
We compute epsilon-expansions around 4 dimensions of a complete set of master integrals for momentum space five-loop massless propagator integrals in dimensional regularization, up to and including the first order with contributions of transcendental weight nine. Our method is the glue-and-cut technique from Baikov and Chetyrkin, which proves extremely effective in that it determines all expansion coefficients to this order in terms of recursively one-loop integrals and only one further integral. We observe that our results are compatible with conjectures that predict $π$-dependent contributions.
We calculate the collinear anomalous dimensions in massless four-loop QCD and $\mathcal{N} = 4$ supersymmetric Yang-Mills theory from the infrared poles of vertex form factors. We give very precise numerical approximations and a conjecture for the complete analytic results in both models we consider.
We compute the two-loop mixed QCD-Electroweak (QCD-EW) corrections to the production of a Higgs boson and a gluon in gluon fusion. The relevant four-point functions with internal massive propagators are expressed as multiple polylogarithms with algebraic arguments. We perform the calculation by integration over Feynman parameters and, independently, by the method of differential equations. We compute the two independent helicity amplitudes for the process and we find that they are both finite. Moreover, we observe a weight drop when all gluons have the same helicity. We also provide a simplified expression for the all-plus helicity amplitude, which is optimised for fast and reliable numerical evaluation in the physical region.
We calculate the complete quark and gluon cusp anomalous dimensions in four-loop massless QCD analytically from first principles. In addition, we determine the complete matter dependence of the quark and gluon collinear anomalous dimensions. Our approach is to Laurent expand four-loop quark and gluon form factors in the parameter of dimensional regularization. We employ finite field and syzygy techniques to reduce the relevant Feynman integrals to a basis of finite integrals, and subsequently evaluate the basis integrals directly from their standard parametric representations.
We present an analytic derivation of the full four-loop cusp anomalous dimension of $\mathcal{N}=4$ supersymmetric Yang-Mills theory from the Sudakov form factor. To extract the cusp anomalous dimension, we calculate the $ε^{-2}$ pole of the form factor using parametric integrations of finite integrals. We provide uniformly transcendental results for the master integrals through to weight six and confirm a very recent independent analytic result for the full four-loop cusp anomalous dimension of the $\mathcal{N}=4$ model.
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.
Local, manifestly dual-conformally invariant loop integrands are now known for all finite quantities associated with observables in planar, maximally supersymmetric Yang-Mills theory through three loops. These representations, however, are not infrared-finite term by term and therefore require regularization; and even using a regulator consistent with dual-conformal invariance, ordinary methods of loop integration would naively obscure this symmetry. In this work, we show how any planar loop integral through at least two loops can be systematically regulated and evaluated directly in terms of strictly finite, manifestly dual-conformal Feynman-parameter integrals. We apply these methods to the case of the two-loop ratio and remainder functions for six particles, reproducing the known results in terms of individually regulated local loop integrals, and we comment on some of the novelties that arise for this regularization scheme not previously seen at one loop.
Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our proof gives a concrete algorithm for calculating the integrals, which we have used to produce the first software package for the symbolic calculation of Kontsevich's formula.