This paper studies structural aspects of lattice path matroids, a class of transversal matroids that is closed under taking minors and duals. Among the basic topics treated are direct sums, duals, minors, circuits, and connected flats. One of the main results is a characterization of lattice path matroids in terms of fundamental flats, which are special connected flats from which one can recover the paths that define the matroid. We examine some aspects related to key topics in the literature of transversal matroids and we determine the connectivity of lattice path matroids. We also introduce notch matroids, a minor-closed, dual-closed subclass of lattice path matroids, and we find their excluded minors.
Lattice path matroids and bicircular matroids are two well-known classes of transversal matroids. In the seminal work of Bonin and de Mier about structural properties of lattice path matroids, the authors claimed that lattice path matroids significantly differ from bicircular matroids. Recently, it was proved that all cosimple lattice path matroids have positive double circuits, while it was shown that there is a large class of cosimple bicircular matroids with no positive double circuits. These observations support Bonin and de Miers' claim. Finally, Sivaraman and Slilaty suggested studying t…
A lattice path matroid is a transversal matroid corresponding to a pair of lattice paths on the plane. A matroid base polytope is the polytope whose vertices are the incidence vectors of the bases of the given matroid. In this paper, we study facial structures of matroid base polytopes corresponding to lattice path matroids.
Lattice path matroids form a subclass of transversal matroids and were introduced by Bonin, de Mier and Noy. Transversal matroids are not well-quasi-ordered, even when the branch-width is restricted. Though lattice path matroids are not well-quasi-ordered, we prove that lattice path matroids of bounded branch-width are well-quasi-ordered.
We show that every lattice path matroid of rank at least two has a quite simple coline, also known as a positive coline. Therefore every orientation of a lattice path matroid is 3-colorable with respect to the chromatic number of oriented matroids introduced by J. Nešetřil, R. Nickel, and W. Hochstättler.
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.
Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid. In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.
It is known that a lattice path matroid polytope can be associated with two given noncrossing lattice paths on $\mathbb{Z}\times\mathbb{Z}$ with the same end points. In this short note we give explicit formulae for the $f$-vector, toric $f$- and $g$-polynomials of a lattice path matroid polytope when two boundary paths enclose a hook shape.
We give an explicit description of the poset of cells of Bergman complexes of Lattice Path Matroids and establish a criterion for its simpliciality, in terms of the shape of the bounding paths.
Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics.
For any minor-closed class of matroids over a fixed finite field, we state an exact structural characterization for the sufficiently connected matroids in the class. We also state a number of conjectures that might be approachable using the structural characterization.
Catalan numbers arise in many enumerative contexts as the counting sequence of combinatorial structures. In this work, we consider natural Markov chains on some of the realizations of the Catalan sequence. While our main result is in deriving an $O(n^2 \log n)$ bound on the mixing time in $L_2$ (and hence total variation) distance for the random transposition chain on Dyck paths, we raise several open questions, including the optimality of the above bound. The novelty in our proof is in establishing a certain negative correlation property among random bases of lattice path matroids, including …
A flag matroid can be viewed as a chain of matroids linked by quotients. Flag matroids, of which relatively few interesting families have previously been known, are a particular class of Coxeter matroids. In this paper we give a family of flag matroids arising from an enumeration problem that is a generalization of the tennis ball problem. These flag matroids can also be defined in terms of lattice paths and they provide a generalization of the lattice path matroids of [Bonin et al., JCTA 104 (2003)].
Split matroids form a minor-closed class of matroids, and are defined by placing conditions on the system of split hyperplanes in the matroid base polytope. They can equivalently be defined in terms of structural properties involving cyclic flats. We confirm a conjecture of Joswig and Schröter by proving an excluded-minor characterisation of the class of split matroids.
Path-width of matroids naturally generalizes the better known parameter of path-width for graphs, and is NP-hard by a reduction from the graph case. While the term matroid path-width was formally introduced by Geelen-Gerards-Whittle [JCTB 2006] in pure matroid theory, it was soon recognized by Kashyap [SIDMA 2008] that it is the same concept as long-studied so called trellis complexity in coding theory, later named trellis-width, and hence it is an interesting notion also from the algorithmic perspective. It follows from a result of Hlineny [JCTB 2006] that the decision problem, whether a give…
We present a strengthening of the countable Menger theorem (edge version) of R. Aharoni. Let $ D=(V,A) $ be a countable digraph with $ s\neq t\in V $ and let $\mathcal{M}=\bigoplus_{v\in V}\mathcal{M}_v $ be a matroid on $ A $ where $ \mathcal{M}_v $ is a finitary matroid on the ingoing edges of $ v $. We show that there is a system of edge-disjoint $ s \rightarrow t $ paths $ \mathcal{P} $ such that the united edge set of the paths is $ \mathcal{M} $-independent, and there is a $ C \subseteq A $ consists of one edge from each element of $ \mathcal{P} $ for which $ \mathsf{span}_{\mathcal{M}}(…
We show that the toric ideal of a lattice path polymatroid is generated by quadrics corresponding to symmetric exchanges, and give a monomial order under which these quadrics form a Gröbner basis. We then obtain an analogous result for lattice path matroids.
We give a common matroidal generalisation of `A Cantor-Bernstein theorem for paths in graphs' by Diestel and Thomassen and `A Cantor-Bernstein-type theorem for spanning trees in infinite graphs' by ourselves.
Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This…
We prove, by means of an exact structural description, that every simple triangle-free binary matroid $M$ with $|M| > \tfrac{33}{128}2^{r(M)}$ has critical number at most $2$.
Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice path matroids (generalizing earlier results on uniform and Catalan matroids). In order to do this, we introduce and study particular lattice path matroids, called snakes, used as building bricks to ind…
Let $s,n \ge 2$ be integers. We give a qualitative structural description of every matroid $M$ that is spanned by a frame matroid of a complete graph and has no $U_{s,2s}$-minor and no rank-$n$ projective geometry minor, showing that every such matroid is `close' to a frame matroid. We also give a similar description of every matroid $M$ with a spanning projective geometry over a field GF$(q)$ as a restriction and with no $U_{s,2s}$-minor and no PG$(n,q')$-minor for any $q' > q$, showing that such an $M$ is `close' to a GF$(q)$-representable matroid.
The Holt-Klee theorem says that the graph of a $d$-polytope, with edges oriented by a linear function on $P$ that is not constant on any edge, admits $d$ independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank $d+1$ on $n+2$ elements, which include those from $d$-polytopes with $n$ facets, admit $d$ independent monotone paths from source to sink if $d \le 4$. This was previously only known to hold for $d\le 3$ and $n\le 6$.
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.
The family of 2-level matroids, that is, matroids whose base polytope is 2-level, has been recently studied and characterized by means of combinatorial properties. 2-level matroids generalize series-parallel graphs, which have been already successfully analyzed from the enumerative perspective. We bring to light some structural properties of 2-level matroids and exploit them for enumerative purposes. Moreover, the counting results are used to show that the number of combinatorially non-equivalent (n-1)-dimensional 2-level polytopes is bounded from below by $c \cdot n^{-5/2} \cdot ρ^{-n}$, wher…
We give a quantum-inspired $O(n^4)$ algorithm computing the Tutte polynomial of a lattice path matroid, where $n$ is the size of the ground set of the matroid. Furthermore, this can be improved to $O(n^2)$ arithmetic operations if we evaluate the Tutte polynomial on a given input, fixing the values of the variables. The best existing algorithm, found in 2004, was $O(n^5)$, and the problem has only been known to be polynomial time since 2003. Conceptually, our algorithm embeds the computation in a determinant using a recently demonstrated equivalence of categories useful for counting problems s…
Nested matroids were introduced by Crapo in 1965 and have appeared frequently in the literature since then. A flat of a matroid $M$ is Hamiltonian if it has a spanning circuit. A matroid $M$ is nested if and only if its Hamiltonian flats form a chain under inclusion; $M$ is laminar if and only if, for every $1$-element independent set $X$, the Hamiltonian flats of $M$ containing $X$ form a chain under inclusion. We generalize these notions to define the classes of $k$-closure-laminar and $k$-laminar matroids. This paper focuses on structural properties of these classes noting that, while the s…
Let $\mathcal{N}$ be a set of matroids. A matroid $M$ is strictly $\mathcal{N}$-fragile if $M$ has a member of $\mathcal{N}$ as minor and, for all $e \in E(M)$, at least one of $M\backslash e$ and $M/e$ has no minor in $\mathcal{N}$. In this paper we give a structural description of the strictly $\{U_{2,5},U_{3,5}\}$-fragile matroids that have six inequivalent representations over $\mathrm{GF}(5)$. Roughly speaking, these matroids fall into two classes. The matroids without an $\{X_8, Y_8, Y_8^{*}\}$-minor are constructed, up to duality, from one of two matroids by gluing wheels onto specified…
We consider the problem of determining $m_n$, the number of matroids on $n$ elements. The best known lower bound on $m_n$ is due to Knuth (1974) who showed that $\log \log m_n$ is at least $n-3/2\log n-1$. On the other hand, Piff (1973) showed that $\log\log m_n\leq n-\log n+\log\log n +O(1)$, and it has been conjectured since that the right answer is perhaps closer to Knuth's bound. We show that this is indeed the case, and prove an upper bound on $\log\log m_n$ that is within an additive $1+o(1)$ term of Knuth's lower bound. Our proof is based on using some structural properties of non-bases…
Let $M$ be a 3-connected matroid, and let $N$ be a 3-connected minor of $M$. We say that a pair $\{x_1,x_2\} \subseteq E(M)$ is $N$-detachable if one of the matroids $M/x_1/x_2$ or $M \backslash x_1 \backslash x_2$ is both 3-connected and has an $N$-minor. This is the first in a series of three papers where we describe the structures that arise when it is not possible to find an $N$-detachable pair in $M$. In this paper, we prove that if $M$ has no $N$-detachable pairs, then either $M$ has a 3-separating set, which we call $X$, with certain strong structural properties, or $M$ has one of three…
Let $M$ be a 3-connected matroid, and let $N$ be a 3-connected minor of $M$. A pair $\{x_1,x_2\} \subseteq E(M)$ is $N$-detachable if one of the matroids $M/x_1/x_2$ or $M \backslash x_1 \backslash x_2$ is both 3-connected and has an $N$-minor. This is the second in a series of three papers where we describe the structures that arise when it is not possible to find an $N$-detachable pair in $M$. In the first paper in the series, we showed that, under mild assumptions, either $M$ has an $N$-detachable pair, $M$ has one of three particular 3-separators that can appear in a matroid with no N-deta…
We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the acti…
This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry. For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal poly- nomial in classical Galois theory, and studying the matroid structure with multivariate methods. For (b) matroid…
We find the excluded minors for the minor-closed class of lattice path polymatroids as a subclass of the minor-closed class of Boolean polymatroids. Like lattice path matroids and Boolean polymatroids, there are infinitely many excluded minors, but they fall into a small number of easily-described types.
Interaction between skew-representability, tensor products, extension properties, and rank inequalities
ELTE Eötvös Loránd University（罗兰大学）；HUN-REN Alfréd Rényi Institute of Mathematics（匈牙利科学院阿尔弗雷德·雷尼数学研究所）；Universitat Politècnica de Catalunya（加泰罗尼亚理工大学）；London School of Economics and Political Science（伦敦政治经济学院）
