Related papers: Yet another short proof of the 4-colour theorem
We conjecture that every graph of minimum degree five with no separating triangles and drawn in the plane with one crossing is 4-colorable. In this paper, we use computer enumeration to show that this conjecture holds for all graphs with at…
Hindman's Theorem states that in any finite coloring of the integers, there is an infinite set all of whose finite sums belong to the same color. This is much stronger than the corresponding finite form, stating that in any finite coloring…
Corollary 2.3 in our paper "A geometric proof of the Karpelevich-Mostow theorem", Bull. Lond. Math. Soc. 41 (2009), no. 4, 634-638, is false. Here we give a counterexample and show how to avoid the use of this corollary to give a simpler…
This is the first paper in a series whose goal 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 path, thus proving a…
A vertex colouring of a graph $G$ is "nonrepetitive" if $G$ contains no path for which the first half of the path is assigned the same sequence of colours as the second half. Thue's famous theorem says that every path is nonrepetitively…
The uniqueness argument in the proof of Theorem 5, p. 483, of "Small noise asymptotics for invariant densities for a class of diffusions: a control theoretic view, J. Math. Anal. and Appl. (2009) " is flawed. We give here a corrected proof.
The purpose of this paper is to generalize some results on $n$-Lie algebras and $n$-Hom-Lie algebras to $n$-Hom-Lie color algebras. Then we introduce and give some constructions of $n$-Hom-Lie color algebras.
A simple proof of the celebrated theorem of Lee and Yang is attempted in this short note.
Given a grayscale photograph as input, this paper attacks the problem of hallucinating a plausible color version of the photograph. This problem is clearly underconstrained, so previous approaches have either relied on significant user…
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…
Using Singular Rescaling We Prove Some Bifurcation Results. This note Presents short proofs for some Bifurcation results which had been appeared with other authors.
In an article entitled The Counterexample of a theorem in Wiener index of a fuzzy graph and application to illegal immigration networks, we have shown a few examples of incorrect proof of a theorem in the Wiener index. Now, in this article,…
The paper introduces the concept of asynchronous pseudo-system. Its purpose is to correct/generalize/continue the study of the asynchronous systems (the models of the asynchronous circuits) that has been started in [1], [2].
This paper has been withdrawn due to a critical error discovered in Theorem 4.21. Anyone with a historical or pragamatic interest in prior "negative results", however - e.g., failed proof attempts relating to the (in)consistency of ZF or…
In 1880, P. G. Tait showed that the four colour theorem is equivalent to the assertion that every 3-regular planar graph without cut-edges is 3-edge-colourable, and in 1891, J. Petersen proved that every 3-regular graph with at most two…
The results of this note were stated in the first author PhD manuscript in 2006 but never published. The writing of a proof given there was slightly careless and the proof itself scattered across the document, the goal of this note is to…
In this paper we give a reasonable explanation (not proof) to the Copenhagen interpretation of Quantum Mechanics from the view point of decoherence theory. Mathematical physicists with strong mission must prove {\bf the Copenhagen…
A "dominating $K_t$-model" in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise vertex-disjoint connected subgraphs of $G$, such that whenever $1\leq i<j\leq t$ every vertex in $T_j$ has a neighbour in $T_i$. Replacing "every vertex…
We present a short and self-contained proof of the choosability version of Brooks' theorem.
This is the second part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the third episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and…