1 · The essentials
Imagine coloring every point of a space with one of finitely many colors. For certain finite arrangements of points, using enough dimensions guarantees that the arrangement appears entirely in one color. The copy must preserve all distances: it cannot be enlarged or shrunk. The manuscript classifies exactly which arrangements have this property, using an algebraic test built from their coordinates. Its criterion establishes that every nonempty arrangement of at most five points on a circle has the property. It also gives four-point arrangements on a circle that have the property but do not belong to a previously conjectured class. The main classification has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a rigid stencil whose marked positions must all land on the same color in a colored space. You may move the stencil without changing its distances, and the question is whether enough dimensions make a successful placement unavoidable, however the space is colored.
Why it matters
The classification replaces a question about every possible finite coloring with a necessary and sufficient algebraic condition. It also separates the Ramsey property from membership in a finite transitive set, which the Leader–Russell–Walters conjecture had proposed as a characterization.
2 · Going further
A finite Euclidean configuration is Ramsey in the sense used here if, for every finite number of colors, a sufficiently high-dimensional Euclidean space has the following property: every coloring with those colors contains a monochromatic congruent copy of the configuration. Congruence is essential: the copy occurs at the original scale, rather than after an arbitrary rescaling.
The main manuscript, “A classification of finite Euclidean Ramsey configurations,” gives a necessary and sufficient tensor condition over the configuration’s coordinate field. This is the central algebraic bridge described in the abstract: satisfying the condition is equivalent to having the Ramsey property. The supplied abstract does not state the tensor condition itself or describe the steps of its argument, so a more explicit formula or proof strategy cannot be extracted from this source.
The criterion yields two stated consequences: every nonempty subtransitive set is Ramsey, and every nonempty set of at most five points on a circle is Ramsey. Here, subtransitive means belonging to a finite transitive set. In particular, the manuscript shows that some Ramsey cyclic quadrilaterals are not subtransitive, contradicting the necessity direction of the Leader–Russell–Walters conjectured characterization.
The main classification has a Lean formalization. Only one manuscript is supplied for this family; no companion manuscripts or relationships between them are described. The source does not separately specify the formalization coverage of each stated consequence.
Useful notions
- Finite colorings of a space
- Distances and congruent point configurations
- Euclidean spaces of varying dimension
- Fields and algebraic conditions
- Basic tensor language
What was known before / what is new
Before
The source identifies the Leader–Russell–Walters conjecture as proposing that the Ramsey configurations are exactly the subsets of finite transitive sets. It provides no further history or account of earlier partial classifications.
New
The manuscript supplies a necessary and sufficient tensor criterion over coordinate fields for the finite Euclidean Ramsey property. It states that this criterion makes every nonempty subtransitive set and every nonempty set of at most five points on a circle Ramsey. It also shows that some cyclic quadrilaterals are Ramsey without being subtransitive, refuting the conjecture’s necessity direction.
Limits and assumptions
The classification concerns finite configurations, arbitrary finite colorings, and congruent copies at the original scale in sufficiently high-dimensional Euclidean space. The two general consequences quoted in the abstract explicitly require nonempty sets; the circle consequence is stated for at most five points. The main result has a Lean formalization, but the supplied source does not identify which individual consequences are separately formalized. It supplies neither the explicit tensor condition nor dimension bounds, and it names no remaining open problems.
Mini glossary
- Euclidean Ramsey configuration —
- A finite point arrangement whose monochromatic congruent copy is guaranteed under every finite coloring once the Euclidean dimension is sufficiently high.
- Monochromatic —
- Having all points assigned the same color.
- Congruent copy —
- A copy preserving all distances of the original configuration, without rescaling.
- Subtransitive set —
- A set that is a subset of a finite transitive set.
- Cyclic quadrilateral —
- A four-point configuration whose points lie on a circle.
- Tensor criterion —
- The manuscript’s algebraic condition over a configuration’s coordinate field that is necessary and sufficient for its Ramsey property.
Keywords : Euclidean Ramsey configurations · Tensor criterion · Subtransitivity
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Classifies finite point configurations that occur monochromatically, at their original scale, in every finite coloring of sufficiently high-dimensional Euclidean space. The characterization is an algebraic condition over the coordinate field. It also disproves the Leader–Russell–Walters conjecture that every such configuration is a subset of a finite transitive set.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
A classification of finite Euclidean Ramsey configurations
23/09/2026We classify finite Euclidean Ramsey configurations by a necessary and sufficient tensor condition over their coordinate fields. The Ramsey property here concerns monochromatic congruent copies at the original scale under arbitrary finite colorings. The criterion shows that every nonempty subtransitive set and every nonempty set of at most five points on a circle is Ramsey. In particular, some Ramsey cyclic quadrilaterals are not subtransitive, disproving the necessity direction of the Leader–Russell–Walters conjectured characterization.