SIM-QAOA

Bence Bakó, Adam Glos, Özlem Salehi, Zoltán Zimborás

Quality measures

  • number of physical qubits
  • effective space size
  • number of gates
  • number of parameterized gates
  • depth
  • depth on LNN
  • energy span

No. qubits and effective space size

XY-QAOA for TSP

mixer: \(X_iX_j + Y_iY_j\)

  • \(n^2\) qubits are needed
  • with good mixer, only one hot states are present (for example \(|001\rangle |010\rangle |001\rangle\))
  • There is only \(n^n\) of them
  • effective space space size is \(\log(n^n) = n\log n\)
  • both lower bouned by log of the number of solutions

No. (parameterized) gates

  • ZZZ applied
  • 5 gates, but 1 parameterized gates
  • The larger number of gates - the more destructive noise
  • number of parameterized gates influences the cost of estimating analytical gradient.
  • both lower bounded by the number of degrees of freedom in the problem (for example number of possible edges in Max-K-Cut)

Depth (on LNN)

  • we assume parallel computation
  • two cases: all-to-all connectivity and LNN connectivity
  • lowerbounded by number of gates over number of qubits

Energy span

  • Difference between maximal and minimal achievable energy
  • influences the number of measurement required for the energy estimation

From Hoeffding Theorem

Better than the state-of-the-art way for VQE

Max-K-Cut

  • X-QAOA - X mixer, standard QUBO,
  • XY-QAOA - XY mixer, standard QUBO
  • HOBO - binary encoding, X-mixer
  • SIM-QAOA - as in Fuchs, Franz G., et al. "Efficient Encoding of the Weighted MAX-k-CUT on a Quantum Computer Using QAOA." SN Computer Science 2.2 (2021): 1-14.

At least one cost depends siginificantly on K

Max-K-Cut - SIM-QAOA

Very bad when \(K=2^k+1\)

  • All colors have meaning - last color is multiplied
  • Fix incorrectly assumed different colors

Max-K-Cut - SIM-QAOA

  • we start in product of W-like state in a binary encoding
  • quantum version of the classical pseudocode,
  • for double loop: use swap network
  • Dependency on K basically disappeared

TSP

None of the encodings matches the "natural optimal" value

number of qubits times depth at least \(O(n^3)\) for

TSP - SIM-QAOA

  • We start in binary encoding like in HOBO (product of \(n\) W-state-like states in binary encoding
  • we choose Grover mixer for our purpose (different ones can be used)
  • Hamiltonian implemented through a quantum version of the classical pseudocode (with some parallelization + swapping strategy)

TSP - SIM-QAOA

TSP - SIM-QAOA

The idea can be generalized, so far we managed to use it for

  • Set Cover problem
  • Integer Linear Problem (trade-off)
  • Graph Isomorphism (trade-off in general, optimal for Euclidean graphs)

SIM-QAOA

By Adam Glos

SIM-QAOA

  • 87