文件Open Access徽标

等式的提升定理

作者 布鲁诺·洛夫 , 萨格尼克·穆霍帕迪亚



PDF格式
缩略图PDF

文件

LIPIcs公司。STACS.2019.50.pdf
  • 文件大小:0.6 MB
  • 19页

文件标识符

作者详细信息

布鲁诺·洛夫
  • INESC-TEC和葡萄牙波尔图波尔图大学
萨格尼克·穆霍帕迪亚
  • 捷克共和国布拉格查尔斯大学计算机科学研究所

鸣谢

我们感谢苏哈伊尔·谢里夫(Suhail Sherif)、马克·维尼亚尔斯(Mark Vinyals)和苏珊娜·德·雷泽德(Susanna de Rezende)进行了许多有益的讨论,也感谢奥尔·迈尔(Or Meir)指出了论文早期草稿中的一个重要错误。我们还感谢匿名审稿人,他们的见解大大改进了论文。我们非常感谢Arkadev Chattopadhyay,他是许多关于本文主题的茶歇对话的杰出伙伴。

引用为获取BibTex

Bruno Loff和Sagnik Mukhopadhyay。平等提升定理。第36届计算机科学理论方面国际研讨会(STACS 2019)。莱布尼茨国际信息学论文集(LIPIcs),第126卷,第50:1-50:19页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2019)
https://doi.org/10.4230/LIPIcs.STACS.2019.50

摘要

