2025-11-24T07:07:18.078251

Prime-powered images and irreducible polynomials in dynamical semigroups

Bhardwaj, Boyer-Paulet, Hindes et al.
Let $G=\langle x^d+c_1,\dots,x^d+c_s\rangle$ be a semigroup generated under composition for some $c_1,\dots,c_s\in\mathbb{Z}$ and some $d\geq2$. Then we prove that, outside of an exceptional one-parameter family, $G$ contains a large and explicit subset of irreducible polynomials if and only if it contains at least one irreducible polynomial. In particular, this conclusion holds when $G$ is generated by at least $s\geq3$ polynomials when $d$ is odd and at least $s\geq5$ polynomials when $d$ is even. To do this, we prove a classification result for prime powered iterates under $f(x)=x^d+c$ when $c\in\mathbb{Z}$ is nonzero. Namely, if $f^n(α)=y^p$ for some $n\geq4$, some $α,y\in\mathbb{Z}$, and some prime $p|d$, then $α$ and $y^p$ are necessarily preperiodic and periodic points for $f$ respectively. Moreover, we note that $n=4$ is the smallest possible iterate for which one may make this conclusion.
academic

Imágenes de potencias primas y polinomios irreducibles en semigrupos dinámicos

Información Básica

  • ID del artículo: 2510.10310
  • Título: Prime-powered images and irreducible polynomials in dynamical semigroups
  • Autores: Aristaa Bhardwaj, Adrian Boyer-Paulet, Wade Hindes, Emma Qiu, Alexander Sun
  • Clasificación: math.NT (Teoría de Números), math.DS (Sistemas Dinámicos)
  • Fecha de publicación: Agosto de 2025 (preimpresión en arXiv)
  • Enlace del artículo: https://arxiv.org/abs/2510.10310

Resumen

Este artículo estudia la distribución de polinomios irreducibles en el semigrupo GG generado por polinomios monocríticos xd+c1,…,xd+csx^d + c_1, \ldots, x^d + c_s. El resultado principal demuestra que, excepto por una familia uniparamétrica excepcional, GG contiene un subconjunto explícito abundante de polinomios irreducibles si y solo si contiene al menos un polinomio irreducible. Esta conclusión es válida cuando dd es impar y s≥3s \geq 3, o cuando dd es par y s≥5s \geq 5. Para demostrar este resultado, los autores establecen un teorema de clasificación sobre imágenes iteradas de potencias primas bajo f(x)=xd+cf(x) = x^d + c (con c∈Zc \in \mathbb{Z} no nulo).

Antecedentes y Motivación de la Investigación

Contexto del Problema

  1. Problemas de irreducibilidad en sistemas dinámicos: En dinámica aritmética, una pregunta natural es determinar condiciones que garanticen que el semigrupo GG contenga muchos polinomios irreducibles. Esto es fundamental para comprender la estructura algebraica de semigrupos de composición polinomial.
  2. Importancia de polinomios monocríticos: Los polinomios de la forma xd+cx^d + c son objetos fundamentales en la teoría de sistemas dinámicos, cuyo comportamiento iterativo está estrechamente relacionado con propiedades de teoría de números.
  3. Conexión entre potencias primas y puntos periódicos: Si una órbita posee propiedades aritméticas especiales (como contener grandes potencias primas), típicamente existe una buena razón dinámica o geométrica (como que la órbita sea un conjunto finito).

Motivación de la Investigación

  • Perfeccionamiento teórico: Establecer una teoría completa sobre la distribución de polinomios irreducibles en semigrupos de polinomios monocríticos
  • Innovación metodológica: Estudiar la irreducibilidad mediante clasificación de imágenes iteradas de potencias primas, una ruta técnica novedosa
  • Valor aplicado: Proporcionar nuevas herramientas e insights para dinámica aritmética y teoría algebraica de números

