arXiv++ Combinatorics

The combinatorics of dimer models on brane tilings describe a large class of four-dimensional $\mathcal{N}=1$ gauge theories that afford quiver descriptions and have toric moduli spaces. We introduce a combinatorial optimization method leveraging simulated annealing to explicitly construct geometrically consistent brane tilings, providing a proof of concept for efficient generation of gauge theories using metaheuristic techniques. The implementation of this idea recovers known examples and allows us to derive a new brane tiling with $26$ quantum fields, illustrating the potential of metaheuristic techniques as a valuable addition to the toolbox for constructing and analyzing gauge theories from brane tilings.

Calabi-Yau manifolds can be obtained as hypersurfaces in toric varieties built from reflexive polytopes. We generate reflexive polytopes in various dimensions using a genetic algorithm. As a proof of principle, we demonstrate that our algorithm reproduces the full set of reflexive polytopes in two and three dimensions, and in four dimensions with a small number of vertices and points. Motivated by this result, we construct five-dimensional reflexive polytopes with the lowest number of vertices and points. By calculating the normal form of the polytopes, we establish that many of these are not in existing datasets and therefore give rise to new Calabi-Yau four-folds. In some instances, the Hodge numbers we compute are new as well.

Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary to specify a brane tiling. We show that geometric consistency for brane tilings, which ensures that the corresponding quantum field theories are well behaved, imposes constraints on the pair of permutations, restricting certain products constructed from the pair to have no one-cycles. Permutations without one-cycles are known as derangements. We illustrate this formulation of consistency with known brane tilings. Counting formulas for consistent brane tilings with an arbitrary number of chiral bifundamental fields are written down in terms of delta functions over symmetric groups.