🔢 mathematics

Positive dyadic density for rational weighted binary expansions

El artículo demuestra que si una expansión binaria ponderada $\eta_S = \sum_{n\in S} n 2^{-n}$ es racional, entonces el conjunto de índices $S$ debe ocupar una proporción positiva de cada bloque diádico suficientemente grande, un resultado que resuelve el Problema 260 de Erdős al establecer una obstrucción de densidad local a la racionalidad mediante un análisis de estados de acarreo y ventanas de brecha.

Autores originales: Han Wang

Publicado 2026-07-17

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Han Wang

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective intentando resolver un misterio sobre los números. En el mundo de las matemáticas, existe un club especial llamado "Números Racionales". Estos son números que pueden escribirse como fracciones simples, como 1/2 o 3/4. Son los números "ordenados" del mundo matemático. Luego están los "Números Irracionales", como $\pi$ o $\sqrt{2}$ . Estos son los números desordenados, interminables y sin patrón que continúan para siempre sin establecer una secuencia.

Durante mucho tiempo, los matemáticos han intentado averiguar si una suma específica y complicada de números pertenece al club "ordenado" o al "desordenado". Imagina que tienes una máquina que suma una lista de números. Si la máquina se detiene y te da una fracción limpia, es racional. Si continúa para siempre sin establecer nunca un patrón que se repita, es irracional. La gran pregunta es: ¿Podemos predecir la respuesta simplemente mirando dónde se encuentran colocados los números en la lista? Si la lista es muy dispersa (es decir, los números están muy separados), ¿obliga eso a que la suma final sea desordenada (irracional)? Este es el corazón de un rompecabezas famoso conocido como el Problema 260 de Erdős, nombrado así por el legendario matemático Paul Erdős, a quien le encantaba hacer preguntas sobre cómo se comportan los números cuando están dispersos.

Entonces, conoce a un nuevo detective llamado Han Wang. En un artículo reciente, Wang aborda una versión específica de este rompecabezas que involucra "expansiones binarias ponderadas". Piensa en esto como una forma especial de construir números usando potencias de dos (como 1/2, 1/4, 1/8), pero con un giro: cada pieza tiene un peso basado en su posición. El trabajo de Wang es demostrar que, si intentas construir una fracción "ordenada" (un número racional) usando estas piezas ponderadas, las piezas no pueden estar demasiado separadas. De hecho, deben estar agrupadas de una manera muy específica y densa. Si las piezas están demasiado dispersas, la suma debe ser desordenada (irracional). Wang no solo lo supone; construye una fortaleza matemática para probarlo más allá de toda duda.

El Misterio de los Espacios Dispersos

Desglosemos la investigación de Wang. Imagina que estás construyendo una pared con ladrillos. Cada ladrillo representa un número en tu lista. Para hacer una pared "ordenada" (un número racional), los ladrillos tienen que encajar perfectamente. Wang descubrió una regla oculta: si tu pared está hecha de ladrillos racionales, no puedes tener huecos enormes entre ellos.

Él demostró que en cualquier sección lo suficientemente grande de tu pared, los ladrillos deben ocupar una "proporción positiva" del espacio. Esto significa que, sin importar qué tan lejos mires a lo largo de la pared, siempre encontrarás una cierta cantidad mínima de ladrillos. No puedes tener una sección de la pared que esté casi completamente vacía. Si intentas construir una pared donde los ladrillos estén muy separados (una secuencia "dispersa"), las matemáticas obligan a la pared a colapsar en una forma desordenada e irracional.

El Kit de Herramientas del Detective: Acarreos y Ventanas

¿Cómo probó esto Wang? Utilizó un truco ingenioso con los "acarreos" (o llevadas), que es un concepto que quizás conozcas de cuando sumas números en papel. Cuando sumas 5 y 7, obtienes 12. Escribes el 2 y "llevas" el 1 a la siguiente columna. En el mundo matemático de Wang, estos acarreos son como pequeños mensajeros que viajan por la línea de números.

Wang demostró que, si la suma final es una fracción ordenada, estos mensajeros de acarreo tienen que seguir reglas estrictas. No pueden deambular demasiado lejos; están limitados por un límite simple. Esta es la primera pista.

La segunda parte de la investigación involucra mirar "ventanas". Imagina que deslizas un marco de ventana sobre tu pared de ladrillos. Dentro de esta ventana, cuentas cuántos ladrillos ves. Wang observó qué sucede si intentas hacer una ventana que esté casi vacía (un bloque "disperso"). Descubrió que si tienes una ventana con muy pocos ladrillos, los "mensajeros de acarreo" se confunden. Comienzan a amontonarse de una manera que crea un desequilibrio enorme e imposible.

