Unitary partitioning and the contextual subspace variational quantum eigensolver

Variational quantum eigensolver (VQE), aiming at determining the ground state energy of a quantum system described by a Hamiltonian on noisy intermediate scale quantum (NISQ) devices. However, the accuracy and trainability of the current VQE algorithm are significantly influenced due to the barren plateau (BP), the non‐negligible gate error and limited coherence time in NISQ devices. To tackle these issues, a gradient‐cost multiobjective alternate framework with variable ansatz is proposed. A theoretical framework is first proposed for VQE with variable ansatz (VA‐VQE) via alternately solving a multiobjective optimization problem defined by cost function values and gradient magnitudes and the original VQE problem. Then, a novel implementation method based on the double ε‐greedy strategy with the candidate tree and modified multiobjective genetic algorithm is proposed. As a result, the local optima are avoided both in ansatz and parameter perspectives, the BP phenomenon is alleviated, and the stability of output ansatz is enhanced. The experimental results indicate that this framework shows considerably average improvement of the error and stability by 59.6% and 78.8% compared with the state‐of‐the‐art cost‐criterion‐based VA‐VQE implementation, and 54.1% and 73.5% compared with the gradient‐criterion‐based counterpart, respectively, with lower quantum costs.

Quantum volume (QV) has become the de-facto standard benchmark to quantify the capability of Noisy Intermediate-Scale Quantum (NISQ) devices. While QV values are often reported by NISQ providers for their systems, we perform our own series of QV calculations on 24 NISQ devices currently offered by IBM Q, IonQ, Rigetti, Oxford Quantum Circuits, and Quantinuum (formerly Honeywell). Our approach characterizes the performances that an advanced user of these NISQ devices can expect to achieve with a reasonable amount of optimization, but without white-box access to the device. In particular, we compile QV circuits to standard gate sets of the vendor using compiler optimization routines where available, and we perform experiments across different qubit subsets. We find that running QV tests requires very significant compilation cycles, QV values achieved in our tests typically lag behind officially reported results and also depend significantly on the classical compilation effort invested.

We are in the noisy intermediate-scale quantum (NISQ) devices' era, in which quantum hardware has become available for application in real-world problems. However, demonstrations of the usefulness of such NISQ devices are still rare. In this work, we consider a practical railway dispatching problem: delay and conflict management on single-track railway lines. We examine the train dispatching consequences of the arrival of an already delayed train to a given network segment. This problem is computationally hard and needs to be solved almost in real time. We introduce a quadratic unconstrained binary optimization (QUBO) model of this problem, which is compatible with the emerging quantum annealing technology. The model's instances can be executed on present-day quantum annealers. As a proof-of-concept, we solve selected real-life problems from the Polish railway network using D-Wave quantum annealers. As a reference, we also provide solutions calculated with classical methods, including the conventional solution of a linear integer version of the model as well as the solution of the QUBO model using a tensor network-based algorithm. Our preliminary results illustrate the degree of difficulty of real-life railway instances for the current quantum annealing technology. Moreover, our analysis shows that the new generation of quantum annealers (the advantage system) does not perform well on those instances, either.

A CNOT circuit is the key gadget for entangling qubits in quantum computing systems. However, the qubit connectivity of noisy intermediate-scale quantum (NISQ) devices is constrained by their {limited connectivity architecture}. To improve the performance of CNOT circuits on NISQ devices, we investigate the optimization of the size/depth of CNOT circuits under the limited connectivity architecture. We present a method that can optimize the size of any $n$-qubit CNOT circuit $O\left(\frac{n^2}{\log \delta}\right)$ on any connected graph with minimum degree $\delta$, and prove this bound is optimal for the regular graph. For the near-term sparsely connected structure, we additionally present a method that can optimize the size of any $n$-qubit CNOT circuit to below $2n^2$. The numerical experiment shows that our method performs better than state-of-the-art results. Specifically, we present an example to illustrate the applicability of our algorithm. For the grid structure, which is commonly used in current quantum devices, we demonstrate that the depth of any $n$-qubit CNOT circuit can be optimized to be linear in $n$ with certain ancillary qubits (ancillas). Experimental results indicate that this method has significant improvements compared with all of the existing methods. We additionally test our algorithms on the five-qubit IBMQ devices, and the experiments show that the measurement results of the optimized circuit with our algorithm are more robust to noise compared with the IBM mapping method.

