🔢 mathematics

Large fluctuations of extended Rademacher random multiplicative functions

Este artigo prova que as somas parciais de funções multiplicativas de Rademacher estendidas exibem flutuações arbitrariamente grandes excedendo $\frac{\sqrt{x}(\log\log x)^{1/4}}{V(x)}$ quase certamente, resolvendo afirmativamente o Problema de Erdős #1144 e estabelecendo novos limites inferiores quase certos para o número de mudanças de sinal.

Autores originais: Haozhe Gou, Max Wenqiang Xu

Publicado 2026-09-14

📖 10 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Haozhe Gou, Max Wenqiang Xu

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No vasto panorama da teoria dos números, os matemáticos frequentemente estudam padrões ocultos na sequência dos números inteiros. Um dos enigmas mais intrigantes envolve compreender como esses números se comportam quando são multiplicados de formas específicas e aleatórias. Imagine atribuir um sinal positivo ou negativo aleatório a cada número primo — os blocos de construção de todos os inteiros — e então estender essas escolhas a todos os outros números com base em seus fatores primos. Isso cria uma soma caótica e flutuante que cresce à medida que se adicionam mais números. Durante décadas, especialistas se perguntaram o quão selvagens essas flutuações podem se tornar. Elas permanecem dentro de um intervalo previsível ou ocasionalmente surgem muito além do que as regras padrão de probabilidade sugeririam? Esta questão toca a profunda conexão entre a aleatoriedade e a estrutura rígida da aritmética, um relacionamento que tem intrigado pensadores desde o início do século vinte até o presente dia.

Uma equipe de pesquisadores respondeu agora a uma questão de longa data sobre os limites dessas flutuações, especificamente para um modelo que mimetiza o comportamento de certos padrões numéricos complexos encontrados na natureza. Eles provaram que, se você continuar somando esses números aleatórios, a soma total ocasionalmente atingirá um pico de uma altura muito maior do que se pensava anteriormente possível para este tipo específico de modelo. Embora trabalhos anteriores tivessem mostrado que modelos similares, ligeiramente mais simples, poderiam produzir grandes picos, este novo estudo demonstra que a versão mais complexa, que inclui todos os números em vez de apenas um subconjunto específico, é tão volátil quanto. Os pesquisadores mostraram que a soma pode subir a um nível que é a raiz quadrada do número de termos multiplicada por um fator de crescimento muito lento envolvendo logaritmos repetidos, e então multiplicada por um número arbitrariamente grande. Em termos mais simples, a soma não apenas oscila; ela ocasionalmente salta para alturas que parecem desafiar as restrições usuais da aleatoriedade, e o faz infinitas vezes conforme a sequência cresce.

A equipe, Haozhe Gou e Max Wenqiang Xu, focou em um objeto matemático chamado função multiplicativa de Rademacher estendida. Para entender isso, deve-se primeiro imaginar uma caminhada aleatória padrão, onde se dá passos para frente ou para trás baseados no lançamento de uma moeda. Nesta versão matemática, os "passos" são determinados pelos fatores primos de cada número. Os pesquisadores investigaram uma variação específica onde as regras se aplicam a todos os inteiros, incluindo aqueles com fatores repetidos, em vez de apenas os únicos. Essa distinção é crucial porque incluir números com fatores repetidos introduz uma estrutura oculta que torna a matemática significativamente mais difícil de resolver. Por muito tempo, foi uma questão em aberto se este modelo específico, mais complexo, se comportaria tão selvagemente quanto seu primo mais simples. Os autores resolveram isso provando que a resposta é sim, e forneceram uma fórmula precisa de quão grandes esses surtos podem ser.

O trabalho deles resolve um problema que esteve em uma famosa lista de desafios matemáticos não resolvidos por décadas. A questão era se a soma desses números aleatórios eventualmente cresceria tanto que não poderia ser limitada por uma função de raiz quadrada simples. Os pesquisadores provaram que ela cresce. Eles demonstraram que, não importa o quão alto você defina um limite, desde que ele cresça lentamente o suficiente, a soma eventualmente o ultrapassará. Isso não é apenas uma possibilidade teórica; os autores mostraram que esses picos massivos ocorrem com quase certeza. O tamanho desses picos é determinado pela raiz quadrada da contagem total de números, multiplicada por um fator que envolve o logaritmo do logaritmo dessa contagem, elevado a uma potência específica. Este resultado confirma que o comportamento caótico é intrínseco ao sistema e não um artefato de um modelo mais simples.

