arXiv++ Combinatorics

Skew-representable matroids form a fundamental class in matroid theory, bridging combinatorics and linear algebra. They play an important role in areas such as coding theory, optimization, and combinatorial geometry, where linear structure is crucial for both theoretical insights and algorithmic applications. Since skew-representability is undecidable even for rank-3 matroids, structural characterizations and explicit certificates of non-skew-representability are particularly interesting. In this paper, we introduce an approach to studying skew-representability and structural properties of matroids and polymatroid functions via tensor products. We characterize skew-representable matroids, as well as matroids representable over skew fields of a prescribed characteristic, in terms of iterated tensor products. In particular, a connected matroid is non-skew-representable if and only if, for some positive integer $k$, no $k$-fold iterated tensor product with $U_{2,3}$ exists. Thus, non-skew-representability admits a finite, computably verifiable matroid-theoretic obstruction; an analogous statement holds when the characteristic is prescribed. We also prove that every rank-3 matroid admits a tensor product with every uniform matroid and give a construction yielding the unique freest tensor product in this setting. Finally, as an application of the tensor product framework, we give a new proof of Ingleton's inequality and, more importantly, derive the first known linear rank inequality for folded skew-representable matroids that does not follow from the common information property.

The Tutte polynomial is a bivariate polynomial that has been extensively studied in graph and matroid theory. Gordon was the first to study the Tutte polynomial $T(P;x,y)$ of the greedoid induced by a poset $P$, including the special case of series-parallel posets. In particular, Gordon and McMahon conjectured that, for any two series-parallel posets $P$ and $Q$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$. In studying this conjecture, Gordon introduced a subclass $\mathcal{P}$ of series-parallel posets and proved that this equivalence holds for all $P,Q\in\mathcal{P}$. In this paper, we introduce a new subclass $\mathrm H$ of series-parallel posets and prove that $\mathcal P\subseteq\mathrm H$. Moreover, we show that, for every $P\in\mathrm H$ and every $Q\in\mathrm{SP}$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$, thereby extending Gordon's result.

We propose a factorization of the graph isomorphism problem for Bestvina-Brady groups (BBGs) through matroid theory. In particular, we show that finitely presented BBGs depend on their defining graphs only through their cycle matroids. On the other hand, we construct graphs of arbitrarily high connectivity such that they have non-isomorphic cycle matroids but their BBGs are isomorphic. To do so, we prove that if a graph admits a tree clique-spanner, then the Dicks-Leary presentation of its BBG can be explicitly simplified to a right-angled Artin group presentation. In particular, we show that BBGs defined by dually chordal graphs are right-angled Artin groups.

The Tutte polynomial, through its rank-generating formula, provides a unified framework for describing various combinatorial structures of graphs and matroids, and serves as an important polynomial invariant connecting graph theory, matroid theory, and their related applications. Let $G=(V(G),E(G),r(G))$ be a simple rooted graph, where $V(G)$ is the vertex set, $E(G)$ is the edge set, and $r(G)$ is the root. Let $Γ(G)$ be the greedoid induced by the rooted graph $G$, and let its greedoid Tutte polynomial be denoted by $T(Γ(G);x,y)$. Let $r=r(G)$, $L_r(G)=\{v\in V(G)\setminus\{r\}: rv\in E(G),\ d_G(v)=1\}$, and $\ell_r(G)=|L_r(G)|$. Gordon and McMahon proposed the following conjecture: for rooted graphs, $\operatorname{ord}_{x}T(Γ(G);x,y)=\ell_r(G)$, where $\operatorname{ord}_{x}T(Γ(G);x,y)=\max\{a\in\mathbb Z_{\geq0}:x^a\mid T(Γ(G);x,y)\}$, that is, the highest power of $x$ dividing $T(Γ(G);x,y)$ is equal to the number of leaf vertices adjacent to the root. In this paper, we proved that this conjecture holds for all simple rooted graphs.

