On Combinatorial Properties of Points and Polynomial Curves

TL;DR

This paper introduces degree-k oriented matroids to characterize the combinatorial properties of point set partitions in the plane by polynomial graphs, extending the classical oriented matroid theory.

Contribution

It defines degree-k oriented matroids and proves they fully characterize partitions from polynomial graphs, linking them to signotopes and hyperplane arrangements.

Findings

Degree-k oriented matroids characterize polynomial graph partitions.

Equivalence between degree-k oriented matroids and (k+2)-signotopes.

Provides geometric interpretation for signotopes and hyperplane arrangements.

Abstract

Many combinatorial properties of a point set in the plane are determined by the set of possible partitions of the point set by a line. Their essential combinatorial properties are well captured by the axioms of oriented matroids. In fact, Goodman and Pollack (Journal of Combinatorial Theory, Series A, Volume 37, pp. 257-293, 1984) proved that the axioms of oriented matroids of rank $3$ completely characterize the sets of possible partitions arising from a natural topological generalization of configurations of points and lines. In this paper, we introduce a new class of oriented matroids, called degree-$k$ oriented matroids, which captures essential combinatorial properties of the possible partitions of point sets in the plane by the graphs of polynomial functions of degree $k$. We prove that the axiom of degree-$k$ oriented matroids completely characterizes the sets of possible partitions arising from a natural topological generalization of configurations formed by points and the graphs of polynomial functions degree $k$. It turns out that the axiom of degree-$k$ oriented matroids coincides with the axiom of ($k+2$)-signotopes, which was introduced by Felsner and Weil (Discrete Applied Mathematics, Volume 109, pp. 67-94, 2001) in a completely different context. Our result gives a two-dimensional geometric interpretation for ($k+2$)-signotopes and also for single element extensions of cyclic hyperplane arrangements in $\mathbb{R}^{n-k-3}$.