量子科技中心_量科网

弯曲布尔逻辑（CBL）通过允许局部真值赋值无法扩展到单一全局赋值的方式，推广了命题逻辑，类似于几何学中的曲率概念。该研究团队提供了等价的分层结构和互斥图语义，以及一种在平坦极限下保持保守性的上下文感知证明演算系统。该工作形式化了CBL-SAT问题及其基本复杂度（通常为NP完全问题），并提出了可在经典硬件上更早修剪矛盾的操作性算子（CBL-AC和CBL-CONS）。该团队通过独立同分布、AR(1)相关和对抗性有界扰动对噪声进行建模，并采用基于置换的显著性检验与Benjamini-Hochberg错误发现率控制。附带的可直接运行的Colab笔记本（辅助文件）可重现所有图表和统计结果。该工作将CBL与KCBS、CSW及分层结构框架进行对比定位，并概述了其与SAT/CSP问题以及大语言模型中鲁棒性/适配器稳定性的联系。