Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Matroids come with a rich enumerative theory. Mostly, this can be attributed to the deletion-contraction paradigm that is inherent to matroid theory and that culminates in the existence of the Tutte polynomial; see [23, Chap. 6]. Other objects encoding valuable enumerative properties can be associated to matroids. Trivially, the collection of independent sets \(\mathcal {I}(M)\) of a matroid M is a simplicial complex, whose number of faces of various dimensions and topological features give enumerative invariants of M. Far less trivial are Brylawski’s broken circuit complexes [5]. Built on ideas of Whitney, these are simplicial complexes associated to matroids with a totally ordered groundset. Their enumerative and topological properties explain many combinatorial characteristics of the underlying matroid [23, Chap. 7]. Both complexes, the independence as well as the broken circuit complex, can be constructed from a deletion-contraction-type process. The goal of this paper is to define and study a new class of simplicial complexes associated to matroids and to showcase their combinatorial structure.
Our simplicial complexes are motivated by Gröbner bases theory: Let \(V \subseteq \{0,1\}^{n}\) be a 0/1-point configuration and ≼ a term order on \(\mathbb {R}[x_{1},\dots ,x_{n}]\). The standard monomials of the vanishing ideal I(V ) are squarefree and thus encode a simplicial complex that we call the standard complex \(\mathcal {S}_{\preceq }(V)\) of V. A matroid M on groundset \([n] := \{1,2,\dots ,n\}\) is canonically represented by its basis configuration \(V_{M} \subset \{0,1\}^{n}\) and we define its standard complex as \(\mathcal {S}_{\preceq }(M) := \mathcal {S}_{\preceq }(V_{M})\).
Encoding and studying combinatorial objects by means of zero-dimensional ideals and Gröbner bases has a long history; see [2, 7, 11, 13, 15, 17, 19] for a non-exhaustive selection. In particular [13] emphasizes the use of standard monomials but the point of view of simplicial complexes and matroids has been largely neglected. Let us highlight some of the interesting properties of standard complexes of matroids: For any term order ≼, the standard complex \(\mathcal {S}_{\preceq }(M)\) is a subcomplex of the independence complex \(\mathcal {I}(M)\) of M (Corollary 2.5) and its number of faces is precisely the number of bases of M (Corollary 2.3). Moreover, the standard complex is invariant under matroid duality, that is, \(\mathcal {S}_{\preceq }(M) = \mathcal {S}_{\preceq }(M^{\ast })\), where M∗ is the matroid dual to M (Proposition 2.6).
For a nonempty matroid M, we write m(M) for the largest element in its groundset \(E \subseteq \mathbb {N}\), and we write \(\mathcal {S}_{\mathsf {lex}}(M)\) for the standard complex with respect to the lexicographic term order such that x1 ≻ x2 ≻⋯. Then the standard complex has the following deletion-contraction-type decomposition. Recall that for a simplicial complex K and v not a vertex of K, the cone of K with apex v is the complex v ∗ K := K ∪{v ∪ σ : σ ∈ K}.
Theorem 1.1
Let M be a matroid and m = m(M). If m is not a loop or coloop, then
Otherwise, we have
If \(M = \{\varnothing \}\), then \(\mathcal {S}_{\mathsf {lex}}(M) = \{ \varnothing \}\). This gives a recursive definition of \(\mathcal {S}_{\mathsf {lex}}(M)\).
Recall that for a map f : X → Y between topological spaces, the mapping cone is the topological space Y ⊔f(X)cone(f(X)). Thus Theorem 1.1 states that \(\mathcal {S}_{\mathsf {lex}}(M)\) is the mapping cone associated to the inclusion
Theorem 1.1 also has the following combinatorial consequence. Let \({\mathscr{M}}\) be the collection of matroids with groundsets contained in \(\mathbb {N}\) and write \({\mathscr{B}}(M)\) for the collection of bases of a matroid \(M \in {\mathscr{M}}\).
Corollary 1.2
There is a unique family \(\{ {\varLambda }_{M} \}_{M \in {\mathscr{M}}}\) of bijections
such that for every \(M \in {\mathscr{M}}\), m = m(M), and \(B \in {\mathscr{B}}(M)\) one has
In Section 3, we prove Theorem 1.1 and recursively construct the bijection in Corollary 1.2 explicitly.
We call a subclass \({\mathscr{M}}^{\prime } \subseteq {\mathscr{M}}\) of matroids such that \(M \backslash m(M), M / m(M) \in {\mathscr{M}}^{\prime }\) for every \(M \in {\mathscr{M}}^{\prime }\)max-minor-closed and observe that Corollary 1.2 provides a tool to understand the standard complex for matroids in the class \({\mathscr{M}}^{\prime }\) by explicitly constructing a family \(\{{\varLambda }_{M}\}_{M\in {\mathscr{M}}^{\prime }}\) of bijections and then showing that this family has the proposed properties.
In the second part of the paper, we implement this idea in the case of the (max-)minor-closed class of lattice path matroids. Lattice paths in \(\mathbb {Z}^{2}\) with only north or east steps are partially ordered by ‘staying weakly below’. It was noted by Bonin, de Mier, and Noy [4] that the collection of lattice paths between two bounding paths U (for upper boundary) and L (for lower boundary) with common endpoints are the bases for a (transversal) matroid, called a lattice path matroid. The combinatorics of lattice path matroids (and lattice path in general) has been of considerable interest in recent years; see, for example, [1, 3, 9, 12, 21, 22]. It turns out that our construction of compatible bijections on the (max-)minor-closed class of lattice path matroids relates to classical bijective combinatorics. We explicitly describe the family ΛM in this case in Section 4; it can be nicely described in terms of lattice path combinatorics and is a well-known statistic in certain cases (Theorems 4.4 and 4.8). Surprisingly, we will observe that the bijection in the case of lattice path matroids does only depend on the lower boundary rather than on the complete set of bases in this case (Corollary 4.9). For trivial lower and upper boundaries, the standard complex in question appeared already in the literature and was discussed in [2], see also [11, Theorem 1.2].
2 0/1-Configurations and Standard Complexes
Let \(\mathbb {R}[\mathbf {x}] = \mathbb {R}[x_{1},\dots ,x_{n}]\) be the polynomial ring in n variables. A term order on the collection of monomials \(\text {Mon}_{n} = \{\mathbf {x}^{\alpha } : \alpha \in \mathbb {N}^{n}\}\) is a total order ≼ such that 0 ≼xα and xα ≼xβ implies xαxγ ≼xβxγ for all \(\alpha ,\beta ,\gamma \in \mathbb {N}^{n}\). For a given term order ≼ and polynomial f≠ 0, we denote by in≼(f) the leading term of f and for an ideal \(I \subseteq \mathbb {R}[\mathbf {x}]\) the initial ideal in≼(I) is the monomial ideal spanned by {in≼(f) : f ∈ I,f≠ 0}. The standard monomials of I with respect to ≼ are \(\text {Std}_{\preceq }(I) := \{ \mathbf {x}^{\alpha } : \mathbf {x}^{\alpha } \not \in \text {in}_{\preceq }(I)\}\). This is a possibly infinite collection of monomials closed under divisibility. If I = I(A) is the vanishing ideal of a algebraic variety \(A \subset \mathbb {R}^{n}\), then Std≼(I) is a basis for the vector space of polynomial functions \(\mathbb {R}[A] := \mathbb {R}[\mathbf {x}]/I\) on A. Every finite collection of points \(V \subset \mathbb {R}^{n}\) is an algebraic variety and the knowledge of Std≼(I(V )) is of the essence for example in polynomial optimization [13] or the design of experiments [19]. We refer the reader to the wonderful book [6] for Gröbner basis theory in general.
If \(V \subseteq \{0,1\}^{n}\) is a 0/1-point configuration, then \({x_{i}^{2}} - x_{i}\) vanishes on V for every i. Independent of the term order, we have \({x^{2}_{i}} \in \text {in}_{\preceq }(I(V))\) which shows that
Proposition 2.1
If V is a 0/1-point configuration, then Std≼(I(V )) is a collection of squarefree monomials.
For \(\tau \subseteq [n]\), let us write \(\mathbf {x}^{\tau } = {\prod }_{i \in \tau } x_{i}\). In light of the previous proposition, we define the standard complex of a 0/1-configuration V with respect to a term order ≼ as
For a finite configuration \(V \subset \mathbb {R}^{n}\), every function \(f : V \to \mathbb {R}\) is the restriction of a polynomial on \(\mathbb {R}^{n}\). This shows that \(\mathbb {R}[V] \cong \mathbb {R}^{V}\) and gives us
Proposition 2.2
For any 0/1-configuration \(V \subseteq \{0,1\}^{n}\), the standard complex \(\mathcal {S}_{\preceq }(V)\) is a simplicial complex on [n] with \(|\mathcal {S}_{\preceq }(V)| = |V|\).
Let M be a rank-r matroid on groundset [n] and let \({\mathscr{B}}(M)\) be its collection of bases. The basis configuration of M is the point configuration
where eB is the characteristic vector of \(B \subseteq [n]\). This is precisely the collection of vertices of the matroid base polytope PM of M that gives a prominent geometric representation of M; see [8, 18]. For a term order ≼, we write \(\mathcal {S}_{\preceq }(M) := \mathcal {S}_{\preceq }(V_{M})\). We record the following consequence of Proposition 2.2.
Corollary 2.3
For any matroid M we have \(|\mathcal {S}_{\preceq }(M)| = |{\mathscr{B}}(M)|\) for any term order ≼.
Recall that the circuits \(\mathcal {C}(M)\) of M are the inclusion-minimal sets \(C \subseteq [n]\) such that \(C \not \in \mathcal {I}(M)\).
Proposition 2.4
([10, Prop. 4.3.]) Let M be rank-r matroid on groundset [n]. Then the vanishing ideal of VM is generated by the polynomials \({x_{i}^{2}} - x_{i}\) for \(i = 1,\dots ,n\) as well as x1 + ⋯ + xn − r and xC for \(C \in \mathcal {C}(M)\).
Proposition 2.4 now implies that I(VM) contains the Stanley–Reisner ideal [16] of the independence complex \(\mathcal {I}(M)\), which gives the following result.
Corollary 2.5
Let M be a matroid on groundset [n] and ≼ a term order. Then \(\mathcal {S}_{\preceq }(M) \subseteq \mathcal {I}(M)\) is a subcomplex.
Proof
Note that \(\mathbf {x}^{C} \in \text {in}_{\preceq }(I(V_{M}))\) for \(C \in \mathcal {C}(M)\) independent of the term order. Thus \(\mathcal {S}_{\preceq }(M)\) is a collection of sets \(\tau \subseteq [n]\) such that \(C \not \subseteq \tau \) for all \(C \in \mathcal {C}(C)\). This means that τ is an independent set of M. □
The matroid M∗ dual to M is the matroid with bases \({\mathscr{B}}(M^{\ast }) = \{ [n] \setminus B : B \in {\mathscr{B}}(M)\}\).
Proposition 2.6
Let M be a matroid and ≼ a term order. Then \(\mathcal {S}_{\preceq }(M) = \mathcal {S}_{\preceq }(M^{\ast })\).
It follows from the definition that \(V_{M^{\ast }} = (1,\dots ,1) - V_{M}\). The next lemma then yields Proposition 2.6. Denote by Ti the reflection in the hyperplane \(\{\mathbf {x} : x_{i} = \frac {1}{2} \}\). Thus Ti maps v ∈{0,1}n to \((v_{1},\dots ,v_{i-1}, 1 - v_{i}, v_{i+1},\dots , v_{n}) \in \{0,1\}^{n}\).
Lemma 2.7
Let V ⊂{0,1}n be a 0/1-configuration. Then \(\mathcal {S}_{\preceq }(V) = \mathcal {S}_{\preceq }(T_{i}(V))\) for every \(i = 1,\dots ,n\).
Proof
Note that Ti acts on \(\mathbb {R}[\mathbf {x}]\) by \(T_{i}(f)(x_{1},\dots ,x_{n}) = f(x_{1},\dots ,x_{i-1},1-x_{i},x_{i+1},\dots ,x_{n})\). In particular I(Ti(V )) = Ti(I(V )). Let xα be a monomial. Then \(T_{i}(\mathbf {x}^{\alpha }) - \mathbf {x}^{\alpha }\) is a polynomial all whose terms strictly divide xα and thus are strictly smaller in any term order. It follows that \(\text {in}_{\preceq }(I(V)) \subseteq \text {in}_{\preceq }(I(T_{i}(V)))\) and thus \(\mathcal {S}_{\preceq }(V) \subseteq \mathcal {S}_{\preceq }(T_{i}(V))\). However \(|V| = |T_{i}(V)| = |\mathcal {S}_{\preceq }(T_{i}(V))| \ge |\mathcal {S}_{\preceq }(V)| = |V|\), which proves the claim. □
3 Lex Order, Mapping Cones, and Bijections
Let ≼ be the lexicographic term order with x1 ≻ x2 ≻⋯ ≻ xn. That is xα ≺xβ if for the smallest i for which αi≠βi we have αi > βi. The lexicographic order is strongly tied to elimination in ideals and projections of algebraic sets [6, Chap. 3] and lends itself to inductive or recursive arguments.
For a 0/1-configuration \(V \subseteq \{0,1\}^{n}\), we define
The following lemma gives a recursive description of the standard monomials for a 0/1-point configuration. The recursive structure of standard monomials with respect to the lexicographic term order has been noted in various contexts; see, for example [14] for the description of the standard monomials for general point sets and the discussions in the last section of that paper. In the context of VC-dimensions, Anstee, Rónyai, and Sali call \(\mathcal {S}_{\mathsf {lex}}(V)\) order shattering and give a similar recursive description (and proof) in Theorem 4.3 of [2].
Lemma 3.1
Let V ⊂{0,1}n be a non-empty 0/1-configuration and let ≺ be the lexicographic term order with x1 ≻ x2 ≻⋯ ≻ xn. Then
Proof
Let us denote the right-hand side by \(\mathcal {S}'\). We first show that if \(\tau \not \in \mathcal {S}^{\prime }\), then there is a polynomial fτ ∈ I(V ) with \(\text {in}_{\preceq }(f_{\tau }) = \mathbf {x}^{\tau }\). Let \(\tau \not \in \mathcal {S}^{\prime }\) be inclusion-minimal. If n∉τ, then \(\tau \not \in \mathcal {S}_{\mathsf {lex}}(V^{0}) \cup \mathcal {S}_{\mathsf {lex}}(V^{1})\) and there are polynomials \(f^{i}_{\tau } \in I(V^{i})\) with leading term xτ for i = 0,1. By virtue of the lexicographic term order, the polynomial \(f_{\tau } = (1-x_{n})f^{0}_{\tau } + x_{n} f^{1}_{\tau }\) also has leading term xτ and vanishes on V.
If n ∈ τ, then σ := τ ∖{n} is contained in, say, \(\mathcal {S}_{\mathsf {lex}}(V^{1})\). Now, σ cannot be contained in \(\mathcal {S}_{\mathsf {lex}}(V^{0})\) as well, as it would imply \(\tau \in n \ast (\mathcal {S}_{\mathsf {lex}}(V^{0}) \cap \mathcal {S}_{\mathsf {lex}}(V^{1})) \subseteq \mathcal {S}^{\prime }\). Hence, there is a polynomial \(f^{0}_{\sigma } \in I(V^{0})\) with leading term σ. Consequently, the polynomial \(f_{\tau } := (x_{n}-1)f^{0}_{\sigma }\) has leading term xτ and vanishes on V.
Let \(I^{\prime } \subseteq I(V)\) be the ideal generated by the polynomials fτ for \(\tau \not \in \mathcal {S}^{\prime }\). Then
On the other hand, we have \(|\mathcal {S}^{\prime }| = |\mathcal {S}_{\mathsf {lex}}(V^{0})| + |\mathcal {S}_{\mathsf {lex}}(V^{1})| = |V^{0}| + |V^{1}| = |V|\). This shows that \(I^{\prime } = I(V)\) and proves the claim. □
If \(V = \varnothing \), then \(\mathcal {S}_{\mathsf {lex}}(V) = \varnothing \). On the other hand, if |V | = 1, then \(\mathcal {S}_{\mathsf {lex}}(V) = \{ \varnothing \}\). This gives starting conditions for a recursive computation of \(\mathcal {S}_{\mathsf {lex}}(V)\) for general \(V \subseteq \{0,1\}^{n}\). In this case, we can rephrase Lemma 3.1 as follows, which also yields (1.1).
Corollary 3.2
Let \(V \subseteq \{0,1\}^{n}\). Then \(\mathcal {S}_{\mathsf {lex}}(V)\) is the mapping cone for the inclusion
Let M be a matroid with groundset [n]. If n is neither a loop nor a coloop, then M ∖ n is the matroid with bases \(B \in {\mathscr{B}}(M)\) with n∉B. The contraction is the matroid M/n with bases B ∖ n for \(B \in {\mathscr{B}}(M)\) and n ∈ B. It follows that if V = VM is the basis configuration of a matroid M, then V0 = VM∖n ×{0} and V1 = VM/n ×{1}. This shows Theorem 1.1. Note that if n is a loop, then \(V^{1} = \varnothing \) whereas if n is a coloop, then \(V^{0} = \varnothing \).
Lemma 3.1 also gives us a way to prove Corollary 1.2.
Proof Proof of Corollary 1.2
For \(M = \{\varnothing \} \in {\mathscr{M}}\), we have \({\mathscr{B}}(M) = \{\varnothing \} = \mathcal {S}_{\mathsf {lex}}(M)\) and set \({\varLambda }_{M}( \varnothing ) := \varnothing \).
For a nonempty matroid \(M \in {\mathscr{M}}\) with m = m(M), we assume by induction that ΛM∖m and ΛM/m are bijections with the desired properties. Let \(B \in {\mathscr{B}}(M)\). If m∉B, then \(B \in {\mathscr{B}}(M\backslash m)\) and we set ΛM(B) := ΛM∖m(B). If m ∈ B, then \(B \in {\mathscr{B}}(M/m)\) and let τ := ΛM/m(B ∖ m). If \(\tau \not \in \mathcal {S}_{\mathsf {lex}}(M \setminus m)\), then we set ΛM(B) := τ. Otherwise, we set ΛM(B) := τ ∪{m}. It follows from Lemma 3.1 that this is well-defined and a bijection from \({\mathscr{B}}(M)\) to \(\mathcal {S}_{\mathsf {lex}}(M)\). It also follows from Lemma 3.1 that ΛM is the unique bijection for \(M \in {\mathscr{M}}\) also satisfying \({\varLambda }_{M}(B) \subseteq B\). □
4 Standard Complexes for Lattice Path Matroids
In this section, we discuss the proposed bijection in Corollary 1.2 for the max-minor class of lattice path matroids. As we see below, this bijection closely relates to classical bijective combinatorics on lattice paths.
A lattice path C from (0,0) to (d,n − d) in \(\mathbb {Z}^{2}\) is a sequence of d east steps e in direction (1,0) and n − d north steps n in direction (0,1). We denote the collection of all such path by \({\mathscr{L}}_{n,d}\). A path \(C \in {\mathscr{L}}_{n,d}\) may be represented as a word in {e,n}, and we refer to its i-th letter as Ci. We refer to the actual line segment of a step in \(\mathbb {R}^{2}\) between its endpoints as its realization. For later reference, we also define a diagonal step d in direction (1,1) and an empty step ε.
Say that U is weakly above L for \(U,L \in {\mathscr{L}}_{n,d}\) if U never goes below L. In terms of words this means that every prefix L contains at least as many east steps as the corresponding prefix of U. For two such paths, let \({\mathscr{L}}[U,L] \subseteq {\mathscr{L}}_{n,d}\) be the set of all lattice paths weakly between U and L, i.e, weakly below U and weakly above L. We refer to U as the upper boundary of \({\mathscr{L}}[U,L]\) and to L as the lower boundary.
If n and d are fixed, then we may identify \(L \in {\mathscr{L}}_{n,d}\) by its ordered collection of east steps E(L) = {l1 < ⋯ < ld}. If \(U \in {\mathscr{L}}_{n,d}\) with E(U) = {u1 < ⋯ < ud}, then U is weakly above L if and only if
We denote this by E(L) ≤compE(U).
It was observed by Bonin, de Mier, and Noy [4] that the collection of lattice path between U and L give rise to a matroid. The special case of Dyck paths was studied by Ardilla [1]. Let \(U,L \in {\mathscr{L}}_{n,d}\) with U weakly above L. Then
is the collection of bases of a matroid M[U,L] on groundset [n], called a lattice path matroid. The collection \({\mathscr{M}}\) of lattice path matroids is closed under deletion, contraction, and duality.
We denote the lexicographic standard complex of M[U,L] by \(\mathcal {S}_{\mathsf {lex}}[U,L] := \mathcal {S}_{\mathsf {lex}}(M[U,L])\). Let
be the bijection of Corollary 1.2. For a lattice path \(C \in {\mathscr{M}}[U,L]\) we thus have
The goal of this section is to make this selection of east steps explicit by means of lattice path combinatorics. Concretely, this means to find a combinatorial statistic st associating to each path \(C \in {\mathscr{L}}[U,L]\) a subset st(C) of its east steps E(C) such that Λ(E(C)) = st(C).
4.1 Simple Version of Main Theorem
As a warm-up, we provide a description for the special case of the trivial lower boundary
For a path \(C \in {\mathscr{L}}_{n,d}\), the statistic st(C) is obtained by marking certain east steps as follows: scan through the word of C from left to right and mark the step Ci = e if there are as many n’s to the left of position i as there are unmarked e’s. See Example 4.2 for an example of this marking process. As indicated in Fig. 1, one may interpret the marked and unmarked east steps of a path C as well graphically by drawing the Ltr-marking path of C. This path, \(\text {mark}_{L^{tr}}(C)\), of total length d consists of east steps e and diagonal steps d. It starts at (0,0) and uses diagonal steps whenever possible without going above the path C, and otherwise uses east steps. The marked east steps of C are then those whose realizations are also east steps of the marking path \(\text {mark}_{L^{tr}}(C)\).
Definition 4.1
(Combinatorial statistic, simple version) Mark east steps of \(C \in {\mathscr{L}}_{n,d}\) using the Ltr-marking path \(P = \text {mark}_{L^{tr}}(C)\). Then
is the unmarked east steps in C.
Example 4.2
We mark the path \(C \in {\mathscr{L}}_{18,10}\) in Fig. 1 as
and obtain
Note that \(\text {st}_{L^{tr}}(C)\) is constructed in a greedy-like manner and, more over, is independent of the upper boundary U.
Remark 4.3
As observed using the statistics database FindStat [20], one may as well define \(\text {st}_{L^{tr}}(C)\) using the following hook placements in the area between C and the lower boundary Ltr. Scan the columns below a given path \(C \in {\mathscr{L}}_{n,d}\) from left to right and place, if possible, the corner box of a south-east hook into the north-most box below C in that column that is not already covered by other hooks. The columns of the placed corner boxes are then exactly the columns that contribute to the statistic. We refer to Fig. 2 for an example of this procedure.
Theorem 4.4 (Simple version)
Let \(U \in {\mathscr{L}}_{n,d}\) and let \({\varLambda } = {\varLambda }_{M[U,L^{tr}]}\). Then
In particular, the standard complex in this case can be described as
4.2 General Version of Main Theorem
After having given the simple version of the statistic for the trivial lower boundary Ltr, we modify the definition of the marking path depending on the given lower boundary by introducing another intermediate path. We remark that it seems to be not possible to give a description in terms of hook placements as in Remark 4.3 for this general situation of non-trivial lower bounds.
Let \(C,L \in {\mathscr{L}}_{n,d}\) with C weakly above L. The L-demarcation path of C, demL(C), is defined to start at (0,0) with steps
Graphically, this means that demL(C) starts at (0,0) and then is obtained by combining the e-coordinate of L with the n-coordinate of C. In particular, this implies that the L-demarcation path of C is weakly between L and C.
Example 4.5
The L-demarcation path demL(C) of the path \(C \in {\mathscr{L}}_{21,11}\) in Fig. 3 relative to the given lower boundary \(L \in {\mathscr{L}}_{21,11}\) is:
Let \(C,L \in {\mathscr{L}}_{n,d}\) with C weakly above L. The L-marking path of C, markL(C), consists of diagonal steps d, east steps e and north steps n. It goes from (0,0) to (d,n − d) and uses diagonal steps whenever possible without going above the path C or below the L-demarcation path demL(C). If it would go above C, it uses an east steps instead, and if it would go below demL(C), it uses a north step instead. The marked east steps of C are then those whose realizations are also east steps of the marking path markL(C).
Definition 4.6
(Combinatorial statistic, general version) Let \(C,L \in {\mathscr{L}}_{n,d}\) with C weakly above L and mark east steps of C using the L-marking path P = markL(C). Then
is the unmarked east steps in C.
Example 4.7
We mark east steps in the path \(C \in {\mathscr{L}}_{21,11}\) in Fig. 3 relative to the given lower boundary \(L \in {\mathscr{L}}_{21,11}\) as
and obtain
Theorem 4.8 (General version)
Let \(U,L \in {\mathscr{L}}_{n,d}\) with U weakly above L and let Λ = ΛM[U,L]. Then
In particular, the standard complex in this case can be described as
Surprisingly, this combinatorial description yields the following property of the bijection Λ in the case of lattice path matroids.
Corollary 4.9
Let \(U,U^{\prime },L \in {\mathscr{L}}_{n,d}\) such that U is weakly above \(U^{\prime }\) and \(U^{\prime }\) is weakly above L. Then
In particular, \(\mathcal {S}_{\mathsf {lex}}[U^{\prime },L] \subseteq \mathcal {S}_{\mathsf {lex}}[U,L]\).
Proof
This is a direct consequence of Theorem 4.8. □
In light of Proposition 2.6, this theorem also yields the following open problem. For a path \(C \in {\mathscr{L}}_{n,d}\) we write \(C^{\ast } \in {\mathscr{L}}_{n,n-d}\) to be the path given by \(C^{\ast }_{i} = \mathbf {e}\) if Ci = n and vice versa.
Open problem 1
For \(U,L \in {\mathscr{L}}_{n,d}\) with U weakly above L, find a bijection
with the property that \(\text {st}_{L}(C) = \text {st}_{L^{\ast }}(\varphi (C))\) for all \(C \in {\mathscr{L}}[U,L]\).
Given \(J \in \mathcal {S}_{\mathsf {lex}}(M[U,L]) = \mathcal {S}_{\mathsf {lex}}(M[L^{\ast },U^{\ast }])\), we will see below how to construct the unique \(C \in {\mathscr{L}}[U,L]\) and the unique \(C^{\prime } \in {\mathscr{L}}[L^{\ast },U^{\ast }]\) with \(\text {st}_{L}(C) = \text {st}_{U^{\ast }}(C^{\prime }) = J\). The open problem is thus to provide a bijection without referring to the set J in the first place. By definition, the bijection in question must send L to U∗ and U to L∗. In particular, it is not the obvious bijection C↦C∗.
4.3 Proof of Theorems 4.4 and 4.10
Let \(U,L \in {\mathscr{L}}_{n,d}\) with U weakly above L and consider the obvious decomposition
where \({\mathscr{L}}[U,L]^{\mathbf {e}}\) and \({\mathscr{L}}[U,L]^{\mathbf {n}}\) denote all paths in \({\mathscr{L}}[U,L]\) ending in an east step or, respectively, in a north step. Observe that
We also write \({\mathscr{L}}[U,L]^{\mathbf e}_{\circ }\) and \({\mathscr{L}}[U,L]^{\mathbf n}_{\circ }\) for the corresponding paths with the last east or, respectively, north step removed. If they exist, these truncated paths may clearly again be realized as lattice paths between boundaries:
where \(U^{\mathbf {e}}_{\circ },L^{\mathbf {e}}_{\circ } \in {\mathscr{L}}_{n-1,d-1}\) and \(U^{\mathbf {n}}_{\circ },L^{\mathbf {n}}_{\circ } \in {\mathscr{L}}_{n-1,d}\) are obtained from U and L by respectively removing the last east or north step. (Note that in the first situation, the last east step of L might not be its last step and in the second, the last north step of U might not be its last step.)
Proof of Theorem 4.4.
We first prove that the simple version of the combinatorial statistic by showing the following theorem. Theorem 4.4 then follows with Theorem 1.1.
Theorem 4.10
Let \(U \in {\mathscr{L}}_{n,d}\) and set
We then have
We prove this theorem in several steps and refer to Fig. 4 for graphical illustrations of the given arguments.
Lemma 4.11
Let \(C \in {\mathscr{L}}_{n,d}\) with \(\text {st}_{L^{tr}}(C) = \{j_{1} < {\dots } < j_{\ell }\}\). Then
Proof
We have \(\text {st}_{L^{tr}}(C) \subseteq \mathbf {E}(C)\) and therefore \(\ell = |\text {st}_{L^{tr}}(C)| \leq |\mathbf {E}(C)| = d\). Moreover, the marking path \(\text {mark}_{L^{tr}}(C)\) consists of ℓ diagonal steps and of d − ℓ east steps and thus ends at the point (d,ℓ). Because C ends at (d,n − d) and is weakly above \(\text {mark}_{L^{tr}}(C)\), we also have ℓ ≤ n − d or, equivalently, d ≤ n − ℓ.
The second property jk ≥ 2k follows from the observation that, if there was a smallest k with jk < 2k, the realization of the jk-th step (which is an east step) in the path C would also be an east step of its marking path \(\text {mark}_{L^{tr}}(C)\) and thus \(j_{k} \notin \text {st}_{L^{tr}}(C)\). □
Lemma 4.12
Fix n,d and \(J \subseteq \{1,\dots ,n\}\) with |J| = ℓ such that ℓ ≤ d < n − ℓ. Then there is an explicit bijection
Proof
Let \(C \in {\mathscr{L}}_{n,d}\) such that \(|\text {st}_{L^{tr}}(C)| = \ell \). As we have already seen in the proof of Lemma 4.11, the marking path of C ends at (d,ℓ). Because C ends at (d,n − d) and ℓ < n − d, the path C contains a unique last north step whose realization starts on the marking path. Replacing this north step by an east step yields a path \(C^{\prime } \in {\mathscr{L}}_{n,d+1}\) for which \(\text {st}_{L^{tr}}(C^{\prime }) = \text {st}_{L^{tr}}(C)\).
On the other hand, let \(C^{\prime } \in {\mathscr{L}}_{n,d+1}\) such that \(|\text {st}_{L^{tr}}(C^{\prime })| = \ell \). Because d + 1 > ℓ, the path \(C^{\prime }\) contains a last east step whose realization is also an east step of its marking path \(\text {mark}_{L^{tr}}(C^{\prime })\). Replacing this east step by a north step yields a path \(C \in {\mathscr{L}}_{n,d}\) with \(\text {st}_{L^{tr}}(C) = \text {st}_{L^{tr}}(C^{\prime })\).
Those two operations are inverses of each other and are thus the desired bijection. This can be seen as follows: Consider C and its marking path \(P = \text {mark}_{L^{tr}}(C)\), and also \(C^{\prime }\) and its marking path \(P^{\prime } = \text {mark}_{L^{tr}}(C^{\prime })\), and let i be the index of the north step in C that is replaced in \(C^{\prime }\) by an east step (or vice versa). Then the relative positions of C, P and, respectively, the relative positions of \(C^{\prime }\), \(P^{\prime }\) coincide, except that \(C^{\prime }\) is horizontally one step closer to \(P^{\prime }\) than C is to P. We refer to Fig. 4 for several examples. □
Proposition 4.13
Fix n,d and \(J = \{j_{1} < {\cdots } < j_{\ell }\} \subseteq \{1,\dots ,n\}\). Then there exists a path \(C \in {\mathscr{L}}_{n,d}\) with \(\text {st}_{L^{tr}}(C) = J\) if and only if the two conditions
are both satisfied. Moreover, the path with this property is unique in this case.
Proof
We have seen in Lemma 4.11 that these two conditions are both necessary for such a path to exist. For d = ℓ the (unique) path C with \(\mathbf {E}(C) = \{j_{1},\dots ,j_{\ell }\}\) has the desired property \(\text {st}_{L^{tr}}(C) = \mathbf {E}(C)\). It then follows with Lemma 4.12 that there exists, for any d with ℓ ≤ d ≤ n − ℓ, a unique path \(C^{\prime }\) in \({\mathscr{L}}_{n,d}\) with \(\text {st}_{L^{tr}}(C^{\prime }) = J\). (This path is obtained from \(C \in {\mathscr{L}}_{n,\ell }\) by multiple replacements of north steps by east steps as described.) □
Let \(U \in {\mathscr{L}}_{n,d}\). For the following treatment, we set
where \({\mathscr{L}}[U,L^{tr}]^{\mathbf {e},-}\) are the paths that go weakly below the diagonal through the point (n − d,d) and \({\mathscr{L}}[U,L^{tr}]^{\mathbf {e},+}\) is its complement in \({\mathscr{L}}[U,L^{tr}]^{\mathbf {e}}\). The sets \({\mathscr{L}}[U,L^{tr}]^{\mathbf {e},-}_{\circ }\) and \({\mathscr{L}}[U,L^{tr}]^{\mathbf {e},+}_{\circ }\) are obtained by removing the last east step.
Corollary 4.14
Let \(U \in {\mathscr{L}}_{n,d}\) with Un = e. Then
Proof
Let \(C \in {\mathscr{L}}[U,L^{tr}]^{\mathbf {e}}_{\circ } \subseteq {\mathscr{L}}_{n-1,d-1}\). Such a path exists by the assumption Un = e. Proposition 4.13 implies that there exists a (then unique) path in \({\mathscr{L}}_{n-1,d}\) with the same statistic value as C if and only if d ≤ n − 1 − ℓ. Let k be the number of marked east steps in C, this is, k = d − 1 − ℓ. Then d ≤ n − 1 − ℓ if and only if k ≥ 2d − n. This is the case if and only if \(C \in {\mathscr{L}}[U,L^{tr}]^{\mathbf {e},-}_{\circ }\). □
Proof Proof of Theorem 4.10
Consider the disjoint decomposition
Observe that the definition of the statistic implies for a path \(C \in {\mathscr{L}}[U,L^{tr}]\) that
If Un = n, we have \(S^{\mathbf e}_{{\mathscr{L}}} = \varnothing \) and thus \(S_{{\mathscr{L}}} = S^{\mathbf n}_{{\mathscr{L}}}\). Otherwise, we have Un = e and obtain
Proposition 4.14 now implies Theorem 4.10. □
Proof of Theorem 4.8
We next generalize and modify the arguments for the simple version to obtain the general version. We show the following theorem and Theorem 4.8 then follows with Theorem 1.1.
Theorem 4.15
Let \(U,L \in {\mathscr{L}}_{n,d}\) with U weakly above L and set
We then have
We first adapt the definition of the demarcation path and the marking path to the slightly more general setting of \(C \in {\mathscr{L}}_{n,d}\) and \(L \in {\mathscr{L}}_{n,d^{\prime }}\) with \(d \leq d^{\prime }\). The definition of C being weakly above L generalizes verbatim and \(d \leq d^{\prime }\) is a necessary condition in this case. One may then extend C and L by appending \(d^{\prime }-d\) many east steps to C and \(d^{\prime }-d\) many north steps to L to obtain two paths in \({\mathscr{L}}_{n+d^{\prime }-d,d^{\prime }}\). The definitions of the L-demarcation path and the L-marking path of C are given by using these extensions. Figure 5 shows one such example.
Unfortunately, we do not have an analogue of Lemma 4.11 in the general situation. We nonetheless still have the following lemma.
Lemma 4.16
Fix \(n,d<d^{\prime }\) and \(J \subseteq \{1,\dots ,n\}\) with |J| = ℓ ≤ d and \(L \in {\mathscr{L}}_{n,d^{\prime }}\). Then there is an explicit bijection
In the lemma, we mean by (d,n − d)∉markL(C) that the marking path markL(C) of C does not go through the endpoint (d,n − d) of C.
Proof
The proof of Lemma 4.12 generalizes verbatim: Let \(C \in {\mathscr{L}}_{n,d}\) be weakly above L such that |stL(C)| = ℓ. Because (d,n − d)∉markL(C), the path C contains a unique last north step whose realization start on the marking path markL(C). Replacing this north step by an east step yields a path \(C^{\prime } \in {\mathscr{L}}_{n,d+1}\) with \(\text {st}_{L}(C^{\prime }) = \text {st}_{L}(C)\) which is also weakly above L.
On the other hand, let \(C^{\prime } \in {\mathscr{L}}_{n,d+1}\) be weakly above L such that \(|\text {st}_{L}(C^{\prime })| = \ell \). Because d + 1 > ℓ, the path \(C^{\prime }\) contains a last east step whose realization is also an east step of its marking path \(\text {mark}_{L}(C^{\prime })\). Replacing this east step by a north step yields a path \(C \in {\mathscr{L}}_{n,d}\) with \(\text {st}_{L}(C) = \text {st}_{L}(C^{\prime })\) and (d,n − d)∉markL(C).
Those two operations are inverses of each other and are thus the desired bijection. This can be seen as follows: Consider C, D = demL(C) and M = markL(C), and also \(C^{\prime }\), \(D^{\prime } = \text {dem}_{L}(C^{\prime })\) and \(M^{\prime } = \text {mark}_{L}(C^{\prime })\), and let i be the index of the north step in C that is replaced in \(C^{\prime }\) by an east step (or vice versa). Then the relative positions of C, D, M and, respectively, the relative positions of \(C^{\prime }\), \(D^{\prime }\), \(M^{\prime }\) coincide, except that \(C^{\prime }\) is horizontally one step closer to \(D^{\prime }\) and to \(M^{\prime }\) than C is to D and to M. We refer to Fig. 5 for two examples. □
Proposition 4.17
Fix \(n,d < d^{\prime }\) and \(J \subseteq \{1,\dots ,n\}\). Let \(L \in {\mathscr{L}}_{n,d^{\prime }}\) such that the unique path \(E \in {\mathscr{L}}_{n,\ell }\) with E(C) = J is weakly above L. Set k to be the smallest nonnegative integer such that the point (ℓ + k,n − ℓ) is contained in markL(E). Then there exists \(C \in {\mathscr{L}}_{n,d}\) with stL(C) = J if and only if the two conditions
are both satisfied. Moreover, the path with this property is unique in this case.
Proof
We have seen in Lemma 4.16 that these two conditions are both necessary and sufficient for such a path to exist. The uniqueness is also a direct consequence of the previous lemma because the path E is obviously the unique path in \({\mathscr{L}}_{n,\ell }\) with stL(E) = J = E(E). □
One may easily check that Proposition 4.17 indeed reduces to Proposition 4.13 for the trivial lower bound. The parameter k introduced in the previous proposition is the horizontal distance between the path C and its marking path markL(C) at its final height n − ℓ. In the example on the bottom left in Fig. 5 this parameter is k = 2.
For the following treatment, we set
where
and \({\mathscr{L}}[U,L]^{\mathbf {e},-}_{\circ }\) are the paths in \({\mathscr{L}}[U,L]^{\mathbf {e},-}\) obtained by removing the final east step, and \({\mathscr{L}}[U,L]^{\mathbf {e},+}\) and \({\mathscr{L}}[U,L]^{\mathbf {e},+}_{\circ }\) are their complements. Observe here that we do not provide such a simple criterion to describe \({\mathscr{L}}[U,L]^{\mathbf {e},-}\) as we did in (4.1).
Corollary 4.18
We have
Proof
Let \(C \in {\mathscr{L}}[U,L]\) and let C∘ be the path obtained from C by removing the last step. We then have to show that n ∈stL(C) if and only if \(C_{\circ } \in {\mathscr{L}}[U,L]^{\mathbf e}_{\circ }\) and there exists a path \(D_{\circ } \in {\mathscr{L}}[U,L]^{\mathbf {n}}_{\circ }\) with stL(C∘) = stL(D∘).
We have that n ∈stL(C) if and only if \(C_{\circ } \in {\mathscr{L}}[U,L]^{\mathbf e}_{\circ }\) and (d − 1,n − d)∉markL(C∘). The claim follows with Proposition 4.17. □
Proof Proof of Theorem 4.15
Consider the decomposition
If Un = n, we have \(S^{\mathbf e}_{{\mathscr{L}}} = \varnothing \) and thus \(S_{{\mathscr{L}}} = S^{\mathbf n}_{{\mathscr{L}}}\) satisfies the proposed decomposition. The analogous consideration holds for Ln = e. Otherwise, we have Un = e, Ln = n and, by the definition of \({\mathscr{L}}[U,L]^{\mathbf {e},-}\), we obtain
Proposition 4.18 now implies Theorem 4.15. □
References
Ardila, F.: The Catalan matroid. J. Combin. Theory Ser. A 104, 49–62 (2003)
Anstee, R.P., Rónyai, L., Sali, A.: Shattering news. Gr. Combin. 18, 59–73 (2002)
Bonin, J.E., de Mier, A.: Lattice path matroids: Structural properties. Eur. J. Combin. 27, 701–738 (2006)
Bonin, J., de Mier, A., Noy, M.: Lattice path matroids: enumerative aspects and Tutte polynomials. J. Combin. Theory Ser. A 104, 63–94 (2003)
Brylawski, T.: The broken-circuit complex. Trans. Amer. Math. Soc. 234, 417–433 (1977)
Cox, D.A., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms, 4th edn. Springer, Cham (2015)
de Loera, J.A.: Gröbner bases and graph colorings. Beitr. Algebra Geom. 36, 89–96 (1995)
Edmonds, J.: Submodular functions, matroids, and certain polyhedra. In: Combinatorial Structures and Their Applications (Proc. Calgary Internat. Conf., Calgary, Alta., 1969), pp 69–87. Gordon and Breach, New York (1970)
Elizalde, S., Rubey, M.: Symmetries of statistics on lattice paths between two boundaries. Adv. Math. 287, 347–388 (2016)
Grande, F., Sanyal, R.: Theta rank, levelness, and matroid minors. J. Combin. Theory Ser. B 123, 1–31 (2017)
Hegedűs, G., Rónyai, L.: Gröbner bases for complete uniform families. J. Algebraic Combin. 17, 171–180 (2003)
Knauer, K., Martínez-Sandoval, L., Alfonsín, J.L.R.: On lattice path matroid polytopes: integer points and Ehrhart polynomial. Discrete Comput. Geom. 60, 698–719 (2018)
Laurent, M.: Semidefinite representations for finite varieties. Math. Program. 109, 1–26 (2007)
Lederer, M.: Finite sets of d-planes in affine space. J. Algebra 321, 3827–3849 (2009)
Lovász, L.: Stable sets and polynomials. Discrete Math. 124, 137–153 (1994)
Miller, E., Sturmfels, B.: Combinatorial Commutative Algebra. Graduate Texts in Mathematics, vol. 227. Springer, New York (2005)
Onn, S., Sturmfels, B.: Cutting corners. Adv. Appl. Math. 23, 29–48 (1999)
Postnikov, A.: Permutohedra, associahedra, and beyond. Int. Math. Res. Not. 2009, 1026–1106 (2009)
Robbiano, L.: Gröbner bases and statistics. In: Buchberger, B., Winkler, F (eds.) Gröbner Bases and Applications. London Mathematical Society Lecture Note Series, vol. 251, pp 179–204. Cambridge University Press, Cambridge (1998)
Rubey, M., Stump, C., et al.: FindStat - The combinatorial statistics database. http://www.FindStat.org, 2019. Accessed: December 2 (2021)
Schweig, J.: On the h-vector of a lattice path matroid. Electron. J. Combin. 17, 3 (2010)
Schweig, J.: Toric ideals of lattice path matroids and polymatroids. J. Pure Appl. Algebra 215, 2660–2665 (2011)
White, N. (ed.): Matroid Applications. Encyclopedia of Mathematics and its Applications, vol. 40. Cambridge University Press, Cambridge (1992)
Acknowledgements
Supported by DFG grant STU 563/4-1 “Noncrossing phenomena in Algebra and Geometry”. This project was initiated in 2016 at the Mathematical Institute of Freie Universität Berlin when the authors collaborated over the summer at the “villa” of the Discrete Geometry Group.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Open Access
This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Dedicated to Bernd Sturmfels on the occasion of his 60th birthday.
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Engström, A., Sanyal, R. & Stump, C. Standard Complexes of Matroids and Lattice Paths. Vietnam J. Math. 50, 763–779 (2022). https://doi.org/10.1007/s10013-021-00546-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10013-021-00546-z