Abstract
We introduce a new model for studying quantum data structure problems — the quantum cell probe model. We prove a lower bound for the static predecessor problem in the address-only version of this model where, essentially, we allow quantum parallelism only over the ‘address lines’ of the queries. This model subsumes the classical cell probe model, and many quantum query algorithms like Grover’s algorithm fall into this framework. We prove our lower bound by obtaining a round elimination lemma for quantum communication complexity. A similar lemma was proved by Miltersen, Nisan, Safra and Wigderson [9] for classical communication complexity, but their proof does not generalise to the quantum setting.
We also study the static membership problem in the quantum cell probe model. Generalising a result of Yao [16], we show that if the storage scheme is implicit, that is it can only store members of the subset and ‘pointers’, then any quantum query scheme must make Ω(log n) probes. We also consider the one-round quantum communication complexity of set membership and show tight bounds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Beame and F. Fich. Optimal bounds for the predecessor problem. In Proceedings of the 31st Annual ACM Symposium on Theory of Computing, pages 295–304, 1999.
H. Buhrman, P. Miltersen, J. Radhakrishnan, and S. Venkatesh. Are bitvectors Optimal? In Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, pages 449–458, 2000.
R. Cleve, W. van Dam,, M. Nielsen, and A. Tapp. Quantum entanglement and the communication complexity of the inner product function. In Proceedings of the 1st NASA International Conference on Quantum Computing and Quantum Communications, Lecture Notes in Computer Science, vol. 1509, pages 61–74, 1998. Also quant-ph/9708019.
M. Fredman, J. Komlós, and E. Szemerédi. Storing a sparse table with O(1) worst case access time. Journal of the Association for Computing Machinery, 31(3):538–544, 1984.
L. Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the 28th Annual ACM Symposium on Theory of Computing, pages 212–219, 1996. Also quant-ph/9605043.
P. Høyer and J. Neerbek. Bounds on quantum ordered searching. Manuscript at quant-ph/0009032, September 2000.
H. Klauck. On rounds in quantum communication. Manuscript at quant-ph/0004100, April 2000.
P. B. Miltersen. Cell probe complexity — a survey. Invited talk at the pre-conference workshop on Advances in data structures preceding the 19th conference on the Foundations of Software Technology and Theoretical Computer Science, December 11-12, 1999, Chennai, India. Also available from http://www.daimi.au.dk/~bromille/Papers/survey3.ps.
P. B. Miltersen, N. Nisan, S. Safra, and A. Wigderson. On data structures and asymmetric communication complexity. Journal of Computer and System Sciences, 57:37–49, 1998.
A. Nayak, A. Ta-Shma, and D. Zuckerman. Interaction in quantum communication complexity. Manuscript at quant-ph/0005106, May 2000.
I. Newman. Private vs common random bits in communication complexity. Information Processing Letters, 39:67–71, 1991.
M. Nielsen and I. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
J. Radhakrishnan, P. Sen, and S. Venkatesh. The quantum complexity of set membership. In Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science, pages 554–562, 2000. Also quant-ph/0007021.
P. Sen and S. Venkatesh. Lower bounds in the quantum cell probe model. Full version. Manuscript at quant-ph/0104100.
A. C-C. Yao. Probabilistic computations: towards a unified measure of complexity. In Proceedings of the 9th Annual ACM Symposium on Theory of Computing, pages 209–213, 1977.
A. C-C. Yao. Should tables be sorted? Journal of the Association for Computing Machinery, 28(3):615–628, 1981.
A. C-C. Yao. Quantum circuit complexity. In Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science, pages 352–361, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sen, P., Venkatesh, S. (2001). Lower Bounds in the Quantum Cell Probe Model. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 2001. Lecture Notes in Computer Science, vol 2076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48224-5_30
Download citation
DOI: https://doi.org/10.1007/3-540-48224-5_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42287-7
Online ISBN: 978-3-540-48224-6
eBook Packages: Springer Book Archive