For a finite multigraph G, let Λ(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G and H are 2-isomorphic graphs then Λ(G) and Λ(H) are isometric, and remark that they were unable to find a pair of nonisomorphic 3-connected graphs for which the corresponding lattices are isometric. We explain this by examining the lattice Λ(M) of integer flows of any regular matroid M. Let M_\bullet be the minor of M obtained by contracting all co-loops. We show that Λ(M) and Λ(N) are isometric if and only if M_\bullet and N_\bullet are isomorphic.
In this note we prove a lower bound for the rank of 2-dimensional generic rigidity matroid for regular graphs of degree four and five. Also, we give examples to show the order of the bound we give is sharp.
In this paper we investigate the number of integer points lying in dilations of lattice path matroid polytopes. We give a characterization of such points as polygonal paths in the diagram of the lattice path matroid. Furthermore, we prove that lattice path matroid polytopes are affinely equivalent to a family of distributive polytopes. As applications we obtain two new infinite families of matroids verifying a conjecture of De Loera et.~al. and present an explicit formula of the Ehrhart polynomial for one of them.
Let $ρ$ be a non-negative integer. A $ρ$-removed uniform matroid is a matroid obtained from a uniform matroid by removing a collection of $ρ$ disjoint bases. We present a combinatorial formula for Kazhdan-Lusztig polynomials of $ρ$-removed uniform matroids, using skew Young Tableaux. Even for uniform matroids, our formula is new, gives manifestly positive integer coefficients, and is more manageable than known formulas.
We present two characterizations of regular matroids among orientable matroids and use them to give a measure of "how far" an orientable matroid is from being regular.
For a matroid $M$, an element $e$ such that both $M\backslash e$ and $M/e$ are regular is called a regular element of $M$. We determine completely the structure of non-regular matroids with at least two regular elements. Besides four small size matroids, all 3-connected matroids in the class can be pieced together from $F_7$ or $S_8$ and a regular matroid using 3-sums. This result takes a step toward solving a problem posed by Paul Seymour: Find all 3-connected non-regular matroids with at least one regular element [5, 14.8.8].
The lattice of integer flows of a graph is known to determine the graph up to 2-isomorphism (work of Su--Wagner and Caporaso--Viviani). In this paper we give an algorithmic construction of the graphic matroid $\calM(G)$ of a graph $G$, given its lattice of integer flows $\calF(G)$. The algorithm can then be applied to compute any other 2-isomorphism invariants (that is, matroid invariants) of $G$ from $\calF(G)$. Our method is based on a result of Amini which describes the relationship between the geometry of the Voronoi cell of $\calF(G)$ and the structure of $G$.
Seymour's Decomposition Theorem for regular matroids states that any matroid representable over both GF(2) and GF(3) can be obtained from matroids that are graphic, cographic, or isomorphic to R10 by 1-, 2-, and 3-sums. It is hoped that similar characterizations hold for other classes of matroids, notably for the class of near-regular matroids. Suppose that all near-regular matroids can be obtained from matroids that belong to a few basic classes through k-sums. Also suppose that these basic classes are such that, whenever a class contains all graphic matroids, it does not contain all cographi…
Raghunathan at al. [9] introduced splitting operation with respect to a pair of element for binary matroid and characterized Eulerian binary matroids using it. In general, the splitting operation does not preserve the graphicness property of the given matroids. Shikare and Waphare [10] obtained the characterization for the class of graphic matroids which yield graphic matroids under the splitting operation with respect to a pair of elements. We study the effect of the splitting operation on regular matroids and characterize the class of regular matroids which yield graphic matroids under the s…
We show for each positive integer $a$ that, if $\mathcal{M}$ is a minor-closed class of matroids not containing all rank-$(a+1)$ uniform matroids, then there exists an integer $c$ such that either every rank-$r$ matroid in $\mathcal{M}$ can be covered by at most $r^c$ rank-$a$ sets, or $\mathcal{M}$ contains the GF$(q)$-representable matroids for some prime power $q$ and every rank-$r$ matroid in $\mathcal{M}$ can be covered by at most $cq^r$ rank-$a$ sets. In the latter case, this determines the maximum density of matroids in $\mathcal{M}$ up to a constant factor.
We show for each positive integer $a$ that, if $\cM$ is a minor-closed class of matroids not containing all rank-$(a+1)$ uniform matroids, then there exists an integer $n$ such that either every rank-$r$ matroid in $\cM$ can be covered by at most $r^n$ sets of rank at most $a$, or $\cM$ contains the $\GF(q)$-representable matroids for some prime power $q$, and every rank-$r$ matroid in $\cM$ can be covered by at most $r^nq^r$ sets of rank at most $a$. This determines the maximum density of the matroids in $\cM$ up to a polynomial factor.
A catalogue of all non-isomorphic simple connected regular matroids ${\cal M}$ of cardinality $n \leq 15$ is provided on the net. These matroids are given as binary matrix matroids and are sieved from the large pool of all non-isomorphic binary matrix matroids of cardinality $\leq 15$. For each ${\cal M}$ its Tutte polynomial is determined by an algorithm based on internal and external base activity.
In this paper, we present a lattice-theoretic characterization for valuated matroids, which is an extension of the well-known cryptomorphic equivalence between matroids and geometric lattices ($=$ atomistic semimodular lattices). We introduce a class of semimodular lattices, called uniform semimodular lattices, and establish a cryptomorphic equivalence between integer-valued valuated matroids and uniform semimodular lattices. Our result includes a coordinate-free lattice-theoretic characterization of integer points in tropical linear spaces, incorporates the Dress-Terhalle completion process o…
We show that, for each real number $α> 0$ and odd integer $k\ge 5$ there is an integer $c$ such that, if $M$ is a simple binary matroid with $|M| \ge α2^{r(M)}$ and with no $k$-element circuit, then $M$ has critical number at most $c$. The result is an easy application of a regularity lemma for finite abelian groups due to Green.
Let $G$ be a finite undirected multigraph with no self-loops. The Jacobian $\operatorname{Jac}(G)$ is a finite abelian group associated with $G$ whose cardinality is equal to the number of spanning trees of $G$. There are only a finite number of biconnected graphs $G$ such that the exponent of $\operatorname{Jac}(G)$ equals $2$ or $3$. The definition of a Jacobian can also be extended to regular matroids as a generalization of graphs. We prove that there are finitely many connected regular matroids $M$ such that $\operatorname{Jac}(M)$ has exponent $2$ and characterize all such matroids.
We prove that the extension complexity of the independence polytope of every regular matroid on $n$ elements is $O(n^6)$. Past results of Wong and Martin on extended formulations of the spanning tree polytope of a graph imply a $O(n^2)$ bound for the special case of (co)graphic matroids. However, the case of a general regular matroid was open, despite recent attempts. We also consider the extension complexity of circuit dominants of regular matroids, for which we give a $O(n^2)$ bound.
In unpublished work, Geelen proved that a matroid is near-regular if and only if it has no minor isomorphic to: U2,5; U3,5; the Fano plane and its dual; the non-Fano and its dual; the single-element deletion of AG(2,3), its dual, and the matroid obtained from it with a Delta-Y operation; and P8. We provide a proof of this characterization.
In the matroid secretary problem we are given a stream of elements and asked to choose a set of elements that maximizes the total value of the set, subject to being an independent set of a matroid given in advance. The difficulty comes from the assumption that decisions are irrevocable: if we choose to accept an element when it is presented by the stream then we can never get rid of it, and if we choose not to accept it then we cannot later add it. Babaioff, Immorlica, and Kleinberg [SODA 2007] introduced this problem, gave O(1)-competitive algorithms for certain classes of matroids, and conje…
This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group but we show that the higher homotopy groups are different for rank three regular and binary matroids. We also speculate on the possible impact of a recent theorem of Galatius [Gal] computing the stable cohomology of the category of graphs and on possible applications to higher Reidemeister torsion.
An arithmetic matroid is weakly multiplicative if the multiplicity of at least one of its bases is equal to the product of the multiplicities of its elements. We show that if such an arithmetic matroid can be represented by an integer matrix, then this matrix is uniquely determined. This implies that the integer cohomology ring of a centred toric arrangement whose arithmetic matroid is weakly multiplicative is determined by its poset of layers. This partially answers a question asked by Callegaro-Delucchi.
Let $Δ$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_Δ$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a sharp bound between the arboricity of $M$ and the circumference of its dual $M^*$.
In this paper we investigate the Ehrhart Theory of the independence matroid polytope of uniform matroids. It is proved that these polytopes have an Ehrhart polynomial with positive coefficients. To do that, we prove that indeed all half-open-hypersimplices are Ehrhart positive, and tile disjointly our polytope using them.
We investigate the computational difficulty of approximating the partition function of the ferromagnetic Ising model on a regular matroid. Jerrum and Sinclair have shown that there is a fully polynomial randomised approximation scheme (FPRAS) for the class of graphic matroids. On the other hand, the authors have previously shown, subject to a complexity-theoretic assumption, that there is no FPRAS for the class of binary matroids, which is a proper superset of the class of graphic matroids. In order to map out the region where approximation is feasible, we focus on the class of regular matroid…
We present a simple proof of the fact that the base (and independence) polytope of a rank $n$ regular matroid over $m$ elements has an extension complexity $O(mn)$.
Subject to announced results by Geelen, Gerards, and Whittle, we completely characterize the highly connected members of the classes of dyadic, near-regular, and sixth-root-of-unity matroids.
Following the work of Gao and Xie in [2], we state some properties of the inverse Kazhdan-Lusztig polynomial of a matroid. We also give partial answers to a conjecture that states that regular connected matroids are non-degenerate. We link the degeneracy of a matroid to the inverse Kazhdan-Lusztig polynomial and we show that the Conjecture holds for modular matroids, by proving that degenerate modular matroids are not regular.
For each integer $n \geq 2$, we prove that, if $M$ is a simple rank-$r$ $PG(n-1,2)$-free binary matroid with $|M|>\left(1-\frac{3}{2^n}\right)2^r$, then there is a triangle-free corank-$(n-2)$ flat of $M$.
The first author introduced the circuit-cocircuit reversal system of an oriented matroid, and showed that when the underlying matroid is regular, the cardinalities of such system and its variations are equal to special evaluations of the Tutte polynomial (e.g., the total number of circuit-cocircuit reversal classes equals $t(M;1,1)$, the number of bases of the matroid). By relating these classes to activity classes studied by the first author and Las Vergnas, we give an alternative proof of the above results and a proof of the converse statements that these equalities fail whenever the underly…
We prove that, for each nonnegative integer k and each matroid N, if M is a 3-connected matroid containing N as a minor, and the the branch width of M is sufficiently large, then there is a k-element subset X of E(M) such that one of M\X and M/X is 3-connected and contains N as a minor.
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence". We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elem…
We prove that for each finite field $\mathbb F$ and integer $k\in \mathbb Z$ there exists $n\in \mathbb Z$ such that no excluded minor for the class of $\mathbb F$-representable matroids has $n$ nested $k$-separations.
Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.
A matroid is $\text{GF}(q)$-regular if it is representable over all proper superfields of the field $\text{GF}(q)$. We show that, for highly connected matroids having a large projective geometry over $\text{GF}(q)$ as a minor, the property of $\text{GF}(q)$-regularity is equivalent to representability over both $\text{GF}(q^2)$ and $\text{GF}(q^t)$ for some odd integer $t \geq 3$. We do this by means of an exact structural description of all such matroids.
In this paper we prove two main results about obstruction to graph planarity. One is that, if $G$ is a 3-connected graph with a $K_5$-minor and $T$ is a triangle of $G$, then $G$ has a $K_5$-minor $H$, such that $E(T)\cont E(H)$. Other is that if $G$ is a 3-connected simple non-planar graph not isomorphic to $K_5$ and $e,f\in E(G)$, then $G$ has a minor $H$ such that $e,f\in E(H)$ and, up to isomorphisms, $H$ is one of the four non-isomorphic simple graphs obtained from $K_{3,3}$ by the addiction of \,0, 1 or 2 edges. We generalize this second result to the class of the regular matroids.
We show that for any regular matroid on $m$ elements and any $α\geq 1$, the number of $α$-minimum circuits, or circuits whose size is at most an $α$-multiple of the minimum size of a circuit in the matroid is bounded by $m^{O(α^2)}$. This generalizes a result of Karger for the number of $α$-minimum cuts in a graph. As a consequence, we obtain similar bounds on the number of $α$-shortest vectors in "totally unimodular" lattices and on the number of $α$-minimum weight codewords in "regular" codes.
In 30's Hassler Whitney considered and completely solved the problem $(WP)$ of describing the classes of graphs $G$ having the same cycle matroid $M(G)$. A natural analog $(WP)'$ of Whitney's problem $(WP)$ is to describe the classes of graphs $G$ having the same matroid $M'(G)$, where $M'(G)$ is a matroid (on the edge set of $G$) distinct from $M(G)$. For example, the corresponding problem $(WP)'= (WP)_{θ}$ for the so-called bicircular matroid $M_{θ}(G)$ of graph $G$ was solved by Coulard, Del Greco and Wagner. We define the so-called {\em $k$-circular matroid} $M_k(G)$ on the edge set of gra…
We show that, if $k$ and $\ell$ are positive integers and $r$ is sufficiently large, then the number of rank-$k$ flats in a rank-$r$ matroid $M$ with no $U_{2,\ell+2}$-minor is less than or equal to number of rank-$k$ flats in a rank-$r$ projective geometry over GF$(q)$, where $q$ is the largest prime power not exceeding $\ell$.
The Splitter Theorem states that, if $N$ is a 3-connected proper minor of a 3-connected matroid $M$ such that, if $N$ is a wheel or whirl then $M$ has no larger wheel or whirl, respectively, then there is a sequence $M_0,..., M_n$ of 3-connected matroids with $M_0\cong N$, $M_n=M$ and for $i\in \{1,..., n\}$, $M_i$ is a single-element extension or coextension of $M_{i-1}$. Observe that there is no condition on how many extensions may occur before a coextension must occur. In this paper, we give a strengthening of the Splitter Theorem, as a result of which we can obtain, up to isomorphism, $M$ …
