Related papers: Modular elimination in matroids and oriented matro…
We discuss several extension properties of matroids and polymatroids and their application as necessary conditions for the existence of different matroid representations, namely linear, folded linear, algebraic, and entropic…
It is well known that in q-matroids, axioms for independent spaces, bases, and spanning spaces differ from the classical case of matroids, since the straightforward q-analogue of the classical axioms does not give a q-matroid. For this…
It has recently been shown that infinite matroids can be axiomatized in a way that is very similar to finite matroids and permits duality. This was previously thought impossible, since finitary infinite matroids must have non-finitary…
We use the Strong Splitter Theorem to decompose the excluded minor class of binary matroids with no $E_4$-minor. Using this theorem we can get the 3-decomposers and the extremal internally 4-connected matroids as well as any other important…
Matroid theory is fundamentally connected with index coding and network coding problems. In fact, the reliance of linear index coding and network coding rates on the characteristic of a field has been demonstrated by using the two…
We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that…
There is a long list of open questions rooted in the same underlying problem: understanding the structure of bases or common bases of matroids. These conjectures suggest that matroids may possess much stronger structural properties than are…
Given a simple Eulerian binary matroid $M$, what is the minimum number of disjoint circuits necessary to decompose $M$? We prove that $|M| / (\operatorname{rank}(M) + 1)$ many circuits suffice if $M = \mathbb F_2^n \setminus \{0\}$ is the…
Thin sums matroids were introduced to extend the notion of representability to non-finitary matroids. We give a new criterion for testing when the thin sums construction gives a matroid. We show that thin sums matroids over thin families…
Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} \Gamma_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $\Gamma_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$…
We argue that the chirotope concept of oriented matroid theory may be found in different scenarios of physics, including classical mechanics, quantum mechanics, gauge field theory, p-branes formalism, two time physics and Matrix theory. Our…
We prove there is no sentence in the monadic second-order language MS0 that characterises when a matroid is representable over at least one field, and no sentence that characterises when a matroid is K-representable, for any infinite field…
If $\mathcal{C}$ is a minor-closed class of matroids, the class $\mathcal{C}'$ of integer polymatroids whose natural matroids are in $\mathcal{C}$ is also minor closed, as is the class $\mathcal{C}'_k$ of $k$-polymatroids in $\mathcal{C}'$.…
In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by…
We study a class of determinantal ideals arising from conditional independence (CI) statements with hidden variables. Such CI statements translate into determinantal conditions on a matrix whose entries represent the probabilities of events…
We give elementary and non-inductive proofs of three fundamental theorems about Chow rings of matroids: the standard monomial basis, Poincare duality, and the dragon-Hall-Rado formula. Our approach, which also works for augmented Chow rings…
We provide a short proof of a conic version of the colorful Carath\'eodory theorem for oriented matroids. Holmsen's extension of the colorful Carath\'eodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses…
Motivated by work in graph theory, we define the fixing number for a matroid. We give upper and lower bounds for fixing numbers for a general matroid in terms of the size and maximum orbit size (under the action of the matroid automorphism…
Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of…