Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number

El artículo estudia las transformaciones del intervalo $[0;1)$ y las funciones que preservan la media asintótica de los dígitos en la representación $s$-ádica de un número, especificando las condiciones necesarias y suficientes para que una transformación pertenezca a esta clase.

Lo esencial

Imagina que cada número entre 0 y 1 es como una cinta de casete infinita o una historia interminable escrita con solo tres letras posibles: 0, 1 y 2. Esta es la "representación ternaria" de los números.

El artículo que presentas es como un manual de instrucciones para un grupo de magos matemáticos que juegan con estas cintas. Su objetivo es descubrir qué trucos (transformaciones) pueden hacer con la cinta sin cambiar ciertas "frecuencias" o "promedios" de las letras que la componen.

Aquí tienes la explicación de los conceptos clave, usando analogías sencillas:

1. El Juego de las Letras (Dígitos y Frecuencias)

Imagina que tienes una cinta infinita llena de 0s, 1s y 2s.

• Frecuencia de un dígito: Si miras los primeros 100 números, ¿cuántos son 0? ¿Cuántos son 1? Si la cinta es muy larga y "normal", verás que el 0, el 1 y el 2 aparecen aproximadamente un tercio de las veces cada uno. Eso es la frecuencia.
• El Promedio Asintótico: Es como calcular el "peso promedio" de la cinta. Si le damos un valor de 0 al cero, 1 al uno y 2 al dos, y sumamos todos los valores y los dividimos por la cantidad total, obtenemos un número. Si tienes muchos 2s, el promedio subirá. Si tienes muchos 0s, bajará.

2. Los Magos que Conservan la Historia (Preservar Frecuencias)

Algunos magos son muy estrictos. Si les das una cinta, ellos pueden reordenar las letras, pero no pueden cambiar la proporción final de 0s, 1s y 2s.

• El truco: Pueden intercambiar el primer y segundo dígito, o mover bloques enteros, pero al final, si cuentas todo el infinito, la proporción de letras debe ser exactamente la misma que al principio.
• El grupo de magos: El paper demuestra que estos magos forman un "club" (un grupo matemático). Si el Magos A hace un truco y luego el Magos B hace otro, el resultado final sigue siendo un truco válido. Sin embargo, el orden importa: hacer el truco de A y luego de B no es lo mismo que hacer B y luego A.

3. El Mago que Engaña a la Dimensionalidad (Teorema 1)

Aquí hay un truco interesante. El paper muestra que existen magos que conservan las frecuencias (la proporción de letras) pero destruyen la "forma" o complejidad del conjunto de números.

• La analogía: Imagina que tienes una caja llena de arena de colores (un conjunto fractal muy complejo). Un mago echa mano a la caja y saca una sola gota de arena que tiene exactamente la misma mezcla de colores que toda la caja.
• El resultado: La "frecuencia" de colores en esa gota es perfecta (igual que en la caja), pero la gota es solo un punto. La "complejidad" (dimensión fractal) de la caja era enorme, pero la de la gota es cero. El mago conservó el promedio de colores, pero eliminó toda la estructura.

4. El Promedio vs. La Estructura (Teorema 2)

Este es el corazón del descubrimiento para la base 3 (ternaria).

• La pregunta: ¿Puede un mago cambiar la proporción de letras (más 0s, menos 2s) pero mantener el promedio total igual?
• La respuesta del paper: ¡No! En el sistema de base 3, es imposible.
• La analogía: Imagina que tienes una balanza. El "promedio" es el peso total en la balanza. Los dígitos 0, 1 y 2 son pesas de diferentes tamaños.
  • Si el promedio es 0, significa que todas las pesas deben ser 0. No puedes tener ni un solo 1 o 2.
  • Si el promedio es 2, significa que todas las pesas deben ser 2.
  • Si el promedio es 1 (el caso normal), la única forma de mantener ese promedio exacto en todo el infinito es manteniendo la proporción exacta de 0s, 1s y 2s.
  • Conclusión: En este juego específico, si quieres mantener el promedio, estás obligado a mantener también la frecuencia de cada letra. No puedes hacer trampa cambiando una letra por otra sin alterar el promedio.

5. El Magos que Juegan con la "Casi" (Preservación casi en todas partes)

