arXiv++ Combinatorics

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.

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.

We provide a direct combinatorial proof of a Feynman graph identity which implies a wide generalization of a formality theorem by Kontsevich. For a Feynman graph $Γ$, we associate to each vertex a position $x_v \in \mathbb R$ and to each edge $e$ the combination $s_e = a_e^{-\frac 12} \left( x^+_e - x^-_e \right)$, where $x^\pm_e$ are the positions of the two end vertices of $e$, and $a_e$ is a Schwinger parameter. The "topological propagator" $P_e = e^{-s_e^2}\text d s_e$ includes a part proportional to $\text d x_v$ and a part proportional to $\text d a_e$. Integrating the product of all $P_e$ over positions produces a differential form $α_Γ$ in the variables $a_e$. We derive an explicit combinatorial formula for $α_Γ$, and we prove that $α_Γ\wedge α_Γ=0$.

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.