New bounds on the existence of (n5) and (n6) configurations: the Gr\"unbaum Calculus revisited
Abstract
The "Gr\"unbaum Incidence Calculus" is the common name of a collection of operations introduced by Branko Gr\"unbaum to produce new (n4) configurations from various input configurations. In a previous paper, we generalized two of these operations to produce operations on arbitrary (nk) configurations, and we showed that for each k, there exists an integer Nk such that for all n ≥ Nk, there exists at least one (nk) configuration, with current records N5≤ 576 and N6≤ 7350. In this paper, we further extend the Gr\"unbaum calculus; using these operations, as well as a collection of previously known and novel ad hoc constructions, we refine the bounds for k = 5 and k = 6. Namely, we show that N5 ≤ 166 and N6≤ 585.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.