🔢 mathematics

Factorial Calculi and the Canonical Stirling Defect of the Prime Bhargava Factorial

Este artículo construye una función entera canónica libre de ceros $\Gamma_{\mathbb{P}}^{\mathrm{cyc}}$ que interpola el factorial de Bhargava primo mediante normalización ciclotómica y por órbitas, estableciendo su ley de reflexión, derivando una fórmula de Stirling no suavizada con un término de error primo-local preciso, y probando un asintótico condicional para la suma de los cuadrados de este término de error.

Autores originales: Brian Diaz

Publicado 2026-07-27

📖 3 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Brian Diaz

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando contar las formas de organizar una baraja de cartas. Para una baraja estándar, multiplicas $1 \times 2 \times 3 \dots$ hasta llegar a 52. Esto es el famoso "factorial", una herramienta matemática que nos ayuda a contar combinaciones, predecir probabilidades y comprender cómo crecen las cosas. Pero, ¿y si no tuvieras una baraja estándar? ¿Qué pasaría si tu baraja estuviera hecha solo de números primos, esos números especiales como el 2, 3, 5, 7, 11 que no pueden descomponerse más? Los matemáticos se han preguntado durante mucho tiempo: si construimos un "factorial primo" usando solo estos números especiales, ¿sigue las mismas reglas suaves y predecibles que el estándar?

Esta pregunta vive en el mundo de la teoría de números, una rama de las matemáticas que estudia los patrones ocultos de los enteros. Para responderla, necesitamos dos herramientas principales. Primero, la función Gamma, que es como un "superfactorial" que permite calcular factoriales para números que no son enteros (como 3.5!), convirtiendo una escalera dentada de enteros en una curva suave y fluida. Segundo, la fórmula de Stirling, un atajo famoso que nos dice qué tan grande se vuelve un factorial a medida que los números se vuelven enormes, convirtiendo un problema de multiplicación masiva en una ecuación simple que involucra logaritmos y raíces cuadradas. El gran misterio ha sido: cuando sustituimos los números por números primos, ¿sigue existiendo esta curva suave y sigue funcionando el atajo?

En este artículo, el matemático Brian Diaz aborda este rompecabezas construyendo un nuevo "factorial primo" desde sus cimientos. Él no solo adivina la respuesta; construye una máquina matemática rigurosa llamada "cálculo factorial" que trata a los números primos como las capas de un pastel. Demuestra que, si bien cada capa individual de números primos se comporta de una manera desordenada y dentada, cuando las apilas todas juntas, forman un todo suave y predecible. Luego inventa una "Función Gamma Prima" especial que actúa como la curva suave para estos factoriales primos.

El hallazgo principal del artículo es que esta nueva Función Gamma Prima es real, única y sigue una hermosa regla de simetría: si multiplicas la función en un número $z$ por la función en $1-z$ , siempre obtienes 1. Esta es una "ley de reflexión" similar a la que sigue la función Gamma estándar, demostrando que el mundo de los primos tiene su propio orden elegante. Sin embargo, el artículo también revela un giro. Aunque la función es perfectamente suave, la diferencia entre el factorial primo real y el atajo predicho (llamado el "defecto de Stirling") no desaparece; oscila. El artículo demuestra que estas oscilaciones son reales, fluctuaciones aritméticas no suavizadas, no solo errores de cálculo.

Diaz calcula exactamente qué tan grandes son estas oscilaciones en promedio. Encuentra que si observas el cuadrado de estas fluctuaciones hasta un número $X$ , el total crece aproximadamente como $X^{1.5} \log X$ . Este es un resultado preciso y condicional. El artículo demuestra que si una hipótesis específica y difícil sobre el comportamiento de los números primos (un "límite de raíz cuadrada" sobre una suma de caracteres complejos) es cierta, entonces esta tasa de crecimiento es exacta. Si esta hipótesis falla, la tasa de crecimiento podría ser diferente. El artículo no pretende haber probado la hipótesis en sí; más bien, aisla toda la incertidumbre del problema en esta única y bien definida conjetura matemática. Así, la estructura del factorial primo se demuestra como hermosa y única, pero el tamaño exacto de sus fluctuaciones finales espera a que caiga la última pieza del rompecabezas.

