量子科技中心_量科网

张量网络和电路是广泛用于表示伪布尔函数的数据结构。这两种形式化方法此前主要在各自不同的研究领域中被探讨，而本文旨在建立它们之间的等价关系。我们证明，实践中具有吸引力的某些张量网络类别，对应于知识编译领域中被研究为**可处理电路**的特定属性电路类别。具体而言，我们证明矩阵乘积态（张量列）与不确定边值决策图等价，而树张量网络则精确对应结构化可分解电路。这些对应关系使得结构与算法成果能够直接迁移：例如，电路已知的规范性与可处理性保证可为相关张量网络提供类似保障，反之亦然。