On Perles' configuration

Basic Information

• Paper ID: 2408.09370
• Title: On Perles' configuration
• Author: Jozsef Solymosi (University of British Columbia, Vancouver, Canada, and Obuda University, Budapest, Hungary)
• Classification: math.CO (Combinatorics)
• Publication Date: August 2024 (arXiv:2408.09370v2, last updated December 31, 2024)
• Paper Link: https://arxiv.org/abs/2408.09370

Abstract

In the 1960s, Micha Perles constructed a point-line configuration of 9 points in the plane that cannot be realized using only points with rational coordinates. Grünbaum conjectured that Perles' construction is minimal: any geometric configuration of 8 or fewer points that can be realized with real coordinates in the plane can also be realized with rational coordinates. This paper proves this conjecture.

Research Background and Motivation

Core Problem

The research addresses a classical problem in Euclidean geometry: given a set of points P and its 3-element subsets S = {S₁, ..., Sₖ}, does there exist a point configuration in the Euclidean plane such that exactly the triples listed in S are collinear? Particular attention is paid to configurations that can be realized with real coordinates but not with rational coordinates.

Historical Significance

1. Historical Origins: The earliest configurations without rational realizations come from von Staudt's work on "projective arithmetic," which MacLane applied to give an 11-point construction corresponding to √2
2. Perles Configuration: In the 1960s, Perles provided a configuration of 9 points and 9 lines that cannot be realized with purely rational points, the smallest known such configuration
3. Theoretical Importance: Such configurations are fundamental building blocks for constructing non-rational polytopes and hold significant importance in discrete geometry

Limitations of Existing Methods

• Previous work lacked complete classification of small point set configurations
• The Grünbaum conjecture, though proposed years ago, remained unproven
• Research on n₃ configurations (where each point lies on exactly 3 collinear triples) was incomplete

Core Contributions

1. Proved the Grünbaum Conjecture: Any configuration with n≤8 points either cannot be realized with real coordinates or also has a rational realization
2. Provided Complete Classification Method: Through case-by-case analysis, systematically analyzed all possible configurations with 8 or fewer points
3. Gave Counterexample Applications: Used results to refute two conjectures about point-line incidences
4. Supplemented Elkies' 10-point Construction: Demonstrated a 10-point non-rational configuration instance in the appendix

Methodology Details

Task Definition

Given a point-line incidence structure, determine whether it admits a rational realization. Specifically, for point configurations with n≤8, prove that if a real coordinate realization exists, then a rational coordinate realization must also exist.

Proof Architecture

The proof employs case-by-case analysis based on the following core tools:

Kelly-Moser Theorem: In the Euclidean plane, among n points there are at least 3n/7 ordinary lines (lines containing exactly two points), unless all points are collinear.

Key Assumptions

The proof is based on three simplifying assumptions:

1. Assumption 1: Each point is incident to at least two collinear triples; otherwise, the point can be removed
2. Assumption 2: Each line contains at least two points of degree ≥3; otherwise, the line can be removed
3. Assumption 3: Utilize standardization techniques from projective transformations

Technical Innovations

Case Classification Strategy

1. First Case: n=8 with no four collinear points
   • Apply Kelly-Moser bound: at least 4 ordinary lines
   • Remaining 24 pairs of points form at most 8 collinear triples
   • Determine unique rational realization through degree analysis
2. Second Case: n=8 with collinear quadruples
   • Use projective transformation to map four points to standard positions
   • Prove remaining configuration has rational structure of axis-parallel squares
3. Third Case: n=7
   • Analyze Fano plane (no real realization) and other possible configurations
   • Prove all realizable configurations admit rational realizations
4. Fourth Case: n≤6
   • Direct application of preceding arguments

Projective Geometry Techniques

Simplify analysis using projective planes:

• Associate point (a,b) with homogeneous coordinates (wa,wb,w)
• Utilize projective transformation T preserving rationality and collinearity
• Standardize four-point positions to simplify calculations

Experimental Setup

Theoretical Verification Methods

Since this is pure mathematical proof, "experiments" primarily consist of:

1. Exhaustive Verification: Classify all possible small configurations through case analysis
2. Constructive Proof: Provide explicit rational coordinate constructions for each case
3. Counterexample Verification: Verify that the 9-point Perles configuration indeed lacks rational realization

