arxiv: v3 [math.co] 28 Sep 2017

Transcription

1 RESILIENCE OF RANKS OF HIGHER INCLUSION MATRICES RAFAEL PLAZA, QING XIANG axiv: v3 [mathco] 28 Sep 2017 Abstact Let n s 0 be integes and F a family of -subsets of [n] Let W,s F be the highe inclusion matix of the subsets in F vs the s-subsets of [n] When F consists of all -subsets of [n], we shall simply wite W,s in place of W,s F In this pape we pove that the ank of the highe inclusion matix W,s ove an abitay field K is esilient That is, if the size of F is close to ( n ) then ankk (W,s F ) = ank K(W,s ), whee K is an abitay field Futhemoe, we pove that the ank (ove a field K) of the highe inclusion matix of -subspaces vs s-subspaces of an n-dimensional vecto space ove F q is also esilient if cha(k) is copime to q 1 Intoduction Let n s 0 be integes, and let [n] = {1,2,,n} Given a family F of -subsets of [n], we define the highe inclusion matix W,s F to be the (0,1)-matix with ows indexed by the -subsets R in F, columns indexed by the s-subsets S of [n], and with (R,S)-enty equal to one if and only if S R When F = ( ) [n], that is, F consists of all -subsets of [n], we shall omit the supescipt and simply wite W,s in place of W,s F The highe inclusion matices W,s F have played an impotant ole in the theoy of t-designs ([11], [23]) and in extemal combinatoics ([1], [8]) Fo applications to integal t-designs, Wilson [23] found a diagonal fom of W,s As a consequence, he obtained the ank of W,s ove any field K Specifically, if n +s, and K is any field, then ank K (W,s ) = (( ) ( )) n n, j j 1 j Y whee Y = {j : 0 j s, ( ) j K 0} In the above ank fomula, ( n 1) should be intepeted as zeo We emak that the above esult on the ank of W,s includes the esult of Gottlieb [9] and the esult of Linial and Rothchild [19] as special cases Highe inclusion matices have also poven vey useful in applications of linea algebaic methods in extemal combinatoics (see [1]) Fo example, the following classical esult in extemal combinatoics, known as the Lovász vesion of the Kuskal-Katona theoem[15, 18], can be poved using popeties of highe inclusion matices Let F be a family of -subsets of [n] The s-shadow of F, denoted by sf, consists of all s-subsets of [n] that ae contained in some element of F Theoem 1 (Lovász [20]) Let F be a family of -subsets of [n] such that F = ( x ), whee x is a eal numbe geate than o equal to If s < then sf ( x s), and equality holds if and only if x is an intege and thee exists a subset X of [n] of size x such that F = ( X ) Key wods and phases Highe inclusion matix, Rank, Repesentation of GL(n, q), Specht module Reseach patially suppoted by an NSF gant DMS

2 The above theoem can be poved in seveal diffeent ways Keevash [16] showed that Theoem 1 follows immediately fom the following esult on the ank of highe inclusion matices Theoem 2 (Keevash [16]) Fo evey > s > 0 thee is a numbe n,s so that if F is a family of -subsets of [n] with F = ( ) x n,s then ank Q (W,s) F ( x s), and equality holds if and only if x is an intege and thee exists a subset X of [n] of size x such that F = ( X ) To see how Theoem 1 follows fom Theoem 2 (fo lage x), one simply obseves that ank Q (W,s F) is less than o equal to the numbe of nonzeo columns of WF,s (which is the size of the s-shadow of F) In ode to pove Theoem 2, Keevash [16] showed that the ank of the matix W,s is esilient o obust, that is, one can emove many ows (in an abitay way) of W,s without loweing its ank Theoem 3 (Keevash [16]) Suppose 0 s and 2+s n If F is a family of -subsets of [n] with ( ) ( [n] \F n 1 ( n ) s) s then ankq (W,s F) = ( n s) Keevash [17] went futhe to ask whethe Theoem 3 emains tue unde the assumption that ( ) ( [n] \F < n s s) This question was answeed in the affimative by Gosu, Peson and Szabó [10] fo n lage (compaed with and s) In the end of [10], the authos emaked that ank esilience popety of the highe inclusion matices has not been studied ove fields of positive chaacteistic In this pape we pove that the ank of W,s is esilient ove any field K In fact, the following theoem shows that if the size of F is close to ( n ) then ank K (W,s) F = ank K (W,s ) fo an abitay field K To simplify notation, fo any family F of -subsets of [n], we use F c to denote the complement of F in ( ) [n] Ou fist main esult is stated below Theoem 4 Assume that 0 s < n/2 Let F be a family of -subsets of [n], and K be any field If F c n 1 then ank K (W F,s ) = ank K(W,s ) Ou second main esult in this pape is about ank esilience popety of the highe inclusion matices of -subspaces vs s-subspaces of an n-dimensional vecto space ove F q Definition 5 Let V be an n-dimensional vecto space ove F q, whee q = p t is a pime powe Let n s 0 be integes and F a family of -dimensional subspaces of V The highe inclusion matix of -subspaces vs s-subspaces, denoted by W,s(q), F is the (0,1)- matix with ows indexed by the -dimensional subspaces R of V, columns indexed by the s-dimensional subspaces S of V, and with the (R,S)-enty equal to one if and only if S R In the case when F = [ V ], that is, F consists of all -subspaces of V, we shall omit the supescipt and simply wite W,s (q) The anks of the matices W,s (q) have also been studied Howeve, the esults ae not as complete as in the set case It was poven by Kanto [14] that if s min{,n } then the Q-ank of W,s (q) is [ n s] (the numbe of s-dimensional subspaces in V) Late, Fumkin and Yaki [7] poved that if cha(k) p, and n +s then the K-ank of W,s (q) is given by a q-analogue of Wilson s fomula Indeed, (1) ank K (W,s (q)) = j Y 2 ([ ] [ ]) n n, i i 1