Contribuciones Principales

  1. Teorema principal: Se demuestra que para G=⟨xd+c1,…,xd+cs⟩G = \langle x^d + c_1, \ldots, x^d + c_s \rangle, excepto en casos excepcionales, GG contiene una proporción positiva de polinomios irreducibles si y solo si contiene al menos un polinomio irreducible.
  2. Teorema de clasificación de potencias primas: Se establece una clasificación completa de imágenes iteradas de potencias primas bajo f(x)=xd+cf(x) = x^d + c, que constituye el núcleo técnico.
  3. Construcción explícita: Se proporciona una descripción explícita de subconjuntos de polinomios irreducibles, incluyendo tres tipos:
    • {f13∘g:g∈G}\{f_1^3 \circ g : g \in G\}
    • {f13∘f2∘f1∘g:g∈G}\{f_1^3 \circ f_2 \circ f_1 \circ g : g \in G\}
    • {f13∘f23∘g:g∈G}\{f_1^3 \circ f_2^3 \circ g : g \in G\}
  4. Caracterización de casos excepcionales: Se caracterizan completamente las familias uniparamétricas excepcionales, donde las órbitas críticas contienen puntos fijos que son potencias primas.

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar la densidad de polinomios irreducibles en el semigrupo G=⟨xd+c1,…,xd+cs⟩G = \langle x^d + c_1, \ldots, x^d + c_s \rangle: lim inf⁡B→∞#{g∈G:deg⁡(g)≤B y g es irreducible sobre Q}#{g∈G:deg⁡(g)≤B}\liminf_{B \to \infty} \frac{\#\{g \in G : \deg(g) \leq B \text{ y } g \text{ es irreducible sobre } \mathbb{Q}\}}{\#\{g \in G : \deg(g) \leq B\}}

Marco Técnico Central

1. Teorema de Clasificación de Imágenes Iteradas de Potencias Primas (Teorema 2.1)

Para f(x)=xd+cf(x) = x^d + c (con c≠0c \neq 0), si fN(α)=ϵypf^N(\alpha) = \epsilon y^p, donde:

  • N=4N = 4 (cuando d=2d = 2) o N=3N = 3 (cuando d≥3d \geq 3)
  • α,y∈Z\alpha, y \in \mathbb{Z}, ϵ=±1\epsilon = \pm 1, pp es primo y p∣dp|d

entonces α\alpha es un punto preperiódico y ϵyp\epsilon y^p es un punto periódico.

2. Sistema de Lemas Técnicos

  • Lema 2.3: Estimación de crecimiento xd−(x−1)d>xd−1x^d - (x-1)^d > x^{d-1} (cuando x>1x > 1, d≥2d \geq 2)
  • Lema 2.4: Si αd+c=ϵyp\alpha^d + c = \epsilon y^p, entonces ∣α∣≤∣c∣|\alpha| \leq \sqrt{|c|} (cuando d>2d > 2)
  • Lema 2.5: Caracterización precisa de propiedades de escape de órbitas

3. Criterios de Irreducibilidad

Proposición 3.1: Sea w(x)w(x) un polinomio mónico irreducible, u(x)=xd+cu(x) = x^d + c. Si cuando dd es par se asume que ww tiene grado par, entonces w∘uw \circ u es irreducible, a menos que w(u(0))=ypw(u(0)) = y^p.

Puntos de Innovación Técnica

  1. Optimalidad del número de iteraciones: Se demuestra que n=4n = 4 (cuando d=2d = 2) y n=3n = 3 (cuando d≥3d \geq 3) son el número mínimo de iteraciones para que la conclusión sea válida.
  2. Análisis de casos completo: Mediante análisis refinado se tratan todas las combinaciones posibles de parámetros, incluyendo casos especiales con términos constantes pequeños.
  3. Combinación de geometría y aritmética: Se integran orgánicamente propiedades dinámicas (periodicidad, preperiodicidad) con propiedades aritméticas (potencias primas).

Configuración Experimental

Verificación Computacional

Los autores utilizan el sistema de álgebra computacional Magma para verificar resultados en casos de parámetros pequeños, en particular:

  • Cuando d=2d = 2, c∈{1,2}c \in \{1, 2\}, se verifica que la ecuación f4(α)=ϵy2f^4(\alpha) = \epsilon y^2 no tiene soluciones en Z/8Z\mathbb{Z}/8\mathbb{Z}
  • Se realizó verificación exhaustiva para casos de términos constantes pequeños

Métodos de Análisis Teórico

  • Demostración por contradicción: Se asume la existencia de imágenes de potencias primas y se obtiene una contradicción utilizando estimaciones de crecimiento
  • Principio del palomar: Se utiliza la finitud de conjuntos acotados para demostrar la periodicidad de órbitas
  • Teorema abc de Mason: Se demuestra la libertad del semigrupo

Resultados Experimentales

Resultados Principales

Tres casos del Teorema 1.1:

  1. Caso general: GG contiene una proporción positiva de polinomios irreducibles si y solo si contiene al menos un polinomio irreducible
  2. Excepción de grado par: d≥4d \geq 4 es par y {c1,…,cs}⊆{yp−ypd,yp,−yp,−yp−ypd}\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p, -y^p, -y^p - y^{pd}\}
  3. Excepción de grado impar: d≥5d \geq 5 es impar y {c1,…,cs}⊆{yp−ypd,yp}\{c_1, \ldots, c_s\} \subseteq \{y^p - y^{pd}, y^p\}