Para atrapar este desequilibrio, Wang utilizó un método de "exceso integrado". Piensa en ello como medir cuánta agua se derrama de un cubo si lo inclinas. Si los ladrillos son demasiado dispersos, la "agua" (el error matemático) se derrama tanto que rompe las leyes de la física para los números racionales. La matemática simplemente no puede equilibrar la ecuación si los huecos son demasiado grandes.

La Línea Afín: Una Pista de Tren Mágica

Aquí es donde la historia se pone realmente genial. Wang notó que cuando estos "mensajeros de acarreo" repiten un patrón de huecos, se alinean perfectamente en una línea recta. En matemáticas, esto se llama una "línea afín". Imagina una pista de tren mágica donde los trenes (los números) deben viajar. Si los espacios entre las paradas son demasiado largos y regulares, los trenes se ven obligados a seguir una única vía.

Wang contó cuántos trenes podrían caber en esta pista. Descubrió que si los huecos son dispersos, la pista se llena tanto de escenarios imposibles que crea una contradicción. Es como intentar meter a demasiada gente en una habitación que es demasiado pequeña; eventualmente, alguien tiene que romper las reglas. En este caso, la regla es que la suma debe ser una fracción ordenada. Como las matemáticas se rompen, la suma no puede ser ordenada. Debe ser irracional.

El Veredicto

El artículo de Wang es una prueba completa. No se limitó a simular esto en una computadora o a sugerir que podría ser cierto; construyó un argumento lógico que no deja lugar a la duda. Demostró que para cualquier lista infinita de números donde los huecos crecen lo suficiente (específicamente, donde el n-ésimo número es mucho mayor que n), la suma de la serie $\sum \frac{a_n}{2^{a_n}}$ es garantizadamente irracional.

Esto resuelve una versión específica y de larga data del Problema 260 de Erdős. Nos dice que los números "ordenados" tienen un requisito secreto: necesitan un suministro constante de ingredientes. No puedes hacer una fracción perfecta con una receta donde los ingredientes están esparcidos demasiado lejos. Si los ingredientes son demasiado dispersos, el resultado es inevitablemente desordenado e infinito.

Así que, la próxima vez que veas una lista de números extendiéndose hacia la distancia, recuerda el hallazgo de Wang: si los huecos se vuelven demasiado anchos, el número que estás construyendo nunca será una fracción simple. Será uno de esos hermosos, infinitos y desordenados números irracionales que mantienen a los matemáticos ocupados y curiosos para siempre.

Resumen Técnico: Densidad Diádica Positiva para Expansiones Binarias de Pesos Racionales

Planteamiento del Problema
El artículo aborda la irracionalidad de las series binarias ponderadas de la forma $\eta_S = \sum_{n \in S} n 2^{-n}$ , donde $S \subseteq \mathbb{N}$ es un conjunto infinito de enteros positivos. Específicamente, investiga el Problema de Erdős 260, que pregunta si la serie $\sum_{n \ge 1} a_n 2^{-a_n}$ debe ser irracional si la sucesión $a_n$ satisface la condición de crecimiento $a_n/n \to \infty$ .

