Zusammenfassung

  • Proportionale Fairness bedeutet nicht gleiche Raten. Sie vergleicht eine zulässige Zuteilung mit jeder zulässigen Alternative und prüft, ob die Summe der relativen Änderungen positiv werden kann. Ein einzelner Strom sieht diesen Vergleich nicht.
  • Kellys Modell von 1997 trennte privaten Nutzen und gemeinsame Kapazitätsgrenzen. 1998 verbanden Frank Kelly, Aman Maulloo und David Tan ein gewichtetes logarithmisches Ziel mit dezentralen primalen und dualen Regelkreisen.
  • Schattenpreise und Lyapunov-Stabilität sind Belege innerhalb eines begrenzten Modells. Ohne Flussidentität, Gewicht, Route, Kapazität, Verzögerung und Störung beweisen sie weder eine reale Rechnung noch universelle Betriebsstabilität.

Die eigene Rate enthielt keinen Gegenentwurf

Zwei elastische Ströme teilen einen Engpass. Einer erhält sechs Rateneinheiten, der andere vier. Beide können ihren Wert messen. Keiner kennt dadurch alle übrigen Vektoren, die sämtliche Kapazitätsgrenzen einhalten.

Das Kriterium beginnt mit einer zulässigen Zuteilung. Für jede andere zulässige Zuteilung wird bei jedem Strom die Differenz durch seine Ausgangsrate geteilt. Ist die Summe dieser relativen Änderungen bei keiner Alternative positiv, heißt der ursprüngliche Vektor proportional fair.

„Proportional“ bezeichnet die Änderung, nicht das Aussehen der Anteile. Bei einem einzigen Engpass und gleichen Gewichten kann die Lösung gleiche Raten liefern. Mehrere überlappende Ressourcen, unterschiedliche Routen oder Gewichte verändern jedoch den zulässigen Raum. Sichtbare Gleichheit ist weder Definition noch Garantie.

Darum umfasst der Nachweis den gesamten Vektor, die Route-Ressource-Matrix, den Kapazitätszustand und die Identitätsregel. Kann ein Akteur zehn Verbindungen eröffnen, während ein anderer in einem Tunnel zusammengefasst wird, ist die Verteilungsfrage bereits vor dem ersten Regelschritt verschoben.

Das Modell von 1997 verlangte keine zentrale Gedankenleserin

In Charging and rate control for elastic traffic beschreibt Kelly den Wert einer anpassbaren Rate durch eine steigende, streng konkave Nutzenfunktion. Routen verbrauchen endliche Kapazitäten. Das Systemproblem maximiert den Gesamtnutzen unter diesen Grenzen.

Entscheidend ist die Zerlegung. Der Nutzer löst angesichts eines Preises ein lokales Problem; das Netz verteilt unter seinen Kapazitätsbedingungen. Lagrange-Multiplikatoren vermitteln. Für einen Link kann ein Multiplikator als impliziter Preis einer zusätzlichen Flusseinheit oder als Schattenpreis weiterer Kapazität gelesen werden.

Die Arbeit untersucht außerdem eine Fassung, in der ein Nutzer seine Zahlung pro Zeiteinheit wählt und das Netz die Rate bestimmt. Im Gleichgewicht sind die Raten pro Zahlungseinheit proportional fair und das Systemoptimum entsteht.

Der Schattenpreis ist zunächst aber eine Optimierungsvariable, keine Endkundenrechnung. Das Gleichgewicht beweist nicht, dass reale Nutzer eine stabile Nutzenfunktion offenlegen oder ein bestimmtes Tarifmodell akzeptieren. Die Zerlegung schützt private Präferenzen vor einem allwissenden Zentrum, verlangt dafür aber klare Bedeutungen für Gewicht, Preis und Identität.

Zwei lokale Schleifen zielten auf dasselbe Ganze

Die Arbeit von 1998 ist von Frank Kelly, Aman Maulloo und David Tan gemeinsam verfasst. Ihr Netzwerkproblem maximiert die gewichtete Summe logarithmischer Raten unter Kapazitätsgrenzen. Der Logarithmus macht relative Veränderungen sichtbar; Ressourcenrestriktionen erscheinen als Schattenpreise entlang einer Route.

Eine zentrale Lösung bräuchte den vollständigen Zustand und Kommunikationswege, die selbst Verzögerungen und Ausfällen ausgesetzt wären. Die Autoren untersuchen deshalb zwei dezentrale Familien.

Beim primalen Algorithmus erzeugen Ressourcen mit wachsender Last Überlastungshinweise. Quellen erhöhen ihre Rate und reduzieren sie als Reaktion auf empfangene Signale. Die Mittelung liegt vor allem an den Endpunkten. Die Nähe zu additiver Erhöhung und multiplikativer Verringerung ist informativ, ohne jede reale TCP-Implementierung mit dem Differentialgleichungssystem gleichzusetzen.

