---
title: 'Oruga: Multidisciplinary Perspectives'
url: https://www.emergentmind.com/topics/oruga
type: topic
---

# Oruga: Multidisciplinary Perspectives

Oruga designa, en la literatura técnica reciente, varios objetos conceptualmente distintos. En robótica y mecánica, nombra tanto dispositivos de locomoción tipo *crawler* como mecanismos híbridos oruga–rueda; en PLN, identifica un método de optimización de legibilidad basado en algoritmos genéticos; en IA simbólica, denomina una implementación de Representational Systems Theory; y en combinatoria geométrica, aparece en el “grafo \(s\)-oruga” asociado al \(s\)-weak order y al \(s\)-permutahedron. La coexistencia de estos usos muestra que “oruga” funciona como término de arte polisémico, cuya unidad es más metafórica que disciplinaria [2410.20818] [1806.00765] [2301.00374] [2509.04041] [2310.19732].

## 1. Desambiguación técnica del término

En las fuentes consideradas, “oruga” no remite a una única entidad. Según el contexto, puede aludir a locomoción sobre sustratos, a transformación de representaciones, a optimización textual o a una construcción combinatoria.

| Contexto | Referente técnico | arXiv |
|---|---|---|
| Robótica de origami | *Origami crawler* de un solo vértice grado cuatro | [2410.20818] |
| Robótica híbrida | Módulo *omnicrawler-wheel* transformable | [1806.00765] |
| PLN | ORUGA, método de legibilidad con GA | [2301.00374] |
| IA simbólica | Oruga, implementación de RST | [2509.04041] |
| Combinatoria geométrica | Grafo \(s\)-oruga y su flow polytope | [2310.19732] |

Una confusión frecuente consiste en asumir que “oruga” en la literatura técnica hispanohablante y anglófona se restringe a robots de tracción continua. Las fuentes desmienten esa reducción: el término también nombra software de optimización, infraestructuras de transferencia representacional y objetos combinatorios. De forma complementaria, el trabajo sobre RST explicita la carga simbólica del nombre al definir Oruga como “caterpillar in Spanish; a symbol of transformation” [2509.04041].

## 2. Oruga como *crawler* de origami

En “Origami crawlers: exploring a single origami vertex for complex path navigation”, Farhadi et al. muestran que un único vértice de origami rígido, plegable y de grado cuatro puede diseñarse como *crawler* capaz de navegar trayectorias complejas con una sola entrada [2410.20818]. La geometría de partida es una lámina rectangular de espesor uniforme, anchura \(b\) y altura \(h\), con un vértice en \(V=(x_v,y_v)\). Cuatro líneas de pliegue emergen de \(V\), dividen la lámina en cuatro paneles rígidos y satisfacen las restricciones de desarrollabilidad y plegabilidad rígida:
\[
\sum_{i=1}^4 \theta_i = 2\pi,
\qquad
\theta_j < \sum_{i\neq j}\theta_i.
\]
Tres pliegues son *hard-mountain folds* y uno es un *soft-valley fold* actuado; este último forma un ángulo \(\theta_v\) con el eje longitudinal de la lámina.

El modelo cuasiestático usa el ángulo de plegado \(\beta\) como coordenada de control. La teoría de *rigid origami* fija los ángulos diedros \(\delta_i(\beta)\) y permite describir la posición tridimensional de cualquier punto de un panel mediante rotaciones alrededor del pliegue valle actuado. A nivel locomotor, la magnitud relevante es la trayectoria del centro de masa \(C(\beta)\). La diferencia entre sus extremos durante un ciclo define el vector de paso
\[
\Delta C=[\Delta x,\Delta y],
\]
la longitud de paso
\[
L(\beta_{\min},\beta_{\max})=\|\Delta C\|,
\]
y la orientación del paso
\[
\Phi=\operatorname{atan2}(\Delta y,\Delta x).
\]
Esta formulación permite distinguir desplazamiento casi rectilíneo de giro sostenido sin introducir grados de libertad adicionales.

