Design and execution of quantum circuits using tens of superconducting qubits and thousands of gates for dense Ising optimization problems
2308.12423
0
0
🛠️
Abstract
We develop a hardware-efficient ansatz for variational optimization, derived from existing ansatze in the literature, that parametrizes subsets of all interactions in the Cost Hamiltonian in each layer. We treat gate orderings as a variational parameter and observe that doing so can provide significant performance boosts in experiments. We carried out experimental runs of a compilation-optimized implementation of fully-connected Sherrington-Kirkpatrick Hamiltonians on a 50-qubit linear-chain subsystem of Rigetti Aspen-M-3 transmon processor. Our results indicate that, for the best circuit designs tested, the average performance at optimized angles and gate orderings increases with circuit depth (using more parameters), despite the presence of a high level of noise. We report performance significantly better than using a random guess oracle for circuits involving up to approx 5000 two-qubit and approx 5000 one-qubit native gates. We additionally discuss various takeaways of our results toward more effective utilization of current and future quantum processors for optimization.
Create account to get full access
Overview
- The researchers develop a hardware-efficient ansatz for variational optimization, derived from existing techniques.
- They treat gate orderings as a variational parameter and observe this can provide significant performance boosts.
- Experimental runs were conducted on a 50-qubit linear-chain subsystem of the Rigetti Aspen-M-3 transmon processor.
- Results indicate that for the best circuit designs, average performance increases with circuit depth despite high noise levels.
- Performance is reported to be significantly better than using a random guess oracle for circuits up to ~5000 two-qubit and one-qubit native gates.
- Insights are discussed toward more effective utilization of current and future quantum processors for optimization.
Plain English Explanation
The researchers have created a new way to optimize how quantum computers run calculations. This new approach is designed to work well on current and future quantum hardware.
The key idea is to treat the order of the operations (gate orderings) as something that can be adjusted and optimized, in addition to the usual parameters. Experiments show this can significantly boost the performance of the calculations, even though the quantum hardware is quite noisy.
The team ran tests on a 50-qubit quantum processor made by Rigetti Computing. They found that as they used more parameters (i.e., made the circuits deeper), the average performance got better, despite the high noise levels.
Compared to simply guessing the parameters randomly, the new optimization approach performed much better, for circuits with up to around 5000 two-qubit and one-qubit operations.
Overall, this research provides insights into how to better utilize the capabilities of existing and future quantum processors for optimization problems.
Technical Explanation
The researchers develop a hardware-efficient ansatz for variational optimization, derived from existing techniques in the literature. This ansatz parametrizes subsets of all interactions in the Cost Hamiltonian in each layer.
Crucially, the team treats gate orderings as a variational parameter and observe that doing so can provide significant performance boosts in experiments.
They carried out experimental runs of a compilation-optimized implementation of fully-connected Sherrington-Kirkpatrick Hamiltonians on a 50-qubit linear-chain subsystem of the Rigetti Aspen-M-3 transmon processor.
The results indicate that, for the best circuit designs tested, the average performance at optimized angles and gate orderings increases with circuit depth (using more parameters), despite the presence of a high level of noise. The performance is reported to be significantly better than using a random guess oracle for circuits involving up to approximately 5000 two-qubit and 5000 one-qubit native gates.
The researchers also discuss various takeaways of their results toward more effective utilization of current and future quantum processors for optimization.
Critical Analysis
The paper provides a thorough experimental evaluation of the proposed hardware-efficient ansatz, which is a strength. However, it does not delve deeply into the theoretical foundations or provide a rigorous mathematical analysis of the approach.
While the performance improvements over random guessing are significant, it would be helpful to compare the new method to other state-of-the-art variational optimization techniques to better understand its relative strengths and weaknesses.
The paper also does not address some potential limitations, such as the scalability of the approach to larger problem sizes or its applicability to a broader range of optimization problems beyond the specific Sherrington-Kirkpatrick Hamiltonian considered.
Further research could explore the generalization of the technique, its robustness to different types of hardware noise, and its performance on a wider range of optimization benchmarks.
Conclusion
This research presents a promising hardware-efficient ansatz for variational optimization on quantum computers. By treating gate orderings as variational parameters, the approach can significantly improve performance, even in the presence of high levels of noise.
The experimental results on a 50-qubit quantum processor demonstrate the practical feasibility of the technique and provide insights that could help unlock the potential of current and future quantum hardware for optimization problems.
While further research is needed to fully understand the capabilities and limitations of the method, this work represents an important step forward in developing efficient quantum algorithms for real-world applications.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
🌿
Resource Optimized Quantum Squaring Circuit
Afrin Sultana, Edgard Mu~noz-Coreas
0
0
Quantum squaring operation is a useful building block in implementing quantum algorithms such as linear regression, regularized least squares algorithm, order-finding algorithm, quantum search algorithm, Newton Raphson division, Euclidean distance calculation, cryptography, and in finding roots and reciprocals. Quantum circuits could be made fault-tolerant by using error correcting codes and fault-tolerant quantum gates (such as the Clifford + T-gates). However, the T-gate is very costly to implement. Two qubit gates (such as the CNOT-gate) are more prone to noise errors than single qubit gates. Consequently, in order to realize reliable quantum algorithms, the quantum circuits should have a low T-count and CNOT-count. In this paper, we present a novel quantum integer squaring architecture optimized for T-count, CNOT-count, T-depth, CNOT-depth, and $KQ_T$ that produces no garbage outputs. To reduce costs, we use a novel approach for arranging the generated partial products that allows us to reduce the number of adders by 50%. We also use the resource efficient logical-AND gate and uncomputation gate shown in [1] to further save resources. The proposed quantum squaring circuit sees an asymptotic reduction of 66.67% in T-count, 50% in T-depth, 29.41% in CNOT-count, 42.86% in CNOT-depth, and 25% in KQ T with respect to Thapliyal et al. [2]. With respect to Nagamani et al. [3] the design sees an asymptotic reduction of 77.27% in T-count, 68.75% in T-depth, 50% in CNOT-count, 61.90% in CNOT-depth, and 6.25% in the $KQ_T$.
6/5/2024
Learning to rank quantum circuits for hardware-optimized performance enhancement
Gavin S. Hartnett, Aaron Barbosa, Pranav S. Mundada, Michael Hush, Michael J. Biercuk, Yuval Baum
0
0
We introduce and experimentally test a machine-learning-based method for ranking logically equivalent quantum circuits based on expected performance estimates derived from a training procedure conducted on real hardware. We apply our method to the problem of layout selection, in which abstracted qubits are assigned to physical qubits on a given device. Circuit measurements performed on IBM hardware indicate that the maximum and median fidelities of logically equivalent layouts can differ by an order of magnitude. We introduce a circuit score used for ranking that is parameterized in terms of a physics-based, phenomenological error model whose parameters are fit by training a ranking-loss function over a measured dataset. The dataset consists of quantum circuits exhibiting a diversity of structures and executed on IBM hardware, allowing the model to incorporate the contextual nature of real device noise and errors without the need to perform an exponentially costly tomographic protocol. We perform model training and execution on the 16-qubit ibmq_guadalupe device and compare our method to two common approaches: random layout selection and a publicly available baseline called Mapomatic. Our model consistently outperforms both approaches, predicting layouts that exhibit lower noise and higher performance. In particular, we find that our best model leads to a $1.8times$ reduction in selection error when compared to the baseline approach and a $3.2times$ reduction when compared to random selection. Beyond delivering a new form of predictive quantum characterization, verification, and validation, our results reveal the specific way in which context-dependent and coherent gate errors appear to dominate the divergence from performance estimates extrapolated from simple proxy measures.
4/11/2024
🛠️
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design
Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck
0
0
As quantum technology is advancing, the efficient design of quantum circuits has become an important area of research. This paper provides an introduction to the MCT quantum circuit design problem for reversible Boolean functions without assuming a prior background in quantum computing. While this is a well-studied problem, optimization models that minimize the true objective have only been explored recently. This paper introduces a new optimization model and symmetry-breaking constraints that improve solving time by up to two orders of magnitude compared to earlier work when a Constraint Programming solver is used. Experiments with up to seven qubits and using up to 15 quantum gates result in several new best-known circuits for well-known benchmarks. Finally, an extensive comparison with other approaches shows that optimization models may require more time but can provide superior circuits with optimality guarantees.
4/23/2024
Physics-Informed Bayesian Optimization of Variational Quantum Circuits
Kim A. Nicoli, Christopher J. Anders, Lena Funcke, Tobias Hartung, Karl Jansen, Stefan Kuhn, Klaus-Robert Muller, Paolo Stornati, Pan Kessel, Shinichi Nakajima
0
0
In this paper, we propose a novel and powerful method to harness Bayesian optimization for Variational Quantum Eigensolvers (VQEs) -- a hybrid quantum-classical protocol used to approximate the ground state of a quantum Hamiltonian. Specifically, we derive a VQE-kernel which incorporates important prior information about quantum circuits: the kernel feature map of the VQE-kernel exactly matches the known functional form of the VQE's objective function and thereby significantly reduces the posterior uncertainty. Moreover, we propose a novel acquisition function for Bayesian optimization called Expected Maximum Improvement over Confident Regions (EMICoRe) which can actively exploit the inductive bias of the VQE-kernel by treating regions with low predictive uncertainty as indirectly ``observed''. As a result, observations at as few as three points in the search domain are sufficient to determine the complete objective function along an entire one-dimensional subspace of the optimization landscape. Our numerical experiments demonstrate that our approach improves over state-of-the-art baselines.
6/11/2024