arxiv: v4 [math.co] 5 May 2011

Transcription

1 A PROBLEM OF ENUMERATION OF TWO-COLOR BRACELETS WITH SEVERAL VARIATIONS arxiv: v4 [mathco] 5 May 011 VLADIMIR SHEVELEV Abstract We cosier the problem of eumeratio of icogruet two-color bracelets of beas, of which are blac, a stuy several atural variatios of this problem We also give recursio formulas for eumeratio of t-color bracelets, t 3 1 Itrouctio Professor Richar HReis South-East Uiversity of Massachusetts, USA i 1978 put the problem: Let a circumferece is split by the same parts It is require to fi the umber R, of the icogruet covex -gos,which coul be obtaie by coectio of some from iviig poits Two -gos are cosiere cogruet if they are coicie at the rotatio of oe relatively other alog the circumferece a or by reflectio of oe of the -gos relatively some iameter I 1979 Hasraj Gupta [1]gave the solutio of the Reis problem Theorem 1 HGupta 11 R, 1 h + 1, ϕ 1, 1 where h mo, h 0 or 1,, is gc,, ϕ-the Euler fuctio Cosier some covex polygo with the tops i the circumferece splittig poits, 1 or 0 is put i accorace to each splittig poit epeig o whether a top of the polygo is i the poit Thus, there is the mutual oe-to-oe correspoece betwee the set of covex polygos with the tops i the circumferece splittig poits a the set of all 0, 1-cofiguratios with the elemets i these poits Usig this bijectio a calculatig the cyclic iex of the Diheral group appearig here, the author [4] gave a short proof of Theorem 1 Besies, this bijectio shows that formula 11 solves the problem of eumeratio of two-color bracelets of beas, of which are blac a are white I tur, it allows to obtai several simple formulas for series of sequeces i

2 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS [6] see, eg, the author s explicit formulas for sequeces A0379-A038, A A Note also that, quite recetly, the author fou a applicatio of eumeratio of two-color bracelets to some questios of the permaet theory see [5], Sectio 5 Let beas of a bracelets are locate i iviig poits of a circumferece which is split by the same parts Let T be cyclic group of turs with the geeratig elemet τ e πi Defiitio 1 We call two-color bracelet of beas symmetric respectively rotatio two-color SR-bracelet if its cyclic grope of turs is a proper subgroup of T Remar 1 Whe we say about a two-color bracelet, we exclue cases whe it cotais oly white blac color Cosier several variatios of eumeratio of two-color bracelets Variatio 1 To fi the umber N of all icogruet two-color SRbracelets Variatio To fi the umber N of those two-color SR-bracelets which have exactly blac beas Variatio 3 To fi the umber S of those two-color SR-bracelets which have a iameter of symmetry Variatio 4 To fi the umber S of those two-color SR-bracelets which have exactly blac beas a a iameter of symmetry Variatio 5 Let m be a positive iteger To fi the umber N,m of all icogruet two-color SR-bracelets with isolate blac beas such that betwee every two blac beas there exist at least m white oes Variatio 6 For m 1, to fi the umber S,m of those two-color SRbracelets which have a iameter of symmetry Variatio 7 For m 1, to fi the umber N,m of those two-color SRbracelets i Variatio which have exactly blac beas Variatio 8 For m 1, to fi the umber S,m of those two-color SRbracelets i Variatio 3 which have exactly blac beas Notice that, N,m S,m is the umber of those two-color SR-bracelets,

3 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 3 oe of which has a iameter of symmetry; N,m S,m is the same twocolor SR-bracelets havig exactly 1 s Some wors about structure of the article Sectio is evote to solutios of Variatios 1-4 I Sectio 3 we itrouce two ifferet geeralizatios of the Fiboacci umbers I Sectio 4 we solve Variatios 5-8 I Sectio 5 we cosier a iterestig example a the coecte with it some umerical results I coclusio, i Sectio 6 we iscuss two ope questios Variatio 9-10 a give eumeratio of t-color SR-bracelets Variatio 11-1 a Theorems 4-6 Variatios 1-4 Theorem The followig formulas tae place: 1 N, S 3 N, 4 S,, where µ is the Mobius fuctio,, µr µα, µβ,,, µr 1, 5 β , 6 α 1 7 R 1, a R, is efie by 11 ϕ 1 + β, h Proof 1 Summig 11 by from 1 to 1 we fi the umber λ of all icogruet of all icogruet two-color bracelets: 1 8 λ R, 1 Let,1, be a ivisor of Deote via ν ν the umber of,