3 whee Y = {i : 0 i s, [ i s i] K 0} When the chaacteistic of K is equal to p, the poblem of finding the K-ank of W,s (q) is open in geneal Howeve, unde the additional condition that s = 1, Hamada [12] gave a fomula fo the p-ank of W,1 (q) It is impotant to emak that although thee ae at least five diffeent poofs ([2, 5, 6, 7, 23]) of Wilson s ank fomula, only the poof by Fumkin and Yaki [7] has been genealized to find a fomula fo the ank of the matix W,s (q) ove K when cha(k) p This is an indication that poving q-analogues of classical esults in extemal set theoy is often a difficult task In this pape, we pove that the K-ank of W,s (q) is also esilient when cha(k) p Let F be a family of -subspaces of V We denote by F c the complement of F in [ V ] Theoem 6 Let V be an n-dimensional vecto space ove F q Assume that 0 s < n/2 Let F be a family of -subspaces of V and K a field with cha(k) p If F c n 1 then ank K (W,s(q)) F = ank K (W,s (q)) The techniques we use to pove Theoem 4 and Theoem 6 ae completely diffeent fom those used by Keevash in [16] and Gosu, Peson and Szabó in [10] The main tool we use to pove Theoem 4 is Bie s bases which give a diagonal fom of the highe inclusion matix W (,s These bases wee found by Bie in [2] We will show that if the size of F is close to n ) then Bie s bases also give an almost diagonal fom fo the matix W F,s This fact will be used to compute the ank of W,s F The poof of Theoem 6 is moe difficult One difficulty is that thee is no known q- analogue of the Bie basis fo us to use To ovecome this difficulty we use some esults fom epesentation theoy of GL(n,q) The wok of James [13] and Fumkin and Yaki [7] explicitly shows a connection between the ank of highe inclusion matices and the Specht modules of GL(n,q) In fact, Fumkin and Yaki [7] poposed a unifom appoach to finding anksofbothw,s andw,s (q) ThebasicideaisthatW,s andw,s (q)aematicesassociated with an S n - and a GL(n,q)-module homomophisms, espectively Fom this point of view, one can use some popeties of the Specht modules of GL(n,q) to pove that the column space of W,s F(q) contains at least ank K(W,s (q)) linealy independent vectos if the size of F c is small enough To be specific, the popeties of the Specht modules that we use ae the Submodule Theoem (see Theoem 12) and the standad bases fo the GL(n, q)-specht modules S (n,), with n/2, that wee found by Bandt, Dippe, James and Lyle in [3] Once we pove the esult on the column space of W,s F (q), Theoem 6 follows easily since the ank of W,s(q) F is clealy bounded above by the ank of W,s (q) 2 Rank Resilience: the Set Case 21 Bie s Bases Let K be an abitay field Fo any 0 n, we denote by M the K-vecto space spanned by the -subsets of [n] Hence, the set of -subsets of [n] foms a canonical basis of M Let ϕ j, : M j M be the linea tansfomation such that, fo evey j-subset A of [n], ϕ j, (A) = A RR, whee the sum is ove all -subsets containing A; the definition of ϕ j, is then extended to all elements of M j by lineaity Note that W,j is the matix of ϕ j, with espect to the canonical bases of M j and M 3

