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

Sintesi Tecnica: Insiemi di Orbite Generati da Semigruppi di Funzioni Affini Monodimensionali

Enunciato del Problema
Questo articolo investiga la crescita asintotica degli insiemi di orbite monodimensionali $\langle F : s \rangle$ e dei multiset di orbite $\langle F : s \rangle^\#$, generati da un insieme di funzioni affini intere $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$ agendo su un valore (o insieme) iniziale $s$. Il problema centrale è determinare la densità di questi insiemi, specificamente se la funzione di crescita $|\langle F : s \rangle \cap [0, x]|$ sia positiva (ovvero, se abbia una densità asintotica inferiore non nulla) sotto specifiche condizioni.

Lo studio si concentra sul caso critico in cui le pendenze $a_i$ soddisfano l'equazione $\sum_{i=1}^n \frac{1}{a_i} = 1$. Il lavoro precedente di P. Erdős ha stabilito un limite superiore di $O(x^{\sigma+\epsilon})$ per la funzione di crescita quando $\sum a_i^{-\sigma} = 1$. Erdős e Graham hanno posto una specifica domanda aperta: se $F$ forma una base di un semigruppo libero (ovvero non esistono relazioni di composizione non banali tra le funzioni) e $\sum a_i^{-1} = 1$, l'insieme dell'orbita $\langle F : s \rangle$ ha una densità positiva? Sebbene fosse noto che se $\sum a_i^{-1} < 1$ la densità è zero, il caso di uguaglianza rimaneva irrisolto per semigruppi liberi generici.

Metodologia
Gli autori utilizzano una combinazione di analisi combinatoria, induzione e tecniche algebriche per derivare limiti inferiori per la dimensione di questi insiemi di orbite.

1. Limite Inferiore per i Multiset: Il documento stabilisce prima un limite inferiore per la dimensione del multiset di orbite $\langle F : s \rangle^\#$. Analizzando la composizione di funzioni affini, gli autori derivano una disuguaglianza ausiliaria (Lemma 4) che limita l'immagine di un punto sotto una composizione di funzioni. Utilizzando ciò, dimostrano un limite inferiore di $\Omega(x^\sigma)$ per la dimensione del multiset quando $\sum a_i^{-\sigma} = 1$. Questo completa l'esistente limite superiore di Erdős-Lagarias, sebbene gli autori notino che rimane un divario tra il limite superiore $O(x^{\sigma+\epsilon})$ e il limite inferiore $\Omega(x^\sigma)$, lasciando l'esatta crescita asintotica ($\Theta(x^\sigma)$) come una questione aperta per i casi generali.

2. Limite Sublineare per Semigruppi Liberi: Per affrontare la questione di Erdős-Graham, gli autori utilizzano le proprietà dei semigruppi liberi. Costruiscono un insieme di composizioni di funzioni con pendenze uguali ma coefficienti liberi distinti (Lemma 6). Applicando l'approssimazione di Stirling al conteggio di queste composizioni, derivano un limite inferiore sublineare per la dimensione dell'insieme dell'orbita quando $\sum a_i^{-1} = 1$ e $F$ è una base di un semigruppo libero.

3. Sistemi di Copertura Esatti: Il documento introduce una connessione tra gli insiemi di orbite e i "sistemi di copertura esatti" (partizioni degli interi in progressioni aritmetiche disgiunte). Applicando una versione del Lemma Ping-Pong alle funzioni dirette sull'insieme degli interi $\mathbb{Z}$, gli autori mostrano che se le funzioni in $F$ formano un sistema di copertura esatto (ovvero $f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$), l'insieme dell'orbita ha una densità positiva.

Contributi Chiave e Risultati

• Teorema 2 (Limite Inferiore del Multiset): Gli autori dimostrano che per un insieme finito di funzioni affini con $\sum a_i^{-\sigma} = 1$, la dimensione del multiset dell'orbita soddisfa $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$. Ciò fornisce il primo limite inferiore generale che completa il limite superiore di Erdős-Lagarias.
• Teorema 5 (Limite Sublineare per Semigruppi Liberi): Affrontando la questione di Erdős-Graham, il documento stabilisce che se $F$ è una base di un semigruppo libero e $\sum a_i^{-1} = 1$, allora per ogni $s \ge 0$, la dimensione dell'insieme dell'orbita soddisfa:
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  Questo risultato dimostra che la crescita è almeno sublineare, sebbene rimanga insufficiente per provare una densità positiva (che richiederebbe $\Omega(x)$) per il caso generale dei semigruppi liberi.
• Teorema 7 (Densità Positiva per Sistemi di Copertura Esatti): Il documento prova che se le funzioni in $F$ formano un sistema di copertura esatto degli interi, l'insieme dell'orbita $\langle F : s \rangle$ ha una densità positiva. La prova si basa sulla dimostrazione che, in queste condizioni, la molteplicità degli elementi nel multiset dell'orbita è al massimo uno, riducendo la dimensione del multiset alla dimensione dell'insieme, che è poi limitata inferiormente dal termine lineare derivato dal Teorema 2.
• Applicazione alle Tuple di Klarner: Gli autori applicano i loro risultati a specifiche "tuple di Klarner" (triple intere $(a, b, c)$ dove $2x+a, 3x+b, 6x+c$ formano un semigruppo libero). Mentre il problema della densità rimane aperto per le pendenze classiche $\{2, 3, 6\}$, gli autori dimostrano che per l'insieme di pendenze $\{2, 4, 4\}$ con coefficienti specifici derivati da sistemi di copertura esatti, l'insieme dell'orbita ha una densità positiva.

Significato e Rivendicazioni
Il documento sostiene di completare il lavoro fondamentale di Erdős e Lagarias fornendo un limite inferiore corrispondente per la dimensione del multiset, restringendo così il divario nella comprensione della crescita di questi insiemi. Nello specifico, fornisce un limite inferiore "quasi lineare" per la questione di Erdős-Graham nel contesto dei semigruppi liberi.

Inoltre, il documento sostiene di aver risolto la questione di Erdős-Graham con un responso affermativo per il sottocaso specifico in cui le funzioni generatrici formano un sistema di copertura esatto. Gli autori sottolineano che questo connette due argomenti precedentemente distinti nella teoria dei numeri: lo studio degli insiemi di orbite e la teoria dei sistemi di copertura esatti (un argomento reso popolare da Erdős). Il lavoro chiarisce che, sebbene il caso generale per i semigruppi liberi con $\sum a_i^{-1} = 1$ rimanga aperto (con solo un limite sublineare attualmente provato), la condizione di formare un sistema di copertura esatto è sufficiente a garantire una densità positiva. Il documento non pretende di risolvere la questione generale di Erdős-Graham per tutti i semigruppi liberi, né di risolvere il problema della densità per le specifiche pendenze $\{2, 3, 6\}$, notando che queste rimangono aperte.