Resumen

  • Una asignación es proporcionalmente equitativa si ninguna alternativa factible produce una suma positiva de cambios relativos frente a las tasas elegidas. La experiencia de una sola conexión no contiene esa comparación.
  • El modelo de Kelly de 1997 separó utilidad privada y capacidad de red. En 1998, Frank Kelly, Aman Maulloo y David Tan mostraron cómo algoritmos primales y duales descentralizados podían aproximar el objetivo logarítmico ponderado.
  • Un precio sombra no es necesariamente una factura y una función de Lyapunov no certifica cualquier despliegue. La afirmación depende de quién cuenta como flujo, qué pesos y capacidades se fijaron y cómo se comportan el ruido, el retardo y las reacciones locales.

La tasa propia no contenía el contrafactual

Supongamos que una transferencia obtiene seis unidades y otra cuatro al atravesar un recurso común. Cada una conoce su tasa. Ninguna ve por sí sola la región completa de asignaciones que respetan todas las capacidades. Sin esa región no puede saber si existe un cambio que mejore el balance agregado de ganancias y pérdidas relativas.

La equidad proporcional define precisamente esa prueba. Se parte de una asignación factible. Para cualquier alternativa también factible, se calcula el cambio de cada flujo dividido por su tasa en la asignación elegida. Si la suma nunca es positiva, el vector inicial cumple el criterio.

La palabra “proporcional” se refiere a esas variaciones normalizadas. No significa que toda conexión reciba la misma cantidad ni que el reparto sea proporcional a la velocidad de acceso. En un único cuello de botella con pesos iguales, el resultado puede coincidir con tasas iguales. En una red con rutas distintas, recursos solapados o pesos diferentes, la geometría cambia.

Por eso la prueba pertenece al sistema. Hay que conservar las tasas, la matriz que relaciona rutas y recursos, las capacidades y la regla con la que se decidió qué era un flujo. Si un usuario puede abrir diez conexiones mientras otro aparece agregado en una, el objeto de la equidad ya ha cambiado.

La utilidad del usuario no tenía que vivir en un ordenador central

En Charging and rate control for elastic traffic, Kelly representa el valor que un usuario atribuye a una tasa mediante una función creciente y estrictamente cóncava. Las rutas consumen capacidades finitas. El problema del sistema busca maximizar la utilidad agregada sin violar esas restricciones.

La aportación organizativa es la descomposición. El usuario puede escoger su respuesta a un precio; la red puede resolver su propio reparto con información de capacidad. Los multiplicadores de Lagrange median entre ambos problemas. El multiplicador de un enlace expresa el coste implícito del flujo adicional o el precio sombra de añadir capacidad.

El artículo estudia una versión en la que el usuario elige un gasto por unidad de tiempo y la red distribuye tasas de modo que la tasa por unidad de gasto sea proporcionalmente equitativa. Cuando las dos decisiones alcanzan equilibrio, aparece el óptimo del sistema.

Ese resultado no describe automáticamente una política comercial. El precio sombra nace como variable de optimización. Puede inspirar una señal de escasez o una estructura de cobro, pero la ecuación no demuestra que haya dinero transferido. Tampoco prueba que un usuario real tenga una utilidad estable, conocida o bien representada por una función cóncava.

Dos mecanismos repartieron el cálculo

El trabajo de 1998, firmado por Kelly, Aman Maulloo y David Tan, toma como objetivo una suma ponderada de logaritmos de tasas. La derivada del logaritmo convierte el cambio absoluto en cambio relativo. Las restricciones de capacidad introducen precios sombra por recurso.

Resolver todo en un centro requeriría una visión completa y una comunicación que también sufriría retardos y fallos. Los autores proponen dos familias descentralizadas.

En la versión primal, los recursos generan indicaciones conforme aumenta la carga. Los extremos incrementan su tasa y la reducen al recibir congestión. El historial relevante viaja hacia la fuente. El parecido con aumento aditivo y reducción multiplicativa orienta la interpretación, pero el modelo no afirma que cada implementación de TCP reproduzca exactamente sus ecuaciones.

En la versión dual, el recurso modifica un precio sombra según la demanda excedente y el flujo responde a la suma de precios de su ruta. La red distribuye así el cálculo entre recursos y extremos. Un economista puede llamarlo ajuste de precios; un ingeniero, lazo de control.

