On the Guy-Kelly Conjecture for the No-Three-In-Line Problem

Este artículo detalla la corrección de un error en el argumento heurístico de Guy y Kelly sobre la conjetura Guy-Kelly del problema de "no tres en línea", proporcionando por primera vez en la literatura los detalles específicos de dicha falacia y su subsiguiente ajuste del límite superior conjeturado.

Lo esencial

Imagina que tienes un tablero de ajedrez gigante, pero en lugar de 8x8, tiene un tamaño de n x n (donde "n" es un número muy grande). En cada intersección de las líneas del tablero hay una ficha.

El problema del "No-Tres-En-Línea" es un juego mental: ¿Cuántas fichas puedes poner en este tablero sin que tres de ellas formen una línea recta perfecta (ya sea horizontal, vertical o diagonal)?

Aquí está la historia de lo que dice este artículo, explicada como si fuera un cuento:

1. El Problema y la Regla de Oro

Si el tablero es pequeño, la respuesta es fácil: puedes poner exactamente 2n fichas (dos por cada fila). Es como si llenaras dos filas completas; nunca tendrás tres en línea porque solo hay dos en cada una.

Pero, ¿qué pasa si el tablero es inmensamente grande? Los matemáticos Guy y Kelly, en 1968, pensaron que la respuesta dejaría de ser "2n" y bajaría un poco. Usaron una especie de "adivinanza matemática" (llamada heurística) para predecir cuántas fichas podrías poner realmente.

2. La Adivinanza Original (y el Error)

Guy y Kelly hicieron un cálculo basado en la probabilidad. Imagina que lanzas las fichas al azar sobre el tablero. Ellos pensaron: "Si lanzamos muchas fichas, es muy probable que tres caigan en línea. Para evitarlo, debemos poner menos fichas".

Su fórmula original decía que el número máximo de fichas sería algo así como:

1.814... veces n (un número un poco más alto que el que creían, pero la fórmula tenía un error).

3. El Descubrimiento del Error

En 2004, un matemático llamado Gabor Ellmann revisó el trabajo de Guy y Kelly y gritó: "¡Espera! Hay un error de cálculo".

El error era muy pequeño, como un error de tipeo en una receta de cocina.

• La analogía: Imagina que Guy y Kelly estaban calculando cuántas formas hay de elegir fichas. En su fórmula, usaron el número 2n (el límite antiguo) en un lugar donde debían usar una variable k (que representa la cantidad real que están buscando).
• Fue como si, al calcular cuánto combustible necesita un cohete para ir a la luna, hubieran usado el peso de un coche en lugar del peso del cohete. El resultado final se desviaba ligeramente.

4. La Corrección y el Nuevo Número

Cuando Gabor corrigió ese pequeño error en la ecuación, el resultado cambió. La nueva fórmula predice que el número máximo de fichas que puedes poner es:

fn ≈ (π / √3) × n

Si haces las matemáticas, π / √3 es aproximadamente 1.813799.
Es un número muy cercano al anterior, pero es la respuesta correcta según la teoría.

5. ¿Por qué es importante este artículo?

El autor de este texto, Paul Voutier, dice algo muy honesto: "Este error es tan pequeño y local que nadie lo había escrito en un libro de texto antes".

Guy (uno de los autores originales) sabía del error en 2004 y planeó corregirlo, pero murió en 2020 sin haberlo publicado formalmente.

• La misión de Voutier: Su único objetivo con este artículo es poner el "parche" oficial en la literatura matemática. Es como si alguien encontrara un error de tipeo en un libro clásico y decidiera escribir una nota al pie para que los futuros estudiantes no se confundan.
• También menciona que un matemático más joven, Prellberg, acaba de llegar a la misma conclusión de forma independiente, lo que confirma que la corrección es real.

En Resumen

Este artículo es como un informe de mantenimiento. No descubre un nuevo universo, sino que arregla una pequeña grieta en una pared muy famosa de las matemáticas.

• El problema: ¿Cuántas fichas pongo en un tablero gigante sin que tres formen una línea?
• La vieja teoría: Tenía un pequeño error de cálculo.
• La corrección: Un matemático (Ellmann) encontró el error, y otro (Voutier) lo documentó para que todos sepan que la respuesta correcta es aproximadamente 1.814 veces el tamaño del tablero.

Es una historia sobre cómo la ciencia funciona: incluso los grandes genios cometen errores pequeños, y la comunidad trabaja junta para corregirlos y dejar el camino limpio para el futuro.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "ON THE GUY-KELLY CONJECTURE FOR THE NO-THREE-IN-LINE PROBLEM" de Paul M. Voutier, estructurado según los puntos solicitados.

1. El Problema: El Problema "No-Tres-en-Línea"

El artículo se centra en el famoso problema de geometría discreta conocido como "no-three-in-line" (no tres en línea).

• Definición: Se considera un cuadrado de puntos $S_n$ en $\mathbb{R}^2$ con coordenadas enteras $(x, y)$ donde $1 \le x, y < n$. El tamaño total del conjunto es$n^2$.
• Objetivo: Determinar $f_n$, que es el tamaño máximo de un subconjunto $T \subseteq S_n$ tal que ningún par de tres puntos en $T$ sean colineales.
• Contexto actual: Es conocido que $f_n \le 2n$ (por el principio del palomar). Para $n \le 64$, se ha demostrado que $f_n = 2n$. Sin embargo, se conjetura que para $n$ suficientemente grande, $f_n < 2n$.

