量子科技中心_量科网

同态不可区分性是一种用于刻画图（graph）上多种自然等价关系的方法。对于图类中的两个图G和H，如果对于每个F∈，从F到G的同态数量等于从F到H的同态数量，则称G和H在该图类上是同态不可区分的。这类等价关系的例子包括同构性（isomorphism）、共谱性（cospectrality），以及与多种形式逻辑相关的等价性。量子群是拓扑群的一种推广，用于描述“非交换对称性”，并在量子信息理论等领域具有应用。其中，易量子群（easy quantum groups）是一个重要的子类，它们具有组合特征，并且已被Raum和Weber完全分类。Mančinska和Roberson最近在这些看似遥远的概念之间建立了联系，他们证明了量子同构性（quantum isomorphism）——一种可以用量子对称群（quantum symmetric group）表述的经典同构性的松弛形式——等价于在平面图类上的同态不可区分性。该研究团队将Mančinska和Roberson的结果推广到所有正交易量子群。对于每个正交易量子群，研究人员获得了一个图同构松弛≈和一个图类，使得在该图类上的同态不可区分性与≈一致。该工作的结果包括对图论量子群的(0,0)-交织子（intertwiners）的完整分类，这些交织子是通过将图的邻接矩阵添加到正交易量子群的交织子中得到的。