Density of Visible Lattice Points on Hyperplanes and their Intersections

1. Planteamiento del Problema

El artículo aborda un problema clásico en la teoría de números geométrica y la teoría de la densidad asintótica: la distribución de puntos reticulares visibles.

• Definición: Un punto reticular $\mathbf{x} = (x_1, \dots, x_n) \in \mathbb{Z}^n$ se considera "visible" desde el origen si el segmento de línea que une $\mathbf{x}$ con el origen no contiene ningún otro punto reticular. Esto es equivalente a la condición $\gcd(x_1, \dots, x_n) = 1$.
• Contexto: Se sabe que la densidad asintótica de puntos visibles en todo el espacio $\mathbb{Z}^n$ es $1/\zeta(n)$, donde $\zeta$ es la función zeta de Riemann.
• Objetivo: El trabajo generaliza este concepto para calcular la densidad asintótica de puntos visibles que residen específicamente en hiperplanos definidos por ecuaciones lineales $\mathbf{a} \cdot \mathbf{x} = b$ y en sus intersecciones. Además, extiende el análisis a puntos $k$-libres (puntos donde el MCD no es divisible por ninguna $k$-ésima potencia de un primo) y estudia la estructura topológica del conjunto de todas las densidades posibles para una dimensión fija $n$.

2. Metodología

Los autores emplean una combinación de herramientas de la teoría de números analítica, álgebra lineal sobre enteros y métodos de criba (sieve methods).

1. Transformaciones Lineales ($GL_n(\mathbb{Z})$):

   • Utilizan matrices unimodulares (determinante $\pm 1$) para transformar hiperplanos arbitrarios a formas canónicas más simples (como $x_1 = b$).
   • Demuestran que estas transformaciones preservan la visibilidad de los puntos (el MCD de las coordenadas se mantiene invariante bajo la acción de $GL_n(\mathbb{Z})$).

2. Forma Normal de Smith (SNF):

   • Para intersecciones de múltiples hiperplanos, aplican la Forma Normal de Smith a la matriz de coeficientes del sistema lineal. Esto permite diagonalizar el sistema y reducir el problema de intersección a un sistema de ecuaciones desacopladas en un nuevo sistema de coordenadas.

3. Métodos de Criba y Funciones Aritméticas:

   • Generalizan el método de criba de Eratóstenes utilizando la función de Möbius ($\mu$) y su generalización para potencias ($\mu_k$).
   • Utilizan la función totiente de Jordan $J_n(b)$, que cuenta el número de $n$-tuplas coprimas con $b$ en un sistema de residuos completo.
   • Estiman el error entre el número de puntos reticulares en un dominio convexo y su volumen, basándose en resultados previos (como los de [18]), para demostrar que la densidad asintótica existe y es independiente de la forma específica del dominio de acotación (cubos vs. paralelepipedos transformados).

4. Análisis de Series y Conjuntos de Logaritmos:

   • Para estudiar la estructura del conjunto de densidades, transforman el problema multiplicativo (productos sobre primos) a un problema aditivo mediante logaritmos, analizando los "subsumas" de series convergentes relacionadas con $\sum -\log(1-p^{-n})$.

3. Contribuciones Clave y Resultados Principales

A. Densidad en Hiperplanos y Intersecciones (Secciones 2 y 3)

El resultado central es una fórmula explícita para la densidad de puntos visibles en intersecciones de hiperplanos.

• Teorema 3.3: Para un sistema de $s$ ecuaciones lineales en $n$ variables con forma normal de Smith $D$, la densidad asintótica de puntos visibles en la intersección es:
  $$\rho = \prod_{p \mid \gcd(p'_1, \dots, p'_m)} \left(1 - \frac{1}{p^{n-m}}\right)$$
  Donde $m$ es el rango de la matriz de coeficientes, y $p'_i$ son las coordenadas transformadas del punto de intersección.
