Asymptotic mean of digits of the $Q_s$-representation of the fractional part of a real number and related problems of fractal geometry and fractal analysis

El artículo introduce el concepto de media asintótica de dígitos en la representación $Q_s$ de números reales, generalizando la representación $s$-ádica, y estudia las propiedades topológicas, métricas y fractales de los conjuntos de números que carecen de dicha media o cuya media coincide con la frecuencia de sus dígitos.

Lo esencial

Imagina que los números reales (como 3.14159...) son como libros infinitos escritos en un idioma especial. Tradicionalmente, usamos el sistema decimal (base 10) para escribirlos, donde cada número tiene un "alfabeto" de 10 letras (0 al 9). Pero los autores de este artículo, Pratsiovytyi y Klymchuk, están jugando con un sistema más flexible y misterioso llamado representación Qs.

Aquí tienes una explicación sencilla de lo que hacen, usando analogías de la vida cotidiana:

1. El Nuevo Sistema de Escritura (La Representación Qs)

Imagina que en lugar de escribir un número usando siempre las mismas reglas (como en el decimal), tienes un "alfabeto" de $s$ símbolos (digamos, 0, 1, 2). Pero, en lugar de que cada símbolo tenga el mismo peso, algunos son más "pesados" que otros.

• La analogía: Piensa en una balanza. En el sistema normal, poner una manzana (símbolo 0) o una pera (símbolo 1) pesa lo mismo en la balanza. En este nuevo sistema Qs, la manzana podría pesar 0.1 y la pera 0.9.
• El resultado: Puedes escribir cualquier número entre 0 y 1 como una secuencia infinita de estos símbolos, donde el "peso" de cada símbolo cambia según las reglas del juego. Esto crea una geometría extraña y auto-similar (como un copo de nieve que se ve igual si lo acercas mucho).

2. El "Promedio Asintótico": La Temperatura del Número

El concepto central del artículo es el promedio asintótico de los dígitos.

• La analogía: Imagina que estás caminando por un sendero infinito y recoges piedras de diferentes colores (los dígitos).
  • Si recoges una piedra roja (0), una azul (1) y una verde (2), les asignamos un valor numérico.
  • El "promedio asintótico" es como calcular la temperatura promedio de todas las piedras que has recogido después de caminar un millón de kilómetros.
  • Si el número es "normal" (como un número bien comportado), la temperatura se estabiliza en un valor fijo. Por ejemplo, si recoges tantas rojas como azules, la temperatura se queda en un punto medio.

El problema: ¿Qué pasa si el número es "loco"? ¿Qué pasa si, después de un millón de kilómetros, de repente empiezas a recoger solo piedras rojas, y luego solo verdes? En ese caso, la temperatura nunca se estabiliza; sigue subiendo y bajando sin parar. A esos números les decimos que no tienen un promedio asintótico.

3. Los Números "Locos" (El Conjunto S)

Los autores estudian un grupo especial de números: aquellos que no tienen un promedio estable.

• La paradoja:
  • Son invisibles: Si miras el "mapa" de todos los números reales (la línea numérica), estos números "locos" ocupan cero espacio. Es decir, si eliges un número al azar, la probabilidad de que sea "loco" es cero. Son como un fantasma en una habitación llena de gente: están ahí, pero no ocupan espacio físico.
  • Son omnipresentes: Sin embargo, si te acercas a cualquier punto del mapa, por muy pequeño que sea, siempre encontrarás uno de estos números "locos". Están esparcidos por todas partes, como sal en la sopa.
  • Son fractales (Superfractales): Aunque no ocupan espacio, su estructura es increíblemente compleja. Tienen una dimensión fractal de 1, lo que significa que son tan intrincados y ramificados que llenan el espacio de una manera que desafía la intuición. Son como un encaje infinito que, aunque no pesa nada, es tan denso que no puedes atravesarlo sin tocarlo.

4. La Relación con la Frecuencia

El artículo también compara este "promedio" con la frecuencia de los dígitos.

• Frecuencia: ¿Qué porcentaje de veces aparece el símbolo '1' en el número?
• Promedio: ¿Cuál es el valor promedio de los símbolos?

En sistemas simples (como el binario, solo 0 y 1), el promedio y la frecuencia son casi lo mismo. Pero en sistemas más complejos, pueden comportarse de formas distintas. Los autores descubren que hay conjuntos de números donde el promedio existe pero es diferente a la frecuencia, o donde el promedio existe pero es igual a la frecuencia de un símbolo específico.

