量子科技中心_量科网

该研究团队采用一种序理论的方法来研究电路（字符串图）的语法，将电路视为带有额外输入-输出结构的偏序集。研究人员定义了电路之间的态射，并证明了一个分解定理，表明在有限情况下，这些态射可以形式化地表示语法层面的电路重写概念，其中商映射尤其对应于门电路的组合。随后，该工作通过输入与输出间的二元关系来表征电路的连通性，并将形式概念分析中的概念格刻画为具有相同连通性的所有电路中唯一的最小电路——该电路允许来自其他所有同类电路的态射存在。这一发现对量子因果性研究具有重要意义，尤其为研究酉变换的因果分解提供了理论支撑。最后，该团队通过构造对偶命题所描述的电路完成了理论框架的闭环。