第34章
第三十四章 重做一次研究：人—AI复合体的完整工作过程
一 一个错误猜想怎样变成可以研究的差异
这一章给出完整的教学性研究案例。小林是构造人物，她与工具、导师和同伴的互动是思想实验，不是已经实施的教育干预。下面的数学计算和证明可以直接检查，但它们不被宣称为新的学术发现。案例的目的，是把本书的发生机制落实到一项有明确真假、边界和后续问题的活动。
初始问题是：若若干节点反复按照邻居的数值更新自己，只要网络连通，最后是否都会得到初始数值的平均？这个问句看似自然，却省略了更新权重、时间次序、自身是否保留以及网络是否改变。小林先把它写成宽泛猜想，工具则给出几个趋同例子。若研究到此结束，得到的只是一个尚未获证的印象。
为了让问题明确，我们先采用同步更新。节点在下一轮的数值，由本轮所有数值的加权和产生。把权重写成矩阵W，每行元素非负且和为一，意味着每个节点取一个凸组合。状态写成列向量x，更新为下一轮等于W乘当前向量。这个表示只是把一种规则固定下来，不覆盖所有可能互动。
现在取两个节点，W把两者完全交换。初值为零与一，下一轮为一与零，再下一轮回到零与一。网络连通，各节点确实使用邻居信息，却没有收敛。反例否定的是连通足以保证收敛的普遍说法，不是否定所有连通网络能够收敛。一个准确反例必须说明自己打中了哪项主张。
如果只观察两节点平均值，每轮都是二分之一；如果观察差值，其符号交替而绝对值不变。因此，数值总量稳定与个体趋同是不同性质。反例使小林原来压在一个词里的稳定被拆开。工具没有只是给出一个错误答案，它提供了一个重新组织问题的入口。
她尝试修改规则，让每个节点保留α比例的自身数值，另取一减α比例的对方数值，其中α严格位于零与一之间。设差值为d，更新后的差值是二α减一乘d。因为这一系数的绝对值小于一，差值逐轮趋于零。这个结论来自明确代数关系，不依赖模拟次数。
但趋同是否必然等于初始平均，还需要检查保持量。对这个对称两节点规则，两数之和不变，所以共同极限只能是初始平均。这里已经出现两项不同证明义务：一个控制差异衰减，另一个控制总量保持。把它们分开，是之后推广的关键。
随后改用不对称权重：第一个节点取自身十分之九与第二个的十分之一，第二个取第一个的五分之一与自身五分之四。差值每轮乘十分之七，所以会趋同；但二倍第一个数加第二个数保持不变。从零与一出发，共同极限为三分之一，而不是二分之一。
这个例子不只修补一个参数。它把原问题明确拆成信息能否传递、差异能否衰减和什么量得到保存。连接、收敛与平均不是三个同义词，各自需要条件。小林下一步的任务也因此改变：不再收集更多成功轨迹，而是寻找能够同时支持这些性质的结构。
工具可以帮助提出对称权重、自身保留和固定规则等候选，但它们不能只作为一串修饰词附在原命题上。需要分别说明作用：对称性帮助保证列和同样为一，自身保留消除特定不衰减振荡，连通使常数方向之外没有分离的固定部分，固定规则则允许使用同一矩阵的谱结构。
这些说明仍需要证明。一个看似合理的角色分配，不等于定理已经成立；某条件是充分条件的一部分，也不意味着它在所有可能定理中必要。研究者应当避免把找到一套可行条件写成唯一机制。理论可以先建立有限而清楚的结果，再继续寻找更一般形式。
对于本章的教育目标，重要的不只是最后定理。小林已经能够辨认原来混同的性质，知道一个反例不否定全部相关研究，也知道修订不能只改变措辞。这些变化可以通过新任务观察，却不能仅由她在报告中说自己学会了来认证。
因此，案例的第一段形成了一个新的研究对象：不再是若干最后数值，而是带条件的更新机制。局部计算开始成为可调用材料，新的问题围绕这些材料的共同关系展开。思维升维在这里有具体位置，而不是来自给问题加上高维两个字。
二 一项有限定理：条件、证明与不应跨越的范围
现在给出可以完整证明的命题。设节点数n至少为二，W是一个固定的实矩阵，元素非负、对称，每行和为一。把正的非对角权重看成无向连接，并假定这张图连通。取零与一之间的固定α，定义A为α乘单位矩阵，加上一减α乘W。按照A进行同步更新，则任意实初值都会收敛到全体分量相同的向量，其共同值是初始算术平均。
这个命题中，固定意味着每轮使用同一个W和同一个α；非负保证凸组合结构；对称结合行和为一，使列和也为一；连通排除互不影响的部分；严格介于零与一的α使保持自身与邻居混合都存在。证明会显示这些条件怎样起作用，但不宣称每一个都是所有平均一致机制的必要条件。
先看常数方向。记全一向量为e。因为W每行和为一，We等于e，A也保持e。由于W对称，其每列和同样为一，所以e的转置乘W仍是e的转置。于是所有分量之和在更新中保持，初始平均记为m，整个过程中平均始终为m。
不过，平均保持只确定可能的共同极限，不保证实际到达。我们还要证明除常数方向之外的差异都衰减。这里使用有限维实对称矩阵的谱分解：存在一组正交单位特征向量，任意初值可以在这组方向上展开。调用这一标准定理是证明中的明确依赖，不必在本章重建整部线性代数。
为了限定W的特征值，先证明它不会扩大欧氏范数。对任意向量z，每一行加权平均的平方不超过相同权重下平方的平均。这来自凸性，也可以由加权平方差非负直接推出。把各行相加，再使用列和为一，得到Wz的平方范数不超过z的平方范数。因此，W的任一实特征值绝对值不超过一。
写得更具体，某行权重w₁至wₙ非负且和为一，有(∑ⱼwⱼzⱼ)²≤∑ⱼwⱼzⱼ²。右端平方只作用于zⱼ，权重wⱼ不平方。右端减左端等于½∑ᵢ∑ⱼwᵢwⱼ(zᵢ−zⱼ)²，因而非负。这一步说明非负性不是装饰：允许负权时，这个依据就不再成立。
接下来证明特征值一只有常数方向。对任意z，有zᵀ(I−W)z＝½∑ᵢ∑ⱼwᵢⱼ(zᵢ−zⱼ)²；平方只作用于分量差，不作用于权重。等式利用行列和为一以及对称性。若Wz等于z，左边为零，右边每项非负，所以每条正权连接两端的数值必须相同。
由于连接图连通，相同关系沿路径传递，所有分量都相同。因此，特征值一的特征空间恰好是一维常数空间。对称矩阵可以正交对角化，所以其余特征方向对应的特征值严格小于一，同时不小于负一。这个结论把图的连通与差异方向的性质联系起来。
A与W共享特征向量。若W在某方向的特征值为λ，A在该方向的特征值就是α加上一减α乘λ。常数方向仍对应一；对其他方向，因为λ小于一且不小于负一，新的特征值严格小于一，并且至少为二α减一，后者严格大于负一。所以所有非常数方向的乘法系数绝对值都小于一。
把初值写成m乘e加上若干非常数特征方向的线性组合。更新t轮后，每个非常数方向的系数乘上其对应特征值的t次幂。绝对值小于一的数，其幂趋于零，因此所有差异方向消失，只留下m乘e。平均一致的结论由此成立。
还能得到一个误差界。令ρ为所有非常数方向上A特征值绝对值的最大值，则ρ严格小于一。第t轮状态与m乘e之间的欧氏距离，不超过ρ的t次幂乘初始距离。因为特征方向正交，平方范数可按各系数平方求和，界便直接成立。它说明速度取决于结构，而非仅由是否连通决定。
这一界也使新的研究问题出现。不同权重怎样改变ρ？α怎样影响最慢方向？对于一个给定网络，是否存在更合适的混合比例？这些都是后续问题，不能因为本章证明了收敛，就宣布最优设计也已经解决。一个定理可以封装为条件，同时留下新的开放方向。
还要单独处理边界。n为一时没有非常数方向，状态本来就是其平均，结论直接成立；本章主要证明采用n至少为二，以免在定义ρ时对空集合含混。α等于一时系统不再交流，一般不会趋同；α等于零时两节点交换反例重新出现。严格范围在这里具有明确意义。
如果图不连通，不同分量可以各自保持不同平均，整个系统未必一致。如果去掉非负性，矩阵即使对称且行和为一，也可能扩大差异；例如两行分别为二、负一与负一、二的矩阵，在差异方向有特征值三。不是所有形式相似的更新，都属于已经证明的封装。
去掉对称性也不一定使所有收敛失效，但初始算术平均不再自动保持。前述不对称两节点例子已经说明这一点。可以研究更一般的平衡条件或加权极限，但那需要另外的命题。准确结论应该说当前充分条件保证什么，而不是说不满足条件便绝无可能成功。
至此，证明本身完成了一项有限任务。它不证明真实群体必然公平，不证明任何自动生成程序都正确，也不证明小林已经拥有全部谱理论。它提供一个带假设、明确依赖和误差结构的结果，使后来者可以在合法范围内调用，并在超出范围时知道需要重新研究什么。
三 把定理做成可调用条件：实现、测试与状态说明
定理成立之后，可以建立一个教学性检查工具。输入包括有限矩阵、α和初值；输出不应只有一条轨迹，还应说明矩阵是否满足所检查的假设、使用何种数值精度、结果是模拟还是理论覆盖，以及遇到边界时怎样回应。工具封装的任务，是把数学条件和实际输入连接起来，而不是用图像替代证明。
对有理数输入，可以优先用精确分数检查非负、对称及行和。对一般浮点输入，则需要明确容差，不能把近似相等自动当作数学意义上的严格相等。若研究主张要求精确结构，近似数据可能需要投影、修订或误差分析；这些处理会改变问题，不能在内部悄悄完成。
连通检查也有明确语义。只有正的非对角权重被当作连接，自环不使两个不同部分相连。若程序把所有非零浮点误差都当作正连接，可能错误地识别结构。使用者需要知道当前数据是精确权重还是数值测量，维护者需要据此设计接口，不能让一个默认阈值替代全部对象判断。
取两节点交换矩阵，并选择α为四分之一。A每行对自身的权重为四分之一，对另一节点为四分之三。初值零与一，第一轮为四分之三与四分之一，第二轮为八分之三与八分之五。差值每轮乘负二分之一，因此振荡仍在，但振幅逐步缩小。这帮助区分振荡与不收敛，二者并不等同。
取三个节点，两两连接且W在每条非对角连接上给二分之一，自身权重为零。再取α为二分之一，A的对角为二分之一，非对角为四分之一。初值零、一、二，第一轮为四分之三、一、四分之五，第二轮为十六分之十五、一、十六分之十七。两轮的算术平均都保持为一，而偏离平均值的部分每轮缩小为原来的四分之一。
还可以独立核对这些数值。第一节点的首轮值为零的二分之一，加一的四分之一，再加二的四分之一；第三节点的计算则互换首尾权重。两者关于一对称，第二节点始终保持一。这项复核利用矩阵乘法、对称性与平均不变三个相互联系的条件，不需要相信某个模型的赞同。
这个三节点例子的两个非常数特征值都为四分之一，因此误差每轮恰好缩小到原来的四分之一。数值结果与定理关系一致。但一致的有限示例并不是一般命题的证明；它们主要检查实现、帮助理解并暴露输入输出是否连对。数学与程序在这里相互支持，但各自承担不同义务。
还要加入应当拒绝的输入。α为一、矩阵有负元素、行和不是一或图不连通时，工具不应输出定理保证收敛。它可以继续提供探索性模拟，但必须改变状态说明。能够区分理论覆盖与单纯模拟，是封装可靠性的关键部分。不能因为程序仍能计算，就把适用范围自动扩大。
不对称输入也应当获得精确回应。工具可以说明本定理不适用，而不能直接宣布系统不收敛；前面的例子恰好会收敛。范围外不等于错误，未获保证不等于已被否定。这项状态区分既保护工具不夸大，也保护研究者继续探索新情境。
一个可复用的交付可以包含命题文本、证明、输入约定、检查程序、代表性测试和已知边界。它不必包含小林每一次对话，却应保留关键来源与改变。后来者因此能够直接调用已有结果，把研究集中到新的权重、图或时间结构，而不是重新花数周发现同样的两节点反例。
对实现的独立核对，可以使用另一段简洁计算或直接分数运算，而不只是让同一生成模型再读一次代码。具体复核方式依任务选择，不需要把所有工具都复制一遍。重要的是新增依据能够针对可能的错误，而不是在同一盲区上增加赞同次数。
形式化可以进一步承担部分证明检查，但只有实际完成并通过检查，才能报告相应状态。本书没有把上述自然语言证明自动称为已在某证明助手中认证。可做与已做必须分开。附带的可运行样例只核对有限算例，不替代一般定理，也不冒充形式化成果。
因此，数学结果封装为工具，需要新增实现与接口工作。这个工作有研究价值，也有维护价值，却不必都改写为新定理。封装的文明意义在于让有效条件可以继续使用，而贡献认证则应准确说明谁完成了哪些部分。两者能够同时成立。
四 下一层问题怎样发生：时间变化、贡献与个人成长
当固定矩阵的封装已经可用，小林开始问，若每轮更新矩阵不同，是否只要每轮都满足类似条件，最终仍会趋同？这个问题看似只改了一个词，却改变了证明对象。原来的谱分解依赖同一个矩阵，新的过程是不同矩阵的乘积，不能原样调用全部论证。
先看一个极小反例族。每轮都用两个节点，令P为交换矩阵，第t轮取Aₜ等于一减εₜ乘单位矩阵，再加εₜ乘P，其中t从零开始，εₜ为2^(−t−3)（指数为−t−3）。每个Aₜ都非负、对称、行和为一，并有正的自身权重和连接权重。每一轮单独看，都是会收缩差异的矩阵。
然而，差值在第t轮乘上一减二εₜ。把二εₜ记为aₜ，则aₜ为二的负t减二次方，所有aₜ之和为二分之一。经过若干轮后，差值等于初始差值乘各个一减aₜ的乘积。对零到一之间的数，有限乘积不小于一减这些数之和，可以通过逐项展开或归纳证明。 这里使用的有限乘积不等式适用于各因子中的扣减量位于零与一之间；本例的总扣减量为二分之一，故得到严格为正且与轮数无关的下界。
因此，这些有限乘积始终至少为二分之一，差值的绝对值不会趋于零。每轮有连接、每轮单独收缩，仍不足以保证整个变化过程一致。这里的失败不是某一轮不可靠，而是收缩强度在长期组织中没有提供足够条件。局部性质不能直接替代序列性质。
这一例子也能放回前述固定α形式。取α为二分之一，并令Wₜ等于一减二εₜ乘单位矩阵，再加二εₜ乘P，则Aₜ等于αI加上一减α乘Wₜ。每个Wₜ仍然满足相应非负、对称、行和与连通条件，但W不再固定。反例精确显示，原证明中固定这一条件不能被悄悄删除。
由此可以提出新的充分条件候选。例如，若所有更新在非常数空间上的欧氏算子范数都不超过同一个严格小于一的数，并且保持相同平均，那么误差范数逐轮不超过该统一系数相乘，便会趋于零。这个结论直接来自范数的次乘性。它是一个较强而清楚的条件，不宣称解决了全部时变网络问题。
关于时变通信网络的一致性已有丰富数学研究，Moreau的相关论文可以作为进入这一问题的明确近邻。[26] 本章不把这些初等例子称为新发现，也不把自行检索到一篇论文视为完成全部文献审查。真正的后续研究，需要比较现有条件与拟提出问题的具体差别。
对于封装升级，这一转向具有清楚意义。固定矩阵定理没有因新反例而失效，它仍是有效工具；新的问题使它从全套答案变成一个有限组成部分。研究者需要改变对象，由单个矩阵进入矩阵序列，改变证据，由单次谱结构进入长期组合条件。升维不是把旧成果扔掉，而是让它以准确边界参加新活动。
人的作用也不能被固定为先提问或最后审核。交换反例可以由工具给出，统一收缩条件可以在同伴讨论中形成，文献方向可以由检索帮助找到。小林的参与要看她是否实际辨认这些差异、组织相关依据、修订承诺并继续推进。不能把系统全部能力归给她，也不能因为线索来自外部便否定她的成长。
如果她只是记住三个正确答案，教育变化有限；如果她能在新的随机过程或优化任务中主动区分局部稳定与整体收敛，就出现了迁移证据。这样的任务仍需具体设计，不能由本章虚构人物直接证明教育效果。本案例展示可以观察什么，不报告已经观察到多少学生改善。
贡献账也可以清楚记录。初等定理属于已有数学知识，本书的证明是说明性重述；程序实现和教学组织可以有各自贡献；小林的研究史是思想实验，不应写成真实项目；若未来形成新的数学结果，需要另外完成近邻核对与证明。来源、教学价值与原创声明在这里分别成立。
进一步的制度问题是，怎样评价这段活动。若只考她能否手工算很多矩阵，可能看不见问题分类的变化；若只看最后程序输出，又可能看不见个人是否参与。可以结合关键条件解释、有限变式、来源说明和完整工具任务，使不同证据分别对应不同能力。没有单一表现能够包办全部认证。
这个案例还说明，重新打开底层并不违背封装升级。正因为需要研究时间变化，小林才返回差值乘积，发现局部收缩与累计收缩的区别。她不是为了证明自己配得上使用固定矩阵定理而返工，而是为了回答新问题而打开相关机制。相同的展开动作，在两种目标下具有不同意义。
当新的条件获得充分认识，又可以形成下一轮封装。后来者不必重复全部讨论，却应当得到明确的序列条件、证明依据和已知边界。文明的迭代由此具体呈现：已有能力成为条件，新问题迫使部分条件重开，新认识再做成可以继续调用的能力。没有哪一层被永久宣布为人的最后领地。
这个案例没有证明一场宏大革命，却把发生机制交还给了可检查的内容：交换矩阵否定最初猜想，不变量区分不同极限，谱论证建立限定结论，时变乘积则揭示封装边界。局部计算可以被继承，问题仍然能够继续改变。由此得到的不是小林已经成为研究者的最终判决，而是一组值得在新任务中检验的能力线索。真实教育中的升维，还需要跨情境、跨时间和与资源条件相匹配的证据。