Generating spherical multiquadrangulations by restricted vertex splittings and the reducibility of equilibrium classes

A quadrangulation is a graph embedded on the sphere such that each face is bounded by a walk of length 4, parallel edges allowed. All quadrangulations can be generated by a sequence of graph operations called vertex splitting, starting from the path P_2 of length 2. We define the degree D of a splitting S and consider restricted splittings S_{i,j} with i <= D <= j. It is known that S_{2,3} generate all simple quadrangulations. Here we investigate the cases S_{1,2}, S_{1,3}, S_{1,1}, S_{2,2}, S_{3,3}. First we show that the splittings S_{1,2} are exactly the monotone ones in the sense that the resulting graph contains the original as a subgraph. Then we show that they define a set of nontrivial ancestors beyond P_2 and each quadrangulation has a unique ancestor. Our results have a direct geometric interpretation in the context of mechanical equilibria of convex bodies. The topology of the equilibria corresponds to a 2-coloured quadrangulation with independent set sizes s, u. The numbers s, u identify the primary equilibrium class associated with the body by V\'arkonyi and Domokos. We show that both S_{1,1} and S_{2,2} generate all primary classes from a finite set of ancestors which is closely related to their geometric results. If, beyond s and u, the full topology of the quadrangulation is considered, we arrive at the more refined secondary equilibrium classes. As Domokos, L\'angi and Szab\'o showed recently, one can create the geometric counterparts of unrestricted splittings to generate all secondary classes. Our results show that S_{1,2} can only generate a limited range of secondary classes from the same ancestor. The geometric interpretation of the additional ancestors defined by monotone splittings shows that minimal polyhedra play a key role in this process. We also present computational results on the number of secondary classes and multiquadrangulations.Comment: 21 pages, 11 figures and 3 table

Hyperbolic four-manifolds, colourings and mutations

We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathcal{X}$ and $\mathcal{Y}$ have twice the minimal volume among all complete orientable hyperbolic $4$-manifolds.Comment: 24 pages, 11 figures; to appear in Proceedings of the London Mathematical Societ

Spontaneous magnetisation in the plane

The Arak process is a solvable stochastic process which generates coloured patterns in the plane. Patterns are made up of a variable number of random non-intersecting polygons. We show that the distribution of Arak process states is the Gibbs distribution of its states in thermodynamic equilibrium in the grand canonical ensemble. The sequence of Gibbs distributions form a new model parameterised by temperature. We prove that there is a phase transition in this model, for some non-zero temperature. We illustrate this conclusion with simulation results. We measure the critical exponents of this off-lattice model and find they are consistent with those of the Ising model in two dimensions.Comment: 23 pages numbered -1,0...21, 8 figure

Defective and Clustered Graph Colouring

Consider the following two ways to colour the vertices of a graph where the requirement that adjacent vertices get distinct colours is relaxed. A colouring has "defect" $d$ if each monochromatic component has maximum degree at most $d$. A colouring has "clustering" $c$ if each monochromatic component has at most $c$ vertices. This paper surveys research on these types of colourings, where the first priority is to minimise the number of colours, with small defect or small clustering as a secondary goal. List colouring variants are also considered. The following graph classes are studied: outerplanar graphs, planar graphs, graphs embeddable in surfaces, graphs with given maximum degree, graphs with given maximum average degree, graphs excluding a given subgraph, graphs with linear crossing number, linklessly or knotlessly embeddable graphs, graphs with given Colin de Verdi\`ere parameter, graphs with given circumference, graphs excluding a fixed graph as an immersion, graphs with given thickness, graphs with given stack- or queue-number, graphs excluding $K_t$ as a minor, graphs excluding $K_{s,t}$ as a minor, and graphs excluding an arbitrary graph $H$ as a minor. Several open problems are discussed.Comment: This is a preliminary version of a dynamic survey to be published in the Electronic Journal of Combinatoric

Mixing graph colourings

This thesis investigates some problems related to graph colouring, or, more precisely, graph re-colouring. Informally, the basic question addressed can be phrased as follows. Suppose one is given a graph G whose vertices can be properly k-coloured, for some k ≥ 2. Is it possible to transform any k-colouring of G into any other by recolouring vertices of G one at a time, making sure a proper k-colouring of G is always maintained? If the answer is in the affirmative, G is said to be k-mixing. The related problem of deciding whether, given two k-colourings of G, it is possible to transform one into the other by recolouring vertices one at a time, always maintaining a proper k-colouring of G, is also considered. These questions can be considered as having a bearing on certain mathematical and ‘real-world’ problems. In particular, being able to recolour any colouring of a given graph to any other colouring is a necessary pre-requisite for the method of sampling colourings known as Glauber dynamics. The results presented in this thesis may also find application in the context of frequency reassignment: given that the problem of assigning radio frequencies in a wireless communications network is often modelled as a graph colouring problem, the task of re-assigning frequencies in such a network can be thought of as a graph recolouring problem. Throughout the thesis, the emphasis is on the algorithmic aspects and the computational complexity of the questions described above. In other words, how easily, in terms of computational resources used, can they be answered? Strong results are obtained for the k = 3 case of the first question, where a characterisation theorem for 3-mixing graphs is given. For the second question, a dichotomy theorem for the complexity of the problem is proved: the problem is solvable in polynomial time for k ≤ 3 and PSPACE-complete for k ≥ 4. In addition, the possible length of a shortest sequence of recolourings between two colourings is investigated, and an interesting connection between the tractability of the problem and its underlying structure is established. Some variants of the above problems are also explored

Aspects of graph colouring

The four-colour conjecture of 1852, and the total colouring conjecture of 1965, have sparked off many new concepts and conjectures. In this thesis we investigate many of the outstanding conjectures, establishing various related results, and present many conjectures of our own. We give a brief historical introduction (Chapter 1) and establish some notation, terminology and techniques (Chapter 2). Next, in Chapter 3, we examine the use of latin squares to represent edge and total colourings. In Chapters 4 - 6 we deal with vertex, edge and total colourings respectively. Various ways of measuring different aspects of graphs are presented, in particular, the ‘colouring difference’ between two edge-colourings of a graph (Chapter 5) and the ‘beta parameter’ (defined in Chapter 2 and used in Chapters 3 and 6); this is a measure of how far from a type 1 graph a type 2 graph can be. In Chapter 6 we derive an upper bound for the beta value of any near type 1 graph and give the exact results for all Kn. The number of ways of colouring Kn and Kn,,n are also quantified. Chapter 6 also examines Hilton’s concept of conformability. It is shown that every graph with at least A spines is conformable, and an extension to the concept, which we call G*-conformability, is introduced. We then give new necessary conditions for a cubic graph to be type 1 in relation to G*-conformability. Various methods of manipulating graphs are considered and we present: a method to compatibly triangulate a graph G-e; a method of introducing a fourth colour thus allowing a sequence of Kempe interchanges from any edge 3-colouring of a cubic graph to any other; and a method to re-colour a near type 1 graph within a certain bound on beta. We end this thesis with a brief discussion on possible practical uses for colouring graphs. A list of the main results and conjectures is given at the end of each chapter, but a short list of the principle theorems proven is given below