El paper también explora qué pasa si no somos tan estrictos y solo nos importa que las reglas se cumplan en "casi todos" los casos (ignorando casos rarísimos).

• El truco: Crean un mago que toma una cinta normal y cambia sistemáticamente ciertos números (por ejemplo, cambia un 1 por un 0 cada 7 veces, y el siguiente 1 por un 2).
• El resultado: Este mago altera las frecuencias (ya no hay exactamente un tercio de cada uno), pero el promedio total sigue siendo el mismo. Es como si mezclaras un poco de pintura roja y azul en un balde de blanco: el color cambia ligeramente, pero el "brillo" promedio se mantiene.
• La sorpresa: Hay una cantidad infinitamente infinita (hipercontinuo) de formas diferentes de hacer este truco.

6. El Mago del Caos (Cuando las frecuencias no existen)

Finalmente, construyen un mago que hace algo aún más loco: crea una cinta donde nunca se puede definir la frecuencia de las letras (la proporción de 0s, 1s y 2s oscila para siempre y nunca se estabiliza), pero, milagrosamente, el promedio sí se mantiene estable.

• La analogía: Imagina una fiesta donde la gente entra y sale a ritmos locos y caóticos. Nunca sabes cuántos hombres o mujeres hay en la sala en un momento dado (no hay frecuencia estable), pero si calculas el "peso promedio" de los invitados, siempre da exactamente 70 kg. Es un caos organizado que mantiene un equilibrio global.

En Resumen

Este paper es como un estudio de física para los números. Descubre las leyes que gobiernan cómo podemos reorganizar los números sin cambiar su "esencia" estadística.

• Descubrimiento principal: En la base 3, el promedio de los dígitos y la frecuencia de los dígitos están tan atados entre sí que, si quieres mantener uno, tienes que mantener el otro (a menos que aceptes casos raros o cambios casi imperceptibles).
• Metáfora final: Es como intentar cambiar la receta de un pastel (la frecuencia de ingredientes) sin cambiar su sabor total (el promedio). En este mundo matemático específico, si cambias la receta, el sabor cambia inevitablemente, a menos que seas un mago muy sutil que solo altera la receta en momentos muy específicos y raros.

Resumen técnico

Resumen Técnico: Transformaciones y Funciones que Preservan la Media Asintótica de Dígitos

1. Planteamiento del Problema

El artículo aborda el estudio de las transformaciones y funciones definidas en el intervalo $[0, 1)$ que actúan sobre la representación $s$-ádica (específicamente ternaria, $s=3$) de los números reales. El objetivo central es caracterizar aquellas funciones que preservan la media asintótica de los dígitos, definida como:
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^{n} \alpha_i(x)$$
donde $\alpha_i(x)$ son los dígitos de la expansión $s$-ádica de $x$.

El problema se sitúa en la intersección entre la teoría de números, la teoría ergódica y la geometría fractal. Se busca distinguir entre:

1. Funciones que preservan las frecuencias de los dígitos ($\nu_i(x)$).
2. Funciones que preservan la media asintótica ($r(x)$) pero no necesariamente las frecuencias individuales.
3. La existencia de tales funciones tanto en todos los puntos como "casi en todas partes" (en el sentido de la medida de Lebesgue).

2. Metodología

Los autores emplean un enfoque que combina:

• Teoría de Grupos: Análisis de las transformaciones del intervalo como un grupo bajo la composición.
• Teoría de la Medida y Probabilidad: Uso de la medida de Lebesgue y conceptos de números normales (conjunto $H$).
• Geometría Fractal: Utilización de conjuntos de Besicovitch-Eggleston y la dimensión de Hausdorff-Besicovitch para analizar la estructura de los conjuntos donde se cumplen ciertas propiedades de frecuencias.
• Construcción Analítica: Definición explícita de funciones mediante manipulación de secuencias de dígitos (permutaciones, inserciones, sustituciones condicionales) y demostración de límites asintóticos utilizando el Teorema de Stolz y estimaciones de sumas parciales.

3. Contribuciones Clave y Resultados

A. Preservación de Frecuencias de Dígitos