Mientras que resultados previos establecieron la irracionalidad bajo hipótesis más fuertes —como $a_{n+1} - a_n \to \infty$ (Erdős) o $\limsup (a_{n+1}-a_{n})/\log a_{n+1} = \infty$ (Borwein y Loring)—, la condición $a_n/n \to \infty$ solo garantiza una dispersión global ( $\# \{n : a_n \le X\} = o(X)$ ). Esta permite patrones de brechas locales altamente irregulares, incluyendo cúmulos de brechas cortas, los cuales los métodos anteriores no pudieron descartar. La dificultad central es que una secuencia globalmente dispersa podría contener patrones complicados de brechas cortas que evaden los criterios estándar de recurrencia.

Metodología y Estrategia de Demostración
El artículo demuestra un resultado local más fuerte: si $\eta_S$ es racional, entonces $S$ debe ocupar una proporción positiva de cada bloque diádico $(X, 2X]$ suficientemente grande. Esta "densidad diádica positiva" contradice la dispersión implicada por $a_n/n \to \infty$ .

La demostración procede por contradicción, asumiendo que $\eta_S = P/Q \in \mathbb{Q}$ y que un bloque diádico es disperso (es decir, $S$ tiene baja densidad en $(X, 2X]$ ). El argumento combina propiedades aritméticas de colas racionales con el conteo combinatorio de patrones de brechas:

Recurrencia de Acarreo Integral: La racionalidad implica que la "cola" de la serie puede expresarse como un acarreo entero no negativo $R_N$ que satisface una recurrencia lineal $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$ con un límite de tamaño lineal $0 \le R_N \le Q(N+2)$ .
Límite Inferior de Bloque Disperso: Si un bloque diádico fuera disperso, las brechas entre los puntos de soporte serían grandes. Los autores definen "pares de umbral de ventana" $(k, T)$ , donde $k$ ancla una ventana de brechas consecutivas y $T$ es un umbral. Definen un "exceso integrado" $y(k, T)$ que representa cuánto el rango de la ventana excede a $T$ . Un bloque disperso fuerza a muchas ventanas a tener un exceso grande, estableciendo un límite inferior en el exceso integrado total.
Límite Superior Combinatorio: Los autores analizan la estructura de las ventanas con exceso grande.
- Selección de Prefijo: Aíslan un "prefijo largo inicial" único de brechas para cada ventana de exceso grande.
- Colinealidad de Red: Utilizando la recurrencia de acarreo, muestran que las ocurrencias de patrones de prefijos frecuentes deben alinearse en líneas afines en el plano $(x, R_x)$ (colinealidad de red).
- Dinámica de la Pendiente: La evolución de la pendiente normalizada $\mu = K/(QH)$ $μ = K / (Q H)$ a lo largo de estas líneas está gobernada por el mapa $\mu \mapsto 2^g \mu - 1$ $μ \mapsto 2^{g} μ - 1$ . Los autores dividen el análisis en dos regímenes:
  - Pendiente interior ( $0 < \mu < 1$ ): La pendiente permanece acotada. Los autores muestran que el denominador reducido de la pendiente eventualmente se estabiliza en un entero impar fijo $q$ . Particionan la secuencia de brechas en "bloques logarítmicos" y utilizan límites de entropía y separación de Farey para mostrar que el número de tales ocurrencias es pequeño.
  - Pendiente exterior ( $\mu \notin [0, 1]$ ): Una vez que la pendiente sale de $[0, 1]$ , su distancia al intervalo crece exponencialmente con el rango de las palabras de brecha compartidas. Esta separación exponencial limita drásticamente el número de parámetros enteros válidos en la línea afín.
Contradicción: El análisis combinatorio produce un límite superior en el exceso integrado que es asintóticamente menor que el límite inferior derivado de la hipótesis de bloque disperso. Esta contradicción demuestra que un bloque diádico disperso no puede existir si $\eta_S$ es racional.

Contribuciones Clave y Resultados

Teorema 1.1 (Densidad Diádica Positiva): Si $S$ es infinito y $\eta_S = P/Q \in \mathbb{Q}$ (en forma irreducible), existe una constante $c_{dens}(Q) > 0$ tal que para cada escala diádica suficientemente grande $X = 2^L$ :
$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$
donde $A_S(X)$ es la función de conteo de $S$ . Esto establece que la racionalidad fuerza una densidad positiva uniforme en cada bloque diádico grande, no solo en una subsucesión.
Corolario 1.2 (Resolución del Problema de Erdős 260): Si $a_1 < a_2 < \dots$ satisface $a_n/n \to \infty$ , entonces $\sum_{n \ge 1} a_n 2^{-a_n}$ es irracional.
- Razonamiento: La condición $a_n/n \to \infty$ implica $A_S(X) = o(X)$ , lo cual contradice el límite inferior de densidad positiva requerido para la racionalidad.
Innovación Metodológica: El artículo introduce una técnica utilizando ventanas de brechas superpuestas y exceso integrado para manejar mezclas arbitrarias de brechas cortas y largas sin requerir una brecha grande "excepcional". Aprovecha la interacción entre el límite lineal de los acarreo y la geometría afín de los puntos de red para contar las ocurrencias de patrones de brechas.

Significancia y Reivindicaciones
El artículo afirma resolver el Problema de Erdős 260 al identificar una obstrucción de densidad local a la racionalidad. El resultado es más fuerte que los criterios de irracionalidad previos porque no depende de la existencia de una subsucesión de brechas grandes; más bien, demuestra que la racionalidad es incompatible con cualquier dispersión local en bloques diádicos.

Los autores declaran explícitamente que su método está diseñado para la estructura aritmética específica de las series binarias ponderadas (potencias de 2 en el denominador y pesos lineales en el numerador). No pretenden proporcionar una solución general para otras bases, otras secuencias de pesos o una ley de densidad cuantitativa más aguda más allá de la existencia de la constante $c_{dens}(Q)$ . La demostración se basa en estimaciones aritméticas y combinatorias elementales pero intrincadas, evitando la teoría de números trascendental profunda en favor de las restricciones estructurales sobre la recurrencia de acarreo.

El Misterio de los Espacios Dispersos

El Kit de Herramientas del Detective: Acarreos y Ventanas

La Línea Afín: Una Pista de Tren Mágica

El Veredicto

Resumen Técnico: Densidad Diádica Positiva para Expansiones Binarias de Pesos Racionales

Más como este