4 Fo any j-subset A of [n], with 0 j, we denote by A the image of A unde the linea map ϕ j, In [5], Fankl defined the ank of a subset of [n] Definition 7 (Fankl [5]) Let A be a subset of [n] One associates a walk w(a) on the x-y plane with A The walk w(a) goes fom the oigin to (n A, A ) by steps of length one, with the i-th step going east o noth accoding as i / A o i A The ank of A, denoted by k(a), is defined as A l whee l is the lagest intege such that w(a) eaches the line y = x+l Fom the above definition, it follows that if A is a j-subset of [n] then its ank is at most min{j,n j} Fo evey 0 j n/2, we define { ( ) } [n] S(j) = A : k(a) = j j Note that the elements of S(j) ae in one-to-one coespondence to the standad tableaux of shape (n j,j) This is one way to see that S(j) = ( ) ( n j n j 1) Theefoe, fo 0 n/2, we have j=0 S(j) = ( n ), which is pecisely the dimension of the vecto space M The following theoem gives a basis of M indexed by the elements of S(j) with j anging fom 0 to Theoem 8 (Bie [2]) Let 0 n/2 The vectos in j=0{ A : A S(j)} fom a K-basis of M We will efe to the basis given in Theoem 8 as the Bie basis of M Fo the sake of completeness we give the details of Bie s poof of Theoem 8 Lemma 9 (Bie [2]) Let be a positive intege Fo any j-subset A of [n] with j <, ( ) j l ( ) j i (2) A + ( 1) i T i = 0 fo all l = 1,, j l l i i=1 T i whee the inne sum is ove all T i with T i = j +i and A T i Poof Let R be any -subset containing A In the fist tem on the left hand side of (2), R appeas ( ) j l times Moeove, in each sum Ti, R appeas ( ) j i times Theefoe, R appeas in the left hand side of (2) exactly ( ) j l ( )( ) j i j l ( )( ) j j i + ( 1) i = ( 1) i l l i i i l i i=1 times The abovesum iseasily seen tobezeo by thepinciple ofinclusion andexclusion Poof of Theoem 8 We will show that fo any 0 t (3) span K { A : A S(j),0 j t} = span K { A : A a j-subset of [n],0 j t} The conclusion of the theoem follows immediately fom (3) because by taking t = we see that the vectos in the set on the left hand side of (3) span M and since j=0s(j) = ( n ), they fom a basis We will pove (3) by induction Let us stat with some definitions that we will use Fo any set A = {a 1 < < a j } with (A) < A, thee exists a unique intege m = m A, 4 i=0

5 1 m j such that a m < 2m and a i 2i fo all i > m On the othe hand, if (A) = A then a i 2i fo all i; so m = m A = 0 in this case To pove (3) it is enough to show that (4) span K { A : A a j-subset of [n],0 j s} span K { A : A S(j),0 j t} fo all s anging fom 0 to t The poof of (4) is done by induction on s and on the paamete m defined above fo any subset of [n] Note that the base case, ie, the case whee s = 0, is tivially tue Now, let s be given with 0 < s t and suppose by induction hypothesis that the following holds: (a) B span K { A : A S(j),0 j t}, fo all B, B < s (b) B span K { A : A S(j),0 j t}, fo all B, B = s and m B < m 1 Using these assumptions we will show that (5) B span K { A : A S(j),0 j t} fo any subset B with B = s and m B = m, which is enough to pove (4) Let B = I X with I = {b 1 < b 2 < < b m } and X = {b m+1 < < b s } such that b m < 2m and b i 2i fo all b i X (so B = s and m B = m) Fo any U I we define [U X] = U J J X whee the sum is taken ove all sets J = {j 1 < j 2 < < j m } with j m < 2m containing the set U Notice that J X is an s-subset with m J X = m Claim (i) Let U be a pope subset of I then [U X] span K { A : A S(j),0 j t} To pove the claim, applying Lemma 9 with A = U X and l = m U, we obtain ( k U X l ) U X + l i=1 ( ) k U X i ( 1) i T i = 0 l i T i Rewiting the above equation, we have l 1 ( ) k U X i ( 1) i T i = ( 1) l+1 l i i=0 T i T l T l The tems on the left hand side of the above equation ae contained in span K { A : A S(j),0 j t} by induction hypothesis since the sets T i have cadinality stictly less than s We can ewite the tem on the ight as T l = T l + T l T l T l :m Tl <m T l :m Tl =m 1 We may assume (b) because fo evey s-subset B with m B = 0 we have that B S(j); theefoe, B span K { A : A S(j),0 j t} 5

6 The fist tem on the ight of the above equation belongs to span K { A : A S(j),0 j t} by induction hypothesis Now, because [U X] = T l :m Tl =m T l, we conclude that l 1 ( ) U X i [U X] = ( 1) i+l+1 T i k l i i=0 T i which poves Claim (i) Claim (ii) Fo any I {1,2,,2m 1} with I = m, ( 1) U [U X] = 0 U I T l :m Tl <m T l k Claim (ii) can be poved as follows By definition we have, (6) U I( 1) U [U X] = U I( 1) U J X U J Conside any set R ( ) [n] We want to count how many times the subset R appeas in the expession (6) We assume that X R and R {1,2,,2m 1} is at least m (othewise, R does not appea in (6)) Define l 1 = R I and l 2 = (R\I) {1,,2m 1} We see that R appeas in (6) exactly ( )( ) ( )( ) l1 l1 +l 2 l1 l1 +l 2 1 m ( )( ) + = ( 1) i l1 l1 +l 2 i 0 m 1 m 1 i m i times Now the sum on the ight hand side of the above equation is equal to 0 by the pinciple of inclusion and exclusion This poves Claim (ii) We will apply Claims (i) and (ii) to pove (5) By definition it is clea that B = [I X] Hence, it follows fom Claim (ii) that i=0 B = [I X] = ( 1) m+1 U I( 1) U [U X] Theefoe, (5) follows fom Claim (i) 22 Poof of Theoem 4 In this subsection we use the Bie bases to pove the esilience popety of anks of the highe inclusion matices W,s ove an abitay field K The following simple esult fom linea algeba will be needed Lemma 10 Let u 1,,u m be linealy independent vectos of a K-vecto space U Let z 1,,z m be vectos in U such that span{u 1,,u m } span{z 1,,z m } = {0} Then u 1 + z 1,,u m +z m ae linealy independent vectos in U By definition of ϕ s,, it is easy to see that fo 0 s n/2, we have ( ) j ϕ s, ( A s ) = A 6

