matroid ↗ reference
2154 papers tagged with this keyword
Interaction between skew-representability, tensor products, extension properties, and rank inequalities
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 deciding skew-representability is computationally intractable, much effort has been focused on identifying necessary or sufficient conditions for a matroid to be skew-representable.
In this paper, we introduce a novel approach to studying skew-representability and structural properties of matroids and polymatroid functions via tensor products. We provide a characterization of skew-representable matroids, as well as of those representable over skew fields of a given prime characteristic, in terms of tensor products. As an algorithmic consequence, we show that deciding skew-representability, or representability over a skew field of fixed prime characteristic, is co-recursively enumerable: that is, certificates of non-skew-representability -- in general or over a fixed prime characteristic -- can be verified. We also prove that every rank-3 matroid admits a tensor product with any 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.
Generalised wavefunction coefficients and acyclonesto-cosmohedra
Published in J.Phys.A 58 (2025) 465403
• View Publication
• BIB
Scattering amplitudes of $\operatorname{tr}(φ^3)$ theory can be encoded as the canonical form of the Stasheff associahedron. Similarly, the flat-space wavefunction coefficients of the same theory are captured by the recently proposed cosmohedron, a non-simple polytope associated to the Stasheff associahedron; unitarity and locality of the amplitudes and wavefunction coefficients are then encoded in the factorisation properties of faces of these polytopes. In this paper, we argue that these desirable properties of the Stasheff associahedron are shared by a wider class of polytopes called acyclonestohedra and generalise the cosmohedron construction to arbitrary acyclonestohedra.
Acyclonestohedra are generalisations of Stasheff associahedra and graph associahedra defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. When the acyclonestohedron is associated to a partially ordered set, it may be interpreted as arising from Chan-Paton-like factors that are only (cyclically) partially ordered, rather than (cyclically) totally ordered as for the ordinary open string. In this paper, we argue that the canonical forms of acyclonestohedra encode scattering-amplitude-like objects that factorise onto themselves, thereby extending recent results for graph associahedra, and construct truncations of acyclonestohedra into acyclonesto-cosmohedra whose canonical forms may be interpreted as encoding a generalisation of the cosmological wavefunction coefficients. As a byproduct, we provide evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra.
Vector-valued Laurent polynomial equations, toric vector bundles and matroids
Let $L \subset \mathbb{C}^r \otimes \mathbb{C}[x_1^\pm, \ldots, x_n^\pm]$ be a finite dimensional subspace of vector-valued Laurent polynomials invariant under the action of torus $(\mathbb{C}^*)^n$. We study subvarieties in the torus, defined by equations $f = 0$ for generic $f \in L$. We generalize the BKK theorem, that counts the number of solutions of a system of Laurent polynomial equations generic for their Newton polytopes, to this setting. The answer is in terms of mixed volume of certain virtual polytopes encoding discrete invariants of $L$ which involves matroid data. Moreover, we prove an Alexandrov-Fenchel type inequality for these virtual polytopes. Finally, we extend this inequality to non-representable polymatroids. This extends the usual Alexandrov-Fenchel inequality for polytopes as well as log-concavity results related to matroids.
Unavoidable Minors of Matroids with Minimum Cocircuit Size Four
In 1963, Halin and Jung proved that every simple graph with minimum degree at least four has $K_5$ or $K_{2,2,2}$ as a minor. Mills and Turner proved an analog of this theorem by showing that every $3$-connected binary matroid in which every cocircuit has size at least four has $F_7, M^*(K_{3,3}), M(K_5),$ or $ M(K_{2,2,2})$ as a minor. Generalizing these results, this paper proves that every simple matroid in which all cocircuits have at least four elements has as a minor one of nine matroids, seven of which are well known. All nine of these special matroids have rank at most five and have at most twelve elements.
Linearizing Algebraic Matroids
Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.
Matroid isomorphism games
We define and study a collection of matroid isomorphism games corresponding to various axiomatic characterizations of matroids. These are nonlocal games played between two cooperative players. Each game is played on two matroids, and the matroids are isomorphic if and only if the game has a perfect classical winning strategy. We define notions of quantum isomorphism in terms of perfect quantum commuting strategies, and we find a pair of nonisomorphic matroids that are quantum isomorphic. We also give a purely algebraic characterization of quantum isomorphic matroids. Finally, we use this notion of quantum isomorphism to describe a new type of quantum automorphism group of a matroid and derive a sufficient condition for a matroid to have nonclassical quantum automorphism.
Salvetti complexes for conditional oriented matroids
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 easy to visualize, and generalizes to the setting of conditional oriented matroids.
The trigonal construction and the second moment of the tropical Prym variety
We use the tropical trigonal construction to calculate the second moment of the tropical Prym variety of all double covers $π:\widetildeΓ\to Γ$ of tropical curves of genus $g(Γ)\leq 4$. The answer is expressed in terms of the signed graphic matroid of the double cover and consists a polynomial and piecewise-polynomial term. We relate the latter term, which does not occur in the analogous formula for the tropical Jacobian, to the problem of extending the Prym--Torelli map from the moduli space of admissible double covers to the second Voronoi compactification of the moduli space of principally polarized abelian varieties.
The inverse $Z$-polynomial of a matroid
Motivated by the $Z$-polynomials of matroids, Ferroni, Matherne, Stevens, and Vecchi introduced the inverse $Z$-polynomial of a matroid. In this paper, we prove several fundamental properties of the inverse $Z$-polynomial, including non-negativity and multiplicativity, and show that it is a valuative invariant. We also provide explicit formulas for the inverse $Z$-polynomials of uniform matroids and a broader class of matroids, namely sparse paving matroids, which include uniform matroids as a special case. Furthermore, we establish the unimodality and log-concavity of these polynomials in the case of sparse paving matroids. Based on the properties of the $Z$-polynomial, we conjecture that the coefficients of the inverse $Z$-polynomial are unimodal and log-concave.
The V-Number of Binomial Edge Ideals: Minimal Cuts and Cycle Graphs
The v-number of a graded ideal is an invariant recently introduced in the context of coding theory, particularly in the study of Reed--Muller-type codes. In this work, we study the localized v-numbers of a binomial edge ideal $J_G$ associated to a finite simple graph $G$. We introduce a new approach to compute these invariants, based on the analysis of transversals in families of subsets arising from dependencies in certain rank-two matroids. This reduces the computation of localized v-numbers to the determination of the radical of an explicit ideal and provides upper bounds for these invariants. Using this method, we explicitly compute the localized v-numbers of $J_G$ at the associated minimal primes corresponding to minimal cuts of $G$. Additionally, we determine the v-number of binomial edge ideals for cycle graphs and give an almost complete answer to a recent conjecture, showing that the v-number of a cycle graph $C_n$ is either $\textstyle \left\lceil \frac{2n}{3} \right\rceil$ or $\textstyle \left\lceil \frac{2n}{3} \right\rceil - 1$.
5-regular graphs and the 3-dimensional rigidity matroid
A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised independence in this matroid for connected graphs with minimum degree at most $d+1$ and maximum degree at most $d+2$. Their characterisation is known to be false for $(d+2)$-regular graphs when $d\geq 4$ but when $d=3$ it remained open. Indeed they conjectured that their characterisation extends to 5-regular graphs when $d=3$. The purpose of this article is to prove their conjecture. That is, we prove that every 5-regular graph that has at most $3n-6$ edges in any subgraph on $n\geq 3$ vertices is independent in the generic 3-dimensional rigidity matroid.
Linear operators preserving volume polynomials
Volume polynomials measure the growth of Minkowski sums of convex bodies and of tensor powers of positive line bundles on projective varieties. We show that Aluffi's covolume polynomials are precisely the polynomial differential operators that preserve volume polynomials, reflecting a duality between homology and cohomology. We then present several applications to matroid theory.
Elliptic arrangements of complex multiplication type
We provide a natural definition of an elliptic arrangement, extending the classical framework to an elliptic curve E with complex multiplication. We analyse the intersections of elements of the arrangement and their connected components as End(E)-modules. Furthermore, we prove that the combinatorial data of elliptic arrangements define both an arithmetic matroid and a matroid over the ring End(E). In this way, we obtain a class of arithmetic matroids that is different from the class of arithmetic matroids realizable via toric arrangements. Finally, we show that the Euler characteristic of the complement is an evaluation of the arithmetic Tutte polynomial.
Graph theoretic properties of Speyer's matroid polynomial $g_M(t)$
We prove relations between the number of $k$-connected components of a graph, Crapo's invariant $β(M)$ of a matroid, and Speyer's polynomial $g_M(t)$. These yield a simple interpretation of $g_M'(-1)$ when $M$ is graphic or cographic. Furthermore, we improve Ferroni's algorithm to compute $g_M(t)$ and provide an implementation and an extensive data set. These calculations reveal a large number of graph theoretic constraints on the second derivative $g_M''(-1)$, which we thus advertise as an intriguing new invariant of graphs. We also propose a relation between the flow polynomial and $g_M''(0)$ for cubic graphs.
Matroids, intersecting bases, and Borsuk property
A subset $S$ of $\mathbb R^d$ has the Borsuk property if it can be decomposed into at most $d+1$ parts of diameter smaller than $S$. This is an important geometric property, inspired by a conjecture of Borsuk from the 1930s, which has attracted considerable attention over the years. In this paper, we define and investigate the Borsuk property for matroids, providing a purely combinatorial approach to the Borsuk property for matroid polytopes, a well-studied family of $(0,1)$-polytopes associated with matroids. We show that a sufficient condition for a matroid -- and thus its matroid polytope -- to have the Borsuk property is that the matroid or its dual has two disjoint bases. However, we show that this condition is not necessary by exhibiting infinite families of matroids having the Borsuk property and yet being such that every two bases intersect and every two cobases intersect. Kneser graphs, which form an important object from topological combinatorics, play a crucial role in most proofs.
Matroid complexes and Orlik-Solomon algebras
In this article we construct a combinatorial quasi-free differential graded model for the Orlik-Solomon algebra of supersolvable matroids, which generalizes in a matroidal setting the cdga of admissible graphs introduced by M. Kontsevich for the braid arrangements. Our construction draws on well-known concepts from matroid theory, including modularity, single-element extensions, and generalized parallel connections. We also show that this model carries a cooperadic structure in a suitably generalized sense. As an application, we use this model to give a new proof that the Orlik-Solomon algebras of supersolvable matroids are Koszul.
Hamiltonian connectivity of some base-cobase graphs
There has been wide interest in understanding which properties of base graphs of matroids extend to base-cobase graphs of matroids. A significant result of Naddef and Pulleyblank (1984) shows that the $1$-skeleton of any $(0,1)$-polytope is either a hypercube, or Hamiltonian-connected, i.e. there is a Hamiltonian path connecting any two vertices. In particular, this is true for base graphs of matroids. A natural question raised by Farber, Richter, and Shank (1985) is whether this extends to base-cobase graphs.
First, we use the polytopal approach to show Hamiltonian connectivity of base-cobase graphs of series-parallel extensions of lattice path matroids. On the other hand, we show that this method extends to only very special classes related to identically self-dual matroids. Second, we show that base-cobase graphs of wheels and whirls are Hamiltonian connected. Last, we show that the regular matroid $R_{10}$ yields a negative answer to the question of Farber, Richter, and Shank.
Linkage Axioms for Generic Tropical Oriented Matroids
We present a comprehensive overview of Ardila and Develin's (generic) tropical oriented matroids, as well as many related objects and their axiomatics. Moreover, we use a unifying framework that elucidates the connections between these objects, including several new cryptomorphisms and properties.
A decomposition of Grassmannian associated with a hyperplane arrangement
The Grassmannian, which is the manifold of all $k$-dimensional subspaces in the Euclidean space $\mathbb{R}^n$, was decomposed through three equivalent methods connecting combinatorial geometries, Schubert cells and convex polyhedra by Gelfand, Goresky, MacPherson and Serganova. Recently, Liang, Wang and Zhao discovered a novel decomposition of the Grassmannian via an essential hyperplane arrangement, which generalizes the first two methods. However, their work was confined to essential hyperplane arrangements. Motivated by their research, we extend their results to a general hyperplane arrangement $\mathcal{A}$, and demonstrate that the $\mathcal{A}$-matroid, the $\mathcal{A}$-adjoint and the refined $\mathcal{A}$-Schubert decompositions of the Grassmannian are consistent. As a byproduct, we provide a classification for $k$-restrictions of $\mathcal{A}$ related to all $k$-subspaces through two equivalent methods: the $\mathcal{A}$-matroid decomposition and the $\mathcal{A}$-adjoint decomposition.
Algebraic Geometry of Cactus, Pascal, and Pappus Matroids
We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs to matroids, introducing a family of point-line configurations whose underlying graphs are cacti. Our analysis includes several classical matroids, such as the Pascal, Pappus, and cactus matroids, for which we provide explicit finite generating sets for their associated matroid ideals. The matroid ideal is the ideal of the matroid variety, whose construction involves a saturation step with respect to all the independence relations of the matroid. This step is computationally very expensive and has only been carried out for very small matroids. We provide a complete generating set of these ideals for the Pascal, Pappus, and cactus matroids. The proofs rely on classical geometric techniques, including liftability arguments and the Grassmann--Cayley algebra, which we use to construct so-called bracket polynomials in these ideals. In addition, we prove that every cactus matroid is realizable and that its matroid variety is irreducible.