On quotients of numerical semigroups for almost arithmetic progressions

Resumo Técnico: Quocientes de Semigrupos Numéricos para Progressões Aritméticas Quase

1. Problema e Contexto

O artigo aborda o estudo de semigrupos numéricos, que são subconjuntos não vazios dos inteiros não negativos ($\mathbb{N}$) fechados sob adição, contendo o zero e com um conjunto de complementos finito.

• Definição do Problema: Seja $\langle A \rangle$ um semigrupo numérico gerado por um conjunto de inteiros positivos relativamente primos $A = \{a_1, a_2, \dots, a_n\}$. O quociente de $\langle A \rangle$ por um inteiro positivo $p$ é definido como $\langle A \rangle_p = \{x \in \mathbb{N} \mid px \in \langle A \rangle\}$.
• Desafio: Embora seja conhecido que $\langle A \rangle_p$ é um semigrupo, calcular seus invariantes fundamentais — o Número de Frobenius ($F$, o maior inteiro não representável) e o Gênero ($g$, a quantidade de inteiros não representáveis) — é computacionalmente difícil e geralmente não admite fórmulas fechadas para casos gerais.
• Questão Aberta: O trabalho foca em resolver parcialmente um problema aberto proposto por Adeniran et al. (2023), que solicita fórmulas para $F(\langle A \rangle_p)$ e $g(\langle A \rangle_p)$ quando $A$ é uma progressão aritmética generalizada e $p$ é um divisor de $a_1$.

2. Metodologia

A abordagem central do autor baseia-se na análise do Conjunto de Apéry do semigrupo quociente.

• Conjunto de Apéry: Para um elemento $a \in \langle A \rangle$, o conjunto de Apéry é definido como $Ap(\langle A \rangle, a) = \{w \in \langle A \mid w - a \notin \langle A \rangle\}$. Uma vez conhecido este conjunto, o Número de Frobenius e o Gênero podem ser calculados diretamente através de fórmulas simples (Lema 2.1).
• Redução a um Problema de Minimização: O autor demonstra que, quando $p$ é um divisor de $a_1$, o cálculo dos elementos do conjunto de Apéry do quociente $\langle A \rangle_p$ pode ser reduzido a um problema de minimização simples, denotado por $OB(M)$.
  • Seja $A = (a, ha + db_1, \dots, ha + db_k)$.
  • Os elementos do conjunto de Apéry de $a/p$ em $\langle A \rangle_p$ são expressos como:
    $$N_{dr,p} = \min \left\{ OB(ma + rp) \cdot \frac{ha}{p} + \left(\frac{ma}{p} + r\right)d \mid m \in \mathbb{N} \right\}$$
    onde $OB(M)$ é o mínimo de $\sum x_i$ sujeito a $\sum b_i x_i = M$.
• Estratégia: O autor analisa o comportamento da função $N_{dr,p}(m)$ em relação a $m$. Se a função for crescente, o mínimo ocorre em $m=0$, permitindo a obtenção de fórmulas explícitas para os elementos do conjunto de Apéry e, consequentemente, para $F$ e $g$.

3. Principais Contribuições e Resultados

O artigo estabelece fórmulas fechadas para o Número de Frobenius e o Gênero de quocientes de várias classes de semigrupos gerados por progressões aritméticas quase (ou variantes), sob a condição de que $p$ divida o primeiro gerador $a$.

Teorema 1.2 (Generalização Escalar):
Estabelece uma relação recursiva entre o quociente de um semigrupo gerado por $(a, dB)$ e o gerado por $(a, B)$.

• $F(\langle a, dB \rangle_p) = d \cdot F(\langle a, B \rangle_p) + \frac{a(d-1)}{p}$
• $g(\langle a, dB \rangle_p) = d \cdot g(\langle a, B \rangle_p) + \frac{(a-p)(d-1)}{2p}$

Teorema 1.3 (Progressões Aritméticas Quase):
Para $A = (a, ha+d, ha+2d, \dots, ha+kd)$ com $p|a$:

• Fornece fórmulas explícitas para $F(\langle A \rangle_p)$ e $g(\langle A \rangle_p)$.
• Quando $h=1$, este resultado resolve parcialmente o Problema Aberto 1.1 de Adeniran et al. para o caso onde $p$ divide $a$.

Teorema 1.4 (Progressões com Lacunas Iniciais):
Para $A = (a, ha+(K+1)d, \dots, ha+kd)$ (onde os primeiros termos da progressão estão ausentes):

• O autor deriva fórmulas que dependem da relação entre $p$ e o parâmetro de lacuna $K$.
• Distingue dois casos: $p > K$ e $p \le K$, fornecendo expressões distintas para o máximo do conjunto de Apéry e, portanto, para o Número de Frobenius.

Teorema 1.5 (Progressões com Dois Termos Específicos):
Para $A = (a, ha-d, ha+d)$:

• Deriva fórmulas baseadas na comparação entre duas expressões lineares, dependendo do valor de $r$ em relação a um limiar $s = \lfloor \frac{ha-d}{2hp} \rfloor$.

Teorema 1.6 (Progressões com Termos Ímpares):
Para $A = (a, ha+d, ha+3d, \dots, ha+(2k+1)d)$:

• O autor obtém uma fórmula fechada para o caso em que o resto da divisão de $a-p$ por $(2k+1)$ é par.
• Limitação: O caso em que o resto é ímpar é identificado como complexo e não resulta em uma fórmula fechada simples no contexto deste trabalho.

4. Significância e Impacto

• Solução Parcial de Problemas Abertos: O trabalho avança significativamente na literatura sobre semigrupos numéricos, fornecendo as primeiras fórmulas fechadas para os invariantes de quocientes de progressões aritméticas quase sob condições específicas de divisibilidade.
• Metodologia Unificada: A técnica de reduzir o cálculo do conjunto de Apéry a um problema de minimização ($OB(M)$) e analisar a monotonicidade da função resultante oferece uma ferramenta poderosa que pode ser aplicada a outras classes de semigrupos.
• Aplicabilidade Computacional: As fórmulas derivadas permitem o cálculo eficiente de $F$ e $g$ sem a necessidade de algoritmos de busca exaustiva, o que é crucial para semigrupos com geradores grandes.
• Validação: Os resultados são validados através de exemplos numéricos e verificados usando o pacote computacional numericalsgps (GAP), garantindo a correção das fórmulas propostas.

Em resumo, o artigo de Feihu Liu fornece um avanço teórico substancial na compreensão da estrutura de quocientes de semigrupos numéricos, transformando um problema computacionalmente difícil em uma série de problemas de minimização tratáveis para classes importantes de geradores.