🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

Este artigo fornece uma resposta afirmativa a um problema específico referente a complementos aditivos mínimos para conjuntos de diferença- $S$ não eventualmente periódicos, conforme proposto por Ma e Chen.

Autores originais: Min Tang, Wenjing He

Publicado 2026-07-30

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Min Tang, Wenjing He

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ê está parado em um corredor infinito feito de azulejos inteiros, estendendo-se para sempre em ambas as direções. Você tem um conjunto especial de "pedras de salto" chamado $W$ . Se você estiver sobre qualquer pedra em $W$ e der um passo a partir de uma coleção específica de "pedras auxiliares" chamada $C$ , você quer ser capaz de pousar em cada um dos azulejos do corredor. Na linguagem da matemática, se a soma das suas pedras auxiliares e das suas pedras de salto cobre toda a reta numérica, dizemos que $C$ é um "complemento aditivo" para $W$ .

Mas aqui está a reviravolta: e se a sua coleção de auxiliares for grande demais? E se você pudesse jogar fora algumas pedras e ainda assim conseguir pousar em todos os azulejos? Um "complemento aditivo minimal" é o menor grupo possível de auxiliares que você pode usar — tão pequeno que, se você remover até mesmo uma única pedra, você deixará um buraco no corredor que ninguém consegue alcançar. Matemáticos têm se fascinado por este enigma por mais de uma década, tentando descobrir quais padrões de pedras de salto permitem que você encontre esse time de auxiliares perfeito e minúsculo. A grande questão era: se o seu conjunto de pedras de salto segue um padrão que nunca se repete (um conjunto "não eventualmente periódico") mas as lacunas entre elas são sempre pequenas e escolhidas de uma lista específica de números, você consegue sempre encontrar este time minimal?

Este artigo, escrito por Min Tang e Wenjing He, responde a essa pergunta com um "sim" retumbante. Os autores abordam uma versão específica e complicada deste problema, onde as lacunas entre as pedras em $W$ são escolhidas de uma lista finita de inteiros positivos, $S$ , e cada número nessa lista aparece como uma lacuna infinitas vezes. Eles provam que não importa qual lista $S$ você escolha (contanto que tenha pelo menos dois números diferentes), você sempre pode construir uma sequência de pedras que nunca se repete que possua um complemento aditivo minimal. Eles não apenas supõem; eles constroem uma receita detalhada, passo a passo, para criar essas sequências e provam matematicamente que o time de auxiliares resultante é, de fato, o menor possível.

A História dos Preenchedores de Lacunas

Para entender o que Tang e He fizeram, imagine o problema como um jogo de preencher um mosaico gigante e infinito.

Os Jogadores

O Padrão ( $W$ ): Imagine uma linha de pedras de degrau. A distância entre uma pedra e a próxima nunca é aleatória; é sempre um número de um "menu" específico de tamanhos, vamos chamá-lo de $S$ . Por exemplo, seu menu pode ser $\{3, 5\}$ . Assim, você pode saltar 3 passos, depois 5, depois 3, depois 3, depois 5 novamente. A regra é que você deve usar cada tamanho do menu infinitas vezes, e o padrão de saltos nunca deve se estabelecer em um loop repetitivo e entediante (como 3-5-3-5-3-5 para sempre). Isso é o que os matemáticos chamam de um "conjunto de diferença S INEP" (Infinito, Não Eventualmente Periódico).
Os Auxiliares ( $C$ ): Estas são as pedras que você coloca nas lacunas. Se você estiver sobre uma pedra auxiliar e saltar para qualquer pedra no seu padrão $W$ , você deve ser capaz de alcançar todos os inteiros na reta numérica.
O Objetivo: Encontrar o conjunto minimal de auxiliares. Isso significa encontrar o menor time de auxiliares onde cada membro é absolutamente essencial. Se você demitir um, a cobertura falha.

