文件Open Access徽标

关于晶格畸变问题

作者 哈克·贝内特, 丹尼尔·达杜什, 诺亚·斯蒂芬斯·达维多维茨



PDF格式
缩略图PDF

文件

LIPIcs公司。欧洲安全局2016.9.pdf
  • 文件大小:0.6 MB
  • 17页

文件标识符

作者详细信息

哈克·贝内特
丹尼尔·达杜什
诺亚·斯蒂芬斯·达维多维茨

引用为获取BibTex

哈克·贝内特、丹尼尔·达杜什和诺亚·斯蒂芬斯·达维多维茨。关于晶格畸变问题。在第24届欧洲算法年度研讨会(ESA 2016)上。莱布尼茨国际信息学论文集(LIPIcs),第57卷,第9:1-9:17页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2016)
https://doi.org/10.4230/LIPIcs.ESA.2016.9

摘要

我们介绍并研究了晶格畸变问题(LDP)。LDP问这两个格子有多“相似”。也就是说,两个格之间线性双射的最小失真是多少?LDP推广了格同构问题(图同构的格模拟),它只问最小值畸变是其中之一。作为我们的第一个贡献,我们证明了任意两个晶格之间的畸变通过其连续极小值的简单函数近似为n^{O(log(n))}因子。我们的方法是构造性的,允许我们计算多项式时间内最优因子2^{O(n*log(log(n))/log(n。我们的算法依赖于Seysen(Combinatorica 1993)引入的基约简概念,我们表明这与晶格畸变密切相关。最后,通过对最短向量问题的简化,我们证明了LDP在任何常数因子内(在随机约简下)都是NP-hard近似。
关键词
  • 格子
  • 晶格畸变
  • 格子等距
  • 数的几何
  • 基础降低

韵律学

工具书类

  1. 米克洛斯·阿杰泰(Miklós Ajtai)。生成晶格问题的硬实例。STOC,1996年。谷歌学者
  2. 米克洛斯·阿杰泰(Miklós Ajtai)。L2中最短向量问题是随机约简的NP-hard问题。STOC,1998年。网址:http://dx.doi.org/10.1145/276698.276705
  3. 米克洛斯·阿伊泰(Miklós Ajtai)、拉维·库马尔(Ravi Kumar)和D.西瓦库玛(D.Sivakumar)。最短格向量问题的筛算法。STOC,第601-610页,2001年。网址:http://dx.doi.org/10.1145/380752.380857
  4. 桑吉夫·阿罗拉(Sanjeev Arora)、阿兰·弗里兹(Alan Frieze)和哈伊姆·卡普兰(Haim Kaplan)。赋值问题的一种新舍入方法及其在稠密图排列问题中的应用。《数学程序设计》,2002年。网址:http://dx.doi.org/10.1007/s101070100271
  5. 维克拉曼·阿尔文德(Vikraman Arvind)、约翰内斯·科布勒(Johannes Köbler)、塞巴斯蒂安·库内特(Sebastian Kuhnert)和雅杜·瓦苏德夫(Yadu Vasudev)。近似图同构。《计算机科学数学基础》,2012年。谷歌学者
  6. 巴拜(L.Babai)。拟多项式时间的图同构,2016。网址:http://arxiv.org/abs/1512.03547
  7. W.Banaszczyk。数字几何中一些转移定理的新界。Mathematische Annalen,296(1):625-6351993年。网址:http://dx.doi.org/10.1007/BF01445125
  8. 兹维卡·布拉克斯基(Zvika Brakerski)和维诺德·瓦昆塔纳坦(Vinod Vaikuntanathan)。基于格的FHE与PKE一样安全。ITCS,2014年。网址:http://dx.doi.org/10.1145/2554797.2554799
  9. J.Conway和N.J.A.Sloane。球体填料、格子和组。施普林格,纽约,1998年。谷歌学者
  10. 尼古拉斯·伽马(Nicolas Gama)和冯庆恩(Phong Q.Nguyen)。在莫代尔不等式中寻找短格向量。STOC,2008年。网址:http://dx.doi.org/10.1145/1374376.1374408
  11. 克雷格·金特里。使用理想格的完全同态加密。STOC,2009年。谷歌学者
  12. Craig Gentry、Chris Peikert和Vinod Vaikuntanathan。硬格子和新密码构造的陷阱门。STOC,2008年。谷歌学者
  13. 奥德·戈德雷奇(Oded Goldreich)、丹尼尔·米恰尼西奥(Daniele Micciancio)、什穆埃尔·萨夫拉(Shmuel Safra)和让·保尔·塞弗特(Jean-Paul Seifert)。近似最短晶格向量并不比近似最近晶格向量困难。信息处理快报,71(2):55-611999。网址:http://dx.doi.org/10.1016/S0020-0190(99)00083-6
  14. Ishay Haviv和Oded Regev。基于张量的最短向量问题的硬度几乎在多项式因子范围内。计算理论,8(23):513-5312012。STOC'07的初步版本。谷歌学者
  15. Ishay Haviv和Oded Regev。关于格同构问题。SODA,2014年。网址:http://dx.doi.org/10.1137/1.9781611973402.29
  16. 拉维·坎南。Minkowski凸体定理与整数规划。运筹学数学,12(3):第415-440页,1987年。网址:http://www.jstor.org/stable/3689974
  17. Subhash Khot。格中最短向量问题的逼近硬度。美国医学会杂志,52(5):789-8082005年9月。FOCS’04中的初步版本。谷歌学者
  18. A.Korkine和G.Zolotareff。苏尔形成方形。《数学年鉴》,6(3):366-3891873。网址:http://dx.doi.org/10.1007/BF01442795
  19. J.C.Lagarias、Hendrik W.Lenstra Jr.和Claus-Peter Schnorr。Korkin-Zolotarev基和格及其互反格的连续极小值。Combinatorica,10(4):333-3481990。网址:http://dx.doi.org/10.1007/BF02128669
  20. A.K.Lenstra、H.W.Lenstra Jr.和L.Lovász。有理系数分解多项式。《数学年鉴》,261(4):515-5341982年。网址:http://dx.doi.org/10.1007/BF01457454
  21. Hendrik W.Lenstra Jr.和Alice Silverberg,《对称晶格》,2014年。网址:http://arxiv.org/abs/1501.00178
  22. 丹尼尔·米奇安西奥(Daniele Micciancio)。最短向量问题是一个NP-hard近似于某个常数的问题。SIAM计算机杂志,30(6):2008-20352001年3月。FOCS 1998中的初步版本。谷歌学者
  23. 丹尼尔·米恰尼西奥和奥德·雷格夫。基于高斯测度的最坏情况到平均情况的减少。SIAM计算机杂志,37(1):267-3022007。谷歌学者
  24. Daniele Micciancio和Panagiotis Voulgaris。基于Voronoi细胞计算的大多数晶格问题的确定性单指数时间算法。SIAM J.计算。,42(3):1364-1391, 2013. 网址:http://dx.doi.org/10.1137/100811970
  25. H.闵可夫斯基。扎伦几何。《扎伦几何》中的数字v.1。B.G.Teubner,1910年。谷歌学者
  26. W.Plesken和B.Souvignier。计算格的等距。符号计算杂志。,24(3-4):327-334, 1997. 计算代数和数论(伦敦,1993)。谷歌学者
  27. 奥德·雷格夫。2009年“计算机科学中的格”课程讲义。网址:http://www.cims.nyu.edu/~regev/teaching/tractices_fall_2009/index.html
  28. 奥德·雷格夫。关于格、错误学习、随机线性码和密码学。ACM杂志,56(6):第34、40条,2009年。网址:http://dx.doi.org/10.1145/1568318.1568324
  29. C.P.施诺尔。多项式时间格基约简算法的层次结构。理论计算机科学,1987年。网址:http://dx.doi.org/10.1016/0304-3975(87)90064-8
  30. 马丁·塞森。格基及其倒数基的同时约化。Combinatorica,13(3):363-3761993年。网址:http://dx.doi.org/10.1007/BF01202355
  31. 卡尔·路德维希·西格尔。数几何中的一个中值定理。《数学年鉴》,46(2):第340-347页,1945年。网址:http://www.jstor.org/stable/1969027
  32. 马修·杜图·西基里奇(Mathieu Dutour Sikiric)、阿奇尔·舒尔曼(Achill Schürmann)和弗兰克·瓦勒顿(Frank Vallenton)。计算格的Voronoi单元的复杂性和算法。数学。计算。,78(267):1713-1731, 2009. 网址:http://dx.doi.org/10.1090/S0025-5718-09-02224-8
  33. Lloyd N.Trefethen和David Bau III.数字线性代数。SIAM:工业和应用数学学会,1997年。国际标准书号0898713617。谷歌学者
问题/备注/反馈
X

Dagstuhl出版社反馈


感谢您的反馈!

提交的反馈

无法发送消息

请稍后再试或发送电子邮件