🔢 mathematics

Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

Este artigo resolve dois problemas aditivos do tipo Erdős ao provar um limite inferior métrico quantitativo para a densidade de inteiros representáveis como um primo mais uma parte inteira de uma potência real, e estabelecer um análogo de densidade um para inteiros livres de quadrados mais uma potência real, enquanto também demonstra que a densidade inferior positiva de exceções persiste para bases específicas como a razão áurea.

Autores originais: Yuchen Ding

Publicado 2026-07-21

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yuchen Ding

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

Imagine que você é um detetive tentando resolver um quebra-cabeça massivo envolvendo números. No mundo da matemática, existe um jogo famoso chamado "teoria aditiva dos números", onde o objetivo é ver se você consegue construir cada número somando dois tipos específicos de ingredientes. Um ingrediente é geralmente um "número primo" (números como 2, 3, 5, 7 que só podem ser divididos por 1 e por eles mesmos) ou um "número livre de quadrados" (números que não são divisíveis por nenhum quadrado perfeito como 4, 9 ou 16). O outro ingrediente é uma "sequência esparsa", que é uma lista de números que fica muito fina, muito rápido, como as potências de 2 (2, 4, 8, 16...).

O objetivo é perguntar: se você pegar um número primo e somar um número desta lista fina, você consegue formar todos os números grandes? Ou, pelo menos, consegue formar quase todos os números? Isso é como perguntar se você consegue construir uma casa usando um tipo específico de tijolo e um tipo específico de madeira. Às vezes a resposta é "sim, você consegue construir quase qualquer casa", e às vezes é "não, existem certos formatos de casa que você simplesmente não consegue construir". O artigo que você está prestes a ler mergulha nesta questão, mas com um toque: em vez de usar números inteiros para a lista fina, o autor usa as "partes inteiras" de potências de números reais (como 1,5, 2,7 ou a proporção áurea). É como perguntar se podemos construir casas usando tijolos cortados de um fluxo contínuo de madeira em vez de tábuas pré-cortadas.

A História de Dois Quebra-Cabeças

Este artigo, escrito por Yuchen Ding, aborda duas versões diferentes deste quebra-cabeça de "blocos de construção". O autor está tentando descobrir se podemos cobrir toda a linha numérica (ou pelo menos a maior parte dela) somando primos ou números livres de quadrados a essas sequências especiais de "potências reais".

Quebra-cabeça 1: Os Números Primos e a Regra do "Quase Sempre"

O primeiro problema pergunta: se você escolher um número aleatório maior que 1 (vamos chamá-lo de $y$ ) e criar uma lista de números pegando a parte inteira de $y^1, y^2, y^3$ , e assim por diante, você pode somar esses números a números primos para obter quase todos os outros números?

O autor prova um resultado muito forte aqui: Para quase todo número que você escolher, a resposta é um "sim" retumbante. Se você escolher um número $y$ ao acaso, é matematicamente garantido que o conjunto de números que você pode construir (Primo + Parte Inteira de $y^k$ ) terá uma densidade assintótica inferior positiva. Em português claro, isso significa que você não conseguirá construir apenas algumas casas; você será capaz de construir um bairro massivo e infinito de casas, garantindo que, não importa quão longe você olhe, sempre encontrará um pedaço significativo de números que você pode construir. O artigo até fornece uma fórmula precisa para o tamanho mínimo desse pedaço, mostrando que quanto mais "espalhadas" forem suas potências (quanto maior for o $y$ ), menos números você poderá construir, mas você sempre construirá uma parte significativa.

No entanto, o artigo também revela uma "exceção" fascinante. Só porque funciona para quase todo número, não significa que funcione para todo número. O autor constrói um exemplo específico e complicado usando a Proporção Áurea (aquele número famoso $\phi \approx 1,618$ frequentemente encontrado na natureza e na arte). Quando você usa a Proporção Áurea, as "partes inteiras" de suas potências comportam-se de uma maneira muito especial e rítmica (estão intimamente relacionadas aos números de Lucas). O autor prova que, se você usar este número específico, há uma proporção positiva de inteiros que simplesmente não podem ser construídos. É como encontrar um tipo específico de madeira que, não importa o quanto você tente, deixa uma lacuna em sua parede que você nunca poderá preencher. Esta é uma prova concreta de que a "Proporção Áurea" é um "mau ator" neste jogo, deixando um buraco permanente na cobertura.

Quebra-cabeça 2: Os Números Livres de Quadrados e o "Número Mágico"

