Characterizing real-representable matroids with large average hyperplane-size

Rutger Campbell,Matthew E. Kroeker,Ben Lund
2024-10-08
Abstract:Generalizing a theorem of the first two authors and Geelen for planes, we show that, for a real-representable matroid $M$, either the average hyperplane-size in $M$ is at most a constant depending only on its rank, or each hyperplane of $M$ contains one of a set of at most $r(M)-2$ lines. Additionally, in the latter case, the ground set of $M$ has a partition $(E_{1}, E_{2})$, where $E_{1}$ can be covered by few flats of relatively low rank and $|E_{2}|$ is bounded. Finally, we formulate a high-dimensional generalization of a classic problem of Motzkin, Grünbaum, Erdős and Purdy on sets of red and blue points in the plane with no monochromatic blue line. We show that the solution to this problem gives a tight upper bound on $|E_{2}|$. We also discuss this high-dimensional problem in its own right, and prove some initial results.
Combinatorics
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the characteristics of the average hyperplane size in real - representable matroids. Specifically, the paper aims to comprehensively characterize real - representable matroids with an average hyperplane size of an absolute constant level and explore the structural characteristics that may occur in these matroids. ### Main problems of the paper 1. **Conditions for large average hyperplane size** - In a real - representable matroid \(M\), if its average hyperplane size exceeds a certain absolute constant, are there certain sets of lines (at most \(r(M)- 2\) lines) such that each hyperplane contains one of these lines? - If the above condition holds, can a structural description be made for such matroids? 2. **High - dimensional generalization of the Motzkin - Grümbaum - Erdős - Purdy problem** - Given a set of red points and blue points, how to ensure the relationship between the number of blue points and the number of red points in the absence of monochromatic blue lines? The paper generalizes this to the configuration problem of blue hyperplanes and red points in high - dimensional space. 3. **Upper and lower bound estimates of \(b_{k}(t)\)** - Define \(b_{k}(t)\) as the maximum number of blue points satisfying certain conditions, and study its relationship with the parameter \(t\). Specifically, it is proved that \(b_{k}(t)=\Theta_{k}(t)\), that is, \(b_{k}(t)\) depends linearly on \(t\). 4. **Hyperplane counting problem** - In the case where condition (2) is not satisfied, how to derive the upper bound of the average hyperplane size by calculating the number of hyperplanes? The paper uses tools such as stratification and principal truncation. --- ### Formula summary #### 1. Conditions for average hyperplane size For a real - representable matroid \(M\) of rank \(k + 1\): - If the average hyperplane size is bounded by a constant depending only on \(k\), then the structure of \(M\) is degenerate; - Otherwise, there are at most \(k-1\) lines \(L_{1},L_{2},\cdots,L_{t}\) such that each hyperplane contains one of these lines. Formula representation: $$ \text{If }\frac{1}{|H|}\sum_{H\in\mathcal{H}(M)}|H|>C_{k},\text{ then there exist }L_{1},L_{2},\cdots,L_{t}\text{ satisfying the condition}. $$ #### 2. Definition of \(b_{k}(t)\) $$ b_{k}(t)=\max\{n:\exists\text{ a simple real - representable matroid }M\text{ of rank }k + 1\text{ satisfying conditions (C1), (C2), (C3)}\}. $$ #### 3. Lower bound of hyperplane counting For a simple real - representable matroid \(M\) of rank \(k + 1\), if \(n-|X_{k}|>b_{k - 2}(k)\), then the number of hyperplanes is at least: $$ \rho_{k}\prod_{i = 2}^{k}(n-|X_{i}|), $$ where \(\rho_{k}>0\) is a constant. --- ### Overview of solutions 1. **Construction of the Motzkin - Grümbaum - Erdős - Purdy problem** - A specific construction is provided, showing the lower bound of \(b_{k}(t)\geq\binom{k + 2}{2}-2\). - Geometric methods are used to verify conditions (C1), (C2), (C3). 2. **Principal truncation technique** - The problem of matroid \(M\) is transformed into its principal - truncated matroid \(M'\), so that the inductive hypothesis can be applied recursively. 3. **Stratified analysis** - The concept of \(k\)-stratification is introduced, and the ground set of the matroid is divided into multiple degenerate subsets, gradually.