Pin Classes I: Growth Rates

Este artículo demuestra que las clases de permutaciones definidas por secuencias de pin tienen tasas de crecimiento propias y establece un procedimiento para calcularlas.

Lo esencial

Imagina que las matemáticas tienen un lenguaje secreto hecho de permutaciones. Una permutación es simplemente un ordenamiento de números, como una fila de personas esperando para subir a un autobús. Si tienes 5 personas, hay muchas formas en que pueden ordenarse.

Ahora, imagina que tienes un laberinto infinito donde, en lugar de paredes, hay reglas estrictas sobre quién puede estar al lado de quién. Un "clase de permutaciones" es como un club exclusivo: si una fila de personas cumple las reglas del club, puede entrar. Pero si una fila viola una regla, queda fuera.

El problema es que algunos de estos clubes son tan grandes y complejos que es imposible contar cuántas filas diferentes caben en ellos. Los matemáticos se preguntan: "¿Qué tan rápido crece este club a medida que añadimos más personas a la fila? ¿Crecen como una explosión (infinitamente rápido) o de una manera más controlada?"

Aquí es donde entra este paper, escrito por Ben Jarvis. Vamos a desglosarlo con analogías sencillas:

1. El "Pin" (El Alfiler) y la Danza

El concepto central de este artículo son las "secuencias de pin" (pin sequences). Imagina que tienes un alfiler gigante clavado en el suelo (el origen).

• Empiezas poniendo un punto en un cuadrante (digamos, arriba a la derecha).
• Luego, el siguiente punto debe colocarse fuera del rectángulo que forman todos los puntos anteriores y el alfiler, pero debe estar separado por una "línea de alfiler" imaginaria.
• Es como si estuvieras construyendo una torre de bloques, pero cada nuevo bloque debe colocarse de una manera muy específica para no romper la estructura de los anteriores.

Estas secuencias son como una coreografía de baile. Si sigues los pasos (arriba, abajo, izquierda, derecha) de una canción infinita, creas un patrón de puntos.

2. El Problema: ¿Crecen sin control?

Antes de este artículo, los matemáticos sabían que si un club de permutaciones es "bueno" (no contiene todas las filas posibles), su crecimiento no es infinito. Pero había un misterio: ¿Crecen de forma suave y predecible (como una línea recta) o saltan de forma errática (como un corazón que late de forma irregular)?

La mayoría de los clubes conocidos crecían de forma predecible. Pero los creados por estas "secuencias de pin" eran sospechosos. ¿Tenían un ritmo de crecimiento claro o eran un caos?

3. La Solución: El "Interior" del Club

Jarvis descubre algo maravilloso: Sí, tienen un ritmo de crecimiento claro.

Para entenderlo, usa una analogía de un río:

• Imagina que la secuencia de pin es un río que fluye. A veces el río es constante (recurrente), repitiendo el mismo patrón una y otra vez. En estos casos, es fácil calcular la velocidad del agua.
• Pero a veces el río cambia de curso, se vuelve salvaje y nunca repite exactamente el mismo patrón (no recurrente). Aquí es donde era difícil calcular la velocidad.

Jarvis propone una idea brillante: No necesitas medir el río salvaje entero. Solo necesitas mirar el "interior" del río, la parte que se repite infinitamente y que forma el núcleo del club.

• Él demuestra que, sin importar cuán salvaje sea el río al principio, la velocidad a la que crece el club está determinada por ese núcleo repetitivo.
• Es como si, para saber qué tan rápido crece una ciudad, no necesitaras contar cada edificio nuevo que se construye hoy, sino solo mirar el patrón de construcción de los barrios antiguos que se repiten una y otra vez.

4. La Caja Mágica (La Descomposición)

El paper introduce una herramienta llamada "suma de cajas" (box-sum). Imagina que cada pieza de tu permutación es una caja.

• Si tienes una caja pequeña y la metes dentro de otra caja más grande (en el centro), creas una estructura nueva.
• Jarvis demuestra que todas estas permutaciones de pin se pueden desarmar en piezas más pequeñas (cajas indecomponibles) y volver a armarlas como un juego de Lego.
• Al entender cómo se encajan estas piezas, puede escribir una "receta" matemática (una función generadora) que le dice exactamente cuántas permutaciones hay de cada tamaño.

