2026年5月25日至29日,圈量子引力国际会议在杭州召开. 我很荣幸地参加会议并做了报告, 题目是: 因果凝聚---贝兹构造的范畴化扩展. 

鉴于报告时间有限, 很多思想和细节没法展开, 因此有必要补充一个文字版说明. 这个报告的主要目的就是要介绍如何从贝兹构造,通过一些自然的想法, 得到因果凝聚框架, 意在展示因果凝聚的范畴学框架和路径积分的分析学框架的等价翻译过程. 

因果凝聚与路径积分的这种等价性, 为我们理解量子引力, 量子场论, 甚至人工智能带来很多新的启示. 同时, 这个报告也想传达范畴学思想的重要性, 让更多的人了解到范畴学方法如何巧妙而又自然地解决经典数学方法无法克服的难题. 顺便我也补充一点, 这个报告的内容也是我后面的报告"图论, 范畴学与人工智能"的预备知识.

英文摘要:

Abstract: Baez construction is a rigorous method for defining Hilbert space of spin network states in gauge theory. It consists of three core techniques: graph embedding, spin network and projective limit, all of which have clear category-theoretical meanings. In this report, I will introduce a categorical framework, called causal-net condensation, to give a categorical formulation of Baez construction, where the three core techniques are formulated as comma category, copresheaf and Kan extension, respectively.

中文翻译: 

摘要：贝兹构造是为规范理论严格定义自旋网络态希尔伯特空间的一种严格方法. 它由三项核心技术构成: 图嵌入（graph embedding）、自旋网络（spin network）与投影极限（projective limit）, 且三者均具有明显的范畴论含义. 在本报告中, 我将介绍一个名为因果凝聚（causal-net condensation）的范畴论框架, 旨在给出贝兹构造的严格范畴化表述——在该框架中,上述三项核心技术分别被形式化为逗号范畴（comma category）、余预层（copresheaf）与 Kan 扩张（Kan extension）.

报告分为五个部分, 内容如下: 

首先, 介绍理论背景, 非微扰量子规范理论面临的基本难题是在联络或规范场的模空间上定义微分同胚不变的量子测度. 这是路径积分框架的首要问题.

第二, 介绍什么是贝兹构造以及它的三个核心技术. 联络模空间上量子测度, 可以等价地定义为联络模空间上的平方可积函数空间上的内积结构. 贝兹构造是一种严格定义联络模空间上运动学希尔伯特空间的背景无关方法, 它的三个核心技术分别为: 图嵌入技术, 自旋网络技术和投影极限技术.

第三, 介绍拓展的贝兹构造. 因为贝兹构造在很多方面都表现出函子性, 可以让人很自然地想到它的范畴学拓展. 拓展的贝兹构造把贝兹构造中考虑的图嵌入, 自旋网络和投影极限分别推广为一般映射, 张量范畴中的弦图和范畴中的余极限.

第四, 介绍因果凝聚框架, 它是拓展的贝兹构造的组合化与范畴化翻译. 可以认为, 拓展的贝兹构造是在贝兹构造的基础上添加了粗粒化态射, 并从希尔伯特空间的构造拓展到福克空间构造.

最后是公开问题和展望. 介绍因果凝聚框架中未解决的数学问题以及与其它理论的联系.

定义背景无关的非微扰量子规范理论, 需要三类输入数据, 分别是一个时空 X, 通常是一个流形(不需要度规); 一个结构群 G, 通常是一个紧致李群; 和一个主纤维丛 P--->X. 

在数学上, 根据路径积分框架, 定义背景无关的, 非微扰量子规范理论, 首先就是要在联络或者规范场的模空间上定义一个具有时空微分同胚不变性的积分测度. 背景无关性的要求, 在路径积分框架下, 体现为积分测度的微分同胚不变性. 这是一个非常困难的数学问题, 根本原因在于联络模空间是一个无穷维的, 非线性的, 奇异空间, 在这样的数学对象上定义测度是一个非常棘手的问题. 

