A note on geometric colorings of the Moser lattice
Pith reviewed 2026-06-27 08:59 UTC · model grok-4.3
The pith
The Moser lattice admits geometric 4-colorings of every point.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We exhibit geometric 4-colorings of the entire Moser lattice, proving that the bound of 4 is tight for graphs in this lattice, and the same colorings extend to the entire Moser ring.
What carries the argument
Geometric 4-colorings: assignments of four colors to lattice points that respect the geometry by giving different colors to every pair at unit distance.
If this is right
- The chromatic number of the Moser lattice is at most 4.
- The fractional chromatic number of the Moser lattice is exactly 4.
- The Moser ring likewise admits geometric 4-colorings.
- The lower bound from the 27-vertex subgraph is achieved by the full infinite structures.
Where Pith is reading between the lines
- The explicit colorings might be checked by direct computation on finite patches of the lattice to confirm no unit-distance conflicts.
- If the color patterns can be combined with other known colorings, they could constrain the chromatic number of the plane more tightly.
Load-bearing premise
The exhibited color assignments place different colors on every pair of points at unit distance across the whole lattice.
What would settle it
Any two points in the Moser lattice at distance exactly one that receive the same color in one of the described colorings would show the construction fails.
read the original abstract
In arXiv:2311.10069, Matolcsi et al. show that the fractional chromatic number of the plane is at least 4. Their proof uses a 27-vertex unit-distance graph in the Moser lattice, with geometric fractional chromatic number exactly 4. We show that this bound is tight for graphs in the Moser lattice by exhibiting geometric 4-colorings of the entire lattice. The same colorings also extend to the entire Moser ring.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the fractional chromatic number bound of 4 for the plane, established via a 27-vertex unit-distance graph in the Moser lattice by Matolcsi et al., is tight. It does so by exhibiting explicit geometric 4-colorings of the entire infinite Moser lattice such that no two points at distance 1 receive the same color; the same colorings extend to the Moser ring.
Significance. The explicit constructions provide a concrete upper bound matching the known lower bound for these specific infinite graphs, strengthening the case that the chromatic number of the plane may be 4. The constructive nature of the argument, relying on direct exhibition rather than non-constructive existence, is a positive feature.
minor comments (2)
- [Abstract] The abstract refers to 'exhibiting geometric 4-colorings' without indicating whether the colorings are periodic, how they are defined on the lattice generators, or the method used to verify absence of monochromatic unit distances across the infinite structure.
- Include at least one diagram or coordinate-based description of the coloring on a fundamental domain to allow readers to check the geometric property directly.
Simulated Author's Rebuttal
We thank the referee for the positive summary and recommendation of minor revision. The report contains no specific major comments to address.
Circularity Check
No significant circularity; explicit construction stands alone
full rationale
The paper's central claim is the explicit exhibition of geometric 4-colorings of the Moser lattice (and its extension to the ring) that witness tightness of the fractional chromatic number bound of 4 established in the cited external work (Matolcsi et al., arXiv:2311.10069). No equations, parameter fitting, self-citations, or ansatzes appear in the provided abstract or description. The argument is purely constructive and does not reduce any derived quantity to its own inputs by definition or statistical forcing. The cited lower-bound result is independent and external. This is the normal case of a self-contained constructive note.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
A unit-distance graph in the plane with independence ratio below 1/4
Existence of a unit-distance graph with independence ratio strictly below 1/4 is established via a two-vertex augmentation of a prior 27-vertex construction, disproving a conjecture on geometric fractional chromatic number.
Reference graph
Works this paper leans on
-
[1]
2025 , eprint=
The fractional chromatic number of the plane is at least 4 , author=. 2025 , eprint=
2025
-
[2]
Mathematical Programming , year =
Gergely Ambrus and Adrián Csiszárik and Máté Matolcsi and Dániel Varga and Pál Zsámboki , title =. Mathematical Programming , year =
-
[3]
Polymath16, fourth thread , howpublished=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.