🔢 mathematics

Frequency Ordered Ratio Families Arising from the Factorization of $p_{m-1}+1$

Este artigo investiga uma sequência ordenada por frequência de valores de razão derivados da fatoração de $p_{m-1}+1$ , explicando o surgimento de distintas "famílias" nesses gráficos e propondo um modelo assintótico heurístico baseado em primos em progressões aritméticas para dar conta da distribuição de frequência observada.

Autores originais: Alexander R Povolotsky

Publicado 2026-05-12

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Alexander R Povolotsky

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 uma máquina gigante que pega um número, encontra o número primo imediatamente anterior a ele, subtrai um e depois adiciona um de volta. Matematicamente, isso se parece com $p_{m-1} + 1$ . Se você fizer essa máquina rodar para milhares de números diferentes, obterá uma lista massiva de resultados.

Na maioria das vezes, esses resultados são compostos por pequenos blocos de construção (fatores primos). Mas, às vezes, a máquina produz um resultado com um bloco gigante que é maior do que o número com o qual você começou.

Este artigo trata de encontrar esses momentos especiais de "bloco gigante", desmontá-los e classificar os restos. Aqui está a história do que o autor, Alexander Povolotsky, descobriu, explicada em termos do cotidiano.

1. O Filtro do "Bloco Gigante"

Pense no número $p_{m-1} + 1$ como uma barra de chocolate. Normalmente, essa barra é feita de muitos quadrados pequenos e de tamanho igual.
No entanto, para certos números específicos (que o autor chama de "família A223881"), a barra de chocolate tem um quadrado gigante que é maior do que a própria barra inteira (matematicamente, o maior fator primo é maior que o índice $m$ ).

Quando isso acontece, o autor diz: "Vamos quebrar aquele quadrado gigante."

O Quadrado Gigante: Este é o maior fator primo ( $L_m$ ).
O Restante: Este é o resto da barra ( $R_m$ ).

O artigo foca inteiramente nesses Restantes ( $R_m$ ).

2. As "Famílias" no Gráfico

Se você plotasse cada um desses "Restantes" em um gráfico, não veria uma bagunça aleatória. Em vez disso, veria linhas distintas ou "famílias" de pontos.

Por quê? Porque a matemática funciona como um gangorra.

Se o Quadrado Gigante é enorme, o Restante deve ser minúsculo.
Se o Quadrado Gigante é apenas um pouco maior que o número inicial, o Restante é um pouco maior.

Portanto, toda vez que o "Restante" acaba sendo o número 2, todos esses pontos de dados se alinham em uma curva específica. Toda vez que o "Restante" é 3, eles se alinham em uma curva diferente. As curvas mais comuns são aquelas com os menores restos (2, 3, 4, etc.).

3. A Lista "Ordenada por Frequência"

O autor decidiu pegar todos esses restos, contar com que frequência cada número aparece e alinhá-los do "Mais Comum" para o "Menos Comum".

O resultado é uma sequência específica de números:
2, 3, 4, 8, 6, 12, 10, 14, 15...

Por que o 2 vem primeiro? É o restante mais comum.
Por que o 3 vem em segundo? É o próximo mais comum.
Por que o 8 vem antes do 6? Embora 6 seja menor que 8, o número 8 aparece como um restante com mais frequência neste processo matemático específico.

É como organizar um saco de bolinhas de gude por cor, mas, em vez de vermelho ou azul, as "cores" são números, e você os organiza pela quantidade de cada um que encontrou.

4. O "Porquê" (O Modelo Heurístico)

O artigo tenta explicar por que alguns números são mais comuns que outros usando uma regra prática simples:

Imagine que você está tentando encaixar uma peça de quebra-cabeça (o número $R$ ) em um espaço.

O Encaixe: O número $R$ precisa "caber" perfeitamente na equação matemática. O artigo sugere que números com menos "regras de encaixe" (matematicamente, números com um valor baixo de função totiente de Euler, $\phi(r)$ ) são mais fáceis de encontrar.
A Raridade: Encontrar um número primo é como achar uma agulha em um palheiro. Quanto mais rara a agulha, mais difícil é encontrá-la.

