[论文解读] Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint

Jin‐Yi Cai, Ben Young|arXiv (Cornell University)|Dec 6, 2022

Algebraic structures and combinatorial models被引用 1

一句话总结

本文利用霍朗特框架，建立了平面#CSP等式与量子同构之间的对应关系。证明了两组实值约束函数在所有平面实例上的霍朗特值相等，当且仅当它们是量子同构的，通过一种新颖的全息变换（使用量子置换矩阵）以及一种新的具有投影连通性的量子自构群概念实现。

ABSTRACT

Recently, Mančinska and Roberson proved [Mančinska and Roberson, 2020] that two graphs G and G' are quantum isomorphic if and only if they admit the same number of homomorphisms from all planar graphs. We extend this result to planar #CSP with any pair of sets ℱ and ℱ' of real-valued, arbitrary-arity constraint functions. Graph homomorphism is the special case where each of ℱ and ℱ' contains a single symmetric 0-1-valued binary constraint function. Our treatment uses the framework of planar Holant problems. To prove that quantum isomorphic constraint function sets give the same value on any planar #CSP instance, we apply a novel form of holographic transformation of Valiant [Valiant, 2008], using the quantum permutation matrix 𝒰 defining the quantum isomorphism. Due to the noncommutativity of 𝒰’s entries, it turns out that this form of holographic transformation is only applicable to planar Holant. To prove the converse, we introduce the quantum automorphism group Qut(ℱ) of a set of constraint functions/tensors ℱ, and characterize the intertwiners of Qut(ℱ) as the signature matrices of planar Holant(ℱ | EQ) quantum gadgets. Then we define a new notion of (projective) connectivity for constraint functions and reduce arity while preserving the quantum automorphism group. Finally, to address the challenges posed by generalizing from 0-1 valued to real-valued constraint functions, we adapt a technique of Lovász [László Lovász, 1967] in the classical setting for isomorphisms of real-weighted graphs to the setting of quantum isomorphisms.

研究动机与目标

• 将量子同构的刻画从图同态推广至具有实值约束函数的一般平面#CSP实例。
• 在所有平面实例上建立霍朗特值相等性与约束函数集量子同构性之间的完整对应关系。
• 基于量子自构群与投影连通性，构建一个新框架，将经典同构技术推广至量子设置。
• 将洛瓦兹的经典同构技术适配至实权重图的量子同构设置，克服非交换量子置换带来的挑战。

提出的方法

• 引入一种基于量子置换矩阵 $ U $ 的新颖全息变换形式，由于拓扑约束，该变换在平面约束下保持霍朗特值不变。
• 定义约束函数集 $ F $ 的量子自构群 $ \mathrm{Qut}(F) $，并将其互致子（intertwiners）表征为平面霍朗特(F | EQ)装置的签名矩阵。
• 引入约束函数的新概念（投影）连通性，以降低其元数，同时保持量子自构群不变。
• 利用量子对称群 $ S^+_q $ 的基本表示，分析量子置换矩阵的结构及其在张量积上的作用。
• 应用洛瓦兹技术的量子版本，证明所有平面图的同态计数相等可推出量子同构。
• 利用典范范畴中的图示化推理，形式化平面霍朗特设置中装置复合、共轭（$ \dagger $）与对偶（$ \ast $）操作。

实验结果

研究问题

• RQ1 在何种条件下，两组实值约束函数在所有平面实例上产生相同的霍朗特值？
• RQ2 能否通过所有平面#CSP实例上霍朗特值的相等性来刻画量子同构条件？
• RQ3 如何将洛瓦兹的经典同构理论推广至实权重约束函数的量子设置？
• RQ4 量子置换矩阵的非交换性在何种程度上限制了全息变换仅适用于平面实例？
• RQ5 如何利用量子自构群与装置对偶性来降低元数，同时保持量子同构性？

主要发现

• 两组实值约束函数当且仅当在每个平面#CSP实例上产生相同的霍朗特值时，才是量子同构的。
• 使用量子置换矩阵 $ U $ 的全息变换在平面设置下保持霍朗特值不变，这是由于非交换性引发的拓扑约束所致。
• 量子自构群 $ \mathrm{Qut}(F) $ 的互致子恰好是平面霍朗特(F | EQ)装置的签名矩阵。
• 新提出的（投影）连通性概念允许在保持量子自构群不变的前提下降低约束函数的元数。
• 该证明技术将洛瓦兹的经典同构判据推广至量子设置，表明所有平面图的同态计数相等可推出量子同构。
• 平面装置范畴 $ \mathcal{G}_F $ 构成一个典范自伴范畴，其中 $ \dagger $ 与 $ \ast $ 操作分别对应共轭转置与通过边旋转实现的对偶。