Arrangement of Pseudolines¶
A finite family of line-like curves crosses pairwise exactly once, preserving line-arrangement combinatorics without requiring straight-line realization.
Core Idea¶
An arrangement of pseudolines is a finite family of line-like curves in a declared projective-plane model, each distinct pair crossing exactly once. It retains the crossing combinatorics of line arrangements without requiring the curves to be straight. Ringel's simple nine-pseudoline non-Pappus type is a documented non-stretchable case: valid pseudoline incidences need not admit straight-line realization.[ref-b492ae8f7b89][ref-053c61a99c68]
Scope of Application¶
Discrete geometers study incidence, cell structure and stretchability through these arrangements. In the simple case, where no three curves share a crossing, a generic wiring view records crossing events as adjacent swaps. Dumitrescu and Mandal's four-wire Figure 2 sequence is \(1234\to2134\to2314\to3214\to3241\to3421\to4321\): its swaps cross pairs \(12,13,23,14,24,34\), all six unordered pairs exactly once.[^ref-d92ae86ca78f] Rank-three oriented-matroid representations are related under formal equivalence conventions, not literal object identity.[^ref-fad4ca205c6a]
Clarity¶
Simple is not the default for every arrangement. A triple crossing cannot be encoded as one ordinary adjacent swap without a special event or perturbation convention. Two curves crossing twice are a near miss even if they look line-like. An arrangement of actual lines is a stretchable subset, not a strict parent of the non-stretchable cases.[ref-b492ae8f7b89][ref-d92ae86ca78f]
Manages Complexity¶
The concept keeps pairwise crossing order while discarding irrelevant coordinates and bends. Topological generality admits non-stretchable types but loses immediate slope and metric tools; requiring straightness recovers those tools but excludes such valid types. A simple-sweep word makes pair crossings countable, while preserving a genuine triple meeting requires a less convenient multiple-event representation.
Abstract Reasoning¶
Specify the ambient model, verify one transverse crossing per pair, record any multiple meetings, and choose an encoding appropriate to the simplicity convention. Ask separately whether straight-line realization is required; a topologically valid drawing does not establish stretchability.
Knowledge Transfer¶
Combinatorial crossing arguments can move between line and pseudoline arrangements when their premises survive. Metric or coordinate conclusions must be proved anew. This remains a domain-specific geometric identity, not a portable prime for any pairwise interactions; Arrangement of Hyperplanes is a straight-carrier neighbor, not a parent containing Ringel's type. A drawing and a rank-three oriented matroid are related through specified representation conventions, not literal object equality.[^ref-fad4ca205c6a]
[^ref-b492ae8f7b89]: Felsner, Pilz and Schnider, “Arrangements of Approaching Pseudo-Lines,” Discrete & Computational Geometry 67 (2022): 380–402, projective/affine conventions, simplicity and stretchability. [^ref-d92ae86ca78f]: Dumitrescu and Mandal, “New Lower Bounds for the Number of Pseudoline Arrangements,” Journal of Computational Geometry 11 (2020): 60–92, Figure 2 wiring sequence. [^ref-053c61a99c68]: Cardinal, Chan, Iacono, Langerman and Ooms, “Subquadratic Encodings for Point Configurations,” Journal of Computational Geometry 10(2) (2019): 99–126, p. 100 on Levi's configuration and Ringel's simple conversion. [^ref-fad4ca205c6a]: Folkman and Lawrence, “Oriented Matroids,” Journal of Combinatorial Theory, Series B (1978), original topological representation result.
Neighborhood in Abstraction Space¶
Arrangement of Pseudolines sits in a sparse region of the domain-specific corpus (86th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Graph Structures & Combinatorial Objects (44 abstractions)
Nearest neighbors
- Planarity — 0.83
- RAC drawing — 0.82
- Desargues's Theorem — 0.82
- Simple homotopy theory — 0.81
- Aztec Diamond — 0.80
Computed from structural-signature embeddings · 2026-10-08