arxiv: v1 [math.ac] 23 Oct 2018

Transcription

1 arxv: v1 [athac] 23 Oct 2018 Explct Bo-Söderberg theory of deals fro a graph soorphs reducton Alexander Engströ Laura Jakobsson Mlo Orlch October 25, 2018 Abstract In the orgns of coplexty theory Booth and Lueker showed that the queston of whether two graphs are soorphc or not can be reduced to the specal case of chordal graphs To prove that, they defned a transforaton fro graphs G to chordal graphs BL(G The proectve resolutons of the assocated edge deals I BL(G s anageable and we nvestgate to what extent ther Bett tables also tell non-soorphc graphs apart It turns out that the coeffcents descrbng the decopostons of Bett tables nto pure dagras n Bo-Söderberg theory are uch ore explct than the Bett tables theselves, and they are expressed n ters of classcal statstcs of the graph G 1 Introducton Accordng to the an theore of Bo-Söderberg theory every Bett table can be expressed as a weghted non-negatve su of partcularly eleentary tables, called pure Bett tables [3, 8, 11] These weght coeffcents are usually even ore cubersoe to express than the Bett nubers theselves, and fro explct calculatons they tend to nvolve any bnoal coeffcents and alternatng sgns In our settng t turns out that they are ore straghtforward to state than the Bett nubers, and we can provde eleentary forulas for the In one of the frst results of coplexty theory, Booth and Lueker [5] proved that two graphs are soorphc f and only f ther correspondng Booth-Lueker graphs are soorphc Ths reduced the proble of graph soorphs to the specal class of Booth-Lueker graphs, and they have several attractve propertes The an result of ths paper, Theore 35, regards the deal of the Booth- Lueker graph of a graph on n vertces and d vertces of degree, for = 0,, n 1 If c s the weght of the pure 2-lnear table wth non-zero entres Departent of Matheatcs, Aalto Unversty, Helsnk, Fnland alexanderengstro laurapakobsson 1

2 on the second row, then c = d n ( + 1 n 1 = n d for n 2n 2, c n 1 = d 0 n, and the other Bo-Söderberg coeffcents vansh Further on, we also descrbe n Secton 3 the explct Bett nubers and ant-lecture hall copostons of these deals In Theore 42 we study the dual graph stuaton, constructng the deal of the copleent of the Booth-Lueker graph We show that f the orgnal graph has n vertces and edges, then c = ( + 1 for + n 4, c +n 3 = + n 3 and the other coeffcents vansh We also gve explct results on Bett nubers and ant-lecture hall copostons for these deals n Secton 4 Acknowledgeents We would lke to thank Petter Kask for dscussons on the graph soorphs proble 2 Tools and background results In ths secton we lst soe useful tools fro graph theory, coutatve algebra and cobnatorcs, wthout ntroducng anythng new 21 Basc defntons and standard tools 211 Graph Theory All graphs are assued to be sple The degree of a vertex s the nuber of edges ncdent to t It s coon to dscuss the degree sequence of a graph, that s, the degrees sorted downwards We wll not do that Defnton 21 The degree vector or degree statstcs of a graph G on n vertces s the colun vector d G := (d 0, d 1,, d n 1 T where d s the nuber of vertces of degree n G Reark 22 Actually the word degree was brought fro algebra to graph theory by Petersen [14] n 1891, addressng a proble n nvarant theory by Hlbert The copleent of a graph G s denoted by G and the nduced subgraph of G on the set of vertces W by G[W ] Notaton 23 Gven a graph G, we denote by I G ts edge deal, n a polynoal rng S wth as any varables as the vertces of G 2

3 212 Cobnatorcs The followng well-known result s used several tes later on It s known as Vanderones s dentty or convoluton, and proved n for exaple Secton 126I of [13] Lea 24 For all ntegers r, s, and n, ( ( ( r s r + s ( ( r s + k = and ( 1 r k = k n k n k n k k ( s n r We wll also ake use several tes of the followng cobnatoral result Lea 25 If P Q[x] s a polynoal of degree less than N and such that P (n Z for all n Z, then N ( N ( 1 =0 P ( = 0 (1 Proof By Lea 414 n [4], there are a 0,, a N 1 n Z such that P (x = N 1 =0 ( x + a Therefore, t s enough to prove that the stateent holds for any polynoal of the for ( x+, wth < N Ths follows fro dfferentatng tes the bnoal forula (1 + x N = N ( N =0 x, and settng x = 1 22 Booth-Lueker graphs and the graph soorphs proble In ths secton we ntroduce our obect of study, naely that of the Booth-Luker graph BL(G assocated to a gven graph G, but before dong so we explan the otvaton behnd the constructon A fundaental queston n graph theory (wth applcatons prarly n coputer scence that goes by the nae of graph soorphs proble s the followng: are two gven graphs G and G soorphc? To the best of our knowledge, t s stll an open queston whether the soorphs for general graphs can be deterned n polynoal te or not It s also unknown whether the graph soorphs proble s NP-coplete There are soe upper bounds: n 1983 Baba and Luks [2] showed that the proble can be solved n oderately exponental exp(o( n log n te, where n s the nuber of vertces, and n 2015 Baba claed that the proble can actually be solved n quaspolynoal te A stake n the proof was found by Helfgott, then Baba fxed t, and n 2017 he re-claed the quaspolynoal te (see [1] As far as we know, the proof has not been fully checked yet, though 3

4 G BL(G Fgure 1: The path on four vertces and ts Booth-Lueker graph However, there are any results known about specal classes of graphs The case of nterest to us s that of chordal graphs, because of the followng polynoal-te reducton, an old coplexty theory result proved by Booth and Lueker [5] Theore 26 Arbtrary graph soorphs s polynoally reducble to chordal graph soorphs To prove ths, they ade use of the followng constructon, whch we therefore nae after the Defnton 27 For any graph G let BL(G be the graph wth vertex set V (G E(G and edges uv for every par of vertces n G and ue for every vertex u ncdent to an edge e n G We call BL(G the Booth-Lueker graph of G Notce that both BL(G and ts copleent are chordal, for every G They are splt graphs Thus, we have two nterestng deals to defne actually In Secton 3 we study algebrac nvarants of the edge deals of Booth-Lueker graphs, and n Secton 4 we do the sae for the copleents Exaple 28 Consder the path on four vertces It s depcted n Fgure 1 wth ts Booth-Lueker graph We can thnk of the Booth-Lueker constructons n the followng ters: we take the orgnal graph G on the left, add on the rght new vertces correspondng to the edges of G and connect these vertces wth the respectve ends of the assocated edge of G Then we coplete the left part of the graph Later on we wll use agan ths ternology of a left and rght part of BL(G 23 Bo-Söderberg theory Denote as usual S = k[x 1,, x n ] Bo-Söderberg theory deals wth wrtng the Bett table of a fntely generated graded S-odule as a su of spler peces, cong fro the so-called pure Bett tables : to each sequence n = (n 0,, n s of strctly ncreasng non-negatve ntegers, we assocate the table π(n wth entres { k 0, π(n, := n k n 0 n k n f 0, = n, 0 otherwse, 4

5 and ths s called the pure Bett table assocated to n We can oreover gve a partal order to such sequences by settng (n 0,, n s ( 0,, t whenever s t and n for all {0,, s} Reark 29 It s custoary to refer to a sequence of strcly ncreasng ntegers as above as a degree sequence Snce the sae nae also corresponds to a concept n graph theory, we ust do not refer to the, n order to avod confuson Theore 210 For every fntely generated graded S-odule M, there s a strcly ncreasng chan n 1 < < n p of strcly ncreasng sequences of n + 1 non-negatve ntegers and there are nubers c 1,, c p Q 0 such that β(m = c 1 π(n c p π(n p Defnton 211 We refer to the non-negatve ratonal nubers c 1,, c p as n the theore above as Bo-Söderberg coeffcents of M Exaple 212 Take I = (x 2, xy, y 3 S = K[x, y] Then one can copute that β(s/i = = = 1 2 π(0, 2, π(0, 2, π(0, 3, 4, 4 so that n 1 = (0, 2, 3, n 2 = (0, 2, 4, n 3 = (0, 3, 4, and the Bo-Söderberg coeffcents are c 1 = 1/2, c 2 = 1/4, and c 3 = 1/4 Reark 213 In the sae way as for the graded Bett nubers, there s a very straghtforward algorth to copute Bo-Söderberg coeffcents, but (as far as we know there are no general explct forulas, so we don t know a pror what to expect n general For a ore detaled account of Bo-Söderberg theory, see for nstance the survey [11] by Fløystad There the notaton for a degree sequence s d nstead of n, but we already use d G to denote the degree vector of a graph G As otvated n Secton 24, we wll ostly be nterested n deals I wth 2-lnear resolutons, e, such that the Bett table of S/I looks lke ( β(s/i = 0 β 1,2 β 2,3 β p,p+1 By Bo-Söderberg theory, such a Bett table wll be the weghted average of certan pure tables of the for π(0, 2, 3,, s, s + 1 lke for nstance ( π(0, 2 =

6 or π(0, 2, 3 = ( Followng the dscusson around convertng Bett dagras and Bo-Soderberg coeffcents nto each other fro the paper [10] we record these pure dagras as the two vectors π 1 = (1, 0, and π 2 = (3, 2, 0, e, we denote by π s the second row of π(0, 2, 3,, s, s + 1, except for the frst entry, whch s always zero Slghtly larger exaples are π 7 = (28, 112, 210, 224, 140, 48, 7, 0, 0,, π 8 = (36, 168, 378, 504, 420, 216, 63, 8, 0, 0,, π 9 = (45, 240, 630, 1008, 1050, 720, 315, 80, 9, 0, 0, The zeros n the end extend ndefntely, and t wll be convenent to us to wrte a specfc aount of the, as t wll becoe clear n the next sectons 24 On 2-lnear resolutons The followng was proved by Fröberg [12] and refned by Dochterann and Engströ [7] Theore 214 For a sple graph G, the edge deal I G has 2-lnear resoluton f and only f the copleent of G s chordal Moreover, gven a graph G whose copleent s chordal, the Bett nubers of S/I G can be coputed as follows: β,+1 (S/I G = ( 1 + the nuber of connected coponents of G[W ] W V (G #W =+1 Engströ and Staps showed n Lea 31 and Theore 32 of [10] how Bett tables and Bo-Söderberg coeffcents are related for 2-lnear resolutons Frst of all, let us ntroduce the followng notaton: f a graded S-odule M has Bett table ( β(m =, 0 β 1,2 β 2,3 β p,p+1 we denote by ω(m = (β 1,2,, β p,p+1 the Bett vector of M Lea 215 Let Ω be the square atrx of sze n + 1 whose -entry s ( ( Then Ω s nvertble and the nverse Ω 1 has -entry ( Furtherore, f M has a Bett table as above and f c = (c 1,, c n+ 1 s the vector wth the Bo-Söderberg coeffcents of M, then we have c = ω(mω 1 6

7 241 Ant-lecture hall copostons Recall that a sequence λ = (λ 1, λ 2,, λ n of ntegers such that t λ 1 1 λ 2 2 λ n n 0 s called ant-lecture hall coposton of lenght n bounded above by t For further nforaton about ant-lecture hall copostons, see [6], where they were ntroduced, and also [15] To a 2-lnear deal (equvalently, a graph wth chordal copleent we can assocate a unque ant-lecture hall coposton wth t = 1 and λ 1 = 1, see Secton 4 of [10] The followng result s Proposton 411 fro that paper Lea 216 Let I be a 2-lnear deal, denote by λ = (λ 1,, λ 1 the antlecture hall coposton assocated to I, ω(s/i the Bett vector of S/I and Ψ the nvertble atrx wth -entry Ψ = ( 1 1 Then we have λ = ω(s/iψ 1 3 The Bo-Söderberg theory of deals of Booth- Lueker graphs In ths secton we deterne the Bett tables, Bo-Söderberg coeffcents, and ant-lecture-hall copostons of the edge deals of Booth-Lueker graphs It turns out that the nforaton carred over to the algebrac settng fro the graphs are all copled n ts degree vector We wll eploy several results by Engströ and Staps [10] on 2-lnear resolutons and Bo-Söderberg theory to reach these results 31 Degree vector and Bett nubers For an S-odule S/I wth 2-lnear resoluton of length n, we denote the nontrval part of ts Bett table as ω(s/i := (β 1,2, β 2,3,, β n,n+1 and call t the reduced Bett vector of S/I If the deal I s the edge deal of a graph G, we ust wrte ω(g Proposton 31 (Fro the degree vector to the Bett nubers If G s a graph on n vertces and edges, A s the atrx of sze (n + 1 n defned by A = ( +n 2, and v s the colun (n + 1-vector defned by v = ( n +1, then ω(bl(g = Ad G v, (2 where d G = (d 0, d 1,, d n 1 T s the degree vector of G 7

8 Proof On the rght-hand sde we have (Ad G v = n ( + n 2 =1 d 1 ( n + 1 We want to use the forula n Theore 214 Let W be a set of +1 vertces If all of W s n the left (ndependent part of BL(G, then the nduced subgraph has + 1 connected coponents If one of the vertces of W s n the rght part of BL(G, then ths vertex s connected n BL(G to n 2 of the n vertces on the left So actually f W has soe vertces n the rght part there are not any possbltes for the nuber of connected coponents of the nduced subgraph: they can ether be one, two or three By applyng the forula we fnd that ( n β,+1 = ( n = ( n 2 2 n k=1 =1 + 2 d 1 ( 1 k ( n ( n 1 k, n k=2 =1 d 1 ( 1 k where we used that n =1 ( 1d 1 = 2 So we want to prove that ( n ( n =1 whch can be rewrtten as n =1 d 1 k=0 d 1 ( ( 1 n 1 = k k k=1 ( ( 1 n 1 k k = ( n 1 k n ( + n 2 d 1, =1 n ( + n 2 d 1 snce ( + 1 ( ( n +1 = n n 1 We can now conclude thanks to the specal case of Vanderonde s dentty (see Lea 24 ( ( 1 n 1 k k k=0 =1 ( + n 2 = Exaple 32 Consder the graph G on 7 vertces and 8 edges depcted n Fgure 2 Thanks to Proposton 31 we copute the Bett nubers of BL(G We, 8

9 n snce ( = n n 1 We can now conclude thanks to the specal case of Vanderonde s dentty (see Lea 23 X 1 n 1 + n 2 =, k k k=0 Exaple 32 Consder now the followng graph G on 7 vertces and 8 edges: Thanks to Proposton Fgure 31 we2: copute The graphthe G nbett Exaple nubers 32 of BL(G We consder the atrx consder the atrx A = A = B A constructed constructed by Aby = A +5 = ( +5 The The degree vector of of G G s s the the colun colun vector vector Then Now let d d G = (0, 0, 5, 2, 0, 0, 0 G =(0, 0, 2, 0, 0, 0 T T Ad G = (58, 212, 448, 602, 532, 308, 112, 23, 2, 0, 0, 0, 0, 0 6 T v = (21, 35, 35, 21, 7, 1, 0, 0, 0, 0, 0, 0, 0, 0 T, where v = ( 7 +1 for = 1, 2,, 14 Then the Bett vector s ω(bl(g = Ad G v = (37, 177, 413, 581, 525, 307, 112, 23, 2, 0, 0, 0, 0, 0 T and the Bett table s ( β(bl(g =

10 Reark 33 The reason for the extra zeros coes fro Hlbert s Syzygy Theore, gvng a bound on the proectve denson: we sply wrte all the possbly non-zero entres Proposton 34 (Fro the Bett nubers to the degree vector Denotng (G the largest vertex degree n G, and denotng by B the square subatrx of A obtaned by takng the frst (G + 1 coluns and the rows fro n 1 to n + (G 1, we have (B 1 = ( 1 + B and d G = B 1 (β n 1,n + 1, β n,n+1,, β n+ (G 1,n+ (G That s, we can copute the degree vector n ters of the (last non-zero Bett nubers Proof We notce that the effectve length of the vector v s n 1, whle that of Ad G s n + (G 1 Therefore the Bett nuber β,+1 s equal to the entry (Ad G, for = n,, n + (G 1, whle β n 1,n = (Ad G v n 1 = (Ad G n 1 1 The entres of the atrx A that we use n these coputatons are ust A, for = n 1,, n + (G 1, = 1,, (G + 1, and therefore we defne the square atrx B as n the stateent above More explctly, ths subatrx of A has the for 1 B 12 B 13 B 1, (G B 23 B 2, (G+1 B = B 3, (G Ths atrx s nvertble and so we clearly have the stated forula It only reans to prove that the atrx C wth entres C := ( 1 + B s the nverse of B Let s see that BC s the dentty atrx: t s clear that (BC = 0 f <, and also n the su (G+1 ( ( k + n 2 + n 2 (BC = ( 1 ( 1 k + n 2 k + n 2 k=1 the only non-zero suand corresponds to k = and t s 1 So let < and consder ( ( k + n 2 + n 2 (BC = ( 1 ( 1 k + n 2 k + n 2 k= + ( + n 2! = ( 1 ( 1 k 1 ( + n 2! k!( k! Ths s zero because N k=0 ( 1k 1 k!(n k! = 1 N N! k=0 ( 1k( N k s zero for all N > 0 (see Lea 25 k=0 10

11 32 Fro degree vector to Bo-Söderberg coeffcents Recall that, for a graph G, by Bo-Söderberg coeffcents of G we ean the Bo-Söderberg coeffcents of S/I G Theore 35 Let G be a graph wth n vertces and n edges, and let d G = (d 0, d 1,, d n 1 be ts degree vector Then the th Bo-Söderberg coeffcent of BL(G s 0 f n 2, c = n 1 d 0 + d (+1 n (+1 f = n 1, n 1 d n+1 = n + d (+1 f n 1 < 2n 2, 0 f > 2n 2 Proof Puttng Lea 215 and (2 together, we fnd that the th Bo-Söderberg coeffcent of BL(G s c = ( 1 = n n+ 1 d k 1 k=1 ( 1 1 n+ 1 + ( 1 +1 ( 1 1 ( 1 n k=1 d k 1 ( ( + 1 k + n ( ( + 1 n + 1 n+ 1 ( 1 1 ( 1 n k=1 d n+ 1 k 1 ( ( ( ( k+n 2 ( k+n 2 n (+1 f n 1, f > n 1 For convenence of notaton, wrte b,k := n+ 1 ( ( ( k+n 2 +1 Clearly for > 2n 2 we have that b,k = 0 as every suand s zero Now fx k and suppose 2n 2 In order for b,k to be non-zero, k + n 2 ust be satsfed In the boundary condton = k + n 2 we can easly copute the su as there s only the value = for whch both the bnoal coeffcents are non-zero, so that the su s Fnally, f < k + n 2, then b,k = = n+ 1 ( 1 1 b, n+2 = ( 1 / ( ( + 1 k + n n+ 1 1 ( 1 ( 1 ( + 1 ( ( k + n 2 11

12 Consder now the polynoal P (x := (x + 1 ( x 1 1, whch has degree If we set N := k + n 2, by Lea 25 we have that n+ 1 1 ( ( 1 k + n 2 b,k = ( 1 ( + 1 ( = 1 ( + 1 = ( 1 ( + 1 [ n+ 1 =0 ( ( ] 1 k + n 2 ( 1 ( + 1 ( Puttng these thngs together, we fnd the stated expressons for the Bo- Söderberg coeffcents Exaple 36 Consder agan the graph G n Exaple 32 Recall that π 7 = (28, 112, 210, 224, 140, 48, 7, 0, 0, 0, 0, 0, 0, 0, π 8 = (36, 168, 378, 504, 420, 216, 63, 8, 0, 0, 0, 0, 0, 0, π 9 = (45, 240, 630, 1008, 1050, 720, 315, 80, 9, 0, 0, 0, 0, 0 Wth Theore 35, we can easly fnd that the Bett vector for BL(G, coputed n Exaple 32, can be encoded as (37, 177, 413, 581, 525, 307, 112, 23, 2, 0, 0, 0, 0, 0 = 1 8 π π π 9 Or to be ore concse, the only non-zero Bo-Söderberg coeffcents are c 7 = d d 2 + d 3 + d 4 + d 5 + d 6 = , c 8 = d d 3 + d 4 + d 5 + d 6 = , c 9 = d d 4 + d 5 + d 6 = where d s the nuber of vertces of degree n G 33 Fro degree vector to ant-lecture hall copostons For a bref ntroducton to ant-lecture hall copostons, see Secton 241 For an llustraton of the next result, see Exaple 38 Proposton 37 Take a graph G wth n vertces and edges, and assue that n 1 Denote by d k the nuber of vertces of degree k n G and denote by λ the ant-lecture hall coposton assocated to BL(G Then we have for = 1,, n, λ = d n 1 + d n d n+1 for = n,, 2n 2, 0 for > 2n 2 Notce n partcular that for = n we get λ n = d n 1 + d n d 0 = n 12

13 Proof By applyng Lea 216 to BL(G, we have λ = ω(bl(gψ 1, where Ψ s the nvertble square atrx of sze n + 1 wth entres Ψ = ( 1 1 and λ = (λ 1,, λ n+ 1 Usng (2 and denotng Ξ := (Ψ 1 T, we sply fnd λ T = (Ψ 1 T Ad G (Ψ 1 T v = ΞAd G Ξv (3 Thus we only need to see explctly what ΞA and Ξv are We cla that ΞA has the followng shape (see also Exaple 38: the entry (ΞA k s 1 for k+n 2 and t s 0 for > k + n 2 To prove ths, let k + n 2 and note that (ΞA k = n+ 1 Ξ A k = k+n 2 = ( 1 = n+ 1 ( ( 1 k + n 2 ( ( ( 1 k + n 2 ( 1 1 [ k+n 2 ( ] k + n 2 = ( 1 ( 1 P ( P (0 =0 = ( 1 1 P (0 = 1, where we apply Lea 25 by consderng the polynoal ( x 1 (x 1(x 2 (x + 1 P (x := = 1 ( 1! Moreover, for > k + n 2 every ter n the su expressng the entry (ΞA k vanshes, and then (ΞA k = 0 For what concerns Ξv, n order to obtan the forulas for the λ s startng fro (3, we only need to prove that { n f < n (Ξv = 0 f n Ths s true snce for < n we have n+ 1 n+ 1 ( ( 1 n (Ξv = Ξ v = ( n 1 ( ( 1 n = ( 1 ( = n ( ( 2 n = ( 1 +1 ( 1 1 =+1 [ n ( ] n = ( 1 +1 ( 1 P ( P (0 + P (1n =0 = ( 1 +1[ ( ( 1 +1 n ] = n, 13

14 where the polynoal we choose ths te, n order to apply Lea 25, s ( x 2 (x 2(x 3 (x P (x := =, 1 ( 1! and for n we have (Ξw = 0 as every ter n the bg su has as a ultplyng factor a vanshng bnoal coeffcent Exaple 38 Consder the graph G n Exaple 32 and Exaple 36 Proposton 37, we fnd that By λ 1 = 1 λ 2 = 2 λ 3 = 3 λ 4 = 4 λ 5 = 5 λ 6 = 6 λ 7 = 7 λ 8 = d 3 + d 2 = 7 λ 9 = d 3 = 2 λ 10 = λ 11 = λ 12 = 0 Moreover, the atrx and vector seen n the proof of Proposton 37 have the followng fors: ΞA = , Ξv = About the copleent BL(G Proposton 41 Let G be a graph wth n vertces and edges Then, for every nteger 1, ( ( ( + n 3 β,+1 BL(G =

15 Proof The proof s n two steps: (1 We generalze the Booth-Lueker constructon to ult-graphs and prove the followng: let G be a ult-graph wth, n partcular, vertces u, v, w and an edge uv, and let G be the sae ult-graph except for the fact that we reove that edge uv and add an edge uw; then the Bett nubers of BL(G and BL(G are equal (2 We prove the stated forula for a partcular ult-graph H: the one wth all the edges between two fxed vertces, and n 2 other solated vertces Thanks to the fact that ew can reach H startng fro any G wth n vertces and edges teratng the transforaton n the frst step, and snce the Bett nubers stay constant at each teraton, we wll have the forula for any G The generalzaton of the Booth-Lueker constructon to ult-graphs s done n the natural ntutve way: BL(G wll be a sple graph wth a left part wth the orgnal vertces of G, all connected to each other wth one edge, and a rght part wth as any vertces as the edges of G, connected to the respectve ends n the left part Let us prove part (1, by usng the forula n Theore 214 Let us denote by e the edge between u and v that we ove between u and w The vertex sets of BL(G and BL(G can be wrtten n the sae way, the only dfference s that the vertex e n the rght part of BL(G s connected to u and v on the left, whereas e n the rght part of BL(G s connected to u and v Let S be a subset of the vertces of BL(G and let s see how the nuber of connected coponents of BL(G[S] and BL(G [S] dffer ( If e / S, then BL(G[S] = BL(G [S] ( If u S, then e s path-connected to v and w f they are n the graph, whether the ovng edge s there or not, so the nubers of connected coponent of BL(G[S] and BL(G [S] are the sae ( Let e S and u / S Then we have three possbltes: (a If both v and w are n S, then the nuber of connected coponents of BL(G[S] and BL(G [S] are the sae (b If v S and w / S, then the nuber of connected coponents of BL(G[S] ncreases by one after the ove to BL(G [S], as e becoes a new solated vertex (c If v / S and w S, then the nuber of connected coponents of BL(G[S] decreases by one after the ove to BL(G [S], as e s no longer a new solated vertex So, to su up, we have found the followng: only f e S, u / S and exactly one of v and w s n S we have a change n the nuber of connected coponents 15

16 defned by S 7! (S [{w} \{v} Then #S =#'(S, and ' s a becton between those subsets there the nuber of connected coponents ncreases by one and those where t decreases by one So n total the graded Bett nubers stay constant Let us now prove the second part Frst, let us denote H the ult-graph on n vertces and edges, where all the edges are between two fxed vertces u and v For nstance, f n = 8 and = 4, then the Booth-Lueker graph of H looks lke and therefore we wll refer to BL(H as the pneapple For each nteger 1, let us copute Fgure 3: The,+1 BL(H Booth-Lueker by usng graph the forula lookng lke n Theore a pneapple 26 For any subset W of +1vertcesnBL(H, the nuber of connected coponents of BL(H[S] can vary fro 1 to + 1 We are not nterested n the cases wth only Consder one the connected ap coponent, as they gve zero n the su If +1 s the n 2 nuber of connected coponent, wth 1 apple apple 1, then we have +1 choces for ϕ {Ssuch V a(bl(g W,byselectng v S, w vertces / S, e n S, the u / rght S} part of the pneapple and +1 n the left part, {Sexept V (BL(G for u and v v For / S, w+1 S, connected e S, u coponents, / S} we can ether choose + 1 vertces n the rght part of the pneapple, or one vertex defnedaong by S n (S 2 vertces {w} \ on{v} the left Then and#s on = the #ϕ(s, rght and Therefore, ϕ s a becton we fnd between those subsets there X 1 the nuber of connected apple coponents ncreases by one and those where t decreases n 2 by one So n total the graded Bett nubers,+1 BL(H = + +(n 2 stay constant Let us now prove the X 1 second part Frst, let us apple denote H the ult-graph on n vertces and edges, where n 2 all the edges 1 are between two fxed vertces u = + +(n 2 and v For nstance, f n = 8+1 and = 4, then 1 the Booth-Lueker +1 graph of H s depcted n Fgure 3 and apple X therefore we wll refer to ( BL(H as the pneapple For each nteger n = 1, let us copute β,+1 (n BL(H 2 by usng the forula n Theore 214 For any subset 1 W of + 1 vertces n BL(H, 1 thenuber =0 of connected coponents of BL(H[S] can vary fro apple 1 to + 1 We are not nterested n the cases wth only one connected coponent, + as+(n they gve 2 zero n +1 the su If + 1 s the nuber of connected coponent, wth 1 1, then we have ( n 2 ( + n ( = choces for such a W, by + selectng vertces n the rght part of the pneapple and + 1 n the left part, +1 exept for u and v For + 1 connected coponents, + n we 3 can ether choose + 1 vertces n the rght part of the pneapple, = or one, vertex aong +1n 2 vertces on the left and on where for ( we used that P =0 that 1 1 = n = +n 3 (see Lea 23 and 14 16

17 the rght Therefore, we fnd ( 1 ( n 2 β,+1 BL(H = ( n 2 = + 1 [ ( n 2 = 1 =0 ( + ( 1 1 ( 1 ( ( ( + n 3 1 = ( ( + n 3 =, + 1 where for ( we used that =0 that ( 1 1 = ( ( n 2 1 ( 1 [( ( ] + (n [( ( ] + + (n ( ( ] 1 1 (n 2 1 [( ( ] + + (n = ( +n 3 ( + 1 (see Lea 24 and Theore 42 Let G be a graph wth n vertces and edges Then the -th Bo-Söderberg coeffcent of BL(G s 0 f <, c = (+1 f + n 4, f = + n 3, 0 f > + n 3 17

18 Proof We use agan the forula n Lea 215 We fnd c = n+ 1 =1 β,+1 ( BL(G ( 1 1 n+ 1 = ( 1 1 = =1 ( + n 3 ( + 1 ( + n 3 ( 1 ++n n+ 4 ( ( =0 n+ 1 =1 ( 1 1 ( ( ( ( + n 4 ( 1 +n n+ 4 ( ( + n 3 1 ( + 1 ( 1++n+1 ( 1 +n 3 1 =0 1 ( 1 ( + 1 ( 1++1 ( 1 1 =0 fro whch we conclude, thanks to Lea 24 ( 1 1 ( + 1, Proposton 43 For G a sple graph wth n vertces and edges, the assocated ant-lecture hall coposton λ = (λ 1,, λ n+ 1 s such that f, λ = f < + n 3, 0 f > + n 3 Proof If we apply Lea 216 to BL(G, snce the correspondng atrx Ψ 1 has -entry equal to ( 1 +( 1 1, we fnd that λ = n+ 1 β,+1 ( BL(G Ψ 1 n+ 1 ( ( n+ 1 + n 3 1 ( ( 1 = ( 1 + ( n+ 1 ( ( + n 3 1 = ( 1 +n++1 ( 1 +n 3 1 =0 n+ ( ( ( 1 + ( 1 ( =0 ( ( ( = ( 1 ++n ( ( 1, n where we appled Lea 24 Now, dependng on, we fnd the stated expressons for λ 18

19 References [1] László Baba [2] László Baba and Eugene M Luks Canoncal labelng of graphs Proceedngs of the 15th Annual ACM Syposu of Theory of Coputng (1983, [3] Mats Bo and Jonas Söderberg Graded Bett nubers of Cohen-Macaulay odules and the ultplcty conecture J Lond Math Soc (2 78 (2008, no 1, [4] Wnfred Bruns and Jürgen Herzog Cohen-Macauly rngs Second edton Cabrdge Studes n Advanced Matheatcs, 39 Cabrdge Unversty Press, Cabrdge, 1993 xv+453 [5] Kellogg S Booth and George S Lueker Lnear algorths to recognze nterval graphs and test for the consecutve ones property Seventh Annual ACM Syposu on Theory of Coputng (Albuquerque, N M, 1975, Assoc Coput Mach, New York, 1975, pp [6] Sylve Corteel and Carla D Savage Ant-lecture hall copostons Dscrete Math 263 (2003, no 1-3, [7] Anton Dochterann and Alexander Engströ Algebrac propertes of edge deals va cobnatoral topology Electron J Cobn 16 (2009, no 2, Specal volue n honor of Anders Börner, Research Paper 2, 24 pp [8] Davd Esenbud and Frank-Olaf Schreyer Bett nubers of graded odules and cohoology of vector bundles J Aer Math Soc 22 (2009, no 3, [9] Alexander Engströ, Chrstan Go and Matthew T Staps Graded Expectatons: Bett nubers and ant-lecture hall copostons of rando threshold graphs arxv: , 24 pp [10] Alexander Engströ and Matthew T Staps Bett dagras fro graphs Algebra Nuber Theory 7 (2013, no 7, [11] Gunnar Fløystad Bo-Söderberg theory: ntroducton and survey Progress n coutatve algebra 1, 1 54, de Gruyter, Berln, 2012 [12] Ralf Fröberg On Stanley-Resner rngs Topcs n algebra, Part 2 (Warsaw, 1988, 57 70, Banach Center Publ, 26, Part 2, PWN, Warsaw, 1990 [13] Donald Knuth The Art of Coputer Prograng, Vol 1, Fundaental Algorths, 2nd ed, Addson-Wesley, Readng, Mass, 1973 [14] Julus Petersen De Theore der regulären graphs Acta Math 15 (1891, no 1,

20 [15] Carla D Savage The atheatcs of lecture hall parttons J Cobn Theory Ser A 144 (2016,