从群论与帕累托效率推导AMM交易轨道：加权乘积公式的必然性
1. 从直觉到形式化：理解AMM交易轨道的核心问题
在自动做市商（AMM）的设计与分析中，我们经常听到“恒定乘积公式”或“加权几何平均”这类描述。它们简洁优雅，仿佛是天经地义的公理。但作为一名深入参与过多个DeFi协议底层设计的开发者，我常常思考一个更根本的问题：为什么是这些形式？为什么不是别的什么曲线，比如线性、指数或者更复杂的函数？这背后是否存在一个更普适、更深刻的数学结构在约束着一切？
经过对一系列经典论文和实际协议代码的拆解，我发现，这个问题的答案隐藏在一个精巧的数学框架里：交易轨道。它不是一个凭空发明的概念，而是从AMM最基础的行为假设中，通过严格的逻辑推导自然涌现出来的结构。简单来说，交易轨道描述了在AMM中，经过一系列可能的兑换操作后，所有“无差异”的资产储备状态所构成的集合。两个状态如果在同一个轨道上，意味着你可以通过一系列兑换（可能涉及其他代币作为中介）从一个状态到达另一个状态，而不改变池子的某种“价值度量”。
本文的目标，就是带你一起，像解一道数学证明题一样，从最基础的假设出发，一步步推导出交易轨道的数学本质。我们会看到，群论中的子群与陪集概念如何为轨道提供骨架，帕累托效率的经济学假设如何为其赋予血肉，并最终逼迫这个结构呈现出我们熟悉的加权乘积形式。这个过程不仅是对已知结论的验证，更是一次思维训练，它能让你在未来设计新型AMM或分析其性质时，拥有一个坚实的理论起点，一眼看穿各种曲线变体背后的统一逻辑。
2. 交易轨道的数学定义与子群结构的浮现
我们首先需要将模糊的“可通过交易相互转换”这一直觉，转化为一个精确的数学对象。设一个AMM池子中有两种资产，其储备量用一个二维向量 (x, y) 表示，其中 x, y > 0。我们称这样的向量为一个状态。
2.1 等价关系与轨道的定义
我们定义一个状态之间的等价关系 ∼。对于两个状态 s 和 t，我们说 s ∼ t，当且仅当存在一系列合规的兑换操作（可能涉及中间状态），能够将池子从状态 s 转变为状态 t，且这一过程不依赖于任何外部价格信号，完全由AMM内置的定价函数决定。这里“合规”指的是符合AMM的流动性规则，例如每次兑换都沿着某个定价曲线进行。
一个状态 s 所在的交易轨道，就是所有与 s 等价的状态构成的集合，记作 [s]。所有可能的状态被这个等价关系划分成若干个互不相交的轨道。我们的核心任务就是搞清楚这些轨道 [s] 在 (x, y) 平面上长什么样。
为了数学处理的方便，我们进入对数空间。定义映射 ℓ(x, y) = (log x, log y) := (u, v)。因为 x, y > 0，所以 (u, v) ∈ R²。在对数空间中，我们定义相应的等价关系 ≈：ℓ(s) ≈ ℓ(t) 当且仅当 s ∼ t。
提示：进入对数空间是一个关键技巧。乘法关系（如
x*y=常数）在对数空间会变成加法关系（u+v=常数），这极大地简化了后续分析。许多链上计算为了规避浮点数和提高精度，也实质性地在对数空间或定点数空间进行操作。
2.2 轨道平移不变性与子群 H 的构造
现在，我们关注一个特殊的轨道：原点 (0,0) 所在的轨道。记 0 = (0,0) = ℓ(1,1)，即储备量为 (1,1) 的状态在对数空间中的像。定义集合：
H := { h ∈ R² | h ≈ 0 }
也就是说，H 是所有在对数空间中与原点等价（即在原始空间中与 (1,1) 状态等价）的点构成的集合。
接下来，我们引入一个合理且核心的假设：平移不变性。其直观含义是，如果两个状态等价，那么对它们进行相同的“缩放”（在对数空间就是平移）后，它们仍然等价。更形式化地说，如果 ℓ(s) ≈ ℓ(t)，那么对于任意向量 h，有 ℓ(s) + h ≈ ℓ(t) + h。这个假设反映了AMM的一个基本性质：池子的行为规则不应依赖于资产的绝对数量级，只取决于其相对比例。
从这个假设出发，我们可以证明一个优美的结论：H 是实数域 R² 上的一个加法子群。
证明如下：
- 封闭性：若
h1, h2 ∈ H（即h1 ≈ 0,h2 ≈ 0），将关系h1 ≈ 0平移h2，得到h1 + h2 ≈ h2。又已知h2 ≈ 0，根据等价关系的传递性，得到h1 + h2 ≈ 0，故h1 + h2 ∈ H。 - 单位元：显然
0 ≈ 0，所以0 ∈ H。 - 逆元：若
h ∈ H（即h ≈ 0），将关系h ≈ 0平移-h，得到0 ≈ -h，故-h ∈ H。
这三点满足了加法子群的定义。H 作为子群，其结构将对整个轨道分类起到决定性作用。
2.3 从子群 H 到一般轨道：陪集结构
有了子群 H，我们可以刻画任意一个轨道。关键引理：对于对数空间中的任意两点 z, z‘，z ≈ z’ 当且仅当 z - z‘ ∈ H。
证明：
- 必要性（⇒）：若
z ≈ z‘，将z’平移到原点，即考虑z - z‘。根据平移不变性，有z - z’ ≈ 0，所以z - z‘ ∈ H。 - 充分性（⇐）：若
z - z’ ∈ H，即z - z‘ ≈ 0。将其平移z’，得到z ≈ z‘。
这个引理意味着，每一个交易轨道 [s] 在对数空间中的像 ℓ([s])，恰好是子群 H 的一个陪集。具体来说，如果 ℓ(s) = z0，那么 ℓ([s]) = z0 + H := {z0 + h | h ∈ H}。
实操心得：陪集结构是理解AMM可组合性的数学基础。不同的轨道（即不同的“不变值”曲线）本质上是同一个子群
H经过不同平移得到的。在设计多池路由或分层流动性时，理解这一点有助于抽象出统一的接口。例如，两个不同的恒定乘积池（x*y=k1和x*y=k2）在对数空间就是两条平行的直线u+v=log k1和u+v=log k2，它们都是子群H = { (u, v) | u+v=0 }的平移。
至此，我们仅凭“平移不变性”这一假设，就将交易轨道的结构锁定为某个加法子群的陪集。接下来，我们需要引入经济学假设来进一步确定这个子群 H 的具体几何形状。
3. 帕累托效率如何塑造轨道的几何形态
子群 H 可以是 R² 中各种各样的加法子群，比如一条过原点的直线、整个平面、或者一个离散格点集。为了得到有意义的AMM模型，我们需要引入第二个核心假设：帕累托效率，有时也称为“无套利”或“单调性”假设。
3.1 帕累托效率的数学表述
在对数空间中，帕累托效率可以表述为：对于轨道上的任意两个不同的点 (u1, v1) 和 (u2, v2)，不可能同时满足 u1 ≥ u2 且 v1 ≥ v2，并至少有一个是严格大于。换句话说，你不可能通过交易同时增加两种资产的对数储备量。
这个假设排除了“免费午餐”的可能性，是任何理性市场的基本要求。它给轨道 [s]（以及子群 H）的形态带来了极强的约束。
3.2 轨道是严格递减的曲线
首先，固定一个轨道 [s]。帕累托效率直接推出一个重要定理：每个轨道 [s] 在 (x, y) 平面上是某个严格递减函数 y = f_s(x) 的图像。
证明思路：
- 垂直性排除：在轨道上，不可能有两个点具有相同的
x坐标但不同的y坐标。因为如果(x, y1)和(x, y2)都在轨道上且y2 > y1，那么从(x, y1)状态出发，你可以“免费”获得(y2 - y1)数量的Y资产，这违反了帕累托效率。 - 单调递减：如果轨道上有两点
(x1, y1)和(x2, y2)，且x1 < x2，那么必须有y1 > y2。如果y1 ≤ y2，则状态(x2, y2)在两种资产储备量上都不弱于(x1, y1)，这同样违反帕累托效率。
因此，每个轨道都唯一地定义了一个在其定义域 proj_x([s])（即轨道上 x 坐标的取值范围）上的严格递减函数。这个结论非常直观：想要获得更多的 X 资产，你必须付出 Y 资产，反之亦然。
3.3 子群 H 位于反对角区域
将帕累托效率应用到特殊的子群 H 上（即与 (1,1) 等价的轨道），我们可以得到 H 的一个重要几何性质：H 中的任何点 (u, v) 都满足 u*v ≤ 0。
证明：回忆 (u, v) ∈ H 意味着 (e^u, e^v) ∼ (1,1)。
- 如果
u > 0且v > 0，那么e^u > 1且e^v > 1，即新状态在两种资产上都多于(1,1)，这违反了从(1,1)出发的帕累托效率。 - 如果
u < 0且v < 0，那么(1,1)在两种资产上都多于新状态，这违反了从新状态出发的帕累托效率。 因此，u和v不能同为正或同为负，只能一正一负或至少一个为零，即u*v ≤ 0。
这意味着子群 H 完全位于 R² 平面的第二和第四象限（包含坐标轴）。这个性质是后续推导其线性结构的关键。
3.4 完备定义域与唯一性
为了使AMM在任意储备量下都能运作，我们还需要一个技术性但合理的假设：完备定义域。即对于任意实数 u，都存在某个 v 使得 (u, v) ∈ H。这保证了无论 X 资产的对数储备量是多少，总有一个对应的 Y 资产储备量与之处于同一轨道（即可通过交易达到）。
结合之前“轨道是函数图像”的结论，我们实际上得到了更强的性质：对于每个 u，存在唯一的 v 使得 (u, v) ∈ H。因为如果存在两个 v，就会违反轨道的函数性质。
现在，我们有了一个满足以下所有条件的加法子群 H：
H是R²的加法子群。H ⊆ { (u, v) | u*v ≤ 0 }（位于反对角区域）。H的定义域是整个R（对每个u存在唯一的v）。
4. 决定性的一步：证明 H 是一条负斜率直线
具备了上述所有条件，我们可以证明一个核心引理：任何满足条件1-3的 R² 的非平凡加法子群 G，必然是一条通过原点、斜率为负的直线。即存在常数 c > 0，使得 G = { (u, v) | v = -c u }。
证明概要（反证法）：
- 假设
G包含两个线性无关的向量。为了满足u*v ≤ 0的条件，我们可以通过取负值（由于是子群，逆元也在其中）将这两个向量调整到第四象限（u ≥ 0, v ≤ 0）。 - 如果其中一个向量在
u轴上（v=0），另一个向量有v < 0，那么通过前者的整数倍减去后者，我们可以构造出一个坐标全为正的点，这与G位于反对角区域矛盾。 - 如果两个向量的
u和v都非零，我们可以利用它们的线性无关性，通过精心选择整数系数n和m，使得线性组合n*h1 - m*h2的两个坐标都为正，再次产生矛盾。 - 因此，
G中不可能存在两个线性无关的向量。这意味着G张成的空间是一维的，即G包含在一条通过原点的直线L中。 - 由于
G定义域完备（对每个u都存在点），且直线上每个u对应的v唯一，这条直线不能是垂直的（u轴是唯一的垂直线，但垂直线上对于u=0有无数个v，违反唯一性）。因此L有方程v = κ u。 - 最后，因为
G位于反对角区域，斜率κ必须非正。它不能是0（否则是u轴，同样违反唯一性，因为对于u=0，v可以任意？这里需要仔细思考：如果G是u轴，那么对于u=0，v=0是唯一的，似乎满足？但问题在于，如果G是u轴，那么对于u ≠ 0，对应的v恒为0，这确实是一个函数。然而，这违反了“非平凡”和反对角区域的“精神”。更重要的是，如果κ=0，即v=0，那么(1,0) ∈ G，这意味着(e,1) ∼ (1,1)，即仅增加X资产而不减少Y资产也能保持等价，这严重违反了帕累托效率。因此，在帕累托效率的强约束下，κ不能为0）。 - 因此，
κ < 0。令c = -κ > 0，我们就得到了G = { (u, v) | v = -c u }。
将这个引理应用于我们的子群 H，我们终于得到了梦寐以求的结论：存在一个常数 c > 0，使得 H = { (u, v) ∈ R² : v = -c u }。
注意事项：常数
c的物理意义极其重要。在对数空间中，c是直线H斜率的绝对值。转换回原始(x, y)空间，H对应与(1,1)等价的轨道，其方程为v = -c u，即log y = -c log x，等价于log x^c + log y = 0，最终得到x^c * y = 1。因此，c直接决定了两种资产在价值权重上的不对称性。c=1时就是我们熟知的恒定乘积x*y=常数；c≠1时，就是加权乘积x^c * y = 常数，其中X资产的权重更高（若c>1）。
5. 加权乘积不变量的最终推导与对称性推论
5.1 从直线 H 到加权乘积公式
由于 H 是一条斜率为 -c 的直线，而每个轨道都是 H 的陪集（即平移），所以所有轨道在对数空间中都表现为一系列斜率为 -c 的平行直线。
用线性泛函的语言描述：定义 L(u, v) = c*u + v。那么，两点 (u1, v1) 和 (u2, v2) 位于同一条轨道（即同一根平行线上），当且仅当 L(u1, v1) = L(u2, v2)。
现在，让我们回到原始的资产储备空间。设两个有效状态 s = (x1, y1) 和 t = (x2, y2)。它们等价 s ∼ t，当且仅当在对数空间中等价：
ℓ(s) ≈ ℓ(t) ⇔ L(log x1, log y1) = L(log x2, log y2)
⇔ c*log x1 + log y1 = c*log x2 + log y2
⇔ log(x1^c * y1) = log(x2^c * y2)
⇔ x1^c * y1 = x2^c * y2
这就是加权乘积不变量的形式。为了将其写成更对称的加权几何平均形式，我们令：
w = c / (1 + c)
显然，w ∈ (0, 1)，因为 c > 0。那么 1 - w = 1 / (1 + c)。
将等式 x1^c * y1 = x2^c * y2 两边同时取 1/(1+c) 次幂（由于 x,y > 0，这是保序的等价变换）：
(x1^c * y1)^{1/(1+c)} = (x2^c * y2)^{1/(1+c)}
⇔ x1^{c/(1+c)} * y1^{1/(1+c)} = x2^{c/(1+c)} * y2^{1/(1+c)}
⇔ x1^w * y1^{1-w} = x2^w * y2^{1-w}
因此，我们得到了最终的定理：在平移不变性和帕累托效率的假设下，存在一个权重 w ∈ (0, 1)，使得两个状态等价，当且仅当它们的加权几何平均 Φ_w(x, y) = x^w y^{1-w} 相等。交易轨道就是这个加权几何平均函数的等高线。
5.2 对称性如何导致恒定乘积
上述推导得到了一个带权重 w 的通用形式。那么，什么情况下会退化到经典的恒定乘积 x*y=常数 呢？答案是：当代币标签对称时。
假设我们的AMM对两种资产 X 和 Y 完全对称，即交换两种资产的标签（将 X 视为 Y，Y 视为 X）不会改变交易轨道的划分。在对数空间中，交换标签相当于交换坐标 (u, v) -> (v, u)。
之前我们推导出轨道是斜率为 -c 的平行直线族，即满足 c*u + v = const。交换坐标后，新的直线族应满足 c*v + u = const，即 v = (-1/c)*u + const‘，斜率为 -1/c。
由于对称性要求交换标签前后描述的是同一个轨道划分，因此这两族直线必须重合。这意味着它们的斜率必须相等：-c = -1/c。解得 c^2 = 1。因为 c > 0，所以 c = 1。
将 c = 1 代入，得到 w = 1/(1+1) = 1/2。此时，不变式变为：
x^{1/2} * y^{1/2} = const
两边平方，即得到：
x * y = const
这就是推论：在满足平移不变性、帕累托效率和代币对称性的情况下，交易轨道必然是恒定乘积曲线 x*y = k 的等高线。Uniswap V2 正是这一情形的完美体现。
实操心得：理解从加权乘积到恒定乘积的对称性论证，对于设计新型AMM至关重要。例如，Balancer 的加权池放弃了代币对称性，因此其不变式是广义的加权几何平均
Π x_i^{w_i} = k。而 Curve 的稳定币兑换池，由于其资产近乎等价（都是稳定币），对称性极强，但其曲线并非简单的恒定乘积，这是因为它在恒定乘积的基础上叠加了另一个接近恒定的和不变式，以满足低滑点的需求。这提示我们，对称性假设的放松或加强，是AMM曲线创新的一个重要维度。
6. 向多资产AMM的扩展：从二维切片到高维超平面
上述推导针对的是两种资产的情况。对于拥有 n 种资产的AMM，其状态是 n 维向量 (x1, x2, ..., xn)，其中 xi > 0。我们能否将二维的结论推广到 n 维？
答案是肯定的，而且推广的方式揭示了多资产AMM内在结构的一致性。核心思想是：考察任意两种资产构成的二维切片。
6.1 核心定理与证明思路
多资产轨道分类定理：一个 n 资产AMM的交易轨道是某个加权乘积 Φ(x1, ..., xn) = Π_{i=1}^n x_i^{w_i}（其中 w_i > 0 且 Σ w_i = 1）的等高线，当且仅当对于每一个有效状态 p 和每一对资产 (i, j)，当我们固定其他所有资产的储备量不变时，由 p 诱导出的这两个资产构成的子池，其行为满足我们之前为二维AMM设立的所有公理（平移不变性、帕累托效率等）。
证明思路（向前方向）：
- 假设对于每个二维切片
(i, j)，其轨道都满足二维定理，即在对数空间(u_i, u_j)上是斜率为负的直线。 - 考虑整个
n维对数空间中的轨道S。固定一个点p ∈ S。 - 关键引理：如果一个集合
S的每一个二维坐标切片（固定其他所有坐标）都是一条负斜率的直线，那么S本身必然是一个超平面，其方程形式为a1*u1 + a2*u2 + ... + an*un = d，且所有系数ai > 0。 - 这个引理的证明需要一些技巧。首先利用切片是直线且定义域完备的性质，证明
S是某个函数u_n = f(u1, ..., u_{n-1})的图像。然后，由于在每个二维切片上都是直线，可推出f关于每个变量u_i都是线性的，且交叉项系数为零（否则二维切片会是双曲线而非直线），因此f是线性函数。 - 由于每个二维切片斜率为负，即
∂f/∂u_i < 0，所以线性系数a_i（对应-∂f/∂u_i）都大于0。 - 令
w_i = a_i / (Σ a_j)，则超平面方程等价于Σ w_i * u_i = const’。取指数回到原始空间，即得到Π x_i^{w_i} = const。
这个定理具有巨大的实用价值。它意味着，要设计或验证一个多资产AMM的曲线是否合理，我们只需要检查其任意两种资产构成的“子市场”是否符合二维AMM的良好性质。如果每个二维切片都是我们熟悉的恒定乘积或加权乘积曲线，那么整个多资产市场的轨道就必然是加权几何平均的等高线。
6.2 完全对称性与恒定和
进一步地，如果这个多资产AMM的轨道结构在任意代币置换（重新标签）下都保持不变，即它对所有资产一视同仁，那么根据对称性，所有权重 w_i 必须相等。由于 Σ w_i = 1，所以 w_i = 1/n。
此时，不变式变为：
Π_{i=1}^n x_i^{1/n} = const
两边同时取 n 次幂，得到：
Π_{i=1}^n x_i = const
这就是多资产恒定乘积公式。它是Uniswap V2风格的多资产池（尽管V2本身主要通过配对交易实现多资产）或Balancer在所有权重相等时的特例。
常见问题与排查： Q1：这个理论模型和现实中的AMM（如Uniswap V2/V3）完全对应吗？ A1：这个模型抓住了最核心、最本质的数学结构。Uniswap V2完美对应了“对称性+二维公理”推导出的恒定乘积。Uniswap V3可以看作是在这个恒定乘积曲线上，通过引入“虚拟储备”和区间限定的机制，在局部模拟了恒定乘积，但其全局轨道结构更为复杂，不再是一个简单的平滑曲线。
Q2：权重
w_i如何确定？ A2：在理论推导中，权重w_i（或等价地，斜率c_i）是模型的内生参数，由系统公理决定。在实践中，它们是协议设计者或流动性提供者设定的外生参数，反映了对不同资产的风险偏好或价值权重。Balancer池允许LP自由设置这些权重。Q3：这个框架能解释有手续费的AMM吗？ A3：基础框架描述的是“无摩擦”的理想轨道。手续费可以建模为对交易量的一个比例扣除，这会使实际交易路径偏离理想轨道，但轨道的“势函数”（加权几何平均）仍然是系统长期演化的核心吸引子。分析带手续费的模型通常需要在理想轨道的基础上进行扰动分析。
Q4：帕累托效率假设是否太强？有没有违反它的AMM？ A4：帕累托效率是“无套利”的数学表述，是健康金融市场的基本要求。违反它的设计通常是不稳定或不可持续的。例如，一个允许“免费铸造”资产（即不减少其他资产就能增加某种资产）的曲线，会立即被套利者榨干。因此，几乎所有主流AMM都隐式或显式地满足这一假设。
回顾整个推导，我们从“平移不变性”和“帕累托效率”这两个非常基础和直观的假设出发，借助群论中子群与陪集的概念，一步步约束了交易轨道的可能形态，最终唯一地导出了加权几何平均的形式。这个过程不仅证明了常见AMM公式的“必然性”，也为我们评估和设计新的曲线提供了一个清晰的框架：任何新的定价曲线提案，我们都可以审视其是否满足这些基本公理，以及它在对数空间中的轨道结构是否具有类似的简洁性与美感。数学的严谨性，在这里为DeFi的创新奠定了坚实的基石。
832 1663