Table of Contents
Fetching ...

Everywhere unbalanced configurations

David Conlon, Jeck Lim

TL;DR

The paper studies a variant of Kupitz's problem on line-induced partitions, showing that one can force large imbalance using pseudolines by constructing generalised configurations with $n$ points where every pseudoline through a pair of points yields an imbalance of at least $k$, for any fixed $k$. It introduces a robust combinatorial toolkit—centred sequences, flips, blocks, shifting, and reflection—and a recursive step that amplifies a balance parameter $r$ via indicial sequences $(\alpha_i)$ and $(\beta_i)$. This yields a constructive pipeline that produces generalised configurations realizable as allowable sequences with $n \le 2^{2^{c k}}$ points, and hence tight up to a constant in the Pinchasi bound. The work also discusses stretchability and higher-dimensional analogues, highlighting open questions about realizability by straight lines and potential extensions.

Abstract

An old problem in discrete geometry, originating with Kupitz, asks whether there is a fixed natural number $k$ such that every finite set of points in the plane has a line through at least two of its points where the number of points on either side of this line differ by at most $k$. We give a negative answer to a natural variant of this problem, showing that for every natural number $k$ there exists a finite set of points in the plane together with a pseudoline arrangement such that each pseudoline contains at least two points and there is a pseudoline through any pair of points where the number of points on either side of each pseudoline differ by at least $k$. Moreover, we may find such a configuration with at most $2^{2^{ck}}$ points, which, by a result of Pinchasi, is best possible up to the value of the constant $c$.

Everywhere unbalanced configurations

TL;DR

The paper studies a variant of Kupitz's problem on line-induced partitions, showing that one can force large imbalance using pseudolines by constructing generalised configurations with points where every pseudoline through a pair of points yields an imbalance of at least , for any fixed . It introduces a robust combinatorial toolkit—centred sequences, flips, blocks, shifting, and reflection—and a recursive step that amplifies a balance parameter via indicial sequences and . This yields a constructive pipeline that produces generalised configurations realizable as allowable sequences with points, and hence tight up to a constant in the Pinchasi bound. The work also discusses stretchability and higher-dimensional analogues, highlighting open questions about realizability by straight lines and potential extensions.

Abstract

An old problem in discrete geometry, originating with Kupitz, asks whether there is a fixed natural number such that every finite set of points in the plane has a line through at least two of its points where the number of points on either side of this line differ by at most . We give a negative answer to a natural variant of this problem, showing that for every natural number there exists a finite set of points in the plane together with a pseudoline arrangement such that each pseudoline contains at least two points and there is a pseudoline through any pair of points where the number of points on either side of each pseudoline differ by at least . Moreover, we may find such a configuration with at most points, which, by a result of Pinchasi, is best possible up to the value of the constant .
Paper Structure (5 sections, 7 theorems, 38 equations, 24 figures)

This paper contains 5 sections, 7 theorems, 38 equations, 24 figures.

Key Result

Theorem 1.1

There exists an absolute constant $C$ such that every generalised configuration with $n$ points contains a pseudoline where the number of points on either side of the pseudoline differ by at most $C \log \log n$.

Figures (24)

  • Figure 1: A set of 23 points where the number of points on either side of each line determined by the set differ by at least two.
  • Figure 2: A graphical depiction of Lemma \ref{['lem:shift']}, Shifting.
  • Figure 3: Proof of Lemma \ref{['lem:shift']}, part 1.
  • Figure 4: Proof of Lemma \ref{['lem:shift']}, part 2.
  • Figure 5: Proof of Lemma \ref{['lem:shift']}, part 3.
  • ...and 19 more figures

Theorems & Definitions (21)

  • Theorem 1.1: Pinchasi
  • Theorem 1.2
  • Theorem 1.3
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Definition 2.5
  • Lemma 2.6: Shifting
  • proof
  • ...and 11 more