但在上世纪九十年代,  物理学家阿什台卡, 数学家伊萨姆, 莱万多斯基等人开创了一套严格定义此类测度的方法, 并用在了引力和非阿贝尔规范理论上. 他们主要利用了盖尔范德等人发展的泛函分析和算子代数理论和投影极限方法.  投影极限方法最早被柯尔莫哥洛夫用来定义随机过程的存在性, 它体现了柯尔莫哥洛夫认为的,随机过程的应该具有实践基础的思想, 也可以类比于爱因斯坦对物理量持有的操作主义观点. 阿什台卡, 莱万斯基使用的投影极限技术可以认为是柯尔莫哥洛夫方法的非线性推广.

这套方法不是直接定义在联络模空间上定义测度, 而是利用联络模空间上的柱代数(由威尔逊圈生成),  定义一个具有微分同胚不变性的广义测度(正线性泛函), 称之为阿什台卡-莱万多斯基(Ashtekar-Lewandowski,AL)测度. 这个(AL)广义测度在本质上是结构群 G 上的哈尔测度的化身.  可以证明这个广义测度, 等价于, 广义联络模空间的正规测度.  广义联络模空间是联络模空间的某种紧致完备化, 它是和乐代数(威尔逊柱代数的最大模完备化, 是一个交换星闭代数)的(盖尔范德)谱空间. 根据里斯-马尔可夫-角谷(Riesz-Markov-Kakutani,RMS)表示定理, 和乐代数上的广义测度一一对应于广义联络模空间上的正规测度.

更进一步, 利用著名的盖尔范德-奈马克-西格尔(Gelfand-Naimark-Segal,GNS)构造,  和乐代数上的广义测度一一对应于广义联络模空间上平方可积函数上的内积结构, 或者说, 广义联络模空间上的一个希尔伯特空间结构. 这个希尔伯特空间空间自然地具有时空微分同胚群的酉作用.  广义测度的微分同胚不变性, 等价于, 希尔伯特空间上的酉作用.

阿什台卡, 伊萨姆和莱万多斯基定义希尔伯特空间的方法是普适的, 可以用来定义场的历史空间上的运动学希尔伯特空间(历史函数空间), 也可以用来定义位型空间上的运动学希尔伯特空间(量子场的态空间).  我认为这两种用法都可以在引力理论中采用. 后一种用法在圈量子引力中体现, 前一种用法是因果凝聚的一个思想来源.

接下来, 介绍的是贝兹构造. 贝兹构造具有同样的哲学(泛函分析+投影极限), 也同样是严格的数学构造. 

在物理上, 我认为贝兹构造有两个思想来源. 一个来源是圈量子引力. 它是由洛韦利和斯莫林发展起来的. 在阿什台卡给出度规的联络表象后, 通过圈变换, 洛韦利和斯莫林可以求解引力的惠勒-德维特方程, 他们得到的解(引力的量子态)恰恰可以由早年被彭罗斯发明的自旋网络态来表示. 以此可以猜测, 阿什台卡, 伊萨姆和莱万多斯基定义的希尔伯特空间应该是由自旋网络态张成的. 这是贝兹构造中自旋网络思想的来源. 

另一个来源是格点规范理论. 它是由威尔逊发展起来的, 用来定义非微扰量子场论的方法. 这是贝兹构造中, 图嵌入技术的思想来源.

在"Generalized measures in gauge theory(1993)"一文中, 贝兹引进了图嵌入技术.

在"Spin networks in gauge theory(1994)"一文中, 贝兹引进了自旋网络技术.

这两套技术融合起来, 贝兹绕过了阿什台卡,伊萨姆,莱万多斯基等人对威尔逊柱代数与和乐代数的讨论(从而避免了使用RMS表示定理和GNS构造), 可以直接得到运动学希尔伯特空间.

可以给贝兹构造下一个描述性的定义, 它是一个为非微扰量子规范理论严格定义运动学希尔伯特空间的更加轻便的方法, 可以直接得到自旋网络态. 为了把格点规范理论和投影极限方法融合, 贝兹引进了图嵌入技术. 不是考虑一个固定的格点系统, 而是考虑所有可能的格点系统以及不同格点系统之间的包含关系(后面我们将考虑更广泛的关系, 包括粗粒化关系). 这种思想除了满足微分同胚不变性之外, 也可以认为是对背景无关性更深层次的一种解读. 以后我会把这种解读和量子信息的语境性联系起来.

