🔢 mathematics

Greedy Regular Convolutions

Este artículo introduce una clase de convoluciones "codiciosas", acotadas, regulares y homogéneas sobre funciones aritméticas, destacando las convoluciones unitarias y ternarias como casos únicos donde todos los números primitivos comparten el mismo rango finito, al tiempo que detalla una variante de longitud 3 generada por un novedoso procedimiento de "cribado selectivo".

Autores originales: Jan Snellman

Publicado 2026-08-18

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jan Snellman

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

Las matemáticas a menudo parecen el estudio de objetos estáticos: formas, números y las reglas fijas que los gobiernan. Sin embargo, existe una vibrante rama de la teoría de números dedicada a cómo interactúan los números cuando se combinan. Imagine una vasta biblioteca donde cada libro representa un número entero. Los matemáticos han buscado durante mucho tiempo una forma universal de emparejar estos libros, creando nuevos números a través de un proceso llamado convolución. Esto no es una simple suma o multiplicación, sino un método sofisticado de mezclar información basada en la estructura oculta de los factores de cada número. Durante décadas, los investigadores han clasificado estos emparejamientos, descubriendo que algunos son perfectamente uniformes, como una cuadrícula de baldosas idénticas, mientras que otros son más complejos. La pregunta central ha sido si se puede crear un sistema de emparejamiento que sea tanto ordenado y estrictamente limitado en tamaño, como lo suficientemente flexible para manejar cada número posible sin dejar vacíos.

En un estudio reciente, Jan Snellman, de la Universidad de Linköping, aborda este rompecabezas introduciendo una nueva forma de construir estos emparejamientos numéricos, a la que llama "convoluciones codiciosas" (greedy convolutions). El objetivo era construir un sistema donde las reglas para combinar números sean consistentes en todos los números primos, pero los grupos de números involucrados se mantengan pequeños y finitos. Trabajos previos habían demostrado que, si se exige que cada grupo tenga exactamente el mismo tamaño, uno está limitado a solo dos posibilidades: un sistema donde los grupos contienen solo un número, y otro donde contienen exactamente dos. Snellman se preguntó qué pasaría si relajaba esa regla ligeramente. En lugar de forzar a que cada grupo tuviera el mismo tamaño, propuso un enfoque "codicioso": tomar los números en orden, uno por uno, y colocar cada nuevo número en el primer grupo disponible que tenga espacio para él, hasta un límite máximo de tamaño.

Los resultados de este procedimiento sencillo y paso a paso revelan un paisaje sorprendente. Cuando el límite se establece en uno, el método reproduce el sistema conocido de grupos de un solo número. Cuando el límite es dos, recrea el sistema conocido de grupos de dos números. Sin embargo, tan pronto como el límite se eleva a tres, el sistema cambia de una manera fundamental. Los grupos ya no son todos del mismo tamaño; algunos contienen tres números, mientras que otros contienen solo uno. El investigador mapeó exactamente cómo se forman estos grupos, descubriendo que los números que inician un nuevo grupo —llamados elementos primitivos— siguen un patrón específico e intrincado. Para el caso de un límite de tres, el investigador encontró que estos números iniciales constituyen una porción específica de todos los números enteros, ocurriendo con una frecuencia predecible.

El estudio va más allá al introducir un método llamado "cribado selectivo" para describir estos números iniciales. Este proceso es como un filtro que elimina ciertos números basándose en si pueden ser construidos a partir de números más pequeños ya seleccionados. Para el caso de un límite de tres, este filtro identifica perfectamente los números iniciales. Sin embargo, cuando el investigador intentó aplicar esta misma lógica a un límite de cuatro, el patrón se rompió. Los números iniciales para el límite de cuatro no encajan ordenadamente en el filtro existente. En su lugar, parecen seguir una regla más compleja y casi caótica que el investigador solo puede describir mediante una conjetura aproximada respaldada por simulaciones por computadora. El estudio confirma que, si bien la regla para construir los grupos es sencilla, la estructura resultante se vuelve cada vez más difícil de predecir a medida que el límite de tamaño crece.