Quantum machine learning is where nowadays machine learning (ML) meets quantum information science. In order to implement this new paradigm for novel quantum technologies, we still need a much deeper understanding of its underlying mechanisms, before proposing new algorithms to feasibly address real problems. In this context, quantum generative adversarial learning is a promising strategy to use quantum devices for quantum estimation or generative ML tasks. However, the convergence behaviours of its training process, which is crucial for its practical implementation on quantum processors, have not been investigated in detail yet. Indeed here we show how different training problems may occur during the optimization process, such as the emergence of limit cycles. The latter may remarkably extend the convergence time in the scenario of mixed quantum states playing a crucial role in the already available noisy intermediate scale quantum devices. Then, we propose new strategies to achieve a faster convergence in any operating regime. Our results pave the way for new experimental demonstrations of such hybrid classical-quantum protocols allowing to evaluate the potential advantages over their classical counterparts.

Quantum computing is gaining popularity across a wide range of scientific disciplines due to its potential to solve long-standing computational problems that are considered intractable with classical computers. One promising area where quantum computing has potential is in the speed-up of NP-hard optimisation problems that are common in industrial areas such as logistics and finance. Newcomers to the field of quantum computing who are interested in using this technology to solve optimisation problems do not have an easily accessible source of information on the current capabilities of quantum computers and algorithms. This paper aims to provide a comprehensive overview of the theory of quantum optimisation techniques and their practical application, focusing on their near-term potential for noisy intermediate scale quantum devices. The paper starts by drawing parallels between classical and quantum optimisation problems, highlighting their conceptual similarities and differences. Two main paradigms for quantum hardware are then discussed: analogue and gate-based quantum computers. While analog devices such as quantum annealers are effective for some optimisation problems, they have limitations and cannot be used for universal quantum computation. In contrast, gate-based quantum computers offer the potential for universal quantum computation, but they face challenges with hardware limitations and accurate gate implementation. The paper provides a detailed mathematical discussion with references to key works in the field, as well as a more practical discussion with relevant examples. The most popular techniques for quantum optimisation on gate-based quantum computers, the quantum approximate optimisation algorithm and the quantum alternating operator ansatz framework, are discussed in detail. However, it is still unclear whether these techniques will yield quantum advantage, even with advancements in hardware and noise reduction. The paper concludes with a discussion of the challenges facing quantum optimisation techniques and the need for further research and development to identify new, effective methods for achieving quantum advantage.

Advancements in noisy intermediate-scale quantum (NISQ) computing are steadily pushing these systems toward outperforming classical supercomputers on specific well-defined computational tasks. In this work we explore and control quantum chaos in NISQ systems using discrete-time quantum walks (DTQWs) on cyclic graphs. To efficiently implement quantum walks on NISQ hardware, we employ the quantum Fourier transform to diagonalize the conditional shift operator, optimizing circuit depth and fidelity. We experimentally realize the transition from quantum chaos to order via DTQW dynamics on both odd and even cyclic graphs, specifically 3- and 4-cycle graphs, using the counterintuitive Parrondo paradox strategy across three different NISQ devices. While the 4-cycle graphs exhibit high-fidelity quantum evolution, the 3-cycle implementation shows significant fidelity improvement when augmented with dynamical decoupling pulses. Our results demonstrate a practical approach to probing and harnessing controlled chaotic dynamics on real quantum hardware, laying the groundwork for future quantum algorithms and cryptographic protocols based on quantum walks.

