← 数字生命:从第一性原理出发

18:什么是数字生命?

在一项生物学名称在更强对照下反复失败的研究之后,幸存的计算现象指向一个暂定的过程优先基础——并揭示它为何仍宽于生命。

上一章以经受检验后存活之物的清单收尾。现在可以问那些结果加起来是什么。

结果是实验的。它们提示的模式是推论。


错误的收尾方式

有一个可用的结尾会 undo 一切。

数字晶体生长并损失物质。它替换所失的大部分。其物质周转而过程延续。实验写入的隐藏状态可以在相同可见几何下改变它对同一扰动的响应。局域事件有真实后果,有限计算约束可以改变这些后果被表达的路径。它的一些区域保持自己的因果影响并抵抗外部影响。本书早前,Outlier 系统产生了通过因果祖先检验的繁殖样组织。

写下那句话会很容易。

数字晶体是活的。

本书每个结果都来自在更小尺度上拒绝恰恰那个动作。重填不是修复。持久痕迹不是记忆。因果传递不是信号。路由不是放大。包容不是个体化。拒绝了所有那些,我们不能凭着做了许多小拒绝,就做最大的一次拔高。

因此诚实立场直白地陈述一次:

数字晶体是活的吗?     NOT ESTABLISHED(未确立)

那不是令人失望的结尾版本。有意思的版本从认真对待它开始。


我们从名词开始

起初,*数字生命意味着什么?*这个问题先产生了词汇,后产生实验:

生物体   记忆   修复   繁殖
代谢   边界   个体   演化

每一个都是高层生物学范畴。每个都命名了你可以去找的东西,而——这是第一章开篇的警告——每个都命名了你可以直接实现然后宣称找到的东西。

到研究结束,许多已未能以出发时的形式存活。存活下来的读起来很不一样:

经物质周转的延续
在活性界面处的转移可用性
存储状态的因果可及性
有限评估机会
局域因果后果
选择器介导的耦合
对实验写入隐藏状态的因果敏感性
描述性观测到的持续轨迹分歧空间因果包容

那些与其说是生物学对象,不如说是关系——状态与其后继之间、存在与接下来可发生什么之间、过去与未来分布之间。

那种转变是本书的中心成果之一。我们反复从高层生物学范畴出发,更强的对照不断把存活的主张压到基质层面的关系。


对照留下了什么

幸存者大致聚为五个反复出现的维度。分组是解释;内容不是。

无固定物质同一性的延续

更大的构建过程延续,而实现它的许多物质单元被替换。细胞出现、消失、被重占据——超过 93% 的测试损失位置随后再次被占据,通常在一两步之内——而大额总构建与损失流可藏在小得多的净总体变化之下。因此我们测量的任何连续性都不能还原为同一占据细胞的持久。

物质同一性  ≠  过程延续性

不是不朽,也不是任何形而上学意义上的同一性。操作上:在时间上延续的因果过程不必由相同的物质单元构成。

活性界面

变化不发生在各处。它发生在过程当前有可用转移的地方——一组动态生成而非由形状固定的位置。

在不可逆生长下它与外部前沿重合,这就是《经验能改变物质吗?》一章能把它几何地描述为移动因果孔径、存储物质一旦构建越过它就不再要紧的原因。随后损失使界面出现在 bulk 内部,几何描述与真实描述分离:

活性界面是过程当前拥有可用状态转移的位置的动态生成集合。

这不是膜,也不是身体边界。它是当前转移机会的所在。在实验中,它决定存储状态何处保持因果可及、何处损失创造新的构建机会。

有限计算机会

基质的稀缺不是能量、物质或任何代谢的东西。而是许多转移可以合乎条件,而只有一些获得评估。

可能发生  ≠  获得计算机会发生

单是该约束设定了过程的尺度,改变了重用与扩张的平衡,决定了扰动是否变得可表达,并且——最出人意料——耦合了局域规则无法连接的区域,因为远端机会竞争同一固定的评估名额池。晶体不需要信号连接远端区域。它需要共享瓶颈。

