基于符号求和的隐藏位移电路多项式时间经典仿真

最近年来，Roetteler的移位偏置函数算法的实现被用于测试和基准测试经典仿真算法和量子硬件。这些电路具有许多有利特性，包括可调的非Clifford资源量和确定性输出，此外这些电路不属于已知可高效仿真的量子电路任何类群。我们展示了这一族电路实际上可以通过符号路径积分在多项式时间内进行仿真。为此，我们赋予符号求和以可收敛的重写系统，证明该重写系统足以将电路的路径积分在多项式时间内化简为隐藏位移。我们因此解决了一个关于该电路族高效可仿真性的公开猜想。