The Golden Sieve

El artículo reexamina el tamiz dorado, un proceso de eliminación autorreferencial que genera la partición de Wythoff y conecta con las secuencias de "hiccup" y las particiones complementarias de Fraenkel, introduciendo además un tamiz de extracción que produce dichas secuencias bajo una transformación afín explícita.

Lo esencial

¡Hola! Imagina que este artículo es como un manual de instrucciones para un juego de magia matemática que transforma una fila de números en dos filas nuevas, siguiendo reglas muy estrictas pero con resultados sorprendentes.

El autor, Benoit Cloitre, nos invita a explorar un proceso llamado "La Criba Dorada" (The Golden Sieve). Aquí te lo explico como si fuera una historia:

1. El Juego de la Criba (La Regla del "Puntero")

Imagina que tienes una fila interminable de personas, numeradas del 1 al infinito, esperando en una fila:
1, 2, 3, 4, 5, 6, 7, 8...

Ahora, vamos a aplicar una regla mágica paso a paso para separar a la gente en dos grupos: los que sobreviven y los que son eliminados.

• El paso: En el turno número $n$, miras a la persona que está en la posición $n$ de la fila actual. Digamos que esa persona tiene el número X.
• La acción: Ese número X no es solo un número, ¡es una orden! Te dice: "Ve a la posición X de la fila y elimina a la persona que está allí".
• El resultado: La persona eliminada sale de la fila. Las demás se cierran para llenar el hueco.

Repetimos esto una y otra vez. Al final, tendrás dos listas:

1. Los Supervivientes: Los que nunca fueron tocados.
2. Los Eliminados: Los que fueron sacados.

2. La Magia de la "Criba Dorada" (Cuando empezamos con 1, 2, 3...)

Si empezamos con la fila normal (1, 2, 3...), ocurre algo fascinante. Los números que sobreviven y los que se van siguen un patrón que está gobernado por el Número Áureo ($\phi \approx 1.618$), ese número famoso que aparece en las conchas de los caracoles, en las flores y en el arte.

• El patrón: Las distancias entre los números que sobreviven solo pueden ser de dos tamaños (por ejemplo, saltar 1 o saltar 2).
• La regla oculta: ¿Cuándo saltas 1 y cuándo saltas 2? ¡Depende de si el número de tu turno actual ya apareció antes en la lista de supervivientes! Es como si la lista se mirara a sí misma en un espejo para decidir su propio futuro.
• La conexión: Este juego recrea exactamente el famoso Juego de Wythoff (un juego de estrategia con dos montones de fichas). Los números que sobreviven son las posiciones ganadoras de ese juego.

3. ¿Qué pasa si cambiamos la fila inicial?

El autor se pregunta: "¿Qué pasa si no empezamos con 1, 2, 3, sino con una fila de números pares (2, 4, 6...) o de números que saltan de 3 en 3 (3, 6, 9...)"?

Aquí es donde el papel se vuelve muy interesante:

• La relación lineal: Aunque los números cambian, la estructura se mantiene. Existe una fórmula matemática simple que conecta a los supervivientes con los eliminados.
• El "Hiccup" (El Eructo): El autor llama a estos patrones "secuencias de eructo" (hiccup sequences). Imagina que la lista de números intenta crecer de forma suave, pero cada vez que "ve" un número que ya existe en su propia lista, hace un "eructo" (un salto más grande).
• La transformación: Si cambias la fila inicial (por ejemplo, de 1 en 1 a 2 en 2), la regla del "eructo" se adapta automáticamente. Es como si el juego tuviera un traductor que ajusta las reglas según el idioma (la fila) en el que juegas.

4. La "Criba de Extracción" (El hermano gemelo)

El autor también presenta un juego hermano llamado "La Criba de Extracción".

• En la Criba Dorada, miras una posición y eliminas a alguien lejos.
• En la Criba de Extracción, simplemente tomas al primero de la fila (el más pequeño), lo guardas como superviviente, y luego eliminas a los siguientes según una regla similar.
• ¡Sorprendentemente! Este juego hermano produce exactamente los mismos tipos de patrones ("eructos"), pero con números diferentes. Es como si dos máquinas diferentes pudieran cocinar el mismo plato, solo que una lo hace horneando y la otra a la parrilla.

5. El caso de los Cuadrados Perfectos

El autor también probó el juego con una fila de cuadrados perfectos: 1, 4, 9, 16, 25... (1 al cuadrado, 2 al cuadrado, etc.).

• Aquí la magia se vuelve más compleja. Los saltos ya no dependen de una regla lineal simple, sino de una "navegación cuadrática". Es como si la lista tuviera que escalar una montaña en lugar de caminar por un camino plano.
• Aun así, el patrón sigue existiendo, pero es más difícil de predecir.

En resumen: ¿Por qué importa esto?

Este artículo nos dice que incluso con reglas muy simples y un poco de "auto-referencia" (mirarse a uno mismo para decidir), la matemática genera estructuras rígidas y bellas.

