🔢 mathematics

Asymptotics of the Tchoukaillon array and a conjecture of Beluhov

Este artículo demuestra la conjetura de Beluhov con respecto al comportamiento asintótico de la matriz de Tchoukaillon al establecer una estimación uniforme precisa para sus entradas, demostrando que sus raíces cuadradas forman una mezcla lineal de las tasas de crecimiento de los bordes de la matriz y permitiendo un algoritmo eficiente para localizar cualquier entero dado dentro de la matriz.

Autores originales: Shisheng Li

Publicado 2026-08-19

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Shisheng Li

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

En el mundo de las matemáticas, existe una fascinación silenciosa por los patrones que emergen de reglas simples. Imaginen un juego de mesa jugado con una sola fila de agujeros, donde las piedras se mueven según una lógica estricta y repetitiva. Esta es una forma de Mancala, una antigua familia de juegos de siembra jugados en todo el mundo. En una versión específica de una sola fila conocida como Tchoukaillon, el juego no trata de competencia, sino de alcanzar una única y perfecta posición inicial para cualquier número dado de piedras. Los matemáticos saben desde hace tiempo que para cada número total de piedras, existe exactamente una forma de disponerlas en los agujeros para que el juego pueda ganarse. Esta disposición única crea un mapa oculto, una cuadrícula donde cada número entero positivo aparece exactamente una vez, llenando el espacio sin huecos ni solapamientos.

Durante décadas, los investigadores han estudiado los bordes de este mapa. Sabían que los números crecían a lo largo de la primera fila y de la primera columna, encontrando que estos límites seguían caminos curvos y predecibles. Sin embargo, el vasto interior de la cuadrícula seguía siendo un misterio. Un matemático llamado N. Beluhov, al observar los números en una computadora, supuso que toda la cuadrícula seguía una regla única y elegante que mezclaba el comportamiento de los dos bordes. Propuso que si conocías la posición de cualquier número en la cuadrícula, podrías predecir su valor con una fórmula simple, pero no pudo probarlo. La pregunta era si este hermoso patrón se mantenía en todas partes, en lo profundo de la cuadrícula, o si era solo una coincidencia cerca de los bordes.

Un artículo reciente de Shisheng Li confirma que la suposición de Beluhov era correcta. El autor ha demostrado que toda la cuadrícula infinita sigue una ley matemática precisa. El descubrimiento revela que los números en la cuadrícula no están dispersos al azar; en cambio, están dispuestos de tal manera que sus raíces cuadradas crecen en una línea perfectamente recta. Esto significa que, si dibujaras una línea conectando las posiciones de todos los números hasta un cierto tamaño, esa línea sería recta, formando una forma triangular limpia. La prueba es significativa porque no se basa en el comportamiento conocido de los bordes para explicar el medio. En su lugar, el autor muestra que las constantes en la fórmula —los números específicos que determinan la forma de la cuadrícula— surgen naturalmente de las propias reglas de movimiento del juego. El número pi, que usualmente aparece en los círculos, emerge aquí de la simple acción de mover piedras, generado por la lógica interna del juego en lugar de por cualquier forma geométrica externa.

Para llegar a esta conclusión, el investigador no miró la cuadrícula como una imagen estática. En su lugar, siguió a un solo número mientras viajaba a través de las diferentes etapas del juego. Imaginen una piedra específica, digamos el número cien, comenzando en un agujero determinado. A medida que se aplican las reglas del juego paso a paso, ese número se mueve a diferentes posiciones. El autor rastreó este viaje, observando cómo cambiaban la fila y la columna del número con cada movimiento. Al revertir este proceso, pudieron comenzar con una posición conocida y trabajar hacia atrás para encontrar el número que pertenece allí. Este método les permitió despojar a la complejidad del juego y concentrarse en el ritmo subyacente de los movimientos.

La clave de la prueba fue darse cuenta de que el movimiento de estos números sigue un patrón que puede describirse mediante dos fuerzas simples y opuestas. Una fuerza es impulsada por la posición de la fila, y la otra por la posición de la columna. A medida que el número se mueve a través del juego, estas dos fuerzas interactúan de una manera que crea un flujo suave y predecible. El autor demostró que la distancia que recorre un número está determinada por un tipo específico de producto matemático, una secuencia de fracciones que, al multiplicarse entre sí, producen naturalmente el número pi. Este fue un hallazgo sorprendente, ya que demostró que la constante pi no es solo una característica de los círculos, sino que está tejida en el tejido mismo de este juego de mover piedras.

