On orbit sets generated by semigroups of one-dimensional affine functions

Resumo Técnico: Conjuntos de Órbita em Órbita Gerados por Semigrupos de Funções Afins Unidimensionais

Enunciado do Problema
Este artigo investiga o crescimento assintótico de conjuntos de órbita unidimensionais $\langle F : s \rangle$ e multiconjuntos de órbita $\langle F : s \rangle^\#$, gerados por um conjunto de funções afins inteiras $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$ atuando sobre um valor (ou conjunto) inicial $s$. O problema central é determinar a densidade desses conjuntos, especificamente se a função de crescimento $|\langle F : s \rangle \cap [0, x]|$ é positiva (isto é, possui uma densidade assintótica inferior não nula) sob condições específicas.

O estudo foca no caso crítico onde as inclinações $a_i$ satisfazem a equação $\sum_{i=1}^n \frac{1}{a_i} = 1$. Trabalhos anteriores de P. Erdős estabeleceram um limite superior de $O(x^{\sigma+\epsilon})$ para a função de crescimento quando $\sum a_i^{-\sigma} = 1$. Erdős e Graham propuseram uma questão aberta específica: se $F$ forma uma base de um semigrupo livre (significando que não existem relações de composição não triviais entre as funções) e $\sum a_i^{-1} = 1$, o conjunto de órbita $\langle F : s \rangle$ possui densidade positiva? Embora se soubesse que se $\sum a_i^{-1} < 1$ a densidade é zero, o caso de igualdade permanecia não resolvido para semigrupos livres em geral.

Metodologia
Os autores empregam uma combinação de análise combinatória, indução e técnicas algébricas para derivar limites inferiores para o tamanho desses conjuntos de órbita.

1. Limite Inferior para Multiconjuntos: O artigo estabelece primeiro um limite inferior para o tamanho do multiconjunto de órbita $\langle F : s \rangle^\#$. Ao analisar a composição de funções afins, os autores derivam uma desigualdade auxiliar (Lema 4) que limita a imagem de um ponto sob uma composição de funções. Usando isso, eles provam um limite inferior de $\Omega(x^\sigma)$ para o tamanho do multiconjunto quando $\sum a_i^{-\sigma} = 1$. Isso complementa o limite superior de Erdős-Lagarias, embora os autores observem que permanece uma lacuna entre o limite superior $O(x^{\sigma+\epsilon})$ e o limite inferior $\Omega(x^\sigma)$, deixando o comportamento assintótico preciso ($\Theta(x^\sigma)$) como uma questão aberta para casos gerais.

2. Limite Sublinear para Semigrupos Livres: Para abordar a questão de Erdős-Graham, os autores utilizam as propriedades de semigrupos livres. Eles constroem um conjunto de composições de funções com inclinações iguais, mas coeficientes livres distintos (Lema 6). Ao aplicar a aproximação de Stirling para a contagem dessas composições, eles derivam um limite inferior sublinear para o tamanho do conjunto de órbita quando $\sum a_i^{-1} = 1$ e $F$ é uma base de um semigrupo livre.

3. Sistemas de Cobertura Exata: O artigo introduz uma conexão entre conjuntos de órbita e "sistemas de cobertura exata" (partições de inteiros em progressões aritméticas disjuntas). Ao aplicar uma versão do Lema do Ping-Pong às funções diretas no conjunto dos inteiros $\mathbb{Z}$, os autores mostram que, se as funções em $F$ formam um sistema de cobertura exata (ou seja, $f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$), o conjunto de órbita possui densidade positiva.

Contribuições Principais e Resultados

• Teorema 2 (Limite Inferior do Multiconjunto): Os autores provam que, para um conjunto finito de funções afins com $\sum a_i^{-\sigma} = 1$, o tamanho do multiconjunto de órbita satisfaz $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$. Isso fornece o primeiro limite inferior geral complementando o limite superior de Erdős-Lagarias.
• Teorema 5 (Limite Sublinear para Semigrupos Livres): Abordando a questão de Erdős-Graham, o artigo estabelece que, se $F$ é uma base de um semigrupo livre e $\sum a_i^{-1} = 1$, então para qualquer $s \ge 0$, o tamanho do conjunto de órbita satisfaz:
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  Este resultado demonstra que o crescimento é pelo menos sublinear, embora não chegue a provar a densidade positiva (o que exigiria $\Omega(x)$) para o caso geral de semigrupos livres.
• Teorema 7 (Densidade Positiva para Sistemas de Cobertura Exata): O artigo prova que, se as funções em $F$ formam um sistema de cobertura exata de inteiros, o conjunto de órbita $\langle F : s \rangle$ possui densidade positiva. A prova baseia-se em mostrar que, sob estas condições, a multiplicidade dos elementos no multiconjunto de órbita é no máximo um, reduzindo o tamanho do multiconjunto ao tamanho do conjunto, que é então limitado inferiormente pelo termo linear derivado do Teorema 2.
• Aplicação a Tuplas de Klarner: Os autores aplicam seus resultados a "tuplas de Klarner" específicas (trios de inteiros $(a, b, c)$ onde $2x+a, 3x+b, 6x+c$ formam um semigrupo livre). Embora o problema da densidade permaneça aberto para as inclinações clássicas $\{2, 3, 6\}$, os autores demonstram que, para o conjunto de inclinações $\{2, 4, 4\}$ com coeficientes específicos derivados de sistemas de cobertura exata, o conjunto de órbita possui densidade positiva.

Significância e Alegações
O artigo alega complementar o trabalho fundamental de Erdős e Lagarias ao fornecer um limite inferior correspondente para o tamanho do multiconjunto, estreitando assim a lacuna na compreensão do crescimento desses conjuntos. Especificamente, fornece um limite inferior "quase linear" para a questão de Erdős-Graham no contexto de semigrupos livres.

Além disso, o artigo alega resolver a questão de Erdős-Graham de forma afirmativa para o subcaso específico onde as funções geradoras formam um sistema de cobertura exata. Os autores destacam que isso conecta dois tópicos anteriormente distintos na teoria dos números: o estudo de conjuntos de órbita e a teoria dos sistemas de cobertura exata (um tópico popularizado por Erdős). O trabalho esclarece que, embora o caso geral para semigrupos livres com $\sum a_i^{-1} = 1$ permaneça aberto (com apenas um limite sublinear atualmente provado), a condição de formar um sistema de cobertura exata é suficiente para garantir densidade positiva. O artigo não pretende resolver a questão de Erdős-Graham geral para todos os semigrupos livres, nem resolver o problema da densidade para as inclinações específicas $\{2, 3, 6\}$, observando que estes permanecem abertos.