Abstract
Span program is a linear-algebraic model of computation which can be used to design quantum algorithms. For any Boolean function there exists a span program that leads to a quantum algorithm with optimal quantum query complexity. In general, finding such span programs is not an easy task.
In this work, given a query access to the adjacency matrix of a simple graph G with n vertices, we provide two new span-program-based quantum algorithms:
-
an algorithm for testing if the graph is bipartite that uses \(O(n\sqrt{n})\) quantum queries;
-
an algorithm for testing if the graph is connected that uses \(O(n\sqrt{n})\) quantum queries.
This work has been supported by the ERC Advanced Grant Methods for Quantum Computing.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ambainis, A., Balodis, K., Iraids, J., Ozols, R., Smotrovs, J.: Parameterized quantum query complexity of graph collision. CoRR abs/1305.1021 (2013). http://arxiv.org/abs/1305.1021
Belovs, A.: Span-program-based quantum algorithm for the rank problem. CoRR abs/1103.0842 (2011). http://arxiv.org/abs/1103.0842
Belovs, A.: Learning-graph-based quantum algorithm for k-distinctness. In: IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS), pp. 207–216. IEEE (2012). http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6375298
Belovs, A.: Span programs for functions with constant-sized 1-certificates. In: Proceedings of the 44th Symposium on Theory of Computing, pp. 77–84. ACM (2012). http://dl.acm.org/citation.cfm?id=2213985
Belovs, A., Reichardt, B.W.: Span programs and quantum algorithms for st-connectivity and claw detection. In: Epstein, L., Ferragina, P. (eds.) ESA 2012. LNCS, vol. 7501, pp. 193–204. Springer, Heidelberg (2012). http://dx.doi.org/10.1007/978-3-642-33090-2_18
Berzina, A., Dubrovsky, A., Freivalds, R., Lace, L., Scegulnaja, O.: Quantum query complexity for some graph problems. In: Van Emde Boas, P., Pokorný, J., Bieliková, M., Štuller, J. (eds.) SOFSEM 2004. LNCS, vol. 2932, pp. 140–150. Springer, Heidelberg (2004). http://dx.doi.org/10.1007/978-3-540-24618-3_11
Dürr, C., Heiligman, M., Høyer, P., Mhalla, M.: Quantum query complexity of some graph problems. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 481–493. Springer, Heidelberg (2004). http://dx.doi.org/10.1007/978-3-540-27836-8_42
Furrow, B.: A panoply of quantum algorithms. Quantum Info. Comput. 8(8), 834–859 (2008). http://dl.acm.org/citation.cfm?id=2017011.2017022
Karchmer, M., Wigderson, A.: On span programs. In: Proceedings of the Eighth Annual Structure in Complexity Theory Conference, pp. 102–111. IEEE (1993). http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=336536
Reichardt, B.W.: Span programs and quantum query complexity: the general adversary bound is nearly tight for every boolean function. In: 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 544–551. IEEE (2009). http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5438598
Reichardt, B.W.: Reflections for quantum query algorithms. In: Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 560–569. SIAM (2011). http://dl.acm.org/citation.cfm?id=2133080
Reichardt, B.W., Spalek, R.: Span-program-based quantum algorithm for evaluating formulas. In: Proceedings of the Fortieth Annual ACM Symposium on Theory of Computing, STOC 2008, pp. 103–112. ACM, New York (2008). http://doi.acm.org/10.1145/1374376.1374394
Acknowledgements
I am grateful to Andris Ambainis for the suggestion to solve the graph problems with span programs, and for many useful comments during the development of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Āriņš, A. (2016). Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity. In: Kofroň, J., Vojnar, T. (eds) Mathematical and Engineering Methods in Computer Science. MEMICS 2015. Lecture Notes in Computer Science(), vol 9548. Springer, Cham. https://doi.org/10.1007/978-3-319-29817-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-29817-7_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29816-0
Online ISBN: 978-3-319-29817-7
eBook Packages: Computer ScienceComputer Science (R0)