We develop a measure-theoretic analogue of matroid theory on standard atomless measure spaces. Motivated by the quotient-convergence framework for submodular set functions, our aim is to identify suitable measurable objects on the limit side of finite matroid theory and to develop their basic structural and optimization theory. We prove that measurable matroids admit equivalent descriptions by independent sets, bases, rank functions, and closure operators. The class includes normalized finite matroids, cycle matroids of graphings, and measurable analogues of partition, nested, lattice path, transversal, and matching matroids. We establish measurable analogues of truncation, elongation, direct sum, duality, and minors. We prove measurable versions of Edmonds' matroid intersection theorem and the Edmonds--Fulkerson matroid union theorem, together with an attainment theorem for common bases. The intersection theorem retains the classical min--max form, with the maximum replaced in general by a supremum. Applied to partition matroids, it gives an exact Hall-deficiency formula for measurable matchings in bipartite graphings and a min--max theorem for continuous bipartite $b$-matchings, with applications to capacity-constrained transport and prescribed cross-sections. We give a rank-expansion criterion under which the supremum is attained. For bipartite graphings, this criterion specializes to the measurable perfect matching theorem of Lyons and Nazarov. For measurable union, the Edmonds--Fulkerson rank formula remains valid. As a main application of measurable union and its attainment theorem, we prove measurable Nash-Williams--Tutte theorems for graphings, characterizing approximate coverings and packings by hyperfinite essential spanning forests and obtaining exact decompositions under strengthened rank inequalities.

We give a new proof of Maurer's homotopy theorem for matroids using polyhedral methods, in contrast to Maurer's original combinatorial proof. The same polyhedral approach yields a homotopy theorem for delta-matroids, from which the corresponding results for matroids, even delta-matroids, and antisymmetric matroids follow. We further prove an analogous theorem for integral polymatroids.

We show that the toric ideal of the Fano matroid polytope does not have a quadratic Gröbner basis. This resolves in the negative a strong version of White's conjecture from matroid theory. This result was found independently by De Loera, Ferroni, Morales, and Rambau. Our approach is based on a new characterization of regular unimodular flag triangulations, which reduces the problem to an instance of SMT involving boolean and real variables. We then use an SMT solver to prove unsatisfiability. Using this approach, we also show that all 8-element matroids which do not have the Fano matroid or its dual as a minor, with the possible exception of the matroid $T_8$, have toric ideals which admit quadratic Gröbner bases.

We study conic divisorial ideals from the viewpoint of matroid theory and apply the resulting framework to toric rings arising from signed posets. For a toric ring, we describe the polytope representing divisor classes corresponding to conic divisorial ideals in terms of matroids. We then turn to the toric ring $R_P$ associated with a signed poset $P$. We compute the divisor class group and characterize the ($\mathbb{Q}$-)Gorenstein property of $R_P$ in terms of $P$. Moreover, we also construct a polytope characterizing the conic divisorial ideals of $R_P$. This recovers and extends previous results on Hibi rings to the setting of signed posets.

In [27], we provided results on the $p$-modulus of the family of all bases of matroids and showed that it recovers various concepts in matroid theory, including strength, fractional arboricity, and principal partitions. In particular, the unique optimal density $η^*$ that arises for $p$-modulus, which we will refer to as universal density from now on, was shown to recover the concept of lexicographical base in polymatroids. Since truncation is a fundamental operation in matroid theory, it is natural to ask how the universal density behaves under matroid truncation. In this paper, we first provide the universal density of every truncation of a given matroid; equivalently, we determine the principal partition for every matroid truncation. Next, we give a new characterization of the universal density using the Kullback--Leibler divergence. Furthermore, we study the notion of strictly homogeneous matroids, generalizing the corresponding notion in graphs from [6]. We also offer several insights related to strength, fractional arboricity, and give the set of probability mass functions (pmfs) for bases that induce the universal density in a simple case. Finally, this paper also addresses two optimization problems for graph structures, particularly those involving edge-disjoint spanning trees and forest edge-coverings.

One of the most important classes of even $Δ$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $Δ$-matroids and even $Δ$-matroids due to Geelen and Murota, we characterize the class of strong $Δ$-matroids that correspond to orientable ribbon-graphic $Δ$-matroids. These are precisely the $Δ$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence. As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $Δ$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.