• Corolario 3.4 (Caso de un solo hiperplano): Para un hiperplano $\sum a_i x_i = b$ con $\gcd(a_i)=1$, la densidad es:
  $$\rho(H) = \frac{J_{n-1}(b)}{b^{n-1}} = \prod_{p \mid b} \left(1 - \frac{1}{p^{n-1}}\right)$$
  • Si $b=0$, la densidad es $1/\zeta(n-1)$.
  • Si $b=\pm 1$, la densidad es $1$ (todos los puntos son visibles).

B. Generalización a Puntos $k$-Libres (Sección 4)

Los autores extienden los resultados anteriores a puntos donde el MCD no es divisible por ninguna $k$-ésima potencia de un primo ($k$-free points).

• Teorema 4.2: La densidad de puntos $k$-libres en la intersección de hiperplanos viene dada por:
  $$\rho_k = \prod_{p^k \mid \gcd(p'_1, \dots, p'_m)} \left(1 - \frac{1}{p^{k(n-m)}}\right)$$
  Esto generaliza los resultados clásicos de densidad de enteros $k$-libres en $\mathbb{Z}^n$ (que es $1/\zeta(kn)$) al contexto de subvariedades lineales.

C. Estructura del Conjunto de Densidades (Sección 5)

El artículo investiga el conjunto $D_n$ de todas las densidades posibles que pueden aparecer en hiperplanos de dimensión $n$.

• Caso $n=2$ (Líneas en $\mathbb{R}^2$): El conjunto de densidades es $\{ \phi(b)/b \mid b \in \mathbb{Z} \}$. Siguiendo a Schinzel y Sierpiński, este conjunto es denso en $[0, 1]$.
• Caso $n > 2$:
  • Teorema 5.2: Demuestran que para $n > 1$, el conjunto de densidades no es denso en el intervalo $[1/\zeta(n-1), 1]$. Existen "huecos" (gaps) significativos. Específicamente, hay un intervalo vacío entre $1 - 1/2^{n-1}$ y el producto sobre todos los primos impares.
  • Teorema 5.4: El conjunto $D_n$ es una unión finita de intervalos compactos para todo $n \ge 2$. Esto descarta que el conjunto sea un conjunto de Cantor o un "Cantorval".
  • Teorema 5.6 (Caso $n=3$, planos en $\mathbb{R}^3$): Calculan explícitamente los intervalos que componen $D_2$ (densidades de planos en $\mathbb{R}^3$), identificando cuatro intervalos específicos separados por huecos definidos por los primos 2 y 3.

4. Significado e Impacto

1. Unificación Teórica: El trabajo proporciona una fórmula unificada y rigurosa para la densidad de puntos visibles en subvariedades lineales, conectando la geometría de números con la teoría de funciones aritméticas (Jordan totient).
2. Generalización de Resultados Clásicos: Extiende el resultado clásico de $1/\zeta(n)$ a contextos restringidos (hiperplanos) y a condiciones de divisibilidad más complejas (puntos $k$-libres).
3. Descubrimiento de Estructura Topológica: La demostración de que el conjunto de densidades para $n > 2$ no es denso, sino una unión finita de intervalos, es un hallazgo profundo. Revela que, a diferencia del caso bidimensional, en dimensiones superiores existen restricciones aritméticas estrictas que impiden que ciertas densidades sean alcanzables, creando "huecos" en el espectro de posibilidades.
4. Aplicabilidad: Las técnicas desarrolladas (uso de SNF, transformación de dominios de acotación y cribas generalizadas) ofrecen herramientas metodológicas que pueden aplicarse a otros problemas de conteo de puntos reticulares en variedades algebraicas lineales.

En resumen, el artículo resuelve problemas abiertos sobre la distribución de puntos visibles en subespacios lineales y caracteriza completamente la naturaleza topológica de los valores de densidad posibles en dimensiones superiores, demostrando una transición cualitativa entre el caso $n=2$ y $n>2$.