🔢 mathematics

On the Asymptotic Density of a GCD-based Map

El artículo demuestra que la simetría de la función $f(a,b)=\frac{\operatorname{gcd}(ab,a+b)}{\operatorname{gcd}(a,b)}$ surge de una acción de $\operatorname{SL}_2(\mathbb{Z})$ sobre pares primitivos, proporciona una descripción uniforme de sus soluciones y establece que la densidad asintótica de los pares con $f(a,b)=1$ es aproximadamente $0.88151$, mientras que para su análogo de orden superior $f_r$ con $r\ge2$ dicha densidad tiende a $6/\pi^2$ .

Autores originales: Thang Pang Ern, Malcolm Tan Jun Xi

Publicado 2026-04-21

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Thang Pang Ern, Malcolm Tan Jun Xi

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

¡Hola! Imagina que este artículo es como un mapa del tesoro matemático que descubre un patrón oculto en cómo se relacionan los números entre sí. Los autores, Thang Pang Ern y Malcolm Tan Jun Xi, han estado jugando con una fórmula un poco extraña que mezcla multiplicación, suma y la búsqueda de "divisores comunes".

Aquí te explico de qué trata, usando analogías sencillas:

1. El Juego de la Fórmula Mágica

Imagina que tienes dos números, digamos A y B.
La fórmula que estudian es:

Toma el producto de A y B, súmalo con la suma de A y B, y luego divide todo por el "máximo común divisor" de A y B.

Parece complicado, pero piénsalo así: es como una receta de cocina. Si tomas dos ingredientes (A y B), los mezclas de una forma específica, y luego quitas la parte que ya tenían en común, te queda un resultado final.

El descubrimiento: Los autores demostraron que esta receta puede producir cualquier número entero que quieras (1, 2, 3, 100, etc.). No importa qué número busques, siempre hay un par de números (A, B) que, al meterlos en la máquina, te darán ese resultado.

2. El Espejo y los Baile de Números

Si dibujas los resultados de esta fórmula en una cuadrícula (como un mapa de calor en un videojuego), verás algo fascinante: el mapa es simétrico.

La analogía: Es como si los números A y B fueran bailarines. Si A da un paso a la izquierda y B a la derecha, el resultado es el mismo que si B da el paso a la izquierda y A a la derecha.
El secreto: Esta simetría no es casualidad. Los autores descubrieron que existe un "grupo de baile" matemático llamado SL2(Z) (suena a nombre de una banda de rock, pero es un grupo de matrices) que organiza cómo se mueven estos números. Es como si hubiera un director de orquesta invisible que asegura que, aunque cambien los números, la música (el resultado) se mantenga ordenada y predecible.

3. El "Código de Barras" de los Números

Para encontrar qué pares de números dan un resultado específico (por ejemplo, ¿qué pares dan el número 6?), los autores crearon un sistema de tres llaves:

Un número base.
Un "salto" o patrón (como contar de 3 en 3, o de 5 en 5).
Una condición de que ciertos números no se repitan (que sean "coprimos").

La analogía: Imagina que quieres encontrar todas las llaves que abren una caja fuerte específica. En lugar de probar llaves al azar, los autores dijeron: "¡Espera! Todas las llaves correctas siguen un patrón de trenes".

Si el número objetivo es "libre de cuadrados" (no tiene factores repetidos como 4 o 9), las soluciones se organizan en carriles de tren (progresiones aritméticas).
Usan una herramienta antigua llamada Teorema Chino del Resto (que es como un rompecabezas de congruencias) para combinar estos carriles y encontrar todas las soluciones posibles.

4. La Probabilidad de la Suerte (La Densidad)

La parte más sorprendente del paper es lo que pasa cuando miramos todos los números posibles, no solo unos pocos.

La pregunta: Si eliges dos números al azar de un sombrero gigante, ¿cuál es la probabilidad de que la fórmula de arriba dé como resultado el número 1?
El resultado: ¡Es aproximadamente un 88.15%!
- Esto significa que casi el 90% de las veces, si tomas dos números al azar, la "receta" mágica te dará un 1.
- Los autores calculan esta probabilidad multiplicando una serie infinita de fracciones relacionadas con los números primos (2, 3, 5, 7...). Es como calcular la probabilidad de que no te caiga lluvia en ningún día del año, pero con números.

