Sequência Thue-Morse - Thue–Morse sequence
Em matemática , a sequência Thue-Morse , ou sequência Prouhet-Thue-Morse , é a sequência binária (uma sequência infinita de 0s e 1s) obtida começando com 0 e anexando sucessivamente o complemento booleano da sequência obtida até agora. As primeiras etapas deste procedimento geram as strings 0 e 01, 0110, 01101001, 0110100110010110 e assim por diante, que são prefixos da sequência Thue-Morse. A sequência completa começa:
A sequência foi nomeada em homenagem a Axel Thue e Marston Morse .
Definição
Existem várias maneiras equivalentes de definir a sequência Thue-Morse.
Definição direta
Para calcular o n- ésimo elemento t n , escreva o número n em binário . Se o número de unidades nesta expansão binária for ímpar, então t n = 1, se par, então, t n = 0. Por esta razão, John H. Conway et al . números de telefone n satisfazendo t n = 1 números odiosos (para ímpar ) e números para os quais t n = 0 números ruins (para pares ). Em outras palavras, t n = 0 se n for um número mau e t n = 1 se n for um número odioso .
Geração de sequência rápida
Este método leva a um método rápido para calcular a sequência Thue-Morse: comece com t 0 = 0 e, em seguida, para cada n , encontre o bit de ordem mais alta na representação binária de n que é diferente do mesmo bit no representação de n - 1 . (Este bit pode ser isolado deixando x ser o bit a bit exclusivo ou de n e n - 1 , deslocando x à direita em um bit e calculando o exclusivo ou desse valor deslocado com x .) Se este bit estiver em um índice par, t n difere de t n - 1 , caso contrário, é igual a t n - 1 .
Na forma de pseudocódigo:
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
O algoritmo resultante leva um tempo constante para gerar cada elemento da sequência, usando apenas um número logarítmico de bits (número constante de palavras) de memória.
Relação de recorrência
A sequência Thue-Morse é a sequência t n que satisfaz a relação de recorrência
para todos os inteiros não negativos n .
Sistema L
A sequência Thue-Morse é uma palavra mórfica : é a saída do seguinte sistema de Lindenmayer :
Variáveis | 0, 1 |
---|---|
Constantes | Nenhum |
Começar | 0 |
Regras | (0 → 01), (1 → 10) |
Caracterização usando negação bit a bit
A sequência Thue-Morse na forma dada acima, como uma sequência de bits , pode ser definida recursivamente usando a operação de negação bit a bit . Portanto, o primeiro elemento é 0. Então, uma vez que os primeiros 2 n elementos tenham sido especificados, formando uma string s , os próximos 2 n elementos devem formar a negação bit a bit de s . Agora definimos os primeiros 2 n +1 elementos e recursamos.
Descrevendo as primeiras etapas em detalhes:
- Começamos com 0.
- A negação bit a bit de 0 é 1.
- Combinando estes, os primeiros 2 elementos são 01.
- A negação bit a bit de 01 é 10.
- Combinando estes, os primeiros 4 elementos são 0110.
- A negação bit a bit de 0110 é 1001.
- Combinando estes, os primeiros 8 elementos são 01101001.
- E assim por diante.
Então
- T 0 = 0.
- T 1 = 01.
- T 2 = 0,110.
- T 3 = 01101001.
- T 4 = 0110100110010110.
- T 5 = 01101001100101101001011001101001.
- T 6 = 0110100110010110100101100110100110010110011010010110100110010110.
- E assim por diante.
Produto infinito
A sequência também pode ser definida por:
onde t j é o j ésimo elemento se começarmos em j = 0.
Algumas propriedades
Como cada novo bloco na sequência Thue-Morse é definido pela formação da negação bit a bit do início, e isso é repetido no início do próximo bloco, a sequência Thue-Morse é preenchida com quadrados : strings consecutivas que são repetidas. Ou seja, existem muitas ocorrências de XX , onde X é alguma string. Na verdade, essa string é se e somente se ou onde para alguns e denota a negação bit a bit de (intercâmbio 0s e 1s). Por exemplo, com , temos , e o quadrado aparece começando no 16º bit. (Assim, os quadrados têm comprimento ou uma potência de 2 ou 3 vezes uma potência de 2.) No entanto, não há cubos : instâncias de XXX . Também não há quadrados sobrepostos : instâncias de 0 X 0 X 0 ou 1 X 1 X 1. O expoente crítico é 2.
A sequência de T 2 n é palindrome para qualquer n . Além disso, deixar que q n ser uma palavra obtido a partir de T 2 n contando os entre zeros consecutivos. Por exemplo, q 1 = 2 e q 2 = 2102012 e assim por diante. Consequentemente, as palavras T n não contêm quadrados sobrepostos , as palavras q n são palíndromos sem quadrados .
A afirmação acima de que a sequência Thue-Morse é "preenchida com quadrados" pode ser mais precisa: é uma palavra uniformemente recorrente , o que significa que dada qualquer string finita X na sequência, há algum comprimento n X (muitas vezes muito mais longo do que o comprimento de X ) de tal modo que X aparece em cada bloco de comprimento n X . A maneira mais fácil de fazer uma sequência recorrente é formar uma sequência periódica , em que a sequência se repete inteiramente após um determinado número m de etapas. Então n X pode ser definido como qualquer múltiplo de m , que é maior do que duas vezes o comprimento de X . Mas a sequência de Morse é uniformemente recorrente sem ser periódica, nem mesmo eventualmente periódica (significando periódica após algum segmento inicial não periódico).
Definimos o morfismo de Thue-Morse como a função f do conjunto de sequências binárias para si mesma, substituindo cada 0 em uma sequência por 01 e cada 1 por 10. Então, se T for a sequência Thue-Morse, então f ( T ) é T novamente; isto é, T é um ponto fixo de f . A função f é um morfismo prolongável no monóide livre {0,1} ∗ com T como ponto fixo: de fato, T é essencialmente o único ponto fixo de f ; o único outro ponto fixo é a negação bit a bit de T , que é simplesmente a sequência Thue-Morse em (1,0) em vez de em (0,1). Essa propriedade pode ser generalizada para o conceito de uma seqüência automática .
A série geradora de T sobre o campo binário é a série de potências formal
Esta série de potências é algébrica sobre o campo das funções racionais, satisfazendo a equação
Na teoria dos jogos combinatórios
O conjunto de números malignos (números com ) forma um subespaço dos inteiros não negativos sob a adição de nim ( exclusivo ou bit a bit ). Para o jogo de Kayles , valores nim malignos ocorrem para poucas (finitamente muitas) posições no jogo, com todas as posições restantes tendo valores nim odiosos.
O problema Prouhet – Tarry – Escott
O problema de Prouhet – Tarry – Escott pode ser definido como: dado um inteiro positivo N e um inteiro não negativo k , particionar o conjunto S = {0, 1, ..., N -1} em dois subconjuntos disjuntos S 0 e S 1 que têm somas iguais de potências até k, ou seja:
- para todos os inteiros i de 1 a k .
Isso tem uma solução se N for um múltiplo de 2 k +1 , dado por:
- S 0 consiste nos inteiros n em S para os quais t n = 0,
- S 1 consiste nos inteiros n em S para os quais t n = 1.
Por exemplo, para N = 8 e 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 .
A condição que exige que N seja um múltiplo de 2 k +1 não é estritamente necessária: existem outros casos para os quais existe uma solução. No entanto, garante uma propriedade mais forte: se a condição for satisfeita, o conjunto de k- ésimas potências de qualquer conjunto de N números em progressão aritmética pode ser dividido em dois conjuntos com somas iguais. Isto resulta directamente da expansão dado pelo teorema binário aplicado ao binomial representando o n ésimo elemento de uma progressão aritmética.
Para generalizações da sequência Thue-Morse e do problema Prouhet-Tarry-Escott para partições em mais de duas partes, consulte Bolker, Offner, Richman e Zara, "The Prouhet-Tarry-Escott problem and generalized Thue-Morse sequence".
Fractais e gráficos de tartaruga
Usando gráficos de tartaruga , uma curva pode ser gerada se um autômato for programado com uma sequência. Quando os membros da sequência Thue-Morse são usados para selecionar os estados do programa:
- Se t ( n ) = 0, avance uma unidade,
- Se t ( n ) = 1, gire por um ângulo de π / 3 radianos (60 °)
A curva resultante converge para a curva de Koch , uma curva fractal de comprimento infinito contendo uma área finita. Isso ilustra a natureza fractal da Sequência Thue-Morse.
Também é possível desenhar a curva com precisão usando as seguintes instruções:
- Se t ( n ) = 0, gire por um ângulo de π radianos (180 °),
- Se t ( n ) = 1, avance uma unidade e gire em um ângulo de π / 3 radianos.
Sequenciamento equitativo
Em seu livro sobre o problema da divisão justa , Steven Brams e Alan Taylor invocaram a sequência Thue-Morse, mas não a identificaram como tal. Ao alocar uma pilha contestada de itens entre duas partes que concordam com os valores relativos dos itens, Brams e Taylor sugeriram um método que chamaram de alternância equilibrada , ou revezamento, revezando-se. . . , como forma de contornar o favoritismo inerente à escolha de uma das partes antes da outra. Um exemplo mostrou como um casal divorciado pode chegar a um acordo justo na distribuição de itens de propriedade conjunta. As partes se revezariam para serem as primeiras a escolher em diferentes pontos do processo de seleção: Ana escolhe um item, então Ben escolhe, então Ben escolhe um item, então Ann escolhe.
Lionel Levine e Katherine E. Stange , em sua discussão sobre como distribuir de maneira justa uma refeição compartilhada, como um jantar etíope , propuseram a sequência Thue-Morse como uma forma de reduzir a vantagem de se mover primeiro. Eles sugeriram que “seria interessante quantificar a intuição de que a ordem Thue-Morse tende a produzir um resultado justo”.
Robert Richman abordou esse problema, mas ele também não identificou a sequência Thue-Morse como tal no momento da publicação. Ele apresentou as sequências T n como funções degrau no intervalo [0,1] e descreveu sua relação com as funções de Walsh e Rademacher . Ele mostrou que a n- ésima derivada pode ser expressa em termos de T n . Como consequência, a função degrau decorrente de T n é ortogonal a polinômios de ordem n - 1. Uma conseqüência desse resultado é que um recurso cujo valor é expresso como uma função contínua monotonicamente decrescente é mais justamente alocado usando uma sequência que converge para Thue – Morse conforme a função se torna mais plana . Um exemplo mostrou como servir xícaras de café de igual intensidade de uma garrafa com gradiente de concentração não linear , gerando um artigo caprichoso na imprensa popular.
Joshua Cooper e Aaron Dutle mostraram por que a ordem Thue-Morse fornece um resultado justo para eventos discretos. Eles consideraram a maneira mais justa de encenar um duelo de Galois , no qual cada um dos atiradores tem habilidades de tiro igualmente ruins. Cooper e Dutle postularam que cada duelista exigiria uma chance de atirar assim que a probabilidade de vitória a priori do outro ultrapassasse a sua. Eles provaram que, à medida que a probabilidade de acerto dos dueladores se aproxima de zero, a sequência de tiro converge para a sequência de Thue-Morse. Ao fazer isso, eles demonstraram que a ordem Thue-Morse produz um resultado justo não apenas para sequências T n de comprimento 2 n , mas para sequências de qualquer comprimento.
Assim, a matemática apóia o uso da sequência Thue-Morse em vez de curvas alternadas quando o objetivo é a justiça, mas as curvas anteriores diferem monotonicamente das curvas posteriores em alguma qualidade significativa, independentemente de essa qualidade variar continuamente ou discretamente.
As competições esportivas constituem uma classe importante de problemas de sequenciamento eqüitativo, porque a alternância estrita geralmente dá uma vantagem injusta a uma equipe. Ignacio Palacios-Huerta propôs alterar a ordem sequencial para Thue-Morse para melhorar a justiça ex post de várias competições de torneios, como a sequência de chutes em uma disputa de pênaltis no futebol. Ele fez um conjunto de experiências de campo com jogadores profissionais e descobriu que a equipe que chutou primeiro ganhou 60% dos jogos usando ABAB (ou T 1 ), 54% usando ABBA (ou T 2 ) e 51% usando Thue-Morse completo (ou T n ). Como resultado, o ABBA está passando por testes extensivos na FIFA (Campeonatos Europeus e Mundiais) e no futebol profissional da Federação Inglesa ( Copa EFL ). Um padrão de serviço do ABBA também foi encontrado para melhorar a imparcialidade dos desempates no tênis . No remo competitivo , o T 2 é o único arranjo de membros da tripulação de remo a bombordo e estibordo que elimina as forças transversais (e, portanto, a oscilação lateral) em um barco de corrida sem manivela de quatro membros, enquanto o T 3 é um dos apenas quatro equipamentos para evitar a oscilação em um barco de oito membros.
A justiça é especialmente importante nas escolhas dos jogadores . Muitas ligas esportivas profissionais tentam alcançar a paridade competitiva dando seleções anteriores em cada rodada para times mais fracos. Por outro lado, as ligas de futebol fantasia não têm desequilíbrio pré-existente para corrigir, então muitas vezes usam um draft de “cobra” (para frente, para trás etc .; ou T 1 ). Ian Allan argumentou que uma “terceira rodada reversão” (frente, para trás, para trás, para a frente, etc .; ou T 2 ) seria ainda mais justo. Richman sugeriu que a maneira mais justa para o "capitão A" e o "capitão B" escolherem os lados para um jogo de espelhos de basquete T 3 : o capitão A tem a primeira, quarta, sexta e sétima escolhas, enquanto o capitão B tem a segunda, terceira, quinta e oitava opções.
História
A sequência Thue-Morse foi estudada pela primeira vez por Eugène Prouhet em 1851, que a aplicou à teoria dos números . No entanto, Prouhet não mencionou a sequência explicitamente; isso foi deixado para Axel Thue em 1906, que o usou para fundar o estudo da combinatória das palavras . A sequência só ganhou destaque mundial com o trabalho de Marston Morse em 1921, quando a aplicou à geometria diferencial . A sequência foi descoberta de forma independente muitas vezes, nem sempre por pesquisadores matemáticos profissionais; por exemplo, Max Euwe , um grande mestre de xadrez , que detém o título do Campeonato Mundial de 1935 a 1937, e professor de matemática , o descobriu em 1929 em uma aplicação ao xadrez : usando sua propriedade livre de cubos (veja acima), ele mostrou como contornar a regra de repetição tripla destinada a prevenir jogos infinitamente prolongados, declarando empate a repetição de movimentos. Na época, estados de placa idênticos consecutivos eram necessários para acionar a regra; a regra foi posteriormente alterada para a mesma posição do tabuleiro, sendo repetida três vezes consecutivas em qualquer ponto, pois a sequência mostra que o critério consecutivo pode ser evitado para sempre.
Veja também
- Teorema de Dejean
- Função Fabius
- Código cinza
- Constante de Komornik – Loreti
- Constante de Prouhet-Thue-Morse
Notas
Referências
- Abrahams, Marc (12 de julho de 2010). "Como servir a xícara de café perfeita" . The Guardian .
- Arndt, Jörg (2011). "1.16.4 A sequência Thue-Morse" (PDF) . Matters Computational: Ideas, Algorithms, Source Code . Springer. p. 44
- Allouche, Jean-Paul; Shallit, Jeffrey (2003). Sequências automáticas: teoria, aplicações, generalizações . Cambridge University Press . ISBN 978-0-521-82332-6. Zbl 1086.11015 .
- Barrow, John D. (2010). "Remo e o problema da mesma soma têm seus momentos". 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). Combinatória de palavras. Palavras de Christoffel e repetições em palavras . Série de monografias de CRM. 27 . Providence, RI, EUA: American Mathematical Society . ISBN 978-0-8218-4480-9. Zbl 1161.68043 .
- Berthé, Valérie ; Rigo, Michel, eds. (2010). Combinatória, autômatos e teoria dos números . Enciclopédia de Matemática e suas Aplicações. 135 . Cambridge: Cambridge University Press . p. 7. ISBN 978-0-521-51597-9. Zbl 1197.68006 .
- Bolker, Ethan; Offner, Carl; Richman, Robert; Zara, Catalin (2016). "O problema de Prouhet-Tarry-Escott e as sequências de Thue-Morse generalizadas". 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). A solução ganha-ganha: garantindo ações justas para todos . WW Norton & Co., Inc. pp. 36–44 . ISBN 978-0-393-04729-5.
- Brlek, Srećko (1989). "Enumeração de fatores na palavra Thue-Morse" . Matemática Aplicada Discreta . 24 (1–3): 83–96. doi : 10.1016 / 0166-218x (92) 90274-e .
- Cohen-Zada, Danny; Krumer, Alex; Shapir, Offer Moshe (2018). "Testando o efeito da ordem de saque no desempate no tênis" . Journal of Economic Behavior and Organization . 146 : 106–115. doi : 10.1016 / j.jebo.2017.12.012 .
- Cooper, Joshua; Dutle, Aaron (2013). "Jogos Greedy Galois" (PDF) . American Mathematical Monthly . 120 (5): 441–451. arXiv : 1110.1137 . doi : 10.4169 / amer.math.monthly.120.05.441 .
- Krieger, Dalia (2006). "Sobre expoentes críticos em pontos fixos de morfismos não apagáveis". Em Ibarra, Oscar H .; Dang, Zhe (eds.). Developments in Language Theory: Proceedings 10th International Conference, DLT 2006, Santa Barbara, Califórnia, EUA, 26-29 de junho de 2006 . Notas de aula em Ciência da Computação. 4036 . Springer-Verlag . pp. 280–291. ISBN 978-3-540-35428-4. Zbl 1227.68074 .
- Levine, Lionel; Stange, Katherine E. (2012). "Como aproveitar ao máximo uma refeição compartilhada: planeje primeiro a última mordida" (PDF) . American Mathematical Monthly . 119 (7): 550–565. arXiv : 1104.0961 . doi : 10.4169 / amer.math.monthly.119.07.550 .
- Lothaire, M. (2011). Combinação algébrica de palavras . Enciclopédia de matemática e suas aplicações. 90 . Com prefácio de Jean Berstel e Dominique Perrin (Reimpressão da edição de capa dura de 2002). Cambridge University Press. ISBN 978-0-521-18071-9. Zbl 1221.68183 .
- Ma, Jun; Holdener, Judy (2005). "Quando Thue-Morse encontra Koch" (PDF) . Fractais . 13 (3): 191–206. doi : 10.1142 / S0218348X05002908 . MR 2166279 .
- Palacios-Huerta, Ignacio (2012). "Torneios, justiça e a sequência Prouhet – Thue – Morse" (PDF) . Investigação econômica . 50 (3): 848–849. doi : 10.1111 / j.1465-7295.2011.00435.x .
- Palacios-Huerta, Ignacio (2014). Bela Teoria do Jogo . Princeton University Press. ISBN 978-0691144023.
- Pytheas Fogg, N. (2002). Berthé, Valérie; Ferenczi, Sébastien; Mauduit, cristão; Siegel, A. (eds.). Substituições em dinâmica, aritmética e combinatória . Notas de aula em matemática. 1794 . Berlim, Alemanha: Springer-Verlag . ISBN 978-3-540-44141-0. Zbl 1014.11015 .
- Richman, Robert (2001). "Seqüências binárias recursivas de diferenças" (PDF) . Sistemas complexos . 13 (4): 381–392.
Leitura adicional
- Bugeaud, Yann (2012). Distribuição módulo um e aproximação diofantina . Cambridge Tracts in Mathematics. 193 . Cambridge: Cambridge University Press . ISBN 978-0-521-11169-0. Zbl 1260.11001 .
- Lothaire, M. (2005). Combinação aplicada às palavras . Enciclopédia de matemática e suas aplicações. 105 . Uma obra coletiva de 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 e Valérie Berthé. Cambridge: Cambridge University Press . ISBN 978-0-521-84802-2. Zbl 1133.68067 .
links externos
- "Sequência de Thue-Morse" , Encyclopedia of Mathematics , EMS Press , 2001 [1994]
- Weisstein, Eric W. "Thue-Morse Sequence" . MathWorld .
- Allouche, J.-P .; Shallit, JO The Ubiquitous Prouhet-Thue-Morse Sequence . (contém muitos aplicativos e algum histórico)
- Sequência Thue-Morse sobre (1,2) (sequência A001285 no OEIS )
- Sequência OEIS A000069 (números odiosos: números com um número ímpar de 1 em sua expansão binária)
- Sequência OEIS A001969 (números malignos: números com um número par de 1 em sua expansão binária)
- Reduzindo a influência do desvio DC offset em IPs analógicos usando a Sequência de Thue-Morse . Uma aplicação técnica da Sequência Thue-Morse
- MusiNum - a música nos números . Freeware para gerar música semelhante com base na sequência Thue-Morse e sequências numéricas relacionadas.
- Parker, Matt . "The Fairest Sharing Sequence Ever" (vídeo) . standupmaths . Retirado em 20 de janeiro de 2016 .