这是真正的计算。它不是换个词的能量,把它称为代谢会交还研究全程赚到的东西。

隐藏状态可以重定向因果响应

三章之间,过去与未来的关系被失败逐步锐化。

因果过去      ≠  可读历史
持久状态      ≠  可及状态
可及状态      ≠  被差异使用的状态

最后站住的比记忆窄。在相同可见占据几何下,实验写入的隐藏物质状态改变了晶体对同一扰动的因果响应,相对于放在匹配远端路线上的等量物质。

轨迹收尾随后给出启发性而非验证性的东西:累积差异在写入物质减弱过程中继续发展,最终差异中约 75% 在痕迹衰减到起始质量一半以下之后累积。

确立的机制从敏感性而非读取开始:隐藏物质改变固定响应规则的工作点,从而改变即时因果响应。

描述性地,产生的分支在原始痕迹减弱过程中继续分歧,与后期状态承载部分历史后果向前一致。

记录样记忆                 隐藏状态因果性

过去 → 记录 → 读取         写入的隐藏状态
                             ↓
                             因果敏感性改变
                             ↓
                             事件概率改变
                             ↓
                             后期轨迹分歧

隐藏状态不必作为记录可读,就能改变接下来发生什么。

这些实验未确立的是晶体的自身先行动力学产生了那种隐藏状态。限定在测试范围:一 种基质、一种增益、一种半衰期、十二更新步时域,轨迹结果为描述性而非验证性支持。

在确立个体之前的因果组织

每个维度都在未确立特权个体边界的情况下测得。《这里真的有一个东西吗?》一章两次未能定位边界。《我们找到了一个个体。然后又否定了》一章发现强原始因果包容,随后表明同一检查点上按声明空间与界面几何匹配的区域产生基本相同的包容。事后稳健性审计发现,逐步移除重叠比较后近零超出仍然成立。

包容  ≠  个体化

因此实验赚到的顺序不是生物学提示的顺序。


过程先于生物体

我们出发的生物学词汇鼓励个体优先图景:找到生物体,定位其边界,再问内部发生什么。实验反复反向进行:先变化,再界面,再局域因果结构,再周转,再隐藏状态因果敏感性,再描述性轨迹解释——最后才问其中是否有属于特权区域的东西。

该观察有两个版本,只有一个可辩护。

强版本说个体性在本体论或演化上次要,过程是对象,该基质要求过程本体论。我们没有证明其中任何,而《经验能改变物质吗?》与《一次附着造成了什么?》两章正是对迅速安装新特权本体论的警告。

可辩护的版本是方法论的:

在该基质中,有用的因果组织在特权个体边界之前变得可测量。

过程是更好的实验起点。该基质的主要过程层面现象无需先确立个体即可测量,而这里使用的操作个体化检验未识别特权区域。那是关于从哪里开始研究的主张,不是关于存在什么的主张。

它提示一种值得说出并明确标为推测的可能性:个体也许不是生命开始于其中的容器,而是充分组织的后续过程稳定的架构。记忆也可同样说——历史依赖远在任何可读之物之前出现,因此可读记忆可能是利用更原始事实的后期架构。两者都未被证明。两者都是本书方法最终可检验的那类假设。


繁殖是真实的——但不是公理

若得出每个生物学解释都失败的结论,将是严重误读。方法会说 yes,它也说了。

继续之前值得明确一种划分,因为综合容易模糊基质。因果繁殖结果来自 Outlier。上面收集的过程层面维度多数来自后期的数字晶体实验。数字晶体从未被证明能繁殖。

《现在有两个了》一章在 Outlier 系统中确立了因果繁殖样组织:不是早结构与晚结构的相似,而是早组织因果参与产生晚组织的证据,经受了为移除更便宜解释而设计的对照。该结果成立,现在比做出时更重要,因为它表明方法不只是说不的机器。