El mismo caudal final puede ocultar procesos diferentes. Para auditar el algoritmo primal hacen falta marcas, tiempos y respuestas de la fuente. Para el dual hacen falta medidas de carga, precios por recurso, agregación de ruta y tasa explícita. Ver solo el resultado impide saber si el mecanismo que lo produjo era el prometido.

La estabilidad se demostró dentro de un perímetro

Con condiciones regulares sobre las funciones de respuesta, Kelly, Maulloo y Tan construyen una función de Lyapunov. El sistema de ecuaciones diferenciales avanza hacia un punto estable relacionado con el problema de optimización relajado. La propiedad global recibe así un testigo matemático.

El propio texto impide convertir ese testigo en garantía universal. El sistema inicial deja fuera perturbaciones estocásticas y retardos, y después examina ambos alrededor del equilibrio. Un aumento de ganancia puede acelerar la convergencia y ampliar la dispersión; la pendiente de la señal puede favorecer una métrica y desestabilizar el circuito cuando hay demora. Sin monotonicidad pueden aparecer varios puntos estacionarios o desaparecer el máximo interior.

La revisión posterior de Kelly desarrolla otra separación: la inestabilidad por retardo y la inestabilidad por ruido no responden a los mismos parámetros. Un flujo conoce su propia señal y su tiempo de retorno, pero no el número de rivales ni todos los enlaces que comparte.

Por tanto, la función de Lyapunov certifica el sistema que sus premisas describen. No certifica de una vez colas reales, llegadas de flujos, cambios de ruta, RTT heterogéneos, implementaciones defectuosas o extremos estratégicos. Incluso una convergencia correcta puede llegar demasiado tarde para una transferencia corta.

La fórmula no elegía quién era el usuario

Una vez definidos los sujetos, el criterio compara sus tasas. Pero no decide si el sujeto legítimo es una conexión, una persona, una aplicación, un hogar, una empresa o una ruta. Esa frontera es política y operativa. Cambiarla modifica el reparto sin tocar la función objetivo.

Los pesos añaden otra capa. Pueden representar gasto, prioridad o una participación cooperativa en recursos escasos. Una asignación puede ser proporcionalmente equitativa respecto a esos pesos y seguir siendo opaca si nadie conoce su origen. Transparencia algorítmica sin transparencia de pesos es una prueba incompleta.

La auditoría necesita un registro de identidad y agregación: quién podía crear flujos, cuándo se fusionaban, quién asignaba el peso y con qué derecho. También debe congelar las capacidades y rutas usadas para declarar factible una alternativa. Si la red en ejecución ya cambió, la demostración pertenece a otro estado.

La limitación es sana. Impide que una herramienta de análisis se transforme en una autoridad moral automática. La equidad proporcional responde una pregunta condicional muy precisa. No decide por sí misma quién merece figurar en ella.

Kelly conectó una meta global con recibos locales

La Royal Society describe la obra de Frank Kelly en procesos aleatorios, redes, optimización y autorregulación de sistemas grandes. Sus trabajos de redes unieron el lenguaje económico de utilidad y escasez, el lenguaje matemático de restricciones y el lenguaje de ingeniería de retroalimentación y estabilidad.

La historia debe conservar la autoría colectiva. El artículo de 1998 es de Kelly, Maulloo y Tan. El control de congestión que lo precede y la optimización de utilidad que lo siguió se construyeron entre muchas personas. Perfilar a Kelly no concede propiedad individual sobre ese campo.

El principio posterior de Minimum Initial Specification de Heng Lu funciona aquí como lente contemporánea. Los participantes necesitan un significado común mínimo para identidad, capacidad, señal y compatibilidad. No necesitan entregar toda preferencia local a un árbitro ni aceptar para siempre un controlador único. La adopción se prueba ejecutando, midiendo y pudiendo rechazar.

La lección final no cabe en la palabra “justo”. Una asignación global puede emerger de reacciones locales. Para demostrarla hay que guardar a quién se contó, cuáles eran las alternativas, qué pesos y límites regían, qué señales circularon y qué daño transitorio apareció antes del equilibrio. Sin esos recibos, el adjetivo sustituye al experimento.

Fuentes