约束之刀
追本之箭 — 约束之刀
2026-07-04 Fri 10:40 · Fable 重写
起点
"约束是一把刀，它把逻辑上的可能性空间切割为实际的可能性空间。
看一个公司，或者看一个人，从控制论的视角，先看对方面临的『约束』是什么，约束切割出了对方的行动空间。"
—— 李继刚
李继刚用的是动词——"切割"。读者却本能地去找名词：那把刀是什么？钱？时间？监管？
把一个动作，重新冻回成一个对象。一冻，锋利全失。
刀不是物品。刀是算子。
C : S → S' dim(S') < dim(S)它不占据空间，它裁剪空间。原版讲到这里，是对的。
但连"算子"都还不够冷。因为它默认了一件没被验证的事：被裁掉的那个维度，会乖乖待在裁掉的状态里。
不会。一个维度被关上的那一刻，就有东西开始想把它顶开。约束不是一道一次刻好、从此长在空间上的疤——它是一场没有停过的按压。手一松，维度就弹回来。
所以真正没人问的问题，不是"他的约束是什么"（找名词），也不只是"什么算子在削他的维度"（找动词），而是——那个被削掉的维度，是谁在持续花力气，按住它不让它弹回来？按住它，每一刻要烧掉什么？
先埋一颗种子：如果按住一个维度必须持续付费——那没人付费的那一刻，维度会怎样？谁在付？付的又是什么？
往下。
第一层：约束就是信息 —— 降维是往空间里灌比特
把约束想成"墙"，是第一个要砸掉的直觉。墙是减法——少几个选项。真正的约束做的是降维，而降维有一个更精确的名字：注入信息。
一个空间原本有 Ω 种可及状态。约束把它压到 Ω' 种。这一压，等于往空间里灌进了
信息量 = log₂(Ω / Ω') 比特于是"约束"和"偏好"的分界，第一次量得动：
偏好：Ω' = Ω → 0 bit（没告诉你空间的形状，只挪了你停在哪）
约束：Ω' < Ω → log₂(Ω/Ω') bit（真的划掉了状态，空间少了自由度）"我没钱"多半是 0 bit——你只是不想动用别的维度去换钱，那是偏好在冒充约束。"我签了竞业协议"是一整摞比特——一个维度被真的钉死。人最爱把偏好谎报成约束，因为约束免责、偏好要负责；翻成信息的话说，就是假装自己收到了根本没收到的那摞比特。
原版的影子价格 λ，在这层有了统一的身份：λ = 每松开一个比特，结果移动多少。 slack 约束是冗余比特（你早知道了，它没带新信息，松了也没用）；binding 约束是此刻真正把你钉在顶点上的那几个比特。数墙的人在数所有比特，高手只问一句：哪几个比特是非冗余的？
第二层：约束不守恒，它漏 —— 第二定律在偷偷把维度还给你
原版说：约束守恒，ΣCᵢ = 常数，只在维度间转移。
这句是错的。它把结果错当成了原因。
约束不守恒。约束会漏。
一个被削掉的维度 = 一小块被强行压低的熵。而熵的方向只有一个：涨。热噪声、人事变动、新入场者、遗忘、磨损、时间——环境无时无刻不在往那个被关上的维度里回灌自由度。没人维护的约束，Ω' 会自己爬回 Ω：护城河风化，牌照失效，秘密泄露，纪律松弛，λ 一路掉回 0。
那原版看到的"守恒"——约束从 A 搬到 B——真相是什么？是供能的那个源头搬了家。 约束不会自己转移，是有人停止在 A 付按压费、开始在 B 付按压费。 2008 放松银行资本约束，不是约束消失了，是纳税人开始替这个维度掏钱按着它。
约束待在哪儿，不由空间决定，由"谁在那儿持续烧力气按着"决定。
第三层：麦克斯韦妖的账单 —— 维持一根约束，是在不停擦掉噪声
降到最底层：一根约束，是一台一直开着的麦克斯韦妖。
那个思想实验里，妖守着一道门，把快分子拨到一边、慢分子拨到另一边，硬生生在一个要走向均匀的系统里维持出温差——维持出低熵。它看起来免费得到了秩序，直到有人算清账：妖每分辨、每擦除一个比特的信息，都要按下限付出
每擦 1 比特 ≥ kT · ln2 的自由能这是 Landauer 原理。信息是物理的，抹掉一个"本可以"，要烧真金白银的能量。
约束干的是同一件事。环境每时每刻往被关的维度灌噪声——新选项、新对手、新信息、遗忘——维持约束的人，必须不停把这些噪声擦回去。于是 λ > 0 的真身浮出来：
λ ＝ 按住那一个维度、对抗第二定律，每单位时间要烧掉的自由能。
λ = 0 的约束因此不是"没用的墙"，而是根本没有噪声在冲它、于是没人需要花钱维持的那种——它早已和环境同熵，形同空气。松开它结果纹丝不动，不是因为它牢，是因为它早就不在了。
到这里，原版第五层那门"制造稀缺、收租"的生意，露出了物理底座：
护城河不是资产。护城河是一台你替下游一直开着的妖。你向所有被卡住的人收 λ——但你自己被一根看不见的约束锁死，那根约束就是第二定律本身：你必须一刻不停地擦噪声、补稀缺，一旦停泵，熵就把你人造的低熵结构冲平，租金归零。
因果在这里反转两次：
你 ← 收租者 ← 收租者必须持续偿付的自由能账单所以最深的一问不是"谁在收我的 λ"，而是："他为了不让这根约束被熵冲垮，每天在烧什么？他烧不动的那一天，就是它塌的那一天。"（优势的生产链：护城河是一条把"我变成你绕不开的 binding"逐环锻造出来的链——而每一环，都是一台要喂燃料的妖；逆着链找上游，就是找那台电表走得最快、最烧不起的工序。）
第四层：写目标函数也要付费 —— 傀儡论错在以为"不选"是免费的
必然的反弹：如果一切都是在烧自由能对抗熵，那人不就是熵的傀儡？自由意志呢？
不。约束（连同维持它的那台妖）决定可行域的边界与形状——这个你选不了。但可行域里停在哪一点，由一个东西选：你写的那行目标函数。 边界是熵和收租者按住的，那行权重向量，是你自己下笔的。
可这层要补一句比原版更冷的话：写目标函数，本身也要烧自由能。
钉住一个方向，等于在你自己身上局部逆熵——你也成了一台妖，得天天擦掉"想换个顶点"的噪声。所以"选择"从来不免费。而不选，才是那个零成本的默认解：你不付这笔擦除费，熵就替你挑顶点，那条被挑中的路只有一个方向——顺流。（漂流：那正是零输入时系统自动落到的解，不需要被选，所以稳定复现在多数人身上。）
"我没得选"多数时候的真相，于是变得刺眼：我不想付按住那个顶点的自由能，于是把整个可行域谎报成一个点，让熵替我签字。 没人能向你收"你没去站的那个顶点"的租——那份损失，是你自己不肯开泵、任噪声灌平的。
终点
约束不是名词，是算子；不是墙，是降维＝灌比特；不守恒，会漏；维持它要持续烧自由能对抗第二定律；绝大多数约束早已和环境同熵（λ=0，是空气），只有一两根还有人替你、或向你，付着那笔账。
这把刀最后切下去，切出的不是"我面临什么约束"，而是一个更冷的读数：这根约束，此刻是谁在烧自由能维持它？烧的是什么？停烧会怎样？
判别式（先认账，再动手）
这根约束还在被维持吗？（有没有人/机制在持续为它供能？）
├── 没人维持、且松开毫无变化（λ=0）
│ → 它已同熵，是空气。别锯这根不承重的柱子。
└── 有东西在持续为它供能（λ>0）→ 继续问：
├── 是谁在烧？自然梯度（重力、生死、时间），还是某个收租者人造的稀缺？
├── 人造的 → 找他为维持它必须持续偿付的那笔账。
│ 那是撬点：断他的燃料，比撞他的墙省力得多。
│ （或反过来问：这台妖，我能不能去当？）
└── 自然的 → 它削的是边界（不可逆，认了），
还是替我选了顶点（可逆，本该我自己烧能量去选）？伪证条件（这套"约束＝维持中的负熵"框架，怎么被一枪打死）
去找一根这样的约束：
它 λ > 0——松开它，结果剧变，所以它确实在定价、确实 binding；
但没有任何人、任何机制、任何自然梯度在持续为它供能；
而且你把它彻底扔在一边、不管不问，它也永远不松、Ω' 永远不爬回 Ω。
找到了，这套框架当场死——约束就真是原版说的那种可以一次铸成、永不衰减的守恒物，λ 就跟自由能无关。
但你多半找不到。你能想到的每一根真 binding，背后都有一张还在走字的电表：护城河要维护，牌照要续期，纪律会松弛，秘密会泄露，肌肉不练会退，关系不经营会淡，甚至一块钢不上漆都会锈回矿石。凡是真在定价的约束，背后都有一台没关的妖。
编号步（把刀用在一个具体对象上）
- 列墙：写下这个公司／这个人／你自己面临的所有约束，先不分主次。
- 测 λ：对每根做思想实验——"它凭空消失，结果变化大吗？"变化大的留下，纹丝不动的划掉（那是早已同熵的空气，借口仓库）。
- 认电表：对每根留下的 binding，问"是谁、在烧什么、维持着它？"——找出那台没关的妖。
- 分边界与顶点：真 binding 削的是不可逆的边界（认了），还是替你选了本可自选的顶点（可逆，是你自己没开泵）？
- 外部钩（不许只反躬自省）：去问一个利益不一致、敢戳穿你的人——"我说我被 X 约束住了，你看得出我哪个顶点其实没去站吗？"再加一条硬证据：把你声称的 binding 故意停维护一次、或松开一次，看现实里 Ω' 到底爬没爬回来。λ 不靠嘴说，靠停泵之后那一下位移证。（被现实纠正：自检永远包庇自己；唯一可信的 verifier，是脑子外面、停泵之后现实那一下位移。）
最后一句，留给那个最容易当借口的词：
约束会漏，选择权也会漏——但漏法相反。约束不维护就松开，反倒还你自由；选择权不行使就枯死，谁都收不走，连收费员都懒得捡。 你以为自己烧掉的是租金，其实是那个你从没开机去按住的顶点。
（箭到底了。）