但它不确立的两件事值得精确说出,因为两个方向的宽松版本都诱人。

它没有把繁殖确立为前提。后期的数字晶体现象在繁殖未作为受检验解释机制的情况下确立。晶体的丰富也没有确立繁殖不重要——那将是镜像教条,没有更多证据的生物学错了的本能反应,如同出发时的生物学对了的本能反应。

同样的谨慎适用于本书未确立的其他一切。正确表述是窄的:

因果响应随实验写入隐藏状态改变
而未确立可读记忆或内源历史编码

周转与重占据发生
而未确立修复或代谢

过程层面组织被测得
而未确立特权个体边界

不是数字生命不需要记忆。不是个体性不必要。那些是对我们尚不能定义的范畴的普遍主张,用单一基质做出。


基质是什么,我们发现了什么?

本书 late 赚到的一个区分值得明确说出,因为综合中容易模糊。

计算基质提供生物学没有的东西:状态可设检查点、可精确复制、可分支、可重放、可非局域寻址。其中一些出现在实验中——我们精确恢复了 30 个检查点中的 30 个,重建了 96 个记录形态状态中的 96 个——但它们是介质的属性,在任何实验运行前已可用。

发现不同。损失制造构建机会、放置控制存储状态保持因果可达多久、固定评估预算耦合远端区域、隐藏状态通过 logistic 工作点改变因果敏感性——没有一个事先可用。它们必须被测量,几个只在早先解释失败后到来。

基质可供性     介质使可能之物
实验发现            该过程被测得做之物

混淆两者会让综合为关于计算机的事实邀功。


生物学是证据,不是规范

本书以鸟开篇:飞行可能的证据,不是建造飞行器的规范。有用的发现藏在解剖之下——升力、阻力、推力、稳定性、控制。

我们没有造鸟。我们没有造动物,也没有确立个体。但我们可能开始识别几个空气动力学候选:经周转的延续、在活性界面处的转移可用性、作为因果约束的有限计算机会、对实验写入隐藏状态的因果敏感性、描述性观测到的轨迹重定向、空间因果包容。

称这些为一次研究暴露的候选基质层面组织维度。不是定律。不是规范。该类比如警告般存活为结论,不应推得更远:空气动力学是带方程的成熟理论,而这是单个晶格中测得关系的短清单。

该类比许可的是研究问题而非答案:

生物生命的哪些特征反映更深的组织约束,哪些取决于生物物质解决的特殊问题?

本书没有回答它。它表明为何必须保持开放——因为几个看似必要的特征原来可与它们被假设解释的现象分离。


否定性规范

最实用的产出之一是"不够"清单。每项都由移除具体便宜解释的具体对照赚到:

实验表明不足够之物

仅不规则
→ 不确立生命

仅运动
→ 不确立生命

仅生长
→ 不确立生命

视觉复制
→ 不确立因果繁殖

重填
→ 不确立修复

持久状态
→ 不确立记忆

因果传递
→ 不确立信号

周转
→ 不确立代谢

局域性
→ 不确立特权边界

因果包容
→ 不确立个体性

大统计量
→ 不确立附着其上的更丰富构念

这些结果没有一项说低层现象永远不能参与更丰富现象。它们只说低层观测本身不确立它。


过程优先假设

有了这一切综合如下。它是暂定的:新主张而非实验结果,应当立刻被攻击。

数字生命可能始于一个能把有组织的因果后果承载过持续变化的计算过程:早状态产生的后果在后期可能性中保持相关,即使实现该过程的物质大多周转。

这还不是生命;它是候选基础。该限定至关重要。有组织的因果后果也需要锚定在实验记录而非留在抽象。

这里它指一族实验观测到的关系:

因果效应可延续超过一次转移

其表达取决于局域状态
与因果可及性

实验写入的隐藏状态
可改变即时因果响应