O Mistério Anterior
Antes deste artigo, os matemáticos conheciam a resposta para alguns menus específicos. Se o seu menu fosse apenas $\{1, 2\}$ , ou se os números tivessem relações especiais (como um ser um múltiplo do outro), eles conseguiam construir a solução. Mas para um menu geral como $\{3, 7, 11\}$ , ou qualquer mistura aleatória de números, a questão permanecia no ar: Um time minimal sempre existe? Alguns trabalhos anteriores sugeriram que, se as lacunas fossem muito regulares, você poderia não encontrar um complemento aditivo minimal, mas se fossem caóticas o suficiente, você poderia. Os autores deste artigo queriam resolver a questão para qualquer menu finito de lacunas.

O Plano Mestre: Construindo a Ponte
Tang e He não apenas disseram "ele existe". Eles o construíram. A prova deles é como um blueprint arquitetônico para construir uma ponte que atravessa um cânion infinito. Eles dividiram sua construção em dois cenários principais, dependendo do menor número em seu menu $S$ .

Cenário 1: O Menu Inclui o Número 1
Se a sua menor lacuna é 1, a construção é um pouco como estender um caminho longo e sinuoso. Os autores começam com um pedaço pequeno e gerenciável de pedras. Então, eles usam um método indutivo inteligente (construção passo a passo) para estender o caminho para sempre.

Eles criam "blocos" de pedras.
Dentro desses blocos, eles usam uma ferramenta matemática (relacionada ao "Problema da Moeda de Frobenius", que pergunta como fazer troco com denominações de moedas específicas) para garantir que as lacunas entre as pedras correspondam aos números em seu menu $S$ .
Eles colocam cuidadosamente as "pedras auxiliares" (o conjunto $C$ ) em intervalos específicos.
A magia acontece nas "transições" entre os blocos. Eles organizam as lacunas para que as pedras auxiliares possam alcançar cada inteiro individual, mas se você remover até mesmo uma, um "buraco" específico aparece que nenhum outro auxiliar pode preencher. Eles provam que as lacuras entre as pedras em sua construção tornam-se maiores e maiores de uma forma específica, garantindo que o padrão nunca se repita, embora o time minimal de auxiliares ainda funcione perfeitamente.

Cenário 2: O Menu Começa com um Número Maior que 1
Esta é a parte mais difícil. Se a sua menor lacuna é, digamos, 3 ou 5, você não pode simplesmente preencher as lacunas com passos únicos. Os autores tiveram que ser criativos.

Eles perceberam que, se os números no menu não compartilharem um divisor comum (eles são "primos entre si" em um sentido de grupo), você ainda pode construir o caminho.
Eles construíram uma estrutura mais complexa onde as "pedras auxiliares" vêm em pequenos grupos ou aglomerados.
Eles usaram um argumento de contagem sofisticado para mostrar que, embora as lacunas sejam maiores, o arranjo dos aglomerados de auxiliares cria uma "rede" que captura cada inteiro.
Crucialmente, eles provaram que os "buracos" deixados pela remoção de um auxiliar são únicos para aquele auxiliar específico. É como um sistema de fechadura e chave: o Auxiliar A abre uma fechadura específica, e nenhum outro auxiliar tem a chave. Se você tirar o Auxiliar A, aquela fechadura permanece fechada e a cobertura falha.

O Veredito
A construção dos autores é rigorosa. Eles não simularam isso em um computador ou sugeriram que poderia ser verdade; eles forneceram uma prova matemática. Eles mostraram que, para qualquer conjunto finito de inteiros positivos $S$ com pelo menos dois elementos, você pode criar uma sequência de lacunas que nunca se repete usando apenas números de $S$ , e que para essa sequência, um complemento aditivo minimal sempre existe.

Eles efetivamente fecharam o livro sobre esta versão específica do problema. A resposta à pergunta "É verdade que para qualquer conjunto finito $S$ ..." é um "sim" definitivo. O artigo confirma que a natureza caótica e não repetitiva das lacunas não impede a existência de um time de auxiliares perfeito e minimal. Na verdade, o próprio caos do padrão é o que permite aos autores projetar a solução, garantindo que cada auxiliar seja indispensável e que toda a reta numérica seja coberta.

