Duffin--Schaeffer examples, real residue systems, and Bohr-set primes

Este artículo generaliza el resultado de Duffin y Schaeffer sobre la medida de los números aproximables inhomogéneamente, demostrando que esta es cero o completa según si el parámetro inhomogéneo pertenece a un conjunto contable $Y$ o a un conjunto $Z$, mediante el uso de sistemas de residuos reales, la distribución de primos en conjuntos de Bohr y la extensión de teoremas de Rogers y Vinogradov.

Lo esencial

Imagina que los números reales (como 1, 3.14, $\sqrt{2}$, etc.) son como un océano infinito. Los matemáticos llevan mucho tiempo tratando de entender cómo "navegan" ciertos patrones dentro de este océano.

Este artículo es como un mapa de navegación muy sofisticado que resuelve un viejo misterio sobre cómo se comportan ciertos números especiales cuando los observamos desde diferentes ángulos. Aquí te explico las ideas principales con analogías sencillas:

1. El Problema: ¿Quién se acerca a quién? (Aproximación Diofántica)

Imagina que tienes una diana en la pared (un número $y$) y lanzas flechas (números enteros $q$). La pregunta es: ¿Puedes lanzar tantas flechas que siempre caigan muy cerca de la diana?

• La regla antigua: Antes, los matemáticos pensaban que si lanzabas suficientes flechas (la suma de las probabilidades de acierto era infinita), ¡seguro que caerían muchas cerca de la diana! Pero esto solo funcionaba si lanzabas las flechas de una manera muy ordenada (como si cada vez lanzaras más cerca del centro).
• El truco de Duffin y Schaeffer: Hace tiempo, dos matemáticos demostraron que si lanzas las flechas de forma "desordenada" (sin seguir un patrón estricto), puedes tener infinitas flechas en el aire, pero casi ninguna caerá cerca de la diana. O al revés: puedes tener infinitas flechas y casi todas caerán cerca. Depende totalmente de cómo las lances.

2. La Gran Innovación: El "Cambio de Dianas"

Lo que hacen los autores de este paper (Hesseling y Ramírez) es un truco de magia aún más impresionante.

Imagina que tienes dos grupos de amigos:

• Grupo A (Y): Unos amigos que quieren que las flechas NO caigan cerca de su diana.
• Grupo B (Z): Otros amigos que quieren que las flechas SÍ caigan cerca de su diana.

Además, estos amigos tienen una regla estricta: sus dianas deben estar en lugares "muy diferentes" entre sí (no pueden ser múltiplos simples de las otras).

El resultado del paper: Los autores construyen un método de lanzamiento de flechas (una función $\psi$) tan ingenioso que:

• Para el Grupo A, las flechas pasan volando sin tocar la diana (probabilidad 0).
• Para el Grupo B, las flechas golpean la diana una y otra vez (probabilidad 1).

¡Y todo esto con el mismo método de lanzamiento! Es como si pudieras diseñar un viento que empuje las flechas lejos de unos objetivos y directamente hacia otros, al mismo tiempo.

3. Las Herramientas Secretas: ¿Cómo lo hicieron?

Para lograr este milagro, usaron tres herramientas matemáticas muy potentes:

A. Los "Sistemas de Residuos Reales" (El mapa de la ciudad)

Imagina que la ciudad está dividida en barrios (residuos). Normalmente, estos barrios son fijos (como las calles de una ciudad). Pero aquí, los autores permiten que los barrios se muevan y se estiren un poco (valores reales).

• La analogía: Imagina que tienes un mapa de la ciudad donde los límites de los barrios son líneas de goma. Demuestran que, sin importar cómo estires o muevas esas líneas, siempre hay una cantidad mínima de "terreno" que no puedes perder. Esto les ayuda a calcular con precisión cuántas flechas caerán en cada zona.

B. Los Números Primos en "Cajas de Bohr" (Los guardias especiales)

Los números primos (2, 3, 5, 7...) son como los guardias más impredecibles de la ciudad. Normalmente, se sabe que están distribuidos de cierta forma en las "carreras aritméticas" (números que siguen una regla como 3, 6, 9...).

• La novedad: Los autores crearon "cajas" nuevas (llamadas conjuntos de Bohr) que atrapan a los primos de una forma muy específica. Demuestran que, si tu caja está bien diseñada, siempre atraparás infinitos primos, y estos primos se distribuirán de manera perfectamente uniforme dentro de la caja. Es como si pudieras atrapar a los guardias más escurridizos y asegurar que se sienten en la mesa de forma ordenada.

C. La Rotación de la Tierra (Equidistribución)

Imagina que la Tierra gira (una rotación). Si miras un punto fijo en el cielo mientras la Tierra gira, eventualmente verás todos los puntos del cielo.