贝兹构造具有三个核心技术: 图嵌入技术, 自旋网络技术, 和投影极限技术. 后者是继承于阿什台卡, 伊萨姆, 莱万多斯基的前期框架. 图嵌入和自旋网络, 我认为分别来自于格点规范理论和圈量子引力, 也是对背景无关性的更深层解读. 完整地观察贝兹构造, 可以发现这三个技术都有明显的范畴论特点(强调关系和泛性质), 其中的子构造对于结构群的改变, 时空的改变, 主丛的改变都是函子性(自然性)的. 更明显地揭示这种函子性, 是范畴化贝兹构造的动机之一.

从范畴学的角度, 应该很自然地考虑对贝兹构造进行拓展, 不是仅仅考虑图的嵌入, 而应该考虑图与图之间任意连续映射,以及图到时空的任意连续映射. 经过这样的扩张, 贝兹构造中的一切机制保持正常.

一旦把嵌入映射, 推广到一般映射, 就会发现自旋网络构造必须要推广为张量范畴中的弦图构造. 从范畴学的角度, 考虑一般弦图也是非常自然的.

在贝兹构造的细节中, 存在很多拓扑和分析的困难, 这些也影响着微分同胚不变性的讨论. 在这方面, 有不少很硬的技术文章. 但我选择绕过这些技术问题, 直接在语言层面上改变框架.  为了把贝兹构造和拓展的贝兹构造范畴化, 我采用了组合与范畴化的语言. 第一步就是把时空和图替换成它们的道路范畴.

一个时空/流形的道路范畴是一个小范畴, 它的对象就是底层集合中的点, 态射就是无参数化的定向边, 恒等态射就是平凡道路. 道路范畴构造定义了一个函子, 把每一个流形变成小范畴, 这个函子是忠实的. 道路范畴的构造也体现了重参数化不变性, 也是背景无关性的一种展示.

广义联络模空间中的元素称为广义联络, 它们也有完全的几何描述. 利用道路范畴的概念, 一个广义联络就是一个从道路范畴到结构群G的主齐性空间范畴的函子.

一个因果网络是一个无环定向图, 按定义, 它是一个组合对象. 它的道路范畴, 等同于, 自由范畴的概念. 为了避免讨论因果网络之间连续映射的问题, 我考虑定义因果网络的范畴, 这样可以避免不重要的拓扑难题.

在因果网络范畴中, 粗粒化关系会自然出现.  粗粒化和包含关系都可以被表示成因果网络范畴中的态射.

事实上, 因果网络范畴可以看作是自由范畴的范畴的全子范畴,从而也是范畴的范畴的全子范畴.

在因果网络范畴中, 存在六种基本态射, 它们恰好对应于图形演算中的六类基本约定. 其中前三种是由贝兹引进的, 它们是基本的单态射. 后面三种是基本的粗粒化, 是我引进的. 六种基本态射和六类基本约定的一一对应是因果网络范畴的基本定理.

把上面的基本分解定理和对称张量范畴的图形演算理论结合, 就可以把对称张量范畴解读为因果网络范畴上的余预层(猜测:应该为余层, 待证明). 

在新的框架下, 图形演算理论就被翻译为一个弦图函子, 类比小圆盘代数(E_n代数)理论, 我把弦图函子称为因果代数. 其中, 因果网络范畴Cau 相当于小圆盘operad E_n, 对称张量范畴相当于 E_n代数.

有了这些准备工作, 利用范畴学的抽象废话机制, 自然就可以得到因果凝聚框架. 只要把抽象废话, 在具体的情景下解读出来, 就可以重新得到贝兹构造和拓展贝兹构造的结果.

在贝兹构造中, 取的是投影极限, 它的指标集是时空中的所有嵌入图构成的集合. 所有嵌入图关于包含关系构成一个定向集. 与之不同的是, 在因果凝聚框架下, 取的是余极限, 它的指标集是所有的打进道路范畴中的因果网络构成的集合, 称之为粗粒化图(coarse-grained graph/causal-net). 所有粗粒化图及其态射构成一个范畴, 是嵌入函子I:Cau-->Cat的逗号范畴. 粗粒化图上的弦图称为粗粒化弦图(coarse-grained digram). 