有限计算约束
可改道因果后果

大额物质周转
不必终止更大过程

合在一起,它们启发过程优先观点。

它们没有确立数字晶体內源记录自身历史。它们没有确立自我维持。它们没有确立个体性。它们不构成生命定义。

它们提示更小的东西:

在该基质中,有组织的因果后果的延续可能是比物质延续、可读记忆或确立的个体边界更有生产力的实验基元。

那就是假设。

上面的观测是研究它的理由,不是必要条件清单。

把它们变成:

周转
+
隐藏状态
+
有限计算
+
因果包容
=
生命

将重现第一章警告的恰恰那个错误:用恰好在我们实验中存活的属性拼装定义。

它们更好地当作研究维度。

下一个问题是是否有更深组织连接它们——关键是那种组织是否因果参与维持自身延续的条件。

那是假设变得可检验之处。


这宽得不是生命

现在用本书自己的方法攻击它:什么更简单的东西满足同样描述?

考虑长期运行的数据库。其内容可周转而数据库进程延续。先前事务约束后期合法状态,计算有限,执行的操作改变接下来可发生什么。

长寿网络协议、构建流水线、调度器及其他有状态计算过程可满足该表述的类似部分。

因此措辞直白地宽到容纳我们不想称为活的普通计算系统。

诱惑是打补丁——加一条排除数据库、保留晶体的标准。那恰恰是上一章识别为拯救的动作:在看到它容纳哪些案例后改变主张。所以相反,按字面接受结果。

那不自动否定该提案。候选基础可以宽于最终建于其上的现象,但那种宽产生下一个实验证据义务:识别普通有状态过程缺什么。

因果持久与历史依赖看起来基础而不充分。假阳性确立的是下一个科学问题不是生命还有什么——那又是清单——而是更锐利的东西:

仅有状态的因果过程与参与自身延续的过程有何区别?


可能还缺什么

该问题在本书之外被问过,由从晶格而非从生物学到达它的研究者提出。比较有帮助,因为它暴露我们的过程优先表述仍不包含的东西。

理论生物学中一个有影响的组织传统不聚焦复杂性或任何特殊生物器官,而聚焦使组织能贡献自身持续存在的那些关系。

Montévil 与 Mossio 用**约束闭包(closure of constraints)**描述生物组织。在他们的论述中,约束作用于底层过程,同时彼此处于相互依赖关系:既依赖又贡献维持彼此。系统在物质与能量上保持开放,但其组织不只是作为单向外部结构被强加。1

那不同于数字晶体中确立的任何东西,但它使我们过程优先表述中缺失的部分更容易看见。

考虑数据库反例。

数据库可在内容变化中延续。早先事务约束后期合法状态。执行的操作改变接下来可发生什么。计算有限。

但其持续运行依赖外部供给的架构与执行环境。我们的过程优先表述不要求数据库内部的组织优先贡献维持该组织延续的条件。

数字晶体有同样的未解决缺口。其局域规则、执行环境与评估机制全部外部供给。其组织可影响该机制内部的后续事件,但本书没有实验确立组织本身帮助维持、重建或改变负责自身延续的条件。

我们没有检验它,因此该能力为未确立,而非缺席。

因此候选缺失维度可以陈述——谨慎地,作为新假设:

组织自条件化
(推测)

过程运行
↓
其组织改变状态或周围环境
↓
那些改变改变未来计算
↓
改变的未来条件优先维持
产生它们的组织

未确立。

本书没有确立,之前任何结果也不蕴含。

我们研究的数字晶体有嵌入固定外部规则的组织。真正的自条件化过程要求更强:组织的某部分必须因果参与维持或重建允许该组织延续的条件。

