Related papers: Combinatorial Stacks and the Four-Colour Theorem

We study the problem of colouring visibility graphs of polygons. In particular, for visibility graphs of simple polygons, we provide a polynomial algorithm for 4-colouring, and prove that the 5-colourability question is already NP-complete…

Youngs proved that every non-bipartite quadrangulation of the projective plane $\mathbb{R}\mathrm{P}^2$ is 4-chromatic. Kaiser and Stehl\'{\i}k [J. Combin. Theory Ser. B 113 (2015), 1-17] generalised the notion of a quadrangulation to…

Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of…

Let $H$ be a 2-regular graph and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. The "cycles plus $K_4$'s" problem is to show that $G$ is 4-colourable; this is a special case of the \emph{Strong Colouring…

We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be…

Let $G$ be a plane graph with $C$ the boundary of the outer face and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $\phi$ of $J$ such that $\phi(v)\in L(v)$ for…

In this paper, we show that any 3-dimensional normal affine quasihomogeneous SL(2)-variety can be described as a categorical quotient of a 4-dimensional affine hypersurface. Moreover, we show that the Cox ring of an arbitrary 3-dimensional…

We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in R^d may be colored with d+1 colors so that no two simplices that share a (d-1)-facet have the same color. In R^2 this says…

This paper considers the problem of showing that every pair of binary trees with the same number of leaves parses a common word under a certain simple grammar. We enumerate the common parse words for several infinite families of tree pairs…

Eliahou \cite{2} and Kryuchkov \cite{9} conjectured a proposition that Gravier and Payan \cite{4} proved to be equivalent to the Four Color Theorem. It states that any triangulation of a polygon can be transformed into another triangulation…

A natural class of coloring complexes $X$ on closed manifold $M^n$ is investigated that gives a holonomy map $\mbox{Hol}_X: \pi_1(M) \to S_{n+1}$. By a $k$-multilayer complex construction the holonomy map may be defined to any finite…

This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex…

I argue that, given vertices u and v in a 4-chromatic graph G, if the color of u equals the color of v in every 4-coloring of G then G has no planar supergraph where u and v are adjacent. This is equivalent to the Four Color Theorem.

We prove that the colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation, is q-holonomic with respect to the color parameters. As a result, we obtain the existence of an (a,q)…

Motivated by Dohmen-P\"onitz-Tittmann's bivariate chromatic polynomial $\chi_G(x,y)$, which counts all $x$-colorings of a graph $G$ such that adjacent vertices get different colors if they are $\le y$, we introduce a bivarate version of…

Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different…

Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum…

We construct a cohomology theory for oriented links using singular cobordisms and a special type of 2-dimensional Topological Quantum Field Theory (TQFT), categorifying the quantum sl(2) invariant. In particular, we give a description of…

Wang and Lih in 2002 conjectured that every planar graph without adjacent triangles is 4-choosable. In this paper, we prove that every planar graph without any 4-cycle adjacent to two triangles is DP-4-colorable, which improves the results…

Coloured Alexander polynomials form a sequence of non-semisimple quantum invariants coming from the representation theory of the quantum group $U_q(sl(2))$ at roots of unity. This sequence recovers the original Alexander polynomial as the…