We consider the problems of testing and learning quantum $k$-junta channels, which are $n$-qubit to $n$-qubit quantum channels acting non-trivially on at most $k$ out of $n$ qubits and leaving the rest of qubits unchanged. We show the following. 1. An $\widetilde{O}\left(k\right)$-query algorithm to distinguish whether the given channel is $k$-junta channel or is far from any $k$-junta channels, and a lower bound $\Omega\left(\sqrt{k}\right)$ on the number of queries; 2. An $\widetilde{O}\left(4^k\right)$-query algorithm to learn a $k$-junta channel, and a lower bound $\Omega\left(4^k/k\right)$ on the number of queries. This gives the first junta channel testing and learning results, and partially answers an open problem raised by Chen et al. (2023). In order to settle these problems, we develop a Fourier analysis framework over the space of superoperators and prove several fundamental properties, which extends the Fourier analysis over the space of operators introduced in Montanaro and Osborne (2010).
翻译:我们考虑量子$k$-Junta信道的测试与学习问题,这类信道是$n$量子比特到$n$量子比特的量子信道,其非平凡作用仅涉及$n$个量子比特中的至多$k$个,其余量子比特保持不变。我们证明了以下结论:1. 存在一个$\widetilde{O}\left(k\right)$次查询的算法,用于区分给定信道是否为$k$-Junta信道或远离所有$k$-Junta信道,并给出查询次数的下界$\Omega\left(\sqrt{k}\right)$;2. 存在一个$\widetilde{O}\left(4^k\right)$次查询的算法用于学习一个$k$-Junta信道,并给出查询次数的下界$\Omega\left(4^k/k\right)$。这首次给出了Junta信道测试与学习的结果,并部分回答了Chen等人(2023)提出的公开问题。为解决这些问题,我们在超算子空间上建立了傅里叶分析框架,并证明了若干基本性质,该框架扩展了Montanaro和Osborne(2010)在算子空间上引入的傅里叶分析。