In the era of noisy intermediate-scale quantum (NISQ) computing, the synergistic collaboration between quantum and classical computing models has emerged as a promising solution for tackling complex computational challenges. Long short-term memory (LSTM), as a popular network for modeling sequential data, has been widely acknowledged for its effectiveness. However, with the increasing demand for data and spatial feature extraction, the training cost of LSTM exhibits exponential growth. In this study, we propose the quantum convolutional long short-term memory (QConvLSTM) model. By ingeniously integrating classical convolutional LSTM (ConvLSTM) networks and quantum variational algorithms, we leverage the variational quantum properties and the accelerating characteristics of quantum states to optimize the model training process. Experimental validation demonstrates that, compared to various LSTM variants, our proposed QConvLSTM model outperforms in terms of performance. Additionally, we adopt a hierarchical tree-like circuit design philosophy to enhance the model’s parallel computing capabilities while reducing dependence on quantum bit counts and circuit depth. Moreover, the inherent noise resilience in variational quantum algorithms makes this model more suitable for spatiotemporal sequence modeling tasks on NISQ devices.

In recent times, a variety of hybrid quantum-classical algorithms have been developed that aim to calculate the ground state energies of molecular systems on Noisy Intermediate-Scale Quantum (NISQ) devices. Albeit the utilization of shallow depth circuits in these algorithms, the optimization of ansatz parameters necessitates a substantial number of quantum measurements, leading to prolonged runtimes on the scantly available quantum hardware. Through our work, we lay the general foundation for an interdisciplinary approach that can be used to drastically reduce the dependency of these algorithms on quantum infrastructure. We showcase these pertinent concepts within the framework of the recently developed Projective Quantum Eigensolver (PQE) that involves iterative optimization of the nonlinearly coupled parameters through repeated residue measurements on quantum hardware. We demonstrate that one may perceive such a nonlinear optimization problem as a collective dynamic interplay of fast and slow relaxing modes. As such, the synergy among the parameters is exploited using an on-the-fly supervised machine learning protocol that dynamically casts the PQE optimization into a smaller subspace by reducing the effective degrees of freedom. We demonstrate analytically and numerically that our proposed methodology ensures a drastic reduction in the number of quantum measurements necessary for the parameter updates without compromising the characteristic accuracy. Furthermore, the machine learning model may be tuned to capture the noisy data of NISQ devices, and thus the predicted energy is shown to be resilient under a given noise model.

We define quantum chaos and integrability in open quantum many-body systems as a dynamical property of single stochastic realizations, referred to as quantum trajectories. This definition relies on the predictions of random matrix theory applied to the subset of the Liouvillian eigenspectrum involved in each quantum trajectory. Our approach, which we name (SSQT), enables a natural distinction between transient and steady-state quantum chaos as general phenomena in open setups. We test the generality and reliability of the SSQT criterion on several dissipative systems, further showing that an open system with a chaotic structure can evolve towards either a chaotic or integrable steady state. We apply our theoretical framework to two driven-dissipative bosonic systems. First, we study the driven-dissipative Bose-Hubbard model, a paradigmatic example of a quantum simulator, clarifying the interplay of integrability, transient, and steady-state chaos across its phase diagram. Our analysis shows the existence of an emergent dissipative quantum chaotic phase, whereas the classical and semiclassical limits display an integrable behavior. In this regime, chaos arises from the quantum and classical fluctuations associated with the dissipation mechanisms. Second, we investigate dissipative quantum chaos in the dispersive readout of a transmon qubit: a measurement technique ubiquitous in superconducting-based quantum hardware. Through the SSQT, we distinguish several regimes where the performance of the measurement instrument can be connected to the integrable or chaotic nature of the underlying driven-dissipative bosonic system. Our work offers a general understanding of the integrable and chaotic dynamics of open quantum systems and paves the way for the investigation of dissipative quantum chaos and its consequences on state-of-the-art noisy intermediate-scale quantum devices.

Optimal power flow solution via noise-resilient quantum interior-point methods

