代数量子运动学与SR选择
该团队作为六篇系列论文的首篇,构建了一个将非相对论量子力学与狭义相对论联系起来的算子代数框架。该框架由三个结构事实组织而成:(i)自由量子电动力学的光子扇区是一个透明的实现:经典傅里叶-麦克斯韦理论提供了一个复希尔伯特空间脚手架(内积、辛形式、薛定谔形式模方程、极化ℂ2),无需任何量子输入,而单个带有尺度ℏ的模振幅正则对易子将其提升为单光子量子电动力学,其中光子不可分性、普朗克关系E=ℏω以及自旋谱±ℏ均以定理形式呈现。(ii)常数c和ℏ扮演着不可互换的角色:c内在于每个傅里叶共轭空间,而ℏ作用于它们之间,将运动学相位速率转化为动力学可观测量。(iii)将该框架提升为具有比等时更精细的微观因果性和正能量谱的哈格-卡斯特勒网,在伽利略情形下存在结构性阻碍;该工作将此称为狭义相对论选择猜想,并确定了三条证据线索(黑格费尔特延展性;缺乏已知的伽利略多粒子分辨率;以及伽利略哈格-卡斯特勒网上的雷-施利德定理失效),其中第三条证据在本系列第二篇论文中作为精确的禁止定理被确立。该框架的模内容(富田-竹崎理论、比索尼亚诺-维希曼理论、作为库布-马丁-施温格态的安鲁效应、类型-III1普适性)被收集为代数基底,第三至第六篇论文中关于弯曲背景、动力学度量和交叉积的扩展将在此基础上运作。

