🔢 mathematics

On the number of missing integers in partitions

Este artigo estuda o conjunto de inteiros positivos ausentes em partições não restritas e sobrepartições, determinando o número de partições com uma quantidade específica de inteiros faltantes, estabelecendo congruências para funções associadas e propondo conjecturas de desigualdade do tipo viés.

Autores originais: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

Publicado 2026-04-15

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

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 caixa de brinquedos numerados de 1 a 10. Você decide organizar alguns desses brinquedos em pilhas (partições) para brincar. Às vezes, você usa o brinquedo 1, o 2 e o 4. O que acontece com o 3? Ele está faltando na sua pilha, mas como o 4 está lá, o 3 é considerado um "número ausente".

Este artigo de matemática, escrito por Bhoria, Eyyunni e Santra, é como um grande inventário desses "brinquedos faltantes" em diferentes tipos de caixas organizadas. Eles não olham apenas para o primeiro brinquedo que falta (algo que outros matemáticos já estudaram), mas contam quantos brinquedos faltam no total em cada pilha.

Aqui está uma explicação simples do que eles descobriram, usando analogias do dia a dia:

1. O Conceito Principal: A "Lista de Compras" Incompleta

Pense em uma partição de um número (digamos, 10) como uma lista de compras que você fez para uma festa. Você comprou:

3 bolos
2 refrigerantes
1 bolo extra

Sua lista tem os itens 1, 2 e 3. Mas você não comprou o item 4? E o 5? Se o seu maior item foi o 3, então o 4 e o 5 não são "faltantes" porque você nem esperava tê-los. Mas se você comprou até o item 10, e faltou o 4, o 5 e o 7, esses são os inteiros ausentes.

Os autores contam quantos desses "espaços vazios" existem em cada tipo de lista possível.

2. Duas Regras do Jogo (Partições vs. Sobre-partições)

O artigo estuda dois cenários diferentes:

Partições Comuns (Unrestricted Partitions): Imagine que você pode repetir os mesmos brinquedos quantas vezes quiser. Você pode ter três bolas vermelhas (3) e duas bolas azuis (2). É a regra clássica de organização.
Sobre-partições (Overpartitions): Aqui, a regra é um pouco mágica. Imagine que cada brinquedo pode vir em duas versões: uma "normal" e uma "brilhante" (marcada com um traço). Você pode ter uma bola normal e uma bola brilhante. Isso cria muito mais combinações possíveis, como se você tivesse um guarda-roupa com roupas normais e roupas de festa para o mesmo número.

3. As Descobertas Principais

A. A Fórmula Mágica (Gerando Contagens)

Os matemáticos criaram uma "fórmula mágica" (chamada de função geradora) que, se você a seguisse, poderia dizer exatamente quantas listas de compras existem para um número específico que têm exatamente 1 item faltando, 2 itens faltando, 3 itens, e assim por diante.

Analogia: É como ter uma máquina que, ao você digitar "10", imprime automaticamente uma lista dizendo: "Existem 2 formas de organizar o 10 com 1 item faltando, 5 formas com 2 itens faltando, etc."

B. O Jogo de Par e Ímpar (A "Vantagem" dos Pares)

Os autores se perguntaram: "Se eu contar todas as listas onde o número de itens faltantes é par (0, 2, 4...) e comparar com as listas onde é ímpar (1, 3, 5...), qual grupo é maior?"

A Descoberta: Para números grandes (acima de 34 nas listas normais e acima de 27 nas listas mágicas), o grupo PAR sempre ganha. Sempre há mais listas com um número par de itens faltando do que com um número ímpar.
Analogia: Imagine uma corrida entre dois times. O time "Par" e o time "Ímpar". Para corridas curtas, o time Ímpar às vezes ganha. Mas assim que a corrida fica longa (números grandes), o time Par assume a liderança e nunca mais deixa o time Ímpar passar. Isso é chamado de "viés" (bias) na matemática.

C. Padrões Escondidos (Congruências)

Eles também descobriram que, se você olhar para a diferença entre o time Par e o time Ímpar e dividir por 3 (ou 4, no caso das listas mágicas), o resultado segue um padrão muito rígido:

