💻 computer science

Recursive Prime Factorizations: Dyck Words as Numbers

El artículo propone un sistema de numeración no posicional basado en palabras de Dyck que extiende recursivamente la factorización prima para representar de forma única los números naturales y racionales, definiendo además lenguajes "Dyck-completos" donde toda palabra de Dyck corresponde a un número.

Autores originales: Ralph L. Childress

Publicado 2026-02-18

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ralph L. Childress

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 los números son como recetas de cocina. En nuestra vida diaria, usamos un sistema "posicional" (como el decimal: 1, 2, 3... hasta el 9, y luego volvemos a empezar con 10, 100, 1000). Es como si tuvieras una caja de herramientas donde el valor de un martillo depende de dónde lo pongas en la estantería. Si lo pones en el estante de la derecha, vale poco; si lo pones a la izquierda, vale mucho. El problema, según el autor Ralph Childress, es que esta estantería es arbitraria: ¿por qué elegimos el 10? ¿Por qué no el 7 o el 12? Esa elección esconde la verdadera naturaleza de los números.

Este paper propone una forma radicalmente diferente de escribir los números, basada en descomponerlos en sus ingredientes más básicos (los números primos) y luego empaquetar esos ingredientes de una manera muy especial usando paréntesis.

Aquí tienes la explicación paso a paso con analogías sencillas:

1. El Problema de la "Estantería Arbitraria"

En el sistema decimal, el número 520 significa: 5 centenas + 2 decenas + 0 unidades.
En el sistema de Childress, no usamos "centenas" ni "decenas". Solo usamos los números primos (2, 3, 5, 7, 11...) como bloques de construcción.

El 520 no es "5-2-0".
El 520 es $2^3 \times 5^1 \times 13^1$ .
Es decir, 520 es una mezcla de tres bloques de construcción: tres veces el bloque "2", una vez el bloque "5" y una vez el bloque "13".

2. La Solución: Los "Paréntesis Mágicos" (Palabras de Dyck)

En lugar de escribir $2^3 \times 5^1 \times 13^1$ , el autor dice: "¡Escribamos solo paréntesis!".
Imagina que tienes un lenguaje que solo tiene dos letras: ( y ).

El cero es un espacio vacío (no hay nada).
El uno es un par de paréntesis vacíos: ().
Los números primos se representan por la posición de sus paréntesis.
- El primer primo (2) es ().
- El segundo primo (3) es (()).
- El tercer primo (5) es ()(()).
- Y así sucesivamente.

La magia de la recursividad (El efecto "Matrioska"):
Lo más genial es que los exponentes (las veces que usamos un bloque) también se escriben con paréntesis.
Si tienes $2^3$ (tres veces el bloque 2), no escribes el número 3. Escribes la representación del 3 dentro de los paréntesis del 2.

El 3 es ()(()).
Entonces, $2^3$ se convierte en (()(())).

Así, el número 520 se convierte en una larga cadena de paréntesis que, si la lees correctamente, te dice exactamente cómo se construyó el número. Es como si cada número tuviera su propio ADN escrito solo con paréntesis.

3. ¿Qué es una "Palabra de Dyck"?

Para que esta cadena de paréntesis sea un número válido, debe estar perfectamente equilibrada.

