On $\frac{1}{n!}$ in Cantor sets

O artigo demonstra que o conjunto de Cantor de terço médio contém apenas os elementos $1$e$\frac{1}{5!}$da sequência$\{\frac{1}{n!}\}_{n \in \mathbb{N}}$, respondendo a uma questão recente de Jiang e generalizando o resultado para conjuntos de dígitos faltantes, provando que há apenas um número finito desses elementos em tais conjuntos.

O essencial

Imagine que você tem um bolo de aniversário (o número 1) e começa a cortá-lo em pedaços cada vez menores, seguindo uma regra muito específica: primeiro você corta em 1 pedaço, depois em 2, depois em 6 (2x3), depois em 24 (2x3x4), e assim por diante. Esses tamanhos de pedaços são chamados de fatoriais ($1!, 2!, 3!, 4!, \dots$).

Agora, imagine que existe uma piscina de água mágica chamada Conjunto de Cantor. Esta não é uma piscina comum; ela é feita de uma maneira estranha onde você remove pedaços do meio repetidamente. Se você tentar colocar qualquer coisa na piscina, ela só flutua se tiver uma "assinatura" muito específica em sua estrutura.

O problema que os matemáticos deste artigo estão tentando resolver é simples, mas difícil: Quais desses pedaços de bolo (os números $1/n!$) conseguem flutuar na piscina do Conjunto de Cantor?

A Descoberta Principal

Os autores, Kehao Lin, Yufeng Wu e Siyu Yang, descobriram que a resposta é surpreendentemente curta. Dentre todos os pedaços infinitos que você pode cortar do bolo, apenas dois conseguem entrar na piscina:

1. O bolo inteiro ($1/1! = 1$).
2. Um pedaço muito específico e pequeno ($1/5! = 1/120$).

Qualquer outro pedaço, seja ele $1/6!$,$1/100!$ou$1$ bilhão de fatorial, não consegue entrar na piscina. Eles "afundam" ou simplesmente não se encaixam na estrutura mágica do conjunto.

Como eles descobriram isso? (A Analogia da Receita)

Para entender como eles provaram isso, vamos usar uma analogia de receita de código.

1. A Linguagem do Número:
   Imagine que cada número tem uma "língua" ou um "código" para ser escrito. O Conjunto de Cantor só aceita números que são escritos usando apenas dois dígitos específicos (como 0 e 2) em uma base especial (base 3). É como se a piscina só aceitasse pessoas que vestissem apenas camisas brancas ou pretas.

2. O Problema dos Fatoriais:
   Os números $1/n!$são como códigos que mudam de linguagem à medida que$n$cresce. Para números pequenos, o código pode, por acaso, usar apenas as cores permitidas (branco e preto). Mas, conforme o número$n$fica grande, o código do número$1/n!$ começa a exigir cores proibidas (como o dígito 1, que é "banido" no Conjunto de Cantor).

3. A Ferramenta de Detecção:
   Os autores usaram uma ferramenta matemática poderosa (chamada de ordem multiplicativa e valoração p-ádica) que funciona como um detector de mentiras. Eles mostraram que, para números grandes, o "código" do $1/n!$ é forçado a usar os dígitos proibidos.

   Eles provaram matematicamente que, a partir de um certo ponto (no caso, quando $n$ passa de 20), é impossível que o número $1/n!$ seja escrito apenas com os dígitos permitidos. É como tentar escrever uma palavra usando apenas as letras "A" e "B", mas a palavra em si exige obrigatoriamente a letra "C" se for muito longa.

O Resultado Geral

A beleza deste trabalho não está apenas em resolver o caso do Conjunto de Cantor clássico. Os autores mostraram que essa lógica funciona para qualquer piscina desse tipo (chamados de "conjuntos de dígitos faltantes").

Eles criaram um algoritmo (uma receita passo a passo para computador) que diz:

• "Para qualquer piscina desse tipo, você só precisa verificar os primeiros $N$ pedaços de bolo. Depois disso, pode parar, porque nenhum outro vai entrar."