Condiciones suficientes del Corolario 1.2:

  • d≥5d \geq 5 es impar y s≥3s \geq 3
  • d≥4d \geq 4 es par y s≥5s \geq 5

Precisión de Resultados Técnicos

  • Optimalidad del número de iteraciones: Mediante ejemplos concretos se demuestra que el número de iteraciones en el Teorema 1.3 es óptimo
  • Necesidad de casos excepcionales: Mediante construcción de ejemplos concretos se demuestra que los casos excepcionales efectivamente existen

Trabajos Relacionados

Desarrollo Histórico

  1. Trabajos previos: El artículo se construye sobre la base de 3,6,7, en particular investigaciones sobre semigrupos de polinomios cuadráticos
  2. Caso de un solo polinomio: La Proposición 3.2 generaliza resultados de 8 sobre estabilidad de polinomios cuadráticos
  3. Métodos técnicos: Mejora los Teoremas 2.3 y 2.7 de 6, sin requerir que los polinomios sean irreducibles o tengan grado primo

Comparación de Métodos

  • Técnica de puntos racionales: Ha tenido aplicaciones exitosas en casos de grado pequeño (d=2,3d = 2, 3), pero es impráctica para grado grande
  • Evitación de órbitas de potencias primas: Este es un método clásico para estudiar irreducibilidad; el presente artículo proporciona una nueva ruta técnica

Conclusiones y Discusión

Conclusiones Principales

  1. Se establece una teoría casi completa sobre la distribución de polinomios irreducibles en semigrupos de polinomios monocríticos
  2. La clasificación de imágenes iteradas de potencias primas proporciona nuevas herramientas para dinámica aritmética
  3. Los casos excepcionales poseen una interpretación dinámica clara

Limitaciones

  1. Casos excepcionales: Aunque los autores conjeturan que los casos excepcionales en realidad no existen, la técnica actual no puede resolver completamente esto
  2. Restricción a enteros: Los resultados se orientan principalmente a polinomios con coeficientes enteros; la generalización a cuerpos numéricos requiere investigación adicional
  3. Restricción de grado: Para semigrupos de grado mixto, la teoría aún está incompleta

Direcciones Futuras

  1. Resolución completa de casos excepcionales: Buscar nuevos métodos para tratar familias excepcionales en grado grande
  2. Generalización a otros cuerpos numéricos: Extender resultados a cuerpos algebraicos
  3. Caso de grado mixto: Investigar semigrupos generados por polinomios de diferentes grados

Evaluación Profunda

Ventajas

  1. Profundidad técnica: La demostración del teorema de clasificación de potencias primas emplea técnicas sofisticadas, combinando métodos de múltiples ramas matemáticas
  2. Completitud de resultados: Se resuelve casi completamente el problema, dejando solo pequeños casos excepcionales
  3. Innovación metodológica: La conexión entre propiedades de potencias primas y comportamiento dinámico es perspicaz
  4. Claridad de escritura: El artículo está bien estructurado con manejo adecuado de detalles técnicos

Insuficiencias

  1. Dependencia computacional: Algunos casos de parámetros pequeños dependen de verificación computacional; la demostración teórica no es completamente rigurosa
  2. Tratamiento de excepciones: El manejo de casos excepcionales aún no es suficientemente exhaustivo
  3. Rango de aplicaciones: Los resultados son principalmente teóricos; el valor de aplicación práctica está por desarrollarse

Impacto

  1. Contribución teórica: Proporciona herramientas importantes para dinámica aritmética y teoría algebraica de números
  2. Valor técnico: El método de clasificación de potencias primas puede tener aplicaciones en otros problemas
  3. Dirección de investigación: Abre nuevas direcciones de investigación que estimularán trabajos posteriores

Escenarios Aplicables

  • Investigación en dinámica aritmética
  • Problemas de irreducibilidad de polinomios
  • Investigación de estructura de órbitas en teoría algebraica de números
  • Problemas de factorización de polinomios en álgebra computacional

Referencias Bibliográficas

El artículo cita trabajos importantes en el campo, incluyendo:

  • 3 Doyle & Hindes: Investigación de polinomios monocríticos en cuerpos abc
  • 6 Hindes et al.: Proporción de polinomios irreducibles en semigrupos generados por polinomios monocríticos
  • 8 Jones: Densidad de factores primos en dinámica aritmética de polinomios cuadráticos
  • 9 Lang: Fundamentos teóricos relacionados en textos de álgebra