Abstract
We give a lower bound of Ω (n (d − 1)/2) on the quantum query complexity for finding a fixed point of a discrete Brouwer function over grid [n]d. Our lower bound is nearly tight, as Grover Search can be used to find a fixed point with O(n d/2) quantum queries. Our result establishes a nearly tight bound for the computation of d-dimensional approximate Brouwer fixed points defined by Scarf and by Hirsch, Papadimitriou, and Vavasis. It can be extended to the quantum model for Sperner’s Lemma in any dimensions: The quantum query complexity of finding a panchromatic cell in a Sperner coloring of a triangulation of a d-dimensional simplex with n d cells is Ω(n (d − 1)/2). For d = 2, this result improves the bound of Ω(n 1/4) of Friedl, Ivanyos, Santha, and Verhoeven.
More significantly, our result provides a quantum separation of local search and fixed point computation over [n]d, for d ≥ 4. Aaronson’s local search algorithm for grid [n]d, using Aldous Sampling and Grover Search, makes O (n d/3) quantum queries. Thus, the quantum query model over [n]d for d ≥ 4 strictly separates these two fundamental search problems.
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
Aaronson, S.: Lower Bounds for Local Search by Quantum Arguments. In: Proc. of the 36th STOC, pp. 465–474 (2004)
Aldous, D.: Minimization Algorithms and Random Walk on the d-Cube. Annals of Probability 11(2), 403–413 (1983)
Ambainis, A.: Quantum Lower Bounds by Quantum Arguments. In: Proc. of the 32nd FOCS, pp. 636–643 (2000)
Ambainis, A.: Polynomial Degree vs. Quantum Query Complexity. In: Proc. of the 44th FOCS, pp. 230–239 (2003)
Arrow, K., Debreu, G.: Existence of an Equilibrium for a Competitive Economy. Econometrica 22(3), 265–290 (1954)
Beals, R., Buhrman, H., Cleve, R., Mosca, M., de Wolf, R.: Quantum Lower Bounds by Polynomials. Journal of ACM 48(4), 778–797 (2001)
Chen, X., Teng, S.H.: Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation. In: Proc. of the 48th FOCS, pp. 124–134 (2007)
Chen, X., Deng, X.: On Algorithms for Discrete and Approximate Brouwer Fixed Points. In: Proc. of the 37th STOC, pp. 323–330 (2005)
Deng, X., Papadimitriou, C., Safra, S.: On the Complexity of Price Equilibria. Journal of Computer and System Sciences 67(2), 311–324 (2003)
Friedl, K., Ivanyos, G., Santha, M., Verhoeven, F.: On the Black-Box Complexity of Sperner’s Lemma. In: Liśkiewicz, M., Reischuk, R. (eds.) FCT 2005. LNCS, vol. 3623, pp. 245–257. Springer, Heidelberg (2005)
Grover, L.: A Fast Quantum Mechanical Algorithm for Database Search. In: Proc. of the 28th STOC, pp. 212–219 (1996)
Hirsch, M., Papadimitriou, C., Vavasis, S.: Exponential Lower Bounds for Finding Brouwer Fixed Points. Journal of Complexity 5, 379–416 (1989)
Iimura, T., Murota, K., Tamura, A.: Discrete Fixed Point Theorem Reconsidered. Journal of Mathematical Economics 41, 1030–1036 (2005)
Nash, J.: Equilibrium Point in n-Person Games. Proceedings of the National Academy of the USA 36(1), 48–49 (1950)
Papadimitriou, C.: On Inefficient Proofs of Existence and Complexity Classes. In: Proc. of the 4th Czechoslovakian Symposium on Combinatorics (1991)
Santha, M., Szegedy, M.: Quantum and Classical Query Complexities of Local Search are Polynomially Telated. In: Proc. of the 36th STOC, pp. 494–501 (2004)
Scarf, H.: The Approximation of Fixed Points of a Continuous Mapping. SIAM Journal on Applied Mathematics 15, 997–1007 (1967)
Scarf, H.: On the Computation of Equilibrium Prices. In: Fellner, W. (ed.) Ten Economic Studies in the Tradition of Irving Fisher. John Wiley & Sons, Chichester (1967)
Sun, X., Yao, A.C.: On the Quantum Query Complexity of Local Search in Two and Three dimensions. In: Proc. of the 47th FOCS, pp. 429–438 (2006)
Zhang, S.: On the Power of Ambainis’s Lower Bounds. Theoretical Computer Science 339(2-3), 241–256 (2005)
Zhang, S.: New Upper and Lower Bounds for Randomized and Quantum Local Search. In: Proc. of the 38th STOC, pp. 634–643 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X., Sun, X., Teng, SH. (2008). Quantum Separation of Local Search and Fixed Point Computation. In: Hu, X., Wang, J. (eds) Computing and Combinatorics. COCOON 2008. Lecture Notes in Computer Science, vol 5092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69733-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-69733-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69732-9
Online ISBN: 978-3-540-69733-6
eBook Packages: Computer ScienceComputer Science (R0)