O segundo problema troca os primos por "números livres de quadrados" (números não divisíveis por 4, 9, 16, etc.). Um matemático famoso chamado Erdős uma vez supôs que, se você somasse potências de 2 a números livres de quadrados, poderia construir todo número ímpar grande. Esta versão específica do quebra-cabeça ainda não foi resolvida e é considerada muito difícil.

Em vez de resolver a versão difícil com potências de 2, o autor faz uma pergunta ligeiramente diferente: Podemos encontrar algum número real $a$ (entre 2 e 3) tal que, se usarmos suas potências, possamos construir quase todos os inteiros positivos?

A resposta é sim. O autor prova que existe pelo menos um "número mágico" $a$ nesse intervalo. Ao escolher cuidadosamente este número, o autor mostra que as "partes inteiras" de suas potências podem ser forçadas a cair exatamente nos lugares certos para preencher as lacunas deixadas pelos números livres de quadrados. É como encontrar uma chave secreta que, quando girada, desbloqueia a capacidade de construir quase todas as casas da cidade. O artigo não nos diz exatamente qual é esse número (ele prova que ele existe, mas não o escreve como um decimal simples), mas prova que tal número está por aí, esperando para ser encontrado.

O Panorama Geral

Em resumo, este artigo é uma obra-prima de investigação matemática. Ele mostra que:

Geralmente, funciona: Se você escolher uma base aleatória para suas potências, você quase sempre pode construir uma enorme coleção de números somando-as a números primos, garantindo uma densidade inferior positiva.
Mas cuidado com a Proporção Áurea: Existe um número específico e famoso onde o padrão quebra, deixando uma lacuna permanente.
Uma solução mágica existe: Para o problema dos números livres de quadrados, embora não possamos resolver a versão original de "potências de 2" ainda, sabemos que existe um número real "mágico" que resolve uma versão muito semelhante do problema, de densidade um.

O autor utiliza uma mistura de argumentos "métricos" (observando o que acontece em média para números aleatórios) e argumentos "construtivos" (construindo exemplos específicos para provar lacunas ou soluções). Os resultados não são apenas palpites ou simulações de computador; são provas matemáticas rigorosas. O artigo confirma que, embora o universo dos números seja vasto e às vezes complicado, existem regras profundas e subjacentes que nos permitem cobrir quase tudo, desde que escolhamos nossos ingredientes corretamente.

Resumo Técnico: Partes Inteiras de Potências Reais em Dois Problemas de Erdős do Tipo Romanoff

Visão Geral e Enunciado do Problema
Este artigo investiga dois problemas aditivos dentro do quadro de investigação da linha Erdős–Romanoff. O tema central é a substituição de sequências rígidas de potências integrais ( $a^k$ ) pelas partes inteiras de potências de uma base real ( $\lfloor y^k \rfloor$ ). Esta modificação preserva a dispersão logarítmica do termo somando enquanto introduz um parâmetro real que permite tanto abordagens métricas (probabilísticas) quanto construtivas. O artigo aborda duas questões específicas:

O Problema dos Primos (Erdős–Kalmár): O conjunto $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$ possui densidade assintótica inferior positiva para todo $y > 1$ real?
O Problema dos Números Livres de Quadrados: Todo inteiro suficientemente grande pode ser representado como a soma de um inteiro livre de quadrados e uma potência de dois ( $n = q + 2^k$ )? Enquanto a versão de base fixa permanece aberta, o artigo busca um análogo de base variável onde $2^k$ é substituído por $\lfloor a^m \rfloor$ .

Metodologia
O artigo emprega três abordagens metodológicas distintas correspondentes aos seus três teoremas principais:

Teoria Métrica dos Números e Análise de Segundo Momento (Teorema 1.1):
Para estabelecer densidade positiva para quase todas as bases reais, o autor combina um critério determinístico de segundo momento de Romanoff com estimativas métricas.

Critério de Segundo Momento: Um lema quantitativo (Lema 3.1) é derivado, ligando a densidade inferior de $P+A$ à função de contagem de $A$ e às correlações de pares ponderadas das diferenças em $A$ . O peso $W(h) = \prod_{p|h}(1+1/p)$ contabiliza a distribuição de primos em progressões aritméticas via crivo de Selberg.
Controle Métrico: A principal contribuição técnica é provar que, para quase todo $y$ , a sequência $\lfloor y^k \rfloor$ satisfaz as estimativas necessárias de correlação de pares. Isso envolve analisar a distribuição de $\lfloor y^k \rfloor \pmod d$ . A prova utiliza a desigualdade de Erdős–Turán e estima somas exponenciais $\sum e(h y^k / d)$ . Ao separar os divisores em "pequenos" (tratados por argumentos de equidistribuição) e "grandes" (tratados por estimativas de derivada de $y^\ell - y^k$ ), o autor mostra que as correlações de pares ponderadas correspondem à expectativa do modelo aleatório $\zeta(2)/2\zeta(4)$ para quase todo $y$ .