• El truco: Los autores demostraron que si miras la Tierra girar solo en los momentos exactos en que pasan los "guardias primos" que atrapaste en tu caja, ¡sigues viendo todos los puntos del cielo de forma uniforme! Esto es crucial para asegurar que las flechas golpeen la diana del Grupo B.

4. El Apéndice: Una pregunta sobre las "redes"

Al final, hay una nota de un colaborador (Manuel Hauke) que responde a una pregunta curiosa:

• Pregunta: Si tienes un grupo de números muy grande (como el 99% de todos los números), ¿puedes siempre encontrar un subgrupo dentro de ellos donde los números no compartan muchos factores comunes y sus "recíprocos" (1/n) sumen infinito?
• Respuesta: ¡No! El colaborador demuestra que puedes crear un grupo de números tan grande que parezca que cubre todo, pero que, sin embargo, es "demasiado denso" en ciertos lugares para permitir que ese subgrupo especial exista. Es como tener una red de pesca tan grande que parece cubrir todo el océano, pero tiene agujeros tan pequeños que los peces más especiales nunca pasan por ellos.

En resumen

Este paper es como un arquitecto de probabilidad. Demuestra que puedes construir un sistema matemático tan flexible que puedes controlar el destino de los números: puedes hacer que ciertos números "desaparezcan" de tu vista mientras otros "dominan" el escenario, todo utilizando propiedades profundas de los números primos y la geometría de los espacios.

Es una prueba de que, en el mundo de los números, si sabes cómo construir las reglas, puedes hacer que la realidad se comporte exactamente como tú quieras, incluso cuando parece imposible.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Duffin–Schaeffer Examples, Real Residue Systems, and Bohr-Set Primes" de Stefan M. Hesseling y Felipe A. Ramírez (con un apéndice de Manuel Hauke).

1. Problema y Contexto

El artículo aborda un problema fundamental en la aproximación diofántica inhomogénea: la extensión de los teoremas de Khintchine y Szüsz a funciones de aproximación $\psi$ que no son monótonas.

• Contexto Histórico: El teorema de Khintchine (1924) establece que el conjunto de números $\psi$-aproximables tiene medida de Lebesgue 0 o 1 dependiendo de si la serie $\sum \psi(q)$ converge o diverge, asumiendo que $\psi$ es monótona. Duffin y Schaeffer (1941) demostraron que la monotonía es esencial mediante contraejemplos donde la serie diverge pero la medida es 0.
• La Pregunta Específica: El trabajo anterior de Ramírez (2017) había mostrado que, condicionalmente a una conjetura dinámica análoga a los problemas de sistemas de cobertura de Erdős, era posible construir funciones $\psi$ tales que para un conjunto numerable $Y \subset \mathbb{R}$, la medida del conjunto de aproximación $W(\psi, y)$ es 0 para todo $y \in Y$, mientras que para un conjunto $Z$ (con ciertas condiciones de independencia racional), la medida es 1.
• El Objetivo: El presente trabajo busca probar esta afirmación de manera incondicional, eliminando la necesidad de conjeturas dinámicas, y generalizando el resultado para cualquier par de conjuntos numerables $Y$ y $Z$ (donde $Z$ está fuera del espacio vectorial generado por $Y$ y 1).

2. Metodología

La prueba se basa en una construcción explícita de la función $\psi$ y el desarrollo de nuevas herramientas en teoría de números y sistemas dinámicos:

1. Construcción de $\psi$ mediante Bloques de Bohr:
   La función $\psi$ se define soportada en bloques de enteros que son productos de elementos de conjuntos de Bohr. Un conjunto de Bohr se define como $N_v(y, \epsilon) = \{n \in \mathbb{N} : \|ny - v\| < \epsilon\}$.

   • La estrategia consiste en elegir bloques de enteros de la forma $P/p$ (donde $P$ es un producto de primos y $p|P$) que pertenecen a estos conjuntos de Bohr.
   • Se utiliza un argumento de Borel-Cantelli y lemas de mezcla (mixing) para controlar la medida de los conjuntos de aproximación.

2. Sistemas de Residuos Reales (Real Residue Systems):
   Se introduce y generaliza el concepto de sistemas de residuos. En lugar de residuos enteros, se permiten residuos reales $a \in \mathbb{R}^\ell$.

   • Se prueba una generalización del Teorema de Rogers (1950). Rogers demostró que la densidad asintótica de un sistema de residuos se minimiza cuando los residuos son 0. Los autores extienden esto a residuos reales, demostrando que la medida del sistema de residuos reales es siempre mayor o igual que la del sistema con residuos cero. Esto es crucial para establecer cotas inferiores de medida.

