English
Related papers

Related papers: An independent set axiomatization for symplectic m…

200 papers

The separation theorem of Kirchberger can be proven using a combination of Farkas' Lemma and Caratheodory's Theorem. Since those theorems are at the heart of oriented matroids, we are interested in a generalization of Kirchberger's Theorem…

Combinatorics · Mathematics 2022-07-29 Winfried Hochstättler , Sophia Keip , Kolja Knauer

A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of…

Combinatorics · Mathematics 2023-10-26 Arnau Padrol , Eva Philippe

Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters…

Combinatorics · Mathematics 2013-08-20 Gérard H. E. Duchamp , Nguyen Hoang-Nghia , Thomas Krajewski , Adrian Tanasa

We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity…

Combinatorics · Mathematics 2025-08-19 Jialong Cheng , Meera Sitharam , Ileana Streinu , William Sims

Rough sets are efficient for data pre-processing in data mining. As a generalization of the linear independence in vector spaces, matroids provide well-established platforms for greedy algorithms. In this paper, we apply rough sets to…

Artificial Intelligence · Computer Science 2012-09-26 Jingqian Wang , William Zhu

There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the…

Combinatorics · Mathematics 2007-05-23 Edward Swartz

We prove a KKM-type theorem for matroid colored families of set coverings of a polytope. This generalizes Gale's colorful KKM theorem as well as recent sparse-colorful variants by Sober\'on, and McGinnis and Zerbib.

Combinatorics · Mathematics 2024-11-01 Daniel McGinnis

We give a correspondence between simple matroids and a reconstruction of Alfred North Whitehead's theory of dimension, as developed in "On Mathematical Concepts of the Material World" (1906). In brief, if a geometrical system in the…

Combinatorics · Mathematics 2026-04-28 Thomas Hales

Antimatroids were discovered by Dilworth in the context of lattices [4] and introduced by Edelman and Jamison as convex geometries in[5]. The author of the current paper independently discovered (possibly infinite) antimatroids in the…

Combinatorics · Mathematics 2012-01-17 Christian Joseph Altomare

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of…

Algebraic Geometry · Mathematics 2007-05-23 Prakash Belkale , Patrick Brosnan

The basic distinction between already known algorithmic characterizations of matroids and antimatroids is in the fact that for antimatroids the ordering of elements is of great importance. While antimatroids can also be characterized as set…

Combinatorics · Mathematics 2007-05-23 Yulia Kempner , Vadim E. Levit

Using Cohen's classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group are themselves symplectic reflection groups. This is the symplectic…

Group Theory · Mathematics 2022-12-05 Gwyn Bellamy , Johannes Schmitt , Ulrich Thiel

We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that…

Combinatorics · Mathematics 2024-09-04 Federico Castillo , Jeremy L. Martin , Jose A. Samper

A matroid is Ingleton if all quadruples of subsets of its ground set satisfy Ingleton's inequality. In particular, representable matroids are Ingleton. We show that the number of Ingleton matroids on ground set $[n]$ is doubly exponential…

Combinatorics · Mathematics 2017-10-06 Peter Nelson , Jorn van der Pol

We characterize the class of threshold matroids by the structure of their defining bases. We also give an example of a shifted matroid which is not threshold, answering a question of Deza and Onn. We conclude by exploring consequences of…

Combinatorics · Mathematics 2025-09-01 Ethan Partida

Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path…

Combinatorics · Mathematics 2022-09-27 Hiranya Kishore Dey , Brahadeesh Sankarnarayanan , S. Venkitesh

A classification of discrete polymatroids whose independence polytopes are reflexive will be presented.

Combinatorics · Mathematics 2023-02-27 Jürgen Herzog , Takayuki Hibi

We give a new proof of the fact that the complement of the complexification of a real hyperplane arrangement is homotopy equivalent to the Salvetti complex of the associated oriented matroid. Our proof involves no choices, is relatively…

Combinatorics · Mathematics 2025-07-10 Galen Dorpalen-Barry , Dan Dugger , Nicholas Proudfoot

Ehrhart theory measures a polytope P discretely by counting the lattice points inside its dilates P, 2P, 3P, .... We compute the Ehrhart quasipolynomials of the standard Coxeter permutahedra for the classical Coxeter groups, expressing them…

Combinatorics · Mathematics 2021-12-21 Federico Ardila , Matthias Beck , Jodi McWhirter

A matroid $M$ is an ordered pair $(E,I)$, where $E$ is a finite set called the ground set and a collection $I\subset 2^{E}$ called the independent sets which satisfy the conditions: (i) $\emptyset \in I$, (ii) $I'\subset I \in I$ implies…

Computational Complexity · Computer Science 2024-08-21 Eun Jung Kim , Arnaud de Mesmay , Tillmann Miltzow