Skip to main content

Fixed-point Grover Adaptive Search for Quadratic Binary Optimization Problems

by
  • Ákos Nagy
  • Jaime Park
  • Cindy Zhang
  • Atithi Acharya
  • Alex Khan
2023 arXiv: 2311.05592   (2023)
PDF barthel     ADSabs 2024ITQE....5E4650N     BibTeX

We study a Grover-type method for Quadratic Unconstrained Binary Optimization (QUBO) problems. For an n-dimensional QUBO problem with m nonzero terms, we construct a marker oracle for such problems with a tuneable parameter, Λ∈[ 1, m ] ∩ℤ. At d ∈ℤ_+ precision, the oracle uses O (n + Λ d) qubits, has total depth of O ( mΛlog_2 (n) + log_2 (d) ), and non-Clifford depth of O ( mΛ). Moreover, each qubit required to be connected to at most O ( log_2 (Λ + d) ) other qubits. In the case of a maximum graph cuts, as d = 2 ⌈log_2 (n) ⌉ always suffices, the depth of the marker oracle can be made as shallow as O (log_2 (n)). For all values of Λ, the non-Clifford gate count of these oracles is strictly lower (at least by a factor of ∼ 2) than previous constructions. Furthermore, we introduce a novel Fixed-point Grover Adaptive Search for QUBO Problems, using our oracle design and a hybrid Fixed-point Grover Search, motivated by the works of Boyer et al. and Li et al. This method has better performance guarantees than previous Grover Adaptive Search methods. Some of our results are novel and useful for any method based on Fixed-point Grover Search. Finally, we give a heuristic argument that, with high probability and in O ( log_2 (n)√(ϵ)) time, this adaptive method finds a configuration that is among the best ϵ 2^n ones.

Back to Top