🔢 mathematics

Better than square-root cancellation in Piatetski-Shapiro sequences

Este artículo establece que las sucesiones de Piatetski-Shapiro exhiben una cancelación mejor que la de la raíz cuadrada para sumas de funciones multiplicativas aleatorias y alcanzan la cota de Weil para sumas de caracteres, extendiendo así los resultados recientes de Harper y Xu a una nueva clase de conjuntos con mayor energía multiplicativa.

Autores originales: Renjie Zhu, Tianping Zhang

Publicado 2026-08-18

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Renjie Zhu, Tianping 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

En el vasto paisaje de la teoría de números, los matemáticos suelen estudiar cómo se comportan los números cuando se suman o se multiplican entre sí. Una cuestión central en este campo se refiere al concepto de "cancelación". Imagine una larga lista de números, algunos positivos y otros negativos, que se suman. Si los números son verdaderamente aleatorios, los valores positivos y negativos tienden a cancelarse entre sí, dejando una suma final mucho más pequeña que el recuento total de números involucrados. Este límite es tan fundamental que está vinculado a algunos de los problemas no resueltos más famosos de las matemáticas, incluyendo la Hipótesis de Riemann, que trata sobre la distribución de los números primos.

Sin embargo, descubrimientos recientes han sacudido esta creencia. Los matemáticos han descubierto que, en ciertos casos especiales, los números se cancelan entre sí de manera aún más efectiva de lo que predice el límite de la raíz cuadrada. Este fenómeno, llamado "cancelación mejor que la de la raíz cuadrada", se demostró por primera vez para el conjunto de todos los números naturales y, más tarde, para tipos específicos de números como los números rugosos (rough numbers). La gran pregunta que quedaba era si esta eficiencia adicional podía ocurrir en otras colecciones más dispersas de números que no comparten los mismos ricos patrones de multiplicación de los números naturales. Si esto fuera posible, sugeriría que la capacidad de cancelar no depende de una estructura interna compleja, sino quizás de algo más sutil.

Un equipo de investigadores ha respondido ahora a esta pregunta dirigiendo su atención a una colección específica y dispersa de números conocida como secuencia de Piatetski-Shapiro. Estas secuencias se crean tomando una fórmula sencilla que involucra una potencia y redondeando el resultado al número entero más cercano. Aunque parecen algo aleatorias, son mucho más delgadas que el conjunto de todos los números naturales. Los investigadores investigaron qué sucede cuando se suman valores aleatorios asignados a estos números específicos. Descubrieron que, sorprendentemente, estas secuencias también exhiben el efecto de la "cancelación mejor que la de la raíz cuadrada". Esto significa que, incluso aunque los números en la secuencia sean dispersos y carezcan de las densas propiedades multiplicativas de los números naturales, los valores aleatorios asignados a ellos se cancelan entre sí con una eficiencia excepcional.

Para llegar a esta conclusión, los autores tuvieron que sortear un obstáculo matemático significativo. Los métodos anteriores utilizados para demostrar este efecto para los números naturales dependían en gran medida del hecho de que esos números poseen una estructura muy específica y rica cuando se multiplican entre sí. Las secuencias de Piatetski-Shapiro no tienen esta misma estructura, por lo que las herramientas antiguas no funcionaron. En su lugar, los investigadores desarrollaron un nuevo enfoque que se centró en la forma única en que estas secuencias están espaciadas. Utilizaron una técnica para suavizar las irregularidades de la secuencia, lo que les permitió aislar los valores aleatorios y medir su comportamiento. Al analizar cuidadosamente las diferencias entre los términos consecutivos de la secuencia, pudieron demostrar que los valores aleatorios se cancelan más de lo esperado, probando que el fenómeno no se limita a conjuntos con estructuras multiplicativas complejas.

Los hallazgos tienen implicaciones inmediatas para otra área de las matemáticas que involucra sumas de caracteres, que son una forma de medir cómo se comportan los números bajo diferentes reglas modulares. Los investigadores demostraron que, en casi todos los casos, las sumas de estos caracteres sobre las secuencias de Piatetski-Shapiro son mucho más pequeñas de lo que los límites estándar sugerirían. De hecho, estas sumas alcanzan un límite teórico mínimo conocido como la cota de Weil en casi todos los casos. Este resultado es significativo porque confirma que la "cancelación mejor que la de la raíz cuadrada" es un fenómeno robusto que puede aparecer en diversos entornos matemáticos, no solo en los sistemas numéricos más familiares.

