{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:09:09Z","timestamp":1764842949651,"version":"3.37.3"},"reference-count":23,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/researchcouncilofnorwayrcn","name":"Research Council of Norway","doi-asserted-by":"publisher","award":["332023"],"award-info":[{"award-number":["332023"]}],"id":[{"id":"10.13039\/researchcouncilofnorwayrcn","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/researchcouncilofnorwayrcn","name":"Research Council of Norway","doi-asserted-by":"publisher","award":["324944"],"award-info":[{"award-number":["324944"]}],"id":[{"id":"10.13039\/researchcouncilofnorwayrcn","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>We present a novel formalism to both understand and construct mixers that preserve a given subspace. The method connects and utilizes the stabilizer formalism that is used in error correcting codes. This can be useful in the setting when the quantum approximate optimization algorithm (QAOA), a popular meta-heuristic for solving combinatorial optimization problems, is applied in the setting where the constraints of the problem lead to a feasible subspace that is large but easy to specify. The proposed method gives a systematic way to construct mixers that are resource efficient in the number of controlled not gates and can be understood as a generalization of the well-known X and XY mixers and a relaxation of the Grover mixer: Given a basis of any subspace, a resource efficient mixer can be constructed that preserves the subspace. The numerical examples provided show a dramatic reduction of CX gates when compared to previous results. We call our approach logical X-Mixer or logical X QAOA (<mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mtext mathvariant=\"bold\">LX-QAOA<\/mml:mtext><\/mml:mrow><\/mml:math>), since it can be understood as dividing the subspace into code spaces of stabilizers S and consecutively applying logical rotational X gates associated with these code spaces. Overall, we hope that this new perspective can lead to further insight into the development of quantum algorithms.<\/jats:p>","DOI":"10.22331\/q-2024-11-25-1535","type":"journal-article","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T13:01:27Z","timestamp":1732539687000},"page":"1535","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":2,"title":["LX-mixers for QAOA: Optimal mixers restricted to subspaces and the stabilizer formalism"],"prefix":"10.22331","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3558-503X","authenticated-orcid":false,"given":"Franz G.","family":"Fuchs","sequence":"first","affiliation":[{"name":"SINTEF AS, Department of Mathematics and Cybernetics, Oslo, Norway"},{"name":"Department of Mathematics, University of Oslo, Norway"}]},{"given":"Ruben Pariente","family":"Bassa","sequence":"additional","affiliation":[{"name":"SINTEF AS, Department of Mathematics and Cybernetics, Oslo, Norway"}]}],"member":"9598","published-online":{"date-parts":[[2024,11,25]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"Andreas B\u00e4rtschiand Stephan Eidenbenz ``Grover mixers for QAOA: Shifting complexity from mixer design to state preparation&apos;&apos; 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) 72-82 (2020).","DOI":"10.1109\/QCE49297.2020.00020"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Sebastian Brandhofer, Daniel Braun, Vanessa Dehn, Gerhard Hellstern, Matthias H\u00fcls, Yanjun Ji, Ilia Polian, Amandeep Singh Bhatia, and Thomas Wellens, ``Benchmarking the performance of portfolio optimization with QAOA&apos;&apos; Quantum Information Processing 22, 1\u201327 (2023).","DOI":"10.1007\/s11128-022-03766-5"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Sergey Bravyi, Alexander Kliesch, Robert Koenig, and Eugene Tang, ``Obstacles to Variational Quantum Optimization from Symmetry Protection&apos;&apos; Phys. Rev. Lett. 125, 260505 (2020).","DOI":"10.1103\/PhysRevLett.125.260505"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Pablo D\u00edez-Valle, Diego Porras, and Juan Jos\u00e9 Garc\u00eda-Ripoll, ``Quantum Approximate Optimization Algorithm Pseudo-Boltzmann States&apos;&apos; Physical Review Letters 130, 050601 (2023).","DOI":"10.1103\/PhysRevLett.130.050601"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Pablo D\u00edez-Valle, Jorge Luis-Hita, Senaida Hern\u00e1ndez-Santana, Fernando Mart\u00ednez-Garc\u00eda, \u00c1lvaro D\u00edaz-Fern\u00e1ndez, Eva Andr\u00e9s, Juan Jos\u00e9 Garc\u00eda-Ripoll, Escol\u00e1stico S\u00e1nchez-Mart\u00ednez, and Diego Porras, ``Multiobjective variational quantum optimization for constrained problems: an application to cash handling&apos;&apos; Quantum Science and Technology 8, 045009 (2023).","DOI":"10.1088\/2058-9565\/ace474"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Daniel J. Egger, Jakub Mare\u010dek, and Stefan Woerner, ``Warm-starting quantum optimization&apos;&apos; Quantum 5, 479 (2021).","DOI":"10.22331\/q-2021-06-17-479"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Edward Farhi, Jeffrey Goldstone, and Sam Gutmann, ``A quantum approximate optimization algorithm&apos;&apos; arXiv preprint arXiv:1411.4028 (2014).","DOI":"10.48550\/arXiv.1411.4028"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Franz G Fuchs, Herman \u00d8ie Kolden, Niels Henrik Aase, and Giorgio Sartor, ``Efficient Encoding of the Weighted MAX k-CUT on a Quantum Computer Using QAOA&apos;&apos; SN Computer Science 2, 1\u201314 (2021).","DOI":"10.1007\/s42979-020-00437-z"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Franz Georg Fuchs, Kjetil Olsen Lye, Halvor M\u00f8ll Nilsen, Alexander Johannes Stasik, and Giorgio Sartor, ``Constraint Preserving Mixers for the Quantum Approximate Optimization Algorithm&apos;&apos; Algorithms 15, 202 (2022).","DOI":"10.3390\/a15060202"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Stuart Hadfield, Zhihui Wang, Bryan O&apos;Gorman, Eleanor G Rieffel, Davide Venturelli, and Rupak Biswas, ``From the quantum approximate optimization algorithm to a quantum alternating operator ansatz&apos;&apos; Algorithms 12, 34 (2019).","DOI":"10.3390\/a12020034"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Stuart Hadfield, Zhihui Wang, Eleanor G Rieffel, Bryan O&apos;Gorman, Davide Venturelli, and Rupak Biswas, ``Quantum approximate optimization with hard and soft constraints&apos;&apos; Proceedings of the Second International Workshop on Post Moores Era Supercomputing 15\u201321 (2017).","DOI":"10.1145\/3149526.3149530"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Tianyi Hao, Ruslan Shaydulin, Marco Pistoia, and Jeffrey Larson, ``Exploiting In-Constraint Energy in Constrained Variational Quantum Optimization&apos;&apos; 2022 IEEE\/ACM Third International Workshop on Quantum Computing Software (QCS) (2022).","DOI":"10.1109\/qcs56647.2022.00017"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Naomichi Hatanoand Masuo Suzuki ``Finding exponential product formulas of higher orders&apos;&apos; Springer (2005).","DOI":"10.1007\/11526216_2"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Dylan Herman, Ruslan Shaydulin, Yue Sun, Shouvanik Chakrabarti, Shaohan Hu, Pierre Minssen, Arthur Rattew, Romina Yalovetzky, and Marco Pistoia, ``Constrained optimization via quantum Zeno dynamics&apos;&apos; Communications Physics 6 (2023).","DOI":"10.1038\/s42005-023-01331-9"},{"key":"14","doi-asserted-by":"publisher","unstructured":"S. Marshand J. B. Wang ``Combinatorial optimization via highly efficient quantum walks&apos;&apos; Phys. Rev. Res. 2, 023302 (2020).","DOI":"10.1103\/PhysRevResearch.2.023302"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Pradeep Niroula, Ruslan Shaydulin, Romina Yalovetzky, Pierre Minssen, Dylan Herman, Shaohan Hu, and Marco Pistoia, ``Constrained quantum optimization for extractive summarization on a trapped-ion quantum computer&apos;&apos; Scientific Reports 12 (2022).","DOI":"10.1038\/s41598-022-20853-w"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Tatsuhiko Shiraiand Nozomu Togawa ``Postprocessing Variationally Scheduled Quantum Algorithm for Constrained Combinatorial Optimization Problems&apos;&apos; IEEE Transactions on Quantum Engineering 5, 1\u201314 (2024).","DOI":"10.1109\/TQE.2024.3376721"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Jens Siewert ``On orthogonal bases in the Hilbert-Schmidt space of matrices&apos;&apos; Journal of Physics Communications 6, 055014 (2022).","DOI":"10.1088\/2399-6528\/ac6f43"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Daniel Stilck Fran\u00e7aand Raul Garcia-Patron ``Limitations of optimization algorithms on noisy quantum devices&apos;&apos; Nature Physics 17, 1221\u20131227 (2021).","DOI":"10.1038\/s41567-021-01356-3"},{"key":"19","doi-asserted-by":"publisher","unstructured":"Hale F Trotter ``On the product of semi-groups of operators&apos;&apos; Proceedings of the American Mathematical Society 10, 545\u2013551 (1959).","DOI":"10.2307\/2033649"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Pontus Vikst\u00e5l, Mattias Gr\u00f6nkvist, Marika Svensson, Martin Andersson, G\u00f6ran Johansson, and Giulia Ferrini, ``Applying the Quantum Approximate Optimization Algorithm to the Tail-Assignment Problem&apos;&apos; Phys. Rev. Applied 14, 034009 (2020).","DOI":"10.1103\/PhysRevApplied.14.034009"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Zhihui Wang, Nicholas C. Rubin, Jason M. Dominy, and Eleanor G. Rieffel, ``XY mixers: Analytical and numerical results for the quantum alternating operator ansatz&apos;&apos; Physical Review A 101 (2020).","DOI":"10.1103\/physreva.101.012320"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Linghua Zhu, Ho Lun Tang, George S. Barron, F. A. Calderon-Vargas, Nicholas J. Mayhall, Edwin Barnes, and Sophia E. Economou, ``Adaptive quantum approximate optimization algorithm for solving combinatorial problems on a quantum computer&apos;&apos; Phys. Rev. Res. 4, 033029 (2022).","DOI":"10.1103\/PhysRevResearch.4.033029"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-11-25-1535\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T13:01:53Z","timestamp":1732539713000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2024-11-25-1535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,25]]},"references-count":23,"URL":"https:\/\/doi.org\/10.22331\/q-2024-11-25-1535","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"type":"electronic","value":"2521-327X"}],"subject":[],"published":{"date-parts":[[2024,11,25]]},"article-number":"1535"}}