arxiv: v1 [math.co] 30 May 2017

Transcription

1 Tue Polyomials of Symmeric Hyperplae Arragemes Hery Radriamaro May 31, 017 arxiv: v1 [mahco] 30 May 017 Absrac Origially i 1954 he Tue polyomial was a bivariae polyomial associaed o a graph i order o eumerae he colorigs of his graph ad of is dual graph a he same ime However he Tue polyomial reveals more of he ieral srucure of a graph, ad coais eve oher specializaios from oher scieces like he Joes polyomial i Ko heory, he pariio fucio of he Po model i saisical physics, ad he reliabiliy polyomial i ework heory I his aricle, we sudy he Tue polyomial associaed o more geeral objecs which are he arragemes of hyperplaes Ideed deermiig he Tue polyomial of a graph is equivale o deermiig he Tue polyomial of a special hyperplae arrageme called graphic arrageme I 007 Ardila compued he Tue polyomials of he hyperplae arragemes associaed o he classical Weyl groups, ad he characerisic polyomials of he Caala arragemes The charaerisic polyomial is also a specializaio of he Tue polyomial I 01 Seo compued he characerisic polyomials of he Shi hreshold arragemes, ad i 017 Sog compued he characerisic polyomials of he I arragemes i he plae ad i he space We aim o brig a more geeral resul by iroducig a wider class of hyperplae arragemes which is he se of symmeric hyperplae arragemes We compue he Tue polyomial of a symmeric hyperplae arrageme, ad, as examples of applicaio, we deduce he Tue polyomials of he Caala, he Shi hreshold, ad he I arragemes Keywords: Tue Polyomials, Coboudary Polyomials, Characer Polyomials, Symmeric Hyperplae Arragemes MSC Number: 05A15 1 Iroducio The cocep of colorig origiaes from he map colorig problem We assig a verex o each erriory, ad coec wo verices oly if he correspodig erriories are adjace I his way we ca assig a graph o ay map of couries A graph colorig correspods o a way of colorig he map so ha wo adjace couries are colored differely Tue proved ha he polyomial eumeraig he colorigs of a graph, as well as he polyomial eumeraig he colorigs of he dual graph are parial evaluaios of a sigle polyomial i wo variables [11, 3 The dichromae of a graph]: i is he Tue polyomial This polyomial reveals more of he ieral srucure of he graph Crapo showed for isace ha i deermies he umber This research was fuded by my moher Lo II B 3 bis Faravohira, 101 Aaaarivo, Madagascar heryradriamaro@gmailcom 1

2 of subgraphs wih ay saed umber of edges ad ay saed rak [3, Theorem 1] I his projec, we sudy he Tue polyomial o more geeral objecs which are he arragemes of hyperplaes Ideed, deermiig he Tue polyomial of a graph is equivale o deermiig he Tue polyomial of a associaed hyperplae arrageme called graphic arrageme Le x 1,, x be real variables, x x 1,, x a eleme of he Euclidea space R, ad a 1,, a, b + 1 real coefficies such ha a 1,, a 0,, 0 A hyperplae H of R is a affie subspace H : {x R a 1 x a x b} For simpliciy, we jus wrie H : {a 1 x a x b} A arrageme of hyperplaes i R is a fiie se of hyperplaes The arrageme A is said if he hyperplaes i A have a oempy iersecio A subarrageme of A is a subse of A Wrie B he iersecio of he hyperplaes i a subarrageme B The rak fucio r is defied for each subarrageme B of A by rb dim B This fucio is exeded o he fucio r : A N by defiig he rak of a o subarrageme B o be he larges rak of a subarrageme of B Take wo variables x ad y The Tue polyomial of a hyperplae arrageme A is T A x, y : x 1 ra rb y 1 B rb B A A various pois ad lies of he x, y-plae, he Tue polyomial evaluaes, i addiio o hose o he graphs, o quaiies sudied i diverse fields of Mahemaics ad Physics Par of he appeal of he Tue polyomial comes from he uifyig framework i provides for aalysig hese quaiies For examples, Alog he hyperbola xy 1, he Tue polyomial specializes o he Joes polyomial of a associaed aleraig ko [10, 3 The Tue Polyomial ad some of is Properies] The Joes polyomial is a ivaria of a orieed ko which assigs o each orieed ko a Laure polyomial i he variable 1 wih ieger coefficies For ay posiive ieger q, alog he hyperbola x 1y 1 q, he Tue polyomial specializes o he pariio fucio of he q-sae Pos model [6, I Iroducio] By sudyig he Pos model, oe may gai isigh io he behavior of ferromages ad cerai oher pheomea of solid-sae physics A x 1, he Tue polyomial specializes o he all-ermial reliabiliy polyomial sudied i ework heory [6, V Some well-kow Ivarias] The reliabiliy polyomial is a polyomial ha gives he probabiliy ha every pair of verices of he graph remais coeced afer edges fail Take wo oher variables q ad We cosider a simple rasformaio of he Tue polyomial, called he coboudary polyomial of he hyperplae arrageme A, defied by Sice χ A q, : B A T A x, y q ra rb 1 B 1 y 1 ra χ A x 1y 1, y,

