Quantum Distributed Network Computing: Lower Bounds and Techniques

作者: Michael Elkin , Gopal Pandurangan , Danupon Nanongkai , Hartmut Klauck

DOI:

关键词:

摘要: The focus of this paper is on {\em quantum distributed} computation, where we investigate whether communication can help in speeding up} distributed network algorithms. Our main result that for certain fundamental problems such as minimum spanning tree, cut, and shortest paths, does not} substantially up algorithms these compared to the classical setting. In order obtain result, extend technique Das Sarma et al. [SICOMP 2012] a uniform approach prove non-trivial lower bounds several graph optimization (both exact approximate versions) well verification problems, some which are new even setting, e.g. tight randomized Hamiltonian cycle tree verification, answering an open problem al., bound terms weight aspect ratio, matching upper Elkin [STOC 2004]. introduces Server model} Quantum Simulation Theorem} together provide connection between complexity. model standard two-party complexity augmented with additional power; yet, most hardness carried over model. Theorem carries further computing. techniques, except proof model, require very little knowledge computing, overcoming usual impediment proving

参考文章(63)
László Babai, Janos Simon, Peter Frankl, Complexity classes in communication complexity theory (preliminary version) foundations of computer science. pp. 337- 347 ,(1986)
Fabian Kuhn, Rotem Oshman, The complexity of data aggregation in directed networks international symposium on distributed computing. pp. 416- 431 ,(2011) , 10.1007/978-3-642-24100-0_40
Scott Aaronson, Andris Ambainis, Quantum Search of Spatial Regions Theory of Computing. ,vol. 1, pp. 47- 79 ,(2005) , 10.4086/TOC.2005.V001A004
Gábor Ivanyos, Ronald de Wolf, Troy Lee, Miklos Santha, Hartmut Klauck, New bounds on the classical and quantum communication complexity of some graph properties foundations of software technology and theoretical computer science. ,vol. 18, pp. 159- ,(2012) , 10.4230/LIPICS.FSTTCS.2012.148
Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumoto, Exact Quantum Algorithms for the Leader Election Problem ACM Transactions on Computation Theory. ,vol. 4, pp. 1- 24 ,(2012) , 10.1145/2141938.2141939
Cyril Gavoille, Adrian Kosowski, Marcin Markiewicz, What can be observed locally? round-based models for quantum distributed computing international symposium on distributed computing. ,vol. 5805, pp. 243- 257 ,(2009) , 10.1007/978-3-642-04355-0_26
Keiji Matsumoto, Seiichiro Tani, Hirotada Kobayashi, Computing on Anonymous Quantum Network arXiv: Quantum Physics. ,(2010)
Shay Kutten, David Peleg, Fast Distributed Construction of Smallk-Dominating Sets and Applications Journal of Algorithms. ,vol. 28, pp. 40- 66 ,(1998) , 10.1006/JAGM.1998.0929
Roger Wattenhofer, Stephan Holzer, Silvio Frischknecht, Networks cannot compute their diameter in sublinear time symposium on discrete algorithms. pp. 1150- 1162 ,(2012) , 10.5555/2095116.2095207