; TeX output 2000.04.12:1223 7
6color push Blackhtml:color push gray 0 color pop html:h color popY 6ठ html: html:7IUd{ȶNps::[begin] 21313290 3623253 16840130 25457541 23352524 26575831 startTexFig ps: plotfile logo0018.ps ps::[end] endTexFig +)N q cmbx12TwZo
AnaloguesofaClassicalSequence9= N*XQ ff cmr12Ruedi/Suterٍt&XQ cmr12Mathematikdepartemenrt 7ETHZSvuricrht18092ZSvuricrh,SwitzerlandmY?Emailaddress:8)html:color push cmyk 0 1 0 0suter@math.ethz.crh color pop html:U!Í 3+N cmbx12Abstract ,@ cmti12WeG2cffomputeexponentialgeneratingfunctionsforthenumbersofeffdgesnhintheHassediagramsforthe-R6 cmss12B-andD-analoguesofthepar-tition35latticffes.:9 K`y
cmr1019910 ':
cmti10MathematicsSubje}'ctClassication. LPrimary05A15,Gv52B30;Secondary05A18,UU05B35,06A07,11B73,11B83,15A15,20F55* 8`1-
cmcsc10Introduction WhenQoneloSoksupthesequence1,k;6,31,160,856,4802,28337,175896,rg cmmi12:::YinroneofSloane'sinrtegersequenceidentiers[html:color push cmyk 0 1 0 0HIS color pop html:&,html:color push cmyk 0 1 0 0EIS color pop html:>,html:color push cmyk 0 1 0 0OIS color pop html:],\oneElearnsthatthesenrumbSersEarethenrumbersEofdriving-poinrtimpSedances ofann-terminalnetrwork forn=2,%3,4,5,6,7,8,9,:::asdescribSedinanoldarticlebryRiordan[html:color push cmyk 0 1 0 0Ri color pop html:7]. Incomrbinatoricstherearetwocommonwaysofgeneralizingclassicalenrumerativefacts.Onesucrhgeneralizationarisesbyreplacingtheset[n]=!",
cmsy10f1;:::ʜ;ng6bryann-dimensionalvectorspaceovertheniteeld
msbm10F2 cmmi8q ̙to7getaqn9-analogue. Theothergeneralizationorextensionisbryconsidering\B-andD-analogues"ofan\A-case".δThisterminologystemsfromLietheoryV.(Thereisno\C-case"heresinceitcoincideswith 6color push Black 2o cmr91h color pop *7
̍6color push Blackhtml:color push gray 0 color pop html:2h color popY 6हthe:\B-case".))Ofcourseonemarytrytocombinethetwoapproaches 6andsupplyqn9-B-andq-D-analogues.BInthisnoteIshalldescribSeB-andD-analoguesofthenrumbersof6driving-pSoinrtimpedancesofann-terminalnetrwork.TVoassuageany6pSossibleYpcuriositryabouthorwthesesequenceslook,u"herearetheirrst6fewterms:v EEB-analogue 1,8,58,432,3396,28384,252456,2385280,::: DmD-analogue 0,4,31,240,1931,16396,147589,1408224,::: BहIBshould~probablyemphasizethatIwillonlygivremathematicalargu-6menrtsŻandwillnotattempttoprovideaphysicalrealizationofB-and6D-netrworks.BWVeRstartfromcertainclassicalhrypSerplanearrangements.pARhypSer-6planeIarrangemenrtdenesafamilyofsubspaces,namelythosesub-6spaces1>whicrhcanbSewrittenasintersectionsofsomeofthehypSerplanes6inthearrangemenrt.FVoreachsuchsubspacewewillchoSoseanormal6form!thatrepresenrtsthesubspace.ނSuchanormalformconsistsofan6equivXalenceclassofpartialf1g-partitionsintheterminologyofDorwl-6ingw[html:color push cmyk 0 1 0 0Do color pop html:5].NDorwlingactuallyconstructedG-analoguesofthepartition6lattices|foranrynitegroupG.Usingtheconceptofvoltagegraphs(or6signedgraphsforjGj_=2)ormoregenerallybiasedgraphs,&Zaslarvsky6garve!afar-reacrhinggeneralizationofDowling'swork.Itisamusingto6seeUthatnotonlythenetrworkUbutalsothemathematicaltreatmenrtof6hrypSerplaneV`arrangementscarriesagraph-theoretical
avour.| Herewe6will,
sticrktothenormalformandnottranslatethingsintotheframe-6wrork(vofgraphtheoryV,wdespitethesuccessthisapproachhashadfor6examplein[html:color push cmyk 0 1 0 0BjSa color pop html:PK].7Insomesensethenormalformapproacrhpursuesa6strategyoppSositetothatofZaslarvsky'sgraphs.BWhitneyrnrumbSersandcharacteristicpSolynomialsforhypSerplanear-6rangemenrtsTormoregenerallyforsubspacearrangements,nzthatis,the6nrumbSerstofvrerticeswithxedrankintheHassediagramsandthe6M obius{functions,harvebSeenstudiedbymanyauthors.Apparentlylit-6tleattenrtionhasbSeenpaidsofartothenumbSersofedgesintheHasse6diagrams.BTherer$isanotherpSoinrtworthmentioning.TItconcernsadichotomy6amongtheA-,,B-,andD-series.color push cmyk 0 1 0 0St color pop html:]fortheinitial6papSer).r|Inconrtrast,intheLietheoryonehasadierentdichotomyV, 6color push Blackh color pop
7
̍6color push Blackhtml:color push gray 0 color pop html:c`3h color popY 6हnamelyV,4bSetrween%fthesimplylaced(likreAandD)andthenon-simply- 6laced(likreBandC)typSes.BFinallyV,
Fanobrviousgeneralization,whicrh,however,wedonotgoinrto,6concernsԂhrypSerplanearrangementsfortheinnitefamiliesofunitary6re
ectiongroups.m6Hyperplanearrangementsandtheirintersectionla32ttices BहLeto`AUR=fH|{Y cmr81;:::ʜ;H̽NDgbSeacollectionofsubspacesofcodimension16inthevrectorspaceR2nP.WVeletL(A)denotethepSosetofallintersections6़H̽iqAa cmr61Sʿ\ I\ IH̽i ; cmmi6rJ,,)orderedbryreverseinclusion.ThispSosetL(A)isactually;6ageometriclattice.!ItsbSottomelemenrtnu
cmex10b0"istheintersectionoverthe6emptryhindexset,i.oe.,R2nP.(ThehatomsarethehypSerplanesH̺1;:::ʜ;H̽ND,6and"Vthetopelemenrtnb1$isH̺1\Б \БH̽ND.FVormanyfurtherdetailsthe6readerisreferredtoCartier'sBourbakitalk[html:color push cmyk 0 1 0 0Ca color pop html:\h],=Bj orner'sexpSosition6[html:color push cmyk 0 1 0 0Bj color pop html:7]formoregeneralsubspacearrangemenrts,zandthemonographby6OrlikandTVerao[html:color push cmyk 0 1 0 0OT color pop html:]forathoroughexpSositionofthetheory.BAtheoremduetoOrlikandSolomonstatesthatforaniteirre-6ducibleCorxetergroupWwithCoxeterarrangementAF=A(Wƹ)we6harvetheequalitry jAHDjUR=jAj+1 h 6html: html:(1)A6whereEXH2AisanryhypSerplaneofthearrangement,\histheCoxeter6nrumbSerKofWƹ,tandA2HisthehryperplanearrangemenrtinHtwiththe6hrypSerplanes+H(\ҼH V2K cmsy80forH V20J2ûA fH Vg.yInotherwrords,;(html:color push cmyk 0 1 0 01 color pop html:)saysthat6eacrhatomintheintersectionlatticeL(A)iscoveredbyjAjKm+1 h6हelemenrts. Onec;maywonderwhatcanbSesaidaboutthenrumbSerof6elemenrtsthatcoveranarbitraryelementinL(A).BTheinrtersectionlatticesthatconcernusherecomefromthefollowing6hrypSerplanesinR2nP.><0݉ ff\`
J͟I ff͟trypSeofA; - ff b˹elemenrtsofA\-I ffG ff\`衍ͤI ffş(A̺1)2nT ff@ffx̽aY!=UR0g̽a=1;:::\;n gןI ffͤI ffşA̽n 1"ࡄ ff fx̽bx.=URx̽c.yg̺1ZD msam86b