arXiv++ Combinatorics

We present bipartiteSUSY, a Mathematica package designed to perform calculations for physical theories based on bipartite graphs. In particular, the package can employ the recently developed arsenal of techniques surrounding on-shell diagrams in N=4 SYM scattering amplitudes, including those for non-planar diagrams, with particular attention to computational speed. It also contains a host of tools for computations in N=1 Bipartite Field Theories, which utilize the same bipartite graphs. Through the use of an interactive graphical tool, it is possible to draw the desired diagrams on the screen and compute commonly sought-after features. The package should be easily accessible to users with little or no previous experience in dealing with bipartite graphs and their combinatorial descriptions.

We initiate a detailed investigation into the assembly of simple amplituhedron-like building blocks to obtain spaces of physical interest. In particular, we describe the geometric process through which the building blocks, which we call positivity sectors, glue together to form the desired geometries. Positivity sectors are seen to naturally segment the space describing the Lth power of the one-loop amplitude. In this way, we obtain a good understanding of how the geometric complexity of the building blocks can be washed out in the formation of larger spaces. Conversely, the tools we develop allow us to form spaces of ever greater complexity, a process which is crucial to the construction of the amplituhedron from its triangulations, which remains an important open question. We present the full boundary structure of all positivity sectors related to the three-loop amplituhedron. We also construct a practical algorithm that achieves the desired geometric assembly of positivity sectors, and make available supporting Mathematica files containing the full boundary structure of all positivity sectors at three loops.

We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.

We initiate a comprehensive investigation of the geometry of the amplituhedron, a recently found geometric object whose volume calculates the integrand of scattering amplitudes in planar N=4 SYM theory. We do so by introducing and studying its stratification, focusing on four-point amplitudes. The new stratification exhibits interesting combinatorial properties and positivity is neatly captured by permutations. As explicit examples, we find all boundaries for the two and three loop amplitudes and related geometries. We recover the stratifications of some of these geometries from the singularities of the corresponding integrands, providing a non-trivial test of the amplituhedron/scattering amplitude correspondence. We finally introduce a deformation of the stratification with remarkably simple topological properties.

We review recent progress in Bipartite Field Theories. We cover topics such as their gauge dynamics, emergence of toric Calabi-Yau manifolds as master and moduli spaces, string theory embedding, relationships to on-shell diagrams, connections to cluster algebras and the Grassmannian, and applications to graph equivalence and stratification of the Grassmannian.

The fundamental role of on-shell diagrams in quantum field theory has been recently recognized. On-shell diagrams, or equivalently bipartite graphs, provide a natural bridge connecting gauge theory to powerful mathematical structures such as the Grassmannian. We perform a detailed investigation of the combinatorial and geometric objects associated to these graphs. We mainly focus on their relation to polytopes and toric geometry, the Grassmannian and its stratification. Our work extends the current understanding of these connections along several important fronts, most notably eliminating restrictions imposed by planarity, positivity, reducibility and edge removability. We illustrate our ideas with several explicit examples and introduce concrete methods that considerably simplify computations. We consider it highly likely that the structures unveiled in this article will arise in the on-shell study of scattering amplitudes beyond the planar limit. Our results can be conversely regarded as an expansion in the understanding of the Grassmannian in terms of bipartite graphs.

We perform a detailed investigation of Bipartite Field Theories (BFTs), a general class of 4d N=1 gauge theories which are defined by bipartite graphs. This class of theories is considerably expanded by identifying a new way of assigning gauge symmetries to graphs. A new procedure is introduced in order to determine the toric Calabi-Yau moduli spaces of BFTs. For graphs on a disk, we show that the matroid polytope for the corresponding cell in the Grassmannian coincides with the toric diagram of the BFT moduli space. A systematic BFT prescription for determining graph reductions is presented. We illustrate our ideas in infinite classes of BFTs and introduce various operations for generating new theories from existing ones. Particular emphasis is given to theories associated to non-planar graphs.

We initiate the study of how to extend the correspondence between dimer models and (0+1)-dimensional cluster integrable systems to (1+1) and (2+1)-dimensional continuous integrable field theories, addressing various points that are necessary for achieving this goal. We first study how to glue and split two integrable systems, from the perspectives of the spectral curve, the resolution of the associated toric Calabi-Yau 3-folds and Higgsing in quiver theories on D3-brane probes. We identify a continuous parameter controlling the decoupling between the components and present two complementary methods for determining the dependence on this parameter of the dynamical variables of the integrable system. Interested in constructing systems with an infinite number of degrees of freedom, we study the combinatorics of integrable systems built up from a large number of elementary components, and introduce a toy model capturing important features expected to be present in a continuous reformulation of cluster integrable systems.