两个粗粒化弦图称为等价的, 如果它们之间可以通过图形演算规则联系起来.

在这个具体情景下, 求解Kan扩张非常简单. 对于每一个小范畴, 得到的是粗粒化的自旋网络态. 一般的粗粒化弦图, 在图形演算定义的等价关系下, 可以用最细的粗粒化自旋网络态来表示, 即它的边上标记对象为不可约表示.

一个自然的问题, 如何理解这些新的多出来的粗粒化自旋网络态? 洛韦利等人在圈量子引力方面的工作提供了一个线索. 受他们工作的启发, 我认为因果凝聚得到的不仅包括希尔伯特空间中的态(相当于单粒子纯态), 还包括福克空间中的态(相当于多粒子复合态).

图和因果网络的粗粒化在数学领域内被研究的很少. 但在物理领域, 粗粒化是非常重要的构造. 

最早粗粒化的思想就出现在统计物理中, 玻尔兹曼熵就是依赖粗粒化定义的. 香农的信息熵也是依赖于粗粒化. 量子信息中的冯诺依曼熵同样依赖系统的粗粒化分解.

在量子场论和凝聚态物理中, 粗粒化是一个重整化理论中的核心构造. 格点规范理论中的重整化是建立在格点系统的粗粒化基础上.  粗粒化和张量范畴的联系首先出现在弦网凝聚的论文中, 其核心框架是波函数重整化. 莱文-文模型首次把张量范畴和重整化不动点联系起来. 

在数学上, 首次把粗粒化构造和图形演算建立联系的工作是我的博士论文"张量演算的组合与代数". 我证明了图形演算背后的monad恰好可以被渐进平面图的粗粒化构造描述, 并把张量范畴重新描述为粗粒化单子的代数, 进而建立了一个抽象的张量范畴的同调理论. 这一工作也是受到洛韦利等人的"How many quanta are there in a quantum spacetime" 的启发.

近些年, 背景无关的重整化, 量子参考系, 因果体理论等诸多工作都或多或少的与图的粗粒化有关.

下面是对前面内容的一个总结: 从定义路径积分测度的问题出发, 贝兹构造采用三种技术得到了由自旋网络张成的运动学希尔伯特空间, 这三种技术可以完全自然拓展到纯粹的范畴学层面. 在因果凝聚框架下, 贝兹的三个技术分别对应于逗号范畴, 余层构造和左Kan扩张.

利用泛函分析和投影极限的思路, 无穷维的路径积分问题可以得到严格地数学定义, 我认为这是圈量子引力领域对于数学物理最重要的贡献之一, 但是其重要性没有被大家所了解和重视. 费曼的路径积分一直以来都被认为具有重要的范畴学性质, 阿提亚对于拓扑场论的公理化定义就是一个重要的例子. 除了拓扑场论, 公理化共形场论, 手征代数, 拓扑共形场论, 代数量子场论, 以及近些年定义的因子化同调理论都从不同的侧面反映了量子场论的范畴化行为特点. 弦网凝聚理论则更直接地用张量范畴来刻画强关联物质的量子序和拓扑序, 张量范畴成为基本的量子序参量. 这些理论都反映了范畴学和物理学之间越来越密切的联系.

因果凝聚在形式上和因子化同调平行, 在框架上和弦网凝聚一致的, 可以看作是对路径积分的范畴性另一种证明. 在因果凝聚框架下, 背景无关性, 粗粒化构造可以得到更深层的理解, 为我们理解时空, 引力和量子场的非微扰性质(量子序结构),以及复杂系统的涌现行为带来了新的思路. 在我的下一个报告中, 我将讨论因果凝聚框架和范畴数据库理论, 人工智能的统一理论的密切而自然的联系.

最后是开放问题和展望.

