精确非同一性检验和基于门传送的不可区分性混淆对于低T深度量子电路是NP难问题

2021年,布罗德本特和卡兹米提出了一种基于门传输的量子电路计算不可区分混淆协议。该协议对于具有对数数量T门的Clifford+T电路具有高效性,其效率限制因素在于:给定量子电路C时,经典计算任务难以生成由C对保罗算子P(对应于贝尔测量结果)进行共轭操作所获得的幺正描述,且该描述仅取决于CPC†的输入输出功能。 上述任务至少与判定两个n量子比特电路在全局相位上是否完全等价的问题难度相当。2009年,田中定义了相应的判定问题“精确非同一性检验”(ENIC),并证明ENIC通常具有NQP完全性。受此启发,该研究团队在本工作中探讨了从低T数量转向低T深度时的情况。特别地,研究人员证明对于T深度为O(log(n))的Clifford+T电路,判定ENIC属于NP难问题。这一结论实质上排除了在T深度为对数的Clifford+T电路中,存在高效ENIC或基于门传输的高效计算不可区分混淆方案的可能性——除非P=NP成立。
作者单位: VIP可见
页数/图表: 登录可见
提交arXiv: 2025-11-22 00:51

量科快讯