机构名称：
¥ 1.0
摘要 在量子计算和量子信息处理中，图状态是一种特殊类型的量子状态，常用于量子网络和量子纠错。一个反复出现的问题是仅使用局部操作找到从给定源图状态到所需目标图状态的转换。最近有研究表明，确定可转换性已经是 NP 难问题。在本文中，我们提出了一种用于局部和非局部图状态操作的 CNF 编码，对应于一和两量子比特 Clifford 门和单量子比特 Pauli 测量。我们在有界模型检查设置中使用此编码来合成所需的转换。此外，对于局部转换的完整性阈值，我们提供了转换长度的上限（如果存在）。我们在两种设置中评估该方法：第一种是从可以改变量子比特数量的随机图状态合成无处不在的 GHZ 状态，而第二种则基于拟议的 14 节点量子网络。我们发现该方法能够在 30 分钟内合成多达 17 个量子比特的图形转换。
使用 SAT 进行量子图态合成
主要关键词
相关文件推荐
