arXiv++ Combinatorics

The wavefunction of the universe, as studied in perturbative quantum field theory, is a rational function whose singularities and factorization properties encode a rich underlying combinatorial structure. We define and study a broad generalization of such wavefunctions that can be associated to any lattice. We obtain these wavefunctions as the Laplace transform of a polyhedral fan, the universe fan, whose cones are defined by positivity conditions reflecting a notion of causality in the lattice, and we describe its face lattice. In the matroid case, the universe fan projects to the nested set fan, and the wavefunctions we define recover the matroid amplitudes introduced by Lam as residues. Moreover, in the case relevant for physics, the positivity conditions give a novel way to study the wavefunction, and we show how it is related to the cosmological polytopes of Arkani-Hamed, Benincasa, Postnikov. Finally, we study refinements of the universe fan induced by piecewise linear (tropical) functions. The resulting subdivisions project to refinements of the nested set fan and correspond dually to blow-ups of matroid polytopes, generalizing the cosmohedron polytope.

Given a m-dimensional Gaussian process and polynomial m variables with real coefficients, we calculate the induced path odered exponenial in two different ways: one is purely algebraic in spirit and the other one is diagrammatic in spirit and uses multigraph labelings (and is inspired by the use of Feynman diagrams in quantum field theory).

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.

We consider the perturbative renormalisation of the $Φ^4_d$ model from Euclidean Quantum Field Theory for any, possibly non-integer dimension $d<4$. The so-called BPHZ renormalisation, named after Bogoliubov, Parasiuk, Hepp and Zimmermann, is usually encoded into extraction-contraction operations on Feynman diagrams, which have a complicated combinatorics. We show that the same procedure can be encoded in the much simpler algebra of polynomials in two unknowns $X$ and $Y$, which represent the fourth and second Wick power of the field. In this setting, renormalisation takes the form of a \lq\lq Wick map\rq\rq\ which maps monomials into Bell polynomials. The construction makes use of recent results by Bruned and Hou on multiindices, which are algebraic objects of intermediate complexity between Feynman diagrams and polynomials.

These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. The text is a collection of known results. It contains many examples and a list of exercises.

For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $α_G$, which expresses violations of BRST-closedness of a quantum field theory along a single topological direction. In a seemingly unrelated context, Brown, Panzer, and the second author studied a ''Pfaffian'' differential form $φ_G$, which is used to construct cohomology classes of the odd commutative graph complex. We give an explicit combinatorial proof that $α_G$ coincides with $φ_G$. We also discuss the equivalence of several properties of these forms, which had been established independently for both contexts in previous work.

Studying quantum field theories through geometric principles has revealed deep connections between physics and mathematics, including the discovery by Cachazo, Early, Guevara and Mizera (CEGM) of a generalization of biadjoint scalar amplitudes. However, extending this to generalizations of other quantum field theories remains a central challenge. Recently it has been discovered that the nonlinear sigma model (NLSM) emerges after a certain zero-preserving deformation from $\text{tr}(φ^3)$. In this work, we find a much richer story of zero-preserving deformations in the CEGM context, yielding generalized NLSM amplitudes. We prove an explicit formula for the residual embedding of an $n$-point NLSM amplitude in a mixed $n+2$ point generalized NLSM amplitude, which provides a strong consistency check on our generalization. We show that the dimension of the space of pure kinematic deformations is $\gcd(k,n)-1$, we introduce a deformation-compatible modification of the Global Schwinger Parameterization, and we include a new proof, using methods from matroidal blade arrangements, of the linear independence for the set of planar kinematic invariants for CEGM amplitudes. Our framework is compatible with string theory through recent generalizations of the Koba-Nielsen string integral to any positive configuration space $X^+(k,n)$, where the usual Koba-Nielsen string integral corresponds to $X(2,n) = \mathcal{M}_{0,n}$.

As a fundamental and ubiquitous combinatorial notion, species has attracted sustained interest, generalizing from set-theoretical combinatorial to algebraic combinatorial and beyond. The Rota-Baxter algebra is one of the algebraic structures with broad applications from Renormalization of quantum field theory to integrable systems and multiple zeta values. Its interpretation in terms of monoidal categories has also recently appeared. This paper studies species of Rota-Baxter algebras, making use of the combinatorial construction of free Rota-Baxter algebras in terms of angularly decorated trees and forests. The notion of simple angularly decorated forests is introduced for this purpose and the resulting Rota-Baxter species is shown to be free. Furthermore, a twisted bialgebra structure, as the bialgebra for species, is established on this free Rota-Baxter species. Finally, through the Fock functor, another proof of the bialgebra structure on free Rota-Baxter algebras is obtained.