El estudio también aclara lo que no es necesario para que ocurra esta cancelación adicional. Los investigadores señalaron que, si bien las secuencias de Piatetski-Shapiro son diferentes de los números naturales, no son iguales a otro tipo de secuencia llamada secuencias de Beatty. Cuando intentaron aplicar sus métodos a las secuencias de Beatty, descubrieron que la cancelación adicional no siempre ocurre allí. Esta distinción es importante porque sugiere que existe un umbral específico y crítico de estructura o espaciamiento que permite esta cancelación eficiente, pero la naturaleza exacta de ese umbral sigue siendo un misterio. El trabajo no resuelve el problema de qué es exactamente lo que hace que un conjunto sea capaz de este comportamiento, pero identifica con éxito un nuevo ejemplo inesperado donde sí ocurre.

En última instancia, este artículo amplía nuestra comprensión de cómo interactúan la aleatoriedad y la estructura en las matemáticas. Demuestra que la capacidad de los números para cancelarse entre sí de manera eficiente no es dominio exclusivo de los conjuntos numéricos más complejos. Al demostrar que este fenómeno existe en las secuencias de Piatetski-Shapiro, los autores han proporcionado una nueva pieza de evidencia que ayuda a mapear los límites de este comportamiento matemático. El resultado constituye una prueba concreta de que la barrera de la raíz cuadrada no es un muro absoluto, sino un límite que puede superarse en circunstancias más variadas de lo que se pensaba anteriormente, abriendo la puerta a una mayor exploración de los patrones ocultos de los conjuntos de números dispersos.

Resumen Técnico: Mejor que la cancelación de raíz cuadrada en secuencias de Piatetski-Shapiro

Planteamiento del problema
El artículo investiga el fenómeno de la "mejor que la cancelación de raíz cuadrada" en las sumas parciales de funciones multiplicativas aleatorias y en sumas de caracteres de Dirichlet sobre secuencias de Piatetski-Shapiro. Específicamente, los autores analizan la esperanza del valor absoluto de la suma $\sum_{n \in A} f(n)$ , donde $A = N^{(c)}(x) = \{ \lfloor n^c \rfloor : n \le x \}$ es una secuencia de Piatetski-Shapiro con $1 < c < 2$ , y $f(n)$ es una función multiplicativa aleatoria de tipo Steinhaus o Rademacher.

Si bien está bien establecido que para el conjunto de los números naturales $\mathbb{N}$ , Harper (2019) demostró que $\mathbb{E}|\sum_{n \le x} f(n)| \asymp \sqrt{x}(\log \log x)^{-1/4}$ , lo cual es estrictamente menor que el límite estándar de la raíz cuadrada $\sqrt{x}$ , el comportamiento sobre conjuntos dispersos es menos comprendido. Resultados previos de Soundararajan y Xu [13] sugirieron que si un conjunto $A$ tiene una energía multiplicativa "pequeña" (específicamente $(2+o(1))|A|^2$ ), las sumas exhiben una cancelación de raíz cuadrada estándar. Por el contrario, Harper (2019) y Xu (2023) mostraron que los conjuntos con estructuras específicas (como los números naturales o los números $R$ -rugosos) pueden lograr una cancelación mejor que la de la raíz cuadrada. La cuestión central abordada aquí es si este fenómeno persiste para las secuencias de Piatetski-Shapiro, las cuales poseen una energía multiplicativa mayor que la de los números rugosos pero siguen siendo dispersas, y si límites similares se mantienen para las sumas de caracteres.

Metodología
Los autores no siguen los enfoques de martingala o de productos de Euler aleatorios utilizados por Harper y Xu. En su lugar, la prueba se basa en la estructura analítica única de las secuencias de Piatetski-Shapiro. La metodología procede de la siguiente manera:

Descomposición de la función indicadora: La suma sobre la secuencia $N^{(c)}(x)$ se convierte en una suma sobre todos los enteros $n \le x$ utilizando la función indicadora $\chi^{(c)}(n)$ . Utilizando el Lema 2.1, esta indicadora se aproxima mediante un término principal $\gamma n^{\gamma-1}$ (donde $\gamma = 1/c$ ) y términos de error que involucran la función de la parte fraccionaria $\psi(x)$ .
Aproximación de Vaaler: La función de la parte fraccionaria $\psi(x)$ se expande utilizando la aproximación trigonométrica de Vaaler (Lema 2.2), transformando el problema en la estimación de sumas exponenciales con coeficientes aleatorios de la forma $\sum f(n) (e(-h(n+1)\gamma) - e(-hn\gamma))$ .
Expansión de Taylor y cancelación: Un paso crítico implica aplicar una expansión de Taylor a la diferencia de los términos exponenciales. Los autores demuestran que $e(-h(n+1)\gamma) - e(-hn\gamma)$ puede aproximarse por un término proporcional a $n^{\gamma-1}$ . Este factor $n^{\gamma-1}$ proporciona la decaimiento adicional necesario para evitar la difícil estimación de $\mathbb{E}|\sum e(hn\gamma)f(n)|$ , la cual es conocida por exhibir solo cancelación de raíz cuadrada para ciertas frecuencias irracionales.
Cauchy-Schwarz y ortogonalidad: Las expectativas restantes se acotan utilizando la desigualdad de Cauchy-Schwarz y las propiedades de ortogonalidad de las funciones multiplicativas aleatorias ( $\mathbb{E}[f(m)\overline{f(n)}] = \delta_{m,n}$ ). Esto reduce el problema a la estimación de sumas de la forma $\sum n^{2\gamma-2}$ , las cuales son manejables dado el rango $1/2 < \gamma < 1$ .
Sumas de caracteres: Para los caracteres de Dirichlet, los autores adaptan la prueba del Teorema 1.1 reemplazando la esperanza sobre funciones multiplicativas aleatorias con el valor medio sobre todos los caracteres módulo un primo $p$ , utilizando una desigualdad de tipo criba de gran tamaño establecida por Harper (2023).

Resultados Clave
El artículo establece dos teoremas principales:

Teorema 1.1: Para una función multiplicativa aleatoria de tipo Steinhaus o Rademacher $f(n)$ y una secuencia de Piatetski-Shapiro $N^{(c)}(x)$ con $1 < c < 2$ , la esperanza del valor absoluto de la suma satisface:
$\mathbb{E} \left| \sum_{n \in N^{(c)}(x)} f(n) \right| = o\left( \sqrt{|N^{(c)}(x)|} \right).$
Esto confirma la existencia de una cancelación mejor que la de la raíz cuadrada para esta clase de conjuntos dispersos.
Teorema 1.2: Para un primo grande $p$ y caracteres de Dirichlet $\chi \pmod p$ , el tamaño promedio de las sumas de caracteres sobre la secuencia está acotado por:
$\frac{1}{p-1} \sum_{\chi \pmod p} \left| \sum_{n \in N^{(c)}(x)} \chi(n) \right| \ll \frac{\sqrt{|N^{(c)}(x)|}}{(\log \log L)^{1/4}},$
donde $L = \min\{|N^{(c)}(x)|, p/|N^{(c)}(x)|\}$ .
Corolario 1.3: Como consecuencia, para casi todos los caracteres (específicamente, todos excepto $o(p)$ excepciones), la suma de caracteres sobre la secuencia satisface el límite $\ll \sqrt{|N^{(c)}(x)|}$ , alcanzando efectivamente la cota de Weil para casi todos los caracteres.

Significado y Reivindicaciones
Los autores afirman que su resultado proporciona un "ejemplo positivo" de una cancelación mejor que la de la raíz cuadrada ocurriendo en un conjunto que no tiene una energía multiplicativa tan pequeña como $(2+o(1))|A|^2$ . Dado que las secuencias de Piatetski-Shapiro tienen una estructura multiplicativa diferente comparada con los números naturales o los números rugosos (y su energía multiplicativa no es lo suficientemente pequeña para derivar el resultado de forma trivial), esto sugiere que una estructura multiplicativa "rica" no es una condición necesaria para este fenómeno.

El artículo señala modestamente que, aunque han demostrado la existencia de este fenómeno para las secuencias de Piatetski-Shapiro, caracterizar el "tamaño crítico" exacto de la energía multiplicativa requerida para una cancelación mejor que la de la raíz cuadrada sigue siendo un problema abierto. Además, los autores discuten que su método no se extiende inmediatamente a las secuencias de Beatty, ya que el mecanismo de cancelación específico que depende de la expansión de Taylor de la indicadora de Piatetski-Shapiro no se aplica de la misma manera a las secuencias de Beatty, donde el comportamiento puede depender de las propiedades diofánticas de la pendiente.

Más como este