4 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 4 icogruet bracelets with the miimal agle of self-coiciece equals The to π 9 λ ν a, by efiitio of N, we have 10 N λ ν 1 ν Usig the Mobius iverse formula cf, eg, [3], we fi from 9 ν µλ λ + µλ Now 8 implies 11 N,, µλ To complete the proof of 1, we ee two techical lemmas Lemma 1 For h mo, h 0 or 1, we have 1 h Proof Iee, for eve, we have 1 h t0 t1 1,3,, 1 + t t For o, we have 1 h t0 1,3,, t1 1 +,4,, ,4,, , t t a the lemma follows from 14,16 1 Lemma , ϕ 1 1 ϕ 1

5 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 5 Proof First of all, otice that Therefore, taig ito accout that, for 1, ϕ, i orer to prove 17, it is sufficiet to show that 1 18 ϕ ϕ 1, Puttig 1, we have 1 1, 1 This proves 17 ϕ ϕ ϕ ϕ 1 ϕ Now from 8, 11 a Lemmas 1, we have λ ϕ 1 1 α Fially, from 11, taig ito accout, that for > 1, 1, we fi, N µα, µλ, µα Note that, as it was expecte, if is prime, the N 0, µ As it showe i [1], R 1, 7 gives the umber of those -gos or, by the bijectio, those two-color bracelets havig exactly blac beas, that are symmetric respectively a iameter Therefore, by the same argumets for R 1,, we obtai

6 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 6 3 Let, > 1 For fixe,, let us cosier the fuctio Rx,y 1 o the set { }, m,, m /m, The costrictio of the Rx,y o this set is a fuctio of m Deote it by R, m Put 19 R, m m where ν ν, I particular, R,, R, Usig the Mobius iverse formula, accorig to 18 we have ν m µr, m m m I particular, for m, 0 ν,, a 19, for m,, has the form R, By the efiitio, we have ow ν, µr, µr,,, ν 1 N R, ν, m,, m Fially, from 0-1 we euce 3 4 From the same argumets it follows that, by replacig i 3 R by R 1, we obtai S For cosieratios of the further variatios, we ee two ifferet geeralizatios of Fiboacci umbers 3 Two geeralizatios of Fiboacci umbers Defiitio Let m be a positive iteger We call m-fiboacci umbers of type 1 the sequece which is efie by the recursio 31 F m with the iitial coitios F m 1 +F m m 1, 3 F m 0 F m 1 F m m 1

7 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 7 For m 1 we obtai the very Fiboacci umbers: 33 F 1 F, 0 Defiitio 3 For a positive iteger m, the sequece is efie by the same recursio 34 f m but with other iitial coitios 35 f m m+1 f m 1 +f m m 1, f m 0 f m 1 f m m 1 1, fm m+1 +1 fm m, we call m-fiboacci umbers of type For m 1 we also obtai the very Fiboacci umbers, but, comparig with 33, we have 36 f 1 F +1, 0 Now we prove several lemmas Lemma 3 The followig formulas hol 37 F m m, 0, m 1, 0 38 f m m+1 I particular, for o m we have 39 f m m + m m 1 F m + m+1, if m is o,, if m is eve Proof of the37-38 isover by the same scheme Therefore, we prove 37 oly Deote the right part of 37 via Φ m We have 0 Φ m 1 +Φ m m 1 m 1 + m m 1 + m m Φ m Besies, for 1, m, we have m m m 0

