Recursive Quantum Relaxation for Combinatorial Optimization Problems
Abstract: Quantum optimization methods use a continuous degree-of-freedom of quantum states to heuristically solve combinatorial problems, such as the MAX-CUT problem, which can be attributed to various NP-hard combinatorial problems. This paper shows that some existing quantum optimization methods can be unified into a solver to find the binary solution which is most likely measured from the optimal quantum state. Combining this finding with the concept of quantum random access codes (QRACs) for encoding bits into quantum states on fewer qubits, we propose an efficient recursive quantum relaxation method called recursive quantum random access optimization (RQRAO) for MAX-CUT. Experiments on standard benchmark graphs with several hundred nodes in the MAX-CUT problem, conducted in a fully classical manner using a tensor network technique, show that RQRAO not only outperforms the Goemans-Williamson and recursive QAOA methods, but also is comparable to state-of-the-art classical solvers. The code is available at \url{https://github.com/ToyotaCRDL/rqrao}.
- Dense quantum coding and a lower bound for 1-way quantum automata. In Proceedings of the thirty-first annual ACM symposium on Theory of computing, pages 376–383, 1999. doi: 10.1145/301250.301347.
- Dense quantum coding and quantum finite automata. Journal of the ACM (JACM), 49(4):496–511, 2002. doi: 10.1145/581771.581773.
- Obstacles to variational quantum optimization from symmetry protection. Physical review letters, 125(26):260505, 2020. doi: 10.1103/PhysRevLett.125.260505.
- Karp, R.M. Reducibility among combinatorial problems. Springer, 2010. doi: 10.1007/978-1-4684-2001-2˙9.
- Lucas, A. Ising formulations of many NP problems. Frontiers in physics, 2:5, 2014. doi: 10.3389/fphy.2014.00005.
- Quantum bridge analytics I: a tutorial on formulating and using QUBO models. Annals of Operations Research, 314(1):141–183, 2022. doi: 10.1007/s10479-022-04634-2.
- Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM (JACM), 42(6):1115–1145, 1995. doi: 10.1145/227683.227684.
- A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028, 2014. doi: 10.48550/arXiv.1411.4028.
- Quantum approximate optimization algorithm for MaxCut: A fermionic view. Physical Review A, 97(2):022304, 2018. doi: 10.1103/PhysRevA.97.022304.
- Blekos, K. et al. A Review on Quantum Approximate Optimization Algorithm and its Variants. arXiv preprint arXiv:2306.09198, 2023. doi: 10.48550/arXiv.2306.09198.
- Fuller, B. et al. Approximate solutions of combinatorial problems via quantum relaxations. arXiv preprint arXiv:2111.03167, 2021. doi: 10.48550/arXiv.2111.03167.
- The complexity of the local Hamiltonian problem. Siam journal on computing, 35(5):1070–1097, 2006. doi: 10.1007/978-3-540-30538-5˙31.
- Khot, S. On the power of unique 2-prover 1-round games. In Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, pages 767–775, 2002. doi: 10.1145/509907.510017.
- Hybrid quantum-classical algorithms for approximate graph coloring. Quantum, 6:678, 2022. doi: 10.22331/q-2022-03-30-678.
- A spectral bundle method for semidefinite programming. SIAM Journal on Optimization, 10(3):673–696, 2000. doi: 10.1137/S1052623497328987.
- Rank-two relaxation heuristics for max-cut and other binary quadratic programs. SIAM Journal on Optimization, 12(2):503–521, 2002. doi: 10.1137/S1052623400382467.
- Prim, R.C. Shortest Connection Networks And Some Generalizations. Bell System Technical Journal, 36(6):1389–1401, November 1957. doi: 10.1002/j.1538-7305.1957.tb01515.x.
- A randomized linear-time algorithm to find minimum spanning trees. Journal of the ACM (JACM), 42(2):321–328, 1995. doi: 10.1145/201019.201022.
- Rinaldi, G. Rudy, 1998. https://www-user.tu-chemnitz.de/~helmberg/rudy.tar.gz.
- What works best when? A systematic evaluation of heuristics for Max-Cut and QUBO. INFORMS Journal on Computing, 30(3):608–624, 2018. doi: 10.1287/ijoc.2017.0798.
- Paszke, A. et al. PyTorch: An imperative style, high-performance deep learning library. Advances in neural information processing systems, 32, 2019. doi: 10.48550/arXiv.1912.01703.
- On the limited memory BFGS method for large scale optimization. Mathematical programming, 45(1-3):503–528, 1989. doi: 10.1007/BF01589116.
- Breakout local search for the max-cutproblem. Engineering Applications of Artificial Intelligence, 26(3):1162–1173, 2013. doi: 10.1016/j.engappai.2012.09.001.
- Recent scalability improvements for semidefinite programming with applications in machine learning, control, and robotics. Annual Review of Control, Robotics, and Autonomous Systems, 3:331–360, 2020. doi: 10.1146/annurev-control-091819-074326.
- A faster interior point method for semidefinite programming. In 2020 IEEE 61st annual symposium on foundations of computer science (FOCS), pages 910–918. IEEE, 2020. doi: 10.1109/FOCS46700.2020.00089.
- Solving SDP faster: A robust IPM framework and efficient implementation. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 233–244. IEEE, 2022a. doi: 10.1109/FOCS54457.2022.00029.
- An 𝒪~(m/ε3.5)~𝒪𝑚superscript𝜀3.5\widetilde{\mathcal{O}}(m/\varepsilon^{3.5})over~ start_ARG caligraphic_O end_ARG ( italic_m / italic_ε start_POSTSUPERSCRIPT 3.5 end_POSTSUPERSCRIPT )-cost algorithm for semidefinite programs with diagonal constraints. In Abernethy, J. and Agarwal, S., editors, Proceedings of Thirty Third Conference on Learning Theory, volume 125 of Proceedings of Machine Learning Research, pages 3069–3119. PMLR, 09–12 Jul 2020. URL https://proceedings.mlr.press/v125/lee20c.html.
- Quantum speed-ups for solving semidefinite programs. In 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS), pages 415–426. IEEE, 2017. doi: 10.1109/FOCS.2017.45.
- Quantum SDP-solvers: Better upper and lower bounds. Quantum, 4:230, 2020. doi: 10.22331/q-2020-02-14-230.
- Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning. In Baier, C., Chatzigiannakis, I., Flocchini, P. and Leonardi, S., editors, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), volume 132 of Leibniz International Proceedings in Informatics (LIPIcs), pages 27:1–27:14, Dagstuhl, Germany, 2019. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-109-2. doi: 10.4230/LIPIcs.ICALP.2019.27. URL http://drops.dagstuhl.de/opus/volltexte/2019/10603.
- Improvements in Quantum SDP-Solving with Applications. In Baier, C., Chatzigiannakis, I., Flocchini, P. and Leonardi, S., editors, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), volume 132 of Leibniz International Proceedings in Informatics (LIPIcs), pages 99:1–99:15, Dagstuhl, Germany, 2019. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-109-2. doi: 10.4230/LIPIcs.ICALP.2019.99. URL http://drops.dagstuhl.de/opus/volltexte/2019/10675.
- A quantum interior point method for LPs and SDPs. ACM Transactions on Quantum Computing, 1(1):1–32, 2020. doi: 10.1145/3406306.
- Faster quantum and classical SDP approximations for quadratic binary optimization. Quantum, 6:625, 2022. doi: 10.22331/q-2022-01-20-625.
- Noisy intermediate-scale quantum algorithm for semidefinite programming. Physical Review A, 105(5):052445, 2022. doi: 10.1103/PhysRevA.105.052445.
- Variational quantum algorithms for semidefinite programming. arXiv preprint arXiv:2112.08859, 2021. doi: 10.48550/arXiv.2112.08859.
- Quantum Goemans-Williamson Algorithm with the Hadamard Test and Approximate Amplitude Constraints. Quantum, 7:1057, 2023. doi: https://doi.org/10.22331/q-2023-07-12-1057.
- Quantum random access memory. Physical review letters, 100(16):160501, 2008. doi: 10.1103/PhysRevLett.100.160501.
- A combinatorial, primal-dual approach to semidefinite programs. In Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, pages 227–236, 2007. doi: 10.1145/2837020.
- Matrix exponentiated gradient updates for on-line learning and Bregman projection. Journal of Machine Learning Research, 6(Jun):995–1018, 2005. Retrieved from https://dl.acm.org/doi/10.5555/1046920.1088706.
- Peruzzo, A. et al. A variational eigenvalue solver on a photonic quantum processor. Nature communications, 5(1):1–7, 2014. doi: 10.1038/ncomms5213.
- Cerezo, M. et al. Variational quantum algorithms. Nature Reviews Physics, 3(9):625–644, 2021. doi: 10.1038/s42254-021-00348-9.
- A faster quantum algorithm for semidefinite programming via robust IPM framework. arXiv preprint arXiv:2207.11154, 2022b. doi: 10.48550/arXiv.2207.11154.
- Low-depth clifford circuits approximately solve maxcut. arXiv preprint arXiv:2310.15022, 2023. doi: 10.48550/arXiv.2310.15022.
- Zhu, L. et al. Adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer. Physical Review Research, 4(3):033029, 2022. doi: 10.1103/PhysRevResearch.4.033029.
- Wiesner, S. Conjugate coding. ACM Sigact News, 15(1):78–88, 1983. doi: 10.1145/1008908.1008920.
- Nayak, A. Optimal lower bounds for quantum automata and random access codes. In 40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039), pages 369–376. IEEE, 1999. doi: 10.1109/SFFCS.1999.814608.
- Unbounded-error one-way classical and quantum communication complexity. In Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings 34, pages 110–121. Springer, 2007. doi: 10.1007/978-3-540-73420-8˙12.
- (4, 1)-quantum random access coding does not exist—one qubit is not enough to recover one of four bits. New Journal of Physics, 8(8):129, 2006. doi: 10.1088/1367-2630/8/8/129.
- Liabøtrø, O. Improved classical and quantum random access codes. Physical Review A, 95(5):052315, 2017. doi: 10.1103/PhysRevA.95.052315.
- Constructions of quantum random access codes. In Asian Quantum Information Symposium (AQIS), volume 66, 2018. Retrieved from https://research.ibm.com/publications/constructions-of-quantum-random-access-codes.
- The geometry of Bloch space in the context of quantum random access codes. Quantum Information Processing, 21(4):143, 2022. doi: 10.1007/s11128-022-03470-4.
- Quantum-Relaxation Based Optimization Algorithms: Theoretical Extensions. arXiv preprint arXiv:2302.09481, 2023. doi: 10.48550/arXiv.2302.09481.
- Quantum random access codes with shared randomness. arXiv preprint arXiv:0810.2937, 2008. doi: 10.48550/arXiv.0810.2937.
- Entanglement-assisted random access codes. Physical Review A, 81(4):042326, 2010. doi: 10.1103/PhysRevA.81.042326.
- Quantum random access codes using single d-level systems. Physical review letters, 114(17):170502, 2015. doi: 10.1103/PhysRevLett.114.170502.
- A hypercontractive inequality for matrix-valued functions with applications to quantum computing and ldcs. In 2008 49th Annual IEEE Symposium on Foundations of Computer Science, pages 477–486. IEEE, 2008. doi: 10.1109/FOCS.2008.45.
- Quantum random access codes for boolean functions. Quantum, 5:402, 2021. doi: 10.22331/q-2021-03-07-402.
- Efficient discrete feature encoding for variational quantum classifier. IEEE Transactions on Quantum Engineering, 2:1–14, 2021. doi: 10.1109/QCE49297.2020.00012.
- Predicting many properties of a quantum system from very few measurements. Nature Physics, 16(10):1050–1057, 2020. doi: 10.1038/s41567-020-0932-7.
- Schollwöck, U. The density-matrix renormalization group in the age of matrix product states. Annals of physics, 326(1):96–192, 2011. doi: 10.1016/j.aop.2010.09.012.
- SDPT3—a MATLAB software package for semidefinite programming, version 1.3. Optimization methods and software, 11(1-4):545–581, 1999. doi: 10.1080/10556789908805762.
- Solving semidefinite-quadratic-linear programs using SDPT3. Mathematical programming, 95:189–217, 2003. doi: 10.1007/s10107-002-0347-5.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.