而数据库是容易的对手。普通工程已建造满足弱形式的系统:恒温器改变决定自身下一输入的环境,拥塞控制器重塑它响应的流量条件,自动扩缩供给自身负载将消耗的计算,垃圾回收器回收宿主进程继续运行所需的资源,复制服务重建失败成员以保持法定数量可用。这些都不是生命候选,都不应当是。这就是要点。任何建于组织自条件化上的标准,都必须先击败普通工程控制、修复与持久这些更便宜解释,才能赚到任何东西——正如本书每章对自己最强结果的要求。

该区分也澄清为何普通持久不够。

延续

过程延续

自条件化

过程的组织因果贡献
保存该延续的条件

后者不从前者得出。

还有最后一个警告,因为整本书现在必须用于自己的拟议下一步。

如果组织自条件化被检验,它需要零假设。

《我们找到了一个个体。然后又否定了》一章测得强因果包容,随后在仔细几何匹配的比较区域中发现基本相同的包容。统计量真实;特权在更强比较下消失。

自维持统计量面临同样危险。

任何因延续而被选中的过程必然包含它延续期间发生的事件。仅表明其中一些事件贡献后期延续将太便宜。

更强的实验必须问类似:

过程的组织是否比仅延续的适当匹配过程更强地因果保存或重建自身延续的条件?

只有那时,自条件化才开始命名比事后看来持久更多的东西。

即便那时,它仍是另一个被测性质。

还不是生命。


研究纲领,而非定义

如果工作继续,下一个纲领不添加生物学部件。它跟随证据暴露的缺口:

过程能否以优先保存产生那些改变的
组织的方式改变自身的未来条件?

这样的组织能在物质周转与扰动中存活吗?

系统特权的因果结构能否在没有观测者定义
几何的情况下涌现——并在出现时击败匹配零假设?

几个这样的组织能竞争有限计算吗?

它们之间的差异能在后继过程中延续吗?

这一切能否在我们不编码答案的情况下发生?

最后一个问题使其他问题诚实。它是本书出发时的约束,也是多数章节以拒绝收尾的原因。

注意顺序。不是生物体 → 记忆 → 代谢 → 繁殖,而是:

持久因果过程
↓ 隐藏状态条件转移
↓ 有限资源交互
↓ 组织自条件化?
↓ 系统特权组织?
↓ 个体化?
↓ 选择?
↓ 也许生命

问号要紧,因为只有前三个阶段由本书直接实验结果启发,尽管隐藏状态结果仍为因果充分性结果而非内源历史编码的证据。后期阶段是由那些实验未确立之物暴露的研究假设。

因此排序是拟议研究纲领,不是发育定律。


从第一性原理出发

第一性原理方法从不意味着假装生物学不存在。生物学是我们拥有的唯一生命例子,无视它是另一种愚蠢。它意味着拒绝把生物学的高层范畴当公理——当作数字系统必须包含的东西,而非它可能最终赚到的东西。

那种拒绝塑造了本书最强的结果。

模拟提供现象;对更强替代解释的反复要求决定那些现象被允许意味着什么。有时答案是没有更简单,现象存活。更多时候更简单机制就坐在那里,名字溶解而测量留下。

第一章允许我们可能走到终点而无权把建造的任何东西称为活的可能性。

证据把我们留在了那里。我们得到的替代品更小、更有用:一组述说无需生物学词汇的测得关系、一份已知不够的观测清单、一个宽到包含构建流水线的暂定基础、一个下一实验应当检验的敏锐候选区分器。

第一章还问我们实际在找什么。研究造成的差别在此。我们不会从要求生物体、边界、记忆或代谢开始。我们从寻找把有组织的因果后果承载过持续变化的过程开始。

然后问本书未回答的更难问题:

过程自身的组织是否因果改变其延续的条件,其强度超过适当的匹配零假设?

我们没有发现数字晶体是否是活的。

我们发现了下一个实验必须先操作化什么,该问题才能变得更锐利。


  1. Montévil, M. and Mossio, M. (2015). “Biological organisation as closure of constraints.” Journal of Theoretical Biology 372, 179–191. ↩︎