- Open Access
Inequality constraints in variational quantum circuits with qudits
Phys. Rev. Research 7, 033202 – Published 29 August, 2025
DOI: https://doi.org/10.1103/3l96-41xf
Abstract
Quantum optimization is emerging as a prominent candidate for exploiting the capabilities of near-term quantum devices. Many application-relevant optimization tasks require the inclusion of inequality constraints, usually handled by enlarging the Hilbert space through the addition of slack variables. This approach, however, requires significant additional resources especially when considering multiple constraints. Here, we study an alternative direct implementation of these constraints within the quantum approximate optimization algorithm, achieved using qudit-sum gates, and compare it to the slack variable method generalized to qudits. We benchmark these approaches on three paradigmatic optimization problems. We find that the direct implementation of the inequality penalties vastly outperforms the slack variables method, especially when studying real-world inspired problems with many constraints. Within the direct penalty implementation, a linear energy penalty for unfeasible states outperforms other investigated functional forms, such as the canonical quadratic penalty. The proposed approach may thus be an enabling step for approaching realistic industry-scale and fundamental science problems with large numbers of inequality constraints.
Physics Subject Headings (PhySH)
Article Text
References (58)
- A. Abbas, A. Ambainis, B. Augustino et al., Challenges and opportunities in quantum optimization, Nat. Rev. Phys. 6, 718 (2024).
- B. C. B. Symons, D. Galvin, E. Sahin, V. Alexandrov, and S. Mensa, A practitioner's guide to quantum algorithms for optimisation problems, J. Phys. A Math. Theor. 56, 453001 (2023).
- G. Kochenberger, J.-K. Hao, F. Glover, M. Lewis, Z. Lü, H. Wang, and Y. Wang, The unconstrained binary quadratic programming problem: A survey, J. Comb. Optim. 28, 58 (2014).
- A. Lucas, Ising formulations of many NP problems, Front. Phys. 2, 5 (2014).
- P. Hauke, H. G. Katzgraber, W. Lechner, H. Nishimori, and W. D. Oliver, Perspectives of quantum annealing: Methods and implementations, Rep. Prog. Phys. 83, 054401 (2020).
- S. Yarkoni, E. Raponi, T. Bäck, and S. Schmitt, Quantum annealing for industry applications: Introduction and review, Rep. Prog. Phys. 85, 104001 (2022).
- K. Bharti, A. Cervera-Lierta, T. H. Kyaw, T. Haug, S. Alperin-Lea, A. Anand, M. Degroote, H. Heimonen, J. S. Kottmann, T. Menke, W.-K. Mok, S. Sim, L.-C. Kwek, and A. Aspuru-Guzik, Noisy intermediate-scale quantum algorithms, Rev. Mod. Phys. 94, 015004 (2022).
- M. Cerezo, A. Arrasmith, R. Babbush, S. C. Benjamin, S. Endo, K. Fujii, J. R. McClean, K. Mitarai, X. Yuan, L. Cincio et al., Variational quantum algorithms, Nat. Rev. Phys. 3, 625 (2021).
- J. Tilly, H. Chen, S. Cao, D. Picozzi, K. Setia, Y. Li, E. Grant, L. Wossnig, I. Rungger, G. H. Booth, and J. Tennyson, The variational quantum eigensolver: A review of methods and best practices, Phys. Rep. 986, 1 (2022).
- D. A. Fedorov, B. Peng, N. Govind, and Y. Alexeev, VQE method: A short survey and recent developments, Mater. Theory 6, 2 (2022).
- E. Farhi, J. Goldstone, and S. Gutmann, A quantum approximate optimization algorithm, arXiv:1411.4028.
- K. Blekos, D. Brand, A. Ceschini, C.-H. Chou, R.-H. Li, K. Pandya, and A. Summer, A review on quantum approximate optimization algorithm and its variants, Phys. Rep. 1068, 1 (2024).
- S. Limmer, J. Varga, and G. R. Raidl, Large neighborhood search for electric vehicle fleet scheduling, Energies 16, 4576 (2023).
- M. S. Blok, V. V. Ramasesh, T. Schuster, K. O'Brien, J. M. Kreikebaum, D. Dahlen, A. Morvan, B. Yoshida, N. Y. Yao, and I. Siddiqi, Quantum information scrambling on a superconducting qutrit processor, Phys. Rev. X 11, 021010 (2021).
- M. Ringbauer, M. Meth, L. Postler, R. Stricker, R. Blatt, P. Schindler, and T. Monz, A universal qudit quantum processor with trapped ions, Nat. Phys. 18, 1053 (2022).
- V. Kasper, D. Gonzalez-Cuadra, A. Hegde, A. Xia, A. Dauphin, F. Huber, E. Tiemann, M. Lewenstein, F. Jendrzejewski, and P. Hauke, Universal quantum computation and quantum error correction with ultracold atomic mixtures, Quantum Sci. Technol. 7, 015008 (2022).
- Y. Chi, J. Huang, Z. Zhang, J. Mao, Z. Zhou, X. Chen, C. Zhai, J. Bao, T. Dai, H. Yuan et al., A programmable qudit-based quantum processor, Nat. Commun. 13, 1166 (2022).
- D. González-Cuadra, T. V. Zache, J. Carrasco, B. Kraus, and P. Zoller, Hardware efficient quantum simulation of non-Abelian gauge theories with qudits on Rydberg platforms, Phys. Rev. Lett. 129, 160501 (2022).
- P. Hrmo, B. Wilhelm, L. Gerster, M. W. van Mourik, M. Huber, R. Blatt, P. Schindler, T. Monz, and M. Ringbauer, Native qudit entanglement in a trapped ion quantum processor, Nat. Commun. 14, 2242 (2023).
- X. Gao, P. Appel, N. Friis, M. Ringbauer, and M. Huber, On the role of entanglement in qudit-based circuit compression, Quantum 7, 1141 (2023).
- L. E. Fischer, A. Chiesa, F. Tacchino, D. J. Egger, S. Carretta, and I. Tavernelli, Universal qudit gate synthesis for transmons, PRX Quantum 4, 030327 (2023).
- S. Bravyi, A. Kliesch, R. Koenig, and E. Tang, Hybrid quantum-classical algorithms for approximate graph coloring, Quantum 6, 678 (2022).
- Y. Deller, S. Schmitt, M. Lewenstein, S. Lenk, M. Federer, F. Jendrzejewski, P. Hauke, and V. Kasper, Quantum approximate optimization algorithm for qudit systems, Phys. Rev. A 107, 062410 (2023).
- G. Bottrill, M. Pandey, and O. Di Matteo, Exploring the potential of qutrits for quantum optimization of graph coloring, in 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Bellevue, WA, USA (IEEE, New York, 2023), pp. 177–183.
- M. Karácsony, L. Oroszlány, and Z. Zimborás, Efficient qudit based scheme for photonic quantum computing, SciPost Phys. Core 7, 032 (2024).
- E. Farhi and A. W. Harrow, Quantum supremacy through the quantum approximate optimization algorithm, arXiv:1602.07674.
- P. Giorda, P. Zanardi, and S. Lloyd, Universal quantum control in irreducible state-space sectors: Application to bosonic and spin-boson systems, Phys. Rev. A 68, 062320 (2003).
- N. L. Wach, M. S. Rudolph, F. Jendrzejewski, and S. Schmitt, Data re-uploading with a single qudit, Quantum Mach. Intell. 5, 36 (2023).
- S. Roca-Jerat, J. Román-Roche, and D. Zueco, Qudit machine learning, Mach. Learn.: Sci. Technol. 5, 015057 (2024).
- D. H. Useche, A. Giraldo-Carvajal, H. M. Zuluaga-Bucheli, J. A. Jaramillo-Villegas, and F. A. González, Quantum measurement classification with qudits, Quantum Inf. Process. 21, 12 (2022).
- M. G. De Andoin, A. Bottarelli, S. Schmitt, I. Oregi, P. Hauke, and M. Sanz, Formulation of the electric vehicle charging and routing problem for a hybrid quantum-classical search space reduction heuristic, in 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), Bilbao, Spain (IEEE, 2023), pp. 5318–5323.
- V. Vargas-Calderón, N. Parra-A, H. Vinck-Posada, and F. A. González, Many-qudit representation for the travelling salesman problem optimisation, J. Phys. Soc. Jpn. 90, 114002 (2021).
- A. E. Smith and D. W. Coit, Constraint-handling techniques—penalty functions, in Evolutionary Computation 2, Advanced Algorithms and Operators, edited by T. Baeck, D. B. Fogel, and Z. Michalewicz (Institute of Physics, London, 2000), Chap. 7, pp. 41–48.
- C. A. Coello Coello, Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state of the art, Comput. Methods Appl. Mech. Eng. 191, 1245 (2002).
- J. Nocedal and S. J. Wright, Numerical Optimization, Springer Series in Operations Research and Financial Engineering (Springer, New York, 2006).
- K. Kuroiwa and Y. O. Nakagawa, Penalty methods for a variational quantum eigensolver, Phys. Rev. Res. 3, 013197 (2021).
- H. N. Djidjev, Quantum annealing with inequality constraints: The set cover problem, Adv. Quantum Technol. 6, 2300104 (2023).
- J. Welch, D. Greenbaum, S. Mostame, and A. Aspuru-Guzik, Efficient quantum circuits for diagonal unitaries without ancillas, New J. Phys. 16, 033040 (2014).
- S. Hadfield, On the representation of Boolean and real functions as Hamiltonians for quantum computing, ACM Trans. Quantum Comput. 2, 1 (2021).
- N. Chancellor, Domain wall encoding of discrete variables for quantum annealing and QAOA, Quantum Sci. Technol. 4, 045004 (2019).
- F. G. Fuchs, K. O. Lye, H. Møll Nilsen, A. J. Stasik, and G. Sartor, Constraint preserving mixers for the quantum approximate optimization algorithm, Algorithms 15, 202 (2022).
- S. Hadfield, Z. Wang, B. O'Gorman, E. G. Rieffel, D. Venturelli, and R. Biswas, From the quantum approximate optimization algorithm to a quantum alternating operator ansatz, Algorithms 12, 34 (2019).
- A. Bärtschi and S. Eidenbenz, Grover mixers for qaoa: Shifting complexity from mixer design to state preparation, in 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), Denver, CO, USA (IEEE, 2020), pp. 72–82.
- P. Díez-Valle, J. Luis-Hita, S. Hernández-Santana, F. Martínez-García, Á. Díaz-Fernández, E. Andrés, J. J. García-Ripoll, E. Sánchez-Martínez, and D. Porras, Multiobjective variational quantum optimization for constrained problems: An application to cash handling, Quantum Sci. Technol. 8, 045009 (2023).
- D. Herman, R. Shaydulin, Y. Sun, S. Chakrabarti, S. Hu, P. Minssen, A. Rattew, R. Yalovetzky, and M. Pistoia, Constrained optimization via quantum zeno dynamics, Commun. Phys. 6, 219 (2023).
- N. Sauerwein, F. Orsi, P. Uhrich, S. Bandyopadhyay, F. Mattiotti, T. Cantat-Moltrecht, G. Pupillo, P. Hauke, and J.-P. Brantut, Engineering random spin models with atoms in a high-finesse cavity, Nat. Phys. 19, 1128 (2023).
- O. Sassi and A. Oulamara, Electric vehicle scheduling and optimal charging problem: Complexity, exact and heuristic approaches, Int. J. Prod. Res. 55, 519 (2017).
- P. Virtanen et al. and SciPy 1.0 Contributors, SciPy 1.0: Fundamental algorithms for scientific computing in python, Nat. Methods 17, 261 (2020).
- A. Y. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. 303, 2 (2003).
- Spin Ice, edited by M. Udagawa and L. Jaubert (Springer, New York, 2021).
- C. Micheletti, P. Hauke, and P. Faccioli, Polymer physics by quantum computing, Phys. Rev. Lett. 127, 080501 (2021).
- F. Slongo, P. Hauke, P. Faccioli, and C. Micheletti, Quantum-inspired encoding enhances stochastic sampling of soft matter systems, Sci. Adv. 9, eadi0204 (2023).
- M. Larocca, S. Thanasilp, S. Wang, K. Sharma, J. Biamonte, P. J. Coles, L. Cincio, J. R. McClean, Z. Holmes, and M. Cerezo, Barren plateaus in variational quantum computing, Nat. Rev. Phys. 7, 174 (2025).
- M. C. Banuls, R. Blatt, J. Catani, A. Celi, J. I. Cirac, M. Dalmonte, L. Fallani, K. Jansen, M. Lewenstein, S. Montangero et al., Simulating lattice gauge theories within quantum technologies, Eur. Phys. J. D 74, 165 (2020).
- J. C. Halimeh, M. Aidelsburger, F. Grusdt, P. Hauke, and B. Yang, Cold-atom quantum simulators of gauge theories, Nat. Phys. 21, 25 (2025).
- J. C. Halimeh, H. Lang, J. Mildenberger, Z. Jiang, and P. Hauke, Gauge-symmetry protection using single-body terms, PRX Quantum 2, 040311 (2021).
- J. C. Halimeh and P. Hauke, Stabilizing gauge theories in quantum simulators: A brief review, arXiv:2204.13709.
- A. Rajput, A. Roggero, and N. Wiebe, Quantum error correction with gauge symmetries, npj Quantum Inf. 9, 41 (2023).