El artículo también resuelve una pregunta de larga data sobre si es posible tener un sistema donde cada grupo sea del mismo tamaño, siempre que dicho tamaño sea mayor que dos. El investigador demostró que tal sistema no puede existir. Si uno intenta forzar a que cada grupo tenga el mismo tamaño, el proceso codicioso inevitablemente deja algunos grupos incompletos, creando un vacío en el sistema. Esto confirma que los dos sistemas conocidos son los únicos de su tipo donde cada grupo es idéntico. El trabajo deja abierta la pregunta de cómo se distribuyen exactamente los números iniciales para límites mayores, sugiriendo que cuanto más profundo se mira en estos sistemas codiciosos, más complejo y menos uniforme se vuelve el orden subyacente.

Resumen Técnico: Convoluciones Regulares Codiciosas (Greedy Regular Convolutions)

Planteamiento del Problema
El artículo aborda la clasificación y construcción de convoluciones regulares en el conjunto de las funciones aritméticas ( $\Gamma$ ). Basándose en la clasificación de Narkiewicz, que define las convoluciones regulares mediante familias de descomposiciones de los números naturales $\mathbb{N}$ en progresiones aritméticas que contienen al cero, el autor investiga la clase específica de convoluciones regulares homogéneas y acotadas.

Una convolución regular es homogénea si la estructura de descomposición es idéntica para todos los números primos $p$ , y es acotada si las longitudes de los bloques de progresión aritmética están uniformemente acotadas por algún entero $M$ . Mientras que la convolución de Dirichlet (no acotada) y la convolución unitaria (acotada, longitud de bloque 1) son bien conocidas, y la convolución ternaria (acotada, longitud de bloque 2) fue identificada por Gavell, existe un vacío en la comprensión de las convoluciones regulares donde la longitud del bloque $d > 2$ . Gavell demostró que para $d > 2$ , no existe ninguna convolución regular homogénea donde todas las longitudes de los bloques sean exactamente la misma $d$ . El artículo busca definir una convolución canónica para cualquier $d$ que aproxime esta uniformidad llenando los bloques tanto como sea posible, lo que conduce al concepto de convoluciones "codiciosas" (greedy).

Metodología
El autor introduce un procedimiento constructivo para generar estas convoluciones, denominado convoluciones codiciosas de longitud $d$ . La metodología se basa en dos representaciones primarias:

Construcción de Árboles: Para un $d$ dado, se define una secuencia de árboles con raíz $T_d(n)$ sobre los vértices $\{0, 1, \dots, n\}$ . Los enteros se añaden secuencialmente. Un entero $n+1$ se adjunta como una hoja a una rama existente $0 \to k \to 2k \to \dots \to mk$ si $n+1 = (m+1)k$ y $m+1 \le d$ . Si existen múltiples tales ramas, se elige la que tiene el $k$ más pequeño (la regla "codiciosa"). Si no existe tal rama, se inicia una nueva rama $0 \to (n+1)$ . El límite de estos árboles define la descomposición $\Pi(d)$ de $\mathbb{N}$ .
Representación Matricial: La descomposición es generada equivalentemente por una matriz de $d \times \mathbb{N}$ , $A(d, N)$ , donde la entrada $(i, j) = ij$. Las columnas se procesan; si un valor $ar,c$ aparece en una columna anterior, la columna actual es "podada" (establecida en cero por debajo de la fila $r$ ). Las columnas no nulas representan las partes de la partición $S(d)$ de $\mathbb{P}$ (enteros positivos).

El artículo utiliza el concepto de elementos primitivos (el elemento positivo más pequeño en cada bloque de la descomposición) para caracterizar la estructura algebraica. Para analizar el conjunto de elementos primitivos para $d=2$ y $d=3$ , el autor introduce un procedimiento recursivo de tipo criba denominado cribado selectivo (selective sifting), denotado como $s(S)$ . Este procedimiento incluye iterativamente un entero $n$ en el conjunto a menos que pueda formarse como $ab$, donde $a \in S$ y $b$ ya está en el conjunto cribado.

