Arndt and Carlitz Compositions

Resumen Técnico: Composiciones de Arndt y Carlitz

Planteamiento del Problema
El artículo aborda la enumeración de composiciones de enteros —secuencias ordenadas de enteros positivos que suman $n$— bajo restricciones locales específicas. Busca unificar y generalizar dos líneas de investigación distintas:

1. Composiciones de Carlitz: Introducidas por Carlitz, requieren que las partes adyacentes sean desiguales ($c_i \neq c_{i+1}$).
2. Composiciones de Arndt: Iniciadas por Arndt, imponen restricciones en pares específicos de partes, típicamente $(c_{2i-1}, c_{2i})$, sin restringir la relación entre $c_{2i}$ y $c_{2i+1}$.

Los autores definen una nueva clase de composiciones de Carlitz–Arndt ($CA(n)$) que satisfacen la estructura de emparejamiento de Arndt pero imponen la condición de Carlitz ($c_{2i-1} \neq c_{2i}$) en cada par. El artículo generaliza esto aún más al acotar la diferencia absoluta entre las partes emparejadas desde abajo ($|c_{2i-1} - c_{2i}| \geq k$) y desde arriba ($|c_{2i-1} - c_{2i}| \leq k$).

Metodología
Los autores emplean un enfoque dual que combina pruebas combinatorias (biyecciones explícitas) y funciones generatrices.

• Pruebas Combinatorias: El núcleo del artículo consiste en construir biyecciones entre las composiciones restringidas y otros conjuntos conocidos o recién definidos. Para el caso del límite inferior, mapean las composiciones a un subconjunto de "composiciones de Pell restringidas" ($P_{\geq k}(n)$) que involucran las partes $\{1, 1', 2\}$. Para el caso del límite superior, las mapean a las composiciones $Q_{\leq k}(n)$ que involucran las partes $\{1, 1', 2, 4, 6, \dots\}$. Estas biyecciones permiten a los autores derivar relaciones de recurrencia mediante el análisis de la estructura de los conjuntos mapeados.
• Funciones Generatrices: Los autores derivan funciones generatrices racionales para el número de composiciones en cada clase. Estas funciones se construyen tratando los pares de partes como bloques y sumando sobre los valores posibles, luego combinando los casos de longitud par e impar.

Contribuciones Clave y Resultados

1. Composiciones de Carlitz–Arndt ($CA(n)$):

   • Los autores establecen que el número de tales composiciones, $ca(n)$, satisface la recurrencia $ca(n) = ca(n-1) + ca(n-2) + ca(n-3)$ con valores iniciales $1, 1, 3$.
   • Esta secuencia corresponde a los números "tribonacci" (OEIS A000213).
   • Se demuestra una biyección entre $CA(n)$ y las composiciones sin partes adyacentes iguales a 1 ($C^c_{1,1}(n)$).

2. Composiciones de Límite Inferior Generalizado ($CA_{\geq k}(n)$):

   • Para un $k$ fijo, se analiza la condición $|c_{2i-1} - c_{2i}| \geq k$.
   • Los autores demuestran una relación de recurrencia: $ca_{\geq k}(n) = ca_{\geq k}(n-1) + ca_{\geq k}(n-2) - ca_{\geq k}(n-3) + 2ca_{\geq k}(n-k-2)$.
   • Se establece una biyección entre $CA_{\geq k}(n)$ y las composiciones de Pell restringidas $P_{\geq k}(n)$, donde las rachas de 1s o $1'$s tienen una longitud de al menos $k$.
   • La función generatriz se deriva como $\frac{1-x^2}{1-x-x^2+x^3-2x^{k+2}}$.

3. Composiciones de Límite Superior Generalizado ($CA_{\leq k}(n)$):

   • Se analiza la condición $|c_{2i-1} - c_{2i}| \leq k$.
   • Los autores derivan una recurrencia: $ca_{\leq k}(n) = ca_{\leq k}(n-1) + 2ca_{\leq k}(n-2) - 2ca_{\leq k}(n-k-3)$.
   • Se establece una biyección entre $CA_{\leq k}(n)$ y las composiciones $Q_{\leq k}(n)$ con partes $\{1, 1', 2, 4, 6, \dots\}$ donde las rachas de 1s o $1'$s tienen una longitud de máximo $k$.
   • La función generatriz se deriva como $\frac{1-x^2}{1-x-2x^2+2x^{k+3}}$.

Significancia y Reivindicaciones
El artículo afirma haber combinado y generalizado con éxito las nociones de las composiciones de Carlitz y Arndt. Al establecer estas conexiones, los autores proporcionan:

• Resultados de Enumeración: Relaciones de recurrencia explícitas y funciones generatrices para estas clases generalizadas.
• Perspectiva Combinatoria: Las biyecciones a composiciones de tipo Pell y a composiciones de longitud de racha restringida ofrecen una comprensión estructural de por qué surgen estas recurrencias específicas.
• Motivación Contextual: El trabajo está motivado por su conexión con las composiciones sin brechas (estudiadas por Hitczenko y Knopfmacher) y las particiones de Rogers–Ramanujan. Los autores señalan que su generalización de límite inferior ($CA_{\geq k}$) se relaciona con las partes "super-distintas" en las particiones de Rogers–Ramanujan (partes que difieren por al menos 2) y las particiones de Schur (partes que difieren por al menos 3).

Los autores declaran explícitamente que sus métodos son principalmente combinatorios, aunque utilizan funciones generatrices para verificar y proporcionar pruebas alternativas para las relaciones de recurrencia. Reconocen que Prodinger (2023) consideró una combinación más compleja de estas condiciones, lo que llevó a los autores a utilizar la notación $CA(n)$ para distinguir su formulación específica. El artículo no propone aplicaciones experimentales ni implicaciones futuras más allá del análisis enumerativo matemático y estructural presentado.