Para chegar a esta conclusão, os autores tiveram que navegar por um obstáculo matemático significativo. Nos modelos mais simples, os números envolvidos possuem uma propriedade que faz com que eles se cancelem facilmente, como uma balança perfeitamente equilibrada. Neste modelo mais complexo, esse equilíbrio é quebrado porque as regras permitem números com fatores repetidos, que atuam como um peso pesado em um lado da balança. Esse desequilíbrio cria um "polo", um ponto onde a descrição matemática do sistema explode, fazendo com que as técnicas padrão falhem. Os pesquisadores desenvolveram um novo método para lidar com isso, dividindo o problema em duas partes: a contribção dos números pequenos e a contribuição dos números grandes. Eles mostraram que os números pequenos, embora desordenados, não sobrecarregam o sistema, e os números grandes, que impulsionam as flutuações, podem ser analisados tratando-os como uma coleção de variáveis aleatórias independentes.

Um insight fundamental em sua prova foi o uso de um truque matemático astuto para isolar o efeito dos números grandes. Eles observaram a diferença entre a soma em um ponto e a soma em um ponto quatro vezes mais distante. Essa diferença atua como um filtro, removendo o ruído de fundo desordenado e deixando apenas o sinal dos grandes fatores primos. Ao estudar esse sinal filtrado, eles foram capazes de mostrar que ele se comporta como uma nuvem de pontos aleatórios que são majoritariamente independentes entre si. Usando ferramentas de probabilidade avançadas, provaram que, entre esses pontos, existem sempre alguns que estão suficientemente distantes para evitar que se cancelem, permitindo que a soma atinja sua altura máxima potencial.

O trabalho deles resolve um problema que estava em uma famosa lista de desafios matemáticos não resolvidos por décadas. A questão era se a soma desses números aleatórios eventualmente cresceria tanto que não poderia ser limitada por uma função de raiz quadrada simples. Os pesquisadores provaram que ela cresce. Eles demonstraram que, não importa o quão alto você defina um limite, desde que ele cresça lentamente o suficiente, a soma eventualmente o ultrapassará. Isso não é apenas uma possibilidade teórica; os autores mostraram que esses picos massivos ocorrem com quase certeza. O tamanho desses picos é determinado pela raiz quadrada da contagem total de números, multiplicada por um fator que envolve o logaritmo do logaritmo daquela contagem, elevado a uma potência específica. Este resultado confirma que o comportamento caótico é intrínseco ao sistema e não um artefato de um modelo mais simples.

Para chegar a esta conclusão, os autores tiveram que navegar por um obstáculo matemático significativo. Nos modelos mais simples, os números envolvidos possuem uma propriedade que faz com que eles se cancelem facilmente, como uma balança perfeitamente equilibrada. Neste modelo mais complexo, esse equilíbrio é quebrado porque as regras permitem números com fatores repetidos, que atuam como um peso pesado em um lado da balança. Esse desequilíbrio cria um "polo", um ponto onde a descrição matemática do sistema explode, fazendo com que as técnicas padrão falhem. Os pesquisadores desenvolveram um novo método para lidar com isso, dividindo o problema em duas partes: a contribuição dos números pequenos e a contribuição dos números grandes. Eles mostraram que os números pequenos, embora desordenados, não sobrecarregam o sistema, e os números grandes, que impulsionam as flutuações, podem ser analisados tratando-os como uma coleção de variáveis aleatórias independentes.

As implicações desta descoberta estendem-se além de resolver apenas um enigma. Os pesquisadores também utilizaram o seu método para contar a frequência com que a soma muda de direção, alternando de positivo para negativo ou vice-versa. Descobriram que, para números muito grandes, a soma muda de sinal pelo menos tão frequentemente quanto o logaritmo do logaritismo da contagem. Isso fornece um novo limite inferior mais forte para a frequência dessas mudanças, melhorando as estimativas anteriores. Este resultado é significativo porque oferece uma imagem mais precisa da natureza errática dessas somas aleatórias, mostrando que elas não são apenas grandes em magnitude, mas também altamente voláteis em direção.

O artigo constitui uma confirmação rigorosa de uma conjectura que havia sido sugerida por trabalhos anteriores em modelos mais simples. Não apenas sugere que essas grandes flutuações são possíveis; prova que elas ocorrem quase certamente, o que significa que a probabilidade de elas acontecerem é efetivamente um. Os autores não dependeram de simulações computacionais ou aproximações, mas forneceram uma prova matemática completa que se mantém para todos os números suficientemente grandes. O trabalho deles encerra um capítulo sobre o comportamento dessas funções multiplicativas estendidas, confirmando que a inclusão de todos os inteiros, não apenas os livres de quadrados, preserva a volatilidade extrema que os matemáticos há muito suspeitavam.