Contribuciones Clave y Resultados

Definición de Convoluciones Codiciosas: El artículo define formalmente la convolución codiciosa $G(d)$ para cualquier entero positivo $d$ . Establece que $G(1)$ corresponde a la convolución unitaria y $G(2)$ a la convolución ternaria.
Unicidad de Longitudes de Bloque Uniformes: El artículo proporciona una prueba (atribuida a Gavell) de que para $d > 2$ , no existe ninguna convolución regular homogénea donde todas las longitudes de los bloques tengan exactamente la misma longitud $d$ . La construcción codiciosa se presenta como la alternativa natural donde las longitudes de los bloques son $\le d$ , pero no necesariamente iguales.
Análisis Detallado de $d=3$ :
- Se muestra que las longitudes de los bloques para $G(3)$ son o bien 3 o bien 1.
- El conjunto de elementos primitivos se particiona en aquellos de rango completo (3) y de rango 1.
- El conjunto de primitivos de rango completo, $M$ , se identifica como el conjunto de enteros $m$ tales que $m = 4^i 9^j k$ con $\gcd(k, 6)=1$ (OEIS A339690).
- El conjunto de primitivos de rango 1 se identifica como $6M$ .
- La densidad natural del conjunto completo de primitivos para $d=3$ se calcula en $7/12$ .
- El autor demuestra que el conjunto de primitivos para $d=3$ puede describirse mediante el cribado selectivo con el conjunto $S = \{2, 3, 6\}$ .
Marco de Cribado Selectivo: El artículo generaliza el método de cribado, proporcionando descripciones en forma cerrada para $s(\{p\})$ , $s(\{p, q, pq\})$ y otros conjuntos específicos. Establece que para $d=2$ y $d=3$ , los conjuntos primitivos son exactamente $s(S)$ para $S$ específicos.
Análisis de $d=4$ :
- El artículo presenta datos para $G(4)$ , señalando la existencia de primitivos de rango 1, 2 y 4, pero la ausencia de primitivos de rango 3.
- Se observa que el conjunto de primitivos para $d=4$ no puede ser representado exactamente por un conjunto de cribado selectivo finito $S$ .
- Se propone una conjetura de que el conjunto de primitivos de rango 4 está "cerca" de un conjunto de cribado selectivo generado por un $S$ infinito compuesto por números de la forma $2^a 3^b$ .
Propiedades Estadísticas: El artículo calcula densidades naturales para varios casos y grafica la distribución de las longitudes de los bloques y las distancias entre primitivos consecutivos, observando que la distancia promedio entre primitivos es el recíproco de su densidad natural.

Significado y Reivindicaciones
El artículo afirma proporcionar una construcción sistemática para una nueva familia de convoluciones regulares que llenan el vacío entre los casos unitario/ternario y las longitudes de bloque uniformes de orden superior. La significancia principal reside en:

Caracterización Estructural: Probar que las longitudes de bloque uniformes son imposibles para $d > 2$ y ofrecer la construcción codiciosa como la solución canónica.
Estructura Intrincada de los Primitivos: Revelar que, aunque la definición de las convoluciones codiciosas es sencilla, la estructura de sus elementos primitivos se vuelve sorprendentemente compleja para $d \ge 3$ . El artículo destaca que para $d=3$ , la estructura es regular y describible mediante el cribado selectivo, pero para $d=4$ , la estructura se vuelve "sorprendentemente intrincada" y resiste las descripciones de cribado simples.
Problemas Abiertos: El artículo concluye planteando varias preguntas abiertas respecto a los rangos de los elementos primitivos, sus densidades naturales para un $d$ general y la estructura precisa de los elementos "esporádicos" en las convoluciones codiciosas de mayor longitud.

El autor establece explícitamente que los resultados se derivan de las definiciones y experimentos computacionales (usando SageMath), y el artículo no pretende tener aplicaciones fuera del marco teórico de las funciones aritméticas y las convoluciones regulares. El trabajo sirve como una clasificación y exploración de estas estructuras algebraicas específicas.

Más como este