梯径

概述

由刘宇（Yu Liu）、狄增如（Zengru Di）和菲利普·格利（Philip Gerlee）于2022年提出的梯径方法，源自组装理论（assembly theory），是一种新颖的框架，用于量化单一结构化对象（如字符串、空间模式、分子或语言片段）的复杂性和信息。

梯径包括一系列生成操作，用于逐步构建目标对象。每一步，可重复使用的较小的子结构单元会被组合或连接起来。经过梯径重构的步骤后，整个序列会形成一个偏序多重集或梯图，用于捕获层次依赖关系。

传统的复杂性度量（如柯尔莫哥洛夫复杂度或香农熵）要么依赖于无限集合，要么在计算上难以处理。相比之下，梯径提供了一种构造性的、层级化的视角，强调对象如何通过利用重复和重用来合理地构建。

梯径包括一系列生成操作，用于逐步构建目标对象。一个梯径本质上是一系列构建（或称“进化”）生成的序列，通过这些生成步骤将更小的组件（称为梯元，ladderon）组合成日益复杂的结构。这些阶梯子可以在构建步骤中重复使用，它们的组装关系可以通过一个偏序多重集（partially‑ordered multiset）或一个梯图（laddergraph）来捕捉。从这个表示中，衍生出两个互补的度量指标：

- 梯径度（[math]\displaystyle{ \lambda }[/math]）：表示通过最优重用组件来构造对象所需的最少步骤数。

- 有序度（[math]\displaystyle{ \omega }[/math]）：量化了相较于一种无结构构建（即每个基本元素都单独添加）所节省的步骤数。其形式化定义为[math]\displaystyle{ \omega=S-\lambda }[/math]，其中 [math]\displaystyle{ S }[/math] 是规模度（size-index），即不进行任何重用的从头构建成本。

这两个指数提供了一个二维的复杂性度量谱系：[math]\displaystyle{ \lambda }[/math]反映了内在的新颖性或信息成本，而[math]\displaystyle{ \omega }[/math]反映了结构的冗余性或有序度。重要的是，该方法是领域无关的（domain-agnostic）——它同样适用于字符串、空间配置、生物分子、语言结构，甚至进化系统。

将梯径度和有序度看作“复杂性”的两个轴，结合以上其衍生的指标，可以用梯径框架衡量一个序列结构或组件结构的复杂度。

除了理论上的简洁与优雅，梯径框架还具有广泛的实际意义和应用前景。它可以用于检测基因或蛋白质序列中的模块化重复、分析语言中的句法结构，以及模拟生物系统（从简单的化学网络到复杂的生物体）中的进化组装过程。它与“进化就像修修补补”（evolution-as-tinkering）范式的契合性，使其成为探索自然和人工系统中复杂性涌现的强大工具。

背景

单个对象的句法复杂性度量

梯径理论的发展源于一个长期存在的挑战：如何在不依赖统计集合或无限数据集的情况下，测量单个对象（如序列、分子或模式）的句法复杂性（syntactic complexity）。

柯尔莫哥洛夫复杂度（Kolmogorov complexity）和香农熵（Shannon entropy）等经典方法提供了宝贵的见解，但存在固有的局限性：柯尔莫哥洛夫复杂度因停机问题（halting problem）而通常不可计算；而香农熵则只反映平均不确定性聚焦于跨统计集合的平均值，而忽略了序列内部模式、语法结构，具体为：

• 柯尔莫哥洛夫复杂度

柯尔莫哥洛夫复杂度（Kolmogorov Complexity），又称算法复杂度，是指描述某一对象（如字符串、序列或数据结构）所需的最短计算机程序长度。形式上，对于给定的通用图灵机[math]\displaystyle{ U }[/math]和输入对象[math]\displaystyle{ x }[/math]，[math]\displaystyle{ l(x) }[/math]表示二元串的长度，当给定程序[math]\displaystyle{ p }[/math]时，令[math]\displaystyle{ U(p) }[/math]表示计算机U关于程序p的输出，其柯尔莫哥洛夫复杂度定义为：

[math]\displaystyle{ K_U(x)=\underset{p:U(p)=x}{min}l(p) }[/math]

即柯尔莫哥洛夫复杂度定义为能够输出x的并且停止的所有程序的最小长度，也可以理解为可由计算机[math]\displaystyle{ U }[/math]说明的[math]\displaystyle{ x }[/math]的描述中的最短描述长度（信息论基础） 柯尔莫哥洛夫复杂度对于单个对象的句法复杂性度量的不足在于，由于停机问题的不可判定性，无法构造通用算法来精确算出任意对象的最短描述程序长度 [math]\displaystyle{ K(x) }[/math]。我们至多只能给出上界估计（例如通过通用压缩算法获得的压缩后长度），但无法知道这是否就是最短程序，因此无法得到真正的复杂度值。

• 香农熵（Shannon entropy）

香农熵（Shannon Entropy）是信息论中用于度量来源不确定性的经典量度。对于离散随机变量[math]\displaystyle{ X }[/math] 及其概率分布[math]\displaystyle{ {p_i} }[/math]，香农熵定义为：

[math]\displaystyle{ H(X) = -\sum_{i=1}^n p_i \log_2 p_i }[/math]

