🔢 mathematics

Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field

Este artículo proporciona respuestas negativas a dos preguntas planteadas por Bergelson, Moreira y Richter mediante la construcción de contraejemplos utilizando conjuntos de Bohr elementales que demuestran que funciones de un campo de Hardy pueden satisfacer condiciones de generación de derivadas con coeficientes enteros y, sin embargo, no garantizar conjuntos de tiempos de retorno comunes gruesos o incluso no vacíos.

Autores originales: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

Publicado 2026-05-19

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Kangbo Ouyang, Leiye Xu, Shuhao Zhang

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

La Gran Imagen: Predecir el Futuro de los Números

Imagina que eres un detective tratando de predecir cuándo reaparecerá un patrón específico en una larga y caótica secuencia de números. En matemáticas, esto se llama recurrencia.

El artículo que estás leyendo trata sobre un tipo específico de secuencia de números generada por funciones de "campo de Hardy". Imagina que estas funciones son máquinas que expulsan números que crecen a un ritmo constante y predecible (como $t^{3/2}$ , que crece más rápido que un cuadrado pero más lento que un cubo).

Durante mucho tiempo, los matemáticos creyeron que tenían un "manual de reglas" perfecto (un conjunto de criterios) para garantizar que estos patrones reaparecieran con frecuencia y en cadenas largas e ininterrumpidas. Este manual de reglas se basaba en observar los coeficientes de números reales (los decimales exactos y desordenados) de las funciones.

La Pregunta: Los autores de este artículo preguntaron: ¿Podemos simplificar este manual de reglas? ¿Podemos ignorar los decimales desordenados y simplemente mirar los números enteros dentro de las funciones? Si se cumplen las reglas de los números enteros, ¿debe el patrón seguir reapareciendo?

La Respuesta: No. Los autores demostraron que el manual de reglas de "números enteros" no es lo suficientemente fuerte. Puedes cumplir todas las reglas de los enteros, y el patrón podría seguir sin reaparecer, o podría reaparecer de una manera muy fragmentada y dispersa.

Los Personajes Principales: Las "Máquinas de Crecimiento"

Para probar su punto, los autores construyeron dos "máquinas" específicas (pares de funciones) que actúan como tramposos.

1. La Máquina "Casi Allí" (Teorema 1.5)

Imagina dos corredores, Corredor A y Corredor B.

Corredor A corre a una velocidad de $t^{3/2}$ .
Corredor B corre a una velocidad de $\lambda t^{3/2} + t$ (donde $\lambda$ es un decimal extraño y no repetitivo como $\pi$ ).

La Trampa:
Si miras las partes de número entero de sus velocidades, parecen seguir una regla perfecta. Superan la "prueba de enteros".

La Expectación: Esperarías que, si eliges un punto de partida, eventualmente encontrarías un largo tramo de tiempo donde ambos corredores golpeen puntos de control específicos simultáneamente.
La Realidad: Los autores encontraron una "pista" específica (un conjunto de números) donde los corredores sí golpean los puntos de control, pero nunca lo hacen en una línea larga e ininterrumpida. Los golpean de una manera dispersa y fragmentada.
La Metáfora: Es como un horario de tren que parece perfecto en el papel (horas enteras), pero cuando realmente intentas tomar el tren, solo lo atrapas por un instante, luego tienes que esperar mucho tiempo, y luego lo atrapas de nuevo por un instante. Nunca obtienes un viaje largo y continuo.

2. La Máquina "Fantasma" (Teorema 1.6)

Esta es una versión aún más extrema. Los autores modificaron ligeramente al segundo corredor (añadiendo un desplazamiento $\xi$ ).

La Trampa: Este par también supera la "prueba de enteros".
La Realidad: En una pista específica, los dos corredores nunca se encuentran en el mismo punto de control al mismo tiempo. El conjunto de momentos en que se encuentran está vacío.
La Metáfora: Es como dos personas intentando estrecharse la mano. Ambas siguen las reglas del protocolo de apretón de manos (las reglas de los enteros), pero debido a un pequeño desplazamiento invisible (la parte decimal), sus manos siempre están a un milímetro de distancia. Nunca se tocan realmente.

3. El Truco de "Tres Vías" (Teorema 1.7)

Los autores añadieron un tercer corredor a la mezcla para responder a una pregunta diferente: ¿Qué pasa si miramos la "sombra" de las funciones (los polinomios en las que se parecen)?

