层论的语境定义对我们理解语境起到了重要作用,因为它为直观的语境概念提供了精确的数学结构。层论框架最早由 Abramsky 和 Brandenburger [11, 13] 提出,他们在测量场景中定义了事件和分布,并确定了这些概念的层结构。在这里,我们可以将全局分布与隐变量模型联系起来,该模型因无法解释量子理论的独特特征而闻名。Abramsky、Barbosa 和 Mansfield [16] 进一步探讨了语境的一种度量。这项工作开辟了在给定量子场景中量化语境的方法。随后同调方法对语境的研究也为在给定测量场景中观察语境提供了重要的方法。 Abramsky、Mansfield 和 Barbosa [12] 提出了基于ˇ Cech 上同调不变量的方法,该方法利用层上同调的强大工具来检测经验模型中的语境性。Okay、Roberts、Bartlett 和 Raussendorf [21] 的提议建立了识别语境性的拓扑方法,该方法有可能提供更精细的分析,尽管必须考虑额外的拓扑结构。Aasnæss [18] 将这些方法联系起来,通过将论据从一种转化为另一种,补充了每种方法的通用性和完整性。另一方面,同一研究小组还描述了一种更强形式的语境性,即全有与全无 (AvN) 论据。Abramsky 等人 [14, 15] 参考 Mermin [9, 10] 的观察,将量子信息系统中的逻辑不一致性形式化为 AvN 论证。在 Aasnæss [18] 的著作中,这种语境性也被看作是上同调群的一个障碍。虽然层论框架为 MBQC 和浅层电路的量子优势提供了论证基础,但应用的最后一个案例,即参考文献 23 和 24,可以追溯到 Kochen 和 Specker 关于形式化语境性的框架,即所谓的封闭子理论中的语境性。这个概念似乎用
图 1 自主神经病变的诊断方法。CV,心血管;GI,胃肠道;GU,泌尿生殖系统;ED,勃起功能障碍;ARS,自主神经反射筛查;ECG,心电图;TST,体温调节发汗测试;MR,磁共振;PNS,周围神经系统;CNS,中枢神经系统;NMDA,抗 N-甲基 D-天冬氨酸 (NMDA) 脑炎;OH,直立性低血压;NCS,神经传导研究;AAG,自身免疫性自主神经节病;LEMS,兰伯特·伊顿重症肌无力综合征;ANNA-1,抗神经元核抗体 1 型;CRMP-5,Collapsin 反应介质蛋白 5;ANA,抗核抗原;ENA,可提取性核抗原;GBS,格林-巴利综合征;AASN,急性自主神经和感觉神经病变; TIND,治疗引起的糖尿病神经病变;AL,获得性轻链;TTR,转甲状腺素蛋白;HSAN,遗传性感觉自主神经病变;TTG,组织型转谷氨酰胺酶;IENFD,表皮内神经纤维密度;POTS,体位性心动过速综合征;OH,直立性低血压;SBP,收缩压;DBP,舒张压