5. ¿Por qué importa esto? (Geometría Fractal)

El artículo no es solo sobre matemáticas aburridas; es sobre geometría del caos.

• Imagina que quieres construir una montaña (un fractal). Puedes hacerlo prohibiendo ciertos caminos (símbolos) o permitiendo solo ciertos patrones.
• Los autores usan esta idea de "promedio de dígitos" para definir y medir la complejidad de estas montañas matemáticas.
• Descubren que los números que no tienen un promedio estable forman una estructura tan compleja que su "tamaño" matemático (dimensión de Hausdorff) es máximo, a pesar de no ocupar espacio físico.

En Resumen

Los autores nos dicen que, aunque la mayoría de los números son "normales" y se comportan bien (tienen un promedio estable), existe un universo oculto de números "caóticos" que nunca se asientan. Estos números son invisibles para la medida tradicional (no ocupan espacio), pero son tan densos y complejos que están en todas partes y tienen una belleza fractal extraordinaria.

Es como si el universo de los números tuviera una "sombra" que, aunque no pesa nada, es tan compleja que define la estructura misma de la realidad matemática.

Resumen técnico

Resumen Técnico: Media Asintótica de Dígitos en la Representación $Q_s$ y Problemas Relacionados

Autores: M. V. Pratsiovytyi y S. O. Klymchuk
Fuente: Scientific Journal of M. P. Drahomanov National Pedagogical University (2011), arXiv:2603.03395v2.

1. Planteamiento del Problema

El artículo aborda la necesidad de extender los conceptos clásicos de la teoría de números y la geometría fractal a sistemas de numeración no tradicionales. Específicamente, los autores se centran en la representación $Q_s$ de números reales, una generalización de la representación $s$-ádica clásica.

El problema central es definir y estudiar las propiedades de la media asintótica de los dígitos de un número real en su representación $Q_s$. A diferencia de la frecuencia de dígitos (que mide la proporción de aparición de un símbolo específico), la media asintótica considera el valor promedio de los dígitos a medida que la longitud de la expansión tiende a infinito.

Los autores identifican que:

1. La media asintótica no existe para todos los números reales (el conjunto donde no existe es denso y tiene medida de Lebesgue cero, pero dimensión fractal máxima).
2. Existe una relación compleja entre la media asintótica y las frecuencias de los dígitos, especialmente en sistemas donde los pesos de los dígitos no son uniformes.
3. Se requiere un análisis topológico, métrico y fractal de los conjuntos de números que poseen o no poseen esta media, así como de aquellos donde la media coincide con la frecuencia de un dígito específico.

2. Metodología

La investigación se basa en un enfoque interdisciplinario que combina:

• Teoría de Sistemas de Numeración: Uso de la representación $Q_s$, definida por una secuencia de pesos $Q_s = \{q_0, \dots, q_{s-1}\}$ donde $q_i > 0$ y $\sum q_i = 1$. Un número $x \in [0, 1]$ se representa como:
  $$x = \beta_{\alpha_1} + \sum_{k=2}^{\infty} \beta_{\alpha_k} \prod_{j=1}^{k-1} q_{\alpha_j}$$
  donde $\alpha_k \in \{0, \dots, s-1\}$ son los dígitos y $\beta_j$ son sumas parciales de los pesos.
• Análisis Asintótico: Definición formal de la media asintótica $r(x)$ como el límite de la media aritmética de los primeros $n$ dígitos:
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^{n} \alpha_i(x)$$
• Teoría de la Medida y Probabilidad: Uso de la medida de Lebesgue para determinar la "tamaño" de los conjuntos (medida cero vs. medida completa) y el concepto de números normales (donde todas las frecuencias de dígitos son iguales).
• Geometría Fractal: Cálculo de la dimensión de Hausdorff-Besicovitch ($\alpha_0$) para caracterizar la complejidad de los conjuntos definidos por condiciones sobre la media asintótica y las frecuencias. Se utilizan conjuntos de tipo Besicovitch-Eggleston como herramientas de comparación.

3. Contribuciones Clave

A. Definición de la Media Asintótica

Los autores introducen formalmente el concepto de media asistótica $r(x)$ para la representación $Q_s$. Establecen que:

• Si existen las frecuencias asintóticas $\nu_i(x)$ de todos los dígitos, entonces la media asintótica existe y cumple:
  $$r(x) = \sum_{i=0}^{s-1} i \cdot \nu_i(x)$$
