Abstract
We introduce greedy weights of matroids, inspired by those for linear codes. We show that a Wei duality holds for two of these types of greedy weights for matroids. Moreover we show that in the cases where the matroids involved are associated to linear codes, our definitions coincide with those for codes. Thus our Wei duality is a generalization of that for linear codes given by Schaathun. In the last part of the paper we show how some important chains of cycles of the matroids appearing, correspond to chains of component maps of minimal resolutions of the independence complex of the corresponding matroids. We also relate properties of these resolutions to chainedness and greedy weights of the matroids, and in many cases codes, that appear.
Similar content being viewed by others
1 Introduction
For a linear code C over a finite field \(\mathbb {F}_q\) an important way to characterize the code is to decribe its parameters, the word length n, the dimension k, and the minimum distance d. A refinement of the minimum distance is the ordered set of the generalized Hammimg weights \(d_1,\ldots ,d_k,\) where \(d_i\) is the smallest support of any i-dimensional linear subcode of C, for \(i=1,\ldots ,k\). In particular \(d_1=d\). In the 1990’s (and early 2000’s) several authors (see e.g. [4,5,6,7, 18,19,20]) became interested not only in the individual subcodes of each dimension that where optimal with respect to (small) support size, but also in chains of codes that where somehow optimal, in a similar way. This gave rise to various definitions of greedy weights, which we will recall in Sect. 2.1. These weights are similar to, but in general different from, the generalized Hamming weights \(d_i\). The topic has attracted new interest in recent years [1, 13].
In [9] we described how the \(d_i\) are determined by certain properties of the matroid coming from any parity check matrix of the linear code. In the present paper we will describe how also the various greedy weights are determined by the matroids associated to the code. Since this description can be done for any finite matroid , we will define and describe greedy weights for finite matroids in general, and show that they coincide with those of linear codes when the matroids come from such codes. We will show a form of Wei duality relating certain weights of a matroid and its dual, inspired by a corresponding result for linear codes [19] or for (demi-)matroids [2, 12].
The spirit of the paper is the following: there is a poset of cycles of the matroid coming from any parity check matrix of the code, where a cycle is an inclusion minimal set among those subsets of \(E=\{1,\ldots ,n\}\) having a fixed nullity for the rank function in question. This is dual to (the upside down version of) the poset of flats of the matroid coming from any generator matrix of the code. We will show that the greedy weights correspond to optimal ways to traverse the nodes of this poset through maximal chains of it. We define a lexicographical and a rev-lexicographical order on these chains in order to make it precise in what sense they are optimal.
In the last part we relate our results to a more concrete way to traverse maximal chains via non-zero component maps in a minimal resolution of a certain Stanley–Reisner ring, where the components in each fixed step corresponds to the nodes of a corresponding fixed rank of the poset of cycles.
This paper is organized as follows. In Sect. 2 we will give some necessary definitions relating to codes and matroids. In Sect. 3 we will describe the greedy weights for matroids, relate to those of codes, and show our form of Wei duality, which is inspired by the corresponding Wei duality for codes, proven in [19]. In Sect. 4 we discuss the connection between resolutions of the Stanley–Reisner ring associated to the matroid or the code, and the greedy weights. We also discuss the notion of chained codes and chained matroids.
2 Definitions and notation
2.1 Generalized Hamming weights and greedy weights of codes
Definition 1
Let C be a [n, k] linear code over \(\mathbb {F}_q\). Let \(\varvec{c} = (c_1,\ldots ,c_n) \in C\). The Support of \(\varvec{c}\) is the set
Its weight is
Similarly, if \(T \subset C\), then its support and weight are
In [3] and [1] one describes and treats greedy weights of linear codes C over finite fields. First we recall the definitions of the generalized Hamming weights introduced by Wei [22]:
Definition 2
Let C be a [n, k]-linear code. For \(1 \leqslant r \leqslant k\), the rth generalized Hamming weight is
A subcode \(D \subset C\) computes \(d_r\) if it is of dimension r and weight \(d_r\).
Then, following the terminology of [18] or [20], we have the (bottom-up) greedy weights of a code:
Definition 3
Let C be a [n, k]-linear code. A (bottom-up) greedy 1-subcode is a subcode of dimension 1 of minimal weight. For \(r\geqslant 2\), a (bottom-up) greedy r-subcode is a subcode of dimension r containing a (bottom-up) greedy \((r-1)\)-subcode, and such that no other such subcode has lower weight.
Definition 4
Let C be a [n, k]-linear code. For \(1 \leqslant r \leqslant k\), the rth (bottom-up) greedy weight \(e_r\) of C is the weight of any (bottom-up) greedy r-subcode.
Remark 1
We have \(e_1=d_1\).
Also introduced by Schaathun [18, Definition 6] are the top down greedy weights:
Definition 5
Let C be a [n, k]-linear code. A top-down greedy k-subcode is C itself. For \(r\leqslant k-1\), a top-down greedy r-subcode is a subcode of dimension r contained in a top-down greedy \((r+1)\)-subcode, and such that no other such subcode has lower weight.
Definition 6
Let C be a [n, k]-linear code. For \(1 \leqslant r \leqslant k\), the rth top-down greedy weight \(\tilde{e}_r\) of C is the weight of any top-down greedy r-subcode.
Remark 2
We have \(\tilde{e}_k=d_k\) and \(\tilde{e}_{k-1}=d_{k-1}\).
Remark 3
Let \(\mathcal {F}\) be the set of towers of subcodes \(D_1\subset \cdots \subset D_k\) of C satisfying \(\dim D_i=i\). Alternative definitions for the bottom-up and top-down greedy weights would be
and
where lex and revlex are the lexicographic and reverse lexicographic orders respectively.
There is also another definition, used e.g by [1], essentially introduced in [7]:
Definition 7
Let C be a [n, k]-linear code. A CEZ greedy 1-subcode is a subcode of dimension 1 of minimal weight. For \(r\geqslant 2\), a CEZ greedy r-subcode is a subcode of dimension r containing a subcode that computes \(d_{r-1}\), and such that no other such subcode has lower weight.
Definition 8
Let C be a [n, k]-linear code. For \(1 \leqslant r \leqslant k\), the rth CEZ greedy weight \(g_r\) of C is the weight of any CEZ greedy r-subcode.
Remark 4
We have \(g_1=e_1=d_1\) and \(g_2=e_2\)
For more interesting material on this topic, see [4,5,6, 13, 18].
2.2 Matroids
A matroid is a combinatorial object that capture the essence of independence. Codewords of linear codes being dependence relations between the column vectors of any parity check matrix of the code, it is natural to look at the matroid associated to a linear code. In [9], we describe how important characteristics of the code can be given a matroidal interpretation. It turns out that matroid theory has important applications in, among other, graph theory, network theory, combinatorial optimization, topology, ...
There are many equivalent definitions of a matroid. We refer to [17] for a deeper study of the theory of matroids.
Definition 9
A matroid is a pair \(M=(E,r)\) where E is a finite set and \(r: 2^E \rightarrow \mathbb {N}\) is a function, called the rank function, satisfying
- (\(R_1\)):
-
If \(X \subset E\), then
$$\begin{aligned}0 \leqslant r(X) \leqslant |X|, \end{aligned}$$ - (\(R_2\)):
-
If \(X \subset Y \subset E\) then
$$\begin{aligned} r(X) \leqslant r(Y), \end{aligned}$$ - (\(R_3\)):
-
If X, Y are subsets of E, then
$$\begin{aligned} r(X \cap Y) + r(X \cup Y) \leqslant r(X) + r(Y). \end{aligned}$$The rank of the matroid is \(r(M)=r(E)\).
It is a well known fact the rank function of a matroid is unit rank increase, that is, if \(X \subset E\) and \(x \in E\), then
Definition 10
The nullity function of the matroid (E, r) is the function defined on \(2^E\) by: for \(X \subset E\),
The nullity function of a matroid is also unit rank increase. Moreover, it satisfies \((R_1)\), \((R_2)\) as well as
- (\(N_3\)):
-
If X, Y are subsets of E, then \(n(X \cap Y) + n(X \cup Y) \geqslant n(X) + n(Y)\)
for X, Y subsets of E.
Definition 11
Let \(M=(E,r)\) be a matroid. Then its dual matroid is the matroid \(\overline{M}=(E,\overline{r})\) where \(\overline{r}\) is defined by
for \(X \subset E\).
Some subsets of the ground set of a matroid will be of special interest in this paper:
Definition 12
Let (E, r) be a matroid. A subset \(X \subset E\) is dependent if
and independent if
A circuit is a inclusion minimal dependent set. We denote by \(\mathcal {I}\) and \(\mathcal {C}\) the sets of independent sets and circuits respectively.
For \(1 \leqslant i \leqslant |E|-r(M)\) will denote by \(\mathcal {N}_i\) the set
and by \(N_i\) the inclusion minimal elements of \(\mathcal {N}_i\). It is clear that
A cycle is an element of \(N_i\) for some i. Cycles can also be described as unions of circuits, and the nullity of the cycle is equal to the maximal number of non-redundant circuits in the cycle [9].
If C is a [n, k]-linear code given by a \((n-k) \times n\) parity check matrix H, then we can associate to it a matroid \(M_C=(E,r)\), where \(E=\{1,\ldots ,n\}\) and if \(X \subset E\), then
where \(H_X\) is the column submatrix of H indexed by X. It can be shown that this matroid is independent of the choice of the parity check matrix of the code, and we may thus call it the matroid of C.
2.3 Resolutions
If \(M=(E,r)\) is a matroid, then \((E,\mathcal {I})\) is naturally a simplicial complex (that is, \(\mathcal {I}\ne \emptyset \) and is closed under taking subsets). Let \(\mathbb {K}\) be a field. We can associate to M a monomial ideal \(I_M\) in \(S=\mathbb {K}[\{X_e\}_{e \in E}]\) defined by
where \(\varvec{X}^\sigma \) is the monomial product of all \(X_e\) for \(e \in \sigma \). This ideal is called the Stanley–Reisner ideal of M and the quotient \(S_M=S/I_M\) the Stanley–Reisner ring associated to M. We refer to [8] for the study of such objects. As described in [9] the Stanley–Reisner ring has minimal \(\mathbb {N}\) and \(\mathbb {N}^n\)-graded free resolutions
and
In particular the numbers \(\beta _{i,j}\) and \(\beta _{i,\alpha }\) are independent of the minimal free resolution, (and for a matroid also of the field \(\mathbb {K}\)) and are called respectively the \(\mathbb {N}\)-graded and \(\mathbb {N}^n\)-graded Betti numbers of the matroid. Note also that if \(\alpha \not \in \{0,1\}^n\), then \(\beta _{i,\sigma }=0\) [15, Corollary 1.40]. We have
We also note that \(\beta _{0,0}=1\).
We will also frequently use ([9, Theorem 1], first part):
Theorem 1
Let C be a [n, k]-code over \(\mathbb {F}_q\). The \(\mathbb {N}\)-graded Betti numbers of the matroid \(M_C\) satisfy: \(\beta _{i,j} \ne 0\) if and only if there exists a member in \(N_i\) of cardinality j. In particular, \(\beta _{i,X} \ne 0\) if and only \(X \in N_i\). Furthermore
Remark 5
The fact that \(\beta _{i,X} \ne 0\) if and only \(X \in N_i\) is a consequence of the considerations on [21, p. 59], where one also relates these Betti numbers to Möbius numbers of related lattices of cycles.
3 Greedy weights for matroids
We will now give definitions for greedy weights for matroids, and later show that greedy weights for linear codes and their associated matroids coincide. First, recall the definition for generalized Hamming weights for matroids, given in [12]:
Definition 13
Let M be a matroid of rank \(n-k\) on a set of cardinality n. For \(1 \leqslant r \leqslant n-k,\)
Definition 14
Let M be a matroid on n elements of rank \(n-k\). Let \(\Sigma \) be the set
Let \(\overline{\Sigma }\) be the set
Then the (bottom-up) greedy weights \((e_1,\ldots ,e_k)\) of M are the
while the top-down greedy weights \((\tilde{e}_1,\ldots ,\tilde{e}_k)\) of M are
If \(S=(\sigma _1,\ldots ,\sigma _k) \in \mathcal {N}_1\times \cdots \times \mathcal {N}_k\) is such that \(e(S)=(e_1,\ldots ,e_k)\) (resp. \((\tilde{e}_1,\ldots ,\tilde{e}_k)\)), we say that \(\sigma _i\) computes \(e_i\) (resp. \(\tilde{e}_i\)).
Definition 15
Let M be a matroid of rank \(n-k\) on a set of cardinality n, and let \((d_1,\ldots ,d_k)\) be its generalized Hamming weights. The CEZ greedy weights \((g_1,\ldots ,g_k)\) are defined as follows:
and for \(2\leqslant r \leqslant k\),
We say that \(\sigma \in \mathcal {N}_i\) computes \(g_i\) if it satisfies the conditions in the definition.
Example 1
Let C be the [8, 4]-linear code over \(\mathbb {F}_3\) defined by the generator matrix
Its weights are
and
As a consequence of the unique rank increase of the nullity function, both the bottom up and the top down greedy weights are strictly increasing sequences. The CEZ greedy weights \(g_i\) are not necessary monotonous, as the following example shows.
Example 2
Let M on \(E=\{1,\ldots ,23\}\) whose circuits are the following: all the subsets of \(\{13,\ldots ,23\}\) of cardinality 9 together with \(\{1,\ldots ,8\}\), \(\{5,\ldots ,12\}\) and \(\{1,2,3,4,9,10,11,12\}\). This is a matroid of rank 18. Then,
Example 3
Consider the following graph:
Its associated matroid, that is, the matroid whose circuits correspond to cycles of the graph, is a matroid on the set of its 25 edges, and rank 21. The generalized Hamming weights of the matroid are
The greedy weights are
The weight \(d_2\) corresponds to the minimum support of the union of two different cycles (the right part of the graph), while the weight \(e_2\) corresponds to the minimum cardinality of the support of the union of two different cycles, where one of the cycles is a cycle of minimal length (the left part of the graph, since the only cycle of minimal length is the hexagon on the left part). See also [14] for the computation of generalized Hamming weights of (signed) graphs.
In Definitions 14 and 15, we could actually have asked the subsets to be in \(N_i\), not just \(\mathcal {N}_i\), as the following proposition shows:
Proposition 1
Let M be a matroid of rank \(n-k\) on a set of cardinality n. Let \(\Sigma '\) be the set
Then we have the following:
and for all \(2\leqslant i \leqslant k\),
Proof
The first and third assertions rely on the same observation. We will thus only treat the first assertion. It is clear that
Now, let \(S=(\sigma _1,\ldots ,\sigma _k) \in \Sigma \) such that
We will show that \(\sigma _i \in N_i\) for all i. If not, let i be the smallest index for which this is not true. By definition of \(N_1\) and the lexicographic order, \(i >1\). Since \(\sigma _i \not \in N_i\), this means that there exists \(\tau \subsetneq \sigma _i\) such that \(n(\tau )=i\). Obviously, \(\sigma _{i-1} \not \subset \tau \) otherwise, replacing \(\sigma _i\) by \(\tau \) in the sequence S, we would get a chain of sets that would contradict the minimality of e(S) for the lex ordering. Thus, we can find \(x \in \sigma _{i-1} - \tau \). Without loss of generality, we can suppose that \(\tau =\sigma _i-\{x\}\). Consider then \(\rho =\sigma _{i-1}-\{x\}\). By minimality of \(\sigma _{i-1}\) in the set of subsets with nullity \(i-1\), and by the unique rank increase property of n, \(n(\rho ) = i-2\). Then, by (\(N_3\)):
which is absurd. Thus, all elements in S are in \(N_i\), and the first assertion is proved.
The second assertion is easier to prove since we don’t have any bottom constraints. Again, it is clear that
For the contrary, let \(S=(\sigma _1,\ldots ,\sigma _k) \in \Sigma \) such that
Assume that there exists an index i such that \(\sigma _i \not \in N_i\). Let \(\tau _i \subsetneq \sigma _i\) such that \(\tau _i \in N_i\), and take recursively for \(j<i\) any \(\tau _j \subset \tau _{j+1}\) such that \(n(\tau _j)=j\). This can always be done by the unique rank increase property of n. Then the sequence \(S'=(\tau _1,\ldots ,\tau _i,\sigma _{i+1},\ldots ,\sigma _k) \in \Sigma \), and by construction,
which is absurd. This in turn shows that
\(\square \)
Remark 6
The set \(\Sigma '\) appearing in Proposition 1 is the set of maximal chains in the poset of cycles for the matroid. Taking complements, this is the poset of flats of the dual matroid. If \(d^{\perp } \ge 3,\) then this poset is a geometric lattice with atoms of cardinality 1. Then the cardinalities \(c_f\) of the flats, and hence all the cardinalities \(n-c_f\) of the cycles \(\sigma \) of the matroid, can be given a purely lattice-theoretical interpretation in terms of atoms. Hence it is possible to reformulate Proposition 1 by lattice-theoretical invariants.
Corollary 1
Let M be a matroid of rank \(n-k\) on a set of cardinality n. For \(1 \leqslant i \leqslant k\),
and
Proof
In the proof above, we showed that any subset that computes a greedy-weight is a cycle. This is then a direct consequence of Theorem 1. \(\square \)
3.1 Wei duality of greedy weights
If M is a matroid, then it is proved in [12] that the weight hierarchy of the matroid and its dual satisfy Wei duality, that is
where \(\overline{d}_i\) denotes the ith generalized Hamming weight of \(\overline{M}\). This result is a generalization of duality for linear codes proved by Wei [22]. In his doctoral thesis [19], Schaathun proves a Wei duality for greedy weights for linear codes, namely that
In this section, we will prove that his result extends to matroids. As opposed to [12], our proof is constructive, in the sense that we exhibit an element in \(\Sigma '(\overline{M})\) that computes the greedy weights of the dual matroid. Before doing so, if \(S=(\sigma _1,\ldots ,\sigma _k) \in \Sigma \), we define \(\delta (S)\) in the following (not unique) way: consider a maximal chain
that contains all the \(E-\sigma _i\) for \(1\leqslant i\leqslant k\). Obviously, we have \(|\rho _i|=i\) for every \(1\leqslant i\leqslant n\). Then \(\delta (S)\) is the chain \(\tau _1\subsetneq \cdots \subsetneq \tau _{n-k}\) obtained by removing all the subsets of cardinality \(n-|\sigma _i|+1\). Even if this is not uniquely defined, the set \(\overline{\delta }(S) = \{|\tau _1|,\ldots ,|\tau _{n-k}|\}\) is, since we have
In particular, we have, with a slight abuse of notation,
Denote by \(\overline{n}\) the nullity function of \(\overline{M}\).
Lemma 1
Let \(S=(\sigma _1,\ldots ,\sigma _k)\) be a tower that computes the bottom up greedy weights of M, and let \(\delta (S)=(\tau _1\ldots ,\tau _{n-k})\). Then for all \(1\leqslant i \leqslant n-k\),
Proof
Using the notation from the definition of \(\delta (S)\), we have for every i the chain
where \(j= n-|\sigma _{i+1}|\) and \(s=|\sigma _{i+1}|-|\sigma _i|\). From the duality formula for the rank functions and nullity functions, we get that, since \(n(\sigma _t)=t\),
while
Since \(\overline{n}\) is unit rank increase, this means that all \(\overline{n}(\rho _{j+t})\) are distinct, except for 2 of them, and that they span the set \(\{k+i+1-|\sigma _{i+1}|,\ldots ,k+i-|\sigma _i|\}.\) We show now that \(\overline{n}(\rho _j)=\overline{n}(\rho _{j+1})\). Since both set differ by just 1 element, we have either \(\overline{n}(\rho _j)=\overline{n}(\rho _{j+1})\) or \(\overline{n}(\rho _j)=\overline{n}(\rho _{j+1})-1\). Suppose the latter occurs. Then,
Since
(the first strict inclusion coming from the fact that \(n(\sigma _i)=n(\sigma _{i+1})-1 = n(E-\rho _{j+1})-1\)), the tower
and the k-tuple formed by the cardinalities of the elements of the tower is strictly lower for the lex order than \((e_1,\ldots ,e_k)\) which is absurd. \(\square \)
Lemma 2
Let \(S,S' \in \Sigma \). Then
Proof
Write \(S=(\sigma _1,\ldots ,\sigma _k)\), \(S'=(\sigma '_1,\ldots ,\sigma '_k)\), \(\delta (S)=(\tau _1,\ldots ,\tau _{n-k})\) and \(\delta (S')=(\tau '_1,\ldots ,\tau '_{n-k})\). By hypothesis, there exists an \(1\leqslant i \leqslant k\) such that for all \(1\leqslant j <i\), \(|\sigma _j|=|\sigma '_j|\) while \(|\sigma _i|<|\sigma '_i|\). In our definition of \(\delta \) above (and we keep the notation, using \(\rho _s\) and \(\rho '_s\) for S and \(S'\) respectively) this means that for \(l\geqslant n-|\sigma _i|-k+i+1\),
while
that is
The other way is done in a similar way, noticing that \(e\delta \delta (S)=\overline{\delta }\delta (S) = e(S)\). \(\square \)
We then obtain the following analogue of [19, Theorem 10.2], where one showed Wei duality for greedy weights of linear codes:
Theorem 2
Let M be a matroid of rank k on a ground set E of cardinality n. Then
Proof
Let \(S\in \Sigma \) such that \(e(S)=(e_1,\ldots ,e_k)\). Consider \(T=\delta (S)\). By Lemma 1, we know that \(T \in \Sigma (\overline{M})\), and thus
If this is not an equality, let \(T' \in \Sigma (\overline{M})\) such that \(e(T')=(\overline{\tilde{e}}_1,\ldots ,\overline{\tilde{e}}_{n-k})\). Then by Lemma 2 and the fact that \(e\delta \delta (T)=e(T)\), we get that
which is absurd. \(\square \)
3.2 Greedy weights of codes and matroids
In for example [1, 3,4,5,6,7, 18,19,20] one describes and treats greedy weights of linear codes C over finite fields in various ways. In this part, we will show that the greedy weights for codes and their associated matroids coincide. We start with some lemmas:
Lemma 3
Let C be a [n, k]-code, M its associated matroid and \(X \subset \{1,\ldots ,n\}\). Consider the subcode
Then
Proof
The first equality is an easy consequence from the fact that \(C(X) = \ker G_{E-X}\), and a rewriting of the rank-nullity theorem using the relation between the rank of the matroid and its dual. Moreover, the dimension of the relations between the columns of H indexed \(\mathrm {Supp}(C(X))\) is n(X), that is,
\(\square \)
Theorem 3
The greedy weights of a [n, k]-linear code C and those of its associated matroid M coincide.
Proof
Let first \(S=\sigma _1\subset \cdots \subset \sigma _k \in \Sigma \) be such that \(e(S)=(e_1(M),\ldots ,e_k(M))\), and let \(D_i=C(\sigma _i)\). Then \(\dim D_i= n(\sigma _i)=i\) and \(D_1 \subset \cdots \subset D_k\). We always have \(\mathrm {Supp}(D_i) \subset \sigma _i\), which shows that
For the converse, let \(D_1\subset \cdots \subset D_k\) be subcodes of C with \(\dim D_i=i\) and \(wt(D_i) = e_i(C)\). Let \(\sigma _i=\mathrm {Supp}(D_i)\). Of course
and since \(D_i \subset C(\sigma _i)\), we always have
We claim that there is equality. If not, let i be minimal such that \(n(\sigma _i)>i\). Then, there exists \(\tau \) with \(n(\tau )=i\) such that \(\sigma _{i-1} \subsetneq \tau \subsetneq \sigma _i\) (take \(\sigma _0=\emptyset \) in the case \(i=1\)), and let \(D'_i=C(\tau )\). Clearly
and \(\dim D'_i = n(\tau )=i\). This would give rise to a tower of subcodes
with \(\dim D_j' =j\) for \(i \leqslant j\leqslant k\) that would contradict the minimality of \((e_1(C),\ldots ,e_k(C))\) for the lexicographic order. This shows that
The proofs for top-down and CEZ greedy weights are done in a similar way. \(\square \)
Theorem 3 is a generalization of Wei duality for linear codes as presented in [19]. From [17, Theorem 2.2.8], the matroid associated to the dual of linear code is precisely the dual of the matroid of the linear code in question
4 Greedy weights and resolutions of Stanley–Reisner rings
Let M be a matroid of rank \(n-k\) over a finite set E of cardinality n (for example the matroid associated to a [n, k]-linear code). As seen in Corollary 1, the sets that compute the different greedy weights are to be found in the sets that have non-zero Betti numbers. Together with the main result from [9], this suggests that all information about various kinds of greedy weights might be encoded in minimal free resolutions of the associated Stanley–Reisner ring. This is what we will look into in the first part of this section. In the second part, we will look into the concept of chained codes and matroids.
4.1 Greedy weights from strands
In the rest of this section, if M is a matroid on the finite set E of cardinality n, then S denotes the polynomial ring \(\mathbb {K}[e,\ e \in E]\). This ring is naturally \(\mathbb {N}^{n}\) and \(\mathbb {N}\) graded.
Definition 16
Let
and \(\rho ,\mu \in \mathbb {N}^n\). Then
Similarly, in the \(\mathbb {N}\)-graded context, let
and \(p,q \in \mathbb {N}\). Then
In both cases, the leftmost map is the inclusion map, while the rightmost map is the natural projection.
We are now able to define the strands of a resolution.
Definition 17
Let M be a matroid of rank \(n-k\) on a finite set of cardinality n. If
is a \(\mathbb {N}\)-graded resolution, and if \(\varvec{h}=(h_1,\ldots ,h_k) \in \mathbb {N}^k\), the \(\varvec{h}\)-strand of the resolution is the sequence
The strand of the resolution is the \(\varvec{h}\)-strand with \(\varvec{h}=(d_1\ldots ,d_k)\).
If
is a \(\mathbb {N}^n\)-graded resolution, and if \(\varvec{\sigma }=(\sigma _1,\ldots ,\sigma _k) \in (\mathbb {N}^n)^k\), the \(\varvec{\sigma }\)-strand of the resolution is the sequence
We have already mentioned that \(\beta _{i,\sigma } \ne 0 \Rightarrow \sigma \in \{0,1\}^n\). In the sequel, we will therefore identify elements of \(\{0,1\}^n\) with subsets of \(E=\{1,\ldots ,n\}\). The main theorem of this section, will be a consequence of the following lemma.
Lemma 4
Let M be a matroid of rank \(n-k\) on a set E of cardinality n. Let
be any minimal \(\mathbb {N}^n\) graded resolution of its Stanley–Reisner ring. Let \(\rho ,\mu \) be two subsets of E. Then
Proof
Any minimal resolution differs from the Taylor resolution (see [8, Section 7.1] by adding trivial resolutions of the form
For \(\rho ,\mu \subset E\), it is easy to see that if \(f=g \oplus h\), then \(f_{\rho ,\mu } = g_{\rho _\mu } \oplus h_{\rho ,\mu }\). In particular, if \(\rho \ne \mu \), then
for every i, so that
where \(\Psi _*\) are the maps in the Taylor resolution. In any minimal free resolution, we have
so we might assume that \(\rho \in N_{l-1}\) and \(\mu \in N_l\), otherwise \(\phi _{l,\rho ,\mu } = 0\). In particular, this means that \(\rho \ne \mu \).
In a first step, we prove that
One way is obvious. For the other way, let \(y \in \mu \backslash \rho \). Since \(\mu \) is a cycle, there exists \(\tau \in \mathcal {C}\) with \(y \in \tau \subset \mu \). Then we have
the equality coming from the fact that \(n(\rho \cap \tau )=0\) since \(\rho \cap \tau \subsetneq \tau \) is strictly included in a circuit and has thus nullity 0. Since \(n(\mu )=l\) and \(\mu \) is minimal, we have equality
Now, if \(\rho \cup \tau =\mu \) and \(\rho \in N_{l-1}\), by [9, Proposition 1], we can write \(\rho = \bigcup _{i=1}^{l-1} \sigma _i\) for some distinct circuits \(\sigma _i\), and by construction of the differential of the Taylor complex,
Conversely, if \(\Psi _{l,\rho ,\mu } \ne 0\), then again by construction of the differential of the Taylor complex, \(\mu \) is the union of l circuits, and we obtain \(\rho \) by taking the union of all these circuits but 1. \(\square \)
We then have:
Theorem 4
Let M be a matroid of rank \(n-k\) on a set of cardinality n. Let
and
be \(\mathbb {N}\) and \(\mathbb {N}^n\)-graded resolutions respectively. Then
-
1.
\(e_1=g_1=d_e= \min \{j, \ \beta _{1,j} \ne 0\}\) and \(\tilde{e}_k = \min \{j,\ \beta _{k,j} \ne 0\}.\)
-
2.
For \(2\leqslant l \leqslant k\), the greedy weight \(e_l\) is
$$\begin{aligned} e_l=\min \{|\sigma |,\ \exists \tau \text { that computes }e_{l-1},\ \phi _{l,\tau ,\sigma } \ne 0\}. \end{aligned}$$ -
3.
For \(1\leqslant l \leqslant k-1\), the top down greedy weight \(\tilde{e}_l\) is
$$\begin{aligned} e_l=\min \{|\sigma |,\ \exists \tau \text { that computes }\tilde{e}_{l+1},\ \phi _{l,\sigma ,\tau } \ne 0\}. \end{aligned}$$ -
4.
For \(2 \leqslant l \leqslant k\), the CEZ greedy weight \(g_l\) is
$$\begin{aligned} g_l = \min \{j,\ f_{l,d_{l-1},j} \ne 0\}. \end{aligned}$$ -
5.
$$\begin{aligned} (e_1,\ldots ,e_k)= \min _{\mathrm {lex}} \{e(\varvec{\sigma }),\ \varvec{\sigma } \in (2^E)^n, \text { the }\varvec{\sigma }\text {-strand consists of non-zero maps}\}. \end{aligned}$$
-
6.
$$\begin{aligned} (\tilde{e}_1,\ldots ,\tilde{e}_k)= \min _{\mathrm {revlex}} \{e(\varvec{\sigma }),\ \varvec{\sigma } \in (2^E)^n, \text { the }\varvec{\sigma }\text {-strand consists of non-zero maps}\}. \end{aligned}$$
Proof
The first point is just the definition. The second and third point are consequences of the previous lemma. The fourth point is also a consequence of the previous lemma. Here, we can take the \(\mathbb {N}\)-graded resolution, since any subset of cardinality \(d_{l-1}\) with non-zero Betti number computes \(d_{l-1}\). The two last points follow from the second and third point, as well as Proposition 1. \(\square \)
Example 4
Using for example [16], we are able to compute the \(\mathbb {N}^n\)-graded resolution of the code of Example 1.
where, for compactifying the notation, the number \(a_1\cdots a_t\) represents the monomial \(X_{a_1}\cdots X_{a_t}\). Here the \((\{1,2\},\{1,2,3,4\},\{1,2,3,4,6,7,8\},E)\)-strand is
thus
and there is actually equality here.
4.2 Chained codes and matroids
Definition 18
Let C be a linear code of dimension k. It is called chained if there is a chain
of linear subcodes, such that \(D_i\) computes \(d_i\), for \(1 \leqslant i \leqslant k\).
Then we have:
Proposition 2
Let C be a linear code of dimension k. Then the following assertions are equivalent:
-
The code C is chained,
-
\((d_1,\ldots ,d_k)=(e_1,\ldots ,e_k)\),
-
\((d_1,\ldots ,d_k)=(\tilde{e}_1,\ldots ,\tilde{e}_k)\),
-
\((d_1,\ldots ,d_k)=(g_1,\ldots ,g_k)\).
Proof
This is obvious from the definitions. \(\square \)
This can be generalized to matroids:
Definition 19
A matroid of rank \(n-k\) on a set of cardinality n is chained if there exists a chain
where \(\sigma _i \in N_i\) computes \(d_i\).
Proposition 3
Let M be a matroid of rank \(n-k\) on a set of cardinality n. then the following assertions are equivalent:
-
The matroid M is chained,
-
\((d_1,\ldots ,d_k)=(e_1,\ldots ,e_k)\),
-
\((d_1,\ldots ,d_k)=(\tilde{e}_1,\ldots ,\tilde{e}_k)\),
-
\((d_1,\ldots ,d_k)=(g_1,\ldots ,g_k)\).
Proof
This follows from the definitions. \(\square \)
Moreover, we have the following:
Proposition 4
A linear code is chained if and only if its associated matroid is chained.
Proof
This is a direct consequence of Theorem 3. 3. \(\square \)
We will end this article with commenting on the connection between chainedness of a code or matroid, and properties of minimal resolutions of their Stanley–Reisner rings.
Definition 20
Let M be a matroid of rank \(n-k\) on a set of cardinality n. It has a pure resolution if the \(\mathbb {N}\)-graded resolution satisfies:
Furthermore, we say that the pure resolution is linear if
A linear code has pure resolution (resp. linear resolution) if its associated matroid has.
Proposition 5
Linear codes and matroids with pure resolutions are chained.
Proof
This follows from the fact that \(\beta _{i,X} \ne 0 \Leftrightarrow X \in N_i\) and the definitions. \(\square \)
MDS codes and uniform matroids have linear resolutions, and as such are chained. On the other hand, we have some codes that do not have linear resolutions, but pure resolutions. Examples of such codes are Reed–Müller of the first order and constant weight codes [10, Theroem 2.1]. These codes are thus also chained. In the case of constant weight codes, we have in addition that any chain of subcodes of dimension i actually compute \(e_i=d_i\). In general, chained codes do not need to have pure resolutions. For example, non-binary Veronese codes studied in [11] are such codes. These codes are defined through the Veronese embedding \(\mathbb {P}_2 \rightarrow \mathbb {P}_5\). Elements of \(N_i\) correspond to complements of geometrical configurations, and it follows easily from [11, Theorem 21] that the code is chained but does not have pure resolution.
The set of codes/matroids with pure/linear resolutions is not closed under taking duals. However, we have:
Proposition 6
A matroid (resp. linear code) is chained if and only if its dual (resp. orthogonal complement) is chained.
Proof
This follows from Wei duality for greedy weights and Hamming weights. \(\square \)
References
Bai L., Liu Z.: On the third greedy weight of \(4\)-dimensional codes. Des. Codes Cryptogr. 87(10), 2213–2230 (2019).
Britz T., Johnsen T., Mayhew D., Shiromoto K.: Wei-type duality theorems for matroids. Des. Codes Cryptogr. 62(3), 331–341 (2012).
Chen W., Kløve T.: On the second greedy weight for binary linear codes. In: International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp. 131–141. Springer (1999).
Chen W., Kløve T.: Weight hierarchies of extremal non-chain binary codes of dimension 4. IEEE Trans. Inf. Theory 45(1), 276–281 (1999).
Chen W., Kløve T.: On the second greedy weight for linear codes of dimension 3. Discret. Math. 241(1–3), 171–187 (2001).
Chen W., Kløve T.: On the second greedy weight for linear codes of dimension at least 4. IEEE Trans. Inf. Theory 50(2), 354–356 (2004).
Cohen G.D., Encheva S.B., Zémor G.: Antichain codes. Des. Codes Cryptogr. 18(1–3), 71–80 (1999).
Herzog J., Hibi T.: Monomial Ideals. Graduate Texts in Mathematics, vol. 260. Springer, London (2011).
Johnsen T., Verdure H.: Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids. Appl. Algebra Eng. Commun. Comput. 24(1), 73–93 (2013).
Johnsen T., Verdure H.: Stanley-Reisner resolution of constant weight linear codes. Des. Codes Cryptogr. 72(2), 471–481 (2014).
Johnsen T., Verdure H.: Higher weight spectra of Veronese codes. IEEE Trans. Inf. Theory 66(6), 3538–3546 (2020).
Larsen A.H.: Matroider og lineære koder. Master’s thesis, University of Bergen (2005). http://bora.uib.no/handle/1956/10780.
Li X., Liu Z.: On the second relative greedy weight. Cryptogr. Commun. 9(2), 181–197 (2017).
Martinez-Bernal J., Valencia-Bucio M.A., Villarreal R.H.: Linear codes over signed graphs. Des. Codes Cryptogr. 88(2), 273–296 (2020).
Miller E., Sturmfels B.: Combinatorial Commutative Algebra, vol. 227. Springer, New York (2004).
Novik I., Postnikov A., Sturmfels B.: Syzygies of oriented matroids. Duke Math. J. 111(2), 287–317 (2002).
Oxley J.G.: Matroid Theory, Oxford Graduate Texts in Mathematics, vol. 21, 2nd edn. Oxford University Press, Oxford (2011).
Schaathun H.G.: Duality and greedy weights of linear codes and projective multisets. In: International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp. 92–101. Springer (2001).
Schaathun H.G.: Support weights in Linear Codes and Projective Multisets. PhD thesis, University of Bergen (2001).
Schaathun H.G.: A lower bound on the greedy weights of product codes. Des. Codes Cryptogr. 31(1), 27–42 (2004).
Stanley R.P.: Cohen-Macaulay complexes. In: Higher Combinatorics, pp. 51–63. Cambridge University Press, Cambridge (2015).
Wei V.K.: Generalized Hamming weights for linear codes. IEEE Trans. Inf. Theory 37(5), 1412–1418 (1991).
Funding
Open Access funding provided by UiT The Arctic University of Norway.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. H. Koolen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Trygve Johnsen and Hugues Verdure are partially supported by Grant 280731 from the Research Council of Norway. This work was partially supported by the project Pure Mathematics in Norway, funded by Trond Mohn Foundation and Tromsø Research Foundation. The authors are grateful to the Department of Mathematics, IIT-Bombay for a stimulating stay, during which a substantial part of the present work was completed.
Rights and permissions
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/.
About this article
Cite this article
Johnsen, T., Verdure, H. Greedy weights for matroids. Des. Codes Cryptogr. 89, 387–405 (2021). https://doi.org/10.1007/s10623-020-00824-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-020-00824-w