Platonic configurations of points and lines

Aleksander Simoni\v{c}; Jurij Kovi\v{c}

arxiv: 1907.08751 · v1 · pith:FGYJA3IInew · submitted 2019-07-20 · 🧮 math.CO

Platonic configurations of points and lines

Jurij Kovi\v{c} , Aleksander Simoni\v{c} This is my paper

Pith reviewed 2026-05-24 19:08 UTC · model grok-4.3

classification 🧮 math.CO

keywords Platonic solidsgeometric configurationspoints and linessymmetry groupsspatial arrangementsbalanced configurationsincidence structures

0 comments

The pith

Connected point-line configurations can be built to share the full rotational and reflection symmetry of any chosen Platonic solid.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper presents explicit methods for constructing connected spatial geometric configurations of points and lines that remain invariant under precisely the same rotations and reflections of Euclidean 3-space as a selected Platonic solid. Primary attention is given to balanced incidence structures such as (n_3), (n_4) and (n_5), together with certain unbalanced forms such as (p_3, n_4). A reader would care because these constructions supply concrete geometric realizations inside ordinary three-dimensional space that inherit the complete symmetry group of the solid, turning an abstract symmetry requirement into an explicit arrangement of points and lines.

Core claim

Methods exist for constructing connected spatial geometric configurations (p_q, n_k) of points and lines that are preserved by exactly the same rotations and reflections of E^3 as the chosen Platonic solid; the work focuses on realizing balanced configurations (n_3), (n_4), (n_5) and unbalanced configurations (p_3, n_4), (p_3, n_5), (p_4, n_5) as actual geometric objects.

What carries the argument

Construction methods that enforce invariance under the full symmetry group of a Platonic solid while keeping the configuration connected in Euclidean 3-space.

If this is right

Balanced configurations (n_3), (n_4) and (n_5) admit geometric realizations inside E^3 that inherit the complete symmetry group.
Unbalanced configurations of the listed types can likewise be realized while preserving the same symmetries.
The constructions produce connected arrangements rather than disconnected unions of orbits.
The same methods apply uniformly to all five Platonic solids.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The constructions may supply new families of highly symmetric point-line systems that can be studied for their combinatorial or topological properties.
Similar symmetry-preserving techniques could be tested on other finite subgroups of the orthogonal group in three dimensions.
Explicit coordinate realizations produced by the methods could be used to generate visual models or to compute numerical invariants of the configurations.

Load-bearing premise

It is possible to realize such configurations as connected geometric objects in E^3 while exactly preserving the full symmetry group of a Platonic solid.

What would settle it

Failure to produce any connected geometric realization in E^3 whose incidence structure is (n_3) or (n_4) while remaining fixed by every rotation and reflection of a given Platonic solid.

read the original abstract

We present some methods for constructing connected spatial geometric configurations $(p_{q}, n_{k})$ of points and lines, preserved by the same rotations (and reflections) of Euclidean space $E^{3}$ as the chosen Platonic solid. In this paper we are primarily interested in balanced configurations $(n_{3}), (n_{4})$ and $(n_{5})$, but also in unbalanced configurations $(p_{3},n_{4}), (p_{3}, n_{5})$ and $(p_{4}, n_{5})$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper supplies explicit orbit-based constructions for connected point-line configurations invariant under Platonic symmetry groups, verified by finite enumeration.

read the letter

The paper's key offering is a collection of methods to build connected spatial configurations of points and lines that are invariant under the symmetry group of a chosen Platonic solid. They focus on balanced ones such as (n_3), (n_4), and (n_5), along with some unbalanced variants like (p_3, n_4). The constructions proceed by selecting initial points or lines and taking their orbits under the group action, then verifying the incidences and connectedness through direct enumeration. Because the symmetry groups are finite, these checks are straightforward and do not rely on any limiting assumptions or generic positions. This approach produces actual geometric objects in E^3 that match the claimed symmetries exactly. The paper does a solid job of spelling out the steps for the listed families, making the results reproducible by anyone who wants to recompute the orbits. The main limitation is the narrow scope. It does not address how these configurations compare to existing ones in the literature or whether they satisfy additional combinatorial properties. The work remains at the level of providing examples rather than developing a general theory. Readers who study finite geometries or symmetric realizations in three dimensions will find the specific lists useful. Others outside that niche will likely pass it by. The thinking is clear and the evidence is the constructions themselves, which are checkable. I think it should go to peer review so that experts in the area can confirm the enumerations and see if the methods extend.

