arXiv++ Combinatorics

Given a set $Γ$ of $k$ unlabelled posets, each of size $n$, we say that a poset $Q$ is a \emph{witness} to $Γ$ if $Γ$ is the set of downsets of size $n$ of $Q$. We say that $Q$ is a \emph{minimal witness} if it does not contain a proper downset that is itself a witness to $Γ$. Motivated by the causal set approach to quantum gravity, we study the upper bound on the size of minimal witnesses as a function of $n$ and $k$. We show that there is no linear upper bound of the form $n+k+c$ for any constant $c$. We introduce the \emph{exchange graph of downsets} as a new tool to study this scenario, and use it to show that all minimal witnesses $Q$ satisfy the bound $|Q|\leq nk-n$, and that when $k=3$ there is at least one minimal witness $Q$ that satisfies the bound $|Q|\leq \frac{3}{2}(n+1)$.

For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations, show that it distinguishes series-parallel posets, and comment on connections to the causal set approach to quantum gravity.

We give combinatorially controlled series solutions to Dyson--Schwinger equations with multiple insertion places using tubings of rooted trees and investigate the algebraic relation between such solutions and the renormalization group equation.

The causal set theory d'Alembertian has rational coefficients for which alternating expressions are known. Here, a combinatorial interpretation of these numbers is given.

We give a novel combinatorial interpretation to the perturbative series solutions for a class of Dyson-Schwinger equations. We show how binary tubings of rooted trees with labels from an alphabet on the tubes, and where the labels satisfy certain compatibility constraints, can be used to give series solutions to Dyson-Schwinger equations with a single Mellin transform which is the reciprocal of a polynomial with rational roots, in a fully combinatorial way. Further, the structure of these tubings leads directly to systems of differential equations for the anomalous dimension that are ideally suited for resurgent analysis. We give a general result in the distinct root case, and investigate the effect of repeated roots, which drastically changes the asymptotics and the transseries structure.

The global Schwinger formula, introduced by Cachazo and Early as a single integral over the positive tropical Grassmannian, provides a way to uncover properties of scattering amplitudes which are hard to see in their standard Feynman diagram formulation. In a recent work, Cachazo and one of the authors extended the global Schwinger formula to general $φ^p$ theories. When $p=4$, it was conjectured that the integral decomposes as a sum over cones which are in bijection with non-crossing chord diagrams, and further that these can be obtained by finding the zeroes of a piece-wise linear function, $H(x)$. In this note we give a proof of this conjecture. We also present a purely combinatorial way of computing $φ^p$ amplitudes by triangulating a trivial extended version of non-crossing $(p-2)$-chord diagrams, called extended diagrams, and present a proof of the bijection between triangulated extended diagrams and Feynman diagrams when $p=4$. This is reminiscent of recent constructions using Stokes polytopes and accordiohedra. However, the $φ^p$ amplitude is now partitioned by a new collection of objects, each of which characterizes a polyhedral cone in the positive tropical Grassmannian in the form of an associahedron or of an intersection of two associahedra. Moreover, we comment on the bijection between extended diagrams and double-ordered biadjoint scalar amplitudes. We also conjecture the form of the general piece-wise linear function, $H^{φ^p}(x)$, whose zeroes generate the regions in which the $φ^p$ global Schwinger formula decomposes into.

We study the boundaries of the positroid cells which arise from N = 4 super Yang Mills theory. Our main tool is a new diagrammatic object which generalizes the Wilson loop diagrams used to represent interactions in the theory. We prove conditions under which these new generalized Wilson loop diagrams correspond to positroids and give an explicit algorithm to calculate the Grassmann necklace of said positroids. Then we develop a graphical calculus operating directly on noncrossing generalized Wilson loop diagrams. In this paradigm, applying diagrammatic moves to a generalized Wilson loop diagram results in new diagrams that represent boundaries of its associated positroid, without passing through cryptomorphisms. We provide a Python implementation of the graphical calculus and use it to show that the boundaries of positroids associated to ordinary Wilson loop diagram are generated by our diagrammatic moves in certain cases.

We give a framework for growth models on posets which simultaneously generalizes the Classical Sequential Growth models for posets from causal set theory and the tree growth models of natural growth and simple tree classes, the latter of which also appear as solutions of combinatorial Dyson-Schwinger equations in quantum field theory. We prove which cases of the Classical Sequential Growth models give subHopf algebras of the Hopf algebra of posets, in analogy to a characterization due to Foissy in the Dyson-Schwinger case. We find a family of generating sets for the Connes-Moscovici Hopf algebra.