3 compuig he coboudary polyomial is equivale o compuig is Tue polyomial To each hyperplae arrageme A is defied a parially ordered se called he iersecio pose of A, ad deoed L A I cosiss of he oempy iersecios of hyperplaes i A ordered by reverse iclusio The characerisic polyomial of A is χ A q : E L A µr, Eq dim E, where µ deoes he Möbius fucio of he joi-semilaice L A Zaslavsky proved ha he umber of regios io which A dissecs R is equal o 1 χ A 1, ad he umber of relaively bouded regios is equal o 1 ra χ A 1 [9, Theorem 5] Besides, by meas of Whiey s heorem [9, Theorem 4], oe ca express he characerisic polyomial i he followig erm of he coboudary polyomial χ A q q ra χ A q, 0 Sog compued he characerisic polyomials of he arragemes I ad I 3 [8, 3 Arragemes i he plae ad space], where I is he hyperplae arrageme i R defied by I : {x i 0} {x i 1} {x i + x j 1} i [] i [] i,j [] i j Seo gave he aswer o a problem suggesed by Saley by deermiig he characerisic polyomials of he Shi hreshold arragemes [7, Theorem 5] defied by ST : {x i + x j 0} {x i + x j 1} i,j [] i j i,j [] i j Ardila compued he characerisic polyomials of he Caala arragemes [1, Theorem 514] defied by C : {x i x j 0} {x i x j 1} i,j [] i j i,j [] i j He also compued he coboudary polyomials of he hyperplae arragemes associaed o he classical Weyl groups A 1, B, ad D [1, Theorem 41, 4, 43] We aim o prove a more geeral resul by iroducig he symmeric hyperplae arragemes, ad compuig heir coboudary polyomials We cosider he followig acio of he symmeric group S o he se of hyperplaes i R : Take a permuaio of elemes σ, ad a hyperplae H {a 1 x a x b} The, σ H : {x R a 1 x σ1 + + a x σ b} More geerally, σ acs o he hyperplae arrageme A {H 1,, H m } i R as follows: σ A : {σ H 1,, σ H m } Defiiio 11 A symmeric hyperplae arrageme is a hyperplae arrageme A i R such ha, for all permuaio σ i S, we have σ A A 3

