🔢 mathematics

Hankel determinants of weighted binary sums of digits

Este artículo establece una recursión general para calcular determinantes de Hankel de funciones de suma de dígitos binarios ponderadas, derivando evaluaciones explícitas en forma cerrada para el caso ordinario para resolver parcialmente un problema de Allouche y Shallit, y analizando el comportamiento de anulación de estos determinantes para pesos polinómicos y sus primeras diferencias.

Autores originales: Bartosz Sobolewski, Maciej Ulas

Publicado 2026-07-13

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Bartosz Sobolewski, Maciej Ulas

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

Imagina que tienes una calculadora mágica que no solo suma números, sino que observa cuántos "1" se esconden en el código binario secreto de un número (como un lenguaje secreto de solo ceros y unos). Llamemos a esto la "suma de dígitos". Ahora, imagina que tomas un montón de estas sumas de dígitos y las organizas en una cuadrícula cuadrada gigante, donde cada celda contiene una suma específica basada en su fila y su columna. Esta cuadrícula se llama matriz de Hankel.

La gran pregunta que los autores, Bartosz Sobolewski y Maciej Ulas, se plantean es: Si reduces esta cuadrícula a un solo número (llamado determinante), ¿qué obtienes?

Normalmente, estos números son desordenados, impredecibles y difíciles de calcular. Pero este artículo es como encontrar una llave maestra que desbloquea un patrón oculto en el caos.

La Llave Mágica: Una Receta Recursiva

Los autores descubrieron una "receta" general (una recursión) que permite calcular estos números de cuadrículas gigantes sin tener que construir toda la cuadrícula cada vez. Es como darse cuenta de que, en lugar de contar cada grano de arena en una playa, puedes simplemente observar algunas dunas específicas y usar una fórmula para saber el conteo total.

Probaron esta receta en la versión más básica del problema: la suma de dígitos binarios estándar. Y, ¿adivina qué? Encontraron respuestas increíblemente simples para familias infinitas de tamaños de cuadrícula específicos.

Por ejemplo, si eliges un tamaño de cuadrícula basado en la fórmula $n = \lceil 2^{k+2}/3 \rceil$ (lo que significa una secuencia específica de números crecientes), el resultado es asombrosamente simple:
$\text{Resultado} = (-1)^{\text{algo}} \times (k + 1)$
¡Es simplemente el número $k+1$ con un signo más o menos adjunto! Esto resuelve un rompecabezas que los matemáticos Allouche y Shallit habían estado cuestionando durante un tiempo.

El Giro de la "Ponderación"

Los autores no se detuvieron en la versión estándar. Introdujeron "pesos", que son como dar valores diferentes a distintas posiciones en el código binario. Imagina que el primer "1" que ves vale 1 punto, el segundo vale $t$ puntos, el tercero vale $t^2$ puntos, y así sucesivamente.

Cuando hicieron esto, los números únicos se convirtieron en polinomios (ecuaciones con variables como $t$ ). Descubrieron que para ciertos valores especiales de $t$ —específicamente cuando $t$ está relacionado con las "raíces de la unidad" (números que vuelven a 1 al multiplicarse por sí mismos suficientes veces)— estos polinomios se anulan (se vuelven cero) para enormes tramos de tamaños de cuadrícula.

Piensa en esto como un piano. Si presionas ciertas teclas (tamaños de cuadrícula específicos), la nota es silenciosa. Los autores demostraron que, para estos valores de $t$ , existen intervalos largos y estructurados de silencio. Sin embargo, también mostraron que las notas "no silenciosas" son raras y dispersas, como encontrar unas pocas islas específicas en un vasto océano vacío.

Lo que Encontraron y lo que No Encontraron

Es importante saber qué dice este artículo que no es la respuesta, y qué deja abierto.

Sin una Fórmula Mágica Única para Todo: No encontraron una fórmula simple que funcione para todos los tamaños de cuadrícula posibles; el patrón es complejo y depende de la estructura binaria del número.
Sin Aleatoriedad: Demuestran explícitamente que los ceros no son aleatorios. Ocurren en bloques muy específicos y estructurados.
Preguntas Abiertas sobre "Raíces Múltiples": No probaron que no existan otros números especiales donde el polinomio tenga una "raíz doble" (un cero doble); en cambio, listan esto explícitamente como una pregunta abierta (Pregunta 6.2). Preguntan si tales raíces existen además de las que ya conocen ( $t=0$ y $t=2\zeta$ ), pero aún no lo han descartado.