• Se define formalmente qué significa que una transformación preserve las frecuencias de los dígitos ($\nu_i(f(x)) = \nu_i(x)$).
• Lema 1: Se demuestra que el conjunto de todas las transformaciones del intervalo $[0, 1)$ que preservan las frecuencias de todos los dígitos forma un grupo no conmutativo bajo la operación de composición.
• Teorema 1: Se demuestra que existen funciones que preservan las frecuencias de los dígitos pero no preservan la dimensión fractal de Hausdorff-Besicovitch. Se construye una función que mapea un conjunto de Besicovitch-Eggleston (que tiene dimensión fractal positiva) a un único punto (dimensión 0), manteniendo las frecuencias de los dígitos en el límite.

B. Relación entre Media Asintótica y Frecuencias (Caso Ternario)

• En el sistema ternario ($s=3$), la media asintótica se relaciona con las frecuencias mediante: $r(x) = 1\cdot\nu_1(x) + 2\cdot\nu_2(x)$.
• Teorema 2 (Resultado Fundamental): Para el sistema ternario, no existe ninguna función $f: [0, 1) \to [0, 1)$ que preserve la media asintótica de los dígitos ($r(x) = r(f(x))$) en el conjunto $\Theta$ (donde existen las frecuencias) sin también preservar las frecuencias individuales de todos los dígitos.
  • Implicación: En el caso ternario, la preservación de la media asintótica implica forzosamente la preservación de las frecuencias de los dígitos 0, 1 y 2. No hay "libertad" para alterar las frecuencias manteniendo la media constante en este sistema específico.

C. Preservación "Casi en Todas Partes" (Almost Everywhere)

• El artículo explora si es posible encontrar funciones que preserven la media asintótica pero alteren las frecuencias en un conjunto de medida cero (o viceversa).
• Teorema 3: Se construye una función $f$ definida sobre los números normales ($H$) que altera las frecuencias de los dígitos (cambiando $\nu_0, \nu_1, \nu_2$ de $1/3$a$8/21, 5/21, 8/21$respectivamente) pero **preserva la media asintótica** ($r(f(x)) = 1 = r(x)$).
• Esto demuestra que, aunque el Teorema 2 prohíbe tal comportamiento en el conjunto de existencia de frecuencias, es posible lograrlo "casi en todas partes" (en el sentido de Lebesgue) si se permite que la función actúe de manera específica sobre los números normales.
• Se establece que el conjunto de tales funciones tiene la cardinalidad del hipercontinuo.

D. Preservación de la Media sin Existencia de Frecuencias

• Sección 6: Se construye un ejemplo de función $f(x)$ que preserva la media asintótica ($r(f(x)) = r(x) = 1$) para todo $x \in H$, pero tal que las frecuencias de los dígitos no existen para la imagen $f(x)$.
• La construcción utiliza secuencias de bloques de dígitos con longitudes basadas en factoriales ($1!, 2!, \dots$) y sustituciones condicionales que oscilan las frecuencias parciales de manera que el límite no converge, mientras que el promedio ponderado (la media) sí converge a 1.

4. Significado e Impacto

• Rigidez en el Sistema Ternario: El resultado del Teorema 2 es crucial, ya que establece una rigidez fuerte en el sistema ternario: la media asintótica es un invariante tan fuerte que dicta completamente las frecuencias de los dígitos, a diferencia de lo que podría esperarse en sistemas más generales o en contextos de medida nula.
• Distinción entre Propiedades Globales y Locales: El trabajo clarifica la distinción entre preservar propiedades en todo el dominio (donde la rigidez es alta) y preservarlas casi en todas partes (donde se puede manipular la estructura de frecuencias sin afectar el promedio global).
• Aplicaciones en Fractales: Los resultados tienen implicaciones para la construcción de conjuntos fractales con propiedades métricas específicas y para el estudio de distribuciones de probabilidad singulares asociadas a la representación de números.
• Nuevas Clases de Funciones: La construcción de funciones que preservan la media pero destruyen la existencia de frecuencias abre nuevas vías para el estudio de la complejidad en la representación de números y la teoría de la medida.

En conclusión, el artículo proporciona una caracterización completa de las transformaciones que preservan la media asintótica en el sistema ternario, revelando que, aunque localmente (en el conjunto de frecuencias existentes) la media determina las frecuencias, globalmente (casi en todas partes) existe una gran flexibilidad para construir funciones que alteren la estructura de frecuencias manteniendo el promedio invariante.