(() no sirve (falta uno).
)( no sirve (empieza mal).
()() sí sirve.

Estas cadenas equilibradas se llaman "Palabras de Dyck". El autor descubre que si sigues ciertas reglas estrictas, cada número natural tiene una y solo una cadena de paréntesis única. Es como si cada número tuviera una huella dactilar única hecha de paréntesis.

4. El Gran Salto: Números "Superracionales"

Hasta aquí, el sistema funciona para números enteros (0, 1, 2, 3...). Pero el autor tiene una idea aún más loca: ¿Qué pasa si queremos representar fracciones o raíces cuadradas?

En matemáticas normales, para tener fracciones usamos una barra / o un punto decimal. Para tener raíces, usamos el símbolo √.
En este sistema, no necesitas símbolos nuevos. Solo usas los mismos paréntesis.

¿Cómo se representa un número negativo? Añadiendo un par de paréntesis extra al final.
¿Cómo se representa una fracción? Usando esos paréntesis extra para indicar que un exponente es negativo (dividir en lugar de multiplicar).
¿Cómo se representa $\sqrt{2}$ ? Es una estructura de paréntesis anidados muy específica: ((()())).

El autor llama a esto "Superracional". La belleza es que el mismo alfabeto de dos símbolos (( y )) puede representar:

Números enteros (0, 1, 2...).
Fracciones (1/2, 3/4...).
Raíces cuadradas ( $\sqrt{2}$ ).
Incluso números "transcendentales" muy raros (como $2^{\sqrt{2}}$ ).

Es como si pudieras escribir toda la biblioteca de Babel usando solo dos letras, y el significado cambiara según cómo las apilaras.

5. ¿Para qué sirve esto?

El autor admite que no sirve para hacer la contabilidad de tu casa o para poner direcciones en un mapa. Es demasiado complicado para eso.

Pero es increíblemente útil para:

Estudiar patrones: Al ver los números como estructuras de paréntesis, aparecen patrones ocultos que en el sistema decimal son invisibles.
Inteligencia Artificial: Las redes de IA (como los modelos de lenguaje) son muy buenas aprendiendo patrones en el lenguaje. Si le enseñamos a una IA a "leer" estos números como si fueran oraciones en un idioma de paréntesis, quizás pueda entender mejor la estructura profunda de las matemáticas, no solo memorizar números.
Compresión: Como cada número tiene una estructura única, podríamos usar esto para comprimir datos o detectar patrones en secuencias numéricas.

En resumen

Imagina que los números son como castillos de naipes.

El sistema decimal es como contar las cartas una por una: "1, 2, 3...".
El sistema de Childress es como ver cómo están construidos los castillos. Te dice: "Este castillo tiene 3 cartas en la base, 2 en el medio y 1 arriba".
Y lo mejor: te permite describir castillos que están hechos de "medias cartas" (fracciones) o que flotan en el aire (números irracionales), todo usando el mismo lenguaje simple de "abre y cierra" (( y )).

Es un viaje desde la aritmética básica hacia una visión donde las matemáticas se ven más como un idioma o una gramática que como una calculadora.

A continuación presento un resumen técnico detallado del artículo "Recursive Prime Factorizations: Dyck Words as Representations of Numbers" (Factorizaciones Primes Recursivas: Palabras de Dyck como Representaciones de Números) de Ralph "Tim" Leroy Childress, Jr.

1. Planteamiento del Problema

El autor identifica dos limitaciones fundamentales en los sistemas de numeración posicionales tradicionales (como el sistema decimal):

Arbitrariedad de la base: La elección de una base (ej. 10) es convencional y oculta patrones inherentes a los números. Las propiedades de divisibilidad, por ejemplo, dependen de la base elegida.
Complejidad operativa: La evaluación de un número en un sistema posicional requiere tres operaciones distintas: exponenciación, multiplicación y adición.

El objetivo del trabajo es descubrir un sistema de representación numérica que:

No requiera una "base" arbitraria.
Elimine la necesidad de la adición para la evaluación.
Utilice un alfabeto mínimo (dos símbolos).
Represente no solo los números naturales, sino también una extensión que incluya racionales, irracionales algebraicos y algunos trascendentes.

2. Metodología

La metodología se basa en la intersección entre la teoría de números (factorización prima) y la teoría de lenguajes formales (gramáticas y palabras de Dyck).

A. Factorización Prima Recursiva (RPF)

El sistema se construye sobre la Factorización Prima Minimales Paréntesis Rellenada (MPPPF).

Un número $n$ se expresa como un producto de potencias de primos consecutivos: $n = p_1^{a_1} p_2^{a_2} \dots p_m^{a_m}$ .
Los exponentes $a_i$ se representan recursivamente utilizando el mismo sistema.
Codificación: Se eliminan todos los símbolos excepto los paréntesis.
- El número 0 se representa como la cadena vacía $\epsilon$ .
- El número 1 se representa como ().
- Un número $n > 1$ se representa concatenando pares de paréntesis que encierran la representación de sus exponentes.
- Ejemplo: $520 = 2^3 \cdot 5^1 \cdot 13^1$ . Sus exponentes son 3, 1, 1. La representación recursiva de 3 es ()(()), de 1 es (). La cadena resultante es (()(()))()(())()()(()).

B. Lenguajes y Permutaciones

El autor define funciones de "ortografía" ( $\gamma$ ) que mapean números a cadenas de paréntesis y funciones de "evaluación" ( $\alpha$ ) que hacen lo inverso.

Se introduce una permutación estándar de los números primos $(2, 3, 5, \dots)$ para ordenar los factores.
Se demuestra que el conjunto de palabras generadas es un subconjunto propio del Lenguaje de Dyck ( $D$ ), que consiste en cadenas de paréntesis balanceados.

C. Extensión a Números Superracionales

Para representar números negativos, racionales e irracionales, el sistema se modifica permitiendo:

Exponentes negativos: Se codifican mediante la inserción de un par de paréntesis vacío () al final de un bloque (chunk) específico.
Negación: El número $-1$ se representa como ()().
Esta extensión permite representar números como $\sqrt{2} = 2^{1/2} = 2^{2^{-1}}$ y la constante de Gelfond-Schneider $2^{\sqrt{2}}$ , todo con el mismo alfabeto de dos símbolos.

3. Contribuciones Clave

Definición de RPF Naturales Mínimos ( $RPFNr_{min}$ ):
- Un sistema biyectivo entre los números naturales $\mathbb{N}$ y un subconjunto específico de palabras de Dyck ( $D_{rmin}$ ).
- La evaluación no requiere adición, solo multiplicación y exponenciación de primos.
- Se demuestra que $D_{rmin}$ es un lenguaje libre de contexto y se proporciona una definición no numérica basada en la evitación de ciertas subcadenas ()()) y sufijos )()).
Definición de RPF Superracionales Mínimos ( $RPFSr_{min}$ ):
- Una extensión que mapea biyectivamente un conjunto de "números superracionales" ( $S$ ) a un lenguaje de Dyck cuasi-mínimo ( $D_{rqmin}$ ).
- El conjunto $S$ incluye $\mathbb{N}$ , $\mathbb{Z}$ , $\mathbb{Q}$ , algunos irracionales algebraicos (como $\sqrt{2}$ ) y trascendentes (como $2^{\sqrt{2}}$ ).
- Se introduce el concepto de "inflación": la adición de pares vacíos () que no cambian el valor numérico en la interpretación natural, pero que en la interpretación superracional codifican el signo (negación).
Análisis de Complejidad y Estructura:
- Se demuestra que el lenguaje de Dyck completo ( $D$ ) puede interpretarse como un sistema numérico donde múltiples palabras representan el mismo número (no minimal), creando clases de equivalencia.
- Se analiza la "inflatibilidad" de las palabras y se demuestra que permitir múltiples grados de inflación no añade poder representacional para atributos ortogonales (como signo y "giro") de manera no ambigua.
Algoritmos y Reconocimiento:
- Se presenta un algoritmo para encontrar la factorización prima de un "número de Dyck" en tiempo lineal respecto a la longitud de la cadena.
- Se identifican subconjuntos regulares dentro de los lenguajes RPF que corresponden a secuencias numéricas específicas (primos, semiprimos, primoriales, raíces cuadradas de primos) mediante expresiones regulares.