Computational Verification

For Elkies' 10-point construction, the paper provides detailed algebraic calculations:

• Utilize elliptic curve y² = (x-1)·(x²-2a-3) + ((a+1)·x+1)²/4
• Prove that parametric equation solutions involve irrational numbers
• Verify that this configuration lacks rational realization

Experimental Results

Main Results

Theorem 2 (Grünbaum Conjecture): Any configuration of n≤8 points either cannot be realized with real coordinates or also admits a rational realization.

Specific Analysis Results

1. 8-point Case with No Four Collinear Points:
   • 7 collinear triples: unique configuration admits rational realization
   • 6 or fewer: violates assumption conditions
2. 8-point Case with Four Collinear Points:
   • Configuration corresponds to axis-parallel squares, admits rational realization
3. 7-point Case:
   • Fano plane: no real realization
   • 6 collinear triples: unique rational realization

Application Results

Used main results to refute two conjectures:

• Conjecture 2: Regarding upper bounds on incidences avoiding specific sub-configurations
• Conjecture 3: Regarding stronger bounds for such configurations

Reason: Integer grids provide rich incidence counterexamples, while all substructures possess rational coordinates.

Related Work

Historical Development

1. von Staudt (1857): Earliest projective arithmetic theory
2. MacLane (1936): 11-point √2 construction
3. Perles (1960s): 9-point minimal non-rational configuration
4. Strumfeld & White (1990): Rationality research on n₃ configurations

Modern Progress

1. Gropp (1997): Comprehensive survey of configuration realizations
2. Kocay (2021): Proved the 13₃ case
3. Richter-Gebert (1996): Non-rational polytope theory
4. Elkies (2021): 10-point non-four-collinear non-rational configuration

Positioning of This Work

This paper fills the gap in classification of configurations with 8 or fewer points, provides complete proof of the Grünbaum conjecture, and represents important theoretical progress in this field.

Conclusions and Discussion

Main Conclusions

1. Completely Resolved the Grünbaum Conjecture: Configurations with 8 or fewer points all admit rational realizations (if real realizations exist)
2. Confirmed Minimality of Perles Construction: 9 points is the minimal configuration requiring irrational coordinates
3. Provided Systematic Analysis Method: Establishes foundation for research on larger configurations

Limitations

1. Method Limitations: Case-by-case analysis is difficult to generalize to larger n values
2. Computational Complexity: For n≥9, exhaustive analysis becomes intractable
3. General Problems: General conjectures for n₃ configurations remain open

Future Directions

1. n₃ Configuration Conjecture: Prove all n₃ configurations admit rational realizations
2. Larger Configuration Analysis: Seek systematic construction methods for non-rational configurations with n≥10
3. Algorithmic Problems: Develop efficient algorithms for determining rationality of given configurations

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Thoroughly resolves a long-standing open problem
2. Systematic Methodology: Case classification covers all possible scenarios
3. Technical Excellence: Skillfully applies projective geometry and combinatorial arguments
4. Application Value: Results have important applications in incidence theory

Weaknesses

1. Method Specificity: Proof techniques are difficult to generalize to general cases
2. Computational Complexity: Analysis of certain cases is quite technical
3. Open Problems: More general configuration problems remain unresolved

Impact

1. Theoretical Contribution: Resolves a classical problem in combinatorial geometry
2. Methodological Value: Provides analytical framework for similar problems
3. Application Prospects: Broad applications in discrete geometry and incidence theory

Applicable Scenarios

1. Theoretical Research: Combinatorial geometry, discrete geometry theory
2. Computational Geometry: Algorithm design for point-line configurations
3. Algebraic Geometry: Research on rational point problems

References

The paper cites 24 important references, including:

• Grünbaum's classical works Convex Polytopes and Configurations of Points and Lines
• Kelly-Moser's classical results on ordinary lines
• Ziegler's survey article on non-rational configurations in Mathematical Intelligencer
• Recent related research such as work by Balko & Frankl

This paper represents an important theoretical contribution to combinatorial geometry, perfectly resolving a classical conjecture that has existed for decades, demonstrating profound mathematical depth and elegant proof techniques.