-
Solving non-native combinatorial optimization problems using hybrid quantum-classical algorithms
Authors:
Jonathan Wurtz,
Stefan Sack,
Sheng-Tao Wang
Abstract:
Combinatorial optimization is a challenging problem applicable in a wide range of fields from logistics to finance. Recently, quantum computing has been used to attempt to solve these problems using a range of algorithms, including parameterized quantum circuits, adiabatic protocols, and quantum annealing. These solutions typically have several challenges: 1) there is little to no performance gain…
▽ More
Combinatorial optimization is a challenging problem applicable in a wide range of fields from logistics to finance. Recently, quantum computing has been used to attempt to solve these problems using a range of algorithms, including parameterized quantum circuits, adiabatic protocols, and quantum annealing. These solutions typically have several challenges: 1) there is little to no performance gain over classical methods, 2) not all constraints and objectives may be efficiently encoded in the quantum ansatz, and 3) the solution domain of the objective function may not be the same as the bit strings of measurement outcomes. This work presents "non-native hybrid algorithms" (NNHA): a framework to overcome these challenges by integrating quantum and classical resources with a hybrid approach. By designing non-native quantum variational ansatzes that inherit some but not all problem structure, measurement outcomes from the quantum computer can act as a resource to be used by classical routines to indirectly compute optimal solutions, partially overcoming the challenges of contemporary quantum optimization approaches. These methods are demonstrated using a publicly available neutral-atom quantum computer on two simple problems of Max $k$-Cut and maximum independent set. We find improvements in solution quality when comparing the hybrid algorithm to its ``no quantum" version, a demonstration of a "comparative advantage".
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Large-scale quantum approximate optimization on non-planar graphs with machine learning noise mitigation
Authors:
Stefan H. Sack,
Daniel J. Egger
Abstract:
Quantum computers are increasing in size and quality, but are still very noisy. Error mitigation extends the size of the quantum circuits that noisy devices can meaningfully execute. However, state-of-the-art error mitigation methods are hard to implement and the limited qubit connectivity in superconducting qubit devices restricts most applications to the hardware's native topology. Here we show…
▽ More
Quantum computers are increasing in size and quality, but are still very noisy. Error mitigation extends the size of the quantum circuits that noisy devices can meaningfully execute. However, state-of-the-art error mitigation methods are hard to implement and the limited qubit connectivity in superconducting qubit devices restricts most applications to the hardware's native topology. Here we show a quantum approximate optimization algorithm (QAOA) on non-planar random regular graphs with up to 40 nodes enabled by a machine learning-based error mitigation. We use a swap network with careful decision-variable-to-qubit map** and a feed-forward neural network to demonstrate optimization of a depth-two QAOA on up to 40 qubits. We observe a meaningful parameter optimization for the largest graph which requires running quantum circuits with 958 two-qubit gates. Our work emphasizes the need to mitigate samples, and not only expectation values, in quantum approximate optimization. These results are a step towards executing quantum approximate optimization at a scale that is not classically simulable. Reaching such system sizes is key to properly understanding the true potential of heuristic algorithms like QAOA.
△ Less
Submitted 22 March, 2024; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement
Authors:
Stefan H. Sack,
Raimel A. Medina,
Richard Kueng,
Maksym Serbyn
Abstract:
The quantum approximate optimization algorithm (QAOA) is a variational quantum algorithm, where a quantum computer implements a variational ansatz consisting of $p$ layers of alternating unitary operators and a classical computer is used to optimize the variational parameters. For a random initialization, the optimization typically leads to local minima with poor performance, motivating the search…
▽ More
The quantum approximate optimization algorithm (QAOA) is a variational quantum algorithm, where a quantum computer implements a variational ansatz consisting of $p$ layers of alternating unitary operators and a classical computer is used to optimize the variational parameters. For a random initialization, the optimization typically leads to local minima with poor performance, motivating the search for initialization strategies of QAOA variational parameters. Although numerous heuristic initializations exist, an analytical understanding and performance guarantees for large $p$ remain evasive. We introduce a greedy initialization of QAOA which guarantees improving performance with an increasing number of layers. Our main result is an analytic construction of $2p+1$ transition states - saddle points with a unique negative curvature direction - for QAOA with $p+1$ layers that use the local minimum of QAOA with $p$ layers. Transition states connect to new local minima, which are guaranteed to lower the energy compared to the minimum found for $p$ layers. We use the GREEDY procedure to navigate the exponentially increasing with $p$ number of local minima resulting from the recursive application of our analytic construction. The performance of the GREEDY procedure matches available initialization strategies while providing a guarantee for the minimal energy to decrease with an increasing number of layers $p$.
△ Less
Submitted 6 June, 2023; v1 submitted 2 September, 2022;
originally announced September 2022.
-
Avoiding barren plateaus using classical shadows
Authors:
Stefan H. Sack,
Raimel A. Medina,
Alexios A. Michailidis,
Richard Kueng,
Maksym Serbyn
Abstract:
Variational quantum algorithms are promising algorithms for achieving quantum advantage on near-term devices. The quantum hardware is used to implement a variational wave function and measure observables, whereas the classical computer is used to store and update the variational parameters. The optimization landscape of expressive variational ansätze is however dominated by large regions in parame…
▽ More
Variational quantum algorithms are promising algorithms for achieving quantum advantage on near-term devices. The quantum hardware is used to implement a variational wave function and measure observables, whereas the classical computer is used to store and update the variational parameters. The optimization landscape of expressive variational ansätze is however dominated by large regions in parameter space, known as barren plateaus, with vanishing gradients which prevents efficient optimization. In this work we propose a general algorithm to avoid barren plateaus in the initialization and throughout the optimization. To this end we define a notion of weak barren plateaus (WBP) based on the entropies of local reduced density matrices. The presence of WBPs can be efficiently quantified using recently introduced shadow tomography of the quantum state with a classical computer. We demonstrate that avoidance of WBPs suffices to ensure sizable gradients in the initialization. In addition, we demonstrate that decreasing the gradient step size, guided by the entropies allows to avoid WBPs during the optimization process. This paves the way for efficient barren plateau free optimization on near-term devices.
△ Less
Submitted 30 June, 2022; v1 submitted 20 January, 2022;
originally announced January 2022.
-
Entanglement based observables for quantum impurities
Authors:
Lidia Stocker,
Stefan H. Sack,
Michael S. Ferguson,
Oded Zilberberg
Abstract:
Quantum impurities exhibit fascinating many-body phenomena when the small interacting impurity changes the physics of a large noninteracting environment. The characterisation of such strongly correlated non-perturbative effects is particularly challenging due to the infinite size of the environment, and the inability of local correlators to capture the build-up of long-ranged entanglement in the s…
▽ More
Quantum impurities exhibit fascinating many-body phenomena when the small interacting impurity changes the physics of a large noninteracting environment. The characterisation of such strongly correlated non-perturbative effects is particularly challenging due to the infinite size of the environment, and the inability of local correlators to capture the build-up of long-ranged entanglement in the system. Here, we harness an entanglement-based observable - the purity of the impurity - as a witness for the formation of strong correlations. We showcase the utility of our scheme by exactly solving the open Kondo box model in the small box limit, and thus describe all-electronic dot-cavity devices. Specifically, we conclusively characterise the metal-to-insulator phase transition in the system and identify how the (conducting) dot-lead Kondo singlet is quenched by an (insulating) intra-impurity singlet formation. Furthermore, we propose an experimentally feasible tomography protocol for the measurement of the purity, which motivates the observation of impurity physics through their entanglement build-up.
△ Less
Submitted 13 January, 2023; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Quantum annealing initialization of the quantum approximate optimization algorithm
Authors:
Stefan H. Sack,
Maksym Serbyn
Abstract:
The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the o…
▽ More
The quantum approximate optimization algorithm (QAOA) is a prospective near-term quantum algorithm due to its modest circuit depth and promising benchmarks. However, an external parameter optimization required in QAOA could become a performance bottleneck. This motivates studies of the optimization landscape and search for heuristic ways of parameter initialization. In this work we visualize the optimization landscape of the QAOA applied to the MaxCut problem on random graphs, demonstrating that random initialization of the QAOA is prone to converging to local minima with sub-optimal performance. We introduce the initialization of QAOA parameters based on the Trotterized quantum annealing (TQA) protocol, parameterized by the Trotter time step. We find that the TQA initialization allows to circumvent the issue of false minima for a broad range of time steps, yielding the same performance as the best result out of an exponentially scaling number of random initializations. Moreover, we demonstrate that the optimal value of the time step coincides with the point of proliferation of Trotter errors in quantum annealing. Our results suggest practical ways of initializing QAOA protocols on near-term quantum devices and reveals new connections between QAOA and quantum annealing.
△ Less
Submitted 29 June, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Parameterized quantum circuits as machine learning models
Authors:
Marcello Benedetti,
Erika Lloyd,
Stefan Sack,
Mattia Fiorentini
Abstract:
Hybrid quantum-classical systems make it possible to utilize existing quantum computers to their fullest extent. Within this framework, parameterized quantum circuits can be regarded as machine learning models with remarkable expressive power. This Review presents the components of these models and discusses their application to a variety of data-driven tasks, such as supervised learning and gener…
▽ More
Hybrid quantum-classical systems make it possible to utilize existing quantum computers to their fullest extent. Within this framework, parameterized quantum circuits can be regarded as machine learning models with remarkable expressive power. This Review presents the components of these models and discusses their application to a variety of data-driven tasks, such as supervised learning and generative modeling. With an increasing number of experimental demonstrations carried out on actual quantum hardware and with software being actively developed, this rapidly growing field is poised to have a broad spectrum of real-world applications.
△ Less
Submitted 10 October, 2019; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Elastic propagation of fast electron vortices through amorphous materials
Authors:
Stefan Löffler,
Stefan Sack,
Thomas Schachinger
Abstract:
In this work, we study the elastic scattering behavior of electron vortices when propagating through amorphous samples. We use a formulation of the multislice approach in cylindrical coordinates to theoretically investigate the redistribution of intensity between different angular momentum components due to scattering. To corroborate and elaborate on our theoretical results, we perform extensive n…
▽ More
In this work, we study the elastic scattering behavior of electron vortices when propagating through amorphous samples. We use a formulation of the multislice approach in cylindrical coordinates to theoretically investigate the redistribution of intensity between different angular momentum components due to scattering. To corroborate and elaborate on our theoretical results, we perform extensive numerical simulations on three model systems (Si$_3$N$_4$, Fe$_{0.8}$B$_{0.2}$, Pt) for a wide variety of experimental parameters to quantify the purity of the vortices, the net angular momentum transfer, and the variability of the results with respect to the random relative position between the electron beam and the scattering atoms. These results will help scientists to further improve the creation of electron vortices and enhance applications involving them.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.