4 All examples of arragemes meioed above are symmeric hyperplae arragemes This aricle is divided as follows Secio is abou a expoeial geeraig fucio formula ha we eed laer The fiie field mehod, which is basis formula of our coboudary polyomial compuaios, is preseed i Secio 3 We ca fially compue he coboudary polyomial of a symmeric hyperplae arrageme, ad he expoeial geeraig fucio of he coboudary polyomials associaed o a sequece of symmeric hyperplae arragemes i Secio 4 The, as examples of applicaio, we use our resul o obai he coboudary polyomials of he I, he Shi hreshold, ad he Caala arragemes i Secio 5 Expoeial Geeraig Fucio This secio is a brief recall o he expoeial geeraig fucios However, we prove here a formula ha we will eed i Secio 4 Cosider he rig R[ 1,, r ] of mulivariae polyomials, ad ake a variable z The expoeial geeraig fucio or EGF of a sequece u, u belogig o R[ 1,, r ], is he formal power series z u! Le uz, v 1 z,, v q z be q + 1 EGF such ha uz v 1 z v z v q z We kow from he covoluio formula [4, II Admissible labelled cosrucios] ha u v a 1 a 1,, a 1 v a v a q q q a 1 + +a q We provide a geeralizaio of he covoluio formula Take i 1 i q posiive ieger variables a 1 1,, a1 i 1, a 1,, a i,, a q 1,, aq i q, ad q posiive ieger variables b 1,, b q such ha b j a j a j Cosider q muli-idexed sequeces of polyomials a a1 i + +a q aq iq j p a j 1,, r 1,,aj a j i 1,,aj i N i j j j Proposiio 1 Le uz u z! be a EGF such ha u a 1 1,, a1,, a q 1,, aq i q i 1 q p j a j 1,,aj 1,, r The, here exis q EGF v j z vj z! such ha uz v 1 z v z v q z, ad v j a j 1 + +aj a a1 i + +a q aq iq a j 1,, aj Proof We begi he calculaios from he expressio of u : a 1 1,, a1,, a q 1,, aq i q i 1 4 p j a j 1,,aj 1,, r q p j a j 1,,aj 1,, r

5 q! a a1 i + +a q aq iq a a1 i + +a q aq iq b 1 + +b q b 1,, b q q p j a j 1,,aj 1,, r b 1,, b q a j 1 + +aj b j a j 1! aj! q b j a j 1,, aj p j a j 1,,aj 1,, r b j a j 1,, p j aj a j 1,, r 1 i,,aj j We deduce from he covoluio formula ha uz v 1 z v z v q z wih v j b j a j 1 + +aj b j b j a j 1,, p j aj a j 1,, r 1 i,,aj j Suppose for example ha u a a1 i + +a q aq iq q 1,, a1,, a q 1,, aq i q a 1 i 1 j k1 aj k The, uz q a j 1 + +aj a j 1,, j aj k1 aj k z! 3 Fiie Field Mehod This secio exposes he fiie field mehod which reduces he deermiaio of he coboudary polyomial o a couig problem This mehod is pracically he basis formula oe uses o compue coboudary polyomials, ad characerisic polyomials We also use i Take a ieger coefficie hyperplae or Z-hyperplae H {a 1 x a x b} i R, ad a prime power q p k Oe says H reduces correcly over F q if, modulo q, i iduces a hyperplae i F q deoed H : {ā 1 x ā x b} I a broader way, oe says ha he Z-hyperplae arrageme A i R reduces correcly over F q if i iduces a hyperplae arrageme Ā i F q, formed by he iduced hyperplaes of A modulo q, ad he hyperplae arragemes A ad Ā are isomorphic To ge he isomorphism, he deermias of all miors of he marix of coefficies of he hyperplaes i A mus be ozero modulo p Thus, if we choose p o be a prime larger ha all hese deermias, we ca guaraee o have a correc reducio Deoe h x he umber of hyperplaes of Ā ha he eleme x of F q lies o The followig heorem proved by Ardila [1, Theorem 33] is he basis of he fiie field mehod 5

6 Theorem 31 Le A be a Z-hyperplae arrageme i R, ad Ā is reduced hyperplae arrageme i F q, for a power q of a large eough prime The, q ra χ A q, x F q Proof To prove Theorem 31, we eed boh remarks: h x R1 If V is a d-dimesioal subspace of F q, he V q d R For a sricly posiive ieger d, we have I I [d] d i0 d i 1 + d i We ca ow proceed o he proof of he heorem Le H x he se of hyperplaes of Ā ha x lies o We have q ra χ A q, B A q rb 1 B B A q dim B 1 B B Ā B Ā B Ā x F q B 1 B R1 x B 1 B x F q h x R q dim B 1 B B H x 1 B Ardila used his heorem o compue he coboudary polyomials of he hyperplae arragemes associaed o he classical Weyl groups A 1, B, ad D For he special case 0, oe refids he resul of Ahaasiadis [, Theorem ] resriced o he hyperplae arragemes χ A q F q Ā Seo resp Sog used his Ahaasiadis formula o compue χ ST q resp χ I q, ad χ I3 q 4 Coboudary Polyomial of Symmeric Arrageme I his secio is esablished he mai resul, amely he coboudary polyomial of a symmeric hyperplae arrageme We deduce he EGF of a sequece of coboudary polyomials of symmeric hyperplae arragemes 6