• Nos conecta con juegos antiguos (Wythoff).
• Nos ayuda a entender cómo se distribuyen los números primos y otros patrones.
• Muestra que la naturaleza (a través de la proporción áurea) y los juegos de lógica están profundamente entrelazados.

La analogía final:
Imagina que la Criba Dorada es un jardinero que poda un seto infinito. Cada vez que poda una rama (elimina un número), la forma en que poda la siguiente rama depende de si esa rama ya apareció antes en el seto. Aunque el seto crezca de formas extrañas, al final, el patrón de crecimiento revela una belleza matemática oculta que ha estado ahí todo el tiempo, esperando a ser descubierta.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "The Golden Sieve" (La Criba Dorada) de Benoit Cloitre, publicado en marzo de 2026.

1. Introducción y Definición del Problema

El artículo revisita y generaliza un proceso de eliminación auto-referencial conocido como la Criba Dorada (Golden Sieve), introducido originalmente por el autor en 2002 (OEIS A099267).

El Mecanismo:
Dada una secuencia estrictamente creciente de enteros positivos $W_0 = (w_1, w_2, \dots)$, la criba funciona de la siguiente manera en cada paso $n$:

1. Lectura del puntero: Se lee el $n$-ésimo elemento de la secuencia de trabajo actual $W_{n-1}$, denotado como $h_n = W_{n-1}(n)$.
2. Eliminación: Este valor $h_n$ actúa como un índice de posición. Se elimina el elemento que se encuentra en la posición $h_n$ de la secuencia $W_{n-1}$. Este elemento eliminado se denota como $d_n$.
3. Actualización: La nueva secuencia $W_n$ es $W_{n-1}$ sin el elemento $d_n$.

Este proceso genera una partición de la secuencia original en dos sub-secuencias crecientes:

• Supervivientes ($s_n$): Los elementos que nunca son eliminados.
• Eliminados ($d_n$): Los elementos que son borrados en cada paso.

El problema central es entender la estructura combinatoria y asintótica de estas secuencias, especialmente cuando la secuencia inicial es una progresión aritmética $W_0 = aN + b$ o el conjunto de los números naturales $N$.

2. Metodología

El autor emplea una combinación de análisis combinatorio, teoría de números y dinámica de secuencias auto-referenciales. La metodología se estructura en los siguientes pilares:

• Normalización: Para el caso general $W_0 = aN + b$, se introduce un mapa de normalización que transforma los supervivientes y eliminados en secuencias de enteros $\sigma_n$ y $\delta_n$, reduciendo el problema a una criba sobre $N$ con un puntero modificado.
• Identidad Puntero-Superviviente: Se demuestra que, para $a \ge 2$, el puntero $h_n$ coincide siempre con el $n$-ésimo superviviente $s_n$. Esto estabiliza el prefijo de la secuencia y permite derivar relaciones de rango precisas.
• Análisis de "Hiccup" (Tartamudeo): Se utiliza el marco de las "secuencias hiccup" (estudiadas recientemente por Fokkink y Joshi), donde los saltos entre términos consecutivos toman solo dos valores ($y$ y $z$) dependiendo de si el índice actual pertenece o no al conjunto de valores de la secuencia misma.
• Conexión con Ecuaciones Complementarias: Se vincula el proceso con las ecuaciones complementarias de Fraenkel y la transformada de rango de Kimberling, estableciendo que la criba genera pares de secuencias que satisfacen relaciones afines específicas.
• Nuevos Modelos: Se introduce la Criba de Extracción (Extraction Sieve), un proceso dual donde se extrae el mínimo y se eliminan elementos basándose en una prueba de pertenencia, demostrando que este modelo genera directamente secuencias hiccup.

3. Contribuciones Clave y Resultados Principales

A. El Caso Base: $W_0 = N$ (Números Naturales)

• Identificación de Wythoff: Se demuestra que la secuencia de supervivientes (después de un desplazamiento) coincide con la secuencia inferior de Wythoff ($\lfloor n\phi \rfloor$) y la de eliminados con la superior ($\lfloor n\phi^2 \rfloor$), donde $\phi$ es la razón áurea.
• Regla Hiccup: Se establece que tanto los supervivientes como los eliminados siguen una regla de dos saltos auto-referencial. Por ejemplo, para los eliminados $d_n$, el salto es 2 si $n \in \{d_k\}$ y 3 si no.
• Conexión con Fibonacci: Se identifica que los números de Fibonacci forman un subconjunto invariante bajo la función de supervivientes.

B. Progresiones Aritméticas: $W_0 = aN + b$ ($a \ge 2$)

Este es el núcleo de la investigación. El autor establece:

1. Identidad de Rango Afín: Existe una relación lineal exacta entre los índices normalizados de los eliminados ($\delta_n$) y los supervivientes ($\sigma_n$):
   $$\delta_n = a\sigma_n + n + (b - 1)$$
   Esto generaliza la relación de Wythoff ($B_n = A_n + n$) a un contexto más amplio.