Demostraron que incluso si las "sombras" de las funciones parecen que deberían funcionar perfectamente juntas (intersectorialmente), las funciones reales pueden seguir negándose a encontrarse.
La Metáfora: Imagina tres bailarines. Sus sombras en la pared parecen estar perfectamente sincronizadas. Pero en realidad, en la pista de baile, están completamente fuera de paso y nunca se encuentran en el centro.

Cómo Lo Hicieron: La "Obstrucción de Bohr"

¿Cómo demostraron que estos corredores nunca se encuentran? Utilizaron un concepto llamado conjunto de Bohr.

Piensa en un conjunto de Bohr como una "zona segura" o una "valla" en un mundo circular (como la cara de un reloj).

Los autores construyeron una "valla" específica (un conjunto de números $E$ ) a la que los corredores se ven forzados a permanecer cerca.
Debido a la forma en que se construyen los números (usando ese número irracional extraño $\lambda$ ), la "valla" tiene una forma que obliga a los corredores a fallarse entre sí.
Es como montar un laberinto donde las paredes son invisibles. Los corredores siguen las reglas, pero la geometría del laberinto asegura que nunca puedan cruzar sus caminos de la manera en que el "manual de reglas de enteros" predijo que deberían.

La Conclusión

El artículo ofrece una "respuesta negativa" a dos grandes preguntas en el campo de la Teoría de Ramsey Ergódica (una rama de las matemáticas que estudia el orden en el caos).

No puedes usar solo números enteros. No puedes reemplazar las reglas complejas de números reales con reglas simples de enteros y esperar la misma garantía de recurrencia.
La "Sombra" no es suficiente. Incluso si las "sombras" polinómicas de las funciones parecen prometedoras, las funciones reales podrían seguir fallando en producir los patrones esperados.

En resumen: El universo de estas secuencias numéricas es más sutil de lo que pensábamos. Solo porque las partes de "números enteros" de las reglas se vean bien no significa que el cuadro completo sea bueno. Las pequeñas partes decimales invisibles pueden romper completamente el patrón.

Resumen Técnico: Contraejemplos a Criterios con Coeficientes Enteros para la Recurrencia a lo Largo de Funciones de un Campo de Hardy

Planteamiento del Problema
El artículo aborda dos preguntas específicas formuladas por Bergelson, Moreira y Richter sobre la recurrencia múltiple a lo largo de secuencias generadas por funciones de un campo de Hardy. En la teoría de Ramsey ergódica, los resultados de recurrencia a menudo dependen de condiciones que involucran la envolvente lineal real de funciones y sus derivadas. Específicamente, Bergelson, Moreira y Richter establecieron que si una colección de funciones $f_1, \dots, f_k$ de un campo de Hardy satisface una condición donde cada elemento no nulo en su envolvente de derivadas reales diverge hacia infinito (o cero) en infinito, entonces el conjunto de tiempos de retorno comunes para cualquier conjunto de densidad superior positiva es "grueso" (contiene intervalos arbitrariamente largos).

Los autores investigan si esta hipótesis fuerte puede debilitarse a una condición de coeficientes enteros. Se centran en dos preguntas específicas:

Pregunta 1.2: ¿Se mantiene la conclusión de recurrencia si solo se asume que cada elemento no nulo en la envolvente de derivadas enteras ( $\nabla_{\mathbb{Z}}$ -envolvente) diverge hacia infinito, en lugar de la envolvente real?
Pregunta 1.4: ¿Se mantiene la conclusión de recurrencia si se reemplaza la suposición de que la envolvente lineal real aproxima un conjunto conjuntamente interseccional de polinomios por la suposición más débil de que el conjunto de polinomios enteros aproximados por la envolvente real ( $P_{\mathbb{Z}}$ ) es conjuntamente interseccional?

Metodología
Los autores emplean un enfoque constructivo basado en conjuntos de Bohr elementales para generar contraejemplos. Su metodología incluye:

Principio de Obstrucción de Bohr: Utilizan el hecho de que si una combinación lineal de secuencias de valores enteros $u_i(n)$ puede aproximarse por un polinomio real $P(n)$ módulo 1 (es decir, $\sum \theta_i u_i(n) - P(n)$ está acotada), entonces el conjunto de tiempos de retorno comunes puede restringirse a un conjunto donde $\|\beta P(n)\|_{\mathbb{T}}$ es pequeño.
Equidistribución y Grosor: Aprovechan el teorema de equidistribución de Weyl y el criterio de Boshernitzan para secuencias de campos de Hardy para demostrar que ciertos conjuntos definidos por crecimiento polinomial (como $n^{3/2}$ ) son gruesos.
Construcción de Contraejemplos: Mediante la selección cuidadosa de parámetros (específicamente números irracionales $\lambda$ y enteros $L$ ), construyen conjuntos $E \subset \mathbb{N}$ de densidad natural positiva tales que los conjuntos de tiempos de retorno están restringidos por la obstrucción "módulo uno". Esta obstrucción impide que los conjuntos de tiempos de retorno sean gruesos o incluso no vacíos, a pesar de que se satisfacen las condiciones de coeficientes enteros.

Contribuciones y Resultados Clave

Respuesta Negativa a la Pregunta 1.2 (Teorema 1.5):
Los autores proporcionan un contraejemplo utilizando el par de funciones $f_1(t) = t^{3/2}$ y $f_2(t) = \lambda t^{3/2} + t$ con $\lambda \in \mathbb{R} \setminus \mathbb{Q}$ .
- Demuestran que para cada $F$ en la envolvente de derivadas enteras de estas funciones, $\lim_{t\to\infty} |F(t)| \in \{0, \infty\}$ .
- Sin embargo, construyen un conjunto $E$ de densidad natural positiva tal que el conjunto de tiempos de retorno comunes $R_{f_1}(E) \cap R_{f_2}(E)$ es sindético a trozos pero no grueso. Esto demuestra que la condición de coeficientes enteros es insuficiente para garantizar el grosor, incluso en el caso de prueba específico seleccionado por Bergelson, Moreira y Richter.
Respuesta Negativa a la Pregunta 1.2 (Obstrucción Más Fuerte) (Teorema 1.6):
Utilizando un par estrechamente relacionado $g_1(t) = t^{3/2}$ y $g_2(t) = \lambda t^{3/2} + L(t + \xi)$ , los autores muestran que la condición de coeficientes enteros ni siquiera garantiza que el conjunto de tiempos de retorno comunes sea no vacío.
- Construyen un conjunto $E$ de densidad natural positiva donde $R_{g_1}(E) \cap R_{g_2}(E) = \emptyset$ .
- Este resultado se basa en el hecho de que, aunque se cumple la condición de la envolvente entera, una combinación lineal real de las iteradas redondeadas se mantiene cerca de una expresión polinomial módulo 1 que nunca alcanza cero, descartando efectivamente los tiempos de retorno comunes.
Respuesta Negativa a la Pregunta 1.4 (Teorema 1.7):
Los autores abordan la pregunta de si la interseccionalidad conjunta de polinomios enteros ( $P_{\mathbb{Z}}$ ) implica la conclusión de recurrencia del Teorema 1.3.
- Construyen una familia $h_1(t) = t^{3/2}$ , $h_2(t) = \lambda t^{3/2} + L(t + \sqrt{2})$ y $h_3(t) = t^2$ .
- Muestran que $P_{\mathbb{Z}}(h_1, h_2, h_3)$ consiste en múltiplos enteros no nulos de $t^2$ , los cuales son conjuntamente interseccionales.
- A pesar de esto, construyen un conjunto $E$ tal que la intersección de los conjuntos de tiempos de retorno para las tres funciones es vacía. Esto prueba que la condición más débil propuesta en la Pregunta 1.4 no implica la conclusión de recurrencia.

Significado
El artículo proporciona respuestas negativas definitivas a dos preguntas abiertas sobre la suficiencia de los criterios con coeficientes enteros en la teoría de recurrencia para secuencias de campos de Hardy. Los resultados demuestran que:

El "reemplazo de coeficientes enteros" para la hipótesis de la envolvente de derivadas no implica que los conjuntos de tiempos de retorno comunes sean gruesos.
Bajo la misma hipótesis de coeficientes enteros, el conjunto de tiempos de retorno comunes puede incluso estar vacío.
La interseccionalidad conjunta de polinomios enteros aproximados por la envolvente real es insuficiente para garantizar la recurrencia.

Los autores concluyen que las condiciones con coeficientes reales en los teoremas existentes son necesarias y no pueden relajarse a coeficientes enteros sin perder la fuerza de las conclusiones de recurrencia (grosor o incluso no vacuidad). Las construcciones dependen de la interacción entre las propiedades aritméticas de las funciones (a través de conjuntos de Bohr) y las propiedades analíticas de las secuencias de campos de Hardy.