- Open Access
Quantum-informed reduction algorithm for the maximum independent set problem
Phys. Rev. Research 8, 033296 – Published 10 September, 2026
DOI: https://doi.org/10.1103/nh3b-1wv5
Abstract
We propose and implement a quantum-informed reduction algorithm for the maximum independent set problem that integrates classical kernelization techniques with information extracted from quantum devices. Our larger framework consists of dedicated application, algorithm, and hardware layers, and easily generalizes to the maximum weight independent set problem. In this hybrid quantum-classical framework, which we call qReduMIS, the quantum computer is used as a coprocessor to inform classical reduction logic about frozen vertices that are likely (or unlikely) to be in large independent sets, thereby opening up the reduction space after removal of targeted subgraphs. We systematically assess the performance of qReduMIS based on experiments with up to 231 qubits run on Rydberg quantum hardware available through Amazon Braket. Our experiments show that qReduMIS can help address fundamental performance limitations faced by a broad set of (quantum) solvers including Rydberg quantum devices. We outline implementations of qReduMIS with alternative platforms, such as superconducting qubits or trapped ions, and we discuss potential future extensions.
Physics Subject Headings (PhySH)
Article Text
References (69)
- M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (W. H. Freeman & Co., USA, 1990).
- T. A. Feo, M. G. C. Resende, and S. H. Smith, A greedy randomized adaptive search procedure for maximum independent set, Oper. Res. 42, 860 (1994).
- A. Gemsa, M. Nöllenburg, and I. Rutter, Evaluation of labeling strategies for rotating maps, ACM J. Exp. Algorithmics 21, 1 (2016).
- W. K. Hale, Frequency assignment: Theory and applications, Proc. IEEE 68, 1497 (1980).
- Y. Dong, A. V. Goldberg, A. Noe, N. Parotsidis, M. G. C. Resende, and Q. Spaen, A metaheuristic algorithm for large maximum weight independent set problems, Networks 85, 91 (2025).
- V. Boginski, S. Butenko, and P. M. Pardalos, Statistical analysis of financial networks, Comput. Stat. Data Anal. 48, 431 (2005).
- A. Kalra, F. Qureshi, and M. Tisi, Portfolio asset identification using graph algorithms on a quantum annealer, SSRN, 2018, https://ssrn.com/abstract=3333537.
- R. Hidaka, Y. Hamakawa, J. Nakayama, and K. Tatsumura, Correlation-diversified portfolio construction by finding maximum independent set in large-scale market graph, IEEE Access 11, 142979 (2023).
- S. Lamm, P. Sanders, C. Schulz, D. Strash, and R. F. Werneck, Finding near-optimal independent sets at scale, J. Heuristics 23, 207 (2017).
- S. Butenko, P. Pardalos, I. Sergienko, V. Shylo, and P. Stetsyuk, in Proceedings of the 2002 ACM Symposium on Applied Computing (Association for Computing Machinery, New York, NY, USA, 2002), pp. 542–546.
- S. Butenko and S. Trukhanov, Using critical sets to solve the maximum independent set problem, Oper. Res. Lett. 35, 519 (2007).
- S. Butenko, P. Pardalos, I. Sergienko, V. Shylo, and P. Stetsyuk, Estimating the size of correcting codes using extremal graph problems, in Optimization (Springer, New York, NY, 2009), pp. 227–243.
- D. Strash, On the power of simple reductions for the maximum independent set problem, in Computing and Combinatorics, edited by T. N. Dinh and M. T. Thai (Springer International Publishing, Cham, 2016), pp. 345–356.
- L. Chang, W. Li, and W. Zhang, Computing a near-maximum independent set in linear time by reducing-peeling, in Proceedings of the 2017 ACM International Conference on Management of Data (Association for Computing Machinery, New York, NY, 2017), pp. 1181–1196.
- D. Hespe, C. Schulz, and D. Strash, Scalable kernelization for maximum independent sets, ACM J. Exp. Algorithmics 24, 1 (2019).
- E. Großmann, K. Langedal, and C. Schulz, A comprehensive survey of data reduction rules for the maximum weighted independent set problem, arXiv:2412.09303.
- E. Großmann, S. Lamm, C. Schulz, and D. Strash, Finding near-optimal weight independent sets at scale, in Proceedings of the Genetic and Evolutionary Computation Conference (Association for Computing Machinery, New York, NY, USA, 2023), pp. 293–302.
- A. Abbas, A. Ambainis, B. Augustino, A. Bärtschi, H. Buhrman, C. Coffrin, G. Cortiana, V. Dunjko, D. J. Egger, B. G. Elmegreen, et al., Challenges and opportunities in quantum optimization, Nat. Rev. Phys. 6, 718 (2024).
- T. Kadowaki and H. Nishimori, Quantum annealing in the transverse Ising model, Phys. Rev. E 58, 5355 (1998).
- E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser, Quantum computation by adiabatic evolution, arXiv:quant-ph/0001106.
- E. Farhi, J. Goldstone, S. Gutmann, J. Lapan, A. Lundgren, and D. Preda, A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem, Science 292, 472 (2001).
- A. Das and B. K. Chakrabarti, Colloquium: Quantum annealing and analog quantum computation, Rev. Mod. Phys. 80, 1061 (2008).
- P. Hauke, H. G. Katzgraber, W. Lechner, H. Nishimori, and W. Oliver, Perspectives of quantum annealing: Methods and implementations, Rep. Prog. Phys. 83, 054401 (2020).
- E. Farhi, J. Goldstone, and S. Gutmann, A quantum approximate optimization algorithm, arXiv:1411.4028.
- L. Zhou, S.-T. Wang, S. Choi, H. Pichler, and M. D. Lukin, Quantum approximate optimization algorithm: Performance, mechanism, and implementation on near-term devices, Phys. Rev. X 10, 021067 (2020).
- H. Pichler, S.-T. Wang, L. Zhou, S. Choi, and M. D. Lukin, Quantum optimization for maximum independent set using Rydberg atom arrays, arXiv:1808.10816.
- H. Pichler, S.-T. Wang, L. Zhou, S. Choi, and M. D. Lukin, Computational complexity of the Rydberg blockade in two dimensions, arXiv:1809.04954.
- M. F. Serret, B. Marchand, and T. Ayral, Solving optimization problems with Rydberg analog quantum computers: Realistic requirements for quantum advantage using noisy simulation and classical benchmarks, Phys. Rev. A 102, 052617 (2020).
- S. Ebadi, A. Keesling, M. Cain, T. T. Wang, H. Levine, D. Bluvstein, G. Semeghini, A. Omran, J.-G. Liu, R. Samajdar, et al., Quantum optimization of maximum independent set using Rydberg atom arrays, Science 376, 1209 (2022).
- M. Cain, S. Chattopadhyay, J.-G. Liu, R. Samajdar, H. Pichler, and M. D. Lukin, Quantum speedup for combinatorial optimization with flat energy landscapes, arXiv:2306.13123.
- B. F. Schiffer, D. S. Wild, N. Maskara, M. Cain, M. D. Lukin, and R. Samajdar, Circumventing superexponential runtimes for hard instances of quantum adiabatic optimization, Phys. Rev. Res. 6, 013271 (2024).
- J. R. Finžgar, M. J. A. Schuetz, J. K. Brubaker, H. Nishimori, and H. G. Katzgraber, Designing quantum annealing schedules using Bayesian optimization, Phys. Rev. Res. 6, 023063 (2024).
- J. R. Finžgar, A. Kerschbaumer, M. J. Schuetz, C. B. Mendl, and H. G. Katzgraber, Quantum-informed recursive optimization algorithms, PRX Quantum 5, 020327 (2024).
- S. Perseguers, Hardness-dependent adiabatic schedules for analog quantum computing, Phys. Rev. Appl. 23, 064023 (2025).
- R. S. Andrist, M. J. A. Schuetz, P. Minssen, R. Yalovetzky, S. Chakrabarti, D. Herman, N. Kumar, G. Salton, R. Shaydulin, Y. Sun, et al., Hardness of the maximum-independent-set problem on unit-disk graphs and prospects for quantum speedups, Phys. Rev. Res. 5, 043277 (2023).
- M. J. A. Schuetz, R. S. Andrist, G. Salton, R. Yalovetzky, R. Raymond, Y. Sun, A. Acharya, S. Chakrabarti, M. Pistoia, and H. G. Katzgraber, Quantum compilation toolkit for Rydberg atom arrays with implications for problem hardness and quantum speedups, Phys. Rev. Res. 7, 033107 (2025).
- D. J. Egger, J. Mareček, and S. Woerner, Warm-starting quantum optimization, Quantum 5, 479 (2021).
- R. Tate, M. Farhadi, C. Herold, G. Mohler, and S. Gupta, Bridging classical and quantum with SDP initialized warm-starts for QAOA, ACM Trans. Quantum Comput. 4, 1 (2023).
- M.-T. Nguyen, J.-G. Liu, J. Wurtz, M. D. Lukin, S.-T. Wang, and H. Pichler, Quantum optimization with arbitrary connectivity using Rydberg atom arrays, PRX Quantum 4, 010316 (2023).
- A. G. de Oliveira, E. Diamond-Hitchcock, D. M. Walker, M. T. Wells-Pestell, G. Pelegrí, C. J. Picken, G. P. A. Malcolm, A. J. Daley, J. Bass, and J. D. Pritchard, Demonstration of weighted-graph optimization on a Rydberg-atom array using local light shifts, PRX Quantum 6, 010301 (2025).
- M. MacMahon and D. Garlaschelli, Community detection for correlation matrices, Phys. Rev. X 5, 021006 (2015).
- S. Lamm, C. Schulz, D. Strash, R. Williger, and H. Zhang, Exactly solving the maximum weight independent set problem on large real-world graphs, in Proceedings of the 21st Workshop on Algorithm Engineering and Experiments (ALENEX) (SIAM, Philadelphia, PA, 2019), pp. 144–158.
- J. Chen, I. A. Kanj, and W. Jia, Vertex cover: Further observations and further improvements, J. Algorithms 41, 280 (2001).
- M. Sciorilli, L. Borges, T. L. Patti, D. García-Martín, G. Camilo, A. Anandkumar, and L. Aolita, Towards large-scale quantum optimization solvers with few qubits, Nat. Commun. 16, 476 (2025).
- M. Dupont, B. Sundar, B. Evert, D. E. B. Neira, Z. Peng, S. Jeffrey, and M. J. Hodson, Benchmarking quantum optimization for the maximum-cut problem on a superconducting quantum computer, Phys. Rev. Appl. 23, 014045 (2025).
- A. Acharya, R. Yalovetzky, P. Minssen, S. Chakrabarti, R. Shaydulin, R. Raymond, Y. Sun, D. Herman, R. S. Andrist, G. Salton, M. J. A. Schuetz, H. G. Katzgraber, and M. Pistoia, Decomposition pipeline for large-scale portfolio optimization with applications to near-term quantum computing, Phys. Rev. Res. 7, 023142 (2025).
- H. Karimi, G. Rosenberg, and H. G. Katzgraber, Effective optimization using sample persistence: A case study on quantum annealers and various Monte Carlo optimization methods, Phys. Rev. E 96, 043312 (2017).
- S. Bravyi, A. Kliesch, R. Koenig, and E. Tang, Obstacles to variational quantum optimization from symmetry protection, Phys. Rev. Lett. 125, 260505 (2020).
- N. Mohseni, P. L. McMahon, and T. Byrnes, Ising machines as hardware solvers of combinatorial optimization problems, Nat. Rev. Phys. 4, 363 (2022).
- C. S. Adams, J. D. Pritchard, and J. P. Shaffer, Rydberg atom quantum technologies, J. Phys. B: At. Mol. Opt. Phys. 53, 012002 (2020).
- M. D. Lukin, M. Fleischhauer, R. Cote, L. M. Duan, D. Jaksch, J. I. Cirac, and P. Zoller, Dipole blockade and quantum information processing in mesoscopic atomic ensembles, Phys. Rev. Lett. 87, 037901 (2001).
- M. Saffman, T. G. Walker, and K. Mølmer, Quantum information with Rydberg atoms, Rev. Mod. Phys. 82, 2313 (2010).
- H. Levine, A. Keesling, G. Semeghini, A. Omran, T. T. Wang, S. Ebadi, H. Bernien, M. Greiner, V. Vuletić, H. Pichler, et al., Parallel implementation of high-fidelity multiqubit gates with neutral atoms, Phys. Rev. Lett. 123, 170503 (2019).
- J. Wurtz, A. Bylinskii, B. Braverman, J. Amato-Grill, S. H. Cantu, F. Huber, A. Lukin, F. Liu, P. Weinberg, J. Long, et al., Aquila: Quera's 256-qubit neutral-atom quantum computer, arXiv:2306.11727.
- K. Kim, M. Kim, J. Park, A. Byun, and J. Ahn, Quantum computing dataset of maximum independent set problem on king lattice of over hundred Rydberg atoms, Sci. Data 11, 111 (2024).
- https://github.com/jpmorganchase/qredumis.
- A. Holtzman, J. Buys, L. Du, M. Forbes, and Y. Choi, The curious case of neural text degeneration, in Proceedings of the 8th International Conference on Learning Representations (ICLR) (ICLR, 2020).
- H. Neven, Meet Willow, our state-of-the-art quantum chip, 2024, https://blog.google/technology/research/google-willow-quantum-chip/.
- J. S. Otterbach, R. Manenti, N. Alidoust, A. Bestwick, M. Block, B. Bloom, S. Caldwell, N. Didier, E. S. Fried, S. Hong, et al., Unsupervised machine learning on a hybrid quantum computer, arXiv:1712.05771.
- M. P. Harrigan, K. J. Sung, M. Neeley, K. J. Satzinger, F. Arute, K. Arya, J. Atalaya, J. C. Bardin, R. Barends, S. Boixo, et al., Quantum approximate optimization of non-planar graph problems on a planar superconducting processor, Nat. Phys. 17, 332 (2021).
- G. Pagano, A. Bapat, P. Becker, K. S. Collins, A. De, P. W. Hess, H. B. Kaplan, A. Kyprianidis, W. L. Tan, C. Baldwin, et al., Quantum approximate optimization of the long-range Ising model with a trapped-ion quantum simulator, Proc. Natl. Acad. Sci. USA 117, 25396 (2020).
- Z. He, R. Shaydulin, D. Herman, C. Li, R. Raymond, S. H. Sureshbabu, and M. Pistoia, Parameter setting heuristics make the quantum approximate optimization algorithm suitable for the early fault-tolerant era, in ICCAD ‘24: Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design (ACM, New York, NY, USA, 2024), pp. 1–7.
- J. Wurtz and D. Lykov, Fixed-angle conjectures for the quantum approximate optimization algorithm on regular maxcut graphs, Phys. Rev. A 104, 052419 (2021).
- B. Augustino, M. Cain, E. Farhi, S. Gupta, S. Gutmann, D. Ranard, E. Tang, and K. V. Kirk, Strategies for running the QAOA at hundreds of qubits, arXiv:2410.03015.
- M. W. Johnson, M. H. S. Amin, S. Gildert, T. Lanting, F. Hamze, N. Dickson, R. Harris, A. J. Berkley, J. Johansson, P. Bunyk, et al., Quantum annealing with manufactured spins, Nature (London) 473, 194 (2011).
- A. del Campo, Shortcuts to adiabaticity by counterdiabatic driving, Phys. Rev. Lett. 111, 100502 (2013).
- M. Ohkuwa, H. Nishimori, and D. A. Lidar, Reverse annealing for the fully connected -spin model, Phys. Rev. A 98, 022314 (2018).
- R. Ghosh, L. A. Nutricati, N. Feinstein, P. A. Warburton, and S. Bose, Exponential speed-up of quantum annealing via -local catalysts, Phys. Rev. Res. 8, 013301 (2026).
- L. A. Nutricati, R. Ghosh, N. Feinstein, S. Bose, and P. A. Warburton, Enhancing the energy gap of random graph problems via XX-catalysts in quantum annealing, Quantum Sci. Technol. 10, 045010 (2025).