-
PCOAST: A Pauli-based Quantum Circuit Optimization Framework
Authors:
Jennifer Paykin,
Albert T. Schmitz,
Mohannad Ibrahim,
Xin-Chuan Wu,
A. Y. Matsuura
Abstract:
This paper presents the Pauli-based Circuit Optimization, Analysis, and Synthesis Toolchain (PCOAST), a framework for quantum circuit optimizations based on the commutative properties of Pauli strings. Prior work has demonstrated that commuting Clifford gates past Pauli rotations can expose opportunities for optimization in unitary circuits. PCOAST extends that approach by adapting the technique t…
▽ More
This paper presents the Pauli-based Circuit Optimization, Analysis, and Synthesis Toolchain (PCOAST), a framework for quantum circuit optimizations based on the commutative properties of Pauli strings. Prior work has demonstrated that commuting Clifford gates past Pauli rotations can expose opportunities for optimization in unitary circuits. PCOAST extends that approach by adapting the technique to mixed unitary and non-unitary circuits via generalized preparation and measurement nodes parameterized by Pauli strings. The result is the PCOAST graph, which enables novel optimizations based on whether a user needs to preserve the quantum state after executing the circuit, or whether they only need to preserve the measurement outcomes. Finally, the framework adapts a highly tunable greedy synthesis algorithm to implement the PCOAST graph with a given gate set.
PCOAST is implemented as a set of compiler passes in the Intel Quantum SDK. In this paper, we evaluate its compilation performance against two leading quantum compilers, Qiskit and tket. We find that PCOAST reduces total gate count by 32.53% and 43.33% on average, compared to to the best performance achieved by Qiskit and tket respectively, two-qubit gates by 29.22% and 20.58%, and circuit depth by 42.02% and 51.27%.
△ Less
Submitted 23 May, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST
Authors:
Albert T. Schmitz,
Mohannad Ibrahim,
Nicolas P. D. Sawaya,
Gian Giacomo Guerreschi,
Jennifer Paykin,
Xin-Chuan Wu,
A. Y. Matsuura
Abstract:
The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus…
▽ More
The Pauli-based Circuit Optimization, Analysis and Synthesis Toolchain (PCOAST) was recently introduced as a framework for optimizing quantum circuits. It converts a quantum circuit to a Pauli-based graph representation and provides a set of optimization subroutines to manipulate that internal representation as well as methods for re-synthesizing back to a quantum circuit. In this paper, we focus on the set of subroutines which look to optimize the PCOAST graph in cases involving unitary and non-unitary operations as represented by nodes in the graph. This includes reduction of node cost and node number in the presence of preparation nodes, reduction of cost for Clifford operations in the presence of preparations, and measurement cost reduction using Clifford operations and the classical remapping of measurement outcomes. These routines can also be combined to amplify their effectiveness.
We evaluate the PCOAST optimization subroutines using the Intel Quantum SDK on examples of the Variational Quantum Eigensolver (VQE) algorithm. This includes synthesizing a circuit for the simultaneous measurement of a mutually commuting set of Pauli operators. We find for such measurement circuits the overall average ratio of the maximum theoretical number of two-qubit gates to the actual number of two-qubit gates used by our method to be 7.91.
△ Less
Submitted 22 May, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Realization of a quantum neural network using repeat-until-success circuits in a superconducting quantum processor
Authors:
M. S. Moreira,
G. G. Guerreschi,
W. Vlothuizen,
J. F. Marques,
J. van Straten,
S. P. Premaratne,
X. Zou,
H. Ali,
N. Muthusubramanian,
C. Zachariadis,
J. van Someren,
M. Beekman,
N. Haider,
A. Bruno,
C. G. Almudever,
A. Y. Matsuura,
L. DiCarlo
Abstract:
Artificial neural networks are becoming an integral part of digital solutions to complex problems. However, employing neural networks on quantum processors faces challenges related to the implementation of non-linear functions using quantum circuits. In this paper, we use repeat-until-success circuits enabled by real-time control-flow feedback to realize quantum neurons with non-linear activation…
▽ More
Artificial neural networks are becoming an integral part of digital solutions to complex problems. However, employing neural networks on quantum processors faces challenges related to the implementation of non-linear functions using quantum circuits. In this paper, we use repeat-until-success circuits enabled by real-time control-flow feedback to realize quantum neurons with non-linear activation functions. These neurons constitute elementary building blocks that can be arranged in a variety of layouts to carry out deep learning tasks quantum coherently. As an example, we construct a minimal feedforward quantum neural network capable of learning all 2-to-1-bit Boolean functions by optimization of network activation parameters within the supervised-learning paradigm. This model is shown to perform non-linear classification and effectively learns from multiple copies of a single training state consisting of the maximal superposition of all inputs.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Introducing the Quantum Research Kernels: Lessons from Classical Parallel Computing
Authors:
A. Y. Matsuura,
Timothy G. Mattson
Abstract:
Quantum computing represents a paradigm shift for computation requiring an entirely new computer architecture. However, there is much that can be learned from traditional classical computer engineering. In this paper, we describe the Parallel Research Kernels (PRK), a tool that was very useful for designing classical parallel computing systems. The PRK are simple kernels written to expose bottlene…
▽ More
Quantum computing represents a paradigm shift for computation requiring an entirely new computer architecture. However, there is much that can be learned from traditional classical computer engineering. In this paper, we describe the Parallel Research Kernels (PRK), a tool that was very useful for designing classical parallel computing systems. The PRK are simple kernels written to expose bottlenecks that limit classical parallel computing performance. We hypothesize that an analogous tool for quantum computing, Quantum Research Kernels (QRK), may similarly aid the co-design of software and hardware for quantum computing systems, and we give a few examples of representative QRKs.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
A Scalable Microarchitecture for Efficient Instruction-Driven Signal Synthesis and Coherent Qubit Control
Authors:
Nader Khammassi,
Randy W. Morris,
Shavindra Premaratne,
Florian Luthi,
Felix Borjans,
Satoshi Suzuki,
Robert Flory,
Linda Patricia Osuna Ibarra,
Lester Lampert,
Anne Y. Matsuura
Abstract:
Execution of quantum algorithms requires a quantum computer architecture with a dedicated quantum instruction set that is capable of supporting translation of workloads into actual quantum operations acting on the qubits. State-of-the-art qubit control setups typically utilize general purpose test instruments such as arbitrary waveform generators (AWGs) to generate a limited set of waveforms or pu…
▽ More
Execution of quantum algorithms requires a quantum computer architecture with a dedicated quantum instruction set that is capable of supporting translation of workloads into actual quantum operations acting on the qubits. State-of-the-art qubit control setups typically utilize general purpose test instruments such as arbitrary waveform generators (AWGs) to generate a limited set of waveforms or pulses. These waveforms are precomputed and stored prior to execution, and then used to produce control pulses during execution. Besides their prohibitive cost and limited scalability, such instruments suffer from poor programmability due to the absence of an instruction set architecture (ISA). Limited memory for pulse storage ultimately determines the total number of supported quantum operations. In this work, we present a scalable qubit control system that enables efficient qubit control using a flexible ISA to drive a direct digital synthesis (DDS) pipeline producing nanosecond-accurate qubit control signals dynamically. The designed qubit controller provides a higher density of control channels, a scalable design, better programmability, and lower cost compared to state-of-the-art systems. In this work, we discuss the new qubit controller's capabilities, its architecture and instruction set, and present experimental results for coherent qubit control.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
An LLVM-based C++ Compiler Toolchain for Variational Hybrid Quantum-Classical Algorithms and Quantum Accelerators
Authors:
Pradnya Khalate,
Xin-Chuan Wu,
Shavindra Premaratne,
Justin Hogaboam,
Adam Holmes,
Albert Schmitz,
Gian Giacomo Guerreschi,
Xiang Zou,
A. Y. Matsuura
Abstract:
Variational algorithms are a representative class of quantum computing workloads that combine quantum and classical computing. This paper presents an LLVM-based C++ compiler toolchain to efficiently execute variational hybrid quantum-classical algorithms on a computational system in which the quantum device acts as an accelerator. We introduce a set of extensions to the C++ language for programmin…
▽ More
Variational algorithms are a representative class of quantum computing workloads that combine quantum and classical computing. This paper presents an LLVM-based C++ compiler toolchain to efficiently execute variational hybrid quantum-classical algorithms on a computational system in which the quantum device acts as an accelerator. We introduce a set of extensions to the C++ language for programming these algorithms. We define a novel Executable and Linking Format (ELF) for Quantum and create a quantum device compiler component in the LLVM framework to compile the quantum part of the C++ source and reuse the host compiler in the LLVM framework to compile the classical computing part of the C++ source. A variational algorithm runs a quantum circuit repeatedly, each time with different gate parameters. We add to the quantum runtime the capability to execute dynamically a quantum circuit with different parameters. Thus, programmers can call quantum routines the same way as classical routines. With these capabilities, a variational hybrid quantum-classical algorithm can be specified in a single-source code and only needs to be compiled once for all iterations. The single compilation significantly reduces the execution latency of variational algorithms. We evaluate the framework's performance by running quantum circuits that prepare Thermofield Double (TFD) states, a quantum-classical variational algorithm.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Graph Optimization Perspective for Low-Depth Trotter-Suzuki Decomposition
Authors:
Albert T. Schmitz,
Nicolas P. D. Sawaya,
Sonika Johri,
A. Y. Matsuura
Abstract:
Hamiltonian simulation represents an important module in a large class of quantum algorithms and simulations such as quantum machine learning, quantum linear algebra methods, and modeling for physics, material science and chemistry. One of the most prominent methods for realizing the time-evolution unitary is via the Trotter-Suzuki decomposition. However, there is a large class of possible decompo…
▽ More
Hamiltonian simulation represents an important module in a large class of quantum algorithms and simulations such as quantum machine learning, quantum linear algebra methods, and modeling for physics, material science and chemistry. One of the most prominent methods for realizing the time-evolution unitary is via the Trotter-Suzuki decomposition. However, there is a large class of possible decompositions for the infinitesimal time-evolution operator as the order in which the Hamiltonian terms are implemented is arbitrary. We introduce a novel perspective for generating a low-depth Trotter-Suzuki decomposition assuming the standard Clifford+RZ gate set by adapting ideas from quantum error correction. We map a given Trotter-Suzuki decomposition to a constrained path on a graph which we deem the Pauli Frame Graph (PFG). Each node of the PFG represents the set of possible Hamiltonian terms currently available to be applied, Clifford operations represent a move from one node to another, and so the graph distance represents the gate cost of implementing the decomposition. The problem of finding the optimal decomposition is then equivalent to solving a problem similar to the traveling salesman. Though this is an NP-hard problem, we demonstrate the simplest heuristic, greedy search, and compare the resulting two-qubit gate count and circuit depth to more standard methods for a large class of scientifically relevant Hamiltonians, both fermionic and bosonic, found in chemical, vibrational and condensed matter problems which naturally scale. We find in nearly every case we study, the resulting depth and two-qubit gate counts are less than those provided by standard methods, by as much as an order of magnitude. We also find the method is efficient and amenable to parallelization, making the method scalable for problems of real interest.
△ Less
Submitted 26 May, 2023; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Variational preparation of finite-temperature states on a quantum computer
Authors:
R. Sagastizabal,
S. P. Premaratne,
B. A. Klaver,
M. A. Rol,
V. Negîrneac,
M. Moreira,
X. Zou,
S. Johri,
N. Muthusubramanian,
M. Beekman,
C. Zachariadis,
V. P. Ostroukh,
N. Haider,
A. Bruno,
A. Y. Matsuura,
L. DiCarlo
Abstract:
The preparation of thermal equilibrium states is important for the simulation of condensed-matter and cosmology systems using a quantum computer. We present a method to prepare such mixed states with unitary operators, and demonstrate this technique experimentally using a gate-based quantum processor. Our method targets the generation of thermofield double states using a hybrid quantum-classical v…
▽ More
The preparation of thermal equilibrium states is important for the simulation of condensed-matter and cosmology systems using a quantum computer. We present a method to prepare such mixed states with unitary operators, and demonstrate this technique experimentally using a gate-based quantum processor. Our method targets the generation of thermofield double states using a hybrid quantum-classical variational approach motivated by quantum-approximate optimization algorithms, without prior calculation of optimal variational parameters by numerical simulation. The fidelity of generated states to the thermal-equilibrium state smoothly varies from 99 to 75% between infinite and near-zero simulated temperature, in quantitative agreement with numerical simulations of the noisy quantum processor with error parameters drawn from experiment.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Entanglement Properties of Quantum Superpositions of Smooth, Differentiable Functions
Authors:
Adam Holmes,
A. Y. Matsuura
Abstract:
We present an entanglement analysis of quantum superpositions corresponding to smooth, differentiable, real-valued (SDR) univariate functions. SDR functions are shown to be scalably approximated by low-rank matrix product states, for large system discretizations. We show that the maximum von-Neumann bipartite entropy of these functions grows logarithmically with the system size. This implies that…
▽ More
We present an entanglement analysis of quantum superpositions corresponding to smooth, differentiable, real-valued (SDR) univariate functions. SDR functions are shown to be scalably approximated by low-rank matrix product states, for large system discretizations. We show that the maximum von-Neumann bipartite entropy of these functions grows logarithmically with the system size. This implies that efficient low-rank approximations to these functions exist in a matrix product state (MPS) for large systems. As a corollary, we show an upper bound on trace-distance approximation accuracy for a rank-2 MPS as $Ω(\log N/N)$, implying that these low-rank approximations can scale accurately for large quantum systems.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Probing many-body localization on a noisy quantum computer
Authors:
D. Zhu,
S. Johri,
N. H. Nguyen,
C. Huerta Alderete,
K. A. Landsman,
N. M. Linke,
C. Monroe,
A. Y. Matsuura
Abstract:
A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features…
▽ More
A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features that can survive the presence of noise. In these spectra, discrete peaks and a soft gap at low frequencies compared to the thermal phase indicate localization. Here, we present the computation of spectral functions on a trapped-ion quantum computer for a one-dimensional Heisenberg model with disorder. Further, we design an error-mitigation technique which is effective at removing the noise from the measurement allowing clear signatures of localization to emerge as the disorder increases. Thus, we show that spectral functions can serve as a robust and scalable diagnostic of many-body localization on the current generation of quantum computers.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Designing high-fidelity multi-qubit gates for semiconductor quantum dots through deep reinforcement learning
Authors:
Sahar Daraeizadeh,
Shavindra P. Premaratne,
A. Y. Matsuura
Abstract:
In this paper, we present a machine learning framework to design high-fidelity multi-qubit gates for quantum processors based on quantum dots in silicon, with qubits encoded in the spin of single electrons. In this hardware architecture, the control landscape is vast and complex, so we use the deep reinforcement learning method to design optimal control pulses to achieve high fidelity multi-qubit…
▽ More
In this paper, we present a machine learning framework to design high-fidelity multi-qubit gates for quantum processors based on quantum dots in silicon, with qubits encoded in the spin of single electrons. In this hardware architecture, the control landscape is vast and complex, so we use the deep reinforcement learning method to design optimal control pulses to achieve high fidelity multi-qubit gates. In our learning model, a simulator models the physical system of quantum dots and performs the time evolution of the system, and a deep neural network serves as the function approximator to learn the control policy. We evolve the Hamiltonian in the full state-space of the system, and enforce realistic constraints to ensure experimental feasibility.
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Engineering the Cost Function of a Variational Quantum Algorithm for Implementation on Near-Term Devices
Authors:
Shavindra P. Premaratne,
A. Y. Matsuura
Abstract:
Variational hybrid quantum-classical algorithms are some of the most promising workloads for near-term quantum computers without error correction. The aim of these variational algorithms is to guide the quantum system to a target state that minimizes a cost function, by varying certain parameters in a quantum circuit. This paper proposes a new approach for engineering cost functions to improve the…
▽ More
Variational hybrid quantum-classical algorithms are some of the most promising workloads for near-term quantum computers without error correction. The aim of these variational algorithms is to guide the quantum system to a target state that minimizes a cost function, by varying certain parameters in a quantum circuit. This paper proposes a new approach for engineering cost functions to improve the performance of a certain class of these variational algorithms on today's small qubit systems. We apply this approach to a variational algorithm that generates thermofield double states of the transverse field Ising model, which are relevant when studying phase transitions in condensed matter systems. We discuss the benefits and drawbacks of various cost functions, apply our new engineering approach, and show that it yields good agreement across the full temperature range.
△ Less
Submitted 5 June, 2020;
originally announced June 2020.
-
Efficient Quantum Circuits for Accurate State Preparation of Smooth, Differentiable Functions
Authors:
Adam Holmes,
A. Y. Matsuura
Abstract:
Effective quantum computation relies upon making good use of the exponential information capacity of a quantum machine. A large barrier to designing quantum algorithms for execution on real quantum machines is that, in general, it is intractably difficult to construct an arbitrary quantum state to high precision. Many quantum algorithms rely instead upon initializing the machine in a simple state,…
▽ More
Effective quantum computation relies upon making good use of the exponential information capacity of a quantum machine. A large barrier to designing quantum algorithms for execution on real quantum machines is that, in general, it is intractably difficult to construct an arbitrary quantum state to high precision. Many quantum algorithms rely instead upon initializing the machine in a simple state, and evolving the state through an efficient (i.e. at most polynomial-depth) quantum algorithm. In this work, we show that there exist families of quantum states that can be prepared to high precision with circuits of linear size and depth. We focus on real-valued, smooth, differentiable functions with bounded derivatives on a domain of interest, exemplified by commonly used probability distributions. We further develop an algorithm that requires only linear classical computation time to generate accurate linear-depth circuits to prepare these states, and apply this to well-known and heavily-utilized functions including Gaussian and lognormal distributions. Our procedure rests upon the quantum state representation tool known as the matrix product state (MPS). By efficiently and scalably encoding an explicit amplitude function into an MPS, a high fidelity, linear-depth circuit can directly be generated. These results enable the execution of many quantum algorithms that, aside from initialization, are otherwise depth-efficient.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Enhancing a Near-Term Quantum Accelerator's Instruction Set Architecture for Materials Science Applications
Authors:
Xiang Zou,
Shavindra P. Premaratne,
M. Adriaan Rol,
Sonika Johri,
Viacheslav Ostroukh,
David J. Michalak,
Roman Caudillo,
James S. Clarke,
Leonardo Dicarlo,
A. Y. Matsuura
Abstract:
Quantum computers with tens to hundreds of noisy qubits are being developed today. To be useful for real-world applications, we believe that these near-term systems cannot simply be scaled-down non-error-corrected versions of future fault-tolerant large-scale quantum computers. These near-term systems require specific architecture and design attributes to realize their full potential. To efficient…
▽ More
Quantum computers with tens to hundreds of noisy qubits are being developed today. To be useful for real-world applications, we believe that these near-term systems cannot simply be scaled-down non-error-corrected versions of future fault-tolerant large-scale quantum computers. These near-term systems require specific architecture and design attributes to realize their full potential. To efficiently execute an algorithm, the quantum coprocessor must be designed to scale with respect to qubit number and to maximize useful computation within the qubits' decoherence bounds. In this work, we employ an application-system-qubit co-design methodology to architect a near-term quantum coprocessor. To support algorithms from the real-world application area of simulating the quantum dynamics of a material system, we design a (parameterized) arbitrary single-qubit rotation instruction and a two-qubit entangling controlled-Z instruction. We introduce dynamic gate set and paging mechanisms to implement the instructions. To evaluate the functionality and performance of these two instructions, we implement a two-qubit version of an algorithm to study a disorder-induced metal-insulator transition and run 60 random instances of it, each of which realizes one disorder configuration and contains 40 two-qubit instructions (or gates) and 104 single-qubit instructions. We observe the expected quantum dynamics of the time-evolution of this system.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems
Authors:
Sahar Daraeizadeh,
Shavindra P. Premaratne,
Xiaoyu Song,
Marek Perkowski,
Anne Y. Matsuura
Abstract:
We use machine learning techniques to design a 50 ns three-qubit flux-tunable controlled-controlled-phase gate with fidelity of >99.99% for nearest-neighbor coupled transmons in circuit quantum electrodynamics architectures. We explain our gate design procedure where we enforce realistic constraints, and analyze the new gate's robustness under decoherence, distortion, and random noise. Our control…
▽ More
We use machine learning techniques to design a 50 ns three-qubit flux-tunable controlled-controlled-phase gate with fidelity of >99.99% for nearest-neighbor coupled transmons in circuit quantum electrodynamics architectures. We explain our gate design procedure where we enforce realistic constraints, and analyze the new gate's robustness under decoherence, distortion, and random noise. Our controlled-controlled-phase gate in combination with two single-qubit gates realizes a Toffoli gate which is widely used in quantum circuits, logic synthesis, quantum error correction, and quantum games.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
Generation of Thermofield Double States and Critical Ground States with a Quantum Computer
Authors:
D. Zhu,
S. Johri,
N. M. Linke,
K. A. Landsman,
N. H. Nguyen,
C. H. Alderete,
A. Y. Matsuura,
T. H. Hsieh,
C. Monroe
Abstract:
Finite-temperature phases of many-body quantum systems are fundamental to phenomena ranging from condensed-matter physics to cosmology, yet they are generally difficult to simulate. Using an ion trap quantum computer and protocols motivated by the Quantum Approximate Optimization Algorithm (QAOA), we generate nontrivial thermal quantum states of the transverse-field Ising model (TFIM) by preparing…
▽ More
Finite-temperature phases of many-body quantum systems are fundamental to phenomena ranging from condensed-matter physics to cosmology, yet they are generally difficult to simulate. Using an ion trap quantum computer and protocols motivated by the Quantum Approximate Optimization Algorithm (QAOA), we generate nontrivial thermal quantum states of the transverse-field Ising model (TFIM) by preparing thermofield double states at a variety of temperatures. We also prepare the critical state of the TFIM at zero temperature using quantum-classical hybrid optimization. The entanglement structure of thermofield double and critical states plays a key role in the study of black holes, and our work simulates such nontrivial structures on a quantum computer. Moreover, we find that the variational quantum circuits exhibit noise thresholds above which the lowest depth QAOA circuits provide the best results.
△ Less
Submitted 6 February, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
QAOA for Max-Cut requires hundreds of qubits for quantum speed-up
Authors:
G. G. Guerreschi,
A. Y. Matsuura
Abstract:
Computational quantum technologies are entering a new phase in which noisy intermediate-scale quantum computers are available, but are still too small to benefit from active error correction. Even with a finite coherence budget to invest in quantum information processing, noisy devices with about 50 qubits are expected to experimentally demonstrate quantum supremacy in the next few years. Defined…
▽ More
Computational quantum technologies are entering a new phase in which noisy intermediate-scale quantum computers are available, but are still too small to benefit from active error correction. Even with a finite coherence budget to invest in quantum information processing, noisy devices with about 50 qubits are expected to experimentally demonstrate quantum supremacy in the next few years. Defined in terms of artificial tasks, current proposals for quantum supremacy, even if successful, will not help to provide solutions to practical problems. Instead, we believe that future users of quantum computers are interested in actual applications and that noisy quantum devices may still provide value by approximately solving hard combinatorial problems via hybrid classical-quantum algorithms. To lower bound the size of quantum computers with practical utility, we perform realistic simulations of the Quantum Approximate Optimization Algorithm and conclude that quantum speedup will not be attainable, at least for a representative combinatorial problem, until several hundreds of qubits are available.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Impact of qubit connectivity on quantum algorithm performance
Authors:
Adam Holmes,
Sonika Johri,
Gian Giacomo Guerreschi,
James S. Clarke,
A. Y. Matsuura
Abstract:
Quantum computing hardware is undergoing rapid development from proof-of-principle devices to scalable machines that could eventually challenge classical supercomputers on specific tasks. On platforms with local connectivity, the transition from one- to two-dimensional arrays of qubits is seen as a natural technological step to increase the density of computing power and to reduce the routing cost…
▽ More
Quantum computing hardware is undergoing rapid development from proof-of-principle devices to scalable machines that could eventually challenge classical supercomputers on specific tasks. On platforms with local connectivity, the transition from one- to two-dimensional arrays of qubits is seen as a natural technological step to increase the density of computing power and to reduce the routing cost of limited connectivity. Here we map and schedule representative algorithmic workloads - the Quantum Fourier Transform (QFT) relevant to factoring, the Grover diffusion operator relevant to quantum search, and Jordan-Wigner parity rotations relevant to simulations of quantum chemistry and materials science - to qubit arrays with varying connectivity. In particular we investigate the impact of restricting the ideal all-to-all connectivity to a square grid, a ladder and a linear array of qubits. Our schedule for the QFT on a ladder results in running time close to that of a system with all-to-all connectivity. Our results suggest that some common quantum algorithm primitives can be optimized to have execution times on systems with limited connectivities, such as a ladder and linear array, that are competitive with systems that have all-to-all connectivity
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Measuring the Renyi entropy of a two-site Fermi-Hubbard model on a trapped ion quantum computer
Authors:
Norbert M. Linke,
Sonika Johri,
Caroline Figgatt,
Kevin A. Landsman,
Anne Y. Matsuura,
Christopher Monroe
Abstract:
The efficient simulation of correlated quantum systems is the most promising near-term application of quantum computers. Here, we present a measurement of the second Renyi entropy of the ground state of the two-site Fermi-Hubbard model on a $5$-qubit programmable quantum computer based on trapped ions. Our work illustrates the extraction of a non-linear characteristic of a quantum state using a co…
▽ More
The efficient simulation of correlated quantum systems is the most promising near-term application of quantum computers. Here, we present a measurement of the second Renyi entropy of the ground state of the two-site Fermi-Hubbard model on a $5$-qubit programmable quantum computer based on trapped ions. Our work illustrates the extraction of a non-linear characteristic of a quantum state using a controlled-swap gate acting on two copies of the state. This scalable measurement of entanglement on a universal quantum computer will, with more qubits, provide insights into many-body quantum systems that are impossible to simulate on classical computers.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.