用于隐藏群性质的量子测试器

我们针对两个存在性群性质构造了高效或查询高效的量子性质测试器，这两个性质在量子计算模型中的判定问题以及在经典计算模型中的测试问题均具有指数级查询复杂度。它们是群中的周期性与两个函数在某个正规子群的每个陪集内具有相同值域的公共陪集值域性质。我们的周期性测试器在阿贝尔群中高效，并在多个方面推广了先前的周期性测试器。这是通过引入一种 refinement 多数校正过程的技术实现的，该过程广泛用于证明代数性质的鲁棒性。非阿贝尔群中的周期性测试器与公共陪集值域测试器是查询高效的。