A Quantum Advantage for a Natural Streaming Problem

Data streaming, in which a large dataset is received as a “stream” of updates, is an important model in the study of space-bounded computation. Starting with the work of Le Gall [SPAA '06], it has been known that quantum streaming algorithms can use asymptotically less space than their classical counterparts for certain problems. However, so far, all known examples of quantum advantages in streaming are for problems that are either specially constructed for that purpose, or require many streaming passes over the input. We give a one-pass quantum streaming algorithm for one of the best-studied problems in classical graph streaming-the triangle counting problem. Almost-tight parametrized upper and lower bounds are known for this problem in the classical setting; our algorithm uses polynomially less space in certain regions of the parameter space, resolving a question posed by Jain and Nayak in 2014 on achieving quantum advantages for natural streaming problems.

Computer science
Quantum computing
Computational modeling
Data models
streaming algorithms
graph algorithms
quantum computation

References(30)

Figures(0)

[AAKV18]

Farid Ablayev, Marat Ablayev, Kamil Khadiev, and Alexander Vasiliev. Classical and Quantum Computations with Restricted Memory. In Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, pages 129-155

[AD11]

Scott Aaronson and Andrew Drucker. Advice Coins for Classical and Quantum Computation. In Automata, Languages and Programming, volume 6755, pages 61-72

[AF98]

Andris Ambainis and Rusins Freivalds. 1-way quantum finite automata: Strengths, weaknesses and generalizations. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science, FOCS ’98, page 332, USA

[AMS96]

Noga Alon, Yossi Matias, and Mario Szegedy. The space complexity of approximating the frequency moments. In STOC, pages 20-29

[ANTSV02]

Andris Ambainis, Ashwin Nayak, Amnon Ta-Shma, and Umesh Vazirani. Dense quantum coding and quantum finite automata

- J.Assoc.Comput.Machinery 49 (2002) 496-511

[BGW20]

Mark Braverman, Sumegha Garg, and David P. Woodruff. The coin problem with applications to data streams. Electron. Colloquium Comput. Complex., 27:139

[BKCG13]

Robin Blume-Kohout, Sarah Croke, and Daniel Gottesman. Streaming universal distortion-free entanglement concentration

- IEEE Trans.Info.Theor. 60 (2013) 334-350

[BKS02]

Ziv Bar-Yossef, Ravi Kumar, and D. Sivakumar. Reductions in streaming algorithms, with an application to counting triangles in graphs. In Proceedings of the Thirteenth Annual ACM-

[BOV13]

Vladimir Braverman, Rafail Ostrovsky, and Dan Vilenchik. How hard is counting triangles in the streaming model? In Automata, Languages, and Programming, pages 244-254

[CR11]

Amit Chakrabarti and Oded Regev. An optimal lower bound on the communication complexity of gap-hamming-distance. In Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing, STOC ’11, page 51-60, New York, NY, USA,. Association for Computing Machinery

[FN85]

Philippe Flajolet and G. Nigel Martin. Probabilistic counting algorithms for data base applications

- J.Comput.Syst.Sci. 31 (1985) 182-209

[GKK+08]

Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, Ran Raz, and Ronald de Wolf. Exponential separation for one-way quantum communication complexity, with applications to cryptography

- SIAM J.Comput. 38 (2008) 1695-1708

[HM19]

Yassine Hamoudi and Frédéric Magniez. Quantum Chebyshev’s Inequality and Applications. In 46th International Colloquium on Automata, Languages, and Programming (ICALP), volume 132 of Leibniz International Proceedings in Informatics (LIPIcs), pages 69:1-69:16, Dagstuhl, Germany,. Schloss Dagstuhl-LeibnizZentrum fuer Informatik

[HMWW20]

Yanglin Hu, Darya Melnyk, Yuyi Wang, and Roger Wattenhofer. Space complexity of streaming algorithms on universal quantum computers. In Jianer Chen, Qilong Feng, and Jinhui Xu, editors, Theory and Applications of Models of Computation, pages 275-286, Cham

[JK21]

Rajesh Jayaram and John Kallaugher. An optimal algorithm for triangle counting in the stream. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM, August 16-18,, University of Washington, Seattle, Washington, USA (Virtual Conference), volume 207 of LIPIcs, pages 11:1-11:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik

[JN14]

Rahul Jain and Ashwin Nayak. The Space Complexity of Recognizing WellParenthesized Expressions in the Streaming Model: The Index Function Revisited

- IEEE Trans.Info.Theor. 60 (2014) 6646-6668

[KKM18]

Quantum Online Algorithms with Respect to Space and Advice Complexity. Lobachevskii

K. Khadiev
,
A. Khadieva
,
I. Mannapov

- J.Math. 39 (2018) 1377-1387

[KNR95]

Ilan Kremer, Noam Nisan, and Dana Ron. On randomized one-round communication complexity. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, STOC ’95, page 596-605, New York, NY, USA,. Association for Computing Machinery

[KO17]

Guy Kindler and Ryan O’Donnell. Quantum Automata Cannot Detect Biased Coins, Even in the Limit. In 44th International Colloquium on Automata, Languages, and Programming (ICALP), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), pages 15:1-15:8, Dagstuhl, Germany,. Schloss Dagstuhl- Leibniz-Zentrum fuer Informatik

[KP17]

John Kallaugher and Eric

Price. A

[KP17]

John Kallaugher and Eric

Price. A

[KW97]

On the power of quantum finite state automata. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, FOCS ’97, page 66, USA

A. Kondacs
,
J. Watrous

[LG06]

François Le Gall. Exponential separation of quantum and classical online space complexity. In Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures, SPAA ’06, pages 67-73, New York, NY, USA, July. Association for Computing Machinery

[MC00]

Cristopher Moore and James P. Crutchfield. Quantum automata and quantum grammars

- Theor.Comput.Sci. 237 (2000) 275-306

[Mon16]

Ashley Montanaro. The quantum complexity of approximating the frequency moments. Quantum Info. Comput., 16(13-14):1169-1190, October

1-25 of 30
1
2
25 / page