3. Distribución de Primos en Conjuntos de Bohr:
   Para que la construcción funcione, es necesario entender cómo se distribuyen los números primos dentro de los conjuntos de Bohr. Los autores generalizan dos teoremas clásicos:

   • Teorema de los Números Primos para Conjuntos de Bohr: Generalización del teorema de Siegel-Walfisz para progresiones aritméticas. Establece que el conteo de primos en un conjunto de Bohr sigue una ley asintótica proporcional a la medida de Haar del conjunto, siempre que el conjunto contenga infinitos primos.
   • Equidistribución a lo largo de Primos en Conjuntos de Bohr: Generalización de un teorema de Vinogradov. Demuestran que la secuencia $(pz)_{p \in P \cap N}$ es equidistribuida módulo 1 si $z$ es racionalmente independiente de los parámetros del conjunto de Bohr.

4. Argumento de Cribado (Sieving):
   Se utiliza un argumento de cribado para demostrar que, al elegir los primos adecuadamente dentro de los conjuntos de Bohr, se puede garantizar que la unión de los intervalos de aproximación cubra una fracción significativa del espacio (medida 1) para los parámetros en $Z$, mientras que se mantiene una medida pequeña para los parámetros en $Y$.

3. Contribuciones Clave y Resultados Principales

• Teorema 1.1 (Generalización Incondicional de Duffin-Schaeffer):
  Para cualquier par de conjuntos numerables $Y, Z \subseteq \mathbb{R}$ tales que $Z \subseteq \mathbb{R} \setminus \text{span}_{\mathbb{Q}}(\{1\} \cup Y)$, existe una función $\psi: \mathbb{N} \to \mathbb{R}_{\geq 0}$ tal que:

  • $\mu(W(\psi, y)) = 0$ para todo $y \in Y$.
  • $\mu(W(\psi, z)) = 1$ para todo $z \in Z$.
  • Significado: Esto resuelve el problema de la existencia de ejemplos de Duffin-Schaeffer con comportamiento prescrito sin depender de conjeturas no probadas.

• Teorema 1.2 (Teorema de Rogers para Residuos Reales):
  Establece que para cualquier vector de residuos reales $a$ y radio $\epsilon = 2^{-k}$, la medida del sistema de residuos reales es al menos la del sistema con residuos cero. Esto es una herramienta técnica fundamental para las cotas inferiores.

• Teorema 1.3 (Teorema de los Números Primos para Conjuntos de Bohr):
  Proporciona la fórmula asintótica para la cantidad de primos en un conjunto de Bohr $N_v(w, \epsilon)$, relacionándola con la medida de Haar renormalizada del conjunto.

• Teorema 1.4 (Equidistribución a lo largo de Primos en Conjuntos de Bohr):
  Demuestra que la secuencia $(pz)_{p \in P \cap N_v(y, \epsilon)}$ es equidistribuida módulo 1 bajo condiciones de independencia racional, generalizando resultados de Vinogradov.

• Apéndice A (Manuel Hauke):
  Responde negativamente a una pregunta combinatoria sobre si todo conjunto de densidad positiva contiene un subconjunto con suma de recíprocos divergente y GCD acotado. Se demuestra que esto solo ocurre si el conjunto contiene múltiplos de un subconjunto de primos con suma de recíprocos divergente.

4. Significado e Impacto

• Avance en Aproximación Diofántica: El trabajo cierra una brecha importante en la teoría de aproximación inhomogénea, proporcionando una demostración rigurosa y completa de la existencia de funciones de aproximación "patológicas" (no monótonas) que comportan medidas nulas o completas de manera selectiva.
• Nuevas Herramientas Analíticas: La introducción de "sistemas de residuos reales" y la extensión de teoremas clásicos de teoría de números (Dirichlet, Siegel-Walfisz, Vinogradov) al contexto de conjuntos de Bohr abren nuevas vías de investigación. Estos resultados conectan la teoría de números analítica con la teoría ergódica y la dinámica en toros.
• Conexión con Sistemas de Cobertura: El trabajo resuelve una dificultad técnica relacionada con los sistemas de cobertura de Erdős, demostrando que se pueden controlar las medidas de los conjuntos de aproximación mediante una selección cuidadosa de primos en estructuras algebraicas específicas (Bohr sets).
• Generalización: Los resultados unifican y generalizan trabajos previos de Duffin-Schaeffer, Rogers, Szüsz y Vinogradov, mostrando que sus principios subyacentes son válidos en un marco mucho más amplio que el de las progresiones aritméticas tradicionales.

En resumen, el artículo es una contribución sustancial a la teoría de números moderna, combinando técnicas de análisis, teoría ergódica y teoría de números analítica para resolver un problema abierto de larga data y establecer nuevos teoremas fundamentales sobre la distribución de primos y la aproximación diofántica.