Ratio of sum of digits functions in two bases

Imagina que eres un detective digital tratando de descifrar un código oculto dentro de los números. En el mundo de las matemáticas, cada número puede escribirse en diferentes "lenguajes" llamados bases. La más común es la base 10, donde usamos dígitos del 0 al 9. Pero también podrías escribir números en base 2 (usando solo 0s y 1s) o base 3 (usando 0, 1 y 2). Piensa en una base como un conjunto diferente de bloques de construcción: en la base 10, un número es una torre de bloques donde cada nivel representa una potencia de 10; en la base 2, es una torre de potencias de 2.

Imagina que tienes una herramienta especial que cuenta el valor total de todos los bloques en la torre de un número. Los matemáticos llaman a esto la "suma de los dígitos". Si tomas el número 19, en base 10 es $1 + 9 = 10$. Pero si escribes 19 en base 2, se ve como $10011_2$, y la suma de sus dígitos es $1+0+0+1+1 = 3$. La gran pregunta que ha desconcertado a los matemáticos durante décadas es: ¿Qué sucede si comparas estas sumas a través de dos lenguajes completamente diferentes? Si eliges dos bases que no comparten una relación matemática simple (como 2 y 3, o 5 y 7), ¿las sumas de sus dígitos alguna vez coinciden perfectamente? ¿Ocurre alguna vez que una sea exactamente el doble de la otra? Esto no es solo un juego de números; toca misterios profundos sobre cómo la aleatoriedad y el orden coexisten en las matemáticas, ayudándonos a comprender la estructura oculta de los componentes más básicos del universo.

Este artículo, escrito por Pascal Jelinek, se sumerge directamente en ese misterio. El autor demuestra una nueva y poderosa regla sobre cómo se comportan estas sumas de dígitos cuando se cambia entre dos bases "independientes". Antes de esto, sabíamos que la razón de estas sumas podía acercarse arbitrariamente a cualquier número positivo, pero no sabíamos si podían alcanzar exactamente cada número racional (como 1/2, 3/4 o 7/11). Jelinek demuestra que lo hacen. De hecho, para cualquier par de bases que sean multiplicativamente independientes (es decir, una no es simplemente una potencia de la otra, como 2 y 4), y para cualquier razón objetivo que puedas nombrar, existen infinitos números donde la suma de los dígitos en la primera base dividida por la suma de los dígitos en la segunda base es igual a esa razón exactamente.

El artículo no solo dice "esto sucede"; proporciona una prueba matemática rigurosa de que esto ocurre infinitamente a menudo. Incluso ofrece una fórmula para estimar cuántos de esos números puedes encontrar por debajo de un cierto tamaño, mostrando que, aunque pueden ser raros, definitivamente están ahí. El autor también resuelve la otra cara de la moneda: ¿qué pasa si las bases están relacionadas, como la base 4 y la base 16? En ese caso, el artículo demuestra que la razón solo puede caer dentro de un rango específico y limitado, y describe exactamente qué razones son posibles y cuáles son imposibles.

Para visualizar esto, imagina dos tipos diferentes de dados. Un dado tiene caras numeradas del 0 al 9 (base 10), y otro tiene caras del 0 al 2 (base 3). Lanzas un número de veces para construir un número. La "suma de los dígitos" es simplemente la puntuación total que obtienes. El trabajo de Jelinek es como demostrar que, sin importar qué razón de puntuación quieras lograr entre los dos dados (por ejemplo, que la puntuación de la base 10 sea siempre 1.5 veces la de la base 3), existe una secuencia infinita de lanzamientos que hará que esa razón exacta ocurra. También demuestra que si los dados están de alguna manera vinculados (como si uno fuera simplemente una versión con un diseño diferente del otro), no puedes obtener cualquier razón; estás atrapado con un conjunto específico de resultados.

La prueba es una clase magistral en el uso de "progresiones aritméticas". Piensa en esto como una línea de números donde cada paso es del mismo tamaño, como 5, 10, 15, 20. El autor muestra que si eliges el punto de partida y el tamaño de paso adecuados, las sumas de los dígitos a lo largo de esa línea se comportan de una manera muy predecible, casi mágica. Se distribuyen uniformemente a través de todos los restos posibles, permitiendo al autor "sintonizar" los números hasta que la razón alcanza el objetivo perfectamente. Este método extiende trabajos previos que solo resolvían el problema para casos específicos (como la base 2 y la base 3) a una regla general que funciona para casi cualquier par de bases que puedas imaginar.

En el caso de las bases dependientes (como la base 4 y la base 16), el artículo actúa como un estricto guardián. Demuestra que no se puede lograr cualquier razón. Por ejemplo, si estás comparando la base $b^k$ y la base $b^\ell$, la razón de las sumas de los dígitos está atrapada entre $1/(b^\ell - 1)$ y $b^k - 1$. El autor demuestra que cada número racional dentro de esta trampa es alcanzable infinitas veces, pero nada fuera de ella es posible. Esto nos da un mapa completo del territorio: ahora sabemos exactamente qué razones son posibles y cuáles están prohibidas, dependiendo de la relación entre las dos bases.

Entonces, ¿cuál es la conclusión? Si eliges dos bases que son "extrañas" matemáticamente entre sí, el universo de los números es lo suficientemente rico como para contener un suministro infinito de números que satisfagan cualquier razón de suma de dígitos que puedas soñar. Si las bases son "parientes", las posibilidades son más limitadas, pero siguen siendo perfectamente predecibles. El trabajo de Jelinek convierte una vaga esperanza de que "tal vez estas razones existen" en un hecho concreto y probado, completando las piezas faltantes de un rompecabezas que los matemáticos han intentado resolver durante años. Es un recordatorio de que, incluso en el rígido mundo de los enteros, hay una sorprendente cantidad de flexibilidad y variedad infinita esperando ser descubierta.