We investigate the structure of intersecting error-correcting codes, with a particular focus on their connection to matroid theory. We establish properties and bounds for intersecting codes with the Hamming metric and illustrate how these distinguish the subfamily of minimal codes within the family of intersecting codes. We prove that the property of a code being intersecting is characterized by the matroid-theoretic notion of vertical connectivity, showing that intersecting codes are precisely those achieving the highest possible value of this parameter. We then introduce the concept of vertical connectivity for $q$-matroids and link it to the theory of intersecting codes endowed with the rank metric.

This document is a slightly expanded version of a series of talks given by J. Giansiracusa at the workshop `Geometry over semirings' at Universitat Autònoma de Barcelona in July 2025. In the first lecture we introduce tropical polynomials, ideals, congruences, and how the connection with tropical geometry is made via congruences of bend relations. Tropical geometry and matroid theory are telling us that we should focus attention on a narrow slice of the world of tropical algebra, and this leads to the theory of tropical ideals (as developed by Maclagan and Rincón) and an abundance of interesting open questions. In the second lecture we examine the relationship between Berkovich analytification and tropicalization from the perspective of bend relations, giving a refinement of Payne's influential limit theorem. In the third lecture we set aside geometry and focus on tropicalization via bend relations as a construction in commutative and non-commutative algebra. Constructions such as symmetric algebras, exterior algebras, matrix algebras, and Clifford algebras can be tropicalized. In the case of exterior algebras, the resulting tropical notion beautifully completes the picture of the Plücker embedding and gives a new perspective on the tropical Plücker relations. For matrix algebras and Clifford algebras, Morita theory becomes an interesting topic.

We study determinantal varieties from conditional independence models with hidden variables, focusing on their irreducible decompositions, dimensions, degrees, and Gröbner bases. Each variety encodes a collection of matroids, whose flats capture algebraic dependencies among variables. Using this approach, we provide a systematic description of the components, their dimensions, and defining equations, and introduce a combinatorial framework for computing the degree of the determinantal variety. Our approach highlights the central role of matroidal structures in the study of determinantal varieties and extends beyond the reach of current computational techniques.

Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural properties of such lattices, with a particular focus on their rank structure, covering relations, and enumeration of elements per level. Leveraging these structural insights, we investigate necessary and sufficient conditions under which the lattice induced by a covering is isomorphic to classical geometric lattices, including the lattice of partitions, the lattice of subspaces of a vector space over a finite field, and the Dowling lattice. Our results provide a unified framework for comparing these combinatorial structures and contribute to the broader study of lattice theory, matroids, and their applications in combinatorics.

Let $V$ be a vector space of rectangular $n\times k$ matrices annihilating the Cullis' determinant. We show that $\dim(V) \le (n-1)k$, extending Dieudonn{é}'s result on the dimension of vector spaces of square matrices annihilating the ordinary determinant. Furthermore, for certain values of $n$ and $k$, we explicitly describe such vector spaces of maximal dimension. Namely, we establish that if $k$ is odd, $n \ge k + 2$ and $\dim(V) = (n-1)k$, then $V$ is equal to the space of all $n\times k$ matrices $X$ such that alternating row sum of $X$ is equal to zero. Our proofs rely on the following observations from the matroid theory that have an independent interest. First, we provide a notion of matroid corresponding to a given linear variety. Second, we prove that if the linear variety is transformed by projections and restrictions, then the behaviour of the corresponding matroid is expressed in the terms of matroid contraction and restriction. Third, we establish that if $M$ is a matroid, $I^*$ its coindependent set $M|S$ and its restriction on a set $S$, then the union of $I^*\setminus S$ with every cobase of $M|S$ is coindependent set of $M$.

We study the generic fibre of the Hadamard product of linear spaces via matroid theory and tropical geometry. To do so, we introduce the flip product, a numerical invariant associated to a pair of matroids defined via the stable intersection of their (flipped) Bergman fans. Our first main result is that the cardinality of a generic fibre for the Hadamard product of linear spaces is exactly the flip product of their matroids. We also provide a recursive algorithm for computing the flip product of any pair of matroids. As an application of our techniques, we extend the notion of realisation numbers from rigidity theory to rotational-symmetric and periodic realisation numbers and we provide combinatorial algorithms to compute them. Finally, we show a number of existing matroid invariants are specialisations of the flip product, including the beta invariant.

The multiple exchange property for matroid bases states that for any bases $A$ and $B$ of a matroid and any subset $X\subseteq A\setminus B$, there exists a subset $Y\subseteq B\setminus A$ such that both $A-X+Y$ and $B+X-Y$ are bases. This classical result has not only found applications in matroid theory, but also in the analysis and design of various algorithms. In our work, we prove a common generalization of this and other known basis exchange properties by showing that for any subsets $X \subseteq A \setminus B$ and $Y \subseteq B \setminus A$, there exist subsets $U \subseteq A \setminus B$ and $V \subseteq B \setminus A$ such that $X\subseteq U$, $Y\subseteq V$, $A-U+V$ and $B+U-V$ are bases, and $|U|=|V|$ is at most the rank of $X+Y$. As an application, we prove the robustness of the local search algorithm for finding maximum weight matroid bases. For matroids representable over a field of characteristic zero, we further generalize our exchange property to include the very recent Equitability Theorem (SODA 2026), by establishing a far-reaching generalization of the Grassmann-Plücker identity.

We introduce and develop the theory of UMEL-shellable posets. These are posets equipped with an edge-lexicographical labeling satisfying certain uniformity and monotonicity properties. This framework encompasses classical families of combinatorial geometries, including uniform matroids, projective and affine geometries, braid matroids of type A and B, and all Dowling geometries. It also comprises all rank-uniform supersolvable lattices, and therefore also all rank-uniform distributive lattices. Our main result establishes real-rootedness phenomena for the Chow polynomials, the augmented Chow polynomials, and the chain polynomials associated with those posets, thus making simultaneous progress towards conjectures by Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou. In the special case of lattices of flats of matroids, the (augmented) Chow polynomials coincide with the Hilbert--Poincaré series of the Chow ring associated to the smooth and generally noncompact toric varieties of the (augmented) Bergman fan of the matroid, whereas the chain polynomial encodes the Hilbert--Poincaré series of the Stanley--Reisner ring of the Bergman complex of the matroid. Therefore, these real-rootedness results are tightly linked to the study of these algebro-geometric structures in matroid theory.

In this paper, we compute the injective norm - a.k.a. geometric entanglement - of standard basis states of CSS quantum error-correcting codes. The injective norm of a quantum state is a measure of genuine multipartite entanglement. Computing this measure is generically NP-hard. However, it has been computed exactly in condensed-matter theory - notably in the context of topological phases - for the Kitaev code and its extensions, in works by Orús and collaborators. We extend these results to all CSS codes and thereby obtain the injective norm for a nontrivial, infinite family of quantum states. In doing so, we uncover an interesting connection to matroid theory and Edmonds' intersection theorem.

In coding theory, a common question is to understand the threshold rates of various local properties of codes, such as their list decodability and list recoverability. A recent work Levi, Mosheiff, and Shagrithaya (FOCS 2025) gave a novel unified framework for calculating the threshold rates of local properties for random linear and random Reed--Solomon codes. In this paper, we extend their framework to studying the local properties of subspace designable codes, including explicit folded Reed-Solomon and univariate multiplicity codes. Our first main result is a local equivalence between random linear codes and (nearly) optimal subspace design codes up to an arbitrarily small rate decrease. We show any local property of random linear codes applies to all subspace design codes. As such, we give the first explicit construction of folded linear codes that simultaneously attain all local properties of random linear codes. Conversely, we show that any local property which applies to all subspace design codes also applies to random linear codes. Our second main result is an application to matroid theory. We show that the correctable erasure patterns in a maximally recoverable tensor code can be identified in deterministic polynomial time, assuming a positive answer to a matroid-theoretic question due to Mason (1981). This improves on a result of Jackson and Tanigawa (JCTB 2024) who gave a complexity characterization of $\mathsf{RP} \cap \mathsf{coNP}$ assuming a stronger conjecture. Our result also applies to the generic bipartite rigidity and matrix completion matroids. As a result of additional interest, we study the existence and limitations of subspace designs. In particular, we tighten the analysis of family of subspace designs constructioned by Guruswami and Kopparty (Combinatorica 2016) and show that better subspace designs do not exist over algebraically closed fields.