5. El Hallazgo Final: El Ritmo Perfecto

El resultado principal es tranquilizador para los matemáticos:

• Todos los clubes definidos por estas secuencias de pin tienen un ritmo de crecimiento definido. No hay caos.
• Jarvis no solo dice que existe el ritmo, sino que te da un manual de instrucciones para calcularlo. Solo tienes que mirar las "sub-palabras" repetitivas de la secuencia de pin y aplicar su fórmula.

En Resumen

Este paper es como encontrar la partitura oculta de una canción que parecía ser solo ruido.

• Antes: "Mirad, esta secuencia de puntos es un caos, no sabemos cómo crece."
• Ahora: "No, en realidad es una danza muy ordenada. Si miras los pasos que se repiten, puedes predecir exactamente cuántos bailarines habrá en el escenario dentro de 100 años."

Jarvis nos dice que incluso en los sistemas más complejos y aparentemente desordenados de las matemáticas, hay una estructura subyacente, un "latido" constante que podemos medir y entender. Ha convertido un misterio matemático en una herramienta práctica para calcular el crecimiento de estos universos de números.

Resumen técnico

Resumen Técnico: Clases de Pin I: Tasas de Crecimiento

Autor: Ben Jarvis (Open University, UK)
Fecha: Marzo 10, 2026
Área: Combinatoria de Permutaciones (Teoría de Patrones de Permutación)

1. Planteamiento del Problema

El campo de los patrones de permutación estudia clases de permutaciones cerradas bajo la relación de contención. Un problema fundamental y abierto en este campo es determinar si toda clase de permutación propia (que no contenga todas las permutaciones) posee una tasa de crecimiento propia (es decir, si el límite superior e inferior de la raíz $n$-ésima de su secuencia de enumeración coinciden).

El Teorema de Marcus-Tardos garantiza que las tasas de crecimiento superior e inferior son finitas para cualquier clase propia, pero no asegura que sean iguales. Las clases de pin (permutaciones generadas por secuencias infinitas de "pin") son una familia rica y estructuralmente importante, utilizada para construir contraejemplos y estudiar antichains infinitas. Sin embargo, hasta este trabajo, no se había demostrado sistemáticamente que todas las clases de pin tuvieran tasas de crecimiento propias, ni existía un procedimiento general para calcularlas.

2. Metodología y Marco Teórico

El autor desarrolla un marco teórico basado en tres pilares principales:

A. Permutaciones Centradas y la Operación $\oplus$ (Box-Sum)

• Se introduce el concepto de permutación centrada: una permutación con un punto designado como "origen".
• Se define la operación $\oplus$-suma (o box-sum) sobre permutaciones centradas, que consiste en inflar el origen de una permutación con otra. Esta operación es asociativa pero no conmutativa en general, excepto para pares de permutaciones en cuadrantes opuestos.
• Se demuestra que las clases de pin pueden entenderse naturalmente como clases de permutaciones centradas cerradas bajo esta operación.

B. Descomposición de Pin y Palabras de Pin

• Se utilizan palabras de pin (secuencias sobre el alfabeto $\{1,2,3,4, u, d, l, r\}$) para generar permutaciones.
• Se establece un teorema de descomposición: cualquier permutación en una clase de pin generada por una palabra infinita recurrente puede descomponerse como una suma $\oplus$ de factores de pin.
• Se clasifican las "colisiones" (diferentes palabras que generan la misma permutación) y las palabras que generan permutaciones $\oplus$-descomponibles. Esta clasificación es crucial para evitar el sobreconteo en la enumeración.

C. Clases Recurrentes vs. No Recurrentes

• Clases Recurrentes: Generadas por palabras de pin donde cada factor aparece infinitas veces. Estas clases son $\oplus$-cerradas, lo que permite aplicar técnicas de funciones generadoras.
• Clases No Recurrentes: Generadas por palabras donde algunos factores aparecen un número finito de veces. Estas no son $\oplus$-cerradas. El autor introduce el concepto de interior $\oplus$ ($C^\oplus_w$), definido como la mayor subclase $\oplus$-cerrada contenida en la clase de pin original, generada únicamente por los factores recurrentes.

3. Contribuciones Clave

1. Procedimiento de Enumeración para Clases Recurrentes:

   • Se establece un algoritmo para calcular la función generadora de una clase de pin recurrente.
   • El método implica:
     1. Enumerar los factores de la palabra de pin.
     2. Restar las contribuciones de las palabras $\oplus$-descomponibles y las colisiones (usando las listas clasificadas en el Teorema 3.37).
     3. Ajustar por la conmutatividad de los factores en cuadrantes opuestos (introduciendo la "secuencia G modificada" o amended G-sequence).
     4. Aplicar el operador secuencial para obtener la función generadora final.

2. Prueba de Tasas de Crecimiento Propias:

   • El resultado principal (Teorema 4.12) demuestra que toda clase de pin (recurrente o no) posee una tasa de crecimiento propia.
   • La prueba se basa en "acotar" la clase de pin $C_w$ entre su interior $\oplus$ ($C^\oplus_w$) y su cierre $\oplus$ ($\oplus(C_w)$).
   • Se demuestra que la tasa de crecimiento de la clase original es igual a la de su interior $\oplus$, la cual es una clase recurrente y, por tanto, tiene una tasa de crecimiento bien definida.

3. Cálculo Explícito de Tasas de Crecimiento:

   • Se proporciona un método efectivo para calcular la tasa de crecimiento de cualquier clase de pin reduciendo el problema a encontrar la raíz más pequeña de un polinomio derivado de la secuencia G modificada.

4. Resultados Principales

• Existencia de Tasas Propias: Se confirma que la familia de clases de pin cumple con la propiedad de tener tasas de crecimiento propias, resolviendo el problema para esta clase significativa de permutaciones.
• Límites de Tasas de Crecimiento:
  • Límite Inferior: La tasa de crecimiento mínima posible para una clase de pin es $\kappa \approx 2.20557$, alcanzada por la clase de oscilaciones crecientes ($O$).
  • Límite Superior: La tasa de crecimiento máxima es $\omega_\infty \approx 5.24112$, correspondiente a la clase completa de permutaciones de pin ($P$).
• Puntos de Acumulación: Se identifica una constante crítica $\nu_L \approx 3.28277$ (límite de la secuencia de clases $V(1, k)$). Se demuestra que $\nu_L$ es un punto de acumulación en el conjunto de tasas de crecimiento de las clases de pin, y que a partir de este valor existen un número no numerable de clases de pin distintas con la misma tasa.
• Ejemplos Específicos:
  • Se calculan las tasas de crecimiento para varias familias, incluyendo oscilaciones, clases $V(1, k)$, la clase $Y$ (tres cuadrantes) y la Espiral Widdershins (cuatro cuadrantes).
  • Se analiza la Clase Liouville V (generada por una palabra no recurrente), demostrando que su tasa de crecimiento es exactamente $\nu_L$.

5. Significado e Impacto

• Resolución de un Problema Abierto: Este trabajo da un paso significativo hacia la resolución del problema general de si todas las clases de permutación propias tienen tasas de crecimiento propias, al demostrarlo para una familia amplia y estructuralmente compleja.
• Herramienta Computacional: Proporciona un algoritmo sistemático para calcular tasas de crecimiento que antes eran inaccesibles, especialmente para clases definidas por palabras infinitas complejas.
• Conexión con Antichains Infinitas: Dado que las clases de pin están intrínsecamente ligadas a la construcción de antichains infinitas (conjuntos de permutaciones incomparables), estos resultados tienen implicaciones profundas para la teoría del orden bien cuasi-ordenado (WQO) en permutaciones.
• Futuras Direcciones: El artículo sienta las bases para clasificar las tasas de crecimiento en función del número de cuadrantes visitados y para explorar la estructura de las tasas de crecimiento en el intervalo $[\nu, \nu_c]$, sugiriendo una transición de fase en la complejidad de las clases de permutación.

En resumen, el artículo transforma el estudio de las clases de pin de un conjunto de ejemplos aislados a una teoría unificada y computable, estableciendo la existencia de tasas de crecimiento propias y ofreciendo métodos precisos para su determinación.