El resultado es una descripción completa de la matriz de Tchoukaillon. El artículo demuestra que para cualquier posición grande en la cuadrícula, el valor del número puede calcularse con alta precisión utilizando una fórmula que mezcla las coordenadas de fila y columna. El error en esta predicción es increíblemente pequeño, reduciéndose a medida que los números se hacen más grandes. Este hallazgo resuelve la larga duda sobre la forma de la cuadrícula: las regiones que contienen números hasta cierto tamaño son, de hecho, triángulos, con solo un borde muy delgado y difuso donde la forma perfecta se vuelve ligeramente borrosa. Además, la investigación proporciona una forma rápida y eficiente de localizar cualquier número específico en la cuadrícula. En lugar de buscar a través de millones de entradas, uno puede usar un conjunto simple de pasos para encontrar exactamente dónde se sitúa un número como el millón, una tarea que de otro modo tomaría mucho tiempo.

El trabajo también aborda una cuestión más profunda sobre la naturaleza de estos patrones. Si bien la fórmula principal está probada, el autor señala que los números reales en la cuadrícula podrían ajustarse a la fórmula incluso mejor de lo que la prueba muestra actualmente. Los datos sugieren que la diferencia entre el valor predicho y el valor real es diminuta y constante, en lugar de crecer lentamente. Esto insinúa que puede haber una regla aún más aguda y precisa esperando ser descubierta, una que elimine por completo los pequeños errores restantes. Por ahora, sin embargo, la prueba se mantiene como una respuesta definitiva a la conjetura de Beluhov, revelando un orden oculto en un juego que se ha jugado durante siglos. Demuestra que incluso en un simple juego de mover piedras, el universo de las matemáticas puede revelar conexiones profundas e inesperadas, convirtiendo un rompecabezas lúdico en una ventana a la estructura fundamental de los números.

Resumen Técnico: Asintótica de la Matriz de Tchoukaillon y una Conjetura de Beluhov

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de la matriz de Tchoukaillon, una matriz infinente de enteros positivos $\mathcal{C}_{i,j}$ que surge de un juego de solitario de Mancala de una sola fila. La matriz se define de tal manera que cada entero positivo aparece exactamente una vez (una biyección $\mathbb{N}^2 \to \mathbb{Z}^+$ ). Si bien el comportamiento asintótico de los bordes de la matriz ya se conocía —la Columna 0 corresponde a la criba de Flavius Josephus ( $\mathcal{C}_{i,0} \sim \frac{\pi}{4}i^2$ ) y la Fila 0 corresponde a los números de Tchoukaillon ( $\mathcal{C}_{0,j} \sim \frac{1}{\pi}(j+1)^2$ )—, el comportamiento de la entrada general en el interior $\mathcal{C}_{i,j}$ seguía siendo un problema abierto.

N. Beluhov conjeturó, basándose en evidencia numérica, que para valores grandes de $i$ y $j$ , las entradas satisfacen la aproximación:
$\mathcal{C}_{i,j} \approx \frac{(\pi i + 2j)^2}{4\pi}$
El artículo tiene como objetivo demostrar esta conjetura, proporcionar un término de error riguroso y determinar la forma asintótica de los conjuntos de nivel $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ .

Metodología
La demostración se basa en una metodología de "traza", que cambia la perspectiva de la construcción de la matriz hacia el seguimiento de la trayectoria de un único valor entero $M$ a medida que aumenta el orden de la matriz $k$ .