Referee Report

2 major / 2 minor

Summary. The manuscript presents methods for constructing connected spatial geometric configurations (p_q, n_k) of points and lines in E^3 that are invariant under the full rotation and reflection group of a chosen Platonic solid. It focuses primarily on balanced configurations (n_3), (n_4) and (n_5), with additional treatment of unbalanced families (p_3,n_4), (p_3,n_5) and (p_4,n_5). Constructions proceed by selecting base points or lines and taking their orbits under the group action, followed by direct enumeration to confirm incidence relations and connectedness.

Significance. If the explicit constructions and verifications hold, the work supplies concrete, finite examples of highly symmetric point-line configurations embedded in Euclidean 3-space. The approach of deriving objects directly from group orbits and verifying properties by enumeration is a strength, as the resulting objects are checkable by finite computation without additional genericity assumptions. This contributes to the study of symmetric incidence structures beyond the classical planar setting.

major comments (2)

[§3] §3 (Construction of (n_3) configurations): the enumeration establishing connectedness for the icosahedral case lists 12 orbits but does not explicitly tabulate the incidence matrix or the chosen base line; without this, independent verification of the claimed (n_3) parameters is not immediate from the text.
[§4.2] §4.2 (Unbalanced (p_3,n_4) families): the claim that the configuration remains connected after orbit closure is supported only by a single representative computation for the octahedral group; a general argument or additional cases for the tetrahedral and icosahedral groups would strengthen the result, as the group orders differ substantially.

minor comments (2)

[Introduction] Notation for the configuration parameters (p_q, n_k) is introduced in the abstract but the precise meaning of the subscripts is restated only in §2; a single consolidated definition early in the introduction would improve readability.
[Figure 2] Several figures (e.g., Figure 2 for the dodecahedral (n_4) example) lack coordinate labels or explicit orbit representatives, making it harder to cross-check the enumerated incidences.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the specific comments, which help improve the clarity of the constructions. We respond to each major comment below.

read point-by-point responses

Referee: [§3] §3 (Construction of (n_3) configurations): the enumeration establishing connectedness for the icosahedral case lists 12 orbits but does not explicitly tabulate the incidence matrix or the chosen base line; without this, independent verification of the claimed (n_3) parameters is not immediate from the text.

Authors: We agree that the icosahedral (n_3) case in §3 would benefit from explicit data for verification. The revised manuscript will include the coordinates of the base line together with a compact table of incidence relations among the 12 orbits. revision: yes
Referee: [§4.2] §4.2 (Unbalanced (p_3,n_4) families): the claim that the configuration remains connected after orbit closure is supported only by a single representative computation for the octahedral group; a general argument or additional cases for the tetrahedral and icosahedral groups would strengthen the result, as the group orders differ substantially.

Authors: The connectedness verification is performed separately for each group via direct orbit enumeration, but only the octahedral computation is written out in detail. We will add the corresponding explicit checks for the tetrahedral and icosahedral groups in the revised §4.2. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central contribution consists of explicit, finite constructions of (p_q, n_k) configurations realized as orbits of base points and lines under the rotation/reflection group of a Platonic solid, followed by direct enumeration to verify incidence relations and connectedness. These steps rely only on the group action itself and finite checking; no equations, fitted parameters, or predictions are defined in terms of the target quantities. No self-citations appear as load-bearing premises for uniqueness or ansatz choices. The constructions are therefore self-contained and independently verifiable by direct computation, with no reduction of any claimed result to its own inputs by definition or fitting.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new postulated entities.

pith-pipeline@v0.9.0 · 5606 in / 969 out tokens · 18296 ms · 2026-05-24T19:08:06.428255+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We present some methods for constructing connected spatial geometric configurations (p_q, n_k) of points and lines, preserved by the same rotations (and reflections) of Euclidean space E^3 as the chosen Platonic solid.
IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

A Platonic configuration is a geometric configuration Z ⊂ E^3 with symmetries of a Platonic solid P ∈ {T, C, O, D, I}.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.