matroid ↗ reference
2234 papers tagged with this keyword
Strong Lefschetz property of the Kirchhoff algebra of the complete tripartite graph $K_{1,1,n}$
By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.
Inverse Kazhdan-Lusztig polynomials of matroids under deletion
We provide a deletion formula for the inverse Kazhdan--Lusztig polynomial and the inverse $Z$-polynomial of a matroid. Our formulas provide analogues to the deletion formulas of Braden--Vysogorets for Kazhdan--Lusztig and $Z$-polynomials. We discuss several consequences, which include closed formulas and recursions for these invariants on uniform matroids, projective geometries, glued cycles, and arbitrary matroids of corank $2$. As a relevant application of our deletion formula, we show the existence of a matroid of rank $19$ which disproves a conjecture of Xie and Zhang concerning a real-rootedness property of inverse Kazhdan--Lusztig polynomials.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of a certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ``elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ``fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ``higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.
The appendices include modern language translations of Tutte's proofs of the path theorem and the homotopy theorem (the latter is a contribution by Juš Kocutar).
Syzygy and Adjoint Matroids
We give a matroid-theoretic analogue of Gaussian elimination and use it to construct, for every matroid M, the syzygy matroid Syz(M) on the collection of circuits of M. Dualizing the construction yields the combinatorial adjoint Adj(M) on the collection of maximal proper flats of M, and the two are related by Adj(M) \simeq Syz(M*). Neither construction depends on a realization. We determine Syz(M) when M is U_{k,k+3} or the Vamos matroid V_{8}. We also show that Adj(M) is an adjoint of M when M has rank 3. When M has rank 4 and V_{8} is a restriction of M, Adj(M) has rank 3 and is not an adjoint of M.
On $k$-connected Sets in Matroids
In 1966, Tutte defined $k$-connected matroids for each $k \ge 2$. Robertson and Seymour built on Tutte's idea to define tangles as a way to identify highly connected parts of a matroid. Motivated by tangles, a set $Z$ in a matroid $M$ has been defined to be $3$-connected if, for each $j$ in $\{1,2\}$, there is no $j$-separation $(X,Y)$ of $M$ such that each of $|Z \cap X|$ and $|Z \cap Y|$ is at least $j$. This paper solves a problem of Whittle for $k= 3$ by proving that a minor-minimal matroid having $Z$ as a $3$-connected set has at most $3|Z| - 4$ elements. We also identify the matroids for which this bound is attained.
A weighted inequality for matroid flats and log-concavity of Whitney numbers
Using the Hodge-Riemann relations for matroid Chow rings, we establish a weighted inequality for flats of a loopless matroid. As applications, we prove the points-lines-planes conjecture and Brylawski's conjecture on the ultra-log-concavity of Whitney numbers of the first kind. We also characterize the cases of equality in both inequalities.
Topological degree of fewnomial maps
We study the topological degree on the positive orthant of a map $F:\mathbb{R}^n_{>0}\to\mathbb{R}^n$ whose components are real polynomials, possibly with real exponents, with the same support $\mathcal{A}$ of $N=n+k+1$ monomials. This degree is well defined under a half-space condition on the columns of the coefficient matrix indexed by the faces of the Newton polytope, which holds for generic exponents and coefficients. We give three formulas for it, all in terms of signs of maximal minors. The first one is a Viro formula: the degree is a signed count of the simplices of a regular triangulation of $\mathcal{A}$ which are positively decorated in the sense of Bihan, Santos and Spaenlehauer. The second one is a sum over the facets of the Newton polytope, and the third one a sum over the vertices of the polyhedron of the Gale dual system. As a consequence, the degree only depends on the oriented matroids of the exponent and coefficient matrices restricted to the vertices of the Newton polytope. We also obtain a Descartes rule of signs for the degree and, in the generic case, the upper bound $|°F|<\frac12\min(M(n,N),M(k,N))$, where $M(d,N)$ is the largest number of facets of a $d$-polytope with $N$ vertices. This bound is sharp when $n=2$ or $k=2$. Using the H-duality of Bihan, Dickenstein and Forsgård, we show that the set of possible degrees is symmetric in $n$ and $k$. Since a nonzero degree forces a positive zero, our formulas give sign conditions for the existence of positive solutions, as well as parity statements for their number.
A Matroidal Framework for Random Access in Linear Codes
We study random access in linear codes when codeword symbols are sampled independently and uniformly with replacement. A code is recovery balanced if the expected number of samples required to recover a codeword coordinate is the same for every coordinate. We express the recovery expectations in terms of the associated matroid and derive a coordinatewise identity relating these values for a code and its dual. This proves that a linear code is recovery balanced if and only if its dual is recovery balanced, establishing a conjecture of Gruica et al. We further define the recovery balance for arbitrary matroids and show that asymptotically almost every sparse paving matroid is not recovery balanced.
Almost entropic matroids and $(k,L)$-systems
For an integer $k$ and a set of integers $L$, a $(k,L)$-system is a family of $k$-element sets such that the size of the intersection of any two distinct members belongs to $L$. Let $m(n,k,L)$ denote the maximum size of a $(k,L)$-system on a ground set of $n$ elements.
In this work, we establish a close connection between the asymptotic growth of $m(n,k,L)$ and almost entropic matroids. As a consequence, we obtain a general computable upper bound on the asymptotics of $m(n,k,L)$ that unifies and strengthens all previously known upper bounds.
On minimum-size matroid counterexamples to the multiplicative Merino--Welsh inequality
Let $M$ be a matroid and let $\Tutte_M(x,y)$ be its Tutte polynomial. The multiplicative Merino--Welsh inequality \[ \Tutte_M(2,0)\Tutte_M(0,2)\geq \Tutte_M(1,1)^2 \] was proved to be false for matroids by Beke, Csáji, Csikvári, and Pituk (\emph{Adv. Math.} \textbf{446} (2024), 109674). Let $U_{n,r}$ denote the rank-$r$ uniform matroid on $n$ elements, where $0<r<n$, and let $U_{n,r}^{(q)}$ denote the matroid obtained by replacing each element of $U_{n,r}$ with $q$ parallel copies. They constructed an infinite family of counterexamples of the form $U_{n,r}^{(2)}$, including $U_{33,22}^{(2)}$. In this paper, we prove that every $U_{n,r}^{(q)}$ with $q\geq3$ satisfies the inequality. For $q=2$, we prove that the minimum number of elements in such a counterexample is $62$, attained by $U_{31,21}^{(2)}$. For loopless and bridgeless graphs, Noble and Royle (\emph{Eur. J. Comb.} \textbf{38} (2014), 24--35) showed that every edge of a minimum-size counterexample to the multiplicative Merino--Welsh conjecture lies in a series or parallel class of size two or three. For matroids, we further prove that every element of a minimum-size loopless and coloopless counterexample lies in exactly one series or parallel class of size two.
On Hankel Determinantal Matroids
We initiate a study of the algebraic matroid associated to the ideal generated by the $(r+1)$-minors of a Hankel matrix of variables. We prove that this matroid is uniform, that is, a coordinate projection from the corresponding Hankel determinantal variety is generically finite if and only if it preserves at least $2r$ anti-diagonals. For such projections, we establish bounds on the degree. These results are of significance to the problem of Hankel low-rank matrix completion.
Terao's freeness conjecture for arrangements of 15 and 16 lines
We prove that Terao's freeness conjecture holds for arrangements of 15 and of 16 lines in the complex projective plane. Together with the theorem of Barakat and Kühne for at most 14 hyperplanes, this shows that freeness of a central arrangement of at most 16 planes in $\mathbb{C}^3$ is determined by its intersection lattice. The proof has a theoretical and a computational part. Combining published combinatorial criteria for freeness (due to Abe, Dimca, Dimca-Kühne-Pokora and Yoshinaga) with Bojanowski's Hirzebruch-type inequality and an elementary counting identity, we show that a counterexample would have exponents $(6,8)$ or $(7,7)$ for 15 lines and $(7,8)$ for 16 lines, and an intersection lattice subject to strong numerical constraints. We then enumerate all 22,544,280 simple rank 3 matroids satisfying these constraints, up to isomorphism, and determine the complex realization space of each of them exactly over $\mathbb{Q}$. Exactly eleven of them are realizable over $\mathbb{C}$, and on each of these the freeness of the realizations is constant. As a by-product we classify the free arrangements of 15 and 16 lines that are not divisionally free, have maximal multiplicity smaller than the smaller nontrivial exponent, and have at least four intersection points on every line.
A rank bound for bases and circuits in binary matroids
Let \(b(M)\), \(d(M)\), and \(r(M)\) denote the number of bases, the number of circuits, and the rank of a matroid \(M\), respectively. We prove that every nonempty simple binary matroid with no coloops satisfies \[
2b(M)\ge(r(M)+1)d(M), \] with equality if and only if \(M\) is isomorphic to the Fano matroid. This confirms a conjecture recorded by Oxley in 1983. For the same class, we prove that deleting any element leaves at least as many bases as there are circuits in the original matroid: \(b(M\backslash e)\ge d(M)\) for every \(e\in E(M)\). We determine all equality cases and deduce a sharp linear lower bound for basis growth under successive series extensions. We also give a circuit-size exclusion condition guaranteeing distinct bases containing \(C-e\) for circuit-element pairs \((C,e)\) with prescribed circuit sizes.
Cotangent cohomology and higher-order obstructions of matroids
Matroid Stanley-Reisner rings admit essential deformation obstructions of arbitrarily high order over every field, already at corank three. For each $m\ge3$, we construct a connected cosimple matroid and $m$ fine-homogeneous first-order classes whose proper subcollections integrate jointly and whose pairwise primary cup products vanish. A specified joint $(m-1)$-jet nevertheless has no lift to order $m$, even without preserving the grading. The construction rests on formulas for every multigraded component of the second cotangent cohomology $T^2$ and of its primary cup image, expressed through flats and parallel classes of the dual matroid. These formulas show that $T^2$ vanishes exactly when every connected component has corank at most two, or equivalently when there is no $U_{1,4}$-minor. This proves a conjecture of Constantinescu, Klein, Nguyen, Singh, and Venturello (2025) and characterizes formal smoothness of the affine deformation functor. For the duals of rank-three truncations of $U_{2,m}\oplus U_{2,n}$, $m,n\ge3$, each nonzero homogeneous class modulo the primary cup image is realized as a higher-order obstruction, and the quotient has an explicit presentation with $m+n-2$ minimal homogeneous generators.
Counterexamples to Two Conjectures on Tangles in Matroid Minors
We give counterexamples to two conjectures of Brettell, Jowett, Oxley, Semple, and Whittle concerning tangles in matroid minors. We construct a matroid $P_0$ with a tangle $\mathcal T$ of order seven. For each $i\in\{4,5,6,7\}$, let $\mathcal T_i$ denote its order-$i$ truncation. No proper minor $N$ of $P_0$ admits, for every such $i$, a tangle of order $i$ whose breadth equals that of $\mathcal T_i$, and $P_0$ is not weakly $4$-connected. We also construct a matroid $P_1$ with a tangle of order four and breadth six, but no internally $4$-connected minor of $P_1$ admits a tangle of order four.
Ehrhart positivity for paving positroids
A central conjecture of Ferroni, Jochemko, and Schröter posits that every positroid is Ehrhart positive. While Ehrhart positivity has recently been verified for notable classes such as lattice path matroids and series-parallel matroids, the general conjecture remains open. In this paper, we prove that the base polytope of any paving positroid has positive Ehrhart coefficients. This establishes a new class of Ehrhart positive positroids and provides substantial evidence supporting this conjecture.
Euclidean Distance Optimization Within the Grassmannian
Given a subvariety of the Grassmannian and a data point, we seek to find a point on the subvariety minimizing the Euclidean distance to the data point. The number of complex critical points of this optimization problem is the Euclidean distance (ED) degree. We show that the ED discriminant of the whole Grassmannian, that is, the set of data points with a number of critical points different than the ED degree, is the discriminant of the characteristic polynomial of the data as a projection matrix. Another closely connected algebraic complexity measure for a subvariety in the Grassmannian is the Grassmann distance (GD) degree, which is the number of complex critical points of the distance optimization problem when the data point itself is in the Grassmannian. We give formulae for ED and GD degrees of geometrically meaningful subvarieties of the Grassmannian, namely, products of smaller Grassmannians, matroid realization varieties, and Schubert varieties.
On the tangent bundle and the divisor theory of a general matroid
Published in Int. Math. Res. Not. IMRN, 2026, no. 17, rnag188
• View Publication
• BIB
Extending classical algebro-geometric constructions to arbitrary matroids, we construct a $K$-class $T_M\in K(M)$ for every loopless matroid $M$. When $M$ is realizable by a linear subspace $L$, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ (one combinatorial and one geometric) and show that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. To develop a positivity theory entirely at the combinatorial level, we introduce the notion of a "fake effective cone", a combinatorial analogue of the classical effective cone, and use it to characterize big and nef divisors in $A(M)$. Finally, we define the $β_S$ classes, obtained from Cremona conjugates of the classical $α_S$ classes, and study their properties to provide a rich and computable family of combinatorially nef divisors.
Unavoidable flats in GF(q)-representable matroids
We show that, for any finite field $\mathbb{F}$ and positive integer $k$, a simple $\mathbb{F}$-representable matroid $M$ with sufficiently high rank contains a rank-$k$ flat which is either independent in $M$, or is a projective or affine geometry over a subfield of $\mathbb{F}$. This generalizes a result for matroids representable over prime fields due to the first two authors. As a corollary, we obtain a Ramsey theorem for matroids representable over a finite field $\mathbb{F}$. For an integer $k$, in any $2$-colouring of the points of an $\mathbb{F}$-representable matroid of sufficiently high rank, there is a monochromatic rank-$k$ flat.
Orlik-Solomon algebras determine the Tutte polynomials of matroids of rank at most three
Let $\mathcal{M}$ be a simple matroid of rank $r$ on the ground set $[n]=\{1,\ldots,n\}$, let $T_{\mathcal{M}}(x,y)$ denote its Tutte polynomial, and let $\mathrm{OS}(\mathcal{M})$ denote its Orlik-Solomon $\mathbb{C}$-algebra. We say that $\mathrm{OS}(\mathcal{M})$ determines $T_{\mathcal{M}}(x,y)$ if, for every simple matroid $\mathcal{N}$, an isomorphism $\mathrm{OS}(\mathcal{M})\cong\mathrm{OS}(\mathcal{N})$ of $\mathbb{C}$-algebras, without regard to the grading, implies $T_{\mathcal{M}}(x,y)=T_{\mathcal{N}}(x,y)$. Falk conjectured that the Orlik-Solomon $\mathbb{C}$-algebra of every simple matroid of rank three determines its Tutte polynomial. We prove that this holds for every simple matroid of rank at most three, thereby resolving Falk's conjecture.