Recurrencia de la Traza: El autor define las coordenadas $(X_k, Y_k)$ para la posición de un valor $M$ en la matriz de orden $k$ . Partiendo de $M$ en la posición $(M-1, 0)$ en el orden $k=1$ , el valor migra a su posición final $(i, j)$ en el orden $k = N = i+j+1$ . El movimiento obedece a una recurrencia de piso acoplada:
$X_k = X_{k-1} - \left\lfloor \frac{Y_{k-1}}{k} \right\rfloor, \quad Y_k = Y_{k-1} - \left\lfloor \frac{X_{k-1}}{k} \right\rfloor$
Esta recurrencia es simétrica en $X$ y $Y$ , una característica estructural crucial para el análisis.
Anchos Conjugados: En lugar de sumar las caídas en la recurrencia directamente, el autor introduce los "anchos conjugados" $R_m$ y $S_m$ , que representan el número de pasos donde las cantidades de caída exceden un nivel $m$ . Esto transforma el problema en la suma de una "escalera" de caídas.
Linealización mediante Redondeo: La recurrencia para los anchos utiliza funciones de piso (floor). El autor muestra que estas pueden modelarse como un sistema de ecuaciones lineales triangulares inferiores perturbado por errores de redondeo al entero más cercano. Al eliminar los términos de redondeo, el sistema se desacopla en dos recurrencias escalares impulsadas por los coeficientes binomiales centrales.
Modos de Wallis: El sistema linealizado produce dos modos distintos (autovectores) que involucran las secuencias $c_m = \binom{2m}{m}/4^m$ y $w_m = 1/(2m c_m)$ . Estas secuencias están relacionadas con el producto de Wallis para $\pi$ . Las constantes $\pi$ y $2$ en la fórmula asintótica final emergen naturalmente de estos modos, derivados únicamente de la recursión de la matriz y no de los teoremas de los bordes.
Equilibrio de Errores: Para recuperar el valor $M$ a partir de los anchos, el autor emplea una estrategia de "lectura de un solo nivel". Se equilibran dos fuentes de error competidoras: el error de "sándwich" al leer $M$ en un nivel específico (que disminuye a medida que el nivel $m$ aumenta) y el error de "cuantización" del redondeo de los anchos (que aumenta con $m$ ). El equilibrio óptimo ocurre en $m \asymp N^{2/3}$ , lo que produce el límite de error final.

Contribuciones Clave y Resultados

Demostración de la Conjetura de Beluhov: El artículo demuestra que cuando $N = i+j+1 \to \infty$ ,
$\mathcal{C}_{i,j} = \frac{(\pi i + 2j + 2)^2}{4\pi} + O(N^{4/3})$
uniformemente para todo $i, j \ge 0$ . Esto confirma la conjetura de Beluhov (que corresponde al término principal) y proporciona un término principal centrado explícito.
Ley de Raíz Cuadrada: De manera equivalente, la raíz cuadrada de la entrada es asintóticamente lineal:
$\sqrt{\mathcal{C}_{i,j}} = \frac{\sqrt{\pi}}{2}i + \frac{1}{\sqrt{\pi}}(j+1) + O(N^{1/3})$
Esto demuestra que la tasa de crecimiento en el interior es una mezcla lineal de las tasas de crecimiento de sus dos bordes (Columna 0 y Fila 0).
Forma Geométrica de los Conjuntos de Nivel: Como corolario, el artículo establece que las regiones de nivel $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ son asintóticamente triangulares, delimitadas por la recta $\pi i + 2j = 2\sqrt{\pi V} - 2$ , con una capa de borde de ancho $O(V^{1/6})$ .
Algoritmo para Localizar Enteros: La recurrencia de la traza conduce a un algoritmo de $O(\sqrt{M})$ para determinar los índices de fila y columna $(i, j)$ para un entero $M$ dado. Esto responde a una pregunta planteada por Knuth sobre la rápida determinación de la posición de un entero en la matriz.

Significancia y Reivindicaciones

El artículo afirma resolver la estructura asintótica de la matriz de Tchoukaillon, un problema que había permanecido abierto a pesar de los resultados conocidos para sus bordes. La significancia principal radica en:

Derivación de Constantes desde la Recursión: Se muestra que las constantes $\pi$ y $2$ que aparecen en la fórmula asintótica surgen intrínsecamente de la definición recursiva de la matriz a través del producto de Wallis, independientemente de los teoremas previos de los bordes.
Uniformidad: El resultado proporciona una estimación uniforme en toda la matriz, cerrando la brecha entre los comportamientos conocidos de los bordes.
Perspectiva Metodológica: La técnica de analizar la "traza" de un único entero y convertir la recurrencia de piso en un sistema lineal con errores de redondeo ofrece un enfoque novedoso para matrices combinatorias similares.

El autor señala modestamente que, aunque el término de error probado es $O(N^{4/3})$ , la evidencia numérica sugiere que el error real podría ser $O(N)$ (o incluso $O(1)$ en la escala de la raíz cuadrada). Sin embargo, la prueba actual depende de estimaciones puntuales en un solo nivel y aún no controla las correlaciones de los errores de redondeo a través de los niveles, lo cual es necesario para mejorar este límite. El artículo deja este término de error más agudo como un problema abierto.

Más como este