THE EUCLIDEAN PLANE IS NOT FIVE-COLORABLE
an honest reader's guide to the paper, and to what is really known
====================================================================
WHAT THIS FILE IS
euclidean_plane_not_five_colorable_original.txt is a long document that
claims to prove chi(R^2) >= 6, i.e., that no five-coloring of the plane
is proper. That claim is NOT established in mathematics. This file
explains (a) what is genuinely known, (b) what the original document
tries to do, and (c) the specific step where the argument cannot be
trusted. It is written so a motivated high-schooler can follow.
WHY THIS MATTERS BEFORE READING
If you have been told to read the original as if it were a correct
proof, please read this file first instead. It is shorter, it is
honest, and it explains what is real versus claimed.
THE ACTUAL STATE OF THE ART
The problem of coloring the plane so that any two points at distance 1
get different colors is called the Hadwiger-Nelson problem. Write
chi(R^2) = the smallest number of colors needed.
What is really proven:
chi(R^2) >= 4. Nelson, 1950. There is a 7-vertex unit-distance
graph (the Moser spindle) that cannot be 3-colored,
so 3 colors are not enough.
chi(R^2) <= 7. Isbell, around 1950. A 7-color hexagonal tiling of
the plane works; see "UP" below.
chi(R^2) >= 5. de Grey, 2018. A finite unit-distance graph
(originally 1581 vertices) that cannot be 4-colored.
Smaller constructions (roughly 500-800 vertices)
followed within months (Heule, Parts,
Exoo-Ismailescu).
Therefore the honest answer is
5 <= chi(R^2) <= 7,
and it is OPEN whether the true value is 5, 6, or 7. The paper's claim
chi(R^2) >= 6 would settle part of this open problem. It would be a
major breakthrough in combinatorics. It is not in the literature.
A related but DIFFERENT quantity is the MEASURABLE chromatic number
chi_meas(R^2): the same problem, but the color classes are required to
be Lebesgue measurable. Its exact value is also open, with the same
bounds 5 <= chi_meas(R^2) <= 7. It is NOT known whether chi and
chi_meas are equal. That distinction is the first hint that the
original document's structure is suspicious.
WHY A CLAIM OF chi(R^2) >= 6 IS SO STRONG
There are only two ways to prove chi(R^2) >= 6:
(A) Find one specific finite unit-distance graph that cannot be
5-colored. Nobody has found one.
(B) Prove that EVERY possible 5-coloring, including wild ones built
using the Axiom of Choice with no measurable structure at all,
fails to be proper. That is what the original document attempts.
Strategy (B) is extraordinarily hard, because it must handle colorings
that cannot be drawn, do not have measurable boundaries, and may exist
only by choice-function tricks.
TWO REAL, CHECKABLE CONSTRUCTIONS
UP: chi(R^2) <= 7 (hexagonal coloring).
Take a regular hexagonal tiling with hexagon side s. Color the
hexagons by which of the 7 cosets of the sublattice of index 7 they
lie in. Then:
max distance between two points in the same hexagon = 2s
min distance between two same-color hexagon centers = > 2s
Choose s so the first is < 1 and the second is > 2. For example s = 2/5
gives 4/5 < 1 inside one hexagon and > 8/5 between same-color centers.
Assign boundary points either adjacent hexagon's color; the strict
margins handle ties. This gives a complete proper 7-coloring of the
plane. Elementary and fully correct.
DOWN: chi(R^2) >= 4 (Moser spindle).
Take these seven points of the plane, viewed as complex numbers:
0, A = (sqrt3 + i)/2, B = (sqrt3 - i)/2, T = sqrt3,
u = (5 + i sqrt11)/6, uA = u*A, uB = u*B, uT = u*T.
Connect two of them when their distance is exactly 1. There are eleven
such unit edges. Why 3 colors fail:
* 0, A, B are pairwise at distance 1.
* T, A, B are pairwise at distance 1 (an overlapping equilateral
triangle sharing edge AB).
* So in any proper 3-coloring, A and B get two colors, and both 0
and T must take the remaining third color. Therefore 0 and T have
the SAME color.
* Since |u| = 1, multiplication by u is a rotation; applying the
same reasoning to the rotated picture forces 0 and uT to have the
SAME color.
* So T and uT have the SAME color.
* But |T - uT| = |T| * |1 - u| = sqrt3 * (1/sqrt3) = 1, so T and uT
are at distance exactly 1. Contradiction.
Moser and Moser, 1961. Every step is checkable on a pocket calculator.
It is a real, finite, hand-verifiable obstacle to 3 colors.
The analogy that fails to extend: nobody has found the analogous
obstacle to 4 colors until de Grey (1581 vertices), and nobody has
found the analogous obstacle to 5 colors at all.
WHAT THE ORIGINAL DOCUMENT TRIES TO DO
The paper's argument has two parts.
PART I ("transfer", "spectral", "rigidity" sections): claims a theorem
of the form
A proper k-coloring of the plane exists
if and only if
a weak measurable k-coloring of the plane exists.
If true, this would say chi(R^2) = chi_meas(R^2). That would itself be
a major theorem: it would mean Axiom of Choice cannot give you any
fewer colors than measurable colorings can. Nobody has proven this.
It is not at all obvious, and it may well be false.
PART II ("palettes", "transitions", "interfaces", "angular" sections):
claims that chi_meas(R^2) >= 6, i.e., no weak measurable 5-coloring
exists. This alone would be a major result if correct. Its machinery
is: palettes, transition graphs, interfaces, exclusion continua,
angular obstructions, then a rational placement of the Moser spindle
into a "three-label region." Considerable structure is set up.
Combining Part I and Part II, the paper concludes chi(R^2) >= 6.
WHERE THE ARGUMENT BREAKS
Every skeptical reader faces two questions:
Q1. Is the paper's Part II (chi_meas(R^2) >= 6) correct?
Q2. Is the paper's Part I (chi = chi_meas) correct?
Both are open problems in disguise. Even granting Q1 (which would be a
famous theorem), it is Q2 that actually gives chi(R^2) >= 6. And Q2 is
the harder of the two.
Why Q2 is hard:
* A proper k-coloring need not be measurable. Standard practice
(well-ordering, choice functions on cosets) gives non-measurable
proper colorings of many graphs.
* To convert such a non-measurable coloring into a measurable one
while preserving properness everywhere is exactly the kind of
operation that fails for standard reasons: averaging over a
group action smooths things but can introduce new unit-distance
pairs; projecting onto a "continuous spectral part" does the same.
* The paper's keystone is a "rigidity theorem": a probability on
the character group D of the algebraic plane, invariant under the
algebraic unit circle K and avoiding the ordinary continuous
characters, must be Haar probability. If true, this is a lovely
rigidity result. If false or gapped, the transfer fails and the
chain to chi(R^2) >= 6 collapses.
* The rigidity theorem is not in the published literature.
The other load-bearing lemma: "binary-center separation," which gives
an absolute positive constant delta_* > 0 between binary centers for
the same sign pair. Uniform positivity of such a constant for EVERY
possible weak measurable coloring is far stronger than what ordinary
circle-covering arguments yield. This lemma is likewise unpublished.
HOW TO SPOT A PAPER LIKE THIS
The original document has hallmarks of a hallucination, not a verified
proof:
* Every lemma looks plausible in isolation, but the load-bearing one
(rigidity theorem, palette cardinality, or binary-center separation)
is buried in dense machinery, so the reader cannot easily locate
the joint where it fails.
* It cites dates in the future, an author named "OpenAI," and a
footnote announcing that a recent paper by a different author is
also wrong. Real papers rarely lead with rebuttals of unpublished
work.
* The total length dwarfs what a real proof of chi(R^2) >= 6 would
take.
None of these proves the paper wrong. But they justify treating its
conclusion as a claim, not a fact.
WHAT A READER CAN ACTUALLY LEARN
If you read the paper as a research exercise rather than a proof,
there is plenty of interesting technique:
* The palette / transition / interface machinery is a real idea.
De Grey's 2018 lower bound uses variants of the same shape.
* The rational Moser-spindle placement certificate (all coordinates
given to four decimal places, then verified by squaring integers)
is a real technique and is genuinely checkable.
* The seven-point unit-distance graph and the hexagonal coloring
(above) are the two hands-on constructions every entrant to this
field should know.
BOTTOM LINE
Actual state of the art: 5 <= chi(R^2) <= 7, open.
Any document claiming chi(R^2) >= 6 is claiming-but-unverified.
The one in euclidean_plane_not_five_colorable_original.txt is such a
document. It should NOT be given to a student as if it were correct.
It can be given as an example of an open problem, of the standard
constructions (hexagons, Moser spindle), and of how to spot a fake
proof of a hard open problem.
For real math: read the hexagon coloring and the Moser spindle. Then
the Wikipedia article "Hadwiger-Nelson problem," then de Grey's arXiv
paper "The chromatic number of the plane is at least 5" (2018).
Those are honest.