English
Related papers

Related papers: Lexicographic shellability, matroids and pure orde…

200 papers

We characterize 2-dimensional complexes associated canonically with basis graphs of matroids as simply connected triangle-square complexes satisfying some local conditions. This proves a version of a (disproved) conjecture by Stephen Maurer…

Combinatorics · Mathematics 2018-12-10 Jérémie Chalopin , Victor Chepoi , Damian Osajda

In this paper we prove that the Stanley--Reisner ideal or cover ideal $I$ of a matroid is minimally resolvable by iterated mapping cones. As a technical tool for this purpose, we introduce and study focal matroids, which are submatroids of…

Commutative Algebra · Mathematics 2026-03-25 Paolo Mantero , Vinh Nguyen

In this paper we consider monomial localizations of monomial ideals and conjecture that a monomial ideal is polymatroidal if and only if all its monomial localizations have a linear resolution. The conjecture is proved for squarefree…

Commutative Algebra · Mathematics 2012-06-15 Somayeh Bandari , Jürgen Herzog

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed…

Combinatorics · Mathematics 2024-04-17 Alan Yan

We show in this paper that the principal component of the first order jet scheme over the classical determinantal variety of m x n matrices of rank at most 1 is arithmetically Cohen-Macaulay, by showing that an associated Stanley-Reisner…

Commutative Algebra · Mathematics 2010-06-22 Boyan Jonov

Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular…

Combinatorics · Mathematics 2016-03-17 Benjamin Braun , Liam Solus

We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…

Formal Languages and Automata Theory · Computer Science 2025-02-03 Corentin Barloy , Michaël Cadilhac , Charles Paperman , Howard Straubing

Rota's basis conjecture, open since 1989, states that if B_1, B_2, ..., B_n are n bases of a vector space of rank n, then there is an nxn grid of vectors such that the vectors in the ith row are precisely the elements of B_i and such that…

Combinatorics · Mathematics 2008-09-09 Timothy Y. Chow

In 1991, Kahn made the following conjecture. For any $n$-dimensional vector space $V$ and any $n\times n$ array of $n^2$ bases of $V$, it is possible to choose a representative vector from each of these bases in such a way that the…

Combinatorics · Mathematics 2018-10-18 Matija Bucić , Matthew Kwan , Alexey Pokrovskiy , Benny Sudakov

In the matroid partitioning problem, we are given $k$ matroids $\mathcal{M}_1 = (V, \mathcal{I}_1), \dots , \mathcal{M}_k = (V, \mathcal{I}_k)$ defined over a common ground set $V$ of $n$ elements, and we need to find a partitionable set $S…

Data Structures and Algorithms · Computer Science 2023-12-04 Tatsuya Terao

Motivated by Keisler's order, a far-reaching program of understanding basic model-theoretic structure through the lens of regular ultrapowers, we prove that for a class of regular filters $D$ on $I$, $|I| = \lambda > \aleph_0$, the fact…

Logic · Mathematics 2012-08-29 M. Malliaris , S. Shelah

We investigate when the independence complex of $G[H]$, the lexicographical product of two graphs $G$ and $H$, is either vertex decomposable or shellable. As an application, we construct an infinite family of graphs with the property that…

Combinatorics · Mathematics 2015-05-13 Kevin N. Vander Meulen , Adam Van Tuyl

For a finite multigraph G, the reliability function of G is the probability R_G(q) that if each edge of G is deleted independantly with probability q then the remaining edges of G induce a connected spanning subgraph of G; this is a…

Combinatorics · Mathematics 2007-05-23 David G. Wagner

Let $K$ be a field, $R=K[X_1, ..., X_n]$ be the polynomial ring and $J \subsetneq I$ two monomial ideals in $R$. In this paper we show that $\mathrm{sdepth}\ {I/J} - \mathrm{depth}\ {I/J} = \mathrm{sdepth}\ {I^p/J^p}-\mathrm{depth}\…

Commutative Algebra · Mathematics 2014-09-25 Bogdan Ichim , Lukas Katthän , Julio José Moyano-Fernández

The Chow ring of a matroid (or more generally, atomic latice) is an invariant whose importance was demonstrated by Adiprasito, Huh and Katz, who used it to resolve the long-standing Heron-Rota-Welsh conjecture. Here, we make a detailed…

Combinatorics · Mathematics 2023-11-16 Thomas Hameister , Sujit Rao , Connor Simpson

Consider a matroid where all elements are labeled with an element in $\mathbb{Z}$. We are interested in finding a base where the sum of the labels is congruent to $g \pmod m$. We show that this problem can be solved in $\tilde{O}(2^{4m} n…

Combinatorics · Mathematics 2024-03-22 Siyue Liu , Chao Xu

We show that the matroid secretary problem is equivalent to correlated contention resolution in the online random-order model. Specifically, the matroid secretary conjecture is true if and only if every matroid admits an online random-order…

Data Structures and Algorithms · Computer Science 2022-01-04 Shaddin Dughmi

We study the algebraic matroid induced by the ideal of (r+1)-minors of a matrix of variables over a field. This is inherently connected to the bounded-rank matrix completion problem, in which the aim is to complete a partially observed rank…

Commutative Algebra · Mathematics 2026-01-09 Lisa Nicklasson , Manolis C. Tsakiris

Let $S$ be a polynomial algebra over a field. We study classes of monomial ideals (as for example lexsegment ideals) of $S$ having minimal depth. In particular, Stanley's conjecture holds for these ideals. Also we show that if Stanley's…

Commutative Algebra · Mathematics 2012-03-16 Muhammad Ishaq

We show that the irreducible variety of 4 x 4 x 4 complex valued tensors of border rank at most 4 is the zero set of polynomial equations of degree 5 (the Strassen commutative conditions), of degree 6 (the Landsberg-Manivel polynomials),…

Algebraic Geometry · Mathematics 2011-05-02 Shmuel Friedland , Elizabeth Gross