Resumen Técnico: Cálculos Factoriales y el Defecto de Stirling Canónico del Factorial de Bhargava Primal

1. Planteamiento del Problema y Motivación
El artículo aborda la continuación analítica y el comportamiento asintótico del factorial de Bhargava primal, denotado como $(n+1)!_P$ . Mientras que la función gamma de Euler clásica $\Gamma(z)$ está unívocamente caracterizada entre las soluciones de la recurrencia $\Gamma(z+1)=z\Gamma(z)$ por el teorema de Bohr–Mollerup (positividad y log-convexidad), no existe un principio de convexidad directa similar para los factoriales aritméticos definidos sobre subconjuntos de enteros.

El problema específico consiste en construir una función gamma entera "canónica" $\Gamma_P(z)$ que interpole el factorial de Bhargava primal, satisfaga su recurrencia exacta y posea una expansión de Stirling bien definida. Una dificultad central es que la relación de recurrencia por sí sola admite un "torsor" de soluciones enteras (que difieren por funciones enteras de periodo 1), lo cual requiere un principio de normalización para seleccionar un representante único, análogo a cómo Bohr–Mollerup selecciona la función gamma clásica. El trabajo busca analizar las fluctuaciones aritméticas precisas de esta selección.

2. Metodología y Marco de Trabajo

El artículo desarrolla un marco de tres partes:

Parte I: La Categoría de Cálculos Factoriales.
Los autores formalizan una categoría, FactCalc, donde los objetos son secuencias de datos factoriales positivos $F = (F_n)$ . Cada dato define un espacio de Hilbert ponderado de series de potencias y un operador de derivada generalizado. El factorial de Bhargava primal se realiza no como una secuencia única, sino como la completación monoidal simétrica filtrada de "capas de valoración atómicas".
- Capas Atómicas: Para cada primo $p$ e entero $j \ge 0$ , una capa $\lambda = (p,j)$ contribuye con un factor de paso periódico.
- Completación: El factorial completado $(n+1)!_P$ es el límite de productos finitos de estas capas. El artículo demuestra que, mientras los sistemas de capas finitas exhiben crecimiento exponencial, el sistema completado exhibe crecimiento factorial, lo que requiere un cambio de las funciones analíticas basadas en el disco hacia funciones enteras.
Parte II: Torsores de Elevación Gamma y Selección de Stirling por Órbita.
Los autores analizan la ambigüedad en la extensión de un factorial discreto a una función entera.
- Estructura de Torsor: El conjunto de elevaciones enteras de la recurrencia logarítmica forma un torsor bajo el grupo de funciones enteras de periodo 1 normalizadas.
- Principio de Normalización: En lugar de la log-convexidad, el artículo introduce la normalización de Stirling por órbita. Este principio requiere que el "defecto transversal" (la desviación de la elevación respecto a un modelo de comparación, promediada sobre órbitas de traslación) se anule asintóticamente.
- Construcción: Utilizando la cuadratura cíclica simétrica, los autores construyen un símbolo de recurrencia entera específico $L^{cyc}_P$ y una elevación distinguida $H^{cyc}_P$ . Se demuestra que esta elevación es el único elemento del torsor que satisface la condición de Stirling por órbita respecto al modelo de comparación $M_P(z) = \log \Gamma(z) + C_P(z-1)$ , donde $C_P = \sum_p \frac{\log p}{(p-1)^2}$ .
- Propiedades: La función resultante $\Gamma^{cyc}_P(z) = \exp(H^{cyc}_P(z))$ es libre de ceros, entera, satisface la recurrencia y obedece una ley de reflexión de tipo Euler: $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ .
Parte III: Análisis de Fluctuación No Suavizada.
El artículo analiza el segundo momento del "defecto de Stirling" $R_P(n) = \log(n+1)!_P - \log n! - C_P n$ .
- Descomposición: El defecto se descompone en un término diagonal geométrico y términos de covarianza fuera de la diagonal.
- Reducción: Utilizando la identidad de Vaughan, la sumatoria de Poisson y el descenso de conductor, los autores reducen el problema de la varianza a un "momento de Vaughan centrado subcrítico".
- Condicionalidad: Todos los componentes estructurales (la función gamma, la ley de reflexión, la constante diagonal) se demuestran de forma incondicional. La varianza asintótica final depende de una conjetura específica sobre la cancelación de una suma de caracteres centrada.