Resumo Técnico: Sobre um Problema de Complementos Aditivos Mínimos para Conjuntos de Diferença-S Não Eventualmente Periódicos

Enunciado do Problema
O artigo aborda um problema específico na teoria aditiva dos números referente à existência de complementos aditivos mínimos para conjuntos infinitos de inteiros. Sejam $C$ e $W$ subconjuntos de inteiros. $C$ é um complemento aditivo de $W$ se $C + W = \mathbb{Z}$ . $C$ é um complemento aditivo mínimo se nenhum subconjunto próprio de $C$ satisfaz essa condição.

Embora a existência de complementos mínimos para conjuntos finitos e certos conjuntos infinitos (como aqueles com lacunas ilimitadas ou estruturas periódicas específicas) tenha sido estabelecida por Nathanson, Chen, Yang, Kiss, Sándor e outros, o caso de conjuntos não eventualmente periódicos com lacunas limitadas permanece menos compreendido. Especificamente, Ma e Chen [14] propuseram o seguinte problema (Problema 1.3 em seu trabalho):

Seja $S$ um conjunto finito de inteiros positivos com $|S| \ge 2$ . Existe um conjunto infinito, não eventualmente periódico $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ tal que:

$W$ possui um complemento aditivo mínimo;

A diferença entre elementos consecutivos $w_{i+1} - w_i$ pertence a $S$ para todo $i$ ;

Cada elemento $s \in S$ ocorre como uma diferença $w_{i+1} - w_i$ para infinitos índices $i$ ?

Tal um conjunto $W$ é denominado um conjunto de diferença-S INEP (conjunto de diferença-S Infinito, Não Eventualmente Periódico). Resultados anteriores resolveram subcasos específicos (por exemplo, quando os elementos de $S$ se dividem mutuamente, ou quando $\gcd(s_1, s_2)=1$ com restrições modulares específicas), mas uma solução geral para um $S$ arbitrário era inexistente.

Metodologia
Os autores, Tang e He, fornecem uma resposta afirmativa ao Problema 2 ao construir tais conjuntos e seus respectivos complementos mínimos. A metodologia baseia-se em uma construção indutiva do conjunto $W$ e de um conjunto $C$ cuidadosamente projetado.

Redução via Escalonamento: Os autores utilizam primeiro o Lema 2.2 para reduzir o caso geral ao cenário onde $\gcd(s_1, \dots, s_l) = 1$ . Eles provam que, se um complemento mínimo existe para um conjunto escalonado para baixo, um complemento mínimo pode ser construído para o conjunto escalonado para cima $dW$.
Construção Indutiva: A prova é dividida em dois casos baseados no menor elemento de $S$ $S$ , denotado por $s_1$ $s_{1}$ :
- Caso 1 ( $s_1 = 1$ ): Os autores constroem sequências $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ e $\{c_i\}$ ${c_{i}}$ indutivamente. O conjunto $W$ $W$ é construído em estágios, onde cada estágio $W_i$ $W_{i}$ adiciona três subconjuntos disjuntos ( $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ ) ao conjunto anterior $W_{i-1}$ $W_{i - 1}$ .
  - Passo 1: Preenche um intervalo específico usando passos de tamanho 1 (já que $s_1=1$ ) e o maior elemento $s_l$ .
  - Passo 2 e 3: Utilizam o Lema 2.1 (um resultado sobre o problema do cofre de Frobenius) para expressar comprimentos de intervalos como combinações lineares positivas de elementos em $S$ . Isso permite que os autores preencham as lacunas com passos pertencentes estritamente a $S$ , garantindo a propriedade do conjunto de diferenças.
  - O conjunto $C$ é construído como $\{c_i\}_{i=1}^\infty$ , onde $c_i$ são escolhidos para satisfazer desigualdades específicas que garantem que $C$ cubra $\mathbb{Z}$ quando somado a $W$ , mas que nenhum elemento possa ser removido sem quebrar a cobertura.
