Exact and Asymptotic Counts of MSTD, MDTS, and Balanced Sets in Dicyclic Groups

Resumo Técnico: Contagens Exatas e Assintóticas de Conjuntos MSTD, MDTS e Balanceados em Grupos Dicíclicos

Título Original: Exact and Asymptotic Counts of MSTD, MDTS, and Balanced Sets in Dicyclic Groups
Autores: Sagar Mandal e Neetu

---

1. O Problema

O estudo baseia-se na teoria aditiva de conjuntos, focando na relação entre o tamanho do conjunto soma ($A + A$) e do conjunto diferença ($A - A$). Em grupos finitos, um subconjunto $A$ é classificado como:

• MSTD (More Sums Than Differences): $|A + A| > |A - A|$ (dominante em somas).
• MDTS (More Differences Than Sums): $|A + A| < |A - A|$ (dominante em diferenças).
• Balanceado: $|A + A| = |A - A|$.

Enquanto na maioria dos conjuntos a subtração (não comutativa) tende a gerar mais resultados que a soma, existem conjuntos MSTD. O objetivo deste trabalho é investigar a ocorrência e a contagem desses tipos de conjuntos especificamente dentro dos grupos dicíclicos ($Dic_{4n}$), que são grupos não abelianos.

2. Metodologia

Os autores utilizam uma abordagem combinatória e algébrica para classificar subconjuntos de $Dic_{4n}$ com base em sua cardinalidade ($m$). A metodologia envolve:

• Decomposição de Tipos: Os subconjuntos são divididos em categorias baseadas na sua estrutura de elementos (elementos de rotação $a^k$ e elementos de reflexão $a^kb$).
• Análise de Colisões: Para determinar os tamanhos dos conjuntos soma e diferença, os autores calculam as "colisões" (elementos repetidos) nas operações de grupo, utilizando as relações fundamentais do grupo dicíclico ($a^{2n}=1, a^n=b^2, b^{-1}ab=a^{-1}$).
• Contagem Combinatória: Utilizam técnicas de contagem para determinar o número exato de combinações que resultam em cada tipo de conjunto para tamanhos pequenos ($m=2$ e $m=3$).
• Análise Assintótica: Aplicam limites para descrever o comportamento das contagens quando $n \to \infty$.

3. Principais Contribuições e Resultados

A. Subconjuntos de tamanho 2 ($m=2$):

• Os autores determinam as fórmulas exatas para $SDic_{4n}(2)$, $DDic_{4n}(2)$ e $BDic_{4n}(2)$.
• Resultado Chave: Para $n$ par, o número de conjuntos MSTD é $4n(n-2)$; para $n$ ímpar, é $4n(n-1)$.
• Comportamento Assintótico: Demonstram que, conforme $n$ cresce, o número de conjuntos MSTD e o de conjuntos balanceados tornam-se assintoticamente iguais ($SDic_{4n}(2) \sim BDic_{4n}(2)$).

B. Subconjuntos de tamanho 3 ($m=3$):

• O estudo foca em $n$ ímpar, dividindo os resultados conforme a divisibilidade de $n$ por 3.
• Resultado Chave: Ao contrário do caso $m=2$, para $m=3$ os conjuntos MSTD dominam significativamente.
• Comportamento Assintótico: Para $n$ ímpar suficientemente grande, o número de conjuntos MSTD é aproximadamente seis vezes maior que o número de conjuntos MDTS ou balanceados ($SDic_{4n}(3) \sim 6DDic_{4n}(3)$ e $SDic_{4n}(3) \sim 6BDic_{4n}(3)$).

C. Caso de Fronteira ($m=2n$):

• O artigo estabelece limites inferiores (lower bounds) para a contagem de conjuntos MSTD, MDTS e balanceados quando o tamanho do subconjunto é exatamente metade do tamanho do grupo ($2n$).

4. Significância

Este trabalho é significativo por expandir a teoria de conjuntos MSTD para o domínio de grupos não abelianos. Enquanto a maior parte da literatura foca em inteiros ou grupos abelianos, a investigação nos grupos dicíclicos revela comportamentos estruturais distintos.

As descobertas mostram que a estrutura do grupo (especialmente a paridade de $n$ e a divisibilidade por 3) altera drasticamente a distribuição de conjuntos dominantes. Além disso, o trabalho levanta novas conjecturas sobre a divisibilidade das contagens de conjuntos MSTD em grupos dicíclicos, abrindo caminho para pesquisas futuras em combinatória de grupos.