Sucesión de Thue-Morse

secuencia binaria infinita generada por complementación y concatenación repetidas

En matemáticas, la sucesión de Thue-Morse (también conocida como sucesión de Prouhet-Thue-Morse) es una sucesión de dígitos binarios que si se concatenan produce una secuencia con segmentos iniciales alternos. La secuencia se obtiene comenzando con un cero y añadiendo sucesivamente el complemento Booleano de la secuencia que existe al momento. De esta forma, la secuencia comienza con 0, 01, 0110, 01101001, 0110100110010110...(sucesión A010060 en OEIS)

Demostración gráfica de la sucesión de Thue-Morse basada en el complemento de la secuencia existente.
Demostración gráfica de la sucesión de Thue-Morse basada en el complemento de la secuencia existente.

Definición

editar

Existen varias definiciones equivalentes de la sucesión de Thue-Morse:

Definición directa

editar

Para calcular el nésimo elemento tn, se escribe el número n en binario. Si el total de números 1 en esta expansión binaria es impar, entonces tn = 1; si es par, entonces tn = 0.[1]​ Es por esta razón que John H. Conway et al. le llamó a los números n que satisfacen tn = 1 números odiosos (basándose en la palabra inglesa odd, "impar") y a los números que satisfacen tn = 0 como números malignos (basándose en la palabra inglesa even, "par").

Relación de recurrencia

editar

Esta secuencia se obtiene mediante una sucesión de dígitos binarios   que satisface la siguiente relación de recurrencia:

 
 
 

Para todo valor entero positivo de n.

Es decir, si representamos los dígitos binarios como 0 y 1 la secuencia de Thue-Morse tiene la siguiente forma:

01101001100101101001011001101001...

Esta secuencia, tomada como la parte decimal de un número en base 2 es conocida como constante de Thue-Morse:

0,01101001100101101001011001101001...2 = 0.41245403364...10

que es un número trascendental como   o como  .

Caracterización a través de negación a nivel de bits

editar

Una definición alternativa es a través de un algoritmo que utiliza el negador binario a nivel de bit (~) y la concatenación de cadenas de dígitos (+).

 1. X:= 0.
 2. REPETIR MIENTRAS LONGITUD(X) < LONGITUD_TERMINAL
 3.    Y:= ~X
 4.    X:= X+Y
 5. DEVOLVER X

De esta forma, el primer elemento es 0. Luego, una vez que se han especificado los primeros 2n elementos, formando una cadena s, entonces los siguientes 2n elementos deben formar la negación a nivel de bit de s. Ahora se han definido los primeros 2n+1 elementos y se repite la operación.

En particular, estos primeros pasos son los siguientes:

  • Se empieza con un 0.
  • La negación a nivel de bit de 0 es 1.
  • Al combinar (o concatenar) éstos, los primeros elementos son 01.
  • La negación a nivel de bit de 01 es 10.
  • Al combinar éstos, los primeros 4 elementos son 0110.
  • La negación a nivel de bit de 0110 es 1001.
  • Al combinar éstos, los primeros 8 elementos son 01101001.
  • Y así sucesivamente.

De esta forma,

  • T0 = 0.
  • T1 = 01.
  • T2 = 0110.
  • T3 = 01101001.
  • T4 = 0110100110010110.
  • T5 = 01101001100101101001011001101001.
  • T6 = 0110100110010110100101100110100110010110011010010110100110010110.
  • Y así sucesivamente.

Producto infinito

editar

La sucesión también se puede definir mediante el siguiente producto:

 

donde tj es el j-simo elemento si comenzamos en j = 0.

Algunas propiedades

editar

Dado que cada bloque en la secuencia de Thue-Morse se define formando una negación binaria del comienzo de la secuencia, y que esta operación se repite al comienzo del siguiente bloque, la secuencia está llena de cuadrados: ocurrencias de la cadena XX, donde X es una cadena de dígitos determinada. En efecto,   es una cadena así descrita si y sólo si   o   donde   para algún   y   denota la negación a nivel de bit de   (intercambiar los ceros y los unos).[2]​ Por ejemplo, con  , tenemos que  , y el cuadrado   aparece en   comenzando en el bit número 16. (De esta forma, los cuadrados en   tienen una longitud que es una potencia de 2 o el triple de una potencia de 2.) Sin embargo no hay cubos: ocurrencias de la cadena XXX. Tampoco hay cuadrados solapados: ocurrencias de 0X0X0 o 1X1X1.[3][4]​ El exponente crítico es 2.[5]

