arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2003.11777quant-phcs.DScs.LG
收藏

鲁棒量子极小值发现及其在假设选择中的应用

Robust quantum minimum finding with an application to hypothesis selection

Stanford University(斯坦福大学);IBM Research Almaden(IBM阿尔马登研究中心);Centre for Quantum Technologies, National University of Singapore(新加坡国立大学量子技术中心)

Yihui Quek, Clement Canonne, Patrick Rebentrost

摘要:

我们考虑的问题,找到最小元素的列表长度$N$使用噪声比较器。噪声建模如下:给定两个元素进行比较,如果元素的值与元素上定义的某个度量相差至少$α$,则将正确进行比较;如果元素的值比$α$更接近,则比较的结果不受任何保证的影响。我们证明了一个量子算法的噪声量子最小值的发现,保留了无噪声的情况下的二次加速:我们的算法运行在时间$\tilde O(\sqrt{N (1+Δ)})$,其中$Δ$是一个上限的间隔$α$内的元素的数量,并输出一个很好的近似的真实的最小值具有很高的概率。我们的噪声比较器模型的动机是假设选择的问题,其中给定一组$N$已知的候选概率分布和来自未知目标分布的样本,人们试图输出一些候选分布$O(\varepsilon)$ -接近未知目标。经典前沿的许多工作都致力于加快从$O(N^2)$到$O(N)$的经典假设选择的运行时间,部分是通过使用统计原语,如Scheffé检验。假设一个量子预言机的经典数据访问和应用我们的噪声量子最小值发现算法,我们把这个运行时间到次线性制度。最终预期运行时间为$\tilde O( \sqrt{N(1+Δ)})$,未知分布的$O(\log N)$样本复杂度与经典算法相同。我们希望强大的量子最小值发现是一个有用的构建块的算法的情况下,比较器(这可能是另一个量子或经典算法)是分辨率有限的或受到一些不确定性。

英文摘要:

We consider the problem of finding the minimum element in a list of length $N$ using a noisy comparator. The noise is modelled as follows: given two elements to compare, if the values of the elements differ by at least $α$ by some metric defined on the elements, then the comparison will be made correctly; if the values of the elements are closer than $α$, the outcome of the comparison is not subject to any guarantees. We demonstrate a quantum algorithm for noisy quantum minimum-finding that preserves the quadratic speedup of the noiseless case: our algorithm runs in time $\tilde O(\sqrt{N (1+Δ)})$, where $Δ$ is an upper-bound on the number of elements within the interval $α$, and outputs a good approximation of the true minimum with high probability. Our noisy comparator model is motivated by the problem of hypothesis selection, where given a set of $N$ known candidate probability distributions and samples from an unknown target distribution, one seeks to output some candidate distribution $O(\varepsilon)$-close to the unknown target. Much work on the classical front has been devoted to speeding up the run time of classical hypothesis selection from $O(N^2)$ to $O(N)$, in part by using statistical primitives such as the Scheffé test. Assuming a quantum oracle generalization of the classical data access and applying our noisy quantum minimum-finding algorithm, we take this run time into the sublinear regime. The final expected run time is $\tilde O( \sqrt{N(1+Δ)})$, with the same $O(\log N)$ sample complexity from the unknown distribution as the classical algorithm. We expect robust quantum minimum-finding to be a useful building block for algorithms in situations where the comparator (which may be another quantum or classical algorithm) is resolution-limited or subject to some uncertainty.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