4. Resultados Principales

Unicidad y Biyección: Se establece que existe una correspondencia uno a uno entre los números naturales y un subconjunto estricto de palabras de Dyck, y una correspondencia similar para los números superracionales.
Evaluación sin Adición: La evaluación de cualquier número en este sistema se realiza exclusivamente mediante multiplicación y exponenciación, eliminando la operación de suma de la definición del sistema.
Representación de Trascendentales: El sistema logra representar números trascendentales como $2^{\sqrt{2}}$ de forma finita y única, algo imposible en sistemas posicionales estándar sin notación especial.
Propiedades del Lenguaje: Se prueba que el lenguaje de los números naturales en este sistema es un lenguaje libre de contexto (CFL) y se proporciona un autómata finito determinista (DFA) para reconocer sus restricciones sintácticas.
Patrones en "Franjas" (Stripes): Se identifican patrones en la longitud de las cadenas (semilongitud), donde las secuencias de números con la misma longitud de palabra de Dyck revelan estructuras relacionadas con la tetration base-2 y la factorización.

5. Significado e Implicaciones

Teoría de Lenguajes y Aritmética: El trabajo propone una nueva perspectiva de la teoría de números a través de la lente de la teoría de lenguajes formales ("teoría de números gramatical"). Sugiere que la estructura aritmética puede estudiarse mediante gramáticas y analizadores sintácticos.
Aprendizaje Automático (IA): El autor discute la relevancia de estos sistemas para la "aprendizabilidad" en redes neuronales (transformers). Dado que las palabras de Dyck tienen una estructura jerárquica clara, podrían servir como corpus para entrenar modelos en la comprensión de la estructura aritmética profunda, más allá de la memorización de datos.
Compresión y Detección de Patrones: Se sugiere que la compresión basada en gramáticas podría utilizarse para detectar patrones en secuencias numéricas representadas como palabras de Dyck, aprovechando la baja entropía de las secuencias estructuradas.
Criptografía: La capacidad de describir subconjuntos de números (como semiprimos) mediante expresiones regulares sobre palabras de Dyck abre nuevas vías para el análisis de estructuras en sistemas criptográficos como RSA.

En conclusión, el artículo presenta un sistema numérico radicalmente diferente que elimina la arbitrariedad de la base y la adición, utilizando la estructura recursiva de la factorización prima y la sintaxis de las palabras de Dyck para codificar una vasta gama de números matemáticos con un alfabeto mínimo, ofreciendo nuevas herramientas para el análisis de patrones numéricos y el aprendizaje automático.