O autor propõe que a frequência de um número restante $R$ é determinada aproximadamente pela facilidade com que ele se encaixa na equação dividida pela dificuldade de encontrar um número primo.

Números pequenos (como 2, 3, 4) são fáceis de encaixar e fáceis de encontrar, então aparecem constantemente.
Números maiores são mais difíceis de encaixar e mais difíceis de encontrar, então aparecem raramente.

5. O Que o Computador Fez

Para provar isso, o autor escreveu um programa de computador (usando Mathematica) que executou esse experimento da "barra de chocolate" 50.000 vezes.

Verificou cada número até 50.000.
Quebrou os fatores primos gigantes.
Contou os restos.
Confirmou que a lista 2, 3, 4, 8, 6... é de fato a ordem correta de popularidade.

6. O Que Ainda Não Sabemos (Problemas Abertos)

O artigo termina admitindo que, embora o computador nos mostre o padrão, não temos uma prova matemática perfeita de por que isso acontece exatamente dessa maneira.

O Mistério: Podemos adivinhar o padrão usando probabilidade (como prever o tempo), mas ainda não podemos prová-lo com certeza absoluta.
As Questões: Essa lista alguma vez deixará de mudar? Existem regras ocultas para quando números primos aparecem como restos?

Resumo

Em resumo, este artigo trata de pegar uma máquina matemática estranha, filtrar os resultados que têm uma parte "gigante" e observar as partes "pequenas" que sobram. Ao classificar essas partes pequenas pela frequência com que aparecem, o autor encontrou um padrão bonito e previsível que liga a aleatoriedade dos números primos a uma lista estruturada de números. É um pouco como descobrir que, se você organizar todos os diferentes tamanhos de seixos em uma praia pela frequência com que aparecem, eles formam uma linha perfeita e previsível.

Resumo Técnico: Famílias de Razões Ordenadas por Frequência Decorrentes da Fatoração de $p_{m-1} + 1$

Enunciado do Problema
Este artigo investiga as propriedades estruturais da sequência de inteiros definida por $p_{m-1} + 1$ , onde $p_n$ denota o $n$ -ésimo número primo. O estudo foca especificamente no subconjunto de índices $m \ge 3$ pertencentes à sequência OEIS A223881. Esta sequência é definida pela condição de que o maior fator primo de $p_{m-1} + 1$ , denotado por $L_m$ , excede $m$ (isto é, $L_m > m$ ). Para a maioria dos $m$ , todos os fatores primos de $p_{m-1} + 1$ são $\le m$ ; assim, o conjunto A223881 representa uma coleção esparsa, porém estruturada, de índices "excepcionais".

O problema central é compreender a distribuição do fator complementar $R_m = (p_{m-1} + 1) / L_m$ dentro deste subconjunto. Gráficos computacionais de $p_{m-1} + 1$ para $m \in \text{A223881}$ revelam um fenômeno de "família", onde os pontos de dados agrupam-se ao longo de curvas distintas. O artigo busca explicar esse agrupamento e derivar uma sequência baseada na frequência dos valores $R_m$ .

Metodologia
Os autores empregam uma combinação de enumeração computacional, modelagem probabilística heurística e teoria clássica dos números:

Enumeração Computacional: O estudo gera valores de $p_{m-1} + 1$ para $m$ até $N = 50.000$ . Para cada $m$ , o inteiro é fatorado em $L_m R_m$ . Os autores filtram os casos onde $L_m > m$ , coletando os valores resultantes de $R_m$ em um multiconjunto.
Ordenação por Frequência: Os valores distintos de $R_m$ são ordenados pela sua frequência de ocorrência (ordem decrescente) para formar uma nova sequência, $S(N)$ .
Modelagem Heurística: Os autores propõem um modelo probabilístico para estimar a frequência de um valor específico $r$ $r$ aparecer como $R_m$ $R_{m}$ . Este modelo depende de duas condições:
- $r$ deve dividir $p_{m-1} + 1$ .
- O quociente $(p_{m-1} + 1)/r$ deve ser primo (especificamente, $L_m$ ).
Análise Teórica: O artigo utiliza o teorema de Dirichlet sobre primos em progressões aritméticas para estimar a densidade de $m$ que satisfazem a condição de divisibilidade $r \mid (p_{m-1} + 1)$ .

