Beatty solutions of almost Golomb equations

Este artículo demuestra que, además de la solución 2-regular, la ecuación casi Golomb de orden 2 posee una solución monótona única de tipo Beatty inhomogéneo con pendiente $1/\!\sqrt{2}$, la cual forma parte de una familia continua de soluciones para una ecuación más débil y satisface identidades verificadas para diversos tamaños de ventanas, excepto para los cuadrados perfectos pares.

Lo esencial

Imagina que tienes una fila interminable de casilleros numerados del 1 al infinito. Tu misión es llenar cada casillero con un número entero, siguiendo una regla muy estricta y un poco misteriosa. Esta es la esencia del artículo de Benoît Cloitre, pero explicado como si fuera un juego de lógica para todos.

El Juego de la "Caja Mágica" (La Ecuación)

Imagina que tienes una regla especial:

1. Toma dos números consecutivos de tu lista (digamos, el número en la casilla 5 y el de la casilla 6).
2. Súmalos.
3. Ve a la casilla cuyo número es esa suma.
4. La regla de oro: El número que encuentres en esa nueva casilla debe ser exactamente el número de la casilla original donde empezaste (el 5 o el 6).

Si logras llenar toda la lista sin romper esta regla, has resuelto la "Ecuación de Golomb casi perfecta".

Los Dos Jugadores: El "Avaricioso" y el "Poeta"

El artículo descubre que, para este juego, existen dos formas totalmente diferentes de llenar la lista, como si hubiera dos jugadores con filosofías opuestas:

1. El Jugador Avaricioso (La Solución Greedy)

Este jugador es como un niño que quiere tener la menor cantidad de dulces posible en cada paso, pero sin romper las reglas.

• Su estrategia: "Si puedo poner un 2 aquí, lo pondré. Si no, pondré un 3". Siempre elige el número más pequeño posible que no rompa la ley.
• Su comportamiento: Es muy predecible y local. Mira solo a su alrededor inmediato. Su lista de números parece un poco caótica y oscila; no sigue un patrón suave, sino que salta entre valores de forma rítmica pero irregular. Es como un tren que va por vías locales, deteniéndose en cada estación pequeña.

2. El Jugador Poeta (La Solución Beatty)

Este jugador es diferente. No mira solo el paso inmediato, sino que sigue una "melodía" matemática invisible.

• Su estrategia: Sigue una línea recta imaginaria con una inclinación muy especial (un número irracional relacionado con la raíz cuadrada de 2). Es como si estuviera dibujando una línea suave sobre una hoja de papel y marcando los puntos donde la línea cruza las casillas.
• Su comportamiento: Es elegante y global. Aunque sus números también suben, lo hacen siguiendo un ritmo perfecto, como un metrónomo o una ola del mar.
• El giro: ¡Ambos jugadores pueden ganar! Durante los primeros 11 casilleros, ambos ponen exactamente los mismos números. Pero en el casillero 12, el Avaricioso se detiene y repite un número, mientras que el Poeta sigue avanzando suavemente. A partir de ahí, sus listas son diferentes, pero ambas son correctas según las reglas del juego.

¿Por qué es esto un descubrimiento?

Antes de este artículo, los matemáticos pensaban que la solución "Avariciosa" (la más obvia) era la única manera de llenar la lista de forma ordenada. Cloitre demostró que existe una segunda familia de soluciones que es completamente distinta:

• La solución Avariciosa es como un código de computadora simple (reglas locales).
• La solución Poeta es como una obra de arte basada en la geometría y el caos controlado (números irracionales).

El "Intervalo de la Magia"

El artículo también descubre algo aún más asombroso. Si cambiamos un poco la regla del juego (haciéndola un poco más flexible, como una "ecuación triple"), no solo hay dos soluciones, sino un continuo de soluciones.

Imagina que tienes un dial (un botón giratorio).

• Si giras el dial demasiado a la izquierda o a la derecha, el juego se rompe y la regla deja de funcionar.
• Pero si lo dejas en un intervalo específico (un rango de valores muy preciso), ¡el juego funciona perfectamente!
• Dentro de ese rango, puedes elegir cualquier ajuste y tendrás una lista válida. Es como si hubiera una "zona de confort" infinita donde la magia funciona, y solo fuera de ella el caos se apodera.