Se o número total for um quadrado perfeito (como 4, 9, 16), a diferença tem um comportamento específico.
Se não for um quadrado perfeito, a diferença é zero (ou um múltiplo de 3/4).
Analogia: É como se a natureza tivesse um código secreto. Se você tentar adivinhar o resultado da contagem sem fazer a conta, a matemática diz: "Se o número for um quadrado perfeito, o resultado será X; se não for, será Y".

D. O Mistério das Réplicas

Eles provaram algo curioso: O número de listas onde falta exatamente um item é igual ao número de listas onde um item aparece exatamente duas vezes e todos os outros aparecem apenas uma vez.

Analogia: É como se o universo tivesse um equilíbrio. A quantidade de vezes que você esquece de comprar o "item X" é exatamente a mesma quantidade de vezes que você compra "duas unidades" do item X (e apenas uma de tudo o mais).

4. O Que Ainda é um Mistério?

No final, os autores dizem: "Nós fizemos as contas e encontramos os padrões, mas ainda não sabemos por que isso acontece de forma visual."

Eles pedem uma prova "bijectiva", que seria como mostrar uma correspondência um-a-um entre os dois grupos (por exemplo, pegar uma lista com 2 itens faltando e transformá-la magicamente em uma lista com 0 itens faltando, sem perder nada). Isso tornaria o conceito óbvio para qualquer pessoa, sem precisar de fórmulas complexas.

Resumo em uma frase

Este artigo é como um mapa que mostra que, quando organizamos números de formas diferentes, os "espaços vazios" que deixamos para trás seguem regras surpreendentes: os números pares de espaços vazios sempre dominam os ímpares em grandes quantidades, e tudo isso segue padrões matemáticos escondidos que os autores agora querem desvendar completamente.

Resumo Técnico: O Número de Inteiros Faltantes em Partições

1. Problema e Motivação

O artigo investiga uma estatística de partições de inteiros relacionada ao conceito de mínimo excludente (minimal excludant ou mex). Enquanto o mex tradicionalmente refere-se ao menor inteiro positivo que não aparece como parte em uma partição, os autores expandem o escopo para estudar o conjunto completo de inteiros faltantes.

Definição de Inteiro Faltante: Um inteiro positivo $x$ é considerado "faltante" em uma partição $\pi$ se $x$ é menor que a maior parte de $\pi$ e $x$ não ocorre como parte em $\pi$ .
Objetivo Principal: Contar o número de partições de um inteiro $n$ que possuem exatamente $m$ inteiros faltantes (maiores ou iguais a um limite $j$ ).
Classes de Estudo: O trabalho analisa duas classes principais:
1. Partições Não Restritas (Unrestricted Partitions): Partições convencionais de inteiros.
2. Sobrapartições (Overpartitions): Partições onde a primeira ocorrência de qualquer inteiro pode ser marcada (sobrelinhada), introduzindo uma estrutura adicional de paridade.

2. Metodologia

A abordagem do artigo é predominantemente analítica e combinatória, baseada na teoria das séries $q$ (q-series).

Funções Geradoras: Os autores constroem funções geradoras bivariables (e trivariables em seções específicas) utilizando notação de produto $q$ . A variável $q$ rastreia o inteiro $n$ (o número sendo particionado), enquanto uma variável auxiliar $w$ rastreia o número de inteiros faltantes ( $m$ ).
Identidades Fundamentais: O desenvolvimento das provas baseia-se em ferramentas clássicas da teoria das partições, incluindo:
- O Teorema Binomial $q$ (q-binomial theorem).
- A Identidade do Produto Triplo de Jacobi.
- Identidades de Euler relacionadas a produtos infinitos.
Diferenciação e Substituição: Para extrair estatísticas específicas (como o número de partições com exatamente 1 inteiro faltante, ou a diferença entre números pares e ímpares de inteiros faltantes), os autores diferenciam as funções geradoras em relação a $w$ e avaliam em pontos específicos (como $w=0$ ou $w=-1$ ).
Interpretação Combinatória: Após derivar as identidades analíticas, os autores fornecem interpretações combinatórias para os coeficientes resultantes, conectando-os a outras estatísticas de partições (como partições com partes distintas ou repetições específicas).

3. Contribuições e Resultados Principais

A. Partições Não Restritas

