Spectral Geometry of Fourier Curves with Prime Frequencies: A Comparative Experimental Study

Título: Geometría Espectral de Curvas de Fourier con Frecuencias Primas: Un Estudio Experimental Comparativo

1. Planteamiento del Problema

El trabajo aborda una cuestión central en las matemáticas experimentales: ¿La complejidad geométrica observada en las curvas planas generadas por series de Fourier con frecuencias primas refleja una estructura aritmética intrínseca, o es un fenómeno genérico que puede reproducirse mediante modelos aleatorios con características similares de dispersión (sparsity) o densidad?

En un trabajo previo, los autores introdujeron una serie de Fourier específica donde las frecuencias son números primos y los coeficientes se derivan de las valuaciones factoriales ($v_p(n!)$). Las muestras numéricas de esta serie producen curvas con una rica estructura multiescala. El objetivo de este estudio es aislar el papel de la estructura aritmética de los números primos comparando el modelo original contra varios modelos de control aleatorizados.

2. Metodología

A. Modelo Base (Frecuencias Primas)
Se define la serie de Fourier finita para cada $n \in \mathbb{N}$:
$$F_n(t) = \sum_{p \le n} v_p(n!) e^{ipt}, \quad t \in [-\pi, \pi]$$
Donde:

• $p$ son números primos menores o iguales a $n$.
• $v_p(n!)$ es la valuación $p$-ádica de $n!$, calculada mediante la fórmula de Legendre: $v_p(n!) = \sum_{k \ge 1} \lfloor \frac{n}{p^k} \rfloor$.
• La curva se obtiene muestreando $F_n(t)$ en puntos equidistantes en el plano complejo, centrando la curva en su centroide y normalizándola a un diámetro unitario.

B. Modelos de Control Aleatorizados
Para aislar la influencia de la estructura aritmética, se diseñaron tres modelos de control que preservan ciertas propiedades estadísticas (como la magnitud de los coeficientes o la densidad promedio) pero destruyen la correlación específica entre primos y coeficientes:

1. Modelo de Frecuencia Aleatoria: Se reemplazan los primos por un subconjunto uniforme aleatorio de $\{1, \dots, n\}$, manteniendo los coeficientes originales asociados a los primos. Esto destruye la estructura de frecuencias pero mantiene la dispersión.
2. Modelo de Tipo Cramér: Se genera un conjunto de frecuencias aleatorias mediante ensayos de Bernoulli independientes con probabilidad de éxito $1/\log k$ (imitando la densidad de los primos). Se seleccionan los primeros $\pi(n)$ enteros seleccionados.
3. Modelo de Primos Barajados (Shuffled): Se mantienen las frecuencias primas originales, pero los coeficientes $v_p(n!)$ se permutan aleatoriamente entre ellas. Esto destruye el acoplamiento estructurado entre un primo específico y su coeficiente factorial.

C. Protocolo de Análisis (Conteo de Cajas)

• Se utiliza la técnica de conteo de cajas (box counting) para cuantificar la complejidad geométrica.
• Se calcula el exponente de escalado efectivo $b_d(\varepsilon) = \frac{\log N(\varepsilon)}{\log(1/\varepsilon)}$, donde $N(\varepsilon)$ es el número de cajas de lado $\varepsilon$ que intersectan la curva.
• Se emplean ensayos de Monte Carlo con $R=200$ realizaciones independientes para cada modelo y una densidad de muestreo alta ($N \ge 2^{13}$) para garantizar estabilidad numérica.

3. Contribuciones Clave

• Diseño Experimental Riguroso: Establece un protocolo comparativo sistemático que separa la complejidad geométrica de la mera dispersión de frecuencias o la densidad estadística.
• Validación de la Estructura Aritmética: Proporciona evidencia experimental de que la geometría de estas curvas no es un artefacto de la aleatoriedad o la densidad, sino una consecuencia directa del acoplamiento específico entre los números primos y las valuaciones factoriales.
• Metodología de Escalado Efectivo: Propone el uso de exponentes de escalado efectivos ($b_d(\varepsilon)$) como estadísticos descriptivos para la complejidad geométrica dependiente de la escala, sin afirmar la convergencia a dimensiones fractales clásicas (Hausdorff o Minkowski).

4. Resultados Experimentales

• Curvas de Frecuencias Primas (Modelo Original):

  • Exhiben rangos de escalado intermedios extendidos.
  • Los exponentes efectivos $b_d(\varepsilon)$ se mantienen consistentemente alejados de 1 (línea) y 2 (área llena).
  • Muestran una variación oscilatoria moderada y estable a medida que aumenta $n$.
  • El comportamiento es robusto frente a cambios en la densidad de muestreo y procedimientos de normalización.

• Modelo de Frecuencia Aleatoria:

  • Exhibe una saturación rápida de los conteos de cajas a escalas pequeñas.
  • Los exponentes efectivos tienden a 2, indicando una falta de estructura multiescala estable.
  • No presenta regímenes de escalado intermedio estables.

• Modelo de Tipo Cramér:

  • Produce una estructura multiescala parcial.
  • Sin embargo, muestra una menor variabilidad en $b_d(\varepsilon)$ y oscilaciones más débiles en comparación con el modelo de primos.

• Modelo de Primos Barajados:

  • Muestra un comportamiento de escalado inestable.
  • Depende fuertemente de la realización individual específica.
  • Pierde los exponentes efectivos persistentes a través de las escalas.

5. Significado y Conclusiones

El estudio concluye que la complejidad geométrica observada en las curvas de Fourier con frecuencias primas no puede atribuirse únicamente a la dispersión o a la densidad de frecuencias. Por el contrario, surge de un acoplamiento estructurado entre el conjunto de frecuencias primas y los pesos de valuación factorial.

• Implicación Teórica: El comportamiento multiescala es una propiedad inherente a la representación de Fourier construida a partir de estos datos aritméticos específicos, y no una característica genérica de las series trigonométricas dispersas.
• Futuro: Los resultados motivan una investigación teórica más profunda para:
  • Acotar rigurosamente los exponentes de escalado efectivos.
  • Relacionar estas propiedades geométricas con las propiedades analíticas de los coeficientes.
  • Determinar qué correlaciones aritméticas contribuyen más fuertemente a la complejidad.
  • Explorar si otras funciones aritméticas aditivas producen construcciones de Fourier con comportamientos multiescala comparables.

En resumen, el artículo demuestra experimentalmente que la geometría de estas curvas es un "fósil" de la estructura profunda de los números primos, visible solo cuando se preserva la relación exacta entre los primos y sus coeficientes asociados.