基本量子子例程:查找多个标记元素并对数字求和

基本量子子例程:查找多个标记元素并对数字求和

基本量子子例程:查找多个标记元素并对数字求和 PlatoBlockchain 数据智能。垂直搜索。人工智能。

乔兰·范·阿珀尔多伦1, 桑德·格里布林2哈罗德·纽布尔3

1IViR 和 QuSoft,荷兰阿姆斯特丹大学
2计量经济学和运筹学系,蒂尔堡大学,蒂尔堡荷兰
3荷兰阿姆斯特丹大学 Korteweg–de Vries 数学和 QuSoft 研究所、德国波鸿鲁尔大学计算机科学系和丹麦哥本哈根大学数学科学系

觉得本文有趣或想讨论? 在SciRate上发表评论或发表评论.

抽象

我们展示了如何使用最佳数量 $O(sqrt{N k})$ 的量子查询以及门复杂度中的多对数开销,在大小为 $N$ 的列表中查找所有 $k$ 标记的元素,其中一个人有一个小的量子存储器。以前的算法要么在门复杂度上产生 $k$ 开销,要么在查询复杂度上产生 $log(k)$ 额外因素。
然后,我们考虑寻找 $s = sum_{i=1}^N v_i$ 的乘法 $delta$ 近似值的问题,其中 $v=(v_i) in [0,1]^N$,给定量子查询访问$v$ 的二进制描述。我们给出了一种算法,使用 $O(sqrt{N log(1/rho) / delta})$ 量子查询(在 $rho$ 的温和假设下),概率至少为 $1-rho$。与直接应用幅度估计相比,这以二次方的方式改善了对 $1/delta$ 和 $log(1/rho)$ 的依赖性。为了获得改进的 $log(1/rho)$ 依赖性,我们使用第一个结果。

►BibTeX数据

►参考

[1] 斯里尼瓦桑·阿鲁纳查拉姆和罗纳德·德·沃尔夫。优化量子搜索中的门数。量子信息。计算机,17(3-4):251–261, 2017。doi:10.26421/qic17.3-4。
https:///doi.org/10.26421/qic17.3-4

[2] 何塞·A·阿德尔 (José A. Adell) 和 P. Jodrá。一些熟悉的离散分布之间的精确柯尔莫哥洛夫距离和总变异距离。不平等与应用杂志,2006(1):1–8, 2006。doi:10.1155/​JIA/​2006/​64307。
https://doi.org/10.1155/JIA/2006/64307