2. Propiedad de Dos Saltos: Los saltos normalizados de los supervivientes $\sigma_n - \sigma_{n-1}$ toman valores en $\{1, 2\}$. Los saltos de los eliminados toman valores en $\{a+1, 2a+1\}$.
3. Regla Hiccup Filtrada: La secuencia de supervivientes es una secuencia hiccup $(0, s_1, 2a, a)$. Sin embargo, para $a \ge 2$, la secuencia de eliminados no es una secuencia hiccup estándar; sus saltos están gobernados por la misma palabra binaria de control que los supervivientes, pero la prueba de pertenencia se realiza sobre el conjunto original $W_0$ filtrado, no sobre el conjunto de eliminados mismo.
4. Pendiente Asintótica: Se demuestra que la pendiente asintótica $\alpha(a) = \lim \sigma_n/n$ es la única raíz positiva de la ecuación cuadrática:
   $$a\alpha^2 - a\alpha - 1 = 0 \implies \alpha(a) = \frac{a + \sqrt{a^2 + 4a}}{2a}$$
   Para $a=1$, esto da $\phi$. Para $a \ge 2$, las secuencias no son secuencias de Beatty (a diferencia del caso $a=1$).

C. Conexiones Teóricas

• Juegos Combinatorios: Se conecta la criba con el juego de Nim generalizado $NIM(a, 1)$ de Fraenkel. Las posiciones P (ganadoras para el jugador anterior) de este juego coinciden exactamente con los pares $(\sigma_n, \delta_n)$ generados por la criba.
• Transformada de Rango: Se identifica que la criba dorada sobre $aN+b$ es equivalente a la transformada de rango de Kimberling aplicada a una secuencia de bloques específica.

D. Variaciones y Nuevos Modelos

• Criba sobre Cuadrados Perfectos ($W_0 = \{n^2\}$): Se analiza el comportamiento cuando la entrada son cuadrados. Aparece un fenómeno de anidamiento cuadrático. La secuencia de índices raíz $\mu_n$ (donde $s_n = \mu_n^2$) sigue una regla hiccup donde la condición de pertenencia depende de los cuadrados de los propios supervivientes. Se deriva una expansión asintótica compleja: $\mu_n \approx n + n^{1/2} - n^{1/4} + \dots$.
• Criba de Extracción (Silver Sieve): Se introduce un mecanismo alternativo donde se extrae el mínimo y se eliminan elementos basándose en una prueba de pertenencia. Este modelo genera directamente secuencias hiccup y permite mapear secuencias como la de Bosma-Dekking-Steiner (A086377) como un caso particular (la "Criba de Plata"). Se demuestra que la acción de pasar de $N$ a $aN+b$ en este modelo es una transformación afín simple de los parámetros de la secuencia hiccup.

4. Significado e Impacto

El trabajo de Cloitre es significativo por varias razones:

1. Unificación Conceptual: Proporciona un marco unificado que conecta la partición de Wythoff, las secuencias de Beatty, los juegos de Nim de Fraenkel y las secuencias auto-referenciales (hiccup) bajo un solo mecanismo dinámico (la criba).
2. Generalización de la Razón Áurea: Muestra cómo la estructura de la razón áurea ($\phi$) se generaliza a una familia de constantes algebraicas $\alpha(a)$ gobernadas por ecuaciones cuadráticas, revelando que la propiedad de "dos saltos" es robusta más allá del caso $a=1$.
3. Distinción entre $a=1$ y $a \ge 2$: Ilustra una bifurcación fundamental: mientras que para $a=1$ las secuencias son Beatty y tienen una estructura de palabra de Sturmian (Fibonacci), para $a \ge 2$ pierden la representación Beatty y la estructura de la palabra de salto se vuelve más compleja (no Sturmiana), planteando nuevas preguntas sobre su complejidad factorial y automaticidad.
4. Nuevas Herramientas: La introducción de la "Criba de Extracción" ofrece una perspectiva dual que simplifica el análisis de las secuencias hiccup y sus transformaciones afines, proporcionando una herramienta poderosa para generar y clasificar estas secuencias.

5. Preguntas Abiertas

El artículo concluye planteando problemas abiertos, principalmente sobre la naturaleza combinatoria de la palabra de salto binaria $H$ para $a \ge 2$:

• ¿Es la palabra $H$ morfismica (fija de un morfismo primitivo)?
• ¿Es $k$-automática o Ostrowski-automática?
• ¿Cuál es su complejidad factorial y propiedades de equilibrio?
• ¿Existe un juego combinatorio específico para la criba en progresiones aritméticas generales?

En resumen, "The Golden Sieve" es un trabajo profundo que transforma un proceso de eliminación simple en una rica estructura matemática, conectando la teoría de números, la teoría de juegos y la combinatoria de palabras, y abriendo nuevas vías de investigación sobre secuencias auto-referenciales.