摘要

  • 比例公平不是“大家一样快”，也不是一条流能从自身吞吐量中读出的属性。它把既定速率向量与所有可行替代方案比较，并检验各流相对变化之和是否可能为正。
  • Kelly 1997 年的模型把用户效用与网络容量约束拆开；1998 年 Kelly、Maulloo 和 Tan 则把加权对数目标连接到两类分布式速率控制：端点吸收拥塞反馈的 primal 路线，以及资源侧更新影子价格的 dual 路线。
  • 影子价格和 Lyapunov 稳定性是模型内的证据，不是现实部署的万能收据。流的身份、权重来源、路由与容量、反馈函数、随机扰动和时延都会决定结论还能证明什么。

每条流都只看见自己的分母

假设两条弹性流共享一个瓶颈，一条拿到六个速率单位，另一条拿到四个。前者知道“六”，后者知道“四”。它们都不知道，在全部容量和路由约束下，还有哪些分配方案可行。没有这个反事实集合，任何一方都无法判断当前结果是否具有比例公平性。

Kelly 的定义要求先固定一个可行速率向量，再取任意另一个可行向量。对每条流，用替代速率减去当前速率，再除以当前速率；把所有流的相对变化相加。如果没有任何替代方案能让总和大于零，当前向量才是比例公平的。

“比例”修饰的是变化，不是份额。某条流从二增加到三，和从二十增加到二十一，绝对增量相同，相对意义却不同。在单一瓶颈、等权重等简化条件下，比例公平可能恰好给出相等速率；到了多瓶颈、多路径或不同权重的网络，它不必长得“平均”。

因此，公平证明不能只保存一个吞吐数字。它需要完整速率向量、路由—资源矩阵、容量快照，以及“谁算一条流”的规则。如果同一主体可以拆成十条流，另一主体却被聚合成一条，优化问题在算法启动前就已经改变。

1997 年的拆分没有要求网络读心

在 Charging and rate control for elastic traffic 中，Kelly 用递增且严格凹的效用函数描述用户对可调速率的价值，用有限容量描述网络资源。系统问题是在不超过各项容量的条件下最大化总效用。

模型的重要处不只是“求最优”，而是把问题拆开。用户面对一个价格，解自己的局部选择；网络在容量约束下解分配问题。Lagrange 乘子把两端连接起来。对于某条链路，乘子既可解释为再增加一单位流量的隐含成本，也可解释为增加一点容量的影子价格。

论文还讨论用户选择单位时间支出、网络据此分配速率的版本。用户选择与网络分配达到均衡时，可以得到系统最优；按单位支出计算的速率满足加权的比例公平。

这里的“价格”首先是数学变量，不自动等于运营商账单。均衡也不证明现实用户会公开稳定效用，或认可某种收费制度。分解的价值正是网络不必收集所有私人效用；它的代价是权重、身份与价格语义必须公开，否则同一个公式可以为截然不同的分配制度服务。

两条局部反馈路径追同一个全局目标

1998 年论文由 Frank Kelly、Aman Maulloo 与 David Tan 共同署名。它在容量约束下最大化加权对数速率之和。对数的导数把绝对变化转成相对变化，资源约束则通过影子价格进入各条路由。

如果用中央计算器直接求解，它必须掌握全网状态，自身通信也会受到延迟和故障影响。论文因此研究两类分散算法。

primal 算法把主要平均过程放在端点。资源负载上升时发出拥塞指示；源持续增加速率，又根据收到的指示减少速率。这与加性增、乘性减的传统有联系，但论文并没有声称每个真实 TCP 实现都精确等于这组微分方程。

dual 算法让资源更明确地维护稀缺信号。资源根据超额需求调整影子价格，一条路由的速率响应沿途资源价格之和。经济学可以把它称为价格试探，工程上则可以把它视为显式反馈回路。

两条路径最后可能给出相同速率，却需要不同收据。primal 路线要记录哪个资源何时发出何种拥塞信号，以及端点如何响应；dual 路线要保留资源负载、价格、路由聚合和显式速率。只记录最后的吞吐量，无法证明承诺的控制过程真的发生过。

稳定性证明有一圈可见的边界

在规定的正则条件下，三位作者构造了一个 Lyapunov 函数。微分方程系统沿着它走向稳定点，局部更新因而与放松后的全局优化目标连接起来。分布式反应不再只是“希望会收敛”，而有了模型内的数学见证。

论文也马上指出初始系统遗漏了两件事：随机扰动和时间滞后。后续分析把它们加入稳定点附近。更高增益可以加快收敛，却可能扩大均衡附近的波动；在延迟存在时，更陡的响应还可能破坏稳定性。如果资源价格函数不再单调，内部最大点可能消失，甚至出现多个驻点。

Kelly 后来的综述把边界说得更直白。一条流只知道自身的拥塞经历与反馈时延，不知道有多少竞争者，也未必知道路径经过多少资源。时延不稳定与随机不稳定受不同机制支配，公平、利用率和稳定性之间仍有取舍。

所以 Lyapunov 函数是特定动力系统的证据，不是任意生产网络的保单。它不会自动覆盖短流到达、路由变化、异构 RTT、真实队列、测量误差、恶意拆流或实现缺陷。即使最终收敛，过渡期的时延和损失也可能已经决定了应用结果。

公平的计算单位本身就是权力

公式能在主体定义之后比较速率，却不能决定主体应该是谁。五元组、TCP 连接、应用、订户、家庭、企业和路由都是不同的公平单位。选择其中任何一个，都会改变谁与谁分配资源。

权重同样不是自然常数。它可以表示单位时间支出，也可以表示合作体系中的资源份额或某种优先级。论文的数学允许不同解释；现实制度必须说明解释权在谁手里。相对于既定权重的比例公平，并不能替一个不透明的权重分配程序洗白。

审计因此要同时保留数学主体与现实主体：谁能创建流，何时聚合，权重由谁设置，其他参与者能否验证，容量与路由取自哪个时点。运行网络一旦变化，旧可行集合的证明就不能冒充当前事实。

这不是对比例公平的否定，而是给它划定权限。它能回答“在这些明示前提下，这个向量是否满足条件”，不能自行决定哪些身份和权利是正当的。

Kelly 把全局目标接到了运行中的反应

Royal Society 对 Frank Kelly 的介绍横跨随机过程、网络、优化和大型系统的自我调节。他的网络研究之所以耐久，是因为把三种语言放进了同一个可检验框架：效用与稀缺的经济语言、约束与乘子的优化语言，以及反馈与稳定性的工程语言。

人物叙事不能抹掉共同作者。1998 年论文属于 Kelly、Maulloo 和 Tan；此前的拥塞控制工作、此后的网络效用最大化研究，也来自更大的共同体。认可 Kelly 的贡献，不等于把整个领域登记在一个人名下。

Heng Lu 后来的 Minimum Initial Specification 原则可作为今天的分析镜头，而不是历史证据。不同参与者若要互操作，至少需要共享流身份、容量、反馈与兼容性的确定语义；它们不必把全部效用交给中央权威，也不必永久采用同一种控制器。后续改变应由运行、验证和自愿采用变成事实。

这项工作的最终启示不是给“公平”贴上数学标签。真正的贡献，是说明局部信号怎样可能支撑全局属性，同时逼迫系统保存证明：算了谁、哪些替代方案可行、权重和约束是什么、信号如何移动端点、收敛之前发生了什么。没有这些收据，“比例公平”只是一句无法复核的结论。

来源