7 fo evey A S(j) with j = 0,1,,s Theefoe, the matix of ϕ s, with espect to the Bie basis { A s : A S(j),0 j s} of M s and the Bie basis { A : A S(j),0 j } of M has a diagonal fom This poves that dim K (im(ϕ s, )) is equal to S(j) = j Y j Y (( n j ) ( n j 1 whee Y = {j : 0 j s, ( j ) K 0} This is pecisely the K-ank fomula given by Wilson [23] fo the matix W,s Let S n denote the symmetic goup on [n], and let σ S n Fo any -subset A of [n] we define σ(a) = {σ(a) : a A} Similaly, if F is a family of -subsets then σ(f) = {σ(a) : A F} The next lemma shows that we have a lot of feedom in the way we can emove ows fom W,s without loweing its K-ank Lemma 11 Assume that 0 s < n/2 Let F be a family of -subsets of [n] If thee exist some σ S n such that σ(f c ) S() then ank K (W F,s) = ank K (W,s ) Poof Fist, assume that F c S() We define the following linea map fom M s to M ϕ F s, (S) = R T, fo all S [n], S = s, S R T F c,s T whee in the fist sum R uns ove all -subsets of [n] containing S, and in the second sum T uns ove all -subsets of [n] containing S such that T F c It is clea fom definition that dim K (imϕ F s, ) = ank K(W,s F) Note that fo evey j-subset A with 0 j s and k(a) = j we have (7) ϕ F s, ( A s) = ( j ) A T F c,a T )) ( j Recall that by assumption F c S(), so any T F c is actually a basis element of the Bie basis of M Thus the matix of ϕ F s, with espect to the Bie bases of M and M s is almost diagonal Let W be the subspace of M spanned by the following set of linealy independent vectos {( j ) A : A S(j),j Y whee Y = {j : 0 j s, ( j ) K 0} It is clea fom the definition of the Bie basis of M that { ( ) } j W span T : A S(j),j Y = {0} T F c,a T Theefoe, by Lemma 10 and (7) we conclude that the vectos in { ϕ F s, ( A s ) : A S(j) } j Y ae linealy independent This implies that dim K (imϕ F s, ) j Y 7 }, (( ) ( )) n n j j 1 ) T

8 Hence, Lemma 11 follows fom the tivial uppe bound ank K (W F,s ) ank K(W,s ) and Wilson s ank fomula Now, if F c S() then by assumption thee exists σ S n such that σ(f c ) S() We use σ to define the following invetible linea tansfomations, Φ σ : M M R σ(r), Fom the above definitions it follows that ϕ F s, = (Φσ ) 1 ϕ σ(f) s, Φ σ s Φ σ s : Ms M s S σ(s) Thus, dim K (imϕ F s, ) = dim K(imϕ σ(f) s, ) The poof of Lemma 11 is now complete Now, we apply Lemma 11 to pove Theoem 4 Poof of Theoem 4 In ode to apply Lemma 11, we will show that when F c n 1, it is always possible to find σ S n such that σ(f c ) S() Fist, note that the case whee n = 2 is completely tivial because in that case F c contains at most one -subset by the assumption that F c n 1 Secondly, note that it is enough to pove Theoem 4 fo all n of the fom α+1, with α 2 In fact, the esult fo othe values of n follows immediately fom the esult in the cases whee n is of the fom α+1, α 2 Recall that an -subset A of [n] is in S() if and only if the path associated with A does not coss the main diagonal; this latte condition in tun is equivalent to the following: fo evey i = 1,,2 we have that A [i] i 2 Given n = α+1 the citical case occus when F c consists of α disjoint -subsets Even in this case thee exists σ S n such that σ(f c ) S() Fo example, fo α = 2 it is possible to map the two -subsets in F c to the -subsets {2,4,6,,2} and {3,5,7,,2+1} which ae contained in S() The conclusion of the theoem now follows fom Lemma 11 3 Rank Resilience: the Vecto Space Case The goal of this section is to pove Theoem 6 Thoughout this section, V is an n- dimensional vecto space ove F q, whee q = p t is a pime powe 31 The GL(n,q)-module Mq Inthissection, we assume that K isafield ofchaacteistic copime to q = p t, containing a pimitive p th oot of unity Fo evey 0 n, we denote by Mq the K-vecto space spanned by the -dimensional subspaces of V Hence, the set of -dimensional subspaces foms a canonical basis of Mq Let GL(n,q) be the goup of all invetible linea tansfomations fom V to V Each element of GL(n,q) induces a pemutation on the set of -dimensional subspaces of V Thus, Mq is a GL(n,q)-pemutation module fo 0 n The Specht module S (n,) is the submodule of Mq defined by S (n,) = { keφ : φ HomGL(n,q) (Mq,Mj q )}, 0 j< whee Hom GL(n,q) (M q,mj q ) is the set of all GL(n,q)-module homomophisms fom M q to M j q We emak that the Specht modules S (n,) ove the complex ae ieducible; fo K of positive chaacteistics, the Specht modules ae not necessaily ieducible In [13], James 8

