Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies

We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.Comment: 26 pages, no figures. Updated presentatio

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible

We analyze the computational complexity of the many types of pencil-and-paper-style puzzles featured in the 2016 puzzle video game The Witness. In all puzzles, the goal is to draw a simple path in a rectangular grid graph from a start vertex to a destination vertex. The different puzzle types place different constraints on the path: preventing some edges from being visited (broken edges); forcing some edges or vertices to be visited (hexagons); forcing some cells to have certain numbers of incident path edges (triangles); or forcing the regions formed by the path to be partially monochromatic (squares), have exactly two special cells (stars), or be singly covered by given shapes (polyominoes) and/or negatively counting shapes (antipolyominoes). We show that any one of these clue types (except the first) is enough to make path finding NP-complete ("witnesses exist but are hard to find"), even for rectangular boards. Furthermore, we show that a final clue type (antibody), which necessarily "cancels" the effect of another clue in the same region, makes path finding $\Sigma_2$-complete ("witnesses do not exist"), even with a single antibody (combined with many anti/polyominoes), and the problem gets no harder with many antibodies. On the positive side, we give a polynomial-time algorithm for monomino clues, by reducing to hexagon clues on the boundary of the puzzle, even in the presence of broken edges, and solving "subset Hamiltonian path" for terminals on the boundary of an embedded planar graph in polynomial time.Comment: 72 pages, 59 figures. Revised proof of Lemma 3.5. A short version of this paper appeared at the 9th International Conference on Fun with Algorithms (FUN 2018

Comments on the Links between su(3) Modular Invariants, Simple Factors in the Jacobian of Fermat Curves, and Rational Triangular Billiards

We examine the proposal made recently that the su(3) modular invariant partition functions could be related to the geometry of the complex Fermat curves. Although a number of coincidences and similarities emerge between them and certain algebraic curves related to triangular billiards, their meaning remains obscure. In an attempt to go beyond the su(3) case, we show that any rational conformal field theory determines canonically a Riemann surface.Comment: 56 pages, 4 eps figures, LaTeX, uses eps

Duality between Spin networks and the 2D Ising model

The goal of this paper is to exhibit a deep relation between the partition function of the Ising model on a planar trivalent graph and the generating series of the spin network evaluations on the same graph. We provide respectively a fermionic and a bosonic Gaussian integral formulation for each of these functions and we show that they are the inverse of each other (up to some explicit constants) by exhibiting a supersymmetry relating the two formulations. We investigate three aspects and applications of this duality. First, we propose higher order supersymmetric theories which couple the geometry of the spin networks to the Ising model and for which supersymmetric localization still holds. Secondly, after interpreting the generating function of spin network evaluations as the projection of a coherent state of loop quantum gravity onto the flat connection state, we find the probability distribution induced by that coherent state on the edge spins and study its stationary phase approximation. It is found that the stationary points correspond to the critical values of the couplings of the 2D Ising model, at least for isoradial graphs. Third, we analyze the mapping of the correlations of the Ising model to spin network observables, and describe the phase transition on those observables on the hexagonal lattice. This opens the door to many new possibilities, especially for the study of the coarse-graining and continuum limit of spin networks in the context of quantum gravity.Comment: 35 page

Integrability and conformal data of the dimer model

The central charge of the dimer model on the square lattice is still being debated in the literature. In this paper, we provide evidence supporting the consistency of a $c=-2$ description. Using Lieb's transfer matrix and its description in terms of the Temperley-Lieb algebra $TL_n$ at $\beta = 0$, we provide a new solution of the dimer model in terms of the model of critical dense polymers on a tilted lattice and offer an understanding of the lattice integrability of the dimer model. The dimer transfer matrix is analysed in the scaling limit and the result for $L_0-\frac c{24}$ is expressed in terms of fermions. Higher Virasoro modes are likewise constructed as limits of elements of $TL_n$ and are found to yield a $c=-2$ realisation of the Virasoro algebra, familiar from fermionic $bc$ ghost systems. In this realisation, the dimer Fock spaces are shown to decompose, as Virasoro modules, into direct sums of Feigin-Fuchs modules, themselves exhibiting reducible yet indecomposable structures. In the scaling limit, the eigenvalues of the lattice integrals of motion are found to agree exactly with those of the $c=-2$ conformal integrals of motion. Consistent with the expression for $L_0-\frac c{24}$ obtained from the transfer matrix, we also construct higher Virasoro modes with $c=1$ and find that the dimer Fock space is completely reducible under their action. However, the transfer matrix is found not to be a generating function for the $c=1$ integrals of motion. Although this indicates that Lieb's transfer matrix description is incompatible with the $c=1$ interpretation, it does not rule out the existence of an alternative, $c=1$ compatible, transfer matrix description of the dimer model.Comment: 54 pages. v2: minor correction

Combinatorics and Gauge-String Duality.

PhDThis thesis exhibits a range of applications of combinatoric methods to string theory. The concepts and techniques used in the counting of ribbon graphs, the theory of finite groups, and the construction of cell complexes can give powerful methods and interesting insights into the nature of gauge-string duality, the limits of CFT factorisation, and the topology of worldsheet moduli space. The first part presents a candidate space-time theory of the Belyi string with a holographic extension to three-dimensional Euclidean gravity. This is a model of gauge-string duality in which the correlators of the Gaussian Hermitian matrix model are identfied with sums over worldsheet embeddings onto the 2-sphere target space. We show that the matrix model can be reformulated on the sphere by using su(2) representation couplings, and that the analogues of Feynman diagrams in this model can be holographically extended to 3-manifolds within the Ponzano-Regge model. The second part explores the limits of large N factorisation in conformal field theory and the dual interpretation in supergravity. By considering exact finite N correlators of single and multi-trace half-BPS operators in N = 4 super Yang-Mills theory in four dimensions, we can explicitly nd the exact threshold of the operator dimensions at which the correlators fail to factorise. In the dual supergravity, this is the energy regime at which quantum correlations between distinct gravitons become non-vanishing. The third part develops a cell decomposition of the moduli space of punctured Riemann surfaces. The cells are specified by a particular family of ribbon graphs, and we show that these graphs correspond to equivalence classes of permutation tuples arising from branched coverings of the Riemann sphere. This description yields efficient computational approaches for understanding the topology of moduli spaceSEPNe

Supersymmetric Field Theories, Scattering Amplitudes and the Grassmannian

In this thesis we carry out a detailed investigation of a class of four-dimensional N=1 gauge theories, known as Bipartite Field Theories (BFTs), and their utility in integrable systems and scattering amplitudes in 4-dimensional N=4 Super-Yang-Mills (SYM). We present powerful combinatorial tools for analyzing the moduli spaces of BFTs, and find an interesting connection with the matching and matroid polytopes, which play a central role in the understanding of the Grassmannian. We use the tools from BFTs to construct (0+1)-dimensional cluster integrable systems, and propose a way of obtaining (1+1)- and (2+1)-dimensional integrable field theories. Using the matching and matroid polytopes of BFTs, we analyze the singularity structure of planar and non-planar on-shell diagrams, which are central to modern developments of scattering amplitudes in N=4 SYM. In so doing, we uncover a new way of obtaining the positroid stratication of the Grassmannian. We use tools from BFTs to understand the boundary structure of the amplituhedron, a recently found geometric object whose volume calculates the integrand of scattering amplitudes in planar N=4 SYM theory. We provide the most comprehensive study of the geometry of the amplituhedron to date. We also present a detailed study of non-planar on-shell diagrams, constructing the on-shell form using two new, independent methods: a non-planar boundary measurement valid for arbitrary non-planar graphs, and a proposal for a combinatorial method to determine the on-shell form directly from the graph

The Structure of 4-Clusters in Fullerenes

Fullerenes can be considered to be either molecules of pure carbon or the trivalent plane graphs with all hexagonal and (exactly 12) pentagonal faces that models these molecules. Since carbon atoms have valence 4 and our models have valence 3, the edges of a perfect matching are doubled to bring the valence up to 4 at each vertex. The edges in this perfect matching are called a Kekule structure and the hexagonal faces bounded by three Kekule edges are called benzene rings. A maximal independent (disjoint) set of benzene rings for a given Kekule structure is called a Clar set, and the maximum possible size of a Clar set over all Kekule structures is the Clar number of the fullerene. For any patch of hexagonal faces in the fullerene away from all pentagonal faces, there is a perfect Kekule structure: a Kekule structure for which the faces of an independent set of benzene rings are packed together as tightly as possible. Starting with such a patch and extending it as far as possible results in a perfect Kekule structure except for isolated regions, called clusters, containing the pentagonal faces. It has been shown that clusters must contain even numbers of pentagonal faces. It has also been shown that the Kekule structure of the patch can be extended into each of these clusters to give a full Kekule structure. However, these Kekule extensions will not admit as tightly packed benzene rings as in the patch external to the clusters. A basic problem in computing the Clar number of a fullerene is to make these extensions in a way that maximizes the number of benzene rings in each cluster. The simplest case, that of 2-clusters, has been completely solved. This thesis is devoted to developing a complete understanding of the Clar structures of 4-clusters

The twistorial structure of loop-gravity transition amplitudes

The spin foam formalism provides transition amplitudes for loop quantum gravity. Important aspects of the dynamics are understood, but many open questions are pressing on. In this paper we address some of them using a twistorial description, which brings new light on both classical and quantum aspects of the theory. At the classical level, we clarify the covariant properties of the discrete geometries involved, and the role of the simplicity constraints in leading to SU(2) Ashtekar-Barbero variables. We identify areas and Lorentzian dihedral angles in twistor space, and show that they form a canonical pair. The primary simplicity constraints are solved by simple twistors, parametrized by SU(2) spinors and the dihedral angles. We construct an SU(2) holonomy and prove it to correspond to the (lattice version of the) Ashtekar-Barbero connection. We argue that the role of secondary constraints is to provide a non trivial embedding of the cotangent bundle of SU(2) in the space of simple twistors. At the quantum level, a Schroedinger representation leads to a spinorial version of simple projected spin networks, where the argument of the wave functions is a spinor instead of a group element. We rewrite the Liouville measure on the cotangent bundle of SL(2,C) as an integral in twistor space. Using these tools, we show that the Engle-Pereira-Rovelli-Livine transition amplitudes can be derived from a path integral in twistor space. We construct a curvature tensor, show that it carries torsion off-shell, and that its Riemann part is of Petrov type D. Finally, we make contact between the semiclassical asymptotic behaviour of the model and our construction, clarifying the relation of the Regge geometries with the original phase space.Comment: 40 pages, 3 figures. v2: minor improvements, references adde