8 Hece, ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 8 0 m Thus, for umbers Φ m cosequetly, Φ m F m, 0 m 1, if 0 a F m, formulas 31-3 are vali a, Lemma 4 Let h mo, h 0 or 1, aγ m m 1 mo, γ m 0 or 1 The m h f m γm 1 Proof is the same for all assumptios regarig the parity of m a Therefore, we cosier oly case whe m a are eve The γ 1 a m h m h Therefore, it is eough to prove that m h 0 f m 1 Deote the left part of 311 via G m First of all, let us show that G m satisfies to 34 We have G m 1 +Gm m 1 m+h 1 + m++h m+h 1 + mt+ht 1 t m+h m+h G m 0 It is left to verify the coiciece of the iitial coitios 35 for f m i 1 a for 31 G m i 0 i m h i 1,,,m Notice that, the summas i 31 equal to 0 for those a oly those for which the followig iequality is satisfie: i m {, if is eve,, if is o +1

9 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 9 or, the same, for { i m+1 i 1 m+1, if is eve,, if is o Thus, for i 1,,, m, we have 0 Thus, by 31, G m i i 1 0 a, for i m +1, m Therefore, by 31, a the lemma follows +,,m we have 0 or 1 G m i i 0 i m Remar { } Let show that there oes ot exist a extesio of a efiitio of for m 0 such that the equality 310 hols f m Iee, for m 0, the left part of 310 equals to + 1,,4, while the right part equals to f a fuctio, say, gx such that or,4, 1 1,3, 1 1 This meas that there must exist 1 g, { 1 1, if is eve, g 1 1, if is o For 3 a 4, we simultaeously have g1 1 a g1 3 Lemma 5 The followig formula hols m+1 i1 m+1 1 ϕ m 1 ϕ 1, m+1f m Proof Put 1 The we have m+1 1 1, ϕ m mf m 1 1 1

10 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS m+1 m ϕ ϕ m m m Put h Notice that, therefore t m+1 m+1 Furthermore, h h m h m 1 h m m h m h m1 +m h m 1 m Thus, by Lemma 3 1 m F m +mf m m 1 1 Substitutig this to 314 a taig i to accout that we obtai 313 F m 1 F F 1, 4 Variatios 5-8 Let ow cosier two-color bracelets with isolate blac beas such that betwee every two blac beas there exist at least m white oes Let us cosier a aggregate, eotig it blac, which cotais a blac bea a the followig i successio after it i a fixe irect the m 0 s This gives a oe-to-oe correspoece betwee the cosiere set of all twocolor bracelets with isolate blac beas such that betwee every two blac beas there exist at least m white oes a the set of all two-color bracelets of m beas cotaiig blac beas Therefore, it follows from Theorem 1 that there are R m, icogruet cofiguratios Notice that always m, or m+1 Summig R m, by from 1 to we fi the umber αm m+1

11 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 11 of all two-color icogruet bracelets with isolate blac beas such that betwee every two blac beas there exist at least m white oes 41 α m 1 m m 1 ϕ m h 1 +,, where h mo, h 0 or 1, m 1 By 41 a Lemmas 4, 5 we have 4 1 α m, m+1 ϕ 1 fm γm 1 + m+1f m mf m 1, where γ m m 1 mo, γ m 0 or 1 m h Nowasiproofofweoticethatthebiomialcoefficiet gives the umber of those two-color bracelets with blac beas of the cosiere type that are symmetric respectively ay iameter Thus, by Lemma 4, the umber β m of all these bracelets equals to 43 β m f m γm 1, γ m m 1 mo, γ m 0 or 1 Now, usig the scheme of the proof of Theorem, we obtai the followig results Theorem 3 The followig formulas solve Variatios 5 8 : 44 N,m µδα m, δ, δ where α m is efie by 4; 45 S,m 1 where β m is efie by 43; 46 N,m 47 S,m,,,, δ, δ µ δ µβ m, m µr, 1 m h ;

12 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 1 5 A example I the case of m 1, by 33 a 36, we have where F 1 F, f 1 F +1, F 0 1, F 1 1, F, F 3 3, F 4 5, F 5 8, F 6 13, are the Fiboacci umbers Thus, by 4-44, α 1 1, ϕ β 1 F +1 1 Therefore, by Theorem 3, we fi S 4,1 1+F 4 F F F +1 1, N 4,1 α 1 1 +α1 8 α , +1 +F F Thus amog 30 icogruet two-color SR-bracelets of 4 beas with isolate blac beas oly five oes o ot have a iameter of symmetry Further, by Theorem 3, we fi N 6 4,1 S 6 4,1,3,6,3,6 N 8 4,1 S 8 4,1,4,8,4,8 18 µr, 6, 8 9, 1 18 µ h6 3 6, 16 µr 8, µ 1 16 h8 4 6 Sice N 6 4,1 S 4,1+N 6 8 4,1 S 4,1 8 5, the oly i cases 6 a 8 there are correspoigly 3 a two-color SR-bracelets of 4 beas with isolate blac beas which o ot have a iameter of symmetry; i all other cases they o have a iameter of symmetry I Table 1 we show all 30 icogruet two-color SR-bracelets of 4 beas with isolate blac beas 0 s eote white beas a 1 s eote blac oes

13 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 13 Table 1 orial umber two color SR bracelets umber of blac beas Note that i Table 1 oly bracelets with the orial umbers 1,13,16,19 a have o a iameter of symmetry; it is iterestig that the bracelets with the orial umbers 5,7,10,0 o ot have a iameter of symmetry that coects ay two beas More exactly, a iameter of symmetry of these bracelets has the followig epoits: the mipoit betwee positios 4,1 a the mipoit betwee positios 1,13 A iameter of symmetry of other bracelets coects beas 1 a 13 6 Other variatios We start with the two ope questios arisig as observatios of Table 1 Variatio 9 To eumerate icogruet two-color SR-bracelets with a iameter of symmetry coectig ay two beas Notice, furthermore, that amog 1 such bracelets i Table 1 oly 3 oes

14 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 14 have a iameter of symmetry coectig beas of ifferet colors see bracelets with orial umbers, 5, 6 The followig eumeratig problem arises aturally Variatio 10 To eumerate icogruet two-color SR-bracelets with a iameter of symmetry coectig ay two beas of ifferet colors I coclusio, we give several cases of eumeratio of the icogruet t-color bracelets t 3 cotaiig beas of every of t colors Variatio 11 To fi the umber N 0,1,,1 icogruet three-color with colors {0,1,} SR-bracelets with isolate beas of colors 1 a Theorem 4 61 N 0,1,,1,>1 N,1 N, Proof WegeeratetherequirebraceletsfromN,1 two-colorsr-bracelets with colors 0 a 1,, Removig beas of color 0, we obtai places for geeratig two-color subbracelet of colors 1 a Sice we cosier SR-bracelets, the, i view of subgroup of subgroup of a cyclic grope is a subgroup, we shoul have l,, Thus 6 N 0,1,,1 Sice,>1 l l,>1 N,1, l 1<l,, N l N N l, a always l,, the from 6 we obtai 61 Thus the require eumeratio we get from formulas 61, 1, 44 a 46 Let us calculate, eg, N 0,1, 1,1 By 61, we have N 0,1, 1,1 N 1,1N +N 3 1,1N 3 +N 4 1,1N 4 +N 6 1,1N 6 Sice, for prime p, N p 0, the 63 N 0,1, 1,1 N 4 1,1N 4 +N 6 1,1N 6 Accorig to 5-6, we fi α i i+1, i 1,,3 Thus, by 1,

15 a we have ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 15 N 4 +α 1, N 6 +α 3 +α α 1 3 Furthermore, by 46 a 11, we have Sice, by 11, N 4 1,1 R4, N 6 1,1 R3,3+R, R1,1 R, ϕ 1, the N 6 1,1 1 a, by 63, fially we fi N 0,1, 1, I Table we emostrate all 5 these three-color bracelets of 1 beas Table orial umber 3 color bracelets Variatio 1 To fi the umber S 0,1,,1 icogruet three-color with colors {0, 1, } SR-bracelets with a iameter of symmetry havig isolate beas of colors 1 a A solutio is give by the followig similar to 61 formula Theorem 5 64 S 0,1,,1,>1 S,1 S, Proof of Theorem 5 is base o quite similar argumets that proof of Theorem 4 Thus the require eumeratio we obtai from formulas 6,, 45 a 47 So, eg, we fi that S 0,1, 1,1 14 Thus there is oly up to the cogruece three-color SR-bracelet i Table that has ot a iameter of symmetry It is easy to see that it is the last bracelet i this table Fially ote that the iea of costructio formulas 61, 64 is easily geeralize E g, if N 0,1,,t S 0,1,,t eotes the umber of icogruet t + 1-color SR-bracelets havig a iameter of symmetry,

16 ENUMERATION OF TWO-COLOR BRACELETS WITH VARIATIONS 16 N 0,1,,t,1 S 0,1,,t,1 eotes the umber of icogruet t + 1-color SRbracelets with isolate beas of colors 1,,t havig a iameter of symmetry, etc, the we have the followig recursio formulas Theorem 6 65 N 0,1,,t 66 S 0,1,,t 67 N 0,1,,t,1 68 S 0,1,,t,1 etc,>1,>1,>1,>1 Refereces N N0,1,,t 1, S S0,1,,t 1, N,1N 0,1,,t 1, S,1S 0,1,,t 1, [1] 1 H Gupta, Eumeratio of icogruet cyclic -gos, Iia J Pure Appl Math, , o 8, [] M Hall, Combiatorial Theory, Blaisell, 1967 [3] 3 K Irela, M Rose, A Classical Itrouctio to Moer Number Theory Spriger-Verlag, 198 [4] 4 V Shevelev, Neclaces a covex -gos, Iia J Pure Appl Math, , o 5, [5] 5 V Shevelev, 011, Spectrum of permaet s values a its extremal magitues i Λ 3 a Λ α,β,γ [6] 6 N J A Sloae, The O-Lie Ecyclopeia of Iteger Sequeces Departmet of Mathematics, Be-Gurio Uiversity of the Negev, Beer- Sheva 84105, Israel shevelev@bguacil