1简介认证和表征量子系统的动态行为是物理学中的基本任务,通常通过量子过程断层扫描(QPT)来实现[CN97]。但是,QPT非常有资源密集型。例如,所有已知的方法用于学习任意n- Qubit统一操作员的经典描述(给定的黑框查询访问),都需要对单位[GJ14]进行ω(4N)查询。另一方面,如果我们要测试统一是否具有特定的特定属性,则可以显着降低这种复杂性。这自然会导致我们考虑理论计算机科学中研究良好的财产测试框架[GOL10,BY22]。属性测试的设置(在统一动态的背景下,与本文有关)如下:给定甲骨文访问1对单位运算符U及其逆U†的设置,我们的目标是确定您是否具有某个属性或与每个单位运算符的“远处” 2,使用少量的属性使用对Oracles的呼叫来满足每个属性。我们还允许算法以一些较小的概率输出不正确的答案。在此模型中已经研究了单一动力学的几种自然特性,例如通勤性,对角度,保利(Pauli)的成员身份等。,我们将有兴趣的读者转到Montanaro和De Wolf在量子属性测试[MDW16]的调查第5.1节中,以获取更多信息。像Montanaro和Osborne [Mo10]一样,我们将统一的K -Junta称为量子K -Junta,以将其与K -Junta Boolean函数(或简单的Boolean K -Junta)区分开来。我们对这里进行测试感兴趣的属性是作为k -junta:我们说,如果仅对n个qubits的k起作用,则n qubit unition U是k -junta(对于正式定义,请参见definition 2.2)。作为一种特殊情况,量子k -juntas的概念捕获了研究的良好测试问题,如果布尔函数f:{0,1} n→{0,1}是k -junta(cf.问题1.3)。
主要关键词