El rasgo central del mecanismo es el *nonlinear frictional “anchor-point” switching*. En cada configuración plegada, tres puntos de la lámina presionan el sustrato horizontal, pero la topología de contacto puede cambiar cuando \(\beta\) cruza un umbral; el resumen da como ejemplo \(\sim 155^\circ\) para ciertos diseños. Para cada punto de contacto \(k\), la carga normal \(N_k(\beta)\) se obtiene por equilibrio estático global, y el límite de fricción estática es
\[
F_k^s=\mu_s(\psi_k)N_k,
\]
donde \(\mu_s\) depende débilmente del ángulo local panel–sustrato \(\psi_k\). Durante la deflación lenta, dos contactos deslizan y uno permanece adherido; ese contacto adherente actúa como *anchor* alrededor del cual el cuerpo rota y se traslada. La alternancia entre topologías de contacto y el uso de inflación/deflación asimétricas explican la coexistencia de modos rectos y de giro con un solo actuador.

Los parámetros de diseño adimensionales son \(h/b\), \((x_v/b,y_v/b)\), \(\theta_1,\theta_2,\theta_3\), \(\theta_v\), el rango \([\beta_{\min},\beta_{\max}]\) y los coeficientes de fricción \(\mu_s(\psi)\), \(\mu_d(\psi)\). El espacio de exploración práctico reportado es \(h/b\in[1,1.5]\), \(x_v/b\in[-0.7,-0.3]\), \(y_v/b\in[-1.2,-0.4]\), \(\theta_i\) entre \(20^\circ\) y \(170^\circ\), \(\theta_v\) entre \(10^\circ\) y \(350^\circ\), y \(\beta\in[120^\circ,180^\circ]\). Esa parametrización permitió obtener *straight-only crawlers*, *turn-only crawlers*, *two-direction straight crawlers* y *fully multimodal crawlers*.

La validación experimental es representativa. En Design III, con \(b=90\) mm, \(h=135\) mm, \(\theta_{1,2,3},\theta_v=140^\circ,100^\circ,60^\circ,60^\circ\) y \((x_v,y_v)=(27,36)\) mm, el modo recto para \(157^\circ\le\beta\le163^\circ\) produjo un paso modelado de \(L=11.95\) mm y cambio de orientación \(\Delta\Phi=0.56^\circ\), frente a \(L\approx 12.1\) mm y \(\Delta\Phi\approx 0.6^\circ\) en experimento. El modo de giro, para \(130^\circ\le\beta\le135^\circ\), dio \(L=2.14\) mm y \(\Delta\Phi=1.5^\circ\) en el modelo, frente a \(L\approx2.0\) mm y \(\Delta\Phi\approx1.4^\circ\) experimentalmente. La precisión de seguimiento de trayectoria sobre 14 ciclos rectos y 55 de giro tuvo desviación \(<5\%\). En Design IV, el modelo predijo \(L=0.83\,b\approx 75\) mm por ciclo y curvatura total \(\kappa_T\approx0.1\) rad; el experimento obtuvo \(L=37.2\) mm para \(\beta\in[140^\circ,165^\circ]\) y aproximadamente \(225\) mm en \(6\) s a \(1\) Hz. El resumen concluye que modelado y experimento concuerdan dentro de \(\approx10\%\) en tamaño de paso, curvatura de giro y fidelidad de trayectoria.

En fabricación, el trabajo emplea PET o Mylar de \(0.1\) mm, refuerzo de bisagras con PTFE o Kapton, y un *silicone-rubber pouch* sobre el pliegue valle unido con adhesivo de silicona. El perfil de presión indicado infla desde \(P_{\min}=0\) kPa hasta \(P_{\max}\sim50\) kPa en \(\approx0.1\) s y desinfla lentamente durante \(0.5\) s. Se afirma que una señal de presión en lazo abierto basta para alternar entre rangos de marcha \([\beta_{\min},\beta_{\max}]\); para seguimiento de trayectorias, una matriz de válvulas con microcontrolador puede ajustar \(P_{\max}\) o el tiempo de permanencia. La velocidad típica es \(\sim1\) Hz, con pasos de \(10\) a \(80\) mm por ciclo y locomoción de hasta \(8\) cm/s.