第一个开放问题是对因果代数余连续性的猜想, 它本质上是关于粗粒化的猜想.在因果网络范畴中, 粗粒化恰好被刻画为余等化子. 我们猜测对称张量范畴应该被刻画为具有余连续性(保持余等化子)的因果代数, 就像范畴应该被刻画为满足Segal条件的单纯集或者E_1代数. 后者是著名的Nerve定理(神经定理), 由格罗腾迪克提出, Segal给出严格的说明. 从这个角度, 因果代数理论可以看作是格罗腾迪克-西格尔Nerve定理的张量型推广, 把序数范畴或单纯范畴或梯子范畴推广到因果网络范畴.保持粗粒化, 或者余连续性, 可以看作是重整化不动点条件的另外一种等价刻画.

第二个开放问题, 是对一般定向图做出平行的框架. 一般的定向图允许定向环路的存在. 在图形演算理论中, 定向环路的收缩对应于张量的偏迹运算(partial trace), 这是描述反馈,不动点, 内积和定义纠缠熵的基本结构. 在彭罗斯的原始图形演算中, 偏迹运算是一个基本的操作, 数学家已经证明彭罗斯的图形演算体系实际上恰好是带迹的对称张量范畴(traced symmetric monoidal category)的图形演算.

第三个问题, 涉及到背景无关量子场论的动力学描述问题. 在背景无关的量子场论中, 如何描述量子场的动力学行为? 一个初步的思路是, 不能用一个经典的作用量, 而是用一个具有微分同胚不变性的量子态来定义系统的动力学. 一般猜测, 这样的微分不变量子态应该生活在运动学希尔伯特空间的对偶空间中. 原因是运动学希尔伯特空间具有微分同胚群的酉作用, 其中只有平凡的微分不变量子态. 

在圈量子引力领域,寻找微分同胚不变量子态的标准手段,是所谓的群平均技术.

微分同胚不变的量子态, 是运动学希尔伯特空间的对偶空间中的元素, 形式上可以表示为所有自旋网络态的线性叠加, 其叠加系数与微分同胚的轨道体积有关, 这完全类似于狄拉克delta函数的傅里叶变换. 阿什台卡-莱万多斯基测度是微分同胚不变量子态的例子. 在三维情形,所有的扭结和链环不变量也都是微分同胚不变量子态的例子. 除此之外, 贝兹顶点构造也给出一大类微分同胚不变的量子态, 它在形式上也是自旋网络态的线性叠加.

无独有偶, 在凝聚态物理领域, 莱文-文模型中的弦网凝聚态也是自旋网络的线性叠加.所以一个自然的问题就是贝兹顶点构造和弦网凝聚态之间有什么本质的联系?

现在,动力学描述的问题就是涉及到运动学希尔伯特空间的对偶空间的理解问题. 在因果凝聚框架下, 运动学希尔伯特空间的构造可以归约到对称张量范畴的选择问题, 但是它的对偶空间问题和微分同胚不变量子态的还没有一个完整的范畴学描述和解释. 希望动力学描述问题也可以有一个纯粹范畴学的回答.

在展望部分, 我主要想讨论的是因果凝聚框架对于量子引力理论能够带来哪些好处.

量子引力有三个基本的理论需求或问题: (1) 背景无关性要求; (2) 时间问题; (3) 爱因斯坦场方程的演生问题.

关于第一点, 我认为因果凝聚框架很好地体现了背景无关性, 甚至表现出远超微分同胚不变性的深刻程度. 例如, 因果网络之间的粗粒化关系, 就可以理解为量子参考系的转换问题, 这一点可以类比于流形上坐标卡的变换或者经典力学中的广义参考系的变换.

对于第二个时间问题, 我认为因果凝聚也可以给出比较满意的答案. 当然,这个问题也会和前面的动力学描述问题(第三个开放问题)相关. 作为一个彻底的背景无关理论, 量子引力应该被理解为是关于局域资源和局域信息转换的普适理论. 引力的量子场在物理学中的作用特别像微观经济学中经济行为规则的制定者和市场秩序的维护者. 引力是经济制度的制定者和市场秩序的维护者, 而不是经济行为的积极参与者. 这一理解和对凝聚态中的量子序的理解是相似的. 所以, 可以说, 量子引力理论本质上是一个关于量子序的理论. 在这样的理论中, 时间并非一个基本的变量, 系统的一致性和完整性是通过量子序来保证的.