7 Defiiio 41 Le A be a symmeric hyperplae arrageme i R We ca choose some hyperplaes H 1,, H m of A o wrie his arrageme i he followig form: A σ H 1 σ H m σ S σ S We call such hyperplaes H 1,, H m represeaive hyperplaes of A We ake as example he arrageme A A 1 σ S σ {x 1 x } associaed o he Weyl group A 1 wih Defiiio 4 Le A be a symmeric hyperplae arrageme i R, ad H i a represeaive hyperplae A represeaive equaio of A is a mulivariae equaio E i : a i 1 x a i x ij b i, 1, a i 1, ai 0 such ha for all hyperplae H of a subarrageme σ S σ H i of A, here exiss a permuaio τ of S such ha H {a i 1 x τ1 + + a i x τij b i } The represeaive equaio of A A 1 is obviously E : x 1 x Defiiio 43 Take a symmeric hyperplae arrageme i R A σ H 1 σ H m σ S σ S For each represeaive hyperplae H i {a i 1 x 1+ +a i x ij b i }, we defie a equivalece relaio Hi o S by The, we have σ Hi τ a i 1 x σ1 + + a i x σij a i 1 x τ1 + + a i x τij A σ H 1 σ H m σ S / H1 σ S / Hm For he arrageme A A 1, he equivalece relaio is σ {x1 x } τ { σ1, σ } { τ1, τ } for wo permuaios σ ad τ of [] Le E : a 1 x a j x j b be ieger equaio Deoe Ē : ā 1 x ā j x j b he reduced equaio modulo q of E, ad SolĒ he soluio se of he equaio Ē i Fj q For x x 1,, x j i F j q, defie he se S x : { x 1,, x j }, ad, for k {0, 1,, q 1}, le o k x be he umber of occurreces of k i x Furhermore, for ȳ ȳ 1,, ȳ i F q, defie A k ȳ : {i [] ȳ i k} Lemma 44 Le H be a hyperplae i R, A he symmeric arrageme σ S / H σ H, ad E : a 1 x a j x j b he represeaive equaio of A The umber of hyperplaes of he arrageme Ā he eleme ȳ of F q lies o is hȳ Ak ȳ o k x x SolĒ k S x 7

8 Proof Take H as he hyperplae {ā 1 x ā j x j b} wih ā 1, ā j 0 Deoe Āȳ he se of hyperplaes i he arrageme σ S / H σ H he eleme ȳ of F q lies o The hȳ Āȳ {σ H σ S / H, ā 1 ȳ σ1 + + ā j ȳ σj b} {σ S / H ā 1 ȳ σ1 + + ā j ȳ σj b} {σ S / H ȳ σ1,, ȳ σj SolĒ} {σ S / H ȳ σ1,, ȳ σj x} x SolĒ Oe ca fid a permuaio σ of S / H such ha ȳ σ1,, ȳ σj x if ad oly if, for all k i S x, A k ȳ o k x I his case, here are A k ȳ o k x possibiliies o choose ok x coordoaes of ȳ havig he value k Sice all he elemes of S x should be cosidered, we he obai {σ S / H ȳ σ1,, ȳ σj x} k S x Ak ȳ o k x Remplacig {σ S / H ȳ σ1,, ȳ σj x} by he righ compoe of his equaio i he expressio hȳ, we ge he aimed resul Proposiio 45 Le A be a symmeric hyperplae arrageme i R havig m represeaive equaios E i : a i 1 x a i x ij b i, 1, a i 1, ai 0 The, he umber of hyperplaes of he arrageme Ā a eleme ȳ of F q lies o is hȳ m i1 x SolĒi k S x Ak ȳ o k x Proof Le A σ S / H1 σ H 1 σ S / Hm σ H m, ad hi ȳ be he umber of hyperplaes of he arrageme σ S / Hi {σ H i } he eleme ȳ lies o Usig Lemma 44, we obai hȳ m h i ȳ i1 m i1 x SolĒi k S x Ak ȳ o k x The soluio se of he equaio Ē is { k, k k {0, 1,, } } The umber of hyperplaes of he arrageme ĀA 1 he eleme ȳ lies o is he Ak ȳ hȳ k0 Defiiio 46 Le E i be he m represeaive equaios of a symmeric hyperplae arrageme We pariio he mulise m i1 SolĒi io mulises M 1,, M r havig he followig properies: 8