Analogía Final: El Reloj y el Sol

• La solución Avariciosa es como un reloj de péndulo mecánico: funciona por engranajes locales, paso a paso, con un ritmo que parece oscilar.
• La solución Poeta es como la sombra de un gnomon (la aguja de un reloj solar) proyectada en el suelo. La sombra se mueve siguiendo la trayectoria del sol (un número irracional), creando un patrón que es perfecto en su totalidad, aunque parezca aleatorio si solo miras un segundo.

En Resumen

Este paper nos dice que las matemáticas a veces tienen más de una respuesta "correcta". A veces, la respuesta obvia y pequeña (el camino más corto) es solo una de las dos caras de la moneda. La otra cara es una estructura profunda, basada en la belleza de los números irracionales, que ha estado ahí todo el tiempo, esperando a que alguien la descubriera.

El autor no solo encontró esta segunda solución, sino que mapeó exactamente dónde vive, cómo se comporta y cómo se conecta con otros juegos matemáticos famosos (como el juego de Wythoff, que es como un ajedrez con piedras). Es un viaje desde la lógica simple hasta la armonía oculta de los números.

Resumen técnico

Resumen Técnico: Soluciones de Beatty de Ecuaciones Casi Golomb

1. Planteamiento del Problema

El artículo aborda la ecuación casi Golomb de orden $r$, definida como la búsqueda de una secuencia de enteros positivos no decrecientes $a(n)$ que satisfaga la relación:
$$a\left(\sum_{j=0}^{r-1} a(n-j)\right) = n, \quad \text{para } n \ge 1$$
con la condición inicial $a(k) = 0$ para $k < 1$.

• Contexto: La secuencia de Golomb clásica (donde $n$ aparece $a(n)$ veces) satisface una ecuación con suma acumulativa. Las secuencias "casi Golomb" reemplazan la suma acumulativa por una ventana deslizante de tamaño $r$.
• Solución Greedy (Avid): Se sabe que existe una solución única "greedy" (la más temprana posible), que es $r$-regular y presenta un crecimiento oscilatorio lineal.
• La Pregunta Central: ¿Existen otras soluciones monótonas para estas ecuaciones implícitas, más allá de la solución greedy? El artículo se centra específicamente en el caso $r=2$ y generaliza a otros valores.

2. Metodología

El autor emplea una combinación de análisis asintótico, teoría de números (específicamente secuencias de Beatty y números de Ostrowski) y verificación computacional asistida por demostradores de teoremas.

• Análisis Asintótico: Se asume un comportamiento lineal $a(n) \sim cn$. Sustituyendo en la ecuación, se deduce que $c(2cn) \approx n$, lo que implica $2c^2 = 1$, o sea, $c = 1/\sqrt{2}$. Esto sugiere que la solución podría ser una secuencia de Beatty inhomogénea.
• Secuencias de Beatty: Se propone la forma $a(n) = \lfloor cn + d \rfloor$ con $c = 1/\sqrt{2}$ y un parámetro de desplazamiento $d$.
• Análisis de Intervalos y Desviaciones: Se estudia el "defecto" $D(n) = a(f(n)) - n$ donde $f(n) = a(n) + a(n-1)$. Se analiza bajo qué condiciones este defecto se anula (para la ecuación original) o es absorbido (para una versión triple-nested).
• Herramientas Computacionales:
  • Uso de la numeración de Ostrowski (basada en los convergentes de la fracción continua de $1/\sqrt{2}$).
  • Verificación formal mediante el demostrador Walnut para certificar identidades en sistemas de numeración específicos.
  • Búsqueda exhaustiva de retroceso (backtracking) para soluciones finitas.

3. Contribuciones Clave y Resultados Principales

A. Existencia de una Segunda Solución Monótona (Teorema 1)

Para $r=2$, el autor demuestra la existencia de una solución monótona completamente diferente a la greedy:
$$a(n) = \left\lfloor \frac{n+1}{\sqrt{2}} \right\rfloor$$