Principais Contribuições e Resultados

Definição da Sequência de Razões Ordenadas por Frequência: O artigo define uma sequência $S(N)$ consistindo em valores distintos de $R_m$ ordenados por frequência. Para $N=50.000$ , o segmento inicial desta sequência é $2, 3, 4, 8, 6, 12, 10, 14, 15, 18, \dots$ . Os autores observam que o segmento inicial parece estabilizar à medida que $N$ aumenta.
Explicação do Fenômeno "Família": O artigo esclarece que as curvas distintas observadas nos gráficos de $p_{m-1} + 1$ correspondem a valores fixos de $R_m$ . Como $L_m > m$ é uma condição restritiva, $L_m$ deve ser grande, forçando $R_m$ a ser relativamente pequeno. Consequentemente, pontos com o mesmo valor pequeno de $R$ agrupam-se ao longo da curva $p_{m-1} + 1 = R \cdot L_m$ . As famílias mais proeminentes correspondem aos valores mais frequentes de $R_m$ .
Teorema de Divisibilidade (Teorema 1): O artigo estabelece que, para um inteiro fixo $r \ge 1$ , a contagem de $m \le N$ tal que $r \mid (p_{m-1} + 1)$ é assintoticamente $N / \phi(r)$ , onde $\phi$ é a função totiente de Euler. Este resultado é derivado heuristicamente a partir do teorema de Dirichlet.
Modelo Assintótico Heurístico (Conjectura 1): Combinando a densidade de divisibilidade ( $1/\phi(r)$ ) com a probabilidade heurística de que o quociente seja primo ( $1/\log N$ ), os autores propõem que a frequência de um $R_m = r$ específico segue a lei:
$\#\{m \le N : R_m = r\} \sim \frac{CN}{\phi(r) \log N}$
onde $C$ é uma constante positiva próxima de 1.
Verificação Numérica: A análise log-log de dados empíricos até $N=50.000$ confirma uma relação linear entre $\log(\text{contagem}(r))$ e $\log(\phi(r))$ com uma inclinação próxima de $-1$, apoiando o ponderamento inverso ao totiente de Euler.
Valores Primos de R: O artigo observa que, embora $R_m$ possa ser primo, tais ocorrências são raras entre os valores mais frequentes. Apenas $R=2$ e $R=3$ aparecem frequentemente; valores primos maiores de $R$ ocorrem extremamente raramente.

Significância e Alegações
O artigo alega fornecer uma nova perspectiva sobre a estrutura da OEIS A223881, ligando o fenômeno "família" em $p_{m-1} + 1$ à distribuição de frequência do fator complementar $R_m$ . A significância primária reside na observação de que a ordenação dessas famílias é governada assintoticamente pelo inverso da função totiente de Euler, $\phi(r)^{-1}$ .

Os autores enquadram modestamente seu trabalho como uma explicação de padrões computacionais observados e uma proposta de um modelo heurístico. Eles afirmam explicitamente que a prova rigorosa da lei inversa- $\phi(r)$ permanece um problema em aberto. O artigo não alega ter provado a distribuição assintótica ou a monotonicidade da subsequência de primos dentro da lista ordenada por frequência; em vez disso, identifica esses como problemas em aberto que exigem um controle mais profundo sobre as estatísticas de fatoração de $p_{m-1} + 1$ . O trabalho serve como uma ponte entre observações da teoria dos números computacional e resultados clássicos sobre primos em progressões aritméticas.