¿Qué tan seguros están?

Hechos Probados: La receta recursiva, las fórmulas de forma cerrada específicas para las secuencias especiales (como el resultado de $k+1$ ) y la existencia de largos intervalos donde los determinantes se anulan son matemáticamente probados. Son hechos sólidos.
Simulaciones y Conjeturas: Los autores ejecutaron simulaciones por computadora para verificar patrones en números más grandes. Basándose en estas simulaciones, sugieren (pero aún no han probado) que el conjunto de índices no nulos es incluso más escaso de lo que calcularon. También conjeturan (sospechan fuertemente) que el conjunto de índices donde el determinante es cero sigue un patrón muy específico para todos los casos, pero admiten que la "parte difícil" de probar los casos no nulos aún falta.

La Conexión con el "Doblaje de Periodo"

El artículo también conecta con una secuencia famosa llamada la "secuencia de doblaje de periodo" (un patrón que sigue cambiando y duplicándose). Descubrieron que su nuevo método general explica un resultado antiguo sobre esta secuencia, pero con un giro: encontraron un pequeño error de signo en la fórmula del artículo original y lo corrigieron. Es como encontrar un error tipográfico en un mapa antiguo y darse cuenta de que el tesoro está en el lugar que pensabas que estaba vacío.

El Panorama General

En resumen, este artículo toma un objeto matemático desordenado y complicado (los determinantes de Hankel de las sumas de dígitos) y muestra que, debajo del caos, existe una estructura rígida y hermosa. Encontraron una forma de predecir el valor para familias específicas de casos infinitos y demostraron que, para configuraciones especiales, los valores desaparecen en ondas largas y predecibles.

Nos dejan con algunas preguntas abiertas, como si hay un límite universal para qué tan grandes pueden ser las raíces de estos polinomios (las simulaciones sugieren un límite alrededor de 2.618), y si estos patrones se mantienen verdaderos para otras bases numéricas (como la base 3 o la base 10). Pero por ahora, nos han entregado una nueva y poderosa herramienta para decodificar los secretos de las sumas binarias.

Resumen Técnico: Determinantes de Hankel de Sumas de Dígitos Binarios Ponderadas

Planteamiento del Problema
El artículo aborda el problema de la evaluación de los determinantes de Hankel asociados con secuencias digitales, específicamente la función de la suma de dígitos binarios. Este problema fue planteado explícitamente por Allouche y Shallit (Problema 4 en su monografía), solicitando una forma cerrada simple para los determinantes $H(n) = \det[s(i+j)]_{0 \le i,j < n}$ , donde $s(n)$ es la suma ordinaria de dígitos binarios. Mientras que la investigación previa ha analizado con éxito estos determinantes módulo enteros (por ejemplo, demostrando que no se anulan módulo 2 para la secuencia de Thue-Morse), la obtención de expresiones de forma cerrada exacta para un $n$ arbitrario ha sido poco común. Los autores señalan que restringir el alcance a la suma de dígitos ordinaria suele ser demasiado limitante para la reducción matricial recursiva debido a las perturbaciones en las contribuciones de los dígitos; por lo tanto, generalizan el problema a las sumas de dígitos binarios ponderadas.

Metodología
Los autores introducen una secuencia de pesos complejos $w = (w_j)_{j \ge 0}$ y definen la función de suma de dígitos ponderada $s_w(n)$ . Los determinantes de Hankel asociados se denotan como $H_w(n)$ . La metodología central se basa en explotar la autosimilitud de la función de suma de dígitos a través de descomposiciones de matrices por bloques y productos de Kronecker.