我们为Eq_n的组合问题展示了一个确定性模拟(或提升)定理,其中内部函数(小工具)是n位上的Equality。当f是p位上的总函数时,很容易通过秩参数显示f o Eq_n的通信复杂度是Omega(deg(f)*n)。然而,p位上的部分函数f有一个令人惊讶的反例,使得f的任何完成f’具有deg(f’)=Omega(p),而f o Eq_n具有通信复杂性o(n)。尽管如此,我们能够证明,对于与f的AND查询复杂度密切相关的复杂性度量D(f),f o Eq_n的通信复杂度至少为D(f,以及NOR小工具奇偶决策树上下文中的提升定理。作为一个应用,我们证明了通信问题确定性通信复杂性的一个紧下限,其中Alice和Bob都是给定的p个n位字符串,并承诺要么所有字符串都是不同的,要么所有但只有一个字符串是不同的。他们想知道是哪种情况。我们证明了这个问题的复杂性是Theta(p*n)。

主题分类

ACM科目分类
  • 计算理论→电路复杂性
  • 计算理论→通信复杂性
  • 计算理论→甲骨文和决策树
关键词
  • 通信复杂性
  • 查询复杂性
  • 模拟定理
  • 相等函数

韵律学

工具书类

  1. 波阿斯·巴拉克(Boaz Barak)、马克·布拉弗曼(Mark Braverman)、习近平(Xi Chen)和阿努普·饶(Anup Rao)。如何压缩交互式通信。SIAM计算机杂志,42(3):1327-13632013。谷歌学者
  2. 保罗·比姆(Paul Beame)、托尼安·皮塔西(Toniann Pitassi)、内森·塞格林德(Nathan Segerlind)和阿维·威格德森(Avi Wigderson)。腐败和集不相交的多方NOF通信复杂性的直接和定理。《第20届CCC会议记录》,第52-66页,2005年。谷歌学者
  3. 安娜·贝纳斯科尼和布鲁诺·科多诺蒂。布尔函数作为图特征值问题的谱分析。IEEE计算机汇刊,48(3):345-3511999。谷歌学者
  4. 马克·布拉弗曼和阿努普·拉奥。信息等于摊销通信。IEEE信息理论汇刊,60(10):6058-60692014。谷歌学者
  5. Mark Braverman、Anup Rao、Omri Weinstein和Amir Yehudayoff。通过Round-Preserving Compression直接生产。第40届ICALP会议记录,第232-243页,2013年。谷歌学者
  6. Mark Braverman、Anup Rao、Omri Weinstein和Amir Yehudayoff。通信复杂性中的直接产品。第54届FOCS会议记录,第746-755页,2013年。谷歌学者
  7. 约书亚·布罗迪、哈里·布尔曼、米查尔·库克、布鲁诺·洛夫、弗洛里安·斯佩尔曼和尼古拉·维雷沙金。走向交互式信息复杂性中的反向纽曼定理。2013年第28届CCC会议记录,第24-33页。谷歌学者
  8. 哈里·布尔曼和罗纳德·沃尔夫。复杂性度量和决策树复杂性:一项调查。理论计算机科学,288(1):21-432002。谷歌学者
  9. Amit Chakrabarti和Oded Regev。Gap Hamming距离通信复杂度的一个最优下界。SIAM计算机杂志,41(5):1299-13172012。谷歌学者
  10. 阿尔卡德夫·查托帕迪耶(Arkadev Chattopadhyay)。深度三回路中的差异和底部扇入的功率。第48届FOCS会议记录,第449-458页,2007年。谷歌学者
  11. 阿尔卡德夫·查托帕迪亚和阿尼尔·阿达。多方通信分离的复杂性。技术报告TR08-002,ECCC,2008年。谷歌学者
  12. 阿尔卡德夫·查托帕迪亚、米查尔·库克、布鲁诺·洛夫和萨格尼克·穆霍帕迪亚。通过伪随机特性的模拟定理。CoRR,abs/1704.068072017年。谷歌学者
  13. 阿尔卡德夫·查托帕迪亚伊(Arkadev Chattopadhyay)、米查尔·库克(Michal Kouck)、布鲁诺·洛夫(Bruno Loff)和萨格尼克·穆霍帕迪亚(Sagnik Mukhopadhyayay)。模拟战胜了丰富性:新的数据结构下限。第50届STOC会议记录,第1013-1020页。ACM,2018年。谷歌学者
  14. 苏珊娜·德·雷泽德(Susanna F.de Rezende)、雅各布·诺德斯特伦(Jakob Nordström)和马克·维尼亚尔斯(Marc Vinyals)。有限的互动如何阻碍真正的沟通。2016年第56届FOCS会议记录。谷歌学者
  15. Irit Dinur和Or Meir。朝向KRW合成猜想:通过通信复杂性的三次公式下限。计算复杂性,27(3):375-4622018。谷歌学者
  16. 安德鲁·德鲁克。改进的随机查询复杂性的直积定理。计算复杂性,21(2):197-2442012。谷歌学者
  17. 杰夫·埃德蒙兹(Jeff Edmonds)、拉塞尔·英帕利亚佐(Russell Impagliazzo)、史蒂文·鲁迪奇(Steven Rudich)和杰里·斯加尔(JiríSgall)。通信复杂度接近电路深度下限。计算复杂性,10(3):210-2462001。谷歌学者
  18. 托马斯·费德(Tomás Feder)、埃亚尔·库什利维茨(Eyal Kushilevitz)、莫尼·纳尔(Moni Naor)和诺亚姆·尼桑(Noam Nisan)。摊销通信复杂性。SIAM计算机杂志,24(4):736-750,1995年。谷歌学者
  19. Ankit Garg、Mika Gös、Pritish Kamath和Dmitry Sokolov。单音电路分辨率下限。第50届STOC会议记录,第902-911页,2018年。谷歌学者
  20. 德米特里·加文斯基(Dmitry Gavinsky)、特洛伊·李(Troy Lee)和米克洛斯·桑塔(Miklos Santha)。关于组合的随机查询复杂性。CoRR,abs/1801.022262018年。谷歌学者
  21. Dmitry Gavinsky、Or Meir、Omri Weinstein和Avi Wigderson。朝向更好的公式下限:KRW组合猜想的信息复杂性方法。第46届STOC会议记录,第213-222页,2014年。谷歌学者
  22. Mika Gös、Rahul Jain和Thomas Watson。独立集多面体的扩展复杂性。SIAM计算机杂志,47(1):241-2692018。谷歌学者
  23. 米卡·哥尔斯、TS·杰拉姆、托尼安·皮塔西和托马斯·沃森。随机通信与分区数。2017年第44届ICALP会议记录。谷歌学者
  24. 米卡·哥尔斯(Mika Gös)、普里蒂什·卡马思(Pritish Kamath)、托尼安·皮塔西(Toniann Pitassi)和托马斯·沃森(Thomas Watson)。《对通信的质疑》,摘自2017年第32届CCC会议记录。谷歌学者
  25. Mika Gös、Shachar Lovett、Raghu Meka、Thomas Watson和David Zuckerman。矩形是非负连接。第47届STOC会议记录,第257-266页。ACM,2015年。谷歌学者
  26. 米卡·哥尔斯、托尼安·皮塔西和托马斯·沃森。确定性通信与分区数。2015年第56届FOCS会议记录。谷歌学者
  27. 米卡·哥尔斯、托尼安·皮塔西和托马斯·沃森。通信复杂性类的前景。计算复杂性,第1-60页,2015年。谷歌学者
  28. 米开朗基罗·格里尼和迈克尔·西普瑟。对数空间与NC的单调分离。《复杂性理论会议第六届年度结构会议论文集》,第294-298页,1991年。谷歌学者
  29. Prahladh Harsha、Rahul Jain、David McAllester和Jaikumar Radhakrishnan。相关性的通信复杂性。2007年第22届CCC会议记录,第10-23页。谷歌学者
  30. 约翰·霍斯塔德和阿维·威格德森。普遍关系的构成。《DIMACS研讨会论文集》,第119-134页,1990年。谷歌学者
  31. Hamed Hatami、Kaave Hosseini和Shachar Lovett。异或函数的协议结构。SIAM计算机杂志,47(1):208-2172018。谷歌学者
  32. 拉胡尔·贾恩(Rahul Jain)。新的强大的直接产品导致了通信的复杂性。ACM杂志,62(3):2015年20月。谷歌学者
  33. Rahul Jain、Hartmut Klauck和Ashwin Nayak。基于子分布界的经典通信复杂性的直积定理。第40届STOC会议记录,第599-608页,2008年。谷歌学者
  34. Rahul Jain、Attila Pereszlényi和Penghui Yao。两部分有界公共-密码通信复杂性的直积定理。《第53届FOCS会议记录》,第167-176页,2012年。谷歌学者
  35. Rahul Jain、Jaikumar Radhakrishnan和Pranab Sen。通过消息压缩实现通信复杂性的直接和定理。在第20届ICALP会议记录中,第300-315页,2003年。谷歌学者
  36. Rahul Jain和Penghui Yao。关于光滑矩形界的一个强直积定理。CoRR,abs/1209.02632012年。谷歌学者
  37. 斯塔西斯·朱克纳。布尔函数复杂性:进展和前沿。施普林格,2012年。谷歌学者
  38. 毛里西奥·卡奇默(Mauricio Karchmer)、埃亚尔·库什利维茨(Eyal Kushilevitz)和诺亚姆·尼桑(Noam Nisan)。分数覆盖和通信复杂性。SIAM离散数学杂志,8(1):76-921995。谷歌学者
  39. 毛里西奥·卡奇默(Mauricio Karchmer)、兰·拉兹(Ran Raz)和阿维·威格德森(Avi Wigderson)。通信复杂性中通过直接和的超对数深度下限。计算复杂性,5(3/4):191-2041995。谷歌学者
  40. 毛里西奥·卡奇默和阿维·威格德森。用于连接的单音电路需要超对数深度。SIAM离散数学杂志,3(2):255-2651990。谷歌学者
  41. Iordanis Kerenidis、Sophie Laplante、Virginie Lerays、Jérémie Roland和David Xiao。通过零通信协议和应用程序实现的信息复杂性下限。SIAM计算机杂志,44(5):1550-15722015。谷歌学者
  42. Pravesh K Kothari、Raghu Meka和Prasad Raghavendra。CSP的LP松弛的juntas近似矩形和弱指数下界。第49届STOC会议记录,第590-603页。ACM,2017年。谷歌学者
  43. 亚历山大·科扎钦斯基(Alexander Kozachinskiy)。评梅尔的论文《普遍关系的直和》。可从以下地址获得:https://eccc.weizmann.ac.il/report/2017/128/comment/1下载/.
  44. 亚历山大·科扎钦斯基。从扩展器到撞击分布和模拟定理。2018年第43届MFCS会议记录,第4:1-4:15页。谷歌学者
  45. Eyal Kushilevitz和Noam Nisan。沟通的复杂性。剑桥大学出版社,1997年。谷歌学者
  46. 詹姆斯·李、拉胡·梅卡和托马斯·维迪克。(较少)重载:从圆锥军政府度到非负秩。在2017年FOCS《通信复杂性和查询复杂性的硬度升级》研讨会上发表。谷歌学者
  47. 特洛伊·李(Troy Lee)、阿迪·什莱布曼(Adi Shraibman)和罗伯特·斯帕莱克(Robert Spalek)。差分的直积定理。《第23届CCC会议记录》,第71-80页,2008年。谷歌学者
  48. Bruno Loff和Sagnik Mukhopadhyay。提升平等定理。计算复杂性电子座谈会(ECCC),25:1752018。谷歌学者
  49. 拉兹洛瓦兹。关于最优积分覆盖与分数覆盖之比。离散数学,13(4):383-3901975。谷歌学者
  50. 或者是梅尔。普遍关系的直接总和。信息处理信函,136:105-1112018。谷歌学者
  51. 盖蒂斯·米德里亚尼斯。总布尔函数的精确量子查询复杂性。CoRR,abs/quant-ph/04031682004年。谷歌学者
  52. 阿隆·奥利茨基。最坏情况下的互动交流。I.两条消息几乎是最佳的。IEEE信息理论汇刊,36(5):1111-11261990。谷歌学者
  53. 丹尼斯·潘克拉托夫。经典通信复杂性中的直和问题。芝加哥大学硕士论文,2012年。谷歌学者
  54. 托尼安·皮塔西和罗伯特·罗伯尔。将nullstellensatz提升到任何字段上的单调跨度程序。第50届STOC会议记录,第1207-1219页,2018年。谷歌学者
  55. 阿努普·劳和阿米尔·耶胡达约夫。不相交多方通信复杂性的简化下限。2015年第30届CCC会议记录,第88-101页。谷歌学者
  56. 兰·拉兹。概率通信复杂性的傅立叶分析。计算复杂性,5(3-4):205-221995。谷歌学者
  57. Ran Raz和Pierre McKenzie。单音NC层次的分离。Combinatorica,19(3):403-4351999。谷歌学者
  58. 罗伯特·罗伯。单调计算的统一下限。多伦多大学博士论文,2018年。谷歌学者
  59. 罗伯特·罗伯尔、托尼安·皮塔西、本杰明·罗斯曼和斯蒂芬·库克。单调跨度程序的指数下界。第57届FOCS会议记录,第406-415页,2016年。谷歌学者
  60. 斯瓦加托·桑亚尔。通过冲突复杂性的合成定理。CoRR,abs/1801.032852018年。网址:http://arxiv.org/abs/1801.03285.
  61. 亚历山大·谢斯托夫。模式矩阵法。SIAM计算机杂志,40(6):1969-2000,2011。谷歌学者
  62. 亚历山大·谢斯托夫。间隙-汉明距离的通信复杂性。计算理论,8(1):197-2082012。谷歌学者
  63. 亚历山大·谢斯托夫。集合不相交的多方通信复杂性。2012年第44届STOC会议记录,第525-548页。谷歌学者
  64. 亚历山大·谢斯托夫。使用方向导数的通信下限。第45届STOC会议记录,第921-930页,2013年。谷歌学者
  65. 史耀云和朱宇凡。块复合函数的量子通信复杂性。量子信息与计算,9(5):444-4602009。谷歌学者
  66. Hing Yin Tsang、Chung Hoi Wong、Ning Xie和Shengyu Zhang。傅里叶稀疏性、谱范数和对数秩猜想。第54届FOCS会议记录,第658-667页,2013年。谷歌学者
  67. 托马斯·维迪克。向量在大集合上重叠的一个集中不等式,应用于Gap-Hamming-Distance问题的通信复杂性。芝加哥理论计算机科学杂志,2013年,2013年。谷歌学者
  68. 托马斯·沃森。一个ZPP的NP提升定理。未出版预印本,2017年。谷歌学者
  69. 大卫·P·伍德拉夫。通信和流模型中高效且私有的距离近似。麻省理工学院博士论文,2007年。谷歌学者
  70. Andrew Chi Chih Yao。与分布式计算相关的一些复杂性问题(初步报告)。《第11届STOC会议记录》,第209-2131979页。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

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