## 3. Oruga como módulo híbrido oruga–rueda

“Novel Compliant omnicrawler-wheel transforming module” aborda una noción distinta de oruga: un robot *crawler* cuyo chasis puede transformarse desde un modo *omni-crawler* a un modo de rueda de gran diámetro [1806.00765]. El sistema amplía el robot híbrido CObRaSO y añade una configuración de rueda grande y pequeña anchura, orientada a reducir el radio de giro y aumentar la velocidad de locomoción.

La arquitectura mecánica se organiza en torno a una plataforma telescópica en cascada de 3 GDL con tres actuadores lineales telescópico-tornillo separados \(120^\circ\). Cada actuador tiene \(N=4\) niveles anidados de tornillo, con \(SL=20\) mm por nivel, y articulaciones universales que convierten movimiento rotacional en extensión diferencial para curvatura omnidireccional. A ello se añaden seis pares de barras telescópicas de dos niveles, dispuestas cada \(60^\circ\), conectadas por un alambre de acero flexible de gran espesor que aporta *passive compliance*. La superficie exterior se completa con una piel fina de silicona Ecoflex 00-20 entre barras adyacentes, de modo que el soporte continuo de la oruga se preserve incluso en configuraciones curvadas. El accionamiento usa una transmisión *chain-lug* con dos pequeños piñones motrices y dos tensores lineales de tornillo para mantener tensión de cadena.

La transformación entre modos depende de la retracción coordinada de los tornillos telescópicos y de un mecanismo de bloqueo. En la transición *crawler → wheel*, los tres tornillos se llevan a la posición mínima; las barras del chasis son empujadas hacia afuera por los conectores de alambre, los topes en forma de “R” se enclavan y convierten cada barra en un radio rígido, y los eslabones curvos del mecanismo “flower” se despliegan radialmente para cerrar los huecos entre radios. En la transición inversa, la extensión de los telescopios devuelve la geometría original y los topes “R” se liberan por fijaciones elásticas.

Las relaciones geométricas centrales son explícitas. La longitud total en modo *crawler* totalmente extendido es
\[
L_E=\bigl(2\,N\,SL\bigr)\times2 + 2\,J_H + C_1 + D_L + T_L,
\]
mientras que la longitud reducida en modo rueda totalmente retraído es
\[
L_R=(2\,SL)\times2 + 2\,J_H + C_1 + D_L + T_L.
\]
El requisito de diseño es
\[
\frac{L_R}{L_E}\le \frac12,
\]
y la elección \(N=4\) satisface esa condición. El diámetro de rueda inducido por la curvatura de los radios se resume mediante
\[
D_{\rm wheel}(\theta)=2\Bigl[M_{sl}\sin\frac{\theta}{4}+L\cos\frac{\theta}{3}\Bigr].
\]
En el prototipo, \(M_{sl}=80\) mm y \(L=24\) mm dan \(D_{\rm wheel}\approx 400\) mm para \(\theta=\pi/4\).

El modelado de cumplimiento usa la silicona como viga de Euler–Bernoulli,
\[
E\,I\,\frac{d^2y}{dx^2}=M(x),
\]
y reporta una fuerza restauradora máxima de \(3.4\) N actuando horizontalmente sobre el chasis. El par motor efectivo se escribe como
\[
\tau_{\rm motor}=J_{\rm eff}\alpha + B_{\rm eff}\omega + \tau_{\rm silicon},
\]
con \(\tau_{\rm silicon}\approx3.4\) N·mm a máximo cambio de área. A partir de simulación ADAMS y de la fuerza medida en la piel de silicona, el par máximo requerido por actuador fue \(\sim0.36\) N·m; se seleccionó un micro-motor de \(15\) kg·cm, aproximadamente \(1.47\) N·m a bloqueo, con relación de reducción \(\approx 4{:}1\), lo que produce un factor de seguridad \(>3\). También se reportan \(\eta\approx85\%\), \(\tau_{\rm nom}\approx1.5\) N·m y tiempo de transformación de \(3\) s.