9 Take a eleme x of M i Eiher M i { x}, or here exiss aoher eleme ȳ of M i such ha S x Sȳ If i j, he, for all x i M i, ad ȳ i M j, we have S x Sȳ We call he pariio M 1,, M r he idice pariio of m i1 SolĒi We ca ow sae he mai resul of his aricle Theorem 47 Le A be a symmeric hyperplae arrageme havig represeaive equaios whose soluio idice pariio is M 1,, M r The, he coboudary polyomial of A is χ A q, q ra r x Mj k S x a k o k x a 0,, a a 0 + +a Proof Usig he idice pariio of m i1 SolĒi, he umber of hyperplaes of he arrageme Ā a eleme ȳ of F q lies o is r hȳ x M j k S x Ak ȳ o k x From Theorem 31, we have q ra χ A q, ȳ F q r A 0 A [] a 0 + +a x Mj r k S x A k ȳ o k x x Mj a 0,, a k S x A k o k x r x Mj k S x a k o k x The soluio idice pariio of E is { 0}, { 1},, {q 1}, ad he rak of A A 1 is 1 The coboudary polyomial of A A 1 is he χ AA 1 q, 1 a 0 a q a 0,, a a 0 + +a Defie a equivalece relaio o he se of hyperplaes i R by H i H j σ S, H i σ H j Defiiio 48 Take m hyperplaes H i {a i 1 x a i x ij b i } wih a i 0 Se l maxi 1,, i m, ad assume ha hese are hyperplaes i R l wo by wo oequivale A sequece of symmeric hyperplae arragemes wih represeaive hyperplaes H 1,, H m is a sequece of hyperplae arragemes A l such ha A σ H 1 σ H m σ S / H1 σ S / Hm 9

10 We have for example he sequece of symmeric hyperplae arragemes A A 1 σ {x 1 x } associaed o he Weyl group A 1 σ S / {x1 x } We deduce he EGF of he coboudary polyomials of a symmeric arrageme sequece Theorem 49 Le A {l, l+1, } be a sequece of symmeric hyperplae arragemes havig he same represeaive equaios, ad M 1,, M r he commo soluio idice pariio Cosider he EGF r x M uz j ī k S x a i k o ik x z a i1,, a imj! a i1 + +a imj The, q ra χ A q, z l 1! uz z u! l 0 Proof From Theorem 47, we kow ha q ra χ A q, a 0 + +a a 0,, a r x Mj k S x a k o k x Le x M j S x {i 1,, i mj }, ad se he EGF uz wih u a 0 + +a a 0,, a r x Mj k S x a k o k x We deduce from Proposiio 1 ha uz r a i1 + +a imj a i1,, a imj x M j ī k S x a i k o ik x z! Sice χ A q, is o defied for < l, ad χ A q, u for l, we ge he resul The EGF of he coboudary polyomials associaed o A A 1 q χ AA 1 q, z! z q 1 qz! is 5 Examples of Applicaio We fiish wih hree complee examples of applicaio We use Theorem 47 resp 49 o compue he coboudary polyomial resp he EGF of he coboudary polyomials of he I, Shi hreshold, ad Caala arragemes 10

