“计算力学”的版本间的差异

2025年2月6日 (四) 15:19的版本

计算力学（Computational Mechanics）是一套用于量化涌现的框架。它以一种计算的视角，研究观察者建立的模型在识别涌现时，模型发生的变化。计算力学以信息论和生物进化的思想为基础，是目前最早的对涌现的定量化研究。在应用当中，该理论提出了对复杂性度量的新指标，即统计复杂度，同时还提出了一套识别涌现的算法。

@@ 第1行： / 第1行： @@
 '''计算力学（Computational Mechanics）'''是一套用于量化[[涌现]]的框架。它以一种计算的视角，研究观察者建立的模型在识别涌现时，模型发生的变化。计算力学以[[信息论]]和生物进化的思想为基础，是目前最早的对涌现的定量化研究。在应用当中，该理论提出了对[[复杂性]]度量的新指标，即[[统计复杂度]]，同时还提出了一套识别涌现的算法。
-== 历史渊源 ==
-计算力学源于 20 世纪 70 年代和 80 年代早期[[非线性系统|非线性]]物理学领域对[[流体力学]]领域[[湍流]]问题的研究。为了识别流体湍流中的[[混沌理论|混沌动力学]]，Packard和 Crutchfield等人开发了一套[[吸引子重构]]方法<ref name=packard_1980>{{cite journal |last1=Packard|first1=N. H.|last2=Crutchfield|first2=J. P.|last3=Farmer|first3=J. D.|last4=Shaw|first4=R. S.|title=Geometry from a time series|journal=Physical Review Letters|volume=45|issue=9|pages=712|year=1980|url=https://doi.org/10.1103/PhysRevLett.45.712}}</ref><ref name=takens_1981>{{cite book |last1=Takens|first1=F.|title=Detecting strange attractors in fluid turbulence|booktitle=Symposium on Dynamical Systems and Turbulence|editor1=Rand|first1=D. A.|editor2=Young|first2=L. S.|volume=898|pages=366|location=Berlin|publisher=Springer-Verlag|year=1981|url=https://doi.org/10.1007/BFb0091924}}</ref>，使用测量的时间序列来重构流体动力系统的状态空间，可以在其中观察[[混沌吸引子]]并定量测量它们的不稳定程度及其伴随的[[复杂性]]。这套重构方法的有效性在 1983 年通过实验得到了验证<ref name=brandstater_1983>{{cite journal |last1=Brandstater|first1=A.|last2=Swift|first2=J.|last3=Swinney|first3=Harry L.|last4=Wolf|first4=A.|last5=Farmer|first5=J. D.|last6=Jen|first6=E.|last7=Crutchfield|first7=J. P.|title=Low - dimensional chaos in a hydrodynamic system|journal=Physical Review Letters|volume=51|issue=16|pages=1442|year=1983|url=https://doi.org/10.1103/PhysRevLett.51.1442}}</ref>，之后就被广泛用于识别和量化[[确定性混沌系统]]的行为。但是，这套方法无法简明扼要地表达被重构系统的内部结构。为了解决这个问题，计算力学理论应运而生。
-计算力学的首次提出是在1989年，Crutchfield在他的一篇论文中<ref name=crutchfield_young_1989>{{cite journal |last1=Crutchfield|first1=James P.|last2=Young|first2=Karl|title=Inferring Statistical Complexity|journal=Physical Review Letters|volume=63|issue=2|pages=105 - 108|year=1989|url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.63.105}}</ref>，基于[[时间序列重构]]的[[状态空间]]<ref name=packard_1980 /> 和[[自动机理论]]<ref name=minsky_1967>{{cite book |last1=Minsky|first1=M.|title=Computation: Finite and Infinite Machines|publisher=Prentice - Hall|location=Englewood Cliffs, New Jersey|year=1967}}</ref><ref name=chomsky_1956>{{cite journal |last1=Chomsky|first1=N.|title=Three models for the description of language|journal=IRE Transactions on Information Theory|volume=2|pages=113–124|year=1956|url=https://ieeexplore.ieee.org/document/1057037}}</ref><ref name=hopcroft_ullman_1979>{{cite book |last1=Hopcroft|first1=J. E.|last2=Ullman|first2=J. D.|title=Introduction to Automata Theory, Languages, and Computation|publisher=Addison - Wesley|location=Reading|year=1979}}</ref>定义了一种预测等价关系。利用这种关系分析时间序列数据，识别和量化其中有规律的部分，计算力学就可以构建一个能够预测系统未来行为的模型。
-计算力学的核心概念是因果态（Causal State），它是一种与微观状态预测等价的特殊的宏观态。基于这种预测等价性的宏观态划分思想可以追溯到70年代的[[马尔科夫链的成块性]]（Lumpability）理论。Kemeny和Snell在1969年针对[[马尔科夫链]]提出[[成块性]]这一概念，目的在于判断一个马尔科夫动力系统是否是可被简化归并的。对于任意一个马尔科夫链，我们可以判断某种划分是否是成块的。成块的划分要求对状态的归并要尽可能地保留马尔可夫链中的原始重要信息，并保证划分操作与动力学操作的可交换性。不过在马尔科夫链中，成块性只是对于划分的一种要求，而没有追求最优的划分。对成块性的进一步了解，请参考词条[[马尔科夫链的成块性]]。与之相比，计算力学首先关注的不只是马尔科夫动力学，而是要囊括更广泛的动力学形式。此外，计算力学试图提出一种最优的划分，能极大地保留对预测有用的信息。此外，当一般的动力学过程退化到马尔科夫动力学的时候，成块性的成立条件实际上与因果态的定义具有一定的相似性。
-== 问题背景 ==
-=== 自然和社会现象中的涌现 ===
-[[文件:蚊群-杨明哲-202409011.png|替代=|右|无框]]
-有一些自然和社会现象非常引人入胜，但也很令人困惑，比如行为简单的蚂蚁可以形成复杂的社会，在没有控制中心的情况下自发产生特异化的社会分工<ref name=holldobler_wilson_1990>{{cite book |last1=Holldobler|first1=B.|last2=Wilson|first2=E. O.|title=The Ants|publisher=Belknap Press of Harvard University Press|location=Cambridge, Massachusetts|year=1990}}</ref>。 在没有领导者引导的情况下成群的鸟以步调一致的队形飞行，成群的鱼以连贯的阵列游动，突然一起转向<ref name=reynolds_1987>{{cite journal |last1=Reynolds|first1=C. W.|title=Flocks, herds, and schools: A distributed behavioral model|journal=Computer Graphics|volume=21|pages=25–34|year=1987|url=https://dl.acm.org/doi/10.1145/37402.37406}}</ref>。经济中商品的最佳定价似乎源于主体遵守局部的商业规则<ref name=":0">{{cite journal |last1=Fama|first1=E. F.|title=Efficient capital markets II|journal=Journal of Finance|volume=46|pages=1575–1617|year=1991|url=https://doi.org/10.1111/j.1540-6261.1991.tb04627.x}}</ref>。这些现象中的全局协调是如何出现的？是否有共同的机制引导着这些不同现象的出现？在[[复杂系统 Complex Systems|复杂系统理论]]中把这类许多独立子系统相互作用后产生高度结构化的集体行为的现象称作[[涌现]]。
-目前对涌现的研究理论有[[基于有效信息的因果涌现理论]]、[[基于信息分解的因果涌现理论]]、[[基于可逆性的因果涌现理论]]，基于[[转移熵]]的动力学解耦理论<ref name=barnett_seth_2023>{{cite journal |last1=Barnett|first1=L.|last2=Seth|first2=A.K.|title=Dynamical independence: discovering emergent macroscopic processes in complex dynamical systems|journal=Physical Review E|volume=108|issue=1|pages=014304|year=2023|url=https://journals.aps.org/pre/abstract/10.1103/PhysRevE.108.014304}}</ref>、基于[[格兰杰因果关系|格兰杰因果]]的G-emergence理论<ref name=seth_2008>{{cite conference|last1=Seth|first1=A. K.|title=Measuring emergence via nonlinear granger|book-title=Artificial Life XI: Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems|volume=2008|year=2008|pages=545–552|url=https://www.academia.edu/126272392/Measuring_emergence_via_nonlinear_Granger_causality}}</ref>等等。计算力学是基于统计复杂度对涌现的定量化研究理论，它提出的时间最早，虽然对涌现的的研究方法与上述理论均不同，但有很多研究思路是相似的，它定义的[[统计复杂度]]、[[因果态]]、斑图重构机器等概念对涌现的研究有很大启发和借鉴意义。
-=== 计算力学中的涌现 ===
-什么是涌现？从直觉上来说，涌现现象就是系统出现了新的特征。但是什么是“新特征”呢？特征的新又“新”在哪里？所以，我们还需要更精确的语言对涌现的概念进行描述。涌现通常被理解为一个过程，该过程所产生的结构并不能直接由控制系统的定义所约束以及被瞬时力所描述。比如一堆随机运动的粒子，虽然它们受到的瞬时力可以用运动方程描述，但是从宏观尺度上却会表现出诸如压强、体积以及温度等新特征。我们需要引入[[斑图]]的概念来明确说明什么是新特征，否则涌现这一概念几乎没有内容，因为几乎任何时间依赖的系统都会表现出涌现特征。
-在计算力学中<ref name="crutchfield_1994">{{cite journal |last1=Crutchfield |first1=James P. |title=The Calculi of Emergence: Computation, Dynamics, and Induction |journal=Physica D: Nonlinear Phenomena |volume=75 |year=1994 |pages=11-54 |url=https://dl.acm.org/doi/10.1016/0167-2789%2894%2990273-9}}</ref>，斑图通常指的是从时间序列中总结出的规律性结构。实际上，检测到的斑图通常是通过观察者选择的统计数据来隐含假定的，可能某些斑图的功能表现与其数学模型一致，但这些模型本身依赖于一系列理论假设。简而言之，斑图通常是被猜测出来的，观察者通过固定的规律库来预测这些结构，然后再进行验证。可以用通信信道做一个类比，观察者就像是一个已经手握密码本的接收者，任何未能通过密码本解码的信号本质上都是噪声，即观察者未能识别的斑图。
-在系统内部的协调行为中，有一种斑图变得尤为重要，这种斑图会相对于该系统的其他结构显现其“新颖性”。由于没有外部的参照来定义这种新颖性，我们可以将这个过程称为'''内在涌现'''（Intrinsic Emergence）。比如在高效的资本市场中，主体根据从集体行为中涌现出的最优定价，调整其个人生产-投资和股票所有权策略<ref name=":0" />。对于主体的资源配置决策而言，通过市场的集体行为涌现出的价格是准确的信号，它完全反映了所有可用信息。内在涌现的独特之处在于系统形成的斑图赋予了系统额外的功能性，并支持全局信息处理，如设定最优价格等。更具体地说，内在涌现可以直接嵌入系统非线性计算过程之中，能够被系统直接利用，这样就赋予了系统额外的功能性。
-总而言之，计算力学区分了三个概念：
-# 对涌现的直觉定义：系统中出现任何可以被称为新颖的特征。
-#'''[[斑图]]涌现（Pattern Formation）'''：观察者在系统中识别出的有规律的结构。
-#'''内在涌现（Intrinsic Emergence）'''：[[系统]]本身捕捉并利用它自身出现的斑图。
-=== 进化的系统模型 ===
-我们可以从多智能体系统的视角来阐述内在涌现的问题<ref name="crutchfield_1994"/>，从而为一个高度有序的系统是怎么从[[混沌理论|混沌]]中涌现的提供一种可能的解释。但是该视角在解释生命形式的多样性方面依然能力有限。因此要将系统限制在一个结构和生物特征明确的确定性动力系统（Deterministic Dynamical Systems，简称DS）中，并把它简化为包括一个环境和一组适应性观察者或“智能体”的模型，这样才能清晰地定义智能体的性质。智能体（Agent）试图构建和维持一个对其环境具有最大预测能力的内部模型。每个智能体的环境是其他智能体的集合，可以被视为一个随机的[[动力系统理论 Dynamical Systems Theory|动力系统]]（Stochastic Dynamical Systems，简称SDS）。在任何给定的时刻，智能体感知到的是当前环境状态的投影。随着时间的推移，感官装置产生一系列测量，这些测量引导智能体利用其可用资源（下图中的“基层”）来构建环境模型。基于环境模型捕捉到的规律，智能体可以通过效应器采取行动，最终改变环境状态。
-[[文件:宇宙模型示意图.jpg|居中|无框|600x600像素]]
-上图为以智能体为中心的环境视图：宇宙可以被视为一个确定性动力系统，即使规则和初始条件是确定的，随着规模的增长，系统也会变得极为复杂。每个智能体所看到的环境是一个由所有其他智能体组成的[[随机动力系统]]。其随机性源于其内在的随机性和有限的计算资源。每个智能体本身也是一个随机动力系统，因为它可能会从其基层和环境刺激中采样或受到无法控制的随机性所困扰。基层代表了支持和限制信息处理、模型构建和决策的可用资源。箭头表示信息流入和流出智能体的方向。
-智能体面临的基本问题是基于对环境状态的建模，来对未来环境进行预测。这需要一个量化的理论来描述智能体如何处理信息和构建模型。

“计算力学”的版本间的差异

2025年2月6日 (四) 15:19的版本

导航菜单

搜索