Los beneficios locomotores cuantificados son notables. El radio de giro pasa de \(R_1\approx600\) mm en modo oruga a \(R_2\approx200\) mm en modo rueda, es decir, una reducción del \(67\%\) en la huella de giro. La velocidad rectilínea aumenta de \(v_1\approx0.12\) m/s a \(v_2\approx0.35\) m/s, y el consumo energético cae en \(\sim25\%\) en modo rueda. Una cuestión terminológica relevante es que el resumen detallado atribuye la transformación a “the existing three compliance actuators plus one small trigger actuator”, mientras que el abstract afirma que ocurre “without any additional actuators”. La coexistencia de ambas formulaciones sugiere una diferencia entre “actuadores de locomoción adicionales” y “pequeño actuador de disparo”, más que una incompatibilidad mecánica estricta.

## 4. ORUGA en optimización de legibilidad

En PLN, ORUGA significa “Optimizing Readability Using Genetic Algorithms” y designa un método para optimizar automáticamente la legibilidad de textos en inglés mediante sustitución selectiva de palabras por sinónimos, preservando en lo posible forma y significado [2301.00374]. El problema se formula sobre un texto tokenizado en palabras candidatas \(w_1,\dots,w_n\), cada una asociada a un conjunto de sinónimos \(\mathcal S_i=\{s_{i,0},s_{i,1},\dots,s_{i,k_i}\}\), donde \(s_{i,0}=w_i\) representa no modificar la palabra. Una solución candidata se codifica como un cromosoma entero
\[
\mathbf x=(x_1,x_2,\dots,x_n),
\]
con \(x_i\in\{0,1,\dots,k_i\}\), de modo que \(x_i\) selecciona el sinónimo aplicado en la posición \(i\).

La formulación monobjetivo minimiza o maximiza una métrica de legibilidad \(R(T(\mathbf x))\). El trabajo enumera como métricas Dale–Chall, SMOG, ARI y FKGL. La formulación multiobjetivo añade dos restricciones semántico-formales:
\[
f_1(\mathbf x)=R\bigl(T(\mathbf x)\bigr),\qquad
f_2(\mathbf x)=\sum_{i=1}^n \mathbf 1[x_i\neq 0],\qquad
f_3(\mathbf x)=\mathrm{WMD}\bigl(T(\mathbf0),T(\mathbf x)\bigr).
\]
Así, ORUGA Version II optimiza \((f_1,f_2)\) y ORUGA Version III optimiza \((f_1,f_2,f_3)\). La distancia semántica se mide con Word Mover’s Distance, formulada como un problema de transporte óptimo sobre distribuciones discretas inducidas por embeddings.

La tubería algorítmica consta de preprocesamiento, representación cromosómica, evaluación de aptitud, operadores genéticos, elitismo y criterio de parada. En preprocesamiento se tokeniza el texto y se excluyen nombres propios, preposiciones y *stop words*. Las listas de sinónimos se construyen con WordNet API, vecinos de *word2vec* y *web scraping* de tesauros en línea. La evaluación usa una GA monobjetivo o NSGA-II; la selección es por torneo o por *rank-and-crowding-distance*; el cruce es de un punto; la mutación reemplaza aleatoriamente el valor de un gen por otro índice válido. El trabajo usa PyGAD para el caso monobjetivo, jMetalPy para NSGA-II y Gensim para WMD, con población de \(20\), \(10\) padres para apareamiento, \(300\) generaciones en monobjetivo y \(900\) en multiobjetivo.