[3] 乔兰·范·阿珀尔多恩、桑德·格里布林、李一楠、哈罗德·尼乌波尔、迈克尔·沃尔特和罗纳德·德·沃尔夫。用于矩阵缩放和矩阵平衡的量子算法。第 48 届自动机、语言和编程国际学术研讨会论文集 (ICALP'21),第 198 卷,第 110:1–110:17 页,2021 年。arXiv:2011.12823,doi:10.4230/LIPIcs.ICALP.2021.110。
https:///doi.org/10.4230/LIPIcs.ICALP.2021.110
的arXiv:2011.12823

[4] 斯科特·阿伦森和帕特里克·拉尔。量子近似计数,简化。算法简单性研讨会,第 24-32 页,2020 年。doi:10.1137/​1.9781611976014.5。
https:/ / doi.org/10.1137/ 1.9781611976014.5

[5] 米歇尔·博耶、吉尔斯·布拉萨德、彼得·霍耶和阿兰·塔普。量子搜索的严格界限。 Fortschritte der Physik, 46(4–5):493–505, 1998。Physcomp'96 中的早期版本。 arXiv:quant-ph/​9605034。
arXiv:quant-ph / 9605034

[6] 哈里·布尔曼、理查德·克莱夫、罗纳德·德·沃尔夫和克里斯托夫·扎尔卡。小误差和零误差量子算法的界限。第 40 届计算机科学基础年度研讨会 (FOCS'99),第 358-368 页。 IEEE 计算机协会,1999 年。

[7] 吉尔斯·布拉萨德、彼得·霍耶、米歇尔·莫斯卡和阿兰·塔普。量子幅度放大和估计。载于《量子计算和量子信息:千年卷》,《当代数学》第 305 卷,第 53-74 页。美国数学会,2002。doi:10.1002/​(SICI)1521-3978(199806)46:4/​5<493::AID-PROP493>3.0.CO;2-P。
<a href="https://doi.org/10.1002/(SICI)1521-3978(199806)46:4/53.0.CO;2-P”>https:/​/​doi.org/​10.1002/​(SICI)1521-3978(199806)46:4/​5<493::AID-PROP493>3.0.CO;2-P

[8] 理查德·布伦特和保罗·齐默尔曼。现代计算机算术,第 18 卷。剑桥大学出版社,2010 年。

[9] 兰·卡内蒂、盖伊·埃文和奥德·戈尔德赖奇。用于估计平均值的采样算法的下限。信息处理快报,53(1):17–25,1995 年 10.1016 月。doi:0020/​0190-94(00171)XNUMX-T。
https:/​/​doi.org/​10.1016/​0020-0190(94)00171-T

[10] 卡洛·西利伯托、马克·赫布斯特、亚历山德罗·达维德·亚隆戈、马西米利亚诺·蓬蒂尔、安德里亚·罗切托、西蒙娜·塞韦里尼和伦纳德·沃斯尼格。量子机器学习:经典视角。英国皇家学会论文集 A:数学、物理和工程科学,474(2209):20170551,2018 年 10.1098 月。doi:2017.0551/rspa.XNUMX。
https:/ / doi.org/ 10.1098 / rspa.2017.0551

[11] 托马斯·H·科门、查尔斯·E·莱瑟森、罗纳德·L·里维斯特和克利福德·斯坦。算法简介。麻省理工学院出版社,第 4 版,2022 年。

[12] P. 迪亚科尼斯和 D. 弗里德曼。有限可交换序列。 《概率年鉴》,8(4):745–764,1980。URL:https://www.jstor.org/stable/2242823。
https:////www.jstor.org/stable/2242823

[13] 克里斯托夫·杜尔和彼得·霍耶。寻找最小值的量子算法,1996。doi:10.48550/arXiv.quant-ph/9607014。
https://doi.org/10.48550/arXiv.quant-ph/9607014
arXiv:quant-ph / 9607014

[14] 克里斯托夫·杜尔、马克·海利格曼、彼得·霍耶和迈赫迪·马拉。一些图问题的量子查询复杂性。 SIAM 计算杂志,35(6):1310–1328,2006 年 10.1137 月。doi:050644719/​XNUMX。
https:/ / doi.org/10.1137/ 050644719

[15] 保罗·达古姆、理查德·卡普、迈克尔·卢比和谢尔顿·罗斯。蒙特卡罗估计的最优算法。 SIAM 计算杂志,29(5):1484–1496,2000 年 10.1137 月。doi:0097539797315306/​SXNUMX。
https:/ / doi.org/ 10.1137 / S0097539797315306

[16] 维托里奥·乔瓦内蒂、塞斯·劳埃德和洛伦佐·马科恩。量子随机存取存储器。物理评论快报,100(16),2008 年 10.1103 月。doi:100.160501/physrevlett.XNUMX。
https:///doi.org/10.1103/physrevlett.100.160501

[17] 桑德·格里布林和哈罗德·尼乌布尔。改进了矩阵缩放的量子下限和上限。载于第 39 届计算机科学理论方面国际研讨会 (STACS'22),第 219 卷,第 35:1–35:23 页,2022 年。arXiv:2109.15282,doi:10.4230/LIPIcs.STACS.2022.35。
https:///doi.org/10.4230/LIPIcs.STACS.2022.35
的arXiv:2109.15282

[18] 马特·德·格拉夫和罗纳德·德·沃尔夫。关于姚原理的量子版本。第 19 届计算机科学理论方面研讨会 (STACS'02),计算机科学讲义第 2285 卷,第 347–358 页,柏林,海德堡,2002 年。施普林格。 doi:10.1007/​3-540-45841-7_28。
https:/​/​doi.org/​10.1007/​3-540-45841-7_28

[19] 洛夫·K·格罗弗。用于数据库搜索的快速量子力学算法。第 38 届 ACM 计算理论年会论文集 (STOC'96),第 212–219 页,1996 年。arXiv:quant-ph/9605043,doi:10.1145/237814.237866。
https:/ / doi.org/10.1145/ 237814.237866
arXiv:quant-ph / 9605043

[20] 洛夫·K·格罗弗。量子远程计算,1997 年。贝尔实验室技术备忘录 ITD97-31630F。 doi:10.48550/arXiv.quant-ph/9704012。
https://doi.org/10.48550/arXiv.quant-ph/9704012
arXiv:quant-ph / 9704012

[21] 洛夫·K·格罗弗。快速量子力学算法的框架。载于第三十届 ACM 计算理论年度研讨会 (STOC'98),第 53-62 页,1998 年。arXiv:quant-ph/9711043,doi:10.1145/276698.276712。
https:/ / doi.org/10.1145/ 276698.276712
arXiv:quant-ph / 9711043

[22] 亚辛·哈穆迪。量子亚高斯均值估计器。第 29 届欧洲算法研讨会 (ESA 2021),莱布尼茨国际信息学论文集 (LIPIcs) 第 204 卷,第 50:1–50:17 页,2021 年。doi:10.4230/​LIPIcs.ESA.2021.50。
https:///doi.org/10.4230/LIPIcs.ESA.2021.50

[23] 斯万特·詹森.几何变量和指数变量之和的尾界。统计与概率快报,135:1–6,2018。doi:10.1016/j.spl.2017.11.017。
https://doi.org/10.1016/j.spl.2017.11.017

[24] 唐纳德·欧文·高德纳。计算机编程艺术,第三卷。 Addison-Wesley,第 2 版,1998 年。URL:https://www.worldcat.org/oclc/312994415。
https://www.worldcat.org/oclc/312994415

[25] 罗宾·科塔里和瑞安·奥唐纳。当你有源代码时的平均估计;或者,量子蒙特卡罗方法。 2023 年 ACM-SIAM 离散算法年度研讨会 (SODA'23) 论文集,第 1186–1215 页,2023 年。doi:10.1137/​1.9781611977554.ch44。
https:/ / doi.org/ 10.1137 / 1.9781611977554.ch44

[26] 迈克尔·尼尔森和艾萨克·庄。 量子计算和量子信息。 剑桥大学出版社,2002年。

[27] 阿什温·纳亚克和菲利克斯·吴。近似中值的量子查询复杂度及相关统计数据。第 31 届 ACM SIGACT 计算理论研讨会论文集 (STOC'99),第 384–393 页,1999 年。arXiv:quant-ph/9804066,doi:10.1145/301250.301349。
https:/ / doi.org/10.1145/ 301250.301349
arXiv:quant-ph / 9804066

[28] B·鲁斯。泊松二项式分布的二项式逼近:Krawtchouk 展开式。概率论及其应用,45(2):258–272, 2001。doi:10.1137/​S0040585X9797821X。
https://doi.org/10.1137/S0040585X9797821X

[29] 罗伯特·M·杨。 75.9 欧拉常数。数学公报,75(472):187–190, 1991。doi:10.2307/​3620251。
https:/ / doi.org/10.2307/ 3620251

被引用

时间戳记:

更多来自 量子杂志