This study introduces a new optimization model and a branch-and-cut approach for synthesizing optimal quantum circuits for reversible Boolean functions, which are pivotal components in quantum algorithms. Although heuristic algorithms have been extensively explored for quantum circuit synthesis, research on exact counterparts remains relatively limited. However, the need to design quantum circuits with guaranteed optimality is increasing, especially for improving computational fidelity on noisy intermediate-scale quantum devices. This study presents mathematical optimization as a viable option for optimal synthesis, with the potential to accommodate practical considerations arising in fast-evolving quantum technologies. We set a demonstrative problem to implement reversible Boolean functions using high-level gates known as multiple control Toffoli gates while minimizing a technology-based proxy called quantum cost—the number of low-level gates used to realize each high-level gate. To address this problem, we propose a discrete optimization model based on a multicommodity network and discuss potential future variations at an abstract level to incorporate technical considerations. A customized branch and cut is then developed upon different aspects of our model, including polyhedron integrality, surrogate constraints, and variable prioritization. Our experiments demonstrate the robustness of the proposed approach in finding cost-optimal circuits for all benchmark instances within a two-hour time frame. Furthermore, we present interesting intuitions from these experiments and compare our computational results with relevant studies, highlighting newly discovered circuits with the lowest quantum costs reported in this paper. History: Accepted by Giacomo Nannicini, Area Editor for Quantum Computing. This paper has been accepted for the INFORMS Journal on Computing Special Issue on Quantum Computing. Funding: This research was supported by the Ministry of Science and Information and Communication Technology, South Korea [Grants 2017R1E1A1A0307098814 and 2020R1A4A307986411]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2024.0562 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2024.0562 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

Quantum Approximate Optimization Algorithm (QAOA) is a hybrid algorithm whose\ncontrol parameters are classically optimized. In addition to the variational\nparameters, the right choice of hyperparameter is crucial for improving the\nperformance of any optimization model. Control depth, or the number of\nvariational parameters, is considered as the most important hyperparameter for\nQAOA. In this paper we investigate the control depth selection with an\nautomatic algorithm based on proximal gradient descent. The performances of the\nautomatic algorithm are demonstrated on 7-node and 10-node Max-Cut problems,\nwhich show that the control depth can be significantly reduced during the\niteration while achieving an sufficient level of optimization accuracy. With\ntheoretical convergence guarantee, the proposed algorithm can be used as an\nefficient tool for choosing the appropriate control depth as a replacement of\nrandom search or empirical rules. Moreover, the reduction of control depth will\ninduce a significant reduction in the number of quantum gates in circuit, which\nimproves the applicability of QAOA on Noisy Intermediate-scale Quantum (NISQ)\ndevices.\n

Neuroevolution, a field that draws inspiration from the evolution of brains in nature, harnesses evolutionary algorithms to construct artificial neural networks. It bears a number of intriguing capabilities that are typically inaccessible to gradient-based approaches, including optimizing neural-network architectures, hyperparameters, and even learning the training rules. In this paper, we introduce a quantum neuroevolution algorithm that autonomously finds near-optimal quantum neural networks for different machine-learning tasks. In particular, we establish a one-to-one mapping between quantum circuits and directed graphs, and reduce the problem of finding the appropriate gate sequences to a task of searching suitable paths in the corresponding graph as a Markovian process. We benchmark the effectiveness of the introduced algorithm through concrete examples including classifications of real-life images and symmetry-protected topological states. Our results showcase the vast potential of neuroevolution algorithms in quantum architecture search, which would boost the exploration towards quantum-learning advantage with noisy intermediate-scale quantum devices.

Quantum machine learning is a rapidly growing field at the intersection of quantum technology and artificial intelligence. This review provides a two-fold overview of several key approaches that can offer advancements in both the development of quantum technologies and the power of artificial intelligence. Among these approaches are quantum-enhanced algorithms, which apply quantum software engineering to classical information processing to improve keystone machine learning solutions. In this context, we explore the capability of hybrid quantum-classical neural networks to improve model generalization and increase accuracy while reducing computational resources. We also illustrate how machine learning can be used both to mitigate the effects of errors on presently available noisy intermediate-scale quantum devices, and to understand quantum advantage via an automatic study of quantum walk processes on graphs. In addition, we review how quantum hardware can be enhanced by applying machine learning to fundamental and applied physics problems as well as quantum tomography and photonics. We aim to demonstrate how concepts in physics can be translated into practical engineering of machine learning solutions using quantum software.