¿Por qué es importante este 88%?
Este número (0.88151) no es solo un dato curioso. Aparece en otra rama muy seria de las matemáticas llamada Teoría de Números Algebraicos, relacionada con cómo se clasifican ciertos tipos de campos numéricos (campos cuadráticos reales). Es como si dos mundos matemáticos totalmente diferentes (uno sobre sumas y productos, y otro sobre estructuras abstractas) estuvieran hablando el mismo idioma secreto.

5. ¿Qué pasa si cambiamos la fórmula?

Los autores también probaron qué pasa si cambiamos la suma por potencias (por ejemplo, usar $A^2 + B^2$ en lugar de $A+B$ ).

El giro: Si usamos potencias mayores o iguales a 2, la probabilidad de obtener un 1 cambia drásticamente. Se convierte en 6/π² (aproximadamente 60.8%).
La analogía: Es como cambiar las reglas del juego. Si antes casi siempre ganabas (88% de éxito), con las nuevas reglas la suerte baja a un 60%, que es exactamente la probabilidad de que dos números al azar no tengan divisores comunes (que sean "coprimos").

En Resumen

Este paper es como un viaje de descubrimiento donde:

Se demuestra que una fórmula extraña puede generar cualquier número.
Se revela que hay una estructura oculta y simétrica (como un baile) que organiza estos números.
Se calcula que, en el universo de los números, es muy probable (88%) que esta fórmula dé como resultado 1.
Se conecta este hallazgo con misterios más profundos de las matemáticas, mostrando que todo está interconectado.

Es una prueba de que, incluso en la aritmética más básica, hay patrones elegantes y sorprendentes esperando ser descubiertos.

Resumen Técnico: On the Asymptotic Density of a GCD-Based Map

Autores: Thang Pang Ern y Malcolm Tan Jun Xi
Fecha: 24 de junio de 2025
Área: Teoría de Números (math.NT)

1. Planteamiento del Problema

El artículo se centra en el estudio de una función de dos variables definida sobre los números naturales $\mathbb{N}$ :
$f(a, b) = \frac{\gcd(ab, a + b)}{\gcd(a, b)}$
Los autores se proponen resolver tres problemas fundamentales:

Demostrar que la función es sobreyectiva (es decir, que todo número natural $n$ puede ser obtenido como valor de $f(a, b)$ para algún par $(a, b)$ ).
Caracterizar completamente el conjunto de pares $(a, b)$ que producen un valor de salida específico $n$ .
Determinar la densidad asintótica de los pares $(a, b)$ tales que $f(a, b) = 1$ , y analizar el comportamiento de una generalización de la función para exponentes $r \geq 2$ .

2. Metodología

Los autores emplean una combinación de herramientas de teoría de números algebraica y analítica:

Descomposición de GCD y Propiedades Aritméticas: Utilizan el Lema de Bézout y la descomposición $a = d a'$ , $b = d b'$ (donde $d = \gcd(a, b)$ y $\gcd(a', b') = 1$ ) para simplificar la expresión de $f(a, b)$ a $f(a, b) = \gcd(d, a' + b')$ .
Acción de Grupos ( $SL_2(\mathbb{Z})$ ): Analizan la simetría de la función mediante la acción del grupo modular $SL_2(\mathbb{Z})$ sobre pares primitivos $(a', b')$ . Identifican subgrupos estabilizadores que preservan la suma $a' + b'$ , lo que explica las simetrías observadas en los mapas de calor de la función.
Teorema Chino del Resto (CRT): Para construir soluciones explícitas, especialmente cuando $n$ es libre de cuadrados, combinan soluciones locales para cada factor primo utilizando congruencias.
Teoría de Probabilidad Asintótica y Productos de Euler: Para calcular la densidad, modelan la probabilidad de que un primo $p$ divida simultáneamente al máximo común divisor y a la suma de las partes coprimas, derivando un producto infinito sobre todos los primos.
Método de la Hipérbola de Dirichlet: Se utiliza para estimar sumas parciales de funciones multiplicativas (como la función $\phi$ de Euler) y probar resultados sobre la densidad de pares coprimos.

