🔢 mathematics

Large Sets of Integers with No Harmonic Triples

Este artigo estabelece um novo limite inferior para o tamanho máximo de um subconjunto de $\{1, \dots, N\}$ que não contém triplas harmônicas distintas, alcançado através da construção de tal conjunto via uma imagem afim aleatória de um conjunto denso livre de progressões em um corpo primo seguido pela remoção de triplas colapsadas.

Autores originais: Samuel Korsky

Publicado 2026-07-08

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Samuel Korsky

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ê tem um pote gigante cheio de bolas numeradas, de 1 até um número muito grande $N$ . Seu objetivo é escolher o máximo de bolas possível para guardar em uma caixa menor, mas com uma regra estrita: Você não pode escolher três bolas que formem um "Trio Harmônico".

O que é um Trio Harmônico?

No mundo dos números, um "Trio Harmônico" é um trio especial de números $(a, b, c)$ onde os recíprocos (os números invertidos, como $1/a$ ) formam uma linha perfeitamente espaçada.

Pense nisso como um acorde musical. Se você tem três notas, e a "distância" entre a primeira e a segunda nota é exatamente a mesma distância entre a segunda e a terceira, elas estão em harmonia.

Matematicamente, isso significa: $\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$ .
Se você encontrar três números na sua caixa que se encaixam nessa equação, você tem que jogar todo o trio fora.

O autor, Samuel Korsky, pergunta: Quão grande pode ser nossa caixa antes de sermos forçados a jogar fora tantos números que ela se torne minúscula?

A Grande Descoberta

Por muito tempo, os matemáticos sabiam como construir caixas grandes de números que evitavam padrões comuns (como três números em sequência: 3, 5, 7). Mas evitar esses padrões "Harmônicos" era muito mais difícil porque a matemática funciona de forma diferente (trata-se de inverter números, não apenas somá-los).

Korsky prova que podemos construir uma caixa muito grande de números que não contém Trios Harmônicos.

O Tamanho: A caixa não é apenas um pequeno ponto; é uma parte significativa do pote original.
A Ressalva: Não é tão grande quanto as caixas de "sem padrão" comuns, mas ainda é enorme. O artigo fornece uma fórmula específica mostrando que, conforme o pote aumenta, a caixa que podemos manter cresce de uma forma previsível e impressionante.

Como Ele Fez Isso? (A Construção)

Korsky não escolheu os números aleatoriamente. Ele usou um processo de "filtragem" de duas etapas, como um peneiramento de alta tecnologia.

Passo 1: O Filtro de "Sombra" (O Campo Primo)
Imagine que você tem um pequeno livro de códigos secretos (um pequeno grupo de números chamado "campo primo"). Nesse livro de códigos, há uma lista especial de números que já não possui padrões de "três em linha".
Korsky pega essa pequena lista perfeita e usa uma "lente mágica" aleatória (uma imagem afim aleatória) para projetá-la no pote gigante de bolas.

Ele só mantém as bolas cujas "sombras" (quando divididas por um número primo específico) caem naquela lista especial.
Como a lista original não tinha padrões, na maioria das vezes, as bolas que você escolher também não formarão Trios Harmônicos.

Passo 2: A Limpeza do "Colapso"
Às vezes, a lente mágica causa um erro. Alguns trios ruins podem passar, porque parecem diferentes no mundo real, mas parecem idênticos quando vistos através da lente (eles "colapsam" na mesma sombra).

Korsky percebeu que esses trios de "erro" são raros. Eles só acontecem se os números compartilharem uma propriedade matemática muito específica e rara.
Ele calculou exatamente quantos desses erros poderiam existir. O número é pequeno o suficiente para que ele possa simplesmente jogar fora o "maior" número de cada trio problemático que encontrar.
Mesmo depois de jogar esses poucos fora, a caixa ainda é enorme.

A Analogia: A Lista de Convidados da Festa

Imagine que você está organizando uma festa para $N$ convidados. Você quer convidar o máximo de pessoas possível, mas tem uma regra: Não pode haver três convidados que sejam "Harmônicos".

A Regra Padrão: Normalmente, você apenas evitaria pessoas que estão paradas em uma linha reta (como 1, 2, 3).
A Regra Harmônica: Isso é mais complicado. É como dizer: "Não pode haver três convidados que sejam relacionados de uma forma que suas 'personalidades inversas' se equilibrem perfeitamente".
A Estratégia:
- Primeiro, você olha para um pequeno clube VIP (o campo primo) onde você sabe exatamente quem combina com quem.
- Você usa um "gerador de etiquetas de nome" aleatório para atribuir convidados à festa com base em quem está nesse clube VIP.
- Na maioria das vezes, isso funciona perfeitamente.
- Ocasionalmente, três convidados que não deveriam estar juntos acabam recebendo a mesma etiqueta de nome por acidente. Você identifica esses poucos encrenqueiros e pede educadamente para o mais alto ir embora.
- Resultado: Você ainda tem uma festa enorme, e ninguém está quebrando a regra Harmônica.

O Que Vem a Seguir?

O artigo resolve a questão do "Quão grande podemos fazer isso?" (o limite inferior). No entanto, o autor deixa uma porta aberta: É possível ter uma festa onde quase todos sejam convidados (densidade positiva)?
Atualmente, não sabemos se é possível preencher a caixa até a borda sem quebrar a regra, ou se sempre seremos forçados a deixar algumas pessoas de fora. Isso permanece um mistério para futuros matemáticos.