We show how ideas coming out of gauge theory can be used to prove configurations in the list of ``633 unavoidable configurations" are reducible. In this paper, we prove the smallest nontrivial example, the Birkhoff diamond, is reducible using our filtered $3$- and $4$-color homology. This is a new proof of a 111-year-old result that is a direct consequence of a special (2+1)-dimensional topological quantum field theory. As part of the proof, we introduce the idea of a state-reducible configuration. Because state-reducibility does not involve Kempe switches, this leads to an independent way to verify the proof of the four color theorem. We conjecture that these gauge theoretic ideas could also lead to a non-computer-based proof of it.

Perturbative calculations involving fermion loops in quantum field theories require tracing over Dirac matrices. A simple way to regulate the divergences that generically appear in these calculations is dimensional regularisation, which has the consequence of replacing 4-dimensional Dirac matrices with d-dimensional counterparts for arbitrary complex values of d. In this work, a connection between traces of d-dimensional Dirac matrices and computations of the Tutte polynomial of associated graphs is proven. The time complexity of computing Dirac traces is analysed by this connection, and improvements to algorithms for computing Dirac traces are proposed.

We study the Factorization Paradox from the bottom up by adapting methods from perturbative renormalization. Just as quantum field theories are plagued with loop divergences that need to be cancelled systematically by introducing counterterms, gravitational path integrals are plagued by wormhole contributions that spoil the factorization of the holographic dual. These wormholes must be cancelled by some stringy effects in a UV complete, holographic theory of quantum gravity. In a simple model of two-dimensional topological gravity, we outline a gravitational analog of the recursive BPHZ procedure in order to systematically introduce ``counter-wormholes" which parametrize the unknown stringy effects that lead to factorization. Underlying this procedure is a Hopf algebra of symmetries which is analogous to the Connes--Kreimer Hopf algebra underlying perturbative renormalization. The group dual to this Hopf algebra acts to reorganize contributions from spacetimes with distinct topology, and can be seen as a gauge group relating various equivalent ways of constructing a factorizing gravitational path integral.

The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to ergodic theory and the modified Yang-Baxter equation. Their merged form, called the extended Rota-Baxter operators, has also found interesting applications recently. This paper presents a systematic study of the extended Rota-Baxter operator. We show that while extended Rota-Baxter operators have properties similar to Rota-Baxter operators; they provide a linear structure that unifies Rota-Baxter operators and modified Rota-Baxter operators. Examples of extended Rota-Baxter operators are also given, especially from polynomials and Laurent series due to their importance in ($q$-)integration and the renormalization in quantum field theory. We then construct free commutative extended Rota-Baxter operators by a generalization of the quasi-shuffle product. The multiplication of the initial object in the category of commutative extended Rota-Baxter operators allows a combinatorial interpretation in terms of a color-enrichment of Delannoy paths. Applying its universal property, we equip a free commutative extended Rota-Baxter operators with a coproduct which has a cocycle condition, yielding a bialgebraic structure. We then show that this bialgebra on a free extended Rota-Baxter operators possesses an increasing filtration and a connectedness property, culminating at a Hopf algebraic structure on a free commutative extended Rota-Baxter operator.

In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.

The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ of a ribbon graph $G$ is the generating function that enumerates all partial duals of $G$. In this paper, we give a categorification for this polynomial. The key ingredient of the construction is an extended Frobenius algebra related to unoriented topological quantum field theory.

In this paper, we enumerate with signs the holomorphic maps between Real Riemann surfaces. We relate the signs and the numbers obtained to the Real Gromov-Witten theory of the target. For a finite group $G$ with a non-trivial morphism to $\{ \pm 1 \}$, we present a signed count of principal $G$-bundles yielding a Klein Topological Quantum Field Theory.

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.

The total face color polynomial is based upon the Poincaré polynomials of a family of filtered $n$-color homologies. It counts the number of $n$-face colorings of ribbon graphs for each positive integer $n$. As such, it may be seen as a successor of the Penrose polynomial, which at $n=3$ counts $3$-edge colorings (and consequently $4$-face colorings) of planar trivalent graphs. In this paper we describe a state sum formula for the polynomial. This formula unites two different perspectives about graph coloring: one based upon topological quantum field theory and the other on diagrammatic tensors.

Recent works have explored relations between classical and quantum statistical physics on the one hand and Voiculescu's theory of free probability on the other. Motivated by these results, the present work focuses on the notion of effective action, which is closely related to the large deviation rate function in classical probability and one-particle irreducible correlation functions in quantum field theories. The central aim is to understand how it can be defined and studied in free probability. In this respect, we introduce a suitable diagrammatic formalism.

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.

In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras.