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

Resumen Técnico: Conjuntos de Órbitas en Órbita Generados por Semigrupos de Funciones Afines Unidimensionales

Planteamiento del Problema
Este artículo investiga el crecimiento asintótico de los conjuntos de órbitas unidimensionales $\langle F : s \rangle$ y los multiconjuntos de órbitas $\langle F : s \rangle^\#$, generados por un conjunto de funciones afines enteras $F = \{f_i(x) = a_i x + b_i\}_{i=1}^n$ que actúan sobre un valor (o conjunto) inicial $s$. El problema central es determinar la densidad de estos conjuntos, específicamente si la función de crecimiento $|\langle F : s \rangle \cap [0, x]|$ es positiva (es decir, tiene una densidad asintótica inferior no nula) bajo condiciones específicas.

El estudio se centra en el caso crítico donde las pendientes $a_i$ satisfacen la ecuación $\sum_{i=1}^n \frac{1}{a_i} = 1$. Un trabajo previo de P. Erdős estableció un límite superior de $O(x^{\sigma+\epsilon})$ para la función de crecimiento cuando $\sum a_i^{-\sigma} = 1$. Erdős y Graham plantearon una pregunta específica abierta: si $F$ forma la base de un semigrupo libre (es decir, no existen relaciones de composición no triviales entre las funciones) y $\sum a_i^{-1} = 1$, ¿tiene el conjunto de la órbita $\langle F : s \rangle$ una densidad positiva? Si bien se sabía que si $\sum a_i^{-1} < 1$ la densidad es cero, el caso de igualdad permanecía sin resolver para semigrupos libres en general.

Metodología
Los autores emplean una combinación de análisis combinatorio, inducción y técnicas algebraicas para derivar límites inferiores para el tamaño de estos conjuntos de órbitas.

1. Límite Inferior para Multiconjuntos: El artículo establece primero un límite inferior para el tamaño del multiconjunto de la órbita $\langle F : s \rangle^\#$. Al analizar la composición de funciones afines, los autores derivan una desigualdad auxiliar (Lema 4) que acota la imagen de un punto bajo una composición de funciones. Utilizando esto, prueban un límite inferior de $\Omega(x^\sigma)$ para el tamaño del multiconjunto cuando $\sum a_i^{-\sigma} = 1$. Esto complementa el límite superior de Erdős-Lagarias, aunque los autores señalan que permanece un vacío entre el límite superior $O(x^{\sigma+\epsilon})$ y el límite inferior $\Omega(x^\sigma)$, dejando el comportamiento asintótico preciso ($\Theta(x^\sigma)$) como una pregunta abierta para casos generales.

2. Límite Sublineal para Semigrupos Libres: Para abordar la pregunta de Erdős-Graham, los autores utilizan las propiedades de los semigrupos libres. Construyen un conjunto de composiciones de funciones con pendientes iguales pero coeficientes libres distintos (Lema 6). Al aplicar la aproximación de Stirling al conteo de estas composiciones, derivan un límite inferior sublineal para el tamaño del conjunto de la órbita cuando $\sum a_i^{-1} = 1$ y $F$ es una base de un semigrupo libre.

3. Sistemas de Cobertura Exactos: El artículo introduce una conexión entre los conjuntos de órbitas y los "sistemas de cobertura exacta" (particiones de enteros en progresiones aritméticas disjuntas). Al aplicar una versión del Lema de Ping-Pong a las funciones directas sobre el conjunto de los enteros $\mathbb{Z}$, los autores muestran que si las funciones en $F$ forman un sistema de cobertura exacta (es decir, $f_1(\mathbb{Z}) \sqcup \dots \sqcup f_n(\mathbb{Z}) = \mathbb{Z}$), el conjunto de la órbita tiene densidad positiva.

Contribuciones Clave y Resultados

• Teorema 2 (Límite Inferior del Multiconjunto): Los autores prueban que para un conjunto finito de funciones afines con $\sum a_i^{-\sigma} = 1$, el tamaño del multiconjunto de la órbita satisface $|\langle F : s \rangle^\# \cap [0, x]| = \Omega(x^\sigma)$. Esto proporciona el primer límite inferior general que complementa el límite superior de Erdős-Lagarias.
• Teorema 5 (Límite Sublineal para Semigrupos Libres): Abordando la pregunta de Erdős-Graham, el artículo establece que si $F$ es una base de un semigrupo libre y $\sum a_i^{-1} = 1$, entonces para cualquier $s \ge 0$, el tamaño del conjunto de la órbita satisface:
  $$|\langle F : s \rangle \cap [0, x]| = \Omega\left(\frac{x}{\log^{\frac{n-1}{2}} x}\right)$$
  Este resultado demuestra que el crecimiento es al menos sublineal, aunque no alcanza a probar la densidad positiva (que requeriría $\Omega(x)$) para el caso general de semigrupos libres.
• Teorema 7 (Densidad Positiva para Sistemas de Cobertura Exactos): El artículo prueba que si las funciones en $F$ forman un sistema de cobertura exacta de enteros, el conjunto de la órbita $\langle F : s \rangle$ tiene densidad positiva. La prueba se basa en demostrar que, bajo estas condiciones, la multiplicidad de los elementos en el multiconjunto de la órbita es como máximo uno, reduciendo el tamaño del multiconjunto al tamaño del conjunto, el cual es acotado inferiormente por el término lineal derivado del Teorema 2.
• Aplicación a Tuplas de Klarner: Los autores aplican sus resultados a "tuplas de Klarner" específicas (tripletas de enteros $(a, b, c)$ donde $2x+a, 3x+b, 6x+c$ forman un semigrupo libre). Si bien el problema de la densidad sigue abierto para las pendientes clásicas $\{2, 3, 6\}$, los autores demuestran que para el conjunto de pendientes $\{2, 4, 4\}$ con coeficientes específicos derivados de sistemas de cobertura exacta, el conjunto de la órbita tiene densidad positiva.

Significado y Reivindicaciones
El artículo afirma complementar el trabajo fundacional de Erdős y Lagarias al proporcionar un límite inferior que coincide con el límite superior para el tamaño del multiconjunto, reduciendo así la brecha en la comprensión del crecimiento de estos conjuntos. Específicamente, proporciona un límite inferior "casi lineal" para la pregunta de Erdős-Graham en el contexto de semigrupos libres.

Además, el artículo afirma resolver la pregunta de Erdős-Graham en lo que respecta al subcaso específico donde las funciones generadoras forman un sistema de cobertura exacta. Los autores destacan que esto conecta dos temas previamente distintos en la teoría de números: el estudio de los conjuntos de órbitas y la teoría de los sistemas de cobertura exacta (un tema popularizado por Erdős). El trabajo aclara que, si bien el caso general para semigrupos libres con $\sum a_i^{-1} = 1$ sigue abierto (solo se ha probado actualmente un límite sublineal), la condición de formar un sistema de cobertura exacta es suficiente para garantizar una densidad positiva. El artículo no pretende resolver la pregunta de Erdős-Graham para todos los semigrupos libres en general, ni resuelve el problema de la densidad para las pendientes específicas $\{2, 3, 6\}$, señalando que ambos siguen abiertos.