Beim dualen Algorithmus ändert die Ressource ihren Schattenpreis entsprechend der Überschussnachfrage. Eine Route reagiert auf die Summe der Preise ihrer Ressourcen. Ökonomisch ist das eine Preisanpassung, regelungstechnisch eine explizite Rückkopplung.

Die Nachweise unterscheiden sich. Primal müssen Signalquelle, Zeitpunkt und Endpunktreaktion verknüpft werden. Dual braucht man Lastschätzung, Ressourcenpreis, Routensumme und resultierende Rate. Derselbe Enddurchsatz kann aus sehr verschiedenen Kontrollflächen stammen.

Der Stabilitätsbeweis behielt seinen Rand

Unter angegebenen Regularitätsbedingungen konstruieren Kelly, Maulloo und Tan eine Lyapunov-Funktion. Das Differentialgleichungssystem bewegt sich auf einen stabilen Punkt zu, der mit dem gelockerten Optimierungsproblem zusammenhängt. Die globale Ordnung erhält damit einen mathematischen Zeugen.

Die erste Fassung lässt zufällige Störungen und Zeitverzögerungen aus; die Arbeit untersucht beides anschließend in der Nähe des Gleichgewichts. Höhere Verstärkung kann die Konvergenz beschleunigen und zugleich die Streuung vergrößern. Bei Verzögerungen kann eine steilere Reaktion Stabilität gefährden. Nichtmonotone Preisfunktionen können mehrere stationäre Punkte erzeugen.

Kellys spätere Übersicht betont die Informationsgrenze eines Stroms: Er kennt seine Überlastungserfahrung und Rückmeldezeit, aber weder die Zahl der Mitnutzer noch unbedingt alle Ressourcen seines Pfads. Verzögerungs- und stochastische Instabilität folgen unterschiedlichen Mechanismen.

Eine Lyapunov-Funktion ist daher ein Beleg für die spezifizierte Dynamik, nicht für beliebige Produktionsnetze. Reale Warteschlangen, heterogene RTTs, kurze Flüsse, Routenwechsel, Messfehler und strategische Sender werden nicht automatisch erfasst. Ein korrektes Gleichgewicht kann für eine bereits beendete Übertragung zu spät kommen.

Die Einheit der Fairness verteilte bereits Macht

Nach Festlegung der Subjekte kann die Formel Raten vergleichen. Sie entscheidet nicht, ob das Subjekt Verbindung, Person, Anwendung, Haushalt, Unternehmen oder Route sein soll. Diese Granularität bestimmt, wie viele Anteile ein Akteur beanspruchen kann.

Auch Gewichte sind keine Naturwerte. Sie können Zahlung, Priorität oder einen kooperativen Ressourcenanspruch ausdrücken. Eine Zuteilung kann bezüglich veröffentlichter Gewichte proportional fair sein und dennoch undurchsichtig bleiben, wenn deren Entstehung verborgen ist.

Eine Prüfung muss mathematische und reale Identität verbinden: Wer darf Flüsse erzeugen? Wann werden sie zusammengefasst? Wer setzt Gewichte? Welcher Routen- und Kapazitätsstand definiert die Zulässigkeit? Ändert sich der laufende Zustand, beschreibt der alte Beweis nicht mehr die Gegenwart.

Diese Grenze ist kein Mangel. Sie verhindert, dass ein präzises Kriterium zur selbsternannten moralischen Instanz wird. Proportionale Fairness beantwortet eine bedingte Frage; sie wählt nicht die legitimen Anspruchsberechtigten.

Kelly verband Ziel, Signal und laufende Reaktion

Die Royal Society ordnet Frank Kellys Arbeit Zufallsprozessen, Netzen, Optimierung und Selbstregulierung großer Systeme zu. Seine Netzforschung verband den ökonomischen Begriff von Nutzen und Knappheit, die Mathematik der Nebenbedingungen und die Technik von Rückkopplung und Stabilität.

Die Urheberschaft bleibt kollektiv. Die Arbeit von 1998 gehört Kelly, Maulloo und Tan. Frühere Überlastungsregelung und spätere Netzwerk-Nutzenmaximierung stammen von einer größeren Gemeinschaft. Ein Personenprofil darf Zusammenarbeit nicht in Alleinbesitz umschreiben.

Heng Lus späteres Prinzip der Minimum Initial Specification ist eine heutige Analyselinse, keine historische Quelle. Teilnehmer brauchen gemeinsame Mindestbedeutungen für Identität, Kapazität, Signal und Kompatibilität. Sie müssen nicht jede lokale Präferenz an eine Zentrale übergeben oder denselben Regler dauerhaft übernehmen. Änderung wird durch Implementierung, Prüfung und freiwillige Annahme real.

Kellys bleibende Leistung ist kein Fairness-Siegel. Sie ist eine Methode, globale Eigenschaft und lokale Reaktion zu verbinden und dabei die Belege einzufordern: Wer wurde gezählt, welche Alternativen waren zulässig, welche Gewichte und Grenzen galten, welche Signale bewegten die Raten und was geschah vor dem Gleichgewicht? Fehlen diese Angaben, ersetzt das Etikett den Versuch.

Quellen