🔢 matemáticas

Tandem Queues with Hybrid Abandonment in Heavy Traffic

Este artículo proporciona la primera caracterización de tráfico pesado de una cola en tándem de dos etapas con abandono solo en la primera etapa, demostrando que la longitud de la cola de la segunda etapa es asintóticamente exponencial e independiente de la primera etapa mediante la extensión de las técnicas de procesos de llegada markovianos a sistemas de abandono híbrido.

Autores originales: Cameron Curtis, Izzy Grosof, Seyed Iravani

Publicado 2026-10-23

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Cameron Curtis, Izzy Grosof, Seyed Iravani

Artículo original bajo licencia CC BY 4.0 (https://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

En el mundo del servicio y la logística, los sistemas suelen diseñarse como una serie de pasos, donde un cliente o una pieza de trabajo se mueve de una estación a la siguiente. Piense en una cafetería donde primero espera en fila para pedir y luego espera de nuevo a que su bebida sea preparada. En muchas situaciones del mundo real, las personas no esperan para siempre; si la fila es demasiado larga o la espera demasiado tediosa, pueden abandonar el sistema por completo antes de recibir el servicio. Este acto de irse se conoce como abandono. Durante décadas, los investigadores que estudian estos sistemas se han centrado principalmente en dos escenarios extremos: o nadie abandona nunca la fila, o todos tienen permitido irse en cada una de las etapas. Sin embargo, la realidad suele ser más matizada. En muchos sistemas, la capacidad de irse cambia dependiendo de dónde se encuentre uno en el proceso. Un cliente podría estar dispuesto a marcharse mientras espera para pedir, pero una vez que el barista ha comenzado a preparar la bebida, es poco probable que se vaya. Del mismo modo, un paciente podría cancelar una cita mientras está en una lista de espera, pero una vez que la cirugía está programada, rara vez abandona el cuidado de seguimiento. Comprender cómo se comportan estos sistemas mixtos, especialmente cuando están bajo una fuerte presión, ha seguido siendo un rompecabezas difícil para matemáticos e ingenieros.

Un equipo de investigadores de la Universidad de Northwestern finalmente ha resuelto este rompecabezas para un tipo de sistema específico y común. Se centraron en un proceso de dos etapas donde los artículos pueden abandonar la primera etapa pero quedan bloqueados una vez que alcanzan la segunda. Para entender qué sucede cuando un sistema así se ve desbordado, los investigadores analizaron qué ocurre cuando la llegada de nuevos artículos es tan alta que los servidores están ocupados casi todo el tiempo. En este estado de tráfico intenso, el sistema se comporta de una manera sorprendentemente simple y predecible. El equipo descubrió que el número de artículos esperando en la segunda etapa sigue un patrón específico: se distribuye de una manera matemáticamente idéntica a un proceso aleatorio donde la probabilidad de tener un cierto número de artículos disminuye de forma constante, de forma muy similar a cómo la probabilidad de lanzar una moneda y obtener caras muchas veces seguidas disminuye con cada lanzamiento. Más importante aún, descubrieron que la longitud de la primera cola y la longitud de la segunda cola se vuelven completamente independientes entre sí. Aunque la primera cola alimenta a la segunda, una vez que el sistema está bajo una carga pesada, el número de personas esperando para pedir no dice nada sobre cuántas personas están esperando sus bebidas.

Para llegar a esta conclusión, los investigadores tuvieron que desarrollar nuevas herramientas matemáticas porque los métodos existentes no podían manejar la complejidad de un sistema donde la "fase" del proceso de llegada —el estado de la primera cola— tiene un número infinito de posibilidades. Trataron la primera cola no solo como una fila de espera, sino como una máquina compleja que controla el flujo de artículos hacia la segunda cola. Al analizar esta máquina, demostraron que a medida que el sistema se vuelve más ocupado, el comportamiento de la segunda cola se estabiliza en una forma predecible. Demostraron que el promedio de artículos en la segunda cola puede estimarse con una fórmula simple que depende únicamente de qué tan cerca esté el sistema de estar completamente lleno. Esta fórmula funciona porque las fluctuaciones caóticas de la primera cola se diluyen efectivamente, dejando que la segunda cola se comporte por su cuenta.

Los investigadores no se detuvieron en la prueba teórica; probaron sus hallazgos contra simulaciones del mundo real para ver si las matemáticas se sostenían en la práctica. Realizaron miles de experimentos computacionales con diferentes velocidades de servicio y diferentes tasas de abandono. Los resultados fueron impactantes. Incluso cuando el sistema no estaba en el límite extremo de estar totalmente cargado, sino más bien en un nivel de tráfico alto pero manejable, su fórmula simple proporcionó una estimación increíblemente precisa del promedio de espera. En sus pruebas, cuando el sistema estaba ocupado el ochenta por ciento del tiempo, la diferencia entre su promedio predicho y el promedio real era de menos de un cliente. A medida que el sistema se volvía más ocupado, el error relativo se reducía a menos del uno por ciento. Además, las simulaciones confirmaron que las dos colas se comportaban, de hecho, de manera independiente, con la correlación entre ellas cayendo a casi cero a medida que la carga aumentaba.

Este descubrimiento ofrece una nueva y poderosa herramienta para los gerentes e ingenieros que diseñan estos sistemas. Debido a que la segunda cola se comporta de manera independiente y predecible, resulta mucho más fácil decidir cuánta capacidad construir. Por ejemplo, un gerente que intenta determinar cuántos servidores contratar para la segunda etapa de un proceso puede ahora utilizar un cálculo directo para equilibrar el costo de contratar más personal frente al costo de los clientes esperando. Los investigadores encontraron que el uso de su fórmula simplificada para tomar estas decisiones resultaba en un costo virtualmente idéntico al costo de usar una simulación perfecta y compleja. La única diferencia fue que el método simplificado sobreestimaba ligeramente el costo, lo que conducía a una capacidad adicional, pero esta sobreestimación era tan pequeña —menos del uno por ciento del costo total— que es insignificante en la práctica.

El trabajo representa un paso significativo hacia la comprensión de cómo funcionan los sistemas complejos de múltiples etapas bajo presión. Al demostrar que un sistema híbrido con reglas de abandono mixtas se comporta con tal regularidad, los investigadores han proporcionado un camino claro para diseñar redes de servicio más eficientes. Ya sea un hospital gestionando el flujo de pacientes, una fábrica procesando materias primas o un banco manejando transacciones, la idea de que la segunda etapa puede analizarse en sus propios términos ofrece una forma de simplificar problemas complejos. El estudio confirma que incluso en sistemas donde las personas o los artículos pueden irse en diferentes puntos, el caos de la primera etapa no necesariamente se traslada en cascada a la segunda. En cambio, bajo un tráfico intenso, el sistema se asienta en un estado de calma predictibilidad, permitiendo una mejor planificación y un servicio más confiable.

Resumen Técnico: Colas en Tándem con Abandono Híbrido en Tráfico Pesado

Planteamiento del Problema
El artículo aborda una laguna en la literatura existente sobre sistemas de colas en tándem con abandono. Mientras que los análisis previos de tráfico pesado se han centrado mayoritariamente en sistemas donde los trabajos abandonan de ninguna etapa o de todas las etapas, los sistemas del mundo real suelen presentar un "abandono híbrido", donde los trabajos pueden abandonar en las etapas tempranas pero no en las etapas posteriores. Ejemplos incluyen clientes que abandonan la fila de una cafetería antes de pedir, pero no después; o pacientes quirúrgicos que abandonan una lista de espera antes de la cirugía, pero no después. Los autores investigan específicamente una cola en tándem de dos etapas donde el abandono ocurre únicamente en la primera etapa. El desafío es que las técnicas de tráfico pesado existentes para colas en tándem (por ejemplo, redes de Jackson o redes con abandono en todas las estaciones) no se generalizan fácilmente a esta estructura híbrida, particularmente porque el proceso de llegada de la segunda cola está impulsado por el proceso de salida de la primera cola, el cual es en sí mismo un proceso estocástico complejo que involucra el abandono.

Metodología
Para analizar este sistema, los autores generalizan la cola en tándem de abandono híbrido en una clase más amplia de modelos: colas de Proceso de Llegada de Markov de Fase Infinita (IMAP, por sus siglas en inglés). En este marco, la longitud de la primera cola sirve como el "proceso de fase" ( $Y$ ) que modula las llegadas a la segunda cola ( $Q$ ). Dado que la primera cola puede crecer teóricamente hasta el infinito, el proceso de fase tiene un espacio de estados contablemente infinito.

El análisis procede a través de los siguientes pasos metodológicos:

Régimen de Tráfico Pesado: Los autores consideran una secuencia de sistemas donde la tasa de llegada se acerca a un umbral crítico tal que la ociosidad de la segunda cola ( $\epsilon$ ) se aproxima a cero.
Matriz Casi-Inversa: Introducen una matriz "casi-inversa" $R$ para la matriz generadora del proceso de fase. Esta matriz permite "deshacer" los efectos del generador en las ecuaciones de equilibrio, facilitando la derivación de resultados asintóticos.
Análisis de Transformada Z: Los autores utilizan transformadas z parciales para caracterizar la distribución conjunta del proceso de fase y la longitud de la cola. Derivan ecuaciones de "casi-independencia" y "casi-exponencialidad" que relacionan el estado del sistema con la matriz casi-inversa.
Condiciones de Cola Ligera: Definen un conjunto de condiciones suficientes (denominadas "proceso de fase de cola ligera") bajo las cuales las ecuaciones de casi-independencia y casi-exponencialidad convergen a la verdadera independencia y exponencialidad asintótica.
Especialización a Procesos de Nacimiento-Muerte: Para el caso específico de procesos de fase de nacimiento-muerte (que incluye el modelo de abandono híbrido), demuestran que la "limitación de tasa" y la "estabilidad uniforme" son suficientes para satisfacer las condiciones de cola ligera.
Validación Empírica: Los autores realizan simulaciones numéricas para probar la precisión de sus aproximaciones de tráfico pesado fuera del régimen asintótico, examinando específicamente la precisión de la longitud media de la cola, la correlación entre etapas, el ajuste de la distribución y la aplicación a la planificación de capacidad.

Contribuciones Clave y Resultados
El artículo proporciona la primera caracterización de tráfico pesado de la longitud de la segunda cola en una cola en tándem de dos etapas con abandono solo en la primera etapa. Los principales resultados teóricos son:

Independencia y Exponencialidad Asintótica: Los autores demuestran que en el límite de tráfico pesado ( $\epsilon \to 0$ ), la longitud de la segunda cola escalada ( $\epsilon Q$ ) se distribuye asintóticamente de forma exponencial y es asintóticamente independiente de la longitud de la primera cola (el proceso de fase).
Resultados Generales de IMAP: Establecen el Teorema 1, mostrando que para colas IMAP generales con un proceso de fase de "cola ligera", la longitud de la cola escalada converge a una distribución exponencial con una media específica $M(0)$ .
Condiciones de Nacimiento-Muerte: El Teorema 2 proporciona condiciones de suficiencia más fáciles de verificar (estabilidad uniforme y limitación de tasa) para que los procesos de fase de nacimiento-muerte satisfagan los requisitos de cola ligera.
Aplicación al Abandono Híbrido: El Teorema 3 aplica estos resultados generales a la cola en tándem de abandono híbrido, demostrando que cumple con las condiciones necesarias. Consecuentemente, la longitud de la segunda cola escalada tiene una media de $M(0)$ y sigue una distribución exponencial, independiente de la primera cola.

Hallazgos Empíricos
El estudio numérico en la Sección 6 demuestra que estas aproximaciones de tráfico pesado son útiles incluso cuando el sistema no se encuentra en el límite asintótico estricto (es decir, para cargas $\rho \ge 0.8$ ):

Precisión de la Media: La aproximación para la media de la longitud de la segunda cola, $E[Q_2] \approx M(0)/(1-\rho)$ , es altamente precisa. Si bien el error absoluto permanece aproximadamente constante (alrededor de -0.75 trabajos), el error relativo disminuye significamente a medida que la carga aumenta (de -17% en $\rho=0.8$ a -0.9% en $\rho=0.99$ ).
Independencia: La correlación empírica entre las longitudes de la primera y la segunda cola es insignificante (magnitud < 0.1) y disminuye a medida que la carga aumenta, lo que respalda la afirmación de independencia asintótica.
Ajuste de la Distribución: La longitud escalada $(1-\rho)Q_2$ es bien aproximada por una distribución exponencial, aunque la longitud no escalada $Q_2$ se aproxima mejor mediante una distribución geométrica.
Gestión de Capacidad: Cuando se aplica a un problema de selección de capacidad óptima, la aproximación de tráfico pesado produce un nivel de capacidad muy cercano al óptimo real, resultando en un costo excesivo relativo extremadamente bajo (por debajo del 0.6%), a pesar de que la aproximación sobreestima consistentemente el costo total del sistema.

Significancia
El artículo afirma su importancia principalmente por proporcionar el primer análisis riguroso de tráfico pesado para sistemas de abandono híbrido, una clase de modelos prevalentes en sistemas médicos, de servicio y computacionales que anteriormente no habían sido analizados en este régimen. Al extender las técnicas de procesos de llegada de Markov a sistemas de fase infinita, los autores ofrecen una caracterización estructural (exponencialidad y la independencia asintóticas) que simplifica la comprensión de redes en tándem complejas. Además, los resultados empíricos sugieren que estas fórmulas asintóticas sirven como herramientas prácticas y precisas para la toma de decisiones gerenciales (como la planificación de capacidad) en entornos de alta carga, incluso antes de que el sistema alcance el límite teórico. El trabajo también abre vías para la investigación futura en procesos de servicio de Markov infinitos y redes de colas más complejas.

Más como este