9 poved that the dimension of S (n,) ove K is equal to [ ] [ n n 1] He also poved the following impotant esult about Specht modules Theoem 12 (The Submodule Theoem) Let, be the inne poduct on Mq such that fo any two -dimensional subspaces X,Y of V we have that X,Y = 1 if X = Y and 0, othewise If W is a GL(n,q)-submodule of Mq then eithe S(n,) W o W (S (n,) ), whee (S (n,) ) is the othogonal complement of S (n,) with espect to, Recently, Bandt et al [3] found a basis of S (n,) which is indexed by the standad tableaux of shape (n,) We will ecall some definitions and esults fom [3] to descibe this standad basis Let 0 n Conside a ectangula (n ) aay of boxes, which ae depicted in the following figue n It is well known that evey -subset A of [n] coesponds to a path connecting the top left cone with the ight bottom cone of the above aay of boxes Specifically, the i-th step is S (south) o E (east) accoding as i A o i / A Fo example, the -subsets contained in S() coespond to the paths that do not coss the main diagonal of the aay of boxes We denote by P(n,) the set of all paths connecting the top left with the bottom ight cone of an (n ) aay of boxes Then by the coespondence descibed above, P(n,) = ( n ) Example 13 Let n = 5 and = 2 Conside the path maked in ed in the following figue The path, denoted by π, is ESESE whee E stands fo east and S fo south Hence, the 2-subset of [5] coesponding to π is {2,4} We impose the evese lexicogaphic ode on the set P(n,) of paths Fo example, the elements of P(2,2) ae odeed in the following way: SSEE < SESE < SEES < ESSE < ESES < EESS Given any path π P(n,) we can fill the boxes below π by using elements fom F q, and we use c(π) to denote the numbe of such fillings Fo example, fo n = 7 and = 3, a 1 a 2 a 3 a 4 a 5 a 6 9

10 whee a i F q, π = ESESESE, and c(π) = q 6 The following well-known esult establishes a bijection between these objects and the -dimensional subspaces of V A poof can be found in [3] Lemma 14 (Bandt et al [3]) Choosing a path π P(n,) and then filling the boxes below the path with elements of F q is a way of encoding an -dimensional subspace of V Evey such subspace can be uniquely encoded in this way The above lemma shows that π P(n,) c(π) = [ n ] The poof of Lemma 14 associates the educed echelon fom of a subspace to a path π and a filling fo that path Fo example, if a 3-dimensional vecto subspace of F 7 q has the following educed echelon fom a b c 0 0 d then the path and filling coesponding to this vecto subspace is, a b c d with π = ESSESEE Note that hee the steps whee π makes a SOUTH move coespond to the columns which contain a leading one in the educed echelon fom of the 3-dimensional subspace Fo any -subspace X of V we will denote by π(x) the path coesponding to X Definition 15 (Bandt et al [3]) Suppose that v Mq, and wite v = c X X, whee c X K X [ V ] (1) Fo each path π P(n,), let v(π) = X:π(X)=π c X X (2) If v 0, then let geatest(v) denote the geatest 2 path π P(n,) such that v(π) 0 (3) If v 0, then let top(v) = v(geatest(v)) (4) If U is a subspace of Mq and π P(n,), then let U(π) = {u(π) : 0 u U and geatest(u) = π} {0} A couple of emaks ae in ode Fist note that fo any π P(n,), we have Mq (π) = { X:π(X)=π c XX c X K} Secondly, we have Mq = Mq (π) π P(n,) 2 Geatest with espect to the evese lexicogaphic ode imposed on P(n,) 10

