Positive Lower Density for Hofstadter's $ab-1$ Problem

El Juego Infinito de la Construcción de Números

Imagine un patio de recreo vasto y sin fin donde los números son los juguetes. En el mundo de las matemáticas, específicamente en una rama llamada teoría de números, a los investigadores les encanta jugar juegos con reglas que generan nuevos números a partir de otros más antiguos. Uno de los tipos de juegos más famosos involucra la "recurrencia" o "renovación". Piense en esto como un juego de sillas musicales, pero en lugar de personas, son números, y en lugar de una silla, es un lugar específico en una recta numérica. La gran pregunta que los matemáticos se han estado haciendo durante décadas es: si sigues jugando este juego para siempre, ¿los números que creas se distribuyen uniformemente por todo el patio de recreo, o se amontonan en un rincón, dejando enormes espacios vacíos?

Este artículo en particular aborda un rompecabezas que comenzó con una regla simple: comienza con los números 2 y 3. Luego, toma cualquier par de números diferentes que ya tengas, multiplícalos y resta 1. Si el resultado es un número entero, añádelo a tu colección. Repite esto para siempre. La pregunta, planteada por el legendario matemático Paul Erdős (quien la escuchó del autor de las secuencias "Hofstadter's Figure-Figure"), es si esta colección de números es lo suficientemente "gruesa". ¿Tiene una "densidad inferior positiva"? En lenguaje sencillo, ¿el conjunto de números que generas termina llenando un porcentaje significativo y no nulo de la recta numérica, sin importar qué tan lejos te dirijas? Durante mucho tiempo, nadie sabía si la respuesta era sí o no.

La Solución: Un Sistema de Tráfico para Números

En este artículo, Samuel Korsky demuestra que la respuesta es sí. El conjunto de números generados por esta regla tiene, de hecho, una densidad inferior positiva. Esto significa que, a medida que observas rangos de números cada vez más grandes, siempre encontrarás un trozo garantizado y no nulo de ellos perteneciendo a este conjunto especial. No son solo unos pocos números dispersos; son abundantes.

Para entender cómo el autor resolvió esto, imagine el conjunto de números como una ciudad, y la regla "multiplicar y restar 1" como un conjunto de calles de un solo sentido. El objetivo del autor era demostrar que hay tantas formas diferentes de conducir a través de esta ciudad que no puedes evitar golpear muchos destinos. Sin embargo, hay un inconveniente: la regla dice que solo puedes multiplicar números distintos. Si intentas multiplicar un número por sí mismo, la regla se rompe. Esto es como una ley de tráfico que dice que no puedes conducir en una carretera si ya has estado en ese mismo segmento de carretera en el mismo viaje.

La estrategia del autor es construir un "sistema de control de tráfico" utilizando un mapa dividido en 20 zonas específicas (intervalos). Él asigna diferentes "multiplicadores" (como 2, 3, 5, 9, 14) a estas zonas. Cuando un número cae en una zona, el sistema le indica qué multiplicador usar a continuación. La genialidad de la prueba reside en cómo se eligen estos multiplicadores. El autor establece cuatro "patrones de tráfico" (asignaciones) diferentes. Al cambiar entre estos patrones basándose en el estado actual del sistema, asegura que los números no se queden atascados o violen la regla de "distinción".

Piense en esto como un juego de "Sigue al Líder" donde el líder intenta mantener un equilibrio perfecto. El autor rastrea los "ingredientes" de los números (específicamente las potencias de los números primos 2, 3, 5 y 7). Él quiere que la receta se mantenga equilibrada para que los números crezcan de una manera muy específica y predecible. Utiliza un bucle de retroalimentación: si la receta se vuelve demasiado pesada en el número 2, el sistema cambia a un patrón que añade más 3 o 5 para equilibrarlo. Esto mantiene la "pendiente" de su crecimiento (qué tan rápido se hacen grandes los números) fijada en un objetivo específico.

El artículo muestra que, mediante la gestión cuidadosa de estos cambios, el sistema crea una enorme cantidad de caminos únicos que todos terminan en la misma "pendiente". Debido a que los caminos son únicos y el sistema está diseñado para regresar a su punto de partida una y otra vez (un concepto llamado "recurrencia positiva"), la matemática demuestra que se generan infinitos números distintos.

Crucialmente, el autor demuestra que estos caminos son distintos a pesar de que la matemática subyacente permite algunos solapamientos (el sistema no es "libre" en el sentido matemático estricto). Lo hace demostrando que, si se rastrean los caminos hacia atrás en su mapa de 20 zonas, estos nunca se cruzan hasta que llegan al final. Esto garantiza que cada camino produzca un número final único.

El remate final es un argumento de conteo. El autor calcula que, para cada "paso" en este proceso, la cantidad de caminos válidos crece a un ritmo que coincide con el crecimiento de los números mismos. Demuestra que para un número grande específico $x$, la cantidad de su conjunto especial encontrado dentro de $1$a$x$ es al menos $c \times x$, donde $c$ es una constante mayor que cero. En otras palabras, no importa cuánto cuentes, siempre encontrarás un flujo constante de estos números.

El artículo no solo sugiere que esto es probable; proporciona una prueba matemática rigurosa y paso a paso. Utiliza una combinación de probabilidad (para mostrar que el sistema sigue regresando a su inicio), geometría (para mapear los intervalos) y teoría de números (para contar sus factores primos). El resultado es una respuesta definitiva a una pregunta de décadas: el conjunto no es disperso; es denso, llenando la recta numérica con una presencia positiva y confiable.