3. Contribuciones Clave y Resultados

A. Sobreyectividad y Parametrización Uniforme

Se demuestra que $f$ es sobreyectiva. Para cualquier $c \in \mathbb{N}$ , existen pares $(a, b)$ tales que $f(a, b) = c$ .
Se establece una descripción paramétrica uniforme de tres parámetros para todas las soluciones de $f(a, b) = n$ $f (a, b) = n$ :
$a = n k a', \quad b = n k b'$
Donde:
- $m$ es un entero positivo tal que $a' + b' = nm$.
- $a'$ es un entero con $1 \leq a' \leq nm - 1$ y $\gcd(a', nm) = 1$ .
- $k$ es un entero positivo con $\gcd(k, m) = 1$ .
  Esta parametrización genera todas las soluciones y es sobreyectiva sobre el conjunto de soluciones.

B. Estructura de Soluciones para $n$ Libre de Cuadrados

Para $n$ libre de cuadrados ( $n = p_1 p_2 \dots p_k$ ), las soluciones se organizan en familias de progresiones aritméticas.
Se define un "par mínimo" y un "hueco" (gap) para cada primo $p_i$ .
Mediante el Teorema Chino del Resto, se combinan estas progresiones para obtener $2^k$ familias de soluciones que cubren todos los pares posibles. Esto recupera estructuras conocidas y las generaliza.

C. Densidad Asintótica para $f(a, b) = 1$

El resultado principal es el cálculo de la densidad límite $\rho = \lim_{N \to \infty} \rho_N$ , donde $\rho_N$ es la proporción de pares $(a, b) \in [1, N]^2$ tales que $f(a, b) = 1$ .
La densidad viene dada por el siguiente producto de Euler:
$\rho = \prod_{p} \left( 1 - \frac{1}{p^2(p + 1)} \right) \approx 0.88151$
Interpretación Profunda: Los autores notan que esta constante coincide con la constante del número de clase cuadrática, que aparece en el análisis asintótico de los números de clase de campos cuadráticos reales y en las heurísticas de Cohen-Lenstra. Esto sugiere una conexión no trivial entre la teoría de números aditiva (GCD) y la teoría algebraica de números (números de clase).

D. Generalización para $r \geq 2$

Se define $f_r(a, b) = \frac{\gcd(a^r + b^r, ab)}{\gcd(a, b)}$ .
Se demuestra que para $r \geq 2$ , el término $\gcd(a^r + b^r, ab)$ es simplemente $\gcd(a, b)$ debido a las propiedades de los polinomios ciclotómicos.
Por lo tanto, $f_r(a, b) = 1$ si y solo si $\gcd(a, b) = 1$ .
La densidad asintótica para $r \geq 2$ es la clásica densidad de pares coprimos:
$\rho_r = \frac{6}{\pi^2} \approx 0.60793$

4. Significado e Implicaciones

Conexión Interdisciplinaria: El hallazgo más significativo es la aparición de la constante de número de clase cuadrática ( $\approx 0.88151$ ) en un problema puramente combinatorio-aritmético sobre GCDs. Esto vincula la distribución de valores de funciones aritméticas simples con la teoría de campos cuadráticos.
Estructura Algebraica: La identificación de la acción de $SL_2(\mathbb{Z})$ como la fuente de las simetrías en los mapas de calor de la función proporciona una comprensión geométrica y de grupo de la distribución de los valores de $f(a, b)$ .
Herramientas Computacionales: El artículo incluye código (MATLAB y Python) para visualizar la función y calcular empíricamente las densidades, validando los resultados teóricos con datos numéricos (mostrando convergencia a $\approx 0.88151$ para $N$ grande).
Generalización: La distinción clara entre el caso $r=1$ (complejo, dependiente de la suma) y $r \geq 2$ (simple, dependiente solo de la coprimacidad) ofrece un panorama completo del comportamiento de este tipo de mapas.

En conclusión, el artículo no solo resuelve la caracterización de las soluciones de una función GCD específica, sino que revela profundas conexiones con constantes fundamentales en la teoría de números algebraica, unificando conceptos de simetría de grupos, densidad probabilística y teoría de campos.