Isso transforma um problema infinito (verificar todos os números até o infinito) em um problema finito e resolvível.

Resumo em uma frase

Os matemáticos provaram que, na infinidade de frações geradas por fatoriais, apenas duas têm a "forma" exata para caber no famoso Conjunto de Cantor, e criaram um método para encontrar essas "agulhas no palheiro" em qualquer variação desse conjunto.

É como se dissessem: "Não adianta procurar no infinito; a resposta está escondida nos primeiros passos da escada."

Resumo técnico

Resumo Técnico: Interseção de Fatoriais Recíprocos com Conjuntos de Cantor

1. O Problema

O artigo aborda um problema de interseção entre sequências numéricas específicas e conjuntos fractais, uma questão que possui relevância tanto para a teoria dos números quanto para a geometria fractal. O problema central, formulado recentemente por Jiang et al. (2026), é determinar a interseção exata entre o conjunto de Cantor médio-terço ($C$) e a sequência de fatoriais recíprocos $\{1/n! : n \in \mathbb{N}\}$.

O conjunto de Cantor médio-terço $C$ é definido como o conjunto dos números reais em $[0,1]$ que possuem uma expansão na base 3 contendo apenas os dígitos 0 e 2. A questão é saber quais elementos da forma $1/n!$pertencem a este conjunto. Sabe-se que$1 = 1/1!$e$1/5! = 1/120$ estão na interseção, mas a completude dessa lista era desconhecida.

Mais amplamente, o trabalho investiga a interseção de sequências do tipo $\{1/n!\}$ com conjuntos de dígitos faltantes ($K_{m,D}$), que são generalizações do conjunto de Cantor onde, em uma base $m$, um subconjunto não vazio de dígitos $D$ é permitido, enquanto outros são excluídos.

2. Metodologia

A abordagem dos autores combina teoria analítica dos números, especificamente propriedades de ordens multiplicativas e valorações $p$-ádicas, com a estrutura aritmética das expansões em base $m$.

• Expansões Periódicas e Ordens Multiplicativas: O ponto de partida é a observação de que uma fração racional $r/q$ (com $\gcd(q, m)=1$) possui uma expansão em base $m$ puramente periódica, cujo comprimento do período é dado pela ordem multiplicativa de $m$ módulo $q$, denotada por $\text{ord}_q(m)$.
• Teorema de Korobov: Os autores utilizam um resultado fundamental de Korobov (1974) que fornece uma estimativa sobre a frequência de ocorrência de dígitos em expansões periódicas. Especificamente, para uma fração $r/q$ em um conjunto de dígitos faltantes $K_{m,D}$, se um dígito $i \notin D$ não aparece na expansão, a frequência desse dígito é zero. O teorema de Korobov limita a diferença entre a frequência observada e a esperada ($\text{ord}_q(m)/m$) em termos de $\text{ord}_{\text{rad}(q)}(m)$.
• Lema de Limitação (Lemma 2.2): Derivam-se consequências diretas do teorema de Korobov: se $r/q \in K_{m,D}$, então a ordem multiplicativa $\text{ord}_q(m)$ deve ser limitada por uma função linear de $\text{ord}_{\text{rad}(q)}(m)$.
• Análise Assintótica de Fatoriais: Para o caso específico de $1/n!$, os autores decompõem$n!$na base$m$(no caso do conjunto de Cantor,$m=3$). Escrevem$n! = m^{\nu_m(n!)} \cdot M_n$, onde$M_n$é o parte de$n!$coprima com$m$. A condição de pertença a$K_{m,D}$implica que$1/M_n$ deve satisfazer a desigualdade de limitação mencionada acima.
• Contradição para Grandes $n$: O núcleo da prova reside em demonstrar que, para $n$ suficientemente grande, a ordem multiplicativa $\text{ord}_{M_n}(m)$ cresce muito mais rápido do que a cota superior permitida pelo teorema de Korobov. Isso é feito analisando a valoração 2-adica (ou $p_0$-ádica para bases gerais) das ordens multiplicativas, utilizando o Teorema de Legendre para estimar a potência de primos em $n!$.