11 Let θ be an additive chaacte of F q [21] Suppose that X and L ae -dimensional subspaces of V such that π(x) = π(l) Let χ L be the linea chaacte on Mq defined by n χ L (X) = θ(l i,j x i,j ) i=1 j=1 wheel i,j andx i,j denotethe(i,j)-entiesinthefillingcoespondingtolandx, espectively (hee we ae assuming that the boxes above the path ae filled with zeos) Using the chaacte χ L we define the following element of Mq e L = χ L ( X)X X:π(X)=π(L) fo evey L [ V ] Futhemoe, the othogonality elations fo linea chaactes imply that the sets { [ ]} { [ ] } V V e L : L and e L : L with π(l) = π fom a basis of Mq and Mq(π), espectively Definition 16 (Bandt et al [3]) Let π P(n,) be a path connecting the top left with the bottom ight cone of an aay of boxes of size by n Label the cones of the aay by odeed pais (i,j) with i = 1,, + 1 and j = 1,,n + 1 Fo evey cone (i,j), we define (i,j) = j i Let X be an -dimensional subspace of V such that π(x) = π We say that X is good if its associated filling of the boxes to the south of π with elements of F q is good: fo each cone (i,j) though which the path π passes, the matix with bottom left and top ight cones having coodinates ( +1,1) and (i,j), espectively, has ank at most (i,j) If X is not good then we say it is bad Note that by Definition 16 if a path π P(n,) cosses the main diagonal of the aay of boxes (that is, the -subset coesponding to π does not belong to S()) then thee is no good -dimensional subspace X with π(x) = π The eason is simple: If π P(n,) cosses the main diagonal, then thee is a cone (i,j), with i > j, though which π passes; fo that cone, we have (i,j) = j i < 0; hence thee is no good filling below the path π It follows that if L is a good -dimensional subspace of V then π(l) S() The next theoem gives a standad basis fo the Specht module S (n,) Theoem 17 (Bandt et al [3]) Fo each good -dimensional subspace L of V thee exists a vecto z L M q with top(z L) = e L such that z L, with L unning though the set of good -dimensional subspaces of V, fom a basis of S (n,) As was emaked ealie, evey path π P(n,) that does not coss the main diagonal coesponds to a unique -subset in S() Thus, by abuse of notation we will denote also by S() the set of paths that do not coss the main diagonal Since the elements of S() ae in one-to-one coespondence with the standad tableaux of shape (n, ), it follows that Theoem 17 povides a basis of S (n,) which is indexed by the standad tableaux of shape (n,); that is the eason why the basis in Theoem 17 is called a standad basis To pove Theoem 6 we will need to intoduce anothe submodule of Mq Fo 0 j, define the linea tansfomation ϕ j, : Mq j M q as follows Fo any j-dimensional subspace 11

12 X of V, define ϕ j, (X) = X RR, whee the sum uns ove all the -dimensional subspaces containing X; the definition of ϕ j, is then extended to all elements of Mq j by lineaity We emak that ϕ j, is not only a linea map, but also a GL(n,q)-module homomophism fom Mq j to Mq since fo any g GL(n,q) we have g ϕ j, = ϕ j, g To simplify notation, fo any j-dimensional subspace X of V, with j, we denote by X the image of X unde ϕ j, Note that the subspace inclusion matix W,j (q) is the matix of ϕ j, with espect to the canonical bases of Mq j and M q It follows fom the esults in Fumkin and Yaki [7] that (8) dim K (im(ϕ j, )) = i Y ([ n i ] [ ]) n, i 1 whee Y = {i : 0 i j, [ i j i] K 0} Conside the following subspace of M q, That is U 1 is the column space of U 1 = ϕ 0, (M 0 q )+ϕ 1,(M 1 q )+ +ϕ 1,(M 1 q ) [W,0 (q) W,1 (q) W, 1 (q)] Note that U 1 is a GL(n,q)-submodule of Mq This module was studied by Fumkin and Yaki [7], in which it was shown that the dimension ove K of U 1 is [ n 1] 32 Poof of Theoem 6 In this subsection we will give the poof of Theoem 6 Ou appoach will be simila to the one used in the poof of Theoem 4 Howeve, since we do not have a q-analogue of the Bie basis of Mq we will use the esults fom epesentation theoy that wee intoduced in Section 31 Fo π P(n,), define the leading tem of π to be the numbe of E moves befoe the fist S move We define and Fom definition we have S() = {π P(n,) : the leading tem of π < }, S() + = {π P(n,) : the leading tem of π } S() = S() S() + Also, if π S() +, evey filling of π is good since fo any cone (i,j) though which π passes, (i,j) is automatically geate than o equal to the ank of the matix with bottom left and top ight cones having coodinates (+1,1) and (i,j) As a pepaation, we fist pove the following lemma Lemma 18 Let K be a field of chaacteistic copime to q = p t and containing a pimitive p th oot of unity With notation as above, we have U 1 (π) = {0} π S() + M q 12