No contexto mais amplo da teoria dos números, este resultado ajuda a refinar nossa compreensão de como a aleatoriedade interage com a estrutura fundamental dos números. Sugere que, mesmo quando adicionamos camadas de complexidade a um sistema aleatório, o potencial para eventos extremos permanece, governado por leis matemáticas sutis. A prova exigiu um equilíbrio delicado de estimativas probabilísticas e identidades da teoria dos números, mostrando que o "ruído" dos números pequenos poderia ser controlado enquanto o "sinal" dos números grandes era amplificado. Esta abordagem oferece um novo conjunto de ferramentas para enfrentar problemas semelhantes onde os métodos padrão falham devido a complicações estruturais.

Os pesquisadores também observaram que suas técnicas poderiam potencialmente ser aplicadas a outras variações dessas funções aleatórias, como aquelas envolvendo diferentes tipos de raízes da unidade. Embora não tenham resolvido esses casos específicos neste artigo, a estrutura que construíram fornece um caminho para investigações futuras. O trabalho serve como um lembrete de que, no mundo da matemática pura, até as questões mais abstratas sobre números aleatórios podem levar a respostas concretas e definitivas sobre os limites do caos.

Em última análise, o artigo entrega uma mensagem clara e poderosa: as somas aleatórias destas funções multiplicativas estendidas são capazes de subir a alturas que anteriormente se pensava estarem fora de alcance. Ao provar que esses surtos ocorrem infinitas vezes e fornecer uma descrição precisa do seu tamanho, os autores resolveram uma questão de décadas. Eles demonstraram que o cenário matemático é mais volátil do que anteriormente acreditado, com picos que sobem mais alto e com mais frequência do que os modelos mais simples preveriam. Esta descoberta não apenas responde a uma questão específica colocada pelo matemático Paul Erdős, mas também aprofunda nossa compreensão da dança intrincada entre ordem e aleatoriedade no tecido dos números.

Resumo Técnico: Grandes Flutuações de Funções Multiplicativas de Rademacher Estendidas

Enunciado do Problema
O artigo investiga as grandes flutuações das somas parciais da função multiplicativa de Rademacher (RMF) estendida, denotada por $f(n)$ . Diferente da RMF de Rademacher clássica $g(n)$ , que é suportada apenas em inteiros sem quadrados (squarefree), o modelo estendido $f(n)$ é completamente multiplicativo, o que significa que $f(p^k) = f(p)^k$ para todos os primos $p$ e inteiros $k \ge 1$ . Esta extensão introduz uma obstrução analítica significativa: a série de Dirichlet de $f$ contém um fator de $\zeta(2s)$ , criando um polo em $s=1/2$ que está ausente no caso sem quadrados.

O problema central abordado é o Problema de Erdős #1144, que questiona se as somas parciais $S_f(x) = \sum_{n \le x} f(n)$ satisfazem $\limsup_{x \to \infty} S_f(x)/\sqrt{x} = +\infty$ quase certamente. Embora o trabalho anterior de Harper tenha estabelecido que a RMF clássica sem quadrados $g(n)$ exibe flutuações de ordem $\sqrt{x}(\log \log x)^{1/4}$ , não se sabia se a RMF estendida $f(n)$ , devido à sua estrutura não ortogonal e ao polo em $s=1/2$ , poderia atingir flutuações tão grandes quanto ou se o polo as suprimiria.

Metodologia
Os autores adaptam e estendem o arcabouço probabilístico e analítico desenvolvido por Harper para o caso sem quadrados, introduzindo modificações específicas para lidar com as "contribuições quadráticas" inerentes ao modelo estendido. A estratégia de prova prossegue através das seguintes etapas:

Decomposição e Condicionamento:
A soma parcial é decomposta em uma parte $X$ -suave (inteiros com fatores primos $\le X$ ) e uma parte de primos grandes. Os autores condicionam nos valores de $f(p)$ para $p \le X$ .
- A contribuição $X$ -suave não é centrada e carece da ortogonalidade perfeita do caso sem quadrados. Os autores utilizam uma identidade de convolução $f = (\mu^2 f) * 1_{\square}$ para relacionar $f$ à função sem quadrados $g$ . Eles empregam a identidade de Parseval e estimativas de caos multiplicativo para mostrar que esta contribuição é pequena em um sentido de média logarítmica quadrática, apesar da falta de ortogonalidade pontual.
- A contribuição de primos grandes é tratada como uma forma linear centrada em variáveis de Rademacher independentes.
Lidando com o Polo de Zeta:
Uma inovação técnica fundamental é a introdução de um multiplicador para cancelar a singularidade em $s=1/2$ . Ao considerar a diferença entre somas normalizadas em $x$ e $4x$ (o "incremento de primos grandes"), os autores utilizam o fator $4^{s-1/2} - 1$ . Este fator anula-se em $s=1/2$ , cancelando efetivamente o polo do fator $\zeta(2s)$ na série de Dirichlet, tornando o produto de Euler relevante regular próximo da linha crítica.
Estimativas de Variância e Covariância:
- Variância: Usando o multiplicador e a identidade de Parseval, os autores estabelecem um limite inferior para a variância condicional dos incrementos de primos grandes, mostrando que é da ordem de $e^{-2.2W}(\log \log X)^{-1/2}$ .
- Esparsidade de Covariância: Para aplicar a comparação Gaussiana, os autores devem mostrar que as covariâncias condicionais entre incrementos em diferentes pontos são pequenas para a maioria dos pares. Eles provam uma estimativa de momento alto ponderada para a covariância condicional, adaptando o método de barreira de Harper. O multiplicador determinístico do passo de cancelamento introduz apenas uma perda logarítmica inofensiva, permitindo-lhes mostrar que grandes covariâncias são esparsas.
Aproximação Gaussiana:
Usando a esparsidade de grandes covariâncias e as variâncias estabelecidas, os autores aplicam um teorema de comparação Gaussiana multivariada. Eles demonstram que o máximo dos incrementos selecionados comporta-se como o máximo de um vetor Gaussiano com correlações fracas, permitindo-lhes derivar um limite inferior para a flutuação máxima.
Argumento de Borel-Cantelli:
O resultado é elevado do intervalo fixo $[X^{8/7}, X^{4/3}]$ para toda a semireta usando um lema de Borel-Cantelli condicional. Ao construir uma sequência de escalas e mostrar que a probabilidade de uma grande flutuação ocorrer em cada intervalo é limitada por um valor positivo, eles provam que tais flutuações ocorrem infinitamente muitas vezes quase certamente.

Principais Contribuições e Resultados

Resolução do Problema de Erdős #1144: O artigo fornece uma resposta afirmativa à questão de Erdős em uma forma quantitativa forte. Eles provam que, para qualquer função determinística $V(x) \to \infty$ , quase certamente:
$S_f(x) = \Omega_{\pm} \left( \frac{\sqrt{x}(\log \log x)^{1/4}}{V(x)} \right)$
Isso estabelece que a RMF estendida exibe a mesma ordem de magnitude de grandes flutuações que a RMF clássica sem quadrados, apesar da obstrução analítica do polo em $s=1/2$ .
Trocas de Sinal: Como um corolário direto, os autores estabelecem um novo limite inferior quase certo para o número de trocas de sinal das somas parciais. Eles provam que, para $x$ suficientemente grande, o número de trocas de sinal $N_f(x)$ satisfaz:
$N_f(x) \gg \log \log x$
Isso melhora os resultados qualitativos anteriores para a RMF estendida e fornece o primeiro limite inferior quantitativo para este modelo.
Robustez do Expoente de Flutuação: O resultado sugere que o expoente $1/4$ na escala de flutuação $(\log \log x)^{1/4}$ é robusto entre diferentes modelos de funções multiplicativas aleatórias, incluindo aquelas com estruturas completamente multiplicativas que introduzem singularidades de zeta.

Significado
O artigo afirma que a RMF de Rademacher estendida é possivelmente mais desafiadora do que os modelos clássicos sem quadrados ou de Steinhaus devido à perda de ortogonalidade e à presença do polo em $s=1/2$ . O principal significado reside em superar essas dificuldades analíticas para mostrar que o comportamento "típico" das grandes flutuações é preservado. Os autores observam que, embora o tamanho típico das somas (momentos baixos) se comporte de forma diferente no modelo estendido em comparação ao caso sem quadrados, a influência da propriedade completamente multiplicativa sobre as grandes flutuações é mais limitada do que anteriormente suspeitado. O trabalho resolve um problema aberto de longa data sobre o comportamento dessas somas e fornece um fortalecimento quantitativo da conjectura original de Erdős.

Mais como este