Em resumo: Agora sabemos que podemos construir uma grande coleção de números que evita essas complicadas relações "Harmônicas", usando uma mistura inteligente de seleção aleatória e limpeza cuidadosa.

Resumo Técnico: Grandes Conjuntos de Inteiros sem Triplas Harmônicas

Enunciado do Problema
Este artigo investiga o tamanho máximo, denotado por $f(N)$ , de um subconjunto $A \subseteq [N] = \{1, \dots, N\}$ que não contém elementos distintos $a, b, c$ satisfazendo a condição de tripla harmônica:
$\frac{2}{a} = \frac{1}{b} + \frac{1}{c}$
Este problema é apresentado como um análogo recíproco ao problema clássico de estimar $r_3(N)$ , o tamanho máximo de um subconjunto de $[N]$ que não contém uma progressão aritmética de três termos (3-AP) não trivial. Enquanto os limites superior e inferior para $r_3(N)$ foram extensivamente estudados (referenciando trabalhos de Behrend, Roth, Salem, Spencer, Elkin, Green, Wolf, Bloom, Sisask, Kelley, Meka e outros), o mapa recíproco $x \mapsto 1/x$ não é um mapa aditivo em intervalos de inteiros. Consequentemente, os limites superiores existentes para $r_3(N)$ não se aplicam diretamente ao cenário harmônico.

Metodologia e Construção
O autor constrói um grande subconjunto de $[N]$ livre de triplas harmônicas usando um método probabilístico combinado com uma parametrização específica de triplas harmônicas. A construção procede da seguinte forma:

Seleção de Campo Primal: Um primo $q$ é escolhido tal que $q \asymp \log N$ .
Conjunto Livre de Progressões: Um conjunto denso livre de progressões de três termos $R \subseteq \mathbb{F}_q$ é selecionado. A densidade deste conjunto depende do limite inferior do tipo Behrend melhorado para $r_3(X)$ estabelecido por Elsholtz, Hunter, Proske e Sauermann. Especificamente, $|R|/q \ge \exp\left(-(C_{AP} + o(1))\sqrt{\log q}\right)$ , onde $C_{AP} = 2\sqrt{\log(24/7)}$ .
Filtragem Afim Aleatória: Uma imagem afim aleatória $R_{\lambda, \mu} = \lambda R + \mu$ (onde $\lambda \in \mathbb{F}_q^\times, \mu \in \mathbb{F}_q$ ) é usada para filtrar os inteiros ímpares $n \le N$ tais que $n \not\equiv 0 \pmod q$ e $n^{-1} \pmod q \in R_{\lambda, \mu}$ . Este conjunto aleatório inicial $B_0$ tem um tamanho esperado $\gg \delta N$ , onde $\delta = |R|/q$ .
Tratamento de Triplas Colapsadas: A dificuldade central é que uma tripla harmônica nos inteiros pode mapear para uma progressão constante (todos os resíduos iguais) em $\mathbb{F}_q$ , em vez de uma progressão não trivial. O artigo utiliza uma parametrização de triplas harmônicas ímpares (Lema 2.2) para mostrar que, se uma tripla $b < a < c$ satisfaz a condição harmônica e $a \equiv b \equiv c \pmod q$ , então o parâmetro de diferença $d$ na parametrização deve ser divisível por $q$ .
Estratégia de Deleção: A construção deleta o maior elemento de qualquer tripla harmônica sobrevivente. O número de tais triplas "colapsadas" (onde $q \mid d$ ) é mostrado como $O(N \log N / q)$ . Como a probabilidade de qualquer tripla específica sobreviver ao filtro aleatório é $\delta$ , o número esperado de deleções é pequeno em relação ao tamanho inicial do conjunto, desde que a constante em $q \asymp \log N$ seja escolhida suficientemente grande.

Resultados Principais
O teorema principal estabelece um limite inferior para $f(N)$ que espelha o limite inferior do tipo Behrend melhorado para $r_3(N)$ , mas com um deslocamento logarítmico:

Teorema 1.1: À medida que $N \to \infty$ ,
$f(N) \gg N \exp\left( -(C_{AP} + o(1))\sqrt{\log \log N} \right)$
onde $C_{AP} = 2\sqrt{\log(24/7)}$ .

A prova demonstra que, ao escolher $q \asymp \log N$ , o termo $\sqrt{\log q}$ no expoente da densidade do conjunto livre de progressões traduz-se em $\sqrt{\log \log N}$ no limite final para o conjunto harmônico.

Significância e Questões Abertas
O artigo afirma transferir com sucesso os limites inferiores de estado da arte para conjuntos livres de progressões para o cenário de triplas harmônicas. A construção é descrita como "direta", dependendo da interação entre a densidade de conjuntos livres de progressões em campos primos e a estrutura aritmética das triplas harmônicas módulo um primo.

O autor observa que o problema complementar de limite superior permanece em aberto. Especificamente, o artigo propõe a Questão 1.2: É verdade que $f(N) = o(N)$ quando $N \to \infty$ ? Em outras palavras, é impossível para um conjunto de densidade positiva ser livre de triplas harmônicas? O artigo não resolve esta questão, mas destaca que este é o próximo passo natural no estudo deste problema.

O que é um Trio Harmônico?

A Grande Descoberta

Como Ele Fez Isso? (A Construção)

A Analogia: A Lista de Convidados da Festa

O Que Vem a Seguir?

Mais como este