Quantum Distributed Complexity of Set Disjointness on a Line

Authors Frédéric Magniez , Ashwin Nayak



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2020.82.pdf
  • Filesize: 1.74 MB
  • 18 pages

Document Identifiers

Author Details

Frédéric Magniez
  • Université de Paris, IRIF, CNRS, France
Ashwin Nayak
  • Dept. of Combinatorics and Optimization, University of Waterloo, Canada
  • IQC, University of Waterloo, Canada

Cite As Get BibTex

Frédéric Magniez and Ashwin Nayak. Quantum Distributed Complexity of Set Disjointness on a Line. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 168, pp. 82:1-82:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020) https://doi.org/10.4230/LIPIcs.ICALP.2020.82

Abstract

Given x,y ∈ {0,1}ⁿ, Set Disjointness consists in deciding whether x_i = y_i = 1 for some index i ∈ [n]. We study the problem of computing this function in a distributed computing scenario in which the inputs x and y are given to the processors at the two extremities of a path of length d. Each vertex of the path has a quantum processor that can communicate with each of its neighbours by exchanging O(log n) qubits per round. We are interested in the number of rounds required for computing Set Disjointness with constant probability bounded away from 1/2. We call this problem "Set Disjointness on a Line". 
Set Disjointness on a Line was introduced by Le Gall and Magniez [Le Gall and Magniez, 2018] for proving lower bounds on the quantum distributed complexity of computing the diameter of an arbitrary network in the CONGEST model. However, they were only able to provide a lower bound when the local memory used by the processors on the intermediate vertices of the path is severely limited. More precisely, their bound applies only when the local memory of each intermediate processor consists of O(log n) qubits.
In this work, we prove an unconditional lower bound of Ω̃(∛{n d²} + √n) rounds for Set Disjointness on a Line with d + 1 processors. This is the first non-trivial lower bound when there is no restriction on the memory used by the processors. The result gives us a new lower bound of Ω̃ (∛{nδ²} + √n) on the number of rounds required for computing the diameter δ of any n-node network with quantum messages of size O(log n) in the CONGEST model.
We draw a connection between the distributed computing scenario above and a new model of query complexity. In this model, an algorithm computing a bi-variate function f (such as Set Disjointness) has access to the inputs x and y through two separate oracles 𝒪_x and 𝒪_y, respectively. The restriction is that the algorithm is required to alternately make d queries to 𝒪_x and d queries to 𝒪_y, with input-independent computation in between queries. The model reflects a "switching delay" of d queries between a "round" of queries to x and the following "round" of queries to y. The technique we use for deriving the round lower bound for Set Disjointness on a Line also applies to this query model. We provide an algorithm for Set Disjointness in this query model with query complexity that matches the round lower bound stated above, up to a polylogarithmic factor. In this sense, the round lower bound we show for Set Disjointness on a Line is optimal.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
  • Theory of computation → Quantum computation theory
  • Theory of computation → Quantum communication complexity
  • Theory of computation → Quantum query complexity
Keywords
  • Quantum distributed computing
  • Set Disjointness
  • communication complexity
  • query complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Scott Aaronson and Andris Ambainis. Quantum search of spatial regions. In Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2003), pages 200-209. IEEE Computer Society, October 2003. Google Scholar
  2. Andris Ambainis. Understanding quantum algorithms via query complexity. In Proceedings of the International Congress of Mathematicians (ICM 2018), pages 3265-3285. World Scientific, 2019. Google Scholar
  3. Mark Braverman, Ankit Garg, Young Kun Ko, Jieming Mao, and Dave Touchette. Near-optimal bounds on the bounded-round quantum communication complexity of Disjointness. SIAM Journal on Computing, 47(6):2277-2314, 2018. Google Scholar
  4. Harry Buhrman, Richard Cleve, Ronald de Wolf, and Christof Zalka. Bounds for small-error and zero-error quantum algorithms. In Proceedings of the 40th Annual Symposium on Foundations of Computer Science (FOCS 1999), pages 358-368, USA, October 1999. IEEE Computer Society. Google Scholar
  5. Harry Buhrman and Ronald de Wolf. Complexity measures and decision tree complexity: a survey. Theoretical Computer Science, 288(1):21-43, 2002. Google Scholar
  6. Arkadev Chattopadhyay and Toniann Pitassi. The story of Set Disjointness. SIGACT News, 41(3):59-85, September 2010. Google Scholar
  7. Ronald de Wolf. Quantum computing: Lecture notes, 2019. URL: http://arxiv.org/abs/1907.09415.
  8. Silvio Frischknecht, Stephan Holzer, and Roger Wattenhofer. Networks cannot compute their diameter in sublinear time. In Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2012), pages 1150-1162, 2012. Google Scholar
  9. Stephan Holzer and Roger Wattenhofer. Optimal distributed all pairs shortest paths and applications. In Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing (PODC 2012), pages 355-364, 2012. Google Scholar
  10. Rahul Jain, Jaikumar Radhakrishnan, and Pranab Sen. A lower bound for the bounded round quantum communication complexity of Set Disjointness. In Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2003), pages 220-229. IEEE Computer Society Press, 2003. Google Scholar
  11. Donald E. Knuth. Combinatorial matrices. Manuscript available at http://www-cs-faculty.stanford.edu/~knuth/preprints.html#unpub, 1993. URL: http://www-cs-faculty.stanford.edu/~knuth/preprints.html#unpub.
  12. François Le Gall and Frédéric Magniez. Sublinear-time quantum computation of the diameter in CONGEST networks. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC 2018), pages 337-346. Association for Computing Machinery, 2018. Google Scholar
  13. Frédéric Magniez, Ashwin Nayak, Jérémie Roland, and Miklos Santha. Search via quantum walk. SIAM Journal on Computing, 40:142-164, 2011. Google Scholar
  14. Michael A. Nielsen and Isaac L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UK, 2000. Google Scholar
  15. David Peleg. Distributed Computing: A Locality-Sensitive Approach. Society for Industrial and Applied Mathematics, USA, 2000. Google Scholar
  16. David Peleg, Liam Roditty, and Elad Tal. Distributed algorithms for network diameter and girth. In Proceedings of the 39th Internatinal Colloquium on Automata, Languages, and Programming (ICALP 2012), pages 660-672, 2012. Google Scholar
  17. Alexander Razborov. Quantum communication complexity of symmetric predicates. Izvestiya: Mathematics, 67(1):145-159, 2003. Russian version in Izvestiya Rossiiskoi Academii Nauk (seriya matematicheskaya) 67 (2003), 1, 159-176. Google Scholar
  18. Dave Touchette. Quantum information complexity. In Proceedings of the Forty-seventh Annual ACM Symposium on Theory of Computing (STOC 2015), pages 317-326, New York, NY, USA, 2015. ACM. Google Scholar
  19. John Watrous. The Theory of Quantum Information. Cambridge University Press, May 2018. Google Scholar
  20. Andrew Chi-Chih Yao. Some complexity questions related to distributive computing (preliminary report). In Proceedings of the Eleventh Annual ACM Symposium on Theory of Computing (STOC 1979), pages 209-213, New York, NY, USA, 1979. Association for Computing Machinery. Google Scholar
  21. Andrew Chi-Chih Yao. Quantum circuit complexity. In Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science (FOCS 1993), pages 352-361. IEEE Computer Society Press, 1993. Google Scholar
  22. Christof Zalka. Grover’s quantum searching algorithm is optimal. Physical Review A, 60:2746-2751, October 1999. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail