Fermionic Quantum Approximate Optimization Algorithm

Quantum computers are expected to accelerate solving combinatorial optimization problems, including algorithms such as Grover adaptive search and quantum approximate optimization algorithm (QAOA). However, many combinatorial optimization problems involve constraints which, when imposed as soft constraints in the cost function, can negatively impact the performance of the optimization algorithm. In this paper, we propose fermionic quantum approximate optimization algorithm (FQAOA) for solving combinatorial optimization problems with constraints. Specifically FQAOA tackle the constrains issue by using fermion particle number preservation to intrinsically impose them throughout QAOA. We provide a systematic guideline for designing the driver Hamiltonian for a given problem Hamiltonian with constraints. The initial state can be chosen to be a superposition of states satisfying the constraint and the ground state of the driver Hamiltonian. This property is important since FQAOA reduced to quantum adiabatic computation in the large limit of circuit depth p and improved performance, even for shallow circuits with optimizing the parameters starting from the fixed-angle determined by Trotterized quantum adiabatic evolution. We perform an extensive numerical simulation and demonstrates that proposed FQAOA provides substantial performance advantage against existing approaches in portfolio optimization problems. Furthermore, the Hamiltonian design guideline is useful not only for QAOA, but also Grover adaptive search and quantum phase estimation to solve combinatorial optimization problems with constraints. Since software tools for fermionic systems have been developed in quantum computational chemistry both for noisy intermediate-scale quantum computers and fault-tolerant quantum computers, FQAOA allows us to apply these tools for constrained combinatorial optimization problems.

[1]  Shaohan Hu,et al.  Constrained quantum optimization for extractive summarization on a trapped-ion quantum computer , 2022, Scientific Reports.

[2]  A. Montanaro,et al.  Observing ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computer , 2021, Nature Communications.

[3]  T. Hogg,et al.  Analytical framework for quantum alternating operator ansätze , 2021, Quantum Science and Technology.

[4]  J. Wurtz,et al.  Fixed-angle conjectures for the quantum approximate optimization algorithm on regular MaxCut graphs , 2021, Physical Review A.

[5]  Keisuke Fujii,et al.  Qulacs: a fast and versatile quantum circuit simulator for research purpose , 2020, Quantum.

[6]  Martin Leib,et al.  Beating classical heuristics for the binary paint shop problem with the quantum approximate optimization algorithm , 2020, Physical Review A.

[7]  Nozomu Togawa,et al.  Performance Comparison of Typical Binary-Integer Encodings in an Ising Machine , 2021, IEEE Access.

[8]  Stuart M. Harwood,et al.  Formulating and Solving Routing Problems on Quantum Computers , 2021, IEEE Transactions on Quantum Engineering.

[9]  R. Joynt,et al.  Speedup of the quantum adiabatic algorithm using delocalization catalysis , 2020, 2007.11212.

[10]  Kevin J. Sung,et al.  Hartree-Fock on a superconducting qubit quantum computer , 2020, Science.

[11]  E. Rieffel,et al.  XY mixers: Analytical and numerical results for the quantum alternating operator ansatz , 2020 .

[12]  Chris Cade,et al.  Strategies for solving the Fermi-Hubbard model on near-term quantum computers , 2019, 1912.06007.

[13]  Fengqi You,et al.  Quantum computing for energy systems optimization: Challenges and opportunities , 2019, Energy.

[14]  M. Hastings Duality in Quantum Quenches and Classical Approximation Algorithms: Pretty Good or Very Bad , 2019, Quantum.

[15]  Rupak Biswas,et al.  From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator Ansatz , 2017, Algorithms.

[16]  W. Hager,et al.  and s , 2019, Shallow Water Hydraulics.

[17]  G. Hunanyan,et al.  Portfolio Selection , 2019, Finanzwirtschaft, Banken und Bankmanagement I Finance, Banks and Bank Management.

[18]  Kazue Kudo,et al.  Constrained quantum annealing of graph coloring , 2018, Physical Review A.

[19]  H. Neven,et al.  Low-Depth Quantum Simulation of Materials , 2018 .

[20]  Alán Aspuru-Guzik,et al.  Quantum Simulation of Electronic Structure with Linear Depth and Connectivity. , 2017, Physical review letters.

[21]  Kevin J. Sung,et al.  Quantum algorithms to simulate many-body physics of correlated fermions. , 2017, 1711.05395.

[22]  G. Santoro,et al.  Dissipation in adiabatic quantum computers: lessons from an exactly solvable model , 2017, 1704.03183.

[23]  Kesheng Wu,et al.  Solving the Optimal Trading Trajectory Problem Using a Quantum Annealer , 2015, IEEE Journal of Selected Topics in Signal Processing.

[24]  M. Hastings,et al.  Progress towards practical quantum variational algorithms , 2015, 1507.08969.

[25]  M. Hastings,et al.  Solving strongly correlated electron models on a quantum computer , 2015, 1506.05135.

[26]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[27]  Frank Verstraete,et al.  Quantum circuits for strongly correlated quantum systems , 2008, ArXiv.

[28]  A. Young,et al.  Size dependence of the minimum excitation gap in the quantum adiabatic algorithm. , 2008, Physical review letters.

[29]  M. Okada,et al.  Residual Energies after Slow Quantum Annealing , 2005, cond-mat/0502203.

[30]  Seth Lloyd,et al.  Adiabatic quantum computation is equivalent to standard quantum computation , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[31]  H. Nishimori,et al.  Quantum annealing in the transverse Ising model , 1998, cond-mat/9804280.

[32]  E. Lieb,et al.  Two Soluble Models of an Antiferromagnetic Chain , 1961 .

[33]  R. Dicke Coherence in Spontaneous Radiation Processes , 1954 .

[34]  E. Wigner,et al.  Über das Paulische Äquivalenzverbot , 1928 .