Fórmula Geral (Teorema 2.1): Os autores derivam uma função geradora fechada para $P_j(n, m)$ , o número de partições de $n$ com $m$ inteiros faltantes $\ge j$ . A fórmula envolve produtos $q$ e somas parciais de séries binomiais.
Caso Especial ( $j=1$ ): Para o caso onde se contam todos os inteiros faltantes, obtém-se uma forma de produto simples:
$\sum_{n,m} P(n, m) w^m q^n = \frac{((w-1)q; q)_\infty}{(wq; q)_\infty}$
Conexões Combinatórias:
- Ao definir $P(n, 1)$ (partições com exatamente 1 inteiro faltante), os autores mostram que este número é igual ao número de partições onde exatamente uma parte se repete duas vezes e todas as outras são distintas.
- Estabelecem uma conexão entre o mex e o maex (máximo excludente) quando coincidem.
Paridade e Viés (Bias):
- Definem $Me(n)$ (número de partições com número par de inteiros faltantes) e $Mo(n)$ (número ímpar).
- Derivam a função geradora para a diferença $Me(n) - Mo(n)$, que resulta em $\frac{(-2q; q)_\infty}{(-q; q)_\infty}$ .
- Teorema de Congruência (Teorema 2.6): Estabelecem que $Me(n) - Mo(n) \equiv 0, 1, 2 \pmod 3$ , dependendo se $n$ não é quadrado, é quadrado ímpar ou quadrado par.
- Conjecturas de Viés: Propõem que para $n > 34$ , $Me(n) > Mo(n)$ (viés para números pares de inteiros faltantes) e que a diferença é menor que $q(n)$ (partições em partes distintas) para $n > 10$ .

B. Sobrapartições (Overpartitions)

Generalização: Estendem os resultados para sobrapartições, onde a presença de partes sobrelinhadas altera a contagem de inteiros faltantes.
Fórmula Geral (Teorema 3.1): Derivam a função geradora para sobrapartições com $m$ inteiros faltantes, envolvendo termos como $(-q; q)_\infty$ e fatores de 2.
Resultados Específicos:
- Para $j=1$ , a função geradora é $\frac{((w-2)q; q)_\infty}{(wq; q)_\infty}$ .
- Conexão Combinatória: $P(n, 1)$ em sobrapartições corresponde ao número de sobrapartições onde exatamente um inteiro ocorre duas vezes (em configurações específicas de sobrelinhamento) e os demais são distintos.
- Congruência (Teorema 3.7): Para sobrapartições, a diferença $Me(n) - Mo(n)$ satisfaz uma congruência módulo 4: é $0 \pmod 4$ se $n$ não é quadrado e $2 \pmod 4$ se $n$ é quadrado.
- Conjectura de Viés: Propõem que para $n > 27$ , o número de sobrapartições com um número par de inteiros faltantes excede o número com quantidade ímpar.

C. Estatística de Multiplicidade (Seção 2.4)

Introduzem uma estatística mais geral: o número de inteiros distintos menores ou iguais à maior parte que aparecem com multiplicidade menor que $k$ .
Teorema 2.9: Provam que a soma total desses inteiros sobre todas as partições de $n$ é igual ao número total de partes diferentes de $k$ em todas as partições de $n$ .

4. Significado e Impacto

Novas Estatísticas: O trabalho formaliza e estuda sistematicamente o "número de inteiros faltantes" como uma estatística de partição distinta, indo além do estudo isolado do mex.
Conexões Profundas: Revela conexões surpreendentes entre a contagem de inteiros faltantes e outras estruturas de partições, como partições com partes distintas e repetições específicas.
Viés de Paridade: Contribui para o campo emergente de "viés de paridade" em partições (semelhante ao trabalho de Kim, Kim e Lovejoy sobre partes ímpares vs. pares), sugerindo que há uma tendência estrutural para que o número de inteiros faltantes seja par na maioria dos casos para $n$ suficientemente grande.
Desafios Abertos: O artigo termina propondo desafios significativos para a comunidade matemática:
- Encontrar provas bijectivas para as identidades geradas analiticamente (especialmente para a identidade 2.7 e as congruências).
- Determinar fórmulas assintóticas e de Hardy-Ramanujan-Rademacher para as funções de diferença de paridade.
- Investigar congruências para outros módulos além de 3 e 4.

Em suma, o artigo fornece uma estrutura analítica robusta para entender a distribuição de "buracos" (inteiros faltantes) dentro das partições, estabelecendo novas identidades, congruências e conjecturas que enriquecem a teoria combinatória das partições.