它反映了一个序列从该分布中抽样时平均每次可获得的信息量（以比特为单位）。 香农熵对于单个对象的句法复杂性度量的不足在于，香农熵度量的是从一个已知概率分布中抽样时的平均信息量，而非针对某一具体样本的独特结构。即使两条序列内部模式、语法结构截然不同，只要它们在整体分布下的符号频率相同，香农熵给出的值也完全相同，无法区分个体间的细节差异。

鉴于这些挑战，一些强调模块化重用和层级化组合的观点提供了引人注目的替代方案。这些观点包括弗朗索瓦·雅各布（François Jacob）提出的“进化即修补”（evolution as tinkering, 1977）概念、高德纳（Donald Knuth）的加法链问题（addition-chain problem），以及更近期的路径复杂性（pathway complexity）和组装空间理论（assembly space theories）。这些框架关注复杂结构如何从更简单的亚单元构建而成，强调组合效率（combinatorial efficiency）和重复利用（repetition）。

在这一概念基础上发展起来的组装理论（Assembly Theory，由克罗宁（Cronin）、沃克（Walker）等人开创），将“追溯从基本组件构建对象所需的最小组装操作序列”这一思想形式化，从而提供了一种称为组装指数（assembly index）的度量。该指数有助于区分可能由生物或技术过程塑造的对象与偶然产生的对象，为探测生物特征（biosignatures）和生命起源开辟了道路。

在此基础上，梯径理论通过提供一个层级化的路径模型——一个由可重用构建块组成的“阶梯”（ladder），扩展并形式化了这些先前的思想。通过这个模型，单个对象可以在最优效率的步骤中被构造出来。该方法能够同时量化生成的新颖性（需要多少新的构建步骤）和重用或结构的程度，而无需诉诸基于统计集合的方法。

组装理论

组装理论提供了一个量化单个分子结构内在复杂性的框架，其核心思想是：考虑从一组预定义的基本构建模块（例如化学键）出发，构建目标分子所需的最少组装步骤序列——每一步骤都涉及将两个分子亚基连接起来。一条组装路径在形式上表示为一个有向多重图：其中顶点对应分子片段，边对应连接操作；多重边允许相同片段存在不同的组合方式。分子的分子组装指数（MA） 定义为构建该分子的最短可能组装路径的长度（即连接操作的数量），并允许路径中生成的中间片段在后续步骤中复用。

以分子键为构建模块的二乙基邻苯二甲酸酯分子组装路径图。该图展示了从不可约构建模块出发，通过8次连接操作（组装指数为8）构建该分子的路径。(https://www.nature.com/articles/s41467-021-23258-x)

梯径理论的框架：算法信息论

由算法信息论引导的复杂性度量——单个结构化对象的信息

长期以来，对单个结构化对象（如字符串、分子或模式）复杂性的度量探索一直由算法信息论（Algorithmic Information Theory, AIT） 所引导。AIT 由 Kolmogorov、Chaitin 和 Solomonoff 在 20 世纪 60 年代创立，它通过能在通用图灵机（universal Turing machine）上生成该对象的最短可能程序的长度来定义复杂性，即柯尔莫哥洛夫复杂度（Kolmogorov complexity）。这种方法抓住了我们的直觉：高度有序或重复的结构是低复杂度的，而随机、无模式的对象具有最大的复杂度。

然而，AIT 的核心度量是不可计算的：由于停机问题（halting problem），不存在确定确切最短程序的通用算法。对于物理对象（如分子），AIT 将需要指定一个能生成它们的通用分子构造器，这使得直接计算变得不可行。虽然存在像 Lempel-Ziv 压缩这样的近似方法，但这些方法通常反映的是统计冗余性而非真正的算法结构，并且可能无法区分随机性和结构化复杂性。

梯径方法和算法信息论的联系

梯径理论，旨在通过关注结构的层级化、基于组装的本质来解决这些局限性。和组装理论（Assembly Theory）密切相关 ，梯径理论通过最小化“组装指数（assembly index）”——即通过可重用的子结构构造一个对象所需的最少步骤数——来度量复杂性。

梯径理论和 AIT紧密相关（两者都寻求对象的最短描述），然而在范围和可计算性上稍有不同。它不是进行通用压缩，而是模拟一个领域特定的构造机器，该机器执行一系列组合操作（连接、键合等），并在一个组装池（assembly pool）中跟踪可重用的子单元。这产生了构建过程的层级化多重集表示（梯图，laddergraph），从而得到两个可计算的度量：

-梯径度（[math]\displaystyle{ \lambda }[/math], ladderpath-index）：重构目标序列结构最少的组装步骤数。

-有序度（[math]\displaystyle{ \omega }[/math], order-index）：通过重用节省的开销，即结构有序度。

这些度量满足公式[math]\displaystyle{ S=\lambda+\omega }[/math]，其中[math]\displaystyle{ S }[/math]是规模度（size-index）（即无重用构造的成本）。至关重要的是，这个框架对于有限对象是可计算的，为柯尔莫哥洛夫复杂度的不可行计算提供了一种实用的替代方案。

综上所述 ，梯径方法在算法信息论的框架上，实现了以下的优化：

• AIT 提供了一种基于最短通用描述的信息度量原则，但通常是不可计算的。

• 基于组装理论，梯径理论提出了一种可计算的、考虑层级结构的复杂性度量，其基础是构造规则和重用，使其适用于物理和生物系统。

• AIT和梯径在深层理论上有联系——都寻求最短描述。但在实用性、侧重点以及对显式组装路径（explicit assembly pathways） 与通用计算（universal computation） 上存在差异。