3. Contribuições Principais

1. Resolução da Questão de Jiang et al.: O artigo prova definitivamente que a interseção entre o conjunto de Cantor médio-terço e a sequência de fatoriais recíprocos é finita e exata:
   $$\left\{ \frac{1}{n!} : n \in \mathbb{N} \right\} \cap C = \left\{ 1, \frac{1}{5!} \right\}$$
   Isso confirma que $1$e$1/120$ são os únicos elementos da sequência que pertencem ao conjunto de Cantor.

2. Generalização para Conjuntos de Dígitos Faltantes: O método não é restrito ao conjunto de Cantor. Os autores estabelecem o Teorema 1.4, que afirma que para qualquer conjunto de dígitos faltantes $K_{m,D}$ (onde $m \ge 3$ e $1 < |D| < m$), a interseção com${1/n!}$ é sempre finita e efetivamente determinável.

3. Algoritmo Computacional: O trabalho fornece um algoritmo explícito (Algoritmo 1) para calcular essa interseção para qualquer par $(m, D)$. O algoritmo envolve:

   • Escolher um primo $p$ coprimo a $m$.
   • Calcular uma cota superior $n_0$ baseada em propriedades logarítmicas e de ordens multiplicativas.
   • Verificar exaustivamente apenas os casos $1 \le n < n_0$.

4. Técnicas de Valoração e Ordem Multiplicativa: A aplicação refinada das propriedades de $\text{ord}_q(m)$ e $\nu_p(n!)$ para estabelecer limites assintóticos rigorosos sobre a pertença de racionais a fractais é uma contribuição metodológica significativa.

4. Resultados Específicos

• Teorema 1.2: Prova que para o conjunto de Cantor ($m=3, D=\{0,2\}$), apenas $n=1$ e $n=5$ satisfazem a condição.
• Tabela de Exemplos: O artigo apresenta exemplos computados para outras bases e conjuntos de dígitos:
  • Para $(3, \{0,1\})$: A interseção é $\{1/2!, 1/3!, 1/4!, 1/6!\}$.
  • Para $(4, \{0,3\})$: A interseção é apenas $\{1\}$.
  • Para $(5, \{0,4\})$: A interseção é $\{1, 1/6!\}$.
• Limite de $n$: Para o caso do conjunto de Cantor, demonstra-se que para todo $n \ge 21$, a desigualdade necessária falha, eliminando a necessidade de verificar infinitos casos.

5. Significância

• Conexão com o Problema de Similaridade de Erdős: O trabalho toca em problemas abertos famosos, como o Problema de Similaridade de Erdős, que questiona se todo conjunto mensurável de medida positiva contém uma cópia afim de sequências como $\{1/2^n\}$ ou $\{1/n!\}$. Ao caracterizar exatamente quais elementos de $\{1/n!\}$ residem em fractais específicos, o artigo fornece dados concretos sobre a distribuição de números racionais em conjuntos de medida zero.
• Quantificação em Fractais: Enquanto resultados anteriores (como os de Schleischitz) garantiam a finitude de certos racionais em fractais, este trabalho vai além ao fornecer um método efetivo para encontrar todos esses racionais, transformando um resultado de existência qualitativa em uma ferramenta computacional prática.
• Rigidez Estrutural: O resultado ilustra a "rigidez" dos conjuntos de Cantor em relação a sequências de fatoriais. A estrutura de dígitos faltantes é tão restritiva que, exceto para casos muito pequenos, a complexidade aritmética de $1/n!$ (devido aos muitos fatores primos) impede que ele se encaixe na estrutura de dígitos permitida do fractal.

Em suma, o artigo resolve uma questão aberta recente, generaliza o resultado para uma classe ampla de fractais e fornece ferramentas algorítmicas para explorar a interseção entre a teoria dos números clássica e a geometria fractal.