Frequency Ordered Ratio Families Arising from the Factorization of $p_{m-1}+1$

Resumen Técnico: Familias de Razones Ordenadas por Frecuencia Derivadas de la Factorización de $p_{m-1} + 1$

Enunciado del Problema
Este artículo investiga las propiedades estructurales de la sucesión de enteros definida por $p_{m-1} + 1$, donde $p_n$ denota el $n$-ésimo número primo. El estudio se centra específicamente en el subconjunto de índices $m \ge 3$ que pertenecen a la sucesión A223881 del OEIS. Esta sucesión se define por la condición de que el mayor factor primo de $p_{m-1} + 1$, denotado $L_m$, excede a $m$ (es decir, $L_m > m$). Para la mayoría de los $m$, todos los factores primos de $p_{m-1} + 1$ son $\le m$; por lo tanto, el conjunto A223881 representa una colección dispersa pero estructurada de índices "excepcionales".

El problema central es comprender la distribución del factor complementario $R_m = (p_{m-1} + 1) / L_m$ dentro de este subconjunto. Los gráficos computacionales de $p_{m-1} + 1$ para $m \in \text{A223881}$ revelan un fenómeno de "familia" donde los puntos de datos se agrupan a lo largo de curvas distintas. El artículo busca explicar este agrupamiento y derivar una sucesión basada en la frecuencia de los valores $R_m$.

Metodología
Los autores emplean una combinación de enumeración computacional, modelado probabilístico heurístico y teoría de números clásica:

1. Enumeración Computacional: El estudio genera valores de $p_{m-1} + 1$ para $m$ hasta $N = 50,000$. Para cada $m$, el entero se factoriza en $L_m R_m$. Los autores filtran los casos donde $L_m > m$, recopilando los valores resultantes de $R_m$ en un multiconjunto.
2. Ordenamiento por Frecuencia: Los valores distintos de $R_m$ se ordenan según su frecuencia de aparición (orden decreciente) para formar una nueva sucesión, $S(N)$.
3. Modelado Heurístico: Los autores proponen un modelo probabilístico para estimar la frecuencia de un valor específico $r$ apareciendo como $R_m$. Este modelo se basa en dos condiciones:
   • $r$ debe dividir a $p_{m-1} + 1$.
   • El cociente $(p_{m-1} + 1)/r$ debe ser primo (específicamente, $L_m$).
4. Análisis Teórico: El artículo utiliza el teorema de Dirichlet sobre primos en progresiones aritméticas para estimar la densidad de $m$ que satisfacen la condición de divisibilidad $r \mid (p_{m-1} + 1)$.

Contribuciones y Resultados Clave

• Definición de la Sucesión de Razones Ordenadas por Frecuencia: El artículo define una sucesión $S(N)$ compuesta por valores distintos de $R_m$ ordenados por frecuencia. Para $N=50,000$, el segmento inicial de esta sucesión es $2, 3, 4, 8, 6, 12, 10, 14, 15, 18, \dots$. Los autores notan que el segmento inicial parece estabilizarse a medida que $N$ aumenta.
• Explicación del Fenómeno de "Familia": El artículo aclara que las curvas distintas observadas en los gráficos de $p_{m-1} + 1$ corresponden a valores fijos de $R_m$. Dado que $L_m > m$ es una condición restrictiva, $L_m$ debe ser grande, forzando a que $R_m$ sea relativamente pequeño. En consecuencia, los puntos con el mismo valor pequeño de $R$ se agrupan a lo largo de la curva $p_{m-1} + 1 = R \cdot L_m$. Las familias más prominentes corresponden a los valores más frecuentes de $R_m$.
• Teorema de Divisibilidad (Teorema 1): El artículo establece que para un entero fijo $r \ge 1$, la cantidad de $m \le N$ tal que $r \mid (p_{m-1} + 1)$ es asintóticamente $N / \phi(r)$, donde $\phi$ es la función indicatriz de Euler. Este resultado se deriva heurísticamente del teorema de Dirichlet.
• Modelo Asintótico Heurístico (Conjetura 1): Combinando la densidad de divisibilidad ($1/\phi(r)$) con la probabilidad heurística de que el cociente sea primo ($1/\log N$), los autores proponen que la frecuencia de un $R_m = r$ específico sigue la ley:
  $$\#\{m \le N : R_m = r\} \sim \frac{CN}{\phi(r) \log N}$$
  donde $C$ es una constante positiva cercana a 1.
• Verificación Numérica: El análisis log-log de datos empíricos hasta $N=50,000$ confirma una relación lineal entre $\log(\text{conteo}(r))$ y $\log(\phi(r))$ con una pendiente cercana a $-1$, lo que respalda la ponderación inversa a la función indicatriz de Euler.
• Valores Primos de R: El artículo observa que, aunque $R_m$ puede ser primo, tales ocurrencias son raras entre los valores más frecuentes. Solo $R=2$ y $R=3$ aparecen con frecuencia; los valores primos mayores de $R$ ocurren extremadamente con poca frecuencia.

Significado y Afirmaciones
El artículo afirma proporcionar una nueva perspectiva sobre la estructura de A223881 del OEIS al vincular el fenómeno de "familia" en $p_{m-1} + 1$ con la distribución de frecuencia del factor complementario $R_m$. El significado principal radica en la observación de que el ordenamiento de estas familias está gobernado asintóticamente por el inverso de la función indicatriz de Euler, $\phi(r)^{-1}$.

Los autores enmarcan modestamente su trabajo como una explicación de patrones computacionales observados y una propuesta de un modelo heurístico. Declaran explícitamente que la demostración rigurosa de la ley inversa-$\phi(r)$ sigue siendo un problema abierto. El artículo no afirma haber demostrado la distribución asintótica ni la monotonía de la subsucesión prima dentro de la lista ordenada por frecuencia; más bien, identifica estos aspectos como problemas abiertos que requieren un control más profundo sobre las estadísticas de factorización de $p_{m-1} + 1$. El trabajo sirve como puente entre las observaciones de la teoría de números computacional y los resultados clásicos sobre primos en progresiones aritméticas.