13 Poof We will use the inne poduct, defined on Mq given in Theoem 12 Since dim(s (n,) ) > dim(u 1 ), we see by the Submodule Theoem that U 1 is contained in (S (n,) ) Thus, fo any z S (n,) and any v U 1 we have z,v = 0 As we emaked above any -dimensional subspace L of V with π(l) S() + is good Theefoe, if π S() + then the vectos in the set {e L : L good and π(l) = π} fom a basis of Mq(π) Combining this fact with Theoem 17, we conclude that the Specht module S (n,) contains a vecto w L such that top(w L ) = L fo each L with π(l) S() + Given any vecto v Mq we can use the canonical basis of Mq to epesent v as a column vecto (that is, we index the coodinates of the column vecto by -subspaces of V) We aange the canonical basis with espect to the evese lexicogaphic ode Theefoe, on the top we have the subspaces associated to the paths in S() +, then the subspaces whose associated paths ae in S(), and finally the ones associated to paths in P(n,)\S() Now, givenanabitaybasisofu 1, weconsidethebasiselementsepesentedascolumn vectos with espect to the canonical basis Applying column opeations to the basis vectos we can get a new basis of U 1 in educed echelon fom such that the leading ones appea fom left to ight and fom the bottom to the top We claim that no leading ones of this new basis appea on a ow indexed by a subspace L with π(l) S() + Note that this is enough to pove the conclusion of the lemma To pove ou claim we poceed by contadiction Suppose that afte column opeations one of the basis vectos v of U 1 has a leading one in a ow indexed by a subspace L with π(l) S() + Then, v,w L = 1 which is a contadiction because U 1 (S (n,) ) Now we pove a vecto space analogue of Lemma 11 To state the esult we intoduce some notation Fo any g GL(n,q) and any family F of -subspaces of V we denote by g(f) the family of -subspaces {g(x) : X F} Futhemoe, conside the following set of -dimensional vecto subspaces of V: [ ] } V S() + q {X = : π(x) S() + That is, S() + q is the set of -subspaces of V whose associated paths ae in S() + Lemma 19 Suppose 0 s < n/2 Let F be a family of -dimensional subspaces of V and K a field with cha(k) p If thee exists g GL(n,q) such that g(f c ) S() + q then ank K (W F,s(q)) = ank K (W,s (q)) Poof Without loss of geneality we may assume that K contains a pimitive p th oot of unity Indeed, if K does not contain a pimitive p-th oot of unity then we can extend K to a lage field and this does not change the ank of the matices W,s (q) o W,s (q) F Fist, assume that F c S() + q Conside the following subspaces of Ms q, (9) W j = ϕ 0,s (M 0 q )+ϕ 1,s(M 1 q )+ +ϕ j,s(m j q ) fo j = 0,1,,s It is clea that (10) W 0 W 1 W s Futhemoe, the dimension of W j ove K was shown to be [ n j] in [7] Theefoe, it follows fom equations (9) and (10) that Mq s has a basis with the following popety: Fo each j 13

14 fom 0 to s, [ ] [ n j n ] j 1 of the elements of the basis ae of the fom X s with X [ V j] Fo [ j = 0,1,,s, we denote by B j a set of j-dimensional subspaces of V with cadinality n [ j] n j 1] chosen in such a way that s { X s : X B j } is a basis of Mq s By the definition of ϕ s, and staightfowad computations, we have [ ] j (11) ϕ s, ( X s ) = X j=0 fo all X B j with j anging fom 0 to s LetY s = {j : 0 j s such that [ ] j K 0}andZ s = {j : 0 j s such that [ j 0} Equations (8) and (11) imply that the set { X s : X B j } j Z s foms a basis of the kenel of ϕ s, Theefoe, the set (12) { X : X B j } j Y s ] =K foms a basis fo the image of ϕ s, ; so in paticula these vectos ae linealy independent in Mq Now, we poceed in the same way as in the poof of Lemma 11 Conside the following linea tansfomation fom Mq s to Mq ϕ Fc s,(s) = R T S R T F c,s T whee R uns ove all -dimensional subspaces of V containing S, and T uns ove all - dimensional subspaces of V containing S such that T F c It is clea fom definition that dim K (imϕs,) Fc = ank K W,s(q) F Futhemoe, note that fo evey X B j with 0 j s we have [ ] j ϕ Fc s, ( X s) = X [ ] j T T F c,x T Note that the vectos in {[ ] } j X : X B j with 0 j s ae linealy independent Moeove, fo evey X B j with 0 j s, the vecto [ ] j T is contained in U 1 Theefoe, it follows fom Lemma 10 and Lemma T F c,x T 18 that the vectos in j Y { ϕ F c s, ( X s) : X B j } 14

15 ae linealy independent in Mq Theefoe ([ ] [ ]) n n j j 1 j Y dim K (imϕ Fc s, ) Hence, Lemma 19 follows fom the tivial uppe bound ank K W,s(q) F ank K W,s (q) and the q-analogue of Wilson s ank fomula fo W,s (q) Now, if F c S() + q, then by assumption thee exists g GL(n,q) such that g(fc ) S() + q As in the poof of Lemma 11, we can use g to define the following invetible linea tansfomations, Φ g : M q Mq R g(r), Φ g s : Ms q Mq s S g(s) Fom the above definitions, it follows that ϕ Fc s, = (Φ g ) 1 ϕ g(fc ) s, Φ g s Hence dim K (imϕ Fc s, ) = dim K(imϕ g(fc ) s, ) The poof of the lemma is now complete In the statement of the following coollay, fo an -dimensional subspace X of V, we denote also by π(x) the unique -subset of [n] coesponding to the path in P(n,) associated with X Coollay 20 Suppose that 0 s < n/2 Let F be a family of -subspaces of V satisfying that (13) X F cπ(x) n Then ank K (W F,s(q)) = ank K (W,s (q)) Poof By Lemma 19 it is enough to show that thee exists g GL(n,q) such that g(f c ) S() + q Recall that evey -dimensional subspace of V can be epesented by a unique by n matix in educed echelon fom The condition X F π(x) n implies that thee c ae at least columns that do not contain a leading one fo any of the subspaces in F c Let i 1 < i 2 < < i l be the indices of the columns coesponding to the leading ones of all subspaces in F c By assumption we have that l n ; so thee exists a pemutation sending i l n,i l 1 n 1,,i 1 n l +1 whee n l+1 > This implies that thee exists a linea tansfomation g GL(n,q) sending evey X F c to a subspace g(x) such that none of the leading ones of the educed echelon fom of g(x) appeas in the fist columns; hence g(x) S() + q fo evey X F c The poof of the coollay is now complete Theoem 6 is an immediate consequence of Coollay 20 because any family of -subspaces F of V satisfying that F c n 1 clealy satisfies (13) 4 Concluding Remaks In this pape, we have poved two vaiations of Keevash s esult (Theoem 3) Fist, we show that the ank of the subset-inclusion matix W,s F is esilient ove any field Moe pecisely, if a family F of -subsets of [n] satisfies the condition that F c n 1, then ank K (W,s F) = ank K(W,s ) fo any field K Note that a less estictive bound on F c was 15

16 obtained in [10] when K is a field of chaacteistic zeo Moe pecisely, if cha(k) = 0 and n is lage, it was shown in [10] that ank K (W,s F) = ank K(W,s ) fo all families F of -subsets of [n] satisfying that F c < ( n s s) Theefoe the following question aises natually: does Theoem 4 emain tue unde the assumption that F c < ( n s s)? Secondly, we pove a q-analogue of Theoem 3: If the size of a family F of -dimensional subspaces of F n q is close enough to [ n ] then ankk (W,s F(q)) = ank K(W,s (q)) fo any field K of chaacteistic copime to q The condition in Theoem 6 on the size of F c is somewhat estictive Fo example, if we emove all the -subspaces containing a paticula s-subspace the ank ove the ationals of W,s F (q) has to decease at least by one So a natual question is: does Theoem 6 emain tue unde the assumption F c < [ n s s]? Refeences [1] L Babai, P Fankl, Linea Algebaic Methods in Combinatoics, Peliminay vesion 2, 1992 [2] T Bie Remaks on ecent fomulas of Wilson and Fankl, Euop J Combin 14 (1993),1 8 [3] M Bandt, R Dippe, G James and S Lyle Rank polynomials, Poc London Math Soc 98 (2009), 1 18 [4] P Fankl, Edős-Ko-Rado theoem with conditions on the maximal degee, J Combin Theoy (A) 46 (1987), [5] P Fankl, Intesection theoems and mod p ank of inclusion matices, J Combin Theoy (A) 54 (1990), [6] K Fiedl, L Ronyai, Ode shatteing and Wilson s theoem, Disc Math 270 (2003), [7] A Fumkin and A Yaki, Rank of inclusion matices and modula epesentation theoy, Isael J Math 71 (1990), [8] C D Godsil, Poblems in algebaic combinatoics, Electonic J Combin 2 (1995), Featue 1, appox 20 pp (electonic) [9] D H Gottlieb, A cetain class of incidence matices, Poc Ame Math Soc 17 (1966), [10] C Gosu, Y Peson, and T Szabó, On the ank of highe inclusion matices, J London Math Soc 90 (2014), [11] J E Gave, W B Jukat, The module stuctue of integal designs, J Combin Theoy (A) 15 (1973), [12] N Hamada, The ank of the incidence matix of points and d-flats in finite geometies, J Sci Hioshima Univ 32 (1968), [13] G D James, Repesentations of geneal linea goups, London Mathematical Society, Lectue Note Seies 94, 1984 [14] W M Kanto, On incidence matices of finite pojective and affine spaces, Math Z 124 (1972), [15] G Katona, A theoem of finite sets, Theoy of gaphs (Poc Colloq, Tihany, 1966), (1968), [16] P Keevash, Shadows and intesections: stability and new poofs, Adv Math 218 (2008), [17] P Keevash, Addendum to Shadows and intesections: stability and new poofs, Januay 2010, Available at keevash/papes/kk-addendumpdf [18] J B Kuskal, The numbe of simplices in a complex, Mathematical Optimization Techniques (1963), [19] N Linial and B L Rothschild, Incidence matices of subsets - A ank fomula, SIAM J Algebaic Discete Math 2 (1981), [20] L Lovász, Combinatoial Poblems and Execises Noth-Holland, Amstedam, 1993 [21] J P See, Linea Repesentations of Finite Goups Gaduate Texts in Mathematics, Spinge, 1977 [22] R M Wilson, The exact bound in the Edős-Ko-Rado theoem, Combinatoica 4 (1984), [23] R M Wilson, A diagonal fom fo the incidence matices of t-subsets v k-subsets, Euop J Combin 11 (1990),

17 Rafael Plaza, Depatment of Mathematical Sciences, Univesity of Delawae, Newak, DE 19716, USA addess: Qing Xiang, Depatment of Mathematical Sciences, Univesity of Delawae, Newak, DE 19716, USA addess: 17