• Propiedades: Esta es una secuencia de Beatty inhomogénea con pendiente irracional $1/\sqrt{2}$.
• Comportamiento: A diferencia de la solución greedy (cuyo cociente $a(n)/n$ oscila entre $2/3$ y $3/4$), esta solución converge a $1/\sqrt{2}$.
• Divergencia: Ambas soluciones coinciden hasta $n=11$, pero divergen en $n=12$. La solución greedy repite un valor (longitud de corrida 2), mientras que la de Beatty avanza (longitud 1).
• Unicidad: Esta solución de Beatty es la única dentro de su familia paramétrica que satisface la ecuación original $a(a(n)+a(n-1)) = n$.

B. La Familia de Soluciones Triple-Anidada (Teoremas 2 y 3)

Al aplicar la función $a$ a ambos lados de la ecuación original, se obtiene una ecuación más débil:
$$a(a(a(n) + a(n-1))) = a(n)$$

• Intervalo Continuo: Se demuestra que existe un intervalo continuo de desplazamientos $d \in I = [\frac{\sqrt{2}}{2}, 2(\sqrt{2}-1)]$ (longitud $\approx 0.121$) tal que para cualquier $d$ en este intervalo, la secuencia $a(n) = \lfloor n/\sqrt{2} + d \rfloor$ satisface la ecuación triple-anidada.
• Mecanismo de Absorción: Para $d \neq \sqrt{2}/2$, la ecuación original falla en ciertos puntos (el defecto $D(n)$ es 1), pero la estructura de la secuencia (específicamente, que $a(n+1)=a(n)$ en esos puntos) permite que la capa externa de la ecuación triple absorba el error.

C. Estructura Sturmiana y Palabras de Defecto

• Las diferencias primeras de la solución de Beatty forman una palabra Sturmiana de pendiente $1/\sqrt{2}$.
• El comportamiento del defecto en el extremo derecho del intervalo $I$ sigue una estructura sustitutiva compleja (conectada con la proporción plateada $1+\sqrt{2}$) y no es puramente Sturmiana, aunque su complejidad de factores es lineal.

D. Generalización a Ventanas de Tamaño $r$ (Sección 9)

El autor generaliza el resultado para cualquier tamaño de ventana $r$:

• Caso $r$ impar o no cuadrado perfecto: Se propone la solución $a_r(n) = \lfloor n/\sqrt{r} + \sqrt{r}/2 \rfloor$.
  • Se prueba rigurosamente para $r=2, 3, 5$ y cuadrados impares ($r=9, 25, \dots$).
  • Se verifica computacionalmente para todos los $r$ no cuadrados hasta 30 usando Walnut.
  • Conjetura 22: La identidad se cumple para todo $r$ no cuadrado.
• Caso $r$ cuadrado par ($r=(2m)^2$): La identidad falla sistemáticamente. En estos casos, la pendiente $c=1/(2m)$ es racional y la ecuación no admite solución de tipo Beatty inhomogénea que funcione para todo $n$.

4. Significado e Implicaciones

1. Riqueza de Soluciones Implícitas: El trabajo demuestra que las ecuaciones auto-referenciales de este tipo no tienen una única solución "natural". Existen al menos dos ramas fundamentales: una local/minimal (greedy, regular) y una global/irracional (Beatty, Sturmiana).
2. Conexión con Teoría de Números: El artículo vincula profundamente las secuencias definidas por ecuaciones funcionales con la teoría de sistemas de numeración de Ostrowski, palabras de Sturm y juegos de Wythoff (específicamente el juego de Wythoff con pendiente $\sqrt{2}$).
3. Métodos de Verificación: Destaca el poder de los demostradores automáticos (como Walnut) para certificar identidades en secuencias definidas por sistemas de numeración no estándar (Ostrowski), permitiendo probar casos que serían intratables analíticamente.
4. Nuevas Direcciones: Abre la puerta a la investigación sobre la unicidad de soluciones monótonas infinitas (¿son solo la greedy y la Beatty?) y la estructura de las "soluciones fantasma" que funcionan en intervalos finitos pero fallan globalmente.

En conclusión, este artículo redefine la comprensión de las secuencias casi Golomb, revelando una estructura subyacente rica basada en rotaciones irracionales y proporcionando una generalización robusta para múltiples tamaños de ventana, con excepciones precisas relacionadas con la aritmética de los cuadrados perfectos.