• En el sistema binario ($s=2$), la media asintótica coincide exactamente con la frecuencia del dígito 1.

B. Estudio del Conjunto de No Existencia ($S$)

Se define el conjunto $S = \{x : r(x) \text{ no existe}\}$. Los autores demuestran que este conjunto posee propiedades extremas:

• Topología: Es un conjunto continuo, denso en todo el intervalo $[0, 1]$ y discontinuo en todo punto.
• Medida: Tiene medida de Lebesgue cero ($\lambda(S) = 0$), ya que está contenido en el conjunto de números anormales.
• Fractalidad: Es "superfractal", es decir, su dimensión de Hausdorff-Besicovitch es máxima: $\alpha_0(S) = 1$. Esto indica que, aunque es "pequeño" en términos de medida, es "grande" en términos de complejidad geométrica.

C. Análisis de Conjuntos de Igualdad ($M_i$)

El estudio se profundiza en el caso $s=3$ (base 3), analizando el conjunto $M = \bigcup M_i$ donde la media asintótica coincide con la frecuencia de un dígito específico ($r(x) = \nu_i(x)$).

1. Conjunto $M_0$ ($r(x) = \nu_0(x)$):

   • Impone la condición $2\nu_1 + 3\nu_2 = 1$.
   • Es continuo, denso y de medida cero.
   • Su dimensión de Hausdorff-Besicovitch es aproximadamente 0.8733, calculada mediante la maximización de una función de entropía bajo restricciones lineales.

2. Conjunto $M_1$ ($r(x) = \nu_1(x)$):

   • Impone la condición $\nu_2 = 0$ y $\nu_1 = 1 - \nu_0$.
   • Su dimensión de Hausdorff-Besicovitch es $\log_2 3 \approx 1.58$ (en el contexto de la base 3, esto refleja la dimensión relativa al espacio de Cantor).

3. Conjunto $M_2$ ($r(x) = \nu_2(x)$):

   • Impone $\nu_1 + \nu_2 = 0$, lo que fuerza $\nu_1 = \nu_2 = 0$ y $\nu_0 = 1$.
   • Este conjunto corresponde a números que solo usan el dígito 0.
   • Su dimensión de Hausdorff-Besicovitch es 0, clasificándose como un conjunto "anomalamente fractal" (denso pero de dimensión cero).

4. Resultados Principales

• Existencia y No Existencia: Se confirma que la función de media asintótica está definida en un subconjunto denso de $[0, 1]$, pero no existe en otro subconjunto denso.
• Relación con la Normalidad: Los números normales (donde todas las frecuencias son $1/s$) tienen una media asintótica bien definida. Sin embargo, la no existencia de la media asintótica es una propiedad de los números anormales, pero no todos los números anormales carecen de media asintótica.
• Dimensión Fractal: Se demuestra que los conjuntos donde la media asintótica no existe tienen la máxima dimensión fractal posible ($\alpha_0 = 1$), lo que sugiere que la "irregularidad" en la distribución de dígitos es la norma geométrica, aunque sea la excepción en términos de medida.
• Cálculo de Dimensiones Específicas: Se proporcionan valores numéricos precisos para las dimensiones de los conjuntos donde la media coincide con frecuencias específicas en base 3, demostrando cómo las restricciones algebraicas sobre las frecuencias alteran la dimensión fractal del conjunto resultante.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Generalización de la Teoría de Números: Extiende los resultados clásicos de Borel y Eggleston sobre frecuencias de dígitos a un concepto más general (la media asintótica) en sistemas de numeración no estándar ($Q_s$).
2. Puente entre Análisis y Geometría Fractal: Proporciona un marco riguroso para definir objetos matemáticos con propiedades fractales utilizando condiciones analíticas simples sobre la representación de números.
3. Nuevas Clases de Conjuntos: Identifica y caracteriza nuevas clases de conjuntos (como los "superfractales" de medida cero) que son fundamentales para la teoría de distribuciones singulares y la geometría de conjuntos de Cantor generalizados.
4. Aplicaciones Potenciales: La comprensión de la distribución de dígitos y sus medias asintóticas tiene implicaciones en la teoría de la información, la criptografía (generación de secuencias pseudoaleatorias) y el análisis de sistemas dinámicos con atractores fractales.

En resumen, el artículo establece una base teórica sólida para el estudio de la "complejidad" de los números reales a través de sus representaciones en sistemas de numeración generalizados, vinculando profundamente la teoría de la medida con la geometría fractal.