Reducción Recursiva: El artículo establece un marco recursivo general (Teorema 4.2) que relaciona $H_w(n)$ y un determinante auxiliar $\tilde{G}_w(n)$ (asociado con la primera diferencia de $s_w$ ) con determinantes de menor tamaño. Esta recursión depende de la expansión binaria de $n$ .
Determinantes Auxiliares: Una parte significativa del trabajo técnico implica el análisis de $G_w(n)$ , el determinante de Hankel de la secuencia de la primera diferencia $d_w(n) = s_w(n+1) - s_w(n)$ . Los autores derivan una fórmula de producto cerrada para $G_w(n)$ (Teorema 3.4) basada en la estructura de longitud de racha de la expansión binaria de $n$ .
Especialización Polinómica: Los autores especializan los pesos a la forma $w_j = t^j$ , transformando los determinantes en polinomios $H(n, t)$ . Esto permite el estudio de raíces, grados y coeficientes principales.
Construcción del Núcleo: Para investigar las condiciones de anulación para valores específicos de $t$ (específicamente $t = 2\zeta$ donde $\zeta$ es una raíz de la unidad), los autores construyen vectores explícitos no nulos en el núcleo de las matrices de Hankel, utilizando productos tensoriales y propiedades de la matriz $F(n, t)$ .

Contribuciones Clave y Resultados

Recursión General: El resultado central (Teorema 4.2) proporciona un conjunto de fórmulas recursivas que permiten la computación efectiva de $H_w(n)$ para todo $n$ . Esto ofrece una solución parcial al problema de Allouche-Shallit en un entorno generalizado.
Formas Cerradas para Índices Específicos: Para la suma de dígitos binarios ordinaria ( $w_j=1$ $w_{j} = 1$ ), los autores derivan formas cerradas explícitas para varias familias infinitas de índices:
- Para $n_k = \lceil 2^{k+2}/3 \rceil$ , el determinante está dado por la fórmula notablemente simple:
  $H(n_k) = (-1)^{\frac{(k+2)(k+3)}{2}} (k+1)$
- También se proporcionan fórmulas para índices de la forma $2^m$ , $2^m \pm 1$ , y $2^m + \epsilon$ (Proposición 4.5).
Estructura Polinómica: Para la especialización polinómica $w_j = t^j$ , los autores determinan el grado y el coeficiente principal de $H(n, t)$ . Demuestran que $H(n, t)$ se factoriza como $\sigma(n) t^{\beta(n)} (2-t)^{n-2} \hat{H}(n, t)$ , donde $\hat{H}(n, t)$ es un polinomio mónico con coeficientes enteros positivos (Teorema 4.10).
Anulación y No Anulación:
- El artículo investiga el conjunto de índices $n$ para los cuales $H(n, 2\zeta) = 0$ para raíces de la unidad $\zeta$ . Se muestra que para cualquier raíz de la unidad $\zeta$ de orden $d \ge 2$ , los determinantes se anulan en intervalos largos centrados en múltiplos de potencias altas de 2 (Teorema 5.4).
- Se demuestra que el conjunto de índices de no anulación es disperso (densidad 0) pero infinito (Teorema 5.5).
- Se identifica una familia infinente de índices distintos de $n_k$ donde $H(n, 2\zeta) \neq 0$ (Teorema 5.10).
Secuencia de Doble Periodo: Al elegir los pesos como números de Jacobsthal, los autores recuperan y corrigen un resultado de Fokkink, Kraaikamp y Shallit relativo a los determinantes de Hankel de la secuencia de doble periodo (Proposición 3.9).
Comportamiento de Signos: Se demuestra que la secuencia de signos de $H(n, 1)$ es no periódica, y su función generatriz es probada como trascendente sobre $\mathbb{Q}(x)$ (Teorema 4.13).

Significado
El artículo afirma proporcionar una "solución parcial" al problema planteado por Allouche y Shallit al extender el alcance a sumas ponderadas, lo cual es necesario para derivar recursiones efectivas. La significancia principal reside en la derivación de evaluaciones de forma cerrada exactas para familias específicas de índices infinitos, un hallazgo raro en el campo donde los resultados suelen limitarse a la aritmética modular. Además, el trabajo generaliza hallazgos previos sobre la secuencia de doble periodo y ofrece un análisis estructural detallado del comportamiento de anulación de estos determinantes cuando se ven como polinomios. Los autores señalan que, si bien no proporcionan una única forma cerrada para un $n$ arbitrario, la estructura recursiva permite una computación efectiva y revela conexiones profundas entre la estructura 2-ádica de los índices y las propiedades algebraicas de los determinantes.