Abstract

The weighted MAX k-CUT problem consists of finding a k-partition of a given weighted undirected graph G(V, E), such that the sum of the weights of the crossing edges is maximized. The problem is of particular interest as it has a multitude of practical applications. We present a formulation of the weighted MAX k-CUT suitable for running the quantum approximate optimization algorithm (QAOA) on noisy intermediate scale quantum (NISQ) devices to get approximate solutions. The new formulation uses a binary encoding that requires only |V|log _2k qubits. The contributions of this paper are as follows: (i) a novel decomposition of the phase-separation operator based on the binary encoding into basis gates is provided for the MAX k-CUT problem for k>2. (ii) Numerical simulations on a suite of test cases comparing different encodings are performed. (iii) An analysis of the resources (number of qubits, CX gates) of the different encodings is presented. (iv) Formulations and simulations are extended to the case of weighted graphs. For small k and with further improvements when k is not a power of two, our algorithm is a possible candidate to show quantum advantage on NISQ devices.

Highlights

  • Introduction and Related WorkThe search for quantum algorithms of practical interest has intensified since the announcement of quantum supremacy in [2]

  • We investigate in this article how quantum approximate optimization algorithm (QAOA) can be used to approximately solve the MAX k-CUT problem

  • An Ising model is a mathematical model of ferromagnetism in statistical mechanics, consisting of discrete variables si that represent atomic “spins” that can be in SN Computer Science Vol.:(0123456789)

Read more

Summary

Introduction and Related Work

The search for quantum algorithms of practical interest has intensified since the announcement of quantum supremacy in [2]. For the foreseeable future, quantum hardware will limit the depth (length of the computation) and width (number of qubits) of the algorithms that can be run. This article is part of the topical collection “Quantum Computing and Emerging Technologies” guest edited by Himanshu Thapliyal and Saraju Mohanty. The problem discussed in this paper falls within the class of Ising models. An Ising model is a mathematical model of ferromagnetism in statistical mechanics, consisting of discrete variables si that represent atomic “spins” that can be in SN Computer Science Vol.:(0123456789)

89 Page 2 of 14
89 Page 4 of 14
89 Page 8 of 14
89 Page 10 of 14
Implementation and Results
Conclusion
89 Page 14 of 14
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call