2. Metodología y Argumento Heurístico Original

El artículo revisa y corrige el argumento heurístico presentado por Guy y Kelly en 1968 (referencia [3] en el texto original), el cual intentaba predecir el comportamiento asintótico de $f_n$.

El argumento original de Guy y Kelly:

1. Cálculo de colinealidades: Calculan el número total de ternas de puntos colineales ($t_n$) en $S_n$, obteniendo $t_n \sim \frac{3}{\pi^2} n^4 \log(n)$.
2. Probabilidad de colinealidad: Calculan la probabilidad de que tres puntos elegidos al azar sean colineales, resultando en aproximadamente $\frac{18 \log(n)}{\pi^2 n^2}$.
3. Supuesto de independencia: Asumen que los eventos de que diferentes ternas no sean colineales son independientes.
4. Estimación de soluciones: Utilizan esta probabilidad para estimar el número de configuraciones válidas de tamaño $kn$ (donde $k$ es una constante). La estimación asintótica del número de soluciones es proporcional a:
   $$O\left( n^{kn - \frac{3k^3 n}{\pi^2}} \cdot e^{O(n)} \right)$$
5. Conclusión original: Para que el número de soluciones tienda a cero cuando $n \to \infty$ (lo que implicaría que no se pueden encontrar conjuntos de tamaño $kn$), el exponente debe ser negativo. Guy y Kelly resolvieron la desigualdad incorrectamente, concluyendo que $k > \pi / 3^{1/2}$ no era la condición correcta, sino que derivaron una constante $c$ tal que $f_n \sim c n$ con $c = (2\pi^2/3)^{1/3} \approx 1.8138$ (aunque su derivación original contenía un error de cálculo que llevó a una expresión diferente antes de la corrección).

3. Contribuciones Clave del Artículo

La contribución principal de Paul M. Voutier es documentar y explicar públicamente por primera vez en la literatura académica un error específico encontrado por Gabor Ellmann en 2004 en la derivación de Guy y Kelly.

• Identificación del Error: El error se encuentra en la línea -4 de la página 530 del artículo original de Guy y Kelly.
  • La errata: En la expresión del exponente, escribieron incorrectamente $-2 + \frac{3k^3}{\pi^2}$ en lugar de la forma correcta $-k + \frac{3k^3}{\pi^2}$.
  • La causa: El error surgió porque, al estimar los factoriales en su argumento, utilizaron $2n$(el límite trivial conocido) en lugar de la variable general$kn$que estaban analizando. Específicamente, estimaron$(n^2)! / (n^2 - 2n)!$y$(2n)!$en lugar de$(n^2)! / (n^2 - kn)!$y$(kn)!$.
• Corrección Formal: Voutier proporciona la derivación completa y corregida, mostrando cómo el término lineal en el exponente cambia de $-2$ a $-k$.

4. Resultados

Tras aplicar la corrección al argumento heurístico, la condición para que el número de soluciones tienda a cero cambia.

• Nueva desigualdad: El exponente dominante es $kn - \frac{3k^3 n}{\pi^2}$. Para que esto sea negativo (y por tanto, la probabilidad de encontrar tal conjunto sea nula asintóticamente), se requiere:
  $$k - \frac{3k^3}{\pi^2} < 0 \implies k^2 > \frac{\pi^2}{3} \implies k > \frac{\pi}{\sqrt{3}}$$
• Nueva Conjetura: Esto lleva a la siguiente conjetura corregida para el comportamiento asintótico de $f_n$:
  $$f_n \sim \left( \frac{\pi}{\sqrt{3}} \right) n \approx 1.813799 \, n$$
  Nota: Aunque el valor numérico final ($\approx 1.8138$) es similar al que Guy mencionó en comunicaciones privadas tras la corrección, la derivación matemática que lo sustenta es ahora rigurosa y correcta.

5. Significado e Impacto

• Clarificación Histórica: El artículo cierra una brecha en la literatura. Aunque Gabor Ellmann identificó el error en 2004 y R.K. Guy lo reconoció, la explicación detallada de dónde y por qué falló la matemática nunca se había publicado formalmente antes de este trabajo.
• Validación de Trabajos Recientes: El artículo confirma y contextualiza los resultados muy recientes de Thomas Prellberg (2026), quien también derivó la cota superior corregida, aunque sin detallar el error específico de Guy y Kelly.
• Debate sobre la Independencia: El autor también aborda críticas recientes (como las de Nathan Kaplan y Prellberg) sobre la validez del "supuesto de independencia" en el argumento probabilístico. Aunque el artículo se centra en corregir el error algebraico de Guy y Kelly, reconoce que la validez fundamental de la heurística sigue siendo un tema de discusión y duda en la comunidad matemática, especialmente ante evidencia empírica en ciertas simetrías de cuadrículas.

En resumen, este artículo es una pieza técnica crucial que rectifica la base matemática de una conjetura famosa en geometría discreta, proporcionando la justificación exacta para la constante asintótica $\pi/\sqrt{3}$ en el problema "no-tres-en-línea".