"More Is Different'' in Neural Circuits: Algebraic Emergence of Effective Theories in Canonical Recurrent Motifs of Biological Neuronal Networks
Nima Dehghani
q-bio.NC, cs.FL, cs.NE, nlin.CD, physics.bio-ph
2026-08-31
把归一化和赢家通吃写成有限变换系统后，单独每步都是汇点，WTA接到归一化时最短非周期见证变成同时改增益和门控的复合二循环。
皮层计算常被拆成两类标准积木。divisive normalization（DN，除法归一化）用群体池化信号压增益；winner-take-all（WTA，赢家通吃）用自兴奋加共享抑制选出一个模式。一个改尺度，一个改身份，分开讲都清楚。
问题出在组合。真实回路里归一化场给选择提供舞台，选中的赢家又回头改增益。轨迹仿真能画出一条响应，画不出任意输入序列允许哪些状态变换。这篇把积木写成有限变换系统，问 Anderson 那句「More is Different」在回路尺度上能不能被证出来：单独每步都在耗散，拼起来会不会长出局部可逆结构。
每个 motif 是三元组 (X, Σ, δ)：有限状态、有限输入字母表、确定性更新。每个输入符号 a 给出一张映射 fa。所有有限输入词生成的闭包叫 transition monoid（转移幺半群）M，里面装着回路在任意切换语境下能做到的全部变换。aperiodic（非周期）指功能图里没有长度大于 1 的环，对应冻结输入下的汇点动力学。
判定分三层。generator-explicit：某个原始映射自己就带环。composition-generated：每个生成元都非周期，但幺半群里出现了非周期元。genuinely composite：环同时改 DN 坐标和 WTA 坐标，不能算在任一因子头上。holonomy 是 Krohn–Rhodes 分解的构造形式，把幺半群的像集分层，标出作用在 tile 上的置换群。计算用 SgpDec。
负对照是三态 DN：中间驱动映射 f1=(2,1,0) 自己就是对合，幺半群 13 个元素，单位群同构于 Z2。四态 DN 把半饱和参数加大到 σ=2，四个生成元全部非周期。WTA 用两个兴奋群体加一个抑制门，8 个二元组态，参数取 G=1、S=L=B=1/2、W=1、R=0，四个冻结驱动生成元全是汇点。再把四态 DN 和八态 WTA 放到 32 态乘积空间上，比较独立乘积、DN→WTA 级联、WTA→DN 级联，以及同步与异步全耦合。
四态 DN 的幺半群有 24 个元素，3 个非周期。WTA 幺半群 326 个元素，55 个幂等元，49 个非周期，单位群平凡。最短见证是两符号词：先均衡驱动再驱动群体 1，把状态漏斗进 {4,5}，在像上作对换。解码后赢家身份不变，只在开关抑制门。对称词给群体 2 做出配对循环 {2,3}。
| 系统 | 状态 | 幺半群 | 非周期元 | 最短见证 |
| 四态 DN | 4 | 24 | 3 | DN 局部 |
| WTA | 8 | 326 | 49 | WTA 局部 |
| 独立乘积 | 32 | 576 | 88 | WTA 局部 |
| DN→WTA | 32 | 3149 | 401 | WTA 局部 |
| WTA→DN | 32 | 3084 | 361 | 真正复合 |
| 同步全耦合 | 32 | 9 | 6 | 生成元里就有 |
| 异步全耦合 | 32 | 8 | 0 | 无 |
独立乘积 34 个带群的像集里，27 个只动 WTA、7 个只动 DN，复合窗口是 0。DN→WTA 把代数胀到 3149，最短见证仍是竞争局部，但 46 个窗口里有 15 个复合，还出现全文唯一的 Z4，绕四个联合组态转一圈。反向的 WTA→DN 才把最短见证变成复合：归一化在最低两档之间跳，赢家的抑制门同步开合。像集 C={(D:0,W:4),(D:1,W:5)} 带 Z2，作用在两个单点 tile 上。57 个窗口里 35 个是复合的。
接口穷举把这件事钉死。赢家到归一化的映射共 4^8=65536 张，全部生成元非周期、单位群平凡，没有任何一张生成的幺半群是非周期的。65278 张出现复合循环，耦合映射里占比 0.9961。缺循环的 258 张可以精确刻画：像落在两个中间驱动符号里，外加两张到极端的常值映射。方向管的是可辨识度。归一化到竞争的 256 张映射里，耦合后 224/252 有复合循环，但只有 30/252 把它当成最短见证。
同步全耦合把代数压到 9 个元素，6 个非周期，holonomy 给出 Z3。状态依赖接口盖掉了外部符号，四个生成元重合，环已经写在那一张映射里。在全部 50331648 个接口与日程组合里，没有任何一例能从非周期的递归更新再组合出非周期性。生物接口上的异步版本幺半群只有 8 个元素，完全非周期。
如果 motif 真是皮层计算的积木，组合它们就是编程：选原语和接口，让生成的代数落在想要的那一叶。转移幺半群就是这块积木交给后续构造的接口合同。独立并排放在一起不会长出联合自由度；赢家回头写增益，才会把复合循环送到最短见证上。对做循环网络和神经形态编译的人，这意味着接线相同、接口不同，计算剧目可以差到非周期幺半群和带复合群分量两种。
这是渐进的理论工具，不是新的训练算法。它给「组合产生新计算」提供可证伪的代数判据，而不是另一条仿真曲线。
模型是故意做小的有限状态抽象，为的是把幺半群穷举出来，不是生物物理还原。检测到的非周期元对离散化、接口和更新日程敏感，作者做了 N∈{3,4,5,6} 的参数扫描，但连续、随机、高维皮层仍在模型外面。
WTA→DN 这条主结果的 cascade 没有构造出来：坐标结构有 5.78×10^21 个元组，单个元素就要 14 GB。骨架深度 22、92 个分量、5 个 Z2 是精确的，存在性靠 holonomy 定理，不是机器验证的 round-trip。另外 7 个较小系统做了逐元素回程核对。
局部群结构不等于全局可逆。WTA 和复合系统的单位群都平凡，可逆动作只活在不可逆塌缩之后剩下的低秩像上。论文也没有证明这些有限状态环在连续速率模型里以极限环或慢流形的形式存活。