Nótese que T2n es un número capicúa para cualquier n > 1. Más allá, sea qn una palabra obtenida de T2n al contar los unos entre ceros consecutivos. Por ejemplo, q1 = 2 y q2 = 2102012 y así sucesivamente. Las palabras Tn no contienen cuadrados que se traslapan y en consecuencia las "palabras" qnson capicúas libres de cuadrados

En realidad, la afirmación de que la secuencia de Thue-Morse está llena de cuadrados puede ser más precisa: se trata de una secuencia recursiva, lo que quiere decir que para toda cadena de dígitos finita X en la secuencia, existe una longitud nX determinada (normalmente mucho más larga que la de X) tal que X aparece en cada bloque de longitud n. La forma más sencilla de crear una secuencia recursiva es formar una sucesión periódica donde la secuencia se repite completamente de nuevo después de un número m dado de pasos. Esto implica que nX se puede asignar a cualquier múltiplo de m que sea mayor que dos veces la longitud de X. Pero la secuencia de Thue-Morse es recursiva sin ser periódica, ni siquiera parcialmente periódica (una secuencia parcialmente periódica se repite completamente después de una fase inicial aperiódica).

El morfismo Thue Morse se define como la función f del conjunto de secuencias binarias a sí misma reemplazando cada 0 en una secuencia con 01 y cada 1 con 10[6]​ Entonces, si T es la sucesión de Thue-Morse, entoncesf(T) es T otra vez; esto es; T es un punto fijo de f. La función f es un morfismo prolongable en el monoide libre {0,1} con T como punto fijo: de hecho T es esencialmente el único punto fijo de f; el único otro punto fijo es la negación por pares de bits de T, la cual essimplemente la sucesión de Thue-Morse sobre (1, 0) en lugar de (0, 1). Esta propiedad puede ser generalizada al concepto de una secuencia automática.

La secuencia generadora de T sobre el campo binario es la serie formal de potencias:

 

Esta serie de potencias es algebraica sobre el campo de las series formales de potencias, satisfaciendo la ecuación[7]

 

División equitativa

editar

En su libro acerca del problema de la división justa, Steven Brams y Alan Taylor mencionan la secuencia Thue-Morse pero sin identificarla por su nombre. Cuando hay que distribuir entre 2 personas una cantidad de objetos cuyo valor ya se había acordado, sugirieron un método al que llamaron "alternación balanceada" o sea cambiar el orden de selección cada vez que se termina una secuencia de selección, como una manera de evitar la ventaja que tiene el que escoge primero. El ejemplo que pusieron fue el de una pareja que se divorcia, para repartirse los bienes, el primero que escoja debe escoger segundo a la siguiente ronda.[8]​ La secuencia de Thue-Morse tiene muchas aplicaciones para la distribución o partición binaria, por ejemplo para escoger los miembros de dos equipos de trabajo, de deporte. Para servir 2 tazas de café desde una jarra, herencias binarias (base 2), etc.

Historia

editar

La sucesión de Thue-Morse fue estudiada por primera vez por P. Prouhet en 1851, que la aplicó a la teoría de números. Sin embargo, Prouhet no la mencionó de forma explícita. Quien sí lo hizo fue Axel Thue en 1906, en un estudio de la combinatoria lingüística. Dado que Thue publicó su trabajo originalmente en noruego, el análisis de la misma permaneció en la ignorancia general del público internacional, al que sólo llegaría cuando otro matemático (Marston Morse) la aplicó en 1921 a sus trabajos sobre geometría diferencial.

En realidad, dada la aparente simplicidad de su formulación, la secuencia ha sido redescubiera, redefinida y estudiada de forma independiente en muchas ocasiones; y no siempre en el contexto de la investigación matemática. Por ejemplo el Gran Maestro del ajedrez Max Euwe la descubrió de forma independiente en 1929 aplicándola a desarrollos teóricos del ajedrez.

Referencias

editar
  1. Allouche & Shallit (2003) p.15
  2. Brlek, Srećko (1989). «Enumeration of Factors in the Thue-Morse Word». Discrete Applied Mathematics 24: 83-96. doi:10.1016/0166-218x(92)90274-e. 
  3. Lothaire (2011) p.113
  4. Pytheas Fogg (2002) p.103
  5. Krieger, Dalia (2006). «On critical exponents in fixed points of non-erasing morphisms». En Ibarra, Oscar H.; Dang, Zhe, eds. Developments in Language Theory: Proceedings 10th International Conference, DLT 2006, Santa Barbara, CA, EUA, Junio 26-29, 2006. Lecture Notes in Computer Science 4036. Springer-Verlag. pp. 280-291. ISBN 3-540-35428-X. Zbl 1227.68074. 
  6. Berstel (2009) p.70
  7. Berstel (2009) p.80
  8. Brams; Taylor (1999). sfnp. 

Enlaces externos

editar