# Asociaedro

En matemáticas, un asociaedro K$_n$ es un politopo convexo (n-2)-dimensional en el que cada vértice corresponde a una forma de insertar correctamente la apertura y el cierre de un conjunto de paréntesis en una cadena de n letras, y las aristas corresponden a una aplicación única de la propiedad asociativa. De manera equivalente, los vértices de un asociaedro corresponden a las triangulaciones de un polígono regular con n + 1 aristas, y las aristas corresponden a cambios de arista en los que se elimina una única diagonal de una triangulación y se reemplaza por una diagonal diferente. Los asociaedros también se denominan politopos de Stasheff en honor al trabajo de Jim Stasheff, quien los redescubrió a principios de la década de 1960 con posterioridad a un trabajo anterior sobre el tema de Dov Tamari.

## Ejemplos

El asociaedro unidimensional K$_3$ representa los dos niveles de paréntesis ((xy)z) y (x(yz)) de tres símbolos, o las dos triangulaciones de un cuadrado. Es en sí mismo un segmento de línea recta.
El asociaedro bidimensional K$_4$ representa los cinco niveles de paréntesis de cuatro símbolos, o las cinco triangulaciones de un pentágono regular. Es en sí mismo un pentágono y está relacionado con el diagrama pentagonal de una categoría monoidal.
El asociaedro tridimensional K$_5$ es un eneaedro con nueve caras (tres cuadriláteros disjuntos y seis pentágonos) y catorce vértices, y su dual es el prisma triangular triaumentado.

## Realización

Inicialmente Jim Stasheff consideró estos objetos como politopos curvilíneos. Posteriormente, se les dieron coordenadas como politopos convexos de varias maneras diferentes (véase la introducción sobre el tema de Ceballos, Santos y Ziegler (2015)).
Un método para realizar un asociaedro es como un politopo secundario de un polígono regular. En esta construcción, cada triangulación de un polígono regular con n + 1 lados corresponde a un punto en el espacio euclídeo (n + 1)-dimensional, cuya i-ésima coordenada es el área total de los triángulos incidentes en el i-ésimo vértice del polígono. Por ejemplo, las dos triangulaciones del cuadrado unidad dan lugar de esta manera a dos puntos de cuatro dimensiones con coordenadas (1, 1/2, 1, 1/2) y (1/2, 1 , 1/2, 1). La envolvente convexa de estos dos puntos es la realización del asociaedro K$_3$. Aunque está definido en un espacio de 4 dimensiones, forma un segmento de recta (un politopo de dimensión 1) dentro de ese espacio. De manera similar, el asociaedro K$_4$ se puede realizar de esta manera como un pentágono en un espacio euclídeo de cinco dimensiones, cuyas coordenadas de vértice son las permutaciones cíclicas del vector (1, 2 + f, 1 , 1 + f, 1 + f), donde f denota el número áureo. Debido a que los posibles triángulos dentro de un hexágono tienen áreas que son múltiplos enteros entre sí, esta construcción se puede utilizar para dar coordenadas enteras (en seis dimensiones) al asociaedro tridimensional K$_5$. Sin embargo (como ya muestra el ejemplo de K$_4$) esta construcción en general conduce a números irracionales como coordenadas.
Otra realización, debida a Jean-Louis Loday, se basa en la correspondencia de los vértices del asociaedro con un árbol binario de n hojas, y produce directamente coordenadas enteras en un espacio de (n − 2) dimensiones. La coordenada i de la realización de Loday es a$_i$b$_i$, donde a$_i$ es el número de hojas descendientes del hijo izquierdo del nodo interno i del árbol (en orden de izquierda a derecha) y b$_i$ es el número de descendientes de hojas del hijo derecho.
Es posible realizar el asociaedro directamente en el espacio (n − 2)-dimensional como un politopo para el cual todos los vectores normales a caras tienen coordenadas que son 0, +1 o −1. Hay exponencialmente muchas formas combinatoriamente distintas de hacer esto.
Debido a que K$_5$ es un poliedro con vértices en los que se juntan 3 aristas exclusivamente, es posible que exista un hidrocarburo (similar a los hidrocarburos platónicos) cuya estructura química está representada por el esqueleto de K$_5$. Este "asociaedrano" C$_{14}$H$_{14}$ tendría la notación SMILES: C12-C3-C4-C1-C5-C6-C2-C7-C3-C8-C4-C5-C6-C78. Sus aristas tendrían aproximadamente la misma longitud, pero los vértices de cada cara no serían necesariamente coplanares.
De hecho, K$_5$ es un sólido casi coincidente de Johnson: parece que podría construirse a partir de cuadrados y pentágonos regulares, pero no lo es. O los vértices no serán del todo coplanares o las caras tendrán que distorsionarse ligeramente alejándose de la regularidad.

## Número de caras k

* k= 1 2 3 4 5
* n
* 1 1 1
* 2 1 2 3
* 3 1 5 5 11
* 4 1 9 21 14 45
* 5 1 14 56 84 42 197
El número de caras (n − k)-dimensionales del asociaedro de orden n (K$_{n+1}$) viene dado por la posición (n,k) de la tabla triangular que se muestra a la derecha.
El número de vértices en K$_{n+1}$ es el n-ésimo número de Catalan (diagonal derecha en el triángulo).
El número de facetas en K$_{n+1}$ (para n=2) es el n-ésimo número triangular menos uno (segunda columna del triángulo), porque cada faceta corresponde a un 2-subconjunto de los n objetos cuyas agrupaciones forman el retículo de Tamari T$_n$, excepto el 2-subconjunto que contiene el primer y el último elemento.
El número de caras de todas las dimensiones (incluido el asociaedro mismo como cara, pero sin incluir el conjunto vacío) es un número de Schröder-Hiparco (las sumas de las filas del triángulo).

## Diámetro

A finales de la década de 1980, en relación con el problema de la distancia de rotación, Daniel Sleator, Robert Tarjan y William Thurston proporcionaron una prueba de que el diámetro del asociaedro n-dimensional K$_{n+2}$ es como máximo 2n. − 4 para una cantidad infinita de n y para todos los valores "suficientemente grandes" de n. También demostraron que este límite superior es ajustado cuando n es lo suficientemente grande y conjeturaron que "suficientemente grande" significa "estrictamente mayor que 9". Esta conjetura fue demostrada en 2012 por Lionel Pournin.

## Amplitudes de dispersión

En 2017, Mizera y Arkani-Hamed et al. demostró que el asociaedro juega un papel central en la teoría de amplitudes de dispersión para la teoría del escalar cúbico bijunto. En particular, existe un asociaedro en el espacio de la cinemática de dispersión, y la amplitud de dispersión a nivel del árbol es el volumen del asociaedro dual. El asociaedro también ayuda a explicar las relaciones entre las amplitudes de dispersión de cuerdas abiertas y cerradas en la teoría de cuerdas.