Related papers: A Theoretic Proof of the Four Color Theorem

A definition is given of seriate sets as being sets constituted out of structured collections of objects which are recursively internally self- similar. Fundamental (geometrical) objects of Dimension N are conceived to be constituted out of…

Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most…

Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number…

Let $(G,\pmb{+})$ be any given semimodule over a discrete semiring $(R,+,\cdot)$ with a finite coloring, say $G=B_1\cup\dotsm\cup B_q$. By establishing a Regional Multiple Recurrence Theorem for semimodules, we prove that one of the colors…

We give a full, correct proof of the following result, earlier claimed by Erd\H{o}s and Komj\'ath. If the Continuum Hypothesis holds then there is a coloring of the plane with countably many colors, with no monocolored right triangle.

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…

Let $P$ be a set of $n$ points in the plane, not all on a line, each colored \emph{red} or \emph{blue}. The classical Motzkin--Rabin theorem guarantees the existence of a \emph{monochromatic} line. Motivated by the seminal work of Green and…

We provide a human-verifiable proof that, in a certain sense, the chromatic number of the plane is exactly 7.

Consider the graph $\mathbb{H}(d)$ whose vertex set is the hyperbolic plane, where two points are connected with an edge when their distance is equal to some $d>0$. Asking for the chromatic number of this graph is the hyperbolic analogue to…

We prove that the entropy compression method systematized by L. Esperet and A. Parreau [11] can be applied to any problem formulated in the variable version of the Lov\'asz Local Lemma. As an application, we prove the existence of…

In $2003$, Alladi, Andrews and Berkovich proved a four-parameter partition identity lying beyond a celebrated identity of G\"ollnitz. Since then it has been an open problem to extend their work to five or more parameters. In part I of this…

An expression for four-tangle is obtained by examining the negativity fonts present in a four-way partial transpose under local unitary operations. An alternate derivation of three tangle is also given.

A variation on the splitting principle

We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we…

We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to…

Gy\'arf\'as conjectured in 2011 that every $r$-edge-colored $K_n$ contains a monochromatic component of bounded ("perhaps three") diameter on at least $n/(r-1)$ vertices. Letzter proved this conjecture with diameter four. In this note we…

An technically interesting proof of a known theorem.

This is the last part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the second episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and…

We extend the flyping theorem to alternating links in thickened surfaces and alternating virtual links. The proof of the former result uses work of Boden--Karimi to adapt the author's geometric proof of Tait's 1898 flyping conjecture (first…

Let $G$ be a quadrangulation on an orientable surface and let $g$ be a proper vertex-$4$-coloring of $G$. A face $F$ of $G$ is said to be a rainbow-face if all four distinct colors appear on its boundary. A $(c_1,c_2,c_3,c_4)$-face in $G$…