La validación experimental se realizó sobre diez fragmentos de Wikipedia, elegidos de forma semi-aleatoria, en categorías de ciencia, historia, geografía, deportes e ingeniería. Los textos tenían niveles originales de FKGL entre \(9\) y \(18\); para SMOG, los textos cortos se duplicaron hasta alcanzar \(30\) frases. En minimización monobjetivo de FKGL, con \(100\) ejecuciones por biblioteca de sinónimos, WordNet produjo mejoras de grado entre \(0.77\) y \(2.73\), con mediana \(1.63\); *word2vec* produjo entre \(0.42\) y \(3.90\), con mediana \(0.96\) y alta varianza; *web scraping* produjo entre \(1.02\) y \(4.20\), con mediana \(1.61\) y comportamiento descrito como consistente. Para los diez textos, las mejoras absolutas medias \(\pm\) desviación estándar en FKGL estuvieron entre \(0.73\pm0.17\) y \(2.53\pm0.15\).

En los experimentos de maximización, el trabajo afirma que generalmente fue más fácil aumentar el grado de dificultad que reducirlo; se observaron incrementos de hasta \(4\)–\(5\) GL en ARI y FKGL. En la formulación biobjetivo, las fronteras de Pareto muestran que \(5\)–\(13\) reemplazos pueden rendir \(2\)–\(3\) GL de mejora en FKGL; los puntos conservadores usan \(5\)–\(6\) reemplazos para ganancias de \(\sim0.8\)–\(1.1\) GL, mientras que los puntos agresivos usan \(12\)–\(13\) reemplazos para \(\sim2.5\)–\(2.7\) GL. En la formulación triobjetivo, las soluciones no dominadas demuestran que un texto puede optimizarse en \(\sim7\)–\(9\) GL con \(\mathrm{WMD}<0.15\) y \(\le15\) reemplazos; un ejemplo geográfico reduce FKGL de \(10.72\) a \(9.61\) con \(13\) reemplazos y distancia semántica \(\approx0.11\).

El artículo identifica limitaciones claras. Algunas sustituciones rompen gramática, en particular tiempo verbal o pluralidad, por lo que se propone un *post-processing grammar-checker*. También se señala que las fórmulas simples de legibilidad no capturan dificultad contextual profunda y que WMD es computacionalmente costoso, con caso peor \(O(u^3\log u)\). Como línea futura, se propone el uso de BERT para sinónimos contextuales. El código se distribuye bajo licencia MIT en un repositorio público y depende de Python 3.7+, PyGAD, jMetalPy, Gensim y NLTK.

## 5. Oruga como implementación de Representational Systems Theory

En “Oruga: An Avatar of Representational Systems Theory”, Oruga es un sistema simbólico cuyo objetivo es materializar la Representational Systems Theory (RST) surgida del proyecto rep2rep [2509.04041]. El problema que RST intenta capturar es doble: describir la estructura interna de representaciones heterogéneas —fórmulas aritméticas, sentencias en lenguaje natural, diagramas geométricos, dot-diagrams, Euler diagrams— y formalizar transformaciones sistemáticas entre ellas. El concepto organizador es el de *construction space*, un grafo en el que los vértices son tokens y las aristas registran cómo tokens mayores se construyen a partir de otros menores.

La capa formal mínima se apoya en un sistema de tipos \((Ty,\le)\), una especificación de constructores \((Co,\sigma)\) con
\[
\sigma(c)=([\tau_1,\ldots,\tau_n],\tau_{\mathrm{out}}),
\]
y un *construction space*
\[
(Ty,Co,G),
\]
donde \(G\) contiene todas las construcciones finitas bien tipadas obtenidas por aplicación reiterada de constructores. Dentro de este marco, una *construction* es un DAG finito, enraizado y tipado; un *pattern* es una construcción con hojas especificadas sólo por tipo; y un *transfer schema* es una regla de inferencia que relaciona un patrón fuente con un patrón objetivo junto con condiciones laterales expresadas como relaciones de representación.