11 51 The I Arrageme Recall ha, for, he I arrageme wih rak is I σ {x 1 0} σ {x 1 1} σ S / {x1 0} σ S / {x1 1} σ {x 1 + x 1} σ S / {x1 +x 1} The represeaive equaios of I are E 0 : x 1 0, E 1 : x 1 1, ad E : x 1 + x 1 We have SolĒ0 { 0}, SolĒ1 { 1}, ad SolĒ { q+1, q+1 } i {ī, q i + 1} Ad he soluio idice pariio is M 0 { 0, 1, 0, 1}, M 1 { q + 1, q + 1 }, ad M i {ī, q i + 1} for i {,, q 1 } The, he coboudary polyomial of I is χ I q, a 0 + +a a 0,, a a 0+a 1 +a 0 a 1 a q+1 i a ia q i+1, ad he EGF of he coboudary polyomials associaed o I is 1 + q + z + q χ ST q, z! 5 The Shi Threshold Arrageme z! a+b a, b a+b ab z! a+b+ab z a, b! q 3 Recall ha, for, he Shi hreshold arrageme wih rak 1 is ST σ {x 1 + x 0} σ {x 1 + x 1} σ S / {x1 +x 0} σ S / {x1 +x 1} The represeaive equaios of ST are E 0 : x 1 + x 0, ad E 1 : x 1 + x 1 We have SolĒ0 i0 {ī, q i}, ad SolĒ1 { q + 1, q + 1 } {ī, q i + 1} There is a uique soluio idice pariio M SolĒ0 SolĒ1 The, he coboudary polyomial of ST is i χ ST q, 1 q a 0 + +a a 0,, a a 1a 0 +a + a 0 + a q+1 i a ia q i +a q i+1, 11

12 ad he EGF of he coboudary polyomials associaed o ST is 1 + qz + q χ ST q, z! a 1 + +a q a 1,, a q a a 1 +a q+ a 1 + a q+3 q+1 i3 a ia q i+ +a q i+3 z! 53 The Caala Arrageme Recall ha, for, he Caala arrageme wih rak 1 is C σ {x 1 x 0} σ {x 1 x 1} σ S / {x1 x 0} σ S / {x1 x 1} The represeaive equaios of C are E 0 : x 1 x 0, ad E 1 : x 1 x 1 We have SolĒ0 {ī, ī}, ad SolĒ1 {i + 1, ī} i0 There is a uique soluio idice pariio M SolĒ0 SolĒ1 The, he coboudary polyomial of C is χ C q, 1 q a 0 + +a a 0,, a i0 q a +a 0a ad he EGF of he coboudary polyomials associaed o C is 1 + qz + q χ C q, z! a a 1 + +a 1,, a q q i0 aq +a 1 a q a i +a i a i+1, i1 a i +a i a i+1 z! 1

13 Refereces [1] F Ardila, Compuig he Tue Polyomial of a Hyperplae Arragemes, Pacific Joural of Mahemaics [] C Ahaasiadis, Characerisic Polyomials of Subspace Arragemes ad Fiie Fields, Advaces i Mahemaics [3] H Crapo, The Tue Polyomial, Aequaioes Mahemaicae [4] P Flajole, R Sedgewick, Aalyic Combiaorics, Cambridge Uiversiy Press 009 [5] T Geldo, Compuig he Tue Polyomial of Hyperplae Arragemes, hps://reposiorieslibuexasedu/hadle/15/ [6] C Merio, D Welsh, The Pos Model ad he Tue Polyomial, Joural of Mahemaical Physics [7] S Seo, Shi Threshold Arrageme, The Elecroic Joural of Combiaorics [8] J Sog, O cerai Hyperplae Arragemes ad Colored Graphs, Bullei of he Korea Mahemaical Sociey [9] R Saley, A Iroducio o Hyperplae Arragemes, Lecure oes IAS/Park Ciy Mahemaics Isiue 004 [10] M Thislehwaie, A Spaig Tree Expasio of he Joes Polyomial, Topology [11] W Tue, A Coribuio o he Theory of Chromaic Polyomials, Caadia Joural of Mahemaics