Thue - Morse sekvens - Thue–Morse sequence
I matematikk er Thue - Morse -sekvensen , eller Prouhet - Thue - Morse -sekvensen , den binære sekvensen (en uendelig sekvens av 0s og 1s) oppnådd ved å starte med 0 og etterfølgende legge til det boolske komplementet til sekvensen som er oppnådd så langt. De første trinnene i denne prosedyren gir strengene 0 deretter 01, 0110, 01101001, 0110100110010110, og så videre, som er prefikser for Thue - Morse -sekvensen. Hele sekvensen begynner:
Sekvensen er oppkalt etter Axel Thue og Marston Morse .
Definisjon
Det er flere likeverdige måter å definere Thue - Morse -sekvensen på.
Direkte definisjon
For å beregne det n. Elementet t n , skriv tallet n i binært . Hvis antallet en i denne binære ekspansjonen er oddetall, er t n = 1, selv om t n = 0. Av denne grunn er John H. Conway et al . anropsnummer n tilfredsstillende t n = 1 odious (for odd ) tall og tall som t n = 0 onde (for partall ) tall for. Med andre ord, t n = 0 hvis n er et ondt tall og t n = 1 hvis n er et ekkelt tall .
Rask sekvensgenerering
Denne metoden fører til en rask metode for å beregne den Thue-Morse sekvens: starte med t 0 = 0 , og deretter, for hver n , finner den høyeste ordens bit i den binære representasjon av n som er forskjellig fra den samme bit i representasjon av n - 1 . (Denne biten kan isoleres ved å la x være den bitvis eksklusive eller av n og n - 1 , forskyve x rett med en bit, og beregne den eksklusive eller av denne skiftede verdien med x .) Hvis denne biten er på en jevn indeks, t n skiller seg fra t n - 1 , og ellers er det det samme som t n - 1 .
I pseudokodeform:
generateSequence(seqLength):
value = 0
for n = 0 to seqLength-1 by 1:
x = n ^ (n-1)
if ((x ^ (x>>1)) & 0x55555555):
value = 1 - value
return value
Den resulterende algoritmen tar konstant tid å generere hvert sekvenselement, og bruker bare et logaritmisk antall biter (konstant antall ord) minne.
Gjentagelsesforhold
Thue - Morse -sekvensen er sekvensen t n som tilfredsstiller gjentakelsesforholdet
for alle ikke-negative heltall n .
L-system
Thue - Morse -sekvensen er et morfisk ord : det er resultatet av følgende Lindenmayer -system :
Variabler | 0, 1 |
---|---|
Konstanter | Ingen |
Start | 0 |
Regler | (0 → 01), (1 → 10) |
Karakterisering ved hjelp av bitvis negasjon
Thue - Morse -sekvensen i formen gitt ovenfor, som en sekvens av biter , kan defineres rekursivt ved bruk av bitvis negasjon . Så, det første elementet er 0. Så når de første 2 n elementene er spesifisert, som danner en streng s , må de neste 2 n elementene danne den bitvise negasjonen av s . Nå har vi definert de første 2 n +1 elementene, og vi gjentar.
Skriv de første trinnene i detalj:
- Vi starter med 0.
- Den bitvise negasjonen av 0 er 1.
- Ved å kombinere disse er de to første elementene 01.
- Den bitvise negasjonen av 01 er 10.
- Ved å kombinere disse er de fire første elementene 0110.
- Den bitvise negasjonen av 0110 er 1001.
- Ved å kombinere disse er de første 8 elementene 01101001.
- Og så videre.
Så
- T 0 = 0.
- T 1 = 01.
- T 2 = 0110.
- T 3 = 01101001.
- T 4 = 0110100110010110.
- T 5 = 01101001100101101001011001101001.
- T 6 = 0110100110010110100101100110100110010110011010010110100110010110.
- Og så videre.
Uendelig produkt
Sekvensen kan også defineres ved:
hvor t j er det j th elementet hvis vi starter på j = 0.
Noen eiendommer
Fordi hver ny blokk i Thue - Morse -sekvensen er definert ved å danne bitvis negasjon av begynnelsen, og denne gjentas i begynnelsen av neste blokk, er Thue - Morse -sekvensen fylt med firkanter : påfølgende strenger som gjentas. Det vil si at det er mange forekomster av XX , der X er en streng. Faktisk er en slik streng hvis og bare hvis eller hvor for noen og angir den bitvise negasjonen av (veksling 0s og 1s). For eksempel, med , vi har , og firkanten vises ved å begynne med den 16. biten. (Dermed har firkanter i lengde enten en effekt på 2 eller 3 ganger en kraft på 2.) Imidlertid er det ingen terninger : forekomster av XXX . Det er heller ingen overlappende firkanter : forekomster av 0 X 0 X 0 eller 1 X 1 X 1. Den kritiske eksponenten er 2.
Sekvensen T 2 n er palindrom for alle n . La q n være et ord hentet fra T 2 n ved å telle dem mellom påfølgende nuller. For eksempel, q 1 = 2 og q 2 = 2102012 og så videre. Ordene T n inneholder ikke overlappende firkanter som konsekvens, ordene q n er palindrome kvadratfrie ord .
Uttalelsen ovenfor om at Thue - Morse -sekvensen er "fylt med firkanter" kan gjøres presis: Det er et jevnt tilbakevendende ord , noe som betyr at gitt en endelig streng X i sekvensen, er det en viss lengde n X (ofte mye lengre enn lengden av X ) slik at X vises i hver blokk med lengde n X . Den enkleste måten å lage en tilbakevendende sekvens er å danne en periodisk sekvens , en der sekvensen gjentas helt etter et gitt antall m trinn. Deretter n X kan innstilles til en hvilken som helst multippel av m som er større enn to ganger lengden av X . Men morsesekvensen er jevnt tilbakevendende uten å være periodisk, ikke engang periodisk (betyr periodisk etter et ikke -periodisk innledende segment).
Vi definerer Thue - Morse morfismen til å være funksjonen f fra settet med binære sekvenser til seg selv ved å erstatte hver 0 i en sekvens med 01 og hver 1 med 10. Så hvis T er Thue - Morse sekvensen, så f ( T ) er T igjen; det vil si at T er et fast punkt på f . Funksjonen f er en forlengelig morfisme på den frie monoiden {0,1} ∗ med T som fastpunkt: faktisk er T det eneste faste punktet for f ; det eneste andre faste punktet er den bitvise negasjonen av T , som ganske enkelt er Thue - Morse -sekvensen på (1,0) i stedet for på (0,1). Denne egenskapen kan generaliseres til begrepet en automatisk sekvens .
Den genererende rekke av T over binære felt er den formelle potensrekken
Denne kraftserien er algebraisk over feltet for rasjonelle funksjoner, og tilfredsstiller ligningen
I kombinatorisk spillteori
Settet med onde tall (tall med ) danner et underrom av de ikke-negative heltallene under nim-addisjon ( bitvis eksklusiv eller ). For spillet Kayles forekommer onde nim-verdier for få (endelig mange) posisjoner i spillet, med alle gjenværende posisjoner som har stygge nim-verdier.
Problemet Prouhet – Tarry – Escott
Den Prouhet-Tarry-Escott problem kan defineres som: gitt et positivt heltall N og et ikke-negativt heltall k , skillevegg settet S = {0, 1, ..., N -1} i to atskilte undergrupper S 0 og S 1 som har like store summer opp til k, det vil si:
- for alle heltall i fra 1 til k .
Dette har en løsning hvis N er et multiplum av 2 k +1 , gitt av:
- S 0 består av heltallene n i S som t n = 0,
- S 1 består av heltallene n i S som t n = 1.
For eksempel, for N = 8 og k = 2,
- 0 + 3 + 5 + 6 = 1 + 2 + 4 + 7,
- 0 2 + 3 2 + 5 2 + 6 2 = 1 2 + 2 2 + 4 2 + 7 2 .
Betingelsen som krever at N er et multiplum på 2 k +1 er ikke strengt nødvendig: det er noen flere tilfeller der det finnes en løsning. Imidlertid garanterer den en sterkere egenskap: hvis betingelsen er oppfylt, kan settet med k th -potens for et sett med N -tall i aritmetisk progresjon deles i to sett med like store summer. Dette følger direkte av utvidelsen gitt av binomialsetningen som brukes på binomien som representerer det n. Elementet i en aritmetisk progresjon.
For generaliseringer av Thue - Morse -sekvensen og Prouhet - Tarry - Escott -problemet til partisjoner i mer enn to deler, se Bolker, Offner, Richman og Zara, "The Prouhet - Tarry - Escott -problemet og generaliserte Thue - Morse -sekvenser".
Fraktaler og skilpaddegrafikk
Ved bruk av skilpaddegrafikk kan en kurve genereres hvis en automat er programmert med en sekvens. Når Thue - Morse -sekvensmedlemmer brukes for å velge programtilstander:
- Hvis t ( n ) = 0, gå videre med en enhet,
- Hvis t ( n ) = 1, roter du med en vinkel på π/3 radianer (60 °)
Den resulterende kurven konvergerer til Koch -kurven , en fraktalkurve med uendelig lengde som inneholder et begrenset område. Dette illustrerer den fraktale naturen til Thue - Morse -sekvensen.
Det er også mulig å tegne kurven nøyaktig ved å bruke følgende instruksjoner:
- Hvis t ( n ) = 0, roter du med en vinkel på π radianer (180 °),
- Hvis t ( n ) = 1, gå fremover med en enhet, roter deretter med en vinkel på π/3 radianer.
Rettferdig sekvensering
I sin bok om problemet med rettferdig fordeling , Steven Brams og Alan Taylor påberopt seg Thue-Morse sekvens, men ikke identifisere den som sådan. Når de tildelte en omtvistet haug med varer mellom to parter som er enige om elementenes relative verdier, foreslo Brams og Taylor en metode de kalte balansert veksling , eller å bytte på å bytte tur. . . , som en måte å omgå favoritten iboende når den ene parten velger foran den andre. Et eksempel viste hvordan et skilsmissepar kan oppnå et rettferdig oppgjør i fordelingen av felleseide gjenstander. Partene skulle bytte på å være den første som velger på forskjellige punkter i utvelgelsesprosessen: Ann velger ett element, så gjør Ben, deretter velger Ben ett element, så gjør Ann.
Lionel Levine og Katherine E. Stange , i sin diskusjon om hvordan man rettferdig fordeler et delt måltid som en etiopisk middag , foreslo Thue - Morse -sekvensen som en måte å redusere fordelen ved å flytte først. De foreslo at "det ville være interessant å tallfeste intuisjonen om at Thue - Morse -ordenen har en tendens til å gi et rettferdig resultat."
Robert Richman tok opp dette problemet, men også han identifiserte ikke Thue - Morse -sekvensen som sådan på tidspunktet for publisering. Han presenterte sekvensene T n som trinnfunksjoner på intervallet [0,1] og beskrev deres forhold til Walsh- og Rademacher -funksjonene. Han viste at n th derivatet kan uttrykkes i form av T n . Som en følge av dette trinnet funksjon som oppstår fra T n er ortogonal til polynomer av orden n - 1. En konsekvens av dette resultatet er at en ressurs som har en verdi blir uttrykt som en monotont avtagende kontinuerlig funksjon er mest ganske fordeles ved hjelp av en sekvens som konvergerer til Thue – Morse ettersom funksjonen blir flatere . Et eksempel viste hvordan å helle kopper kaffe av samme styrke fra en karaffel med en ikke-lineær konsentrasjon -gradient , spørre en lunefull artikkel erte i pressen.
Joshua Cooper og Aaron Dutle viste hvorfor Thue - Morse -ordenen gir et rimelig utfall for diskrete hendelser. De anså den mest rettferdige måten å arrangere en Galois -duell, der hver av skytterne har like dårlige skyteferdigheter. Cooper og Dutle postulerte at hver dueller ville kreve en sjanse til å skyte så snart den andres a priori sannsynlighet for å vinne oversteg sin egen. De beviste at etter hvert som duellernes treffsannsynlighet nærmer seg null, konverreres avfyringssekvensen til Thue - Morse -sekvensen. På den måten demonstrerte de at Thue - Morse -ordenen gir et rettferdig resultat ikke bare for sekvenser T n med lengde 2 n , men for sekvenser av hvilken som helst lengde.
Dermed støtter matematikken å bruke Thue - Morse -sekvensen i stedet for vekslende svinger når målet er rettferdighet, men tidligere svinger skiller seg monotont fra senere svinger i en meningsfull kvalitet, enten den kvaliteten varierer kontinuerlig eller diskret.
Sportskonkurranser utgjør en viktig klasse med likeverdige sekvenseringsproblemer, fordi streng veksling ofte gir en urettferdig fordel for ett lag. Ignacio Palacios-Huerta foreslo å endre rekkefølgen til Thue-Morse for å forbedre rettferdigheten i etterkant av forskjellige turneringskonkurranser, for eksempel sparkesekvensen for en straffesparkkonkurranse i fotball. Han gjorde et sett med felteksperimenter med proffspillere og fant ut at laget som sparket først vant 60% av kampene ved bruk av ABAB (eller T 1 ), 54% ved bruk av ABBA (eller T 2 ) og 51% ved å bruke full Thue – Morse (eller T n ). Som et resultat gjennomgår ABBA omfattende prøver i FIFA (European and World Championships) og English Federation professional football ( EFL Cup ). Det er også funnet et ABBA-serveringsmønster for å forbedre rettferdigheten til tennis-tie-break . I konkurransedyktig roing er T 2 det eneste arrangementet av mannskaper fra babord- og styrbord-roing som eliminerer tverrgående krefter (og dermed svingninger sidelengs) på en fire-ledd coxless racerbåt, mens T 3 er en av bare fire rigger for å unngå vridning på en åtteleddet båt.
Rettferdighet er spesielt viktig i spillerutkast . Mange profesjonelle idrettsligaer prøver å oppnå konkurransedyktig likhet ved å gi svakere lag tidligere valg i hver runde. Derimot har fantasifotballligaer ingen eksisterende ubalanse å korrigere, så de bruker ofte et "slange" -utkast (fremover, bakover osv. Eller T 1 ). Ian Allan hevdet at en "reversering i tredje runde" (fremover, bakover, bakover, fremover osv. Eller T 2 ) ville være enda mer rettferdig. Richman antydet at den mest rettferdige måten for “kaptein A” og “kaptein B” for å velge side for en pick-up spill av basketball speil T 3 : kaptein A har den første, fjerde, sjette og syvende valg, mens kaptein B har andre, tredje, femte og åttende valg.
Historie
Thue - Morse -sekvensen ble først studert av Eugène Prouhet i 1851, som brukte den på tallteori . Imidlertid nevnte Prouhet ikke sekvensen eksplisitt; dette ble overlatt til Axel Thue i 1906, som brukte det til å finne studiet av kombinatorikk på ord . Sekvensen ble bare gjort oppmerksom på verdensomspennende med arbeidet til Marston Morse i 1921, da han brukte den på differensialgeometri . Sekvensen har blitt oppdaget uavhengig mange ganger, ikke alltid av profesjonelle matematikere; for eksempel Max Euwe , et sjakkmesteren , som holdt VM-tittelen 1935-1937, og matematikk lærer , oppdaget det i 1929 i en søknad til sjakk : ved hjelp av sin kube eiendom (se ovenfor), viste han hvordan å omgå den tredobbelte repetisjonsregelen som tar sikte på å forhindre uendelig langvarige spill ved å erklære gjentakelse av trekk uavgjort. På den tiden var påfølgende identiske styrestater pålagt å utløse regelen; regelen ble senere endret til at samme styreposisjon ble gjentatt tre ganger på rad når som helst, da sekvensen viser at det påfølgende kriteriet kan unngås for alltid.
Se også
Merknader
Referanser
- Abrahams, Marc (12. juli 2010). "Hvordan helle den perfekte koppen kaffe" . The Guardian .
- Arndt, Jörg (2011). "1.16.4 Thue - Morse -sekvensen" (PDF) . Matters Computational: Ideas, Algorithms, Source Code . Springer. s. 44.
- Allouche, Jean-Paul; Shallit, Jeffrey (2003). Automatiske sekvenser: Teori, applikasjoner, generaliseringer . Cambridge University Press . ISBN 978-0-521-82332-6. Zbl 1086.11015 .
- Barrow, John D. (2010). "Roing og samme sum-problem har sine øyeblikk". American Journal of Physics . 78 (7): 728–732. arXiv : 0911.3551 . Bibcode : 2010AmJPh..78..728B . doi : 10.1119/1.3318808 .
- Berstel, Jean; Lauve, Aaron; Reutenauer, Christophe; Saliola, Franco V. (2009). Kombinatorikk om ord. Christoffel -ord og repetisjoner i ord . CRM Monograph Series. 27 . Providence, RI, USA: American Mathematical Society . ISBN 978-0-8218-4480-9. Zbl 1161.68043 .
- Berthé, Valérie ; Rigo, Michel, red. (2010). Kombinatorikk, automatikk og tallteori . Encyclopedia of Mathematics and its Applications. 135 . Cambridge: Cambridge University Press . s. 7. ISBN 978-0-521-51597-9. Zbl 1197.68006 .
- Bolker, Ethan; Offner, Carl; Richman, Robert; Zara, Catalin (2016). "Prouhet - Tarry - Escott -problemet og generaliserte Thue - Morse -sekvenser". Journal of Combinatorics . 7 (1): 117–133. arXiv : 1304.6756 . doi : 10.4310/JOC.2016.v7.n1.a5 .}
- Brams, Steven J .; Taylor, Alan D. (1999). Vinn-vinn-løsningen: Garanterer rettferdige andeler til alle . WW Norton & Co., Inc. s. 36–44 . ISBN 978-0-393-04729-5.
- Brlek, Srećko (1989). "Oppregning av faktorer i Thue-Morse-ordet" . Diskret anvendt matematikk . 24 (1–3): 83–96. doi : 10.1016/0166-218x (92) 90274-e .
- Cohen-Zada, Danny; Krumer, Alex; Shapir, Offer Moshe (2018). "Testing av effekten av serveringsordre i tennis tiebreak" . Journal of Economic Behavior and Organization . 146 : 106–115. doi : 10.1016/j.jebo.2017.12.012 .
- Cooper, Joshua; Dutle, Aaron (2013). "Grådige Galois Games" (PDF) . Amerikansk matematisk månedlig . 120 (5): 441–451. arXiv : 1110.1137 . doi : 10.4169/amer.math.monthly.120.05.441 .
- Krieger, Dalia (2006). "Om kritiske eksponenter på faste punkter for ikke-sletting av morfisme". I Ibarra, Oscar H .; Dang, Zhe (red.). Utviklingen i språkteori: Proceedings 10. internasjonale konferanse, DLT 2006, Santa Barbara, California, USA, 26.-29. Juni 2006 . Forelesningsnotater i informatikk. 4036 . Springer-Verlag . s. 280–291. ISBN 978-3-540-35428-4. Zbl 1227.68074 .
- Levine, Lionel; Stange, Katherine E. (2012). "Hvordan få mest mulig ut av et delt måltid: Planlegg den siste biten først" (PDF) . Amerikansk matematisk månedlig . 119 (7): 550–565. arXiv : 1104.0961 . doi : 10.4169/amer.math.monthly.119.07.550 .
- Lothaire, M. (2011). Algebraisk kombinatorikk på ord . Encyclopedia of Mathematics and its Applications. 90 . Med forord av Jean Berstel og Dominique Perrin (Opptrykk av 2002 utg. Hardback). Cambridge University Press. ISBN 978-0-521-18071-9. Zbl 1221.68183 .
- Ma, juni; Holdener, Judy (2005). "Når Thue-Morse møter Koch" (PDF) . Fraktaler . 13 (3): 191–206. doi : 10.1142/S0218348X05002908 . MR 2166279 .
- Palacios-Huerta, Ignacio (2012). "Turneringer, rettferdighet og Prouhet - Thue - Morse -sekvensen" (PDF) . Økonomisk henvendelse . 50 (3): 848–849. doi : 10.1111/j.1465-7295.2011.00435.x .
- Palacios-Huerta, Ignacio (2014). Vakker spillteori . Princeton University Press. ISBN 978-0691144023.
- Pytheas Fogg, N. (2002). Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A. (red.). Substitusjoner innen dynamikk, regning og kombinatorikk . Forelesningsnotater i matematikk. 1794 . Berlin, Tyskland: Springer-Verlag . ISBN 978-3-540-44141-0. Zbl 1014.11015 .
- Richman, Robert (2001). "Rekursive binære sekvenser av forskjeller" (PDF) . Komplekse systemer . 13 (4): 381–392.
Videre lesning
- Bugeaud, Yann (2012). Fordeling modulo one og Diophantine tilnærming . Cambridge Tracts in Mathematics. 193 . Cambridge: Cambridge University Press . ISBN 978-0-521-11169-0. Zbl 1260.11001 .
- Lothaire, M. (2005). Brukte kombinatorikk på ord . Encyclopedia of Mathematics and its Applications. 105 . Et kollektivt verk av Jean Berstel, Dominique Perrin, Maxime Crochemore, Eric Laporte, Mehryar Mohri, Nadia Pisanti, Marie-France Sagot, Gesine Reinert , Sophie Schbath , Michael Waterman, Philippe Jacquet, Wojciech Szpankowski , Dominique Poulalhon, Gilles Schaeffer, Roman Kolpakov , Gregory Koucherov, Jean-Paul Allouche og Valérie Berthé. Cambridge: Cambridge University Press . ISBN 978-0-521-84802-2. Zbl 1133.68067 .
Eksterne linker
- "Thue-Morse-sekvens" , Encyclopedia of Mathematics , EMS Press , 2001 [1994]
- Weisstein, Eric W. "Thue-Morse Sequence" . MathWorld .
- Allouche, J.-P .; Shallit, JO Den allestedsnærværende Prouhet-Thue-Morse-sekvensen . (inneholder mange applikasjoner og litt historie)
- Thue - Morse -sekvens over (1,2) (sekvens A001285 i OEIS )
- OEIS -sekvens A000069 (Odious tall: tall med et oddetall på 1 -tallet i sin binære ekspansjon)
- OEIS -sekvens A001969 (onde tall: tall med et partall 1 i sin binære ekspansjon)
- Redusere påvirkningen av DC offset drift i analoge IP-er ved hjelp av Thue-Morse-sekvensen . En teknisk applikasjon av Thue - Morse -sekvensen
- MusiNum - Musikken i tallene . Freeware for å generere selvlignende musikk basert på Thue-Morse-sekvensen og relaterte nummersekvenser.
- Parker, Matt . "The Fairest Sharing Sequence Ever" (video) . standupmaths . Hentet 20. januar 2016 .