- Caso 2 ( $s_1 \ge 2$ ): Este caso é mais complexo, pois o passo de tamanho 1 não está disponível. Os autores constroem sequências $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ e um conjunto de parâmetros $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ .
  - Eles definem uma função $h(s_1; r)$ baseada no resto $r$ quando um $s_j$ específico é dividido por $s_1$ .
  - A construção envolve a criação de blocos de elementos com propriedades modulares específicas. O conjunto $C$ é construído como uma união de $s_1$ progressões aritméticas (deslocadas) em cada estágio.
  - Semelhante ao Caso 1, o Lema 2.1 é empregado para preencher intervalos com passos de $S$ . A construção garante que as "lacunas" entre os blocos construídos sejam preenchidas pela estrutura específica de $C$ , enquanto as lacunas internas de $W$ permanecem dentro de $S$ .
Verificação de Minimalidade: Para ambos os casos, os autores provam rigorosamente que o $C$ construído é um complemento mínimo. Isso envolve mostrar que para qualquer $n \in \mathbb{Z}$ , $n \in W+C$ , e para qualquer elemento específico $c \in C$ , existe um inteiro $n$ tal que $n \in W+c$ , mas $n \notin W + (C \setminus \{c\})$ . Isso é alcançado analisando os "buracos" específicos criados no conjunto soma quando um elemento é removido, aproveitando as definições indutivas de $d_i$ e a disjunção dos conjuntos construídos.

Principais Resultados
O artigo estabelece o seguinte teorema principal:

Teorema 1.1: Seja $l \ge 2$ um inteiro positivo e $S = \{s_1, s_2, \dots, s_l\}$ um conjunto de inteiros positivos com $1 \le s_1 < s_2 < \dots < s_l$ . Existe um conjunto de diferença-S INEP $W$ e existe um complemento mínimo para $W$ .

Este resultado generaliza teoremas anteriores (Teoremas E, F e G na introdução) que eram limitados a relações específicas entre os elementos de $S$ (por exemplo, divisibilidade ou condições de coprimidade). O presente trabalho remove essas restrições, provando a existência para qualquer conjunto finito $S$ com $|S| \ge 2$ .

Significância e Alegações
Os autores afirmam que seu trabalho fornece um arcabouço de prova unificado que estende o escopo dos resultados conhecidos para conjuntos de diferença-S arbitrários. Ao resolver o Problema 2 proposto por Ma e Chen, o artigo encerra a questão da existência para complementos aditivos mínimos no contexto de conjuntos de diferença-S infinitos, não eventualmente periódicos com lacunas limitadas definidas por um conjunto de diferença finito arbitrário $S$ .

O artigo não afirma resolver o problema para conjuntos onde $|S|=1$ (o que é trivial ou impossível dependendo da periodicidade) nem afirma caracterizar todos esses conjuntos, mas sim provar a existência de pelo menos um tal conjunto para qualquer $S$ válido dado. O trabalho baseia-se nas ideias construtivas dos Teoremas F e G, mas as sintetiza para lidar com o caso geral.

Conclusão
O artigo responde com sucesso ao problema em aberto sobre a existência de complementos aditivos mínimos para conjuntos de diferença-S não eventualmente periódicos. Através de uma construção indutiva sofisticada utilizando o problema do cofre de Frobenius (Lema 2.1) e um controle cuidadoso da aritmética modular, os autores demonstram que, para qualquer conjunto finito de inteiros positivos $S$ com cardinalidade de pelo menos 2, é possível construir um conjunto $W$ infinito e não periódico com diferenças em $S$ que admite um complemento aditivo mínimo.

A História dos Preenchedores de Lacunas

Mais como este