Lukowiski, Parisi, and Williams formulated the T-duality map of string theory at a purely combinatorial level as a map on decorated permutations. We combinatorially describe this map at the level of Le diagrams. This perspective makes the dimension shift under the map more transparent.

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 give series solutions to single insertion place propagator-type systems of Dyson--Schwinger equations using binary tubings of rooted trees. These solutions are combinatorially transparent in the sense that each tubing has a straightforward contribution. The Dyson--Schwinger equations solved here are more general than those previously solved by chord diagram techniques, including systems and non-integer values of the insertion parameter $s$. We remark on interesting combinatorial connections and properties.

In this survey we discuss some of the significant contributions of Ian Goulden and David Jackson in the areas of classical enumeration, symmetric functions, factorizations of permutations, and algebraic foundations of quantum field theory. Through their groundbreaking textbook, {\em Combinatorial Enumeration}, and their numerous research papers, both together and with their many students, they have had an influence in areas of bioinformatics, mathematical chemistry, algorithmic computer science, and theoretical physics. Here we review and set in context highlights of their 40 years of collaborative work.

We define a notion of higher order renormalization group equation and investigate when a sequence of trees satisfies such an equation. In the strongest sense, the sequence of trees satisfies a $k$th order renormalization group equation when applying any choice of Feynman rules results in a Green function satisfying a $k$th order renormalization group equation, and we characterize all such sequences of trees. We also make some comments on sequences of trees which require special choices of Feynman rules in order to satisfy a higher order renormalization group equation.

The $c_2$-invariant is an arithmetic graph invariant useful for understanding Feynman periods. Brown and Schnetz conjectured that the $c_2$-invariant has a particular symmetry known as completion invariance. This paper will prove completion invariance of the $c_2$-invariant in the $p=2$ case, extending previous work of one of us. The methods are combinatorial and enumerative involving counting certain partitions of the edges of the graph.

The $c_2$ invariant is an arithmetic graph invariant related to quantum field theory. We give a relation modulo $p$ between the $c_2$ invariant at $p$ and the $c_2$ invariant at $p^s$ by proving a relation modulo $p$ between certain coefficients of powers of products of particularly nice polynomials. The relation at the level of the $c_2$ invariant provides evidence for a conjecture of Schnetz.

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.

Column expansion identities of determinants give a source of quadratic spanning forest polynomial identities and allow us determine the dimension of the space of certain quadratic spanning forest identities, settling a conjecture of one of us with Vlasev from 2012. Furthermore, we give a combinatorial interpretation of such spanning forest identities via an edge-swapping argument previously developed by one of us in 2019. Quadratic spanning forest polynomials identities are of particular interest because they are useful for quantum field theory calculations in four dimensions.

A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection with connected permutations, and we give algorithms to compute subdivergence-free gluings.

We investigate combinatorial and algebraic aspects of the interplay between renormalization and monodromies for Feynman amplitudes. We clarify how extraction of subgraphs from a Feynman graph interacts with putting edges onshell or with contracting them to obtain reduced graphs. Graph by graph this leads to a study of cointeracting bialgebras. One bialgebra comes from extraction of subgraphs and hence is needed for renormalization. The other bialgebra is an incidence bialgebra for edges put either on- or offshell. It is hence related to the monodromies of the multivalued function to which a renormalized graph evaluates. Summing over infinite series of graphs, consequences for Green functions are derived using combinatorial Dyson--Schwinger equations.

We introduce families of four-regular graphs consisting of chains of hourglasses which are attached to a finite kernel. We prove a formula for the $c_2$ invariant of these hourglass chains which only depends on the kernel. For different kernels these hourglass chains typically give rise to different $c_2$ invariants. An exhaustive search for the $c_2$ invariants of hourglass chains with kernels that have a maximum of ten vertices provides Calabi-Yau manifolds with point-counts which match the Fourier coefficients of modular forms whose weights and levels are [4,8], [4,16], [6,4], and [9,4]. Assuming the completion conjecture, we show that no modular form of weight 2 and level $\leq1000$ corresponds to the $c_2$ of such hourglass chains. This provides further evidence in favour of the conjecture that curves are absent in $c_2$ invariants of $φ^4$ quantum field theory.