3. Contribuciones Clave y Resultados

Realización Categórica: El factorial de Bhargava primal se define rigurosamente como el límite proyectivo acotado de cálculos de valoración atómica, estableciendo un marco de "cálculo factorial" que generaliza el cálculo diferencial clásico.
Función Gamma Canónica: La construcción de $\Gamma^{cyc}_P(z)$ $Γ_{P}^{cy c} (z)$ es la primera función gamma entera canónica para el factorial de Bhargava primal. Cumple con:
- $\Gamma^{cyc}_P(m) = m!_P$ para enteros $m \ge 1$ .
- La ley de reflexión $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ .
- El valor del punto medio $\Gamma^{cyc}_P(1/2) = 1$ .
Expansión de Stirling No Suavizada: El artículo deriva una fórmula de Stirling exacta y no suavizada para el factorial primo:
$\log(n+1)!_P = n \log n + (C_P - 1)n + \frac{1}{2}\log(2\pi n) + R_P(n) + O(1/n)$
donde $R_P(n)$ es una discrepancia aritmética explícita con una expansión local prima absolutamente convergente.
Asíntota de la Varianza: El artículo demuestra que el segundo momento del defecto se comporta como:
$\sum_{n \le X} R_P(n)^2 \sim -\frac{4}{3}\zeta\left(-\frac{1}{2}\right) X^{3/2} \log X$
Este resultado es condicional a la Conjetura 1.6 (Momento de Vaughan Centrado Subcrítico), la cual afirma un límite de raíz cuadrada para una suma de caracteres centrada específica que involucra pesos de Möbius truncados y primos.
No Existencia de Integrales Positivas: El artículo demuestra que no existe una representación de Euler–Mellin positiva para $\Gamma^{cyc}_P$ o su recíproco, ya que la secuencia falla las condiciones de positividad de Hankel. Esto motiva una conjetura para una representación de signo, distributiva o de contorno.

4. Significado y Reivindicaciones

El artículo afirma proporcionar una teoría estructural y analítica completa para el factorial de Bhargava primal, respondiendo a preguntas específicas (Preguntas 31 y 33) planteadas por Bhargava en su trabajo de 2000.

Unificación Estructural: Unifica los factoriales aritméticos, las exponenciales generalizadas y las funciones gamma dentro de un único marco categórico de "cálculos factoriales", distinguiendo entre la conjugación polinómica formal y la acotación analítica.
Teoría de Normalización: Establece la rigidez de Stirling por órbita como el análogo correcto del teorema de Bohr–Mollerup para las recurrencias aritméticas, seleccionando una continuación analítica única sin depender de la convexidad.
Precisión de las Fluctuaciones: Aísla la fuente de incertidumbre en la varianza del factorial primo. El artículo sostiene que la "construcción categórica, la continuación canónica, la ley de reflexión y la expansión de Stirling son incondicionales", mientras que la condicionalidad de la asíntota de la varianza se "aisla en una única estimación espectral".
Aritmética vs. Analítica: El trabajo destaca que el "comportamiento de Stirling" del factorial primo es un fenómeno de completación; no es visible en los sistemas de capas finitas, sino que emerge solo después de tomar el producto infinito de las capas de valoración.

En resumen, el artículo construye una función entera distinguida $\Gamma^{cyc}_P$ que sirve como la función gamma canónica para el factorial de Bhargava primal, prueba sus ecuaciones funcionales fundamentales y deriva la varianza asintótica precisa de su término de error aritmético, supeditada únicamente a una conjetura estrecha y específica en la teoría de números analítica.

Más como este