Congruências de Cobertura e Números de Lucas (Teorema 1.2):
Para demonstrar que a cobertura de densidade um não é garantida mesmo no cenário de base real, o artigo constrói uma "base excepcional".

Conexão com a Razão Áurea: O autor explora a identidade entre $\lfloor \phi^k \rfloor$ (onde $\phi$ é a razão áurea) e os números de Lucas ( $L_k$ ). Especificamente, $\lfloor \phi^k \rfloor$ é igual a $L_k$ ou $L_k - 1$ , dependendo da paridade de $k$ .
Cobertura Finita: Uma coleção finita de congruências é construída para cobrir todos os expoentes $k$ . Ao selecionar uma progressão aritmética específica para os inteiros alvo $n$ , o autor garante que, para qualquer representação $n = p + \lfloor \phi^k \rfloor$ , o primo $p$ deve ser divisível por um dos conjuntos finitos de pequenos primos. Isso força $p$ a ser um desses pequenos primos, limitando o número de inteiros representáveis na progressão a $O(\log x)$ , provando assim que uma proporção positiva de inteiros é omitida.

Construção de Intervalos Aninhados e Cobertura de Resíduos (Teorema 1.3):
Para o problema dos livres de quadrados, o artigo prova a existência de uma base real $a \in (2,3)$ tal que $\lfloor a^m \rfloor$ atua como um complemento aditivo para os inteiros livres de quadrados com densidade um.

Cobertura de Resíduos: A prova constrói um conjunto finito de deslocamentos módulo $Q_z = \prod_{p \le z} p^2$ que interceptam o conjunto de resíduos livres de quadrados $R_z$ com alta multiplicidade.
Intervalos Aninhados: Um argumento construtivo (Lema 5.2) é usado para realizar uma sequência contável de classes de congruência prescritas como valores de $\lfloor a^m \rfloor$ para um único número real $a$ . Isso é alcançado definindo uma sequência aninhada de intervalos fechados $I_0 \supset I_1 \supset \dots$ onde cada etapa fixa um expoente $m$ específico e um valor $t = \lfloor a^m \rfloor$ para satisfazer uma congruência necessária.
Argumento de Densidade: A construção garante que, para $x$ grande, os inteiros "excepcionais" (aqueles não representáveis) são dominados por aqueles que não são livres de quadrados módulo grandes primos, um conjunto de densidade zero.

Resultados Principais

Teorema 1.1 (Teorema Primal Métrico): Para quase todo $y > 1$ de Lebesgue, o conjunto $S_y = \{p + \lfloor y^k \rfloor\}$ tem uma densidade assintótica inferior $\delta_y$ satisfazendo:
$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$
onde $C_{sv}$ é a constante absoluta do crivo de Selberg. A ordem $1/\log y$ é mostrada como ótima quando $y \to \infty$ .
Teorema 1.2 (Base Excepcional para Primos): Para a base específica $y = \phi = (1+\sqrt{5})/2$ , o conjunto de inteiros não representáveis como $p + \lfloor \phi^k \rfloor$ tem densidade inferior positiva. Especificamente:
$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$
Teorema 1.3 (Complemento de Densidade Um para Livres de Quadrados): Existe um número real $a \in (2, 3)$ tal que o conjunto de inteiros não representáveis como $q + \lfloor a^m \rfloor$ (onde $q$ é livre de quadrados) tem densidade zero:
$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$
Este resultado é estendido no Corolário 5.3 para inteiros $r$ -livres para qualquer $r \ge 2$ .

Significância e Alegações
O artigo afirma resolver a conjectura de Erdős–Kalmár para quase todas as bases reais, fornecendo um limite inferior quantitativo preciso que depende da base $y$ . Ele esclarece a fronteira do fenômeno de Romanoff ao mostrar que, embora a densidade positiva seja genérica, a cobertura total (densidade um) não é garantida para todas as bases reais, como demonstrado pelo contraexemplo da razão áurea.

Em relação ao problema dos livres de quadrados, o artigo não resolve a conjectura de base fixa ( $2^k + q$ ), mas fornece um "análogo de densidade um" no cenário de base variável. A significância reside em demonstrar que a flexibilidade de um parâmetro real permite impor condições de congruência indisponíveis para bases fixas, superando as obstruções que tornam o problema de base fixa difícil. O trabalho unifica teoria métrica dos números, métodos de crivo e argumentos construtivos de cobertura para abordar problemas aditivos de longa data envolvendo sequências esparsas.

Mais como este