关于第三个问题. 爱因斯坦场方程应该理解为是一个物理约束, 而不是一个动力学方程. 量子序的概念代替了动力学方程的概念. 引力的量子序在某些方面会表现出类洛伦兹几何的特征, 量子序满足的约束也会表现出对洛伦兹几何约束的特征,这一特征就是用爱因斯坦场方程刻画的. 我构想爱因斯坦场方程涌现的方式, 和从弦理论,利用重整化群流的beta方程, 导出爱因斯坦场方程的方式是类似. 换句话说, 爱因斯坦场方程的导出, 来自于某种重整化过程. 但是因为弦理论, 归根结底, 还是用微分几何语言写出来, 爱因斯坦场方程也是用微分几何语言写出来的. 所以, 在要因果凝聚框架下实现这一构造, 首要解决的问题就是范畴学语言和微分几何语言的翻译问题. 可惜, 目前而言, 我还不知道哪里存在这样的翻译机制. 

但是有一个值得借鉴的翻译机制, 已经被数学家发明出来了, 即所谓综合微分几何纲领. 这一纲领的核心理论包括度量测度空间理论和最优传输理论.  数学家已经可以从最优传输理论导出爱因斯坦场方程, 只是不知道这一机制的范畴学对应是什么, 因此这一构想的最终实现, 还要寄希望于范畴学方面的进展.

以上的考量, 主要是在数学形式和数学语言方面. 我认为在物理方面, 因果凝聚理论可能更加符合量子引力的需求. 在ppt中, 我比较了五个致力于或密切相关于量子引力的物理理论和因果凝聚的关系. 它们分别是因果集理论, 圈量子引力, 格点规范理论, 量子序理论, 扭量理论. 

在不同的层次和不同的角度, 它们都分别捕捉或论证了量子引力的某些特征. 比如, 因果集抓住了因果性和背景无关性; 圈量子引力用自旋网络刻画了引力量子; 格点规范理论通过贝兹构造间接与因果凝聚理论联系起来, 它抓住的是引力的非微扰特征; 量子序理论抓住了长程关联和量子信息这一本质, 反映了量子引力的强关联特征; 扭量理论则抓住了所有无质量规范场都以光速运动这一普适规律, 或者, 光的轨迹(光线/扭量)的普适性, 从而可以合理地做出量子引力的光线/扭量本体承诺. 

但是, 另一方面, 这五个理论又各自存在着内在的框架性问题, 难以用技术性手段绕过去.  比如, 因果集理论的低能有效理论面临严重的"熵问题", 使得它的低能有效理论比较困难; 圈量子引力的面临严重的时间问题; 格点规范理论面临背景无关问题; 量子序理论面临背景无关问题; 扭量理论面临量子化问题, 等等.

综合看来, 各个理论各有利弊, 但是又形成了优劣互补的态势. 比如, 因果集理论和圈量子引力, 都有背景无关性, 前者的因果性可以减轻后者的时间问题压力. 圈量子引力和量子序理论都严重依赖自旋网络这一相同的数学对象. 因果集理论和扭量理论都把因果性作为第一性原理, 如果把时空流形看作是扭量织成的地毯, 就可以缓解因果集理论演生宏观时空的困难. 格点规范理论和量子序理论, 都面临背景无关的问题, 但是它们又相当于是一枚硬币的两面, 前者采用作用量描述, 是协变的, 后者采用哈密顿量描述, 是正则的. 弦网凝聚的物理图像, 更是可以看作是光线或扭量形成的量子液体, 这是法拉第力线思想的量子版本. 

在我看来, 因果凝聚基本上把五个理论的优势集成了起来, 同时又自然地避免了它们的劣势. 除此之外, 非交换几何, 弦理论等理论也在一定程度上与因果凝聚框架相契合. 这是以后讨论的内容. 总而言之, 因果凝聚为量子引力提供了一个非常有希望的框架, 再加上它在人工智能方面表现出的潜力, 可以为"物理-智能对偶"提供最坚实的数学支撑.

支持单位：