La arquitectura del sistema tiene tres niveles: estructuras de datos del núcleo, un lenguaje específico de dominio para declarar esos objetos y un motor de *structure transfer*. La interfaz es textual y acepta bloques `typeSystem`, `conSpec`, `construction`, `pattern` y `tSchema`. El artículo proporciona ejemplos explícitos de una jerarquía de tipos aritmética, de constructores como `infixOp`, `infixRel` e `implicitMult`, y de esquemas de transferencia como `plusJoin`, que mapea una expresión \(n+p+m\) en el espacio aritmético a una construcción binaria `join` en el espacio de dot-diagrams.

El método operativo es una búsqueda *backward-chaining* sobre esquemas de transferencia. Dado un objetivo del tipo `([tokenList_A],[tokenList_B]) :: relation`, el motor intenta emparejarlo con el patrón objetivo de un esquema, instancia los antecedentes y resuelve recursivamente las sub-metas. Si una restricción terminal ya está satisfecha por una construcción conocida en \(G\), la recursión se detiene; si falla, el sistema retrocede y prueba otro esquema. El artículo presenta pseudocódigo de esta rutina `Transfer(goal : Constraint)` y enfatiza que el resultado puede ser un árbol de prueba junto con nuevas construcciones en el espacio objetivo.

El ejemplo trabajado es la representación diagramática de \(1+2+3\). Oruga identifica primero que \(1+2+3\) está construido por `infixOp` a partir de \(1+2\) y \(3\); luego aplica el esquema `plusJoin` para generar subobjetivos `rep(1+2,a)`, `rep(3,b)` y `disj(a,b)`, con meta `d = join(a,b)`. La recursión vuelve a aplicar `plusJoin` sobre \(1+2\), resolviendo los casos base mediante un punto singleton y un par de puntos. El resultado final es un triángulo de seis puntos \(\oT\), y el sistema lo identifica con la construcción asociada también a \(3(3+1)/2\), obteniendo lo que el artículo llama una *graphical proof* de la fórmula de Gauss.

El sistema demuestra implementabilidad de RST, pero sus límites también están explicitados. Todos los *transfer schemas* deben ser proporcionados por el usuario; no hay inducción ni aprendizaje. La búsqueda es un *naive backward-chaining* y puede sufrir explosión combinatoria. Además, cada espacio de construcción debe ser inicializado con constructores base para tokens atómicos. El artículo sugiere tres direcciones: modelado de analogía y cognición, herramientas educativas con interfaz gráfica y razonamiento heterogéneo automatizado entre notaciones especializadas. En este contexto, “Oruga” funciona como símbolo de transformación representacional más que como mecanismo de locomoción.

## 6. El grafo \(s\)-oruga en combinatoria y geometría de poliedros

En “Combinatorics of Permutreehedra and Geometry of \(s\)-Permutahedra”, el término aparece como \(s\)-oruga, un grafo dirigido cuya flow polytope realiza el \(s\)-weak order y el \(s\)-permutahedron cuando \(s\) es una composición [2310.19732]. Dada una composición \(s=(s_1,s_2,\dots,s_k)\), el grafo
\[
G_s^{\mathrm{oruga}}=(V,E)
\]
tiene vértices \(V=\{v_0,v_1,\dots,v_k,v_{k+1}\}\), con \(v_0\) como fuente y \(v_{k+1}\) como sumidero. Para cada \(i=1,\dots,k\), se introducen \(s_i\) arcos paralelos \(v_{i-1}\to v_i\) y un arco \(v_{i+1}\to v_i\), así como sus familias duales inversas \(v_i\to v_{i-1}\) y \(s_i\) copias de \(v_i\to v_{i+1}\). Por construcción,
\[
\indeg(v_i)=s_i+1,\qquad \outdeg(v_i)=s_i+1
\]
para cada vértice interno \(v_i\). El grafo se equipa con un *natural framing* que ordena primero las aristas procedentes de la izquierda y luego la arista procedente de la derecha.

La flow polytope asociada se define con vector de flujo neto
\[
a=(1,0,0,\dots,0,-1)
\]
y condiciones de conservación
\[
\mathcal F_s=
\Bigl\{
f:E\to\mathbb R_{\ge0}\,\Bigm|\,
\sum_{e\to v_i} f(e)+a_i=\sum_{v_i\to e} f(e)
\Bigr\}.
\]
Equivalentemente, si \(M\) es la matriz de incidencia, entonces
\[
\mathcal F_s=\{f\in\mathbb R_{\ge0}^m\mid Mf=a\}.
\]
La fuente \(v_0\) tiene flujo neto \(+1\), el sumidero \(v_{k+1}\) tiene \(-1\) y los vértices restantes tienen flujo neto nulo. Esta definición conecta de forma explícita la estructura del grafo con la teoría de flow polytopes.

El punto central es la biyección entre flujos enteros de \(\mathcal F_s\), Stirling \(s\)-permutations y \(s\)-decreasing trees. Dada una Stirling \(s\)-permutation \(\pi\), el flujo \(f_\pi\) se obtiene contando cuántas ocurrencias de \(i\) aparecen antes de la primera ocurrencia de \(i+1\) y asignando ese total a los arcos \(v_{i-1}\to v_i\), con el complemento \(s_i-f_\pi(v_{i-1}\to v_i)\) en \(v_{i+1}\to v_i\). En sentido inverso, un flujo entero determina una multiset-permutation \(121\)-avoiding. Bajo esta correspondencia,
\[
f_{\pi'}\le f_\pi
\quad\Longleftrightarrow\quad
\pi'\trianglelefteq\pi
\quad\Longleftrightarrow\quad
T(\pi')\preceq T(\pi),
\]
lo que identifica el orden parcial sobre flujos con el \(s\)-weak order sobre permutaciones y árboles. Las cubiertas corresponden a aumentar en una unidad el flujo de una copia de \((v_{i-1}\to v_i)\) cuando no está saturada en \(s_i\).

El trabajo también relaciona la estructura facial de \(\mathcal F_s\) con el \(s\)-permutahedron. Afirma que la face-lattice de \(\mathcal F_s\) admite una regular triangulation —la DKK-triangulation— cuyas maximal simplices están en biyección con rutas, y por esa vía con \(s\)-permutations. Más generalmente, la envolvente convexa de los puntos enteros de cada celda produce una subdivisión politopal cuyo dual-poset es isomorfo, mediante un mapa que invierte inclusión, a la face-lattice del \(s\)-permutahedron. La prueba esbozada invoca el marco de Danilov–Karzanov–Koshevoy, reducciones de Postnikov–Stanley y el Cayley trick.

El ejemplo \(s=(1,2,1)\) concreta el formalismo. El grafo \(G_s^{\mathrm{oruga}}\) tiene vértices \(v_0,v_1,v_2,v_3,v_4\), doce arcos y flow polytope de dimensión \(12-5+1=8\). El número de puntos enteros de \(\mathcal F_s\) es seis, exactamente el número de permutaciones \(121\)-avoiding del multiconjunto \(\{1^1,2^2,3^1\}\). Esos seis vértices corresponden a
\[
\{12231,21231,22131,22311,23211,32211\}.
\]
La DKK-triangulation produce seis top-símplices etiquetados por esas mismas permutaciones, y el grafo dual recupera el diagrama de Hasse del \((1,2,1)\)-weak order. Aquí “oruga” no tiene un sentido robótico ni algorítmico, sino el de un patrón de conectividad dirigido que organiza la realización geométrica del orden débil generalizado.

En conjunto, estas acepciones muestran que “oruga” opera en arXiv como un nombre transversal para dispositivos de locomoción, sistemas de transformación, métodos de optimización y objetos combinatorios. Esa dispersión semántica no es accidental: en todos los casos, el término se asocia a trayectorias, cambios de estado o transferencia entre configuraciones, aunque cada disciplina formaliza esa intuición con herramientas completamente distintas.

Source: https://www.emergentmind.com/topics/oruga