-
Ab initio modelling of quantum dot qubits: Coupling, gate dynamics and robustness versus charge noise
Authors:
Hamza Jnane,
Simon C Benjamin
Abstract:
Electron spins in semiconductor devices are highly promising building blocks for quantum processors (QPs). Commercial semiconductor foundries can create QPs using the same processes employed for conventional chips, once the QP design is suitably specified. There is a vast accessible design space; to identify the most promising options for fabrication, one requires predictive modeling of interactin…
▽ More
Electron spins in semiconductor devices are highly promising building blocks for quantum processors (QPs). Commercial semiconductor foundries can create QPs using the same processes employed for conventional chips, once the QP design is suitably specified. There is a vast accessible design space; to identify the most promising options for fabrication, one requires predictive modeling of interacting electrons in real geometries and complex non-ideal environments. In this work we explore a modelling method based on real-space grids, an ab initio approach without assumptions relating to device topology and therefore with wide applicability. Given an electrode geometry, we determine the exchange coupling between quantum dot qubits, and model the full evolution of a $\sqrt{\text{SWAP}}$ gate to predict qubit loss and infidelity rates for various voltage profiles. Moreover we explore the impact of unwanted charge defects (static and dynamic) in the environment, and test robust pulse sequences. As an example we exhibit a sequence correcting both systematic errors and (unknown) charge defects, observing an order of magnitude boost in fidelity. The technique can thus identify the most promising device designs for fabrication, as well as bespoke control sequences for each such device.
△ Less
Submitted 29 February, 2024;
originally announced March 2024.
-
Distributed Simulation of Statevectors and Density Matrices
Authors:
Tyson Jones,
Bálint Koczor,
Simon C. Benjamin
Abstract:
Classical simulation of quantum computers is an irreplaceable step in the design of quantum algorithms. Exponential simulation costs demand the use of high-performance computing techniques, and in particular distribution, whereby the quantum state description is partitioned between a network of cooperating computers - necessary for the exact simulation of more than approximately 30 qubits. Distrib…
▽ More
Classical simulation of quantum computers is an irreplaceable step in the design of quantum algorithms. Exponential simulation costs demand the use of high-performance computing techniques, and in particular distribution, whereby the quantum state description is partitioned between a network of cooperating computers - necessary for the exact simulation of more than approximately 30 qubits. Distributed computing is notoriously difficult, requiring bespoke algorithms dissimilar to their serial counterparts with different resource considerations, and which appear to restrict the utilities of a quantum simulator. This manuscript presents a plethora of novel algorithms for distributed full-state simulation of gates, operators, noise channels and other calculations in digital quantum computers. We show how a simple, common but seemingly restrictive distribution model actually permits a rich set of advanced facilities including Pauli gadgets, many-controlled many-target general unitaries, density matrices, general decoherence channels, and partial traces. These algorithms include asymptotically, polynomially improved simulations of exotic gates, and thorough motivations for high-performance computing techniques which will be useful for even non-distributed simulators. Our results are derived in language familiar to a quantum information theory audience, and our algorithms formalised for the scientific simulation community. We have implemented all algorithms herein presented into an isolated, minimalist C++ project, hosted open-source on Github with a permissive MIT license, and extensive testing. This manuscript aims both to significantly improve the high-performance quantum simulation tools available, and offer a thorough introduction to, and derivation of, full-state simulation techniques.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Pipeline quantum processor architecture for silicon spin qubits
Authors:
S. M. Patomäki,
M. F. Gonzalez-Zalba,
M. A. Fogarty,
Z. Cai,
S. C. Benjamin,
J. J. L. Morton
Abstract:
Noisy intermediate-scale quantum (NISQ) devices seek to achieve quantum advantage over classical systems without the use of full quantum error correction. We propose a NISQ processor architecture using a qubit `pipeline' in which all run-time control is applied globally, reducing the required number and complexity of control and interconnect resources. This is achieved by progressing qubit states…
▽ More
Noisy intermediate-scale quantum (NISQ) devices seek to achieve quantum advantage over classical systems without the use of full quantum error correction. We propose a NISQ processor architecture using a qubit `pipeline' in which all run-time control is applied globally, reducing the required number and complexity of control and interconnect resources. This is achieved by progressing qubit states through a layered physical array of structures which realise single and two-qubit gates. Such an approach lends itself to NISQ applications such as variational quantum eigensolvers which require numerous repetitions of the same calculation, or small variations thereof. In exchange for simplifying run-time control, a larger number of physical structures is required for shuttling the qubits as the circuit depth now corresponds to an array of physical structures. However, qubit states can be `pipelined' densely through the arrays for repeated runs to make more efficient use of physical resources. We describe how the qubit pipeline can be implemented in a silicon spin-qubit platform, to which it is well suited to due to the high qubit density and scalability. In this implementation, we describe the physical realisation of single and two qubit gates which represent a universal gate set that can achieve fidelities of $\mathcal{F} \geq 0.9999$, even under typical qubit frequency variations.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
The Virtual Quantum Device (VQD): A tool for detailed emulation of quantum computers
Authors:
Cica Gustiani,
Tyson Jones,
Simon C. Benjamin
Abstract:
We present the Virtual Quantum Device (VQD) platform, a system based on the QuEST quantum emulator. Through the use of VQDs, non-expert users can emulate specific quantum computers with detailed error models, bespoke gate sets and connectivities. The platform boasts an intuitive interface, powerful visualisation, and compatibility with high-performance computation for effective testing and optimis…
▽ More
We present the Virtual Quantum Device (VQD) platform, a system based on the QuEST quantum emulator. Through the use of VQDs, non-expert users can emulate specific quantum computers with detailed error models, bespoke gate sets and connectivities. The platform boasts an intuitive interface, powerful visualisation, and compatibility with high-performance computation for effective testing and optimisation of complex quantum algorithms or ideas across a range of quantum computing hardware. We create and explore five families of VQDs corresponding to trapped ions, nitrogen-vacancy-centres, neutral atom arrays, silicon quantum dot spins, and superconducting devices. Each is highly configurable through a set of tailored parameters. We showcase the key characteristics of each virtual device, providing practical examples of the tool's usefulness and highlighting each device's specific attributes. By offering user-friendly encapsulated descriptions of diverse quantum hardware, the VQD platform offers researchers the ability to rapidly explore algorithms and protocols in a realistic setting; meanwhile hardware experts can create their own VQDs to compare with their experiments.
△ Less
Submitted 23 June, 2023; v1 submitted 12 June, 2023;
originally announced June 2023.
-
Actis: A Strictly Local Union-Find Decoder
Authors:
Tim Chan,
Simon C. Benjamin
Abstract:
Fault-tolerant quantum computing requires classical hardware to perform the decoding necessary for error correction. The Union-Find decoder is one of the best candidates for this. It has remarkably organic characteristics, involving the growth and merger of data structures through nearest-neighbour steps; this naturally suggests the possibility of its realisation using a lattice of simple processo…
▽ More
Fault-tolerant quantum computing requires classical hardware to perform the decoding necessary for error correction. The Union-Find decoder is one of the best candidates for this. It has remarkably organic characteristics, involving the growth and merger of data structures through nearest-neighbour steps; this naturally suggests the possibility of its realisation using a lattice of simple processors with nearest-neighbour links. In this way the computational load can be distributed with near-ideal parallelism. Here we show for the first time that this strict (rather than partial) locality is practical, with a worst-case runtime $\mathcal O(d^3)$ and mean runtime subquadratic in the surface code distance $d$. A novel parity-calculation scheme is employed which can simplify previously proposed architectures, and our approach is optimised for circuit-level noise. We compare our local realisation with one augmented by long-range links; while the latter is of course faster, we note that local asynchronous logic could negate the difference.
△ Less
Submitted 8 November, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Resource-frugal Hamiltonian eigenstate preparation via repeated quantum phase estimation measurements
Authors:
Richard Meister,
Simon C. Benjamin
Abstract:
The preparation of Hamiltonian eigenstates is essential for many applications in quantum computing; the efficiency with which this can be done is of key interest. A canonical approach exploits the quantum phase estimation (QPE) algorithm. We adopt ideas from variants of this method to implement a resource-frugal iterative scheme, and provide analytic bounds on the complexity (simulation time cost)…
▽ More
The preparation of Hamiltonian eigenstates is essential for many applications in quantum computing; the efficiency with which this can be done is of key interest. A canonical approach exploits the quantum phase estimation (QPE) algorithm. We adopt ideas from variants of this method to implement a resource-frugal iterative scheme, and provide analytic bounds on the complexity (simulation time cost) for various cases of available information and tools. We propose and characterise an extension involving a modification of the target Hamiltonian to increase overall efficiency. The presented methods and bounds are then demonstrated by preparing the ground state of the Hamiltonians of LiH and H$_2$ in second quantisation; we report the performance of both ideal and noisy implementations using simulated quantum computers. Convergence is generally achieved much faster than the bounds suggest, while the qualitative features are validated.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Quantum Error Mitigation
Authors:
Zhenyu Cai,
Ryan Babbush,
Simon C. Benjamin,
Suguru Endo,
William J. Huggins,
Ying Li,
Jarrod R. McClean,
Thomas E. O'Brien
Abstract:
For quantum computers to successfully solve real-world problems, it is necessary to tackle the challenge of noise: the errors which occur in elementary physical components due to unwanted or imperfect interactions. The theory of quantum fault tolerance can provide an answer in the long term, but in the coming era of `NISQ' machines we must seek to mitigate errors rather than completely remove them…
▽ More
For quantum computers to successfully solve real-world problems, it is necessary to tackle the challenge of noise: the errors which occur in elementary physical components due to unwanted or imperfect interactions. The theory of quantum fault tolerance can provide an answer in the long term, but in the coming era of `NISQ' machines we must seek to mitigate errors rather than completely remove them. This review surveys the diverse methods that have been proposed for quantum error mitigation, assesses their in-principle efficacy, and then describes the hardware demonstrations achieved to date. We identify the commonalities and limitations among the methods, noting how mitigation methods can be chosen according to the primary type of noise present, including algorithmic errors. Open problems in the field are identified and we discuss the prospects for realising mitigation-based devices that can deliver quantum advantage with an impact on science and business.
△ Less
Submitted 28 December, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Exploiting subspace constraints and ab initio variational methods for quantum chemistry
Authors:
Cica Gustiani,
Richard Meister,
Simon C. Benjamin
Abstract:
Variational methods offer a highly promising route to exploiting quantum computers for chemistry tasks. Here we employ methods described in a sister paper to the present report, entitled ab initio machine synthesis of quantum circuits, in order to solve problems using adaptively evolving quantum circuits. Consistent with prior authors we find that this approach can outperform human-designed circui…
▽ More
Variational methods offer a highly promising route to exploiting quantum computers for chemistry tasks. Here we employ methods described in a sister paper to the present report, entitled ab initio machine synthesis of quantum circuits, in order to solve problems using adaptively evolving quantum circuits. Consistent with prior authors we find that this approach can outperform human-designed circuits such as the coupled-cluster or hardware-efficient ansätze, and we make comparisons for larger instances up to 14 qubits. Moreover we introduce a novel approach to constraining the circuit evolution in the physically relevant subspace, finding that this greatly improves performance and compactness of the circuits. We consider both static and dynamics properties of molecular systems. The emulation environments used is QuESTlink; all resources are open source and linked from this paper.
△ Less
Submitted 17 November, 2022; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Exploring ab initio machine synthesis of quantum circuits
Authors:
Richard Meister,
Cica Gustiani,
Simon C. Benjamin
Abstract:
Gate-level quantum circuits are often derived manually from higher level algorithms. While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity. Here we explore methods for the ab initio creation of circuits within a machine, either a classical computer or a…
▽ More
Gate-level quantum circuits are often derived manually from higher level algorithms. While this suffices for small implementations and demonstrations, ultimately automatic circuit design will be required to realise complex algorithms using hardware-specific operations and connectivity. Here we explore methods for the ab initio creation of circuits within a machine, either a classical computer or a hybrid quantum-classical device. We consider a range of techniques including: methods for introducing new gate structures, optimisation of parameterised circuits and choices of cost functions, and efficient removal of low-value gates exploiting the quantum geometric tensor and other heuristics. Using these principles we tackle the tasks of automatic encoding of unitary processes and translation (recompilation) of a circuit from one form to another. Using emulated quantum computers with various noise-free gate sets we provide simple examples involving up to 10 qubits, corresponding to 20 qubits in the augmented space we use. Further applications of specific relevance to chemistry modelling are considered in a sister paper, 'Exploiting subspace constraints and ab initio variational methods for quantum chemistry'.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Grid-based methods for chemistry simulations on a quantum computer
Authors:
Hans Hon Sang Chan,
Richard Meister,
Tyson Jones,
David P. Tew,
Simon C. Benjamin
Abstract:
First quantized, grid-based methods for chemistry modelling are a natural and elegant fit for quantum computers. However, it is infeasible to use today's quantum prototypes to explore the power of this approach, because it requires a significant number of near-perfect qubits. Here we employ exactly-emulated quantum computers with up to 36 qubits, to execute deep yet resource-frugal algorithms that…
▽ More
First quantized, grid-based methods for chemistry modelling are a natural and elegant fit for quantum computers. However, it is infeasible to use today's quantum prototypes to explore the power of this approach, because it requires a significant number of near-perfect qubits. Here we employ exactly-emulated quantum computers with up to 36 qubits, to execute deep yet resource-frugal algorithms that model 2D and 3D atoms with single and paired particles. A range of tasks is explored, from ground state preparation and energy estimation to the dynamics of scattering and ionisation; we evaluate various methods within the split-operator QFT (SO-QFT) Hamiltonian simulation paradigm, including protocols previously-described in theoretical papers as well as our own novel techniques. While we identify certain restrictions and caveats, generally the grid-based method is found to perform very well; our results are consistent with the view that first quantized paradigms will be dominant from the early fault-tolerant quantum computing era onward.
△ Less
Submitted 8 March, 2023; v1 submitted 11 February, 2022;
originally announced February 2022.
-
Multicore Quantum Computing
Authors:
Hamza Jnane,
Brennan Undseth,
Zhenyu Cai,
Simon C Benjamin,
Bálint Koczor
Abstract:
Any architecture for practical quantum computing must be scalable. An attractive approach is to create multiple cores, computing regions of fixed size that are well-spaced but interlinked with communication channels. This exploded architecture can relax the demands associated with a single monolithic device: the complexity of control, cooling and power infrastructure as well as the difficulties of…
▽ More
Any architecture for practical quantum computing must be scalable. An attractive approach is to create multiple cores, computing regions of fixed size that are well-spaced but interlinked with communication channels. This exploded architecture can relax the demands associated with a single monolithic device: the complexity of control, cooling and power infrastructure as well as the difficulties of cross-talk suppression and near-perfect component yield. Here we explore interlinked multicore architectures through analytic and numerical modelling. While elements of our analysis are relevant to diverse platforms, our focus is on semiconductor electron spin systems in which numerous cores may exist on a single chip. We model shuttling and microwave-based interlinks and estimate the achievable fidelities, finding values that are encouraging but markedly inferior to intra-core operations. We therefore introduce optimsed entanglement purification to enable high-fidelity communication, finding that $99.5\%$ is a very realistic goal. We then assess the prospects for quantum advantage using such devices in the NISQ-era and beyond: we simulate recently proposed exponentially-powerful error mitigation schemes in the multicore environment and conclude that these techniques impressively suppress imperfections in both the inter- and intra-core operations.
△ Less
Submitted 5 November, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Quantum computing is scalable on a planar array of qubits with fabrication defects
Authors:
Armands Strikis,
Simon C. Benjamin,
Benjamin J. Brown
Abstract:
To successfully execute large-scale algorithms, a quantum computer will need to perform its elementary operations near perfectly. This is a fundamental challenge since all physical qubits suffer a considerable level of noise. Moreover, real systems are likely to have a finite yield, i.e. some non-zero proportion of the components in a complex device may be irredeemably broken at the fabrication st…
▽ More
To successfully execute large-scale algorithms, a quantum computer will need to perform its elementary operations near perfectly. This is a fundamental challenge since all physical qubits suffer a considerable level of noise. Moreover, real systems are likely to have a finite yield, i.e. some non-zero proportion of the components in a complex device may be irredeemably broken at the fabrication stage. We present a threshold theorem showing that an arbitrarily large quantum computation can be completed with a vanishing probability of failure using a two-dimensional array of noisy qubits with a finite density of fabrication defects. To complete our proof we introduce a robust protocol to measure high-weight stabilizers to compensate for large regions of inactive qubits. We obtain our result using a surface code architecture. Our approach is therefore readily compatible with ongoing experimental efforts to build a large-scale quantum computer.
△ Less
Submitted 28 June, 2023; v1 submitted 11 November, 2021;
originally announced November 2021.
-
Variational Quantum Algorithms
Authors:
M. Cerezo,
Andrew Arrasmith,
Ryan Babbush,
Simon C. Benjamin,
Suguru Endo,
Keisuke Fujii,
Jarrod R. McClean,
Kosuke Mitarai,
Xiao Yuan,
Lukasz Cincio,
Patrick J. Coles
Abstract:
Applications such as simulating complicated quantum systems or solving large-scale linear algebra problems are very challenging for classical computers due to the extremely high computational cost. Quantum computers promise a solution, although fault-tolerant quantum computers will likely not be available in the near future. Current quantum devices have serious constraints, including limited numbe…
▽ More
Applications such as simulating complicated quantum systems or solving large-scale linear algebra problems are very challenging for classical computers due to the extremely high computational cost. Quantum computers promise a solution, although fault-tolerant quantum computers will likely not be available in the near future. Current quantum devices have serious constraints, including limited numbers of qubits and noise processes that limit circuit depth. Variational Quantum Algorithms (VQAs), which use a classical optimizer to train a parametrized quantum circuit, have emerged as a leading strategy to address these constraints. VQAs have now been proposed for essentially all applications that researchers have envisioned for quantum computers, and they appear to the best hope for obtaining quantum advantage. Nevertheless, challenges remain including the trainability, accuracy, and efficiency of VQAs. Here we overview the field of VQAs, discuss strategies to overcome their challenges, and highlight the exciting prospects for using them to obtain quantum advantage.
△ Less
Submitted 4 October, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Hybrid quantum-classical algorithms and quantum error mitigation
Authors:
Suguru Endo,
Zhenyu Cai,
Simon C. Benjamin,
Xiao Yuan
Abstract:
Quantum computers can exploit a Hilbert space whose dimension increases exponentially with the number of qubits. In experiment, quantum supremacy has recently been achieved by the Google team by using a noisy intermediate-scale quantum (NISQ) device with over 50 qubits. However, the question of what can be implemented on NISQ devices is still not fully explored, and discovering useful tasks for su…
▽ More
Quantum computers can exploit a Hilbert space whose dimension increases exponentially with the number of qubits. In experiment, quantum supremacy has recently been achieved by the Google team by using a noisy intermediate-scale quantum (NISQ) device with over 50 qubits. However, the question of what can be implemented on NISQ devices is still not fully explored, and discovering useful tasks for such devices is a topic of considerable interest. Hybrid quantum-classical algorithms are regarded as well-suited for execution on NISQ devices by combining quantum computers with classical computers, and are expected to be the first useful applications for quantum computing. Meanwhile, mitigation of errors on quantum processors is also crucial to obtain reliable results. In this article, we review the basic results for hybrid quantum-classical algorithms and quantum error mitigation techniques. Since quantum computing with NISQ devices is an actively develo** field, we expect this review to be a useful basis for future studies.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Quantum Analytic Descent
Authors:
Bálint Koczor,
Simon C. Benjamin
Abstract:
Variational algorithms have particular relevance for near-term quantum computers but require non-trivial parameter optimisations. Here we propose Analytic Descent: Given that the energy landscape must have a certain simple form in the local region around any reference point, it can be efficiently approximated in its entirety by a classical model -- we support these observations with rigorous, comp…
▽ More
Variational algorithms have particular relevance for near-term quantum computers but require non-trivial parameter optimisations. Here we propose Analytic Descent: Given that the energy landscape must have a certain simple form in the local region around any reference point, it can be efficiently approximated in its entirety by a classical model -- we support these observations with rigorous, complexity-theoretic arguments. One can classically analyse this approximate function in order to directly `jump' to the (estimated) minimum, before determining a more refined function if necessary. We derive an optimal measurement strategy and generally prove that the asymptotic resource cost of a `jump' corresponds to only a single gradient vector evaluation.
△ Less
Submitted 13 May, 2022; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Tailoring Term Truncations for Electronic Structure Calculations Using a Linear Combination of Unitaries
Authors:
Richard Meister,
Simon C. Benjamin,
Earl T. Campbell
Abstract:
A highly anticipated use of quantum computers is the simulation of complex quantum systems including molecules and other many-body systems. One promising method involves directly applying a linear combination of unitaries (LCU) to approximate a Taylor series by truncating after some order. Here we present an adaptation of that method, optimized for Hamiltonians with terms of widely varying magnitu…
▽ More
A highly anticipated use of quantum computers is the simulation of complex quantum systems including molecules and other many-body systems. One promising method involves directly applying a linear combination of unitaries (LCU) to approximate a Taylor series by truncating after some order. Here we present an adaptation of that method, optimized for Hamiltonians with terms of widely varying magnitude, as is commonly the case in electronic structure calculations. We show that it is more efficient to apply LCU using a truncation that retains larger magnitude terms as determined by an iterative procedure. We obtain bounds on the simulation error for this generalized truncated Taylor method, and for a range of molecular simulations, we report these bounds as well as exact numerical results. We find that our adaptive method can typically improve the simulation accuracy by an order of magnitude, for a given circuit depth.
△ Less
Submitted 12 January, 2022; v1 submitted 22 July, 2020;
originally announced July 2020.
-
The prospects of quantum computing in computational molecular biology
Authors:
Carlos Outeiral,
Martin Strahm,
Jiye Shi,
Garrett M. Morris,
Simon C. Benjamin,
Charlotte M. Deane
Abstract:
Quantum computers can in principle solve certain problems exponentially more quickly than their classical counterparts. We have not yet reached the advent of useful quantum computation, but when we do, it will affect nearly all scientific disciplines. In this review, we examine how current quantum algorithms could revolutionize computational biology and bioinformatics. There are potential benefits…
▽ More
Quantum computers can in principle solve certain problems exponentially more quickly than their classical counterparts. We have not yet reached the advent of useful quantum computation, but when we do, it will affect nearly all scientific disciplines. In this review, we examine how current quantum algorithms could revolutionize computational biology and bioinformatics. There are potential benefits across the entire field, from the ability to process vast amounts of information and run machine learning algorithms far more efficiently, to algorithms for quantum simulation that are poised to improve computational calculations in drug discovery, to quantum algorithms for optimization that may advance fields from protein structure prediction to network analysis. However, these exciting prospects are susceptible to "hype", and it is also important to recognize the caveats and challenges in this new technology. Our aim is to introduce the promise and limitations of emerging quantum computing technologies in the areas of computational molecular biology and bioinformatics.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Learning-based quantum error mitigation
Authors:
Armands Strikis,
Dayue Qin,
Yanzhu Chen,
Simon C. Benjamin,
Ying Li
Abstract:
If NISQ-era quantum computers are to perform useful tasks, they will need to employ powerful error mitigation techniques. Quasi-probability methods can permit perfect error compensation at the cost of additional circuit executions, provided that the nature of the error model is fully understood and sufficiently local both spatially and temporally. Unfortunately these conditions are challenging to…
▽ More
If NISQ-era quantum computers are to perform useful tasks, they will need to employ powerful error mitigation techniques. Quasi-probability methods can permit perfect error compensation at the cost of additional circuit executions, provided that the nature of the error model is fully understood and sufficiently local both spatially and temporally. Unfortunately these conditions are challenging to satisfy. Here we present a method by which the proper compensation strategy can instead be learned ab initio. Our training process uses multiple variants of the primary circuit where all non-Clifford gates are substituted with gates that are efficient to simulate classically. The process yields a configuration that is near-optimal versus noise in the real system with its non-Clifford gate set. Having presented a range of learning strategies, we demonstrate the power of the technique both with real quantum hardware (IBM devices) and exactly-emulated imperfect quantum computers. The systems suffer a range of noise severities and types, including spatially and temporally correlated variants. In all cases the protocol successfully adapts to the noise and mitigates it to a high degree.
△ Less
Submitted 22 March, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Investigating the potential for a limited quantum speedup on protein lattice problems
Authors:
Carlos Outeiral,
Garrett M. Morris,
Jiye Shi,
Martin Strahm,
Simon C. Benjamin,
Charlotte M. Deane
Abstract:
Protein folding is a central challenge in computational biology, with important applications in molecular biology, drug discovery and catalyst design. As a hard combinatorial optimisation problem, it has been studied as a potential target problem for quantum annealing. Although several experimental implementations have been discussed in the literature, the computational scaling of these approaches…
▽ More
Protein folding is a central challenge in computational biology, with important applications in molecular biology, drug discovery and catalyst design. As a hard combinatorial optimisation problem, it has been studied as a potential target problem for quantum annealing. Although several experimental implementations have been discussed in the literature, the computational scaling of these approaches has not been elucidated. In this article, we present a numerical study of quantum annealing applied to a large number of small peptide folding problems, aiming to infer useful insights for near-term applications. We present two conclusions: that even naive quantum annealing, when applied to protein lattice folding, has the potential to outperform classical approaches, and that careful engineering of the Hamiltonians and schedules involved can deliver notable relative improvements for this problem. Overall, our results suggest that quantum algorithms may well offer improvements for problems in the protein folding and structure prediction realm.
△ Less
Submitted 18 May, 2021; v1 submitted 2 April, 2020;
originally announced April 2020.
-
Quantum natural gradient generalised to noisy and non-unitary circuits
Authors:
Bálint Koczor,
Simon C. Benjamin
Abstract:
Variational quantum algorithms are promising tools whose efficacy depends on their optimisation method. For noise-free unitary circuits, the quantum generalisation of natural gradient descent has been introduced and shown to be equivalent to imaginary time evolution: the approach is effective due to a metric tensor reconciling the classical parameter space to the device's Hilbert space. Here we ge…
▽ More
Variational quantum algorithms are promising tools whose efficacy depends on their optimisation method. For noise-free unitary circuits, the quantum generalisation of natural gradient descent has been introduced and shown to be equivalent to imaginary time evolution: the approach is effective due to a metric tensor reconciling the classical parameter space to the device's Hilbert space. Here we generalise quantum natural gradient to consider arbitrary quantum states (both mixed and pure) via completely positive maps; thus our circuits can incorporate both imperfect unitary gates and fundamentally non-unitary operations such as measurements. We employ the quantum Fisher information (QFI) as the core metric in the space of density operators. A modification of the Error Suppression by Derangements (ESD) and Virtual Distillation (VD) techniques enables an accurate and experimentally-efficient approximation of the QFI via the Hilbert-Schmidt metric tensor using prior results on the dominant eigenvector of noisy quantum states. Our rigorous proof also establishes the fundamental observation that the geometry of typical noisy quantum states is (approximately) identical in either the Hilbert-Schmidt metric or as characterised by the QFI. In numerical simulations of noisy quantum circuits we demonstrate the practicality of our approach and confirm it can significantly outperform other variational techniques.
△ Less
Submitted 4 August, 2022; v1 submitted 18 December, 2019;
originally announced December 2019.
-
QuESTlink -- Mathematica embiggened by a hardware-optimised quantum emulator
Authors:
Tyson Jones,
Simon C Benjamin
Abstract:
We introduce QuESTlink, pronounced "quest link", an open-source Mathematica package which efficiently emulates quantum computers. By integrating with the Quantum Exact Simulation Toolkit (QuEST), QuESTlink offers a high-level, expressive and usable interface to a high-performance, hardware-accelerated emulator. Requiring no installation, QuESTlink streamlines the powerful analysis capabilities of…
▽ More
We introduce QuESTlink, pronounced "quest link", an open-source Mathematica package which efficiently emulates quantum computers. By integrating with the Quantum Exact Simulation Toolkit (QuEST), QuESTlink offers a high-level, expressive and usable interface to a high-performance, hardware-accelerated emulator. Requiring no installation, QuESTlink streamlines the powerful analysis capabilities of Mathematica into the study of quantum systems, even utilising remote multicore and GPU hardware. We demonstrate the use of QuESTlink to concisely and efficiently simulate several quantum algorithms, and present some comparative benchmarking against core QuEST.
△ Less
Submitted 3 May, 2020; v1 submitted 17 December, 2019;
originally announced December 2019.
-
Variational circuit compiler for quantum error correction
Authors:
Xiaosi Xu,
Simon C. Benjamin,
Xiao Yuan
Abstract:
Quantum error correction is vital for implementing universal quantum computing. A key component is the encoding circuit that maps a product state of physical qubits into the encoded multipartite entangled logical state. Known methods are typically not 'optimal' either in terms of the circuit depth (and therefore the error burden) or the specifics of the target platform, i.e. the native gates and t…
▽ More
Quantum error correction is vital for implementing universal quantum computing. A key component is the encoding circuit that maps a product state of physical qubits into the encoded multipartite entangled logical state. Known methods are typically not 'optimal' either in terms of the circuit depth (and therefore the error burden) or the specifics of the target platform, i.e. the native gates and topology of a system. This work introduces a variational compiler for efficiently finding the encoding circuit of general quantum error correcting codes with given quantum hardware. Focusing on the noisy intermediate scale quantum regime, we show how to systematically compile the circuit following an optimising process seeking to minimise the number of noisy operations that are allowed by the noisy quantum hardware or to obtain the highest fidelity of the encoded state with noisy gates. We demonstrate our method by deriving novel encoders for logic states of the five qubit code and the seven qubit Steane code. We describe ways to augment the discovered circuits with error detection. Our method is applicable quite generally for compiling the encoding circuits of quantum error correcting codes.
△ Less
Submitted 3 April, 2021; v1 submitted 13 November, 2019;
originally announced November 2019.
-
Variational algorithms for linear algebra
Authors:
Xiaosi Xu,
**zhao Sun,
Suguru Endo,
Ying Li,
Simon C. Benjamin,
Xiao Yuan
Abstract:
Quantum algorithms have been developed for efficiently solving linear algebra tasks. However, they generally require deep circuits and hence universal fault-tolerant quantum computers. In this work, we propose variational algorithms for linear algebra tasks that are compatible with noisy intermediate-scale quantum devices. We show that the solutions of linear systems of equations and matrix-vector…
▽ More
Quantum algorithms have been developed for efficiently solving linear algebra tasks. However, they generally require deep circuits and hence universal fault-tolerant quantum computers. In this work, we propose variational algorithms for linear algebra tasks that are compatible with noisy intermediate-scale quantum devices. We show that the solutions of linear systems of equations and matrix-vector multiplications can be translated as the ground states of the constructed Hamiltonians. Based on the variational quantum algorithms, we introduce Hamiltonian morphing together with an adaptive ansatz for efficiently finding the ground state, and show the solution verification. Our algorithms are especially suitable for linear algebra problems with sparse matrices, and have wide applications in machine learning and optimisation problems. The algorithm for matrix multiplications can be also used for Hamiltonian simulation and open system simulation. We evaluate the cost and effectiveness of our algorithm through numerical simulations for solving linear systems of equations. We implement the algorithm on the IBM quantum cloud device with a high solution fidelity of 99.95%.
△ Less
Submitted 25 December, 2021; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Variational-State Quantum Metrology
Authors:
Bálint Koczor,
Suguru Endo,
Tyson Jones,
Yuichiro Matsuzaki,
Simon C. Benjamin
Abstract:
Quantum technologies exploit entanglement to enhance various tasks beyond their classical limits including computation, communication and measurements. Quantum metrology aims to increase the precision of a measured quantity that is estimated in the presence of statistical errors using entangled quantum states. We present a novel approach for finding (near) optimal states for metrology in the prese…
▽ More
Quantum technologies exploit entanglement to enhance various tasks beyond their classical limits including computation, communication and measurements. Quantum metrology aims to increase the precision of a measured quantity that is estimated in the presence of statistical errors using entangled quantum states. We present a novel approach for finding (near) optimal states for metrology in the presence of noise, using variational techniques as a tool for efficiently searching the classically intractable high-dimensional space of quantum states. We comprehensively explore systems consisting of up to 9 qubits and find new highly entangled states that are not symmetric under permutations and non-trivially outperform previously known states up to a constant factor 2. We consider a range of environmental noise models; while passive quantum states cannot achieve a fundamentally superior scaling (as established by prior asymptotic results) we do observe a significant absolute quantum advantage. We finally outline a possible experimental setup for variational quantum metrology which can be implemented in near-term hardware.
△ Less
Submitted 16 April, 2020; v1 submitted 23 August, 2019;
originally announced August 2019.
-
Experimental exploration of five-qubit quantum error correcting code with superconducting qubits
Authors:
Ming Gong,
Xiao Yuan,
Shiyu Wang,
Yulin Wu,
Youwei Zhao,
Chen Zha,
Shaowei Li,
Zhen Zhang,
Qi Zhao,
Yunchao Liu,
Futian Liang,
** Lin,
Yu Xu,
Hui Deng,
Hao Rong,
He Lu,
Simon C. Benjamin,
Cheng-Zhi Peng,
Xiongfeng Ma,
Yu-Ao Chen,
Xiaobo Zhu,
Jian-Wei Pan
Abstract:
Quantum error correction is an essential ingredient for universal quantum computing. Despite tremendous experimental efforts in the study of quantum error correction, to date, there has been no demonstration in the realisation of universal quantum error correcting code, with the subsequent verification of all key features including the identification of an arbitrary physical error, the capability…
▽ More
Quantum error correction is an essential ingredient for universal quantum computing. Despite tremendous experimental efforts in the study of quantum error correction, to date, there has been no demonstration in the realisation of universal quantum error correcting code, with the subsequent verification of all key features including the identification of an arbitrary physical error, the capability for transversal manipulation of the logical state, and state decoding. To address this challenge, we experimentally realise the $[\![5,1,3]\!]$ code, the so-called smallest perfect code that permits corrections of generic single-qubit errors. In the experiment, having optimised the encoding circuit, we employ an array of superconducting qubits to realise the $[\![5,1,3]\!]$ code for several typical logical states including the magic state, an indispensable resource for realising non-Clifford gates. The encoded states are prepared with an average fidelity of $57.1(3)\%$ while with a high fidelity of $98.6(1)\%$ in the code space. Then, the arbitrary single-qubit errors introduced manually are identified by measuring the stabilizers. We further implement logical Pauli operations with a fidelity of $97.2(2)\%$ within the code space. Finally, we realise the decoding circuit and recover the input state with an overall fidelity of $74.5(6)\%$, in total with $92$ gates. Our work demonstrates each key aspect of the $[\![5,1,3]\!]$ code and verifies the viability of experimental realization of quantum error correcting codes with superconducting qubits.
△ Less
Submitted 24 January, 2021; v1 submitted 10 July, 2019;
originally announced July 2019.
-
Mitigating Coherent Noise Using Pauli Conjugation
Authors:
Zhenyu Cai,
Xiaosi Xu,
Simon C. Benjamin
Abstract:
Coherent noise can be much more damaging than incoherent (probabilistic) noise in the context of quantum error correction. One solution is to use twirling to turn coherent noise into incoherent Pauli channels. In this Article, we show that some of the coherence of the noise channel can actually be used to improve its logical fidelity by simply sandwiching the noise with a chosen pair of Pauli gate…
▽ More
Coherent noise can be much more damaging than incoherent (probabilistic) noise in the context of quantum error correction. One solution is to use twirling to turn coherent noise into incoherent Pauli channels. In this Article, we show that some of the coherence of the noise channel can actually be used to improve its logical fidelity by simply sandwiching the noise with a chosen pair of Pauli gates, which we call Pauli conjugation. Using the optimal Pauli conjugation, we can achieve a higher logical fidelity than using twirling and doing nothing. We devise a way to search for the optimal Pauli conjugation scheme and apply it to Steane code, 9-qubit Shor code and distance-3 surface code under global coherent $Z$ noise. The optimal conjugation schemes show improvement in logical fidelity over twirling while the weights of the conjugation gates we need to apply are lower than the average weight of the twirling gates. In our example noise and codes, the concatenated threshold obtained using conjugation is consistently higher than the twirling threshold and can be up to 1.5 times higher than the original threshold where no mitigation is applied. Our simulations show that Pauli conjugation can be robust against gate errors. With the help of logical twirling, the undesirable coherence in the noise channel can be removed and the advantages of conjugation over twirling can persist as we go to multiple rounds of quantum error correction.
△ Less
Submitted 31 October, 2019; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Demonstration of Adiabatic Variational Quantum Computing with a Superconducting Quantum Coprocessor
Authors:
Ming-Cheng Chen,
Ming Gong,
Xiao-Si Xu,
Xiao Yuan,
Jian-Wen Wang,
Can Wang,
Chong Ying,
** Lin,
Yu Xu,
Yulin Wu,
Shiyu Wang,
Hui Deng,
Futian Liang,
Cheng-Zhi Peng,
Simon C. Benjamin,
Xiaobo Zhu,
Chao-Yang Lu,
Jian-Wei Pan
Abstract:
Adiabatic quantum computing enables the preparation of many-body ground states. This is key for applications in chemistry, materials science, and beyond. Realisation poses major experimental challenges: Direct analog implementation requires complex Hamiltonian engineering, while the digitised version needs deep quantum gate circuits. To bypass these obstacles, we suggest an adiabatic variational h…
▽ More
Adiabatic quantum computing enables the preparation of many-body ground states. This is key for applications in chemistry, materials science, and beyond. Realisation poses major experimental challenges: Direct analog implementation requires complex Hamiltonian engineering, while the digitised version needs deep quantum gate circuits. To bypass these obstacles, we suggest an adiabatic variational hybrid algorithm, which employs short quantum circuits and provides a systematic quantum adiabatic optimisation of the circuit parameters. The quantum adiabatic theorem promises not only the ground state but also that the excited eigenstates can be found. We report the first experimental demonstration that many-body eigenstates can be efficiently prepared by an adiabatic variational algorithm assisted with a multi-qubit superconducting coprocessor. We track the real-time evolution of the ground and exited states of transverse-field Ising spins with a fidelity up that can reach about 99%.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
A Silicon Surface Code Architecture Resilient Against Leakage Errors
Authors:
Zhenyu Cai,
Michael A. Fogarty,
Simon Schaal,
Sofia Patomaki,
Simon C. Benjamin,
John J. L. Morton
Abstract:
Spin qubits in silicon quantum dots are one of the most promising building blocks for large scale quantum computers thanks to their high qubit density and compatibility with the existing semiconductor technologies. High fidelity single-qubit gates exceeding the threshold of error correction codes like the surface code have been demonstrated, while two-qubit gates have reached 98\% fidelity and are…
▽ More
Spin qubits in silicon quantum dots are one of the most promising building blocks for large scale quantum computers thanks to their high qubit density and compatibility with the existing semiconductor technologies. High fidelity single-qubit gates exceeding the threshold of error correction codes like the surface code have been demonstrated, while two-qubit gates have reached 98\% fidelity and are improving rapidly. However, there are other types of error --- such as charge leakage and propagation --- that may occur in quantum dot arrays and which cannot be corrected by quantum error correction codes, making them potentially damaging even when their probability is small. We propose a surface code architecture for silicon quantum dot spin qubits that is robust against leakage errors by incorporating multi-electron mediator dots. Charge leakage in the qubit dots is transferred to the mediator dots via charge relaxation processes and then removed using charge reservoirs attached to the mediators. A stabiliser-check cycle, optimised for our hardware, then removes the correlations between the residual physical errors. Through simulations we obtain the surface code threshold for the charge leakage errors and show that in our architecture the damage due to charge leakage errors is reduced to a similar level to that of the usual depolarising gate noise. Spin leakage errors in our architecture are constrained to only ancilla qubits and can be removed during quantum error correction via reinitialisations of ancillae, which ensure the robustness of our architecture against spin leakage as well. Our use of an elongated mediator dots creates spaces throughout the quantum dot array for charge reservoirs, measuring devices and control gates, providing the scalability in the design.
△ Less
Submitted 2 December, 2019; v1 submitted 23 April, 2019;
originally announced April 2019.
-
A high threshold code for modular hardware with asymmetric noise
Authors:
Xiaosi Xu,
Qi Zhao,
Xiao Yuan,
Simon C. Benjamin
Abstract:
We consider an approach to fault tolerant quantum computing based on a simple error detecting code operating as the substrate for a conventional surface code. We develop a customised decoder to process the information about the likely location of errors, obtained from the error detect stage, with an advanced variant of the minimum weight perfect matching algorithm. A threshold gate-level error rat…
▽ More
We consider an approach to fault tolerant quantum computing based on a simple error detecting code operating as the substrate for a conventional surface code. We develop a customised decoder to process the information about the likely location of errors, obtained from the error detect stage, with an advanced variant of the minimum weight perfect matching algorithm. A threshold gate-level error rate of 1.42% is found for the concatenated code given highly asymmetric noise. This is superior to the standard surface code and remains so as we introduce a significant component of depolarising noise; specifically, until the latter is 70% the strength of the former. Moreover, given the asymmetric noise case, the threshold rises to 6.24% if we additionally assume that local operations have 20 times higher fidelity than long range gates. Thus for systems that are both modular and prone to asymmetric noise our code structure can be very advantageous.
△ Less
Submitted 2 March, 2019; v1 submitted 4 December, 2018;
originally announced December 2018.
-
Robust quantum compilation and circuit optimisation via energy minimisation
Authors:
Tyson Jones,
Simon C Benjamin
Abstract:
We explore a method for automatically recompiling a quantum circuit A into a target circuit B, with the goal that both circuits have the same action on a specific input i.e. B|in> = A|in>. This is of particular relevance to hybrid, NISQ-era algorithms for dynamical simulation or eigensolving. The user initially specifies B as a blank template: a layout of parameterised unitary gates configured to…
▽ More
We explore a method for automatically recompiling a quantum circuit A into a target circuit B, with the goal that both circuits have the same action on a specific input i.e. B|in> = A|in>. This is of particular relevance to hybrid, NISQ-era algorithms for dynamical simulation or eigensolving. The user initially specifies B as a blank template: a layout of parameterised unitary gates configured to the identity. The compilation then proceeds using quantum hardware to perform an isomorphic energy-minimisation task, and an optional gate elimination phase to compress the circuit. If B is insufficient for perfect recompilation then the method will result in an approximate solution. We optimise using imaginary time evolution, and a recent extension of quantum natural gradient for noisy settings. We successfully recompile a 7-qubit circuit involving 186 gates of multiple types into an alternative form with a different topology, far fewer two-qubit gates, and a smaller family of gate types. Moreover we verify that the process is robust, finding that per-gate noise of up to 1% can still yield near-perfect recompilation. We test the scaling of our algorithm on up to 20 qubits, recompiling into circuits with up to 400 parameterized gates, and incorporate a custom adaptive timestep technique. We note that a classical simulation of the process can be useful to optimise circuits for today's prototypes, and more generally the method may enable 'blind' compilation i.e. harnessing a device whose response to control parameters is deterministic but unknown.
△ Less
Submitted 16 January, 2022; v1 submitted 7 November, 2018;
originally announced November 2018.
-
Fault-tolerant protection of near-term trapped-ion topological qubits under realistic noise sources
Authors:
A. Bermudez,
X. Xu,
M. Gutiérrez,
S. C. Benjamin,
M. Müller
Abstract:
The quest of demonstrating beneficial quantum error correction in near-term noisy quantum processors can benefit enormously from a low-resource optimization of fault-tolerant schemes, which are specially designed for a particular platform considering both state-of-the-art technological capabilities and main sources of noise. In this work, we show that flag-qubit-based fault-tolerant techniques for…
▽ More
The quest of demonstrating beneficial quantum error correction in near-term noisy quantum processors can benefit enormously from a low-resource optimization of fault-tolerant schemes, which are specially designed for a particular platform considering both state-of-the-art technological capabilities and main sources of noise. In this work, we show that flag-qubit-based fault-tolerant techniques for active error detection and correction, as well as for encoding of logical qubits, can be leveraged in current designs of trapped-ion quantum processors to achieve this break-even point of beneficial quantum error correction. Our improved description of the relevant sources of noise, together with detailed schedules for the implementation of these flag-based protocols, provide one of the most complete microscopic characterizations of a fault-tolerant quantum processor to date. By extensive numerical simulations, we provide a comparative study of flag- and cat-based approaches to quantum error correction, and show that the superior performance of the former can become a landmark in the success of near-term quantum computing with noisy trapped-ion devices.
△ Less
Submitted 4 November, 2019; v1 submitted 22 October, 2018;
originally announced October 2018.
-
Network architecture for a topological quantum computer in silicon
Authors:
Brandon Buonacorsi,
Zhenyu Cai,
Eduardo B. Ramirez,
Kyle S. Willick,
Sean M. Walker,
Jiahao Li,
Benjamin D. Shaw,
Xiaosi Xu,
Simon C. Benjamin,
Jonathan Baugh
Abstract:
A design for a large-scale surface code quantum processor based on a node/network approach is introduced for semiconductor quantum dot spin qubits. The minimal node contains only 7 quantum dots, and nodes are separated on the micron scale, creating useful space for wiring interconnects and integration of conventional transistor circuits. Entanglement is distributed between neighbouring nodes by lo…
▽ More
A design for a large-scale surface code quantum processor based on a node/network approach is introduced for semiconductor quantum dot spin qubits. The minimal node contains only 7 quantum dots, and nodes are separated on the micron scale, creating useful space for wiring interconnects and integration of conventional transistor circuits. Entanglement is distributed between neighbouring nodes by loading spin singlets locally and then shuttling one member of the pair through a linear array of empty dots. Each node contains one data qubit, two ancilla qubits, and additional dots to facilitate electron shuttling and measurement of the ancillas. A four-node GHZ state is realized by sharing three internode singlets followed by local gate operations and ancilla measurements. Further local operations and measurements produce an X or Z stabilizer on four data qubits, which is the fundamental operation of the surface code. Electron shuttling is simulated using a simplified gate electrode geometry without explicit barrier gates, and demonstrates that adiabatic transport is possible on timescales that do not present a speed bottleneck to the processor. An important shuttling error in a clean system is uncontrolled phase rotation due to the modulation of the electronic g-factor during transport, owing to the Stark effect. This error can be reduced by appropriate electrostatic tuning of the stationary electron's g-factor. Using reasonable noise models, we estimate error thresholds with respect to single and two-qubit gate fidelities as well as singlet dephasing errors during shuttling. A twirling protocol transforms the non-Pauli noise associated with exchange gate operations into Pauli noise, making it possible to use the Gottesman-Knill theorem to efficiently simulate large codes.
△ Less
Submitted 26 November, 2018; v1 submitted 25 July, 2018;
originally announced July 2018.
-
Practical Quantum Error Mitigation for Near-Future Applications
Authors:
Suguru Endo,
Simon C. Benjamin,
Ying Li
Abstract:
It is vital to minimise the impact of errors for near-future quantum devices that will lack the resources for full fault tolerance. Two quantum error mitigation (QEM) techniques have been introduced recently, namely error extrapolation [Li2017,Temme2017] and quasi-probability decomposition [Temme2017]. To enable practical implementation of these ideas, here we account for the inevitable imperfecti…
▽ More
It is vital to minimise the impact of errors for near-future quantum devices that will lack the resources for full fault tolerance. Two quantum error mitigation (QEM) techniques have been introduced recently, namely error extrapolation [Li2017,Temme2017] and quasi-probability decomposition [Temme2017]. To enable practical implementation of these ideas, here we account for the inevitable imperfections in the experimentalist's knowledge of the error model itself. We describe a protocol for systematically measuring the effect of errors so as to design efficient QEM circuits. We find that the effect of localised Markovian errors can be fully eliminated by inserting or replacing some gates with certain single-qubit Clifford gates and measurements. Finally, having introduced an exponential variant of the extrapolation method we contrast the QEM techniques using exact numerical simulation of up to 19 qubits in the context of a `SWAP test' circuit. Our optimised methods dramatically reduce the circuit's output error without increasing the qubit count or time requirements.
△ Less
Submitted 27 May, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
Measurement-driven quantum computing: Performance of a 3-SAT solver
Authors:
Simon C. Benjamin,
Liming Zhao,
Joseph F. Fitzsimons
Abstract:
We investigate the performance of a quantum algorithm for solving classical 3-SAT problems. A cycle of post-selected measurements drives the computer's register monotonically toward a steady state which is correlated to the classical solution(s). An internal parameter $θ$ determines both the degree of correlation and the success probability, thus controlling the algorithm's runtime. Optionally thi…
▽ More
We investigate the performance of a quantum algorithm for solving classical 3-SAT problems. A cycle of post-selected measurements drives the computer's register monotonically toward a steady state which is correlated to the classical solution(s). An internal parameter $θ$ determines both the degree of correlation and the success probability, thus controlling the algorithm's runtime. Optionally this parameter can be gradually evolved during the algorithm's execution to create a Zeno-like effect; this can be viewed as an adiabatic evolution of a Hamiltonian which remains frustration-free at all points, and we lower-bound the corresponding gap. In exact numerical simulations of small systems up to 34 qubits our approach competes favourably with a high-performing classical 3-SAT solver, which itself outperforms a brute-force application of Grover's search.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
An integrity measure to benchmark quantum error correcting memories
Authors:
Xiaosi Xu,
Niel de Beaudrap,
Joe O'Gorman,
Simon C. Benjamin
Abstract:
Rapidly develo** experiments across multiple platforms now aim to realise small quantum codes, and so demonstrate a memory within which a logical qubit can be protected from noise. There is a need to benchmark the achievements in these diverse systems, and to compare the inherent power of the codes they rely upon. We describe a recently-introduced performance measure called integrity, which rela…
▽ More
Rapidly develo** experiments across multiple platforms now aim to realise small quantum codes, and so demonstrate a memory within which a logical qubit can be protected from noise. There is a need to benchmark the achievements in these diverse systems, and to compare the inherent power of the codes they rely upon. We describe a recently-introduced performance measure called integrity, which relates to the probability that an ideal agent will successfully 'guess' the state of a logical qubit after a period of storage in the memory. Integrity is straightforward to evaluate experimentally without state tomography and it can be related to various established metrics such as the logical fidelity and the pseudo-threshold. We offer a set of experimental milestones that are steps towards demonstrating unconditionally superior encoded memories. Using intensive numerical simulations we compare memories based on the five-qubit code, the seven-qubit Steane code, and a nine-qubit code which is the smallest instance of a surface code; we assess both the simple and fault-tolerant implementations of each. While the 'best' code upon which to base a memory does vary according to the nature and severity of the noise, nevertheless certain trends emerge.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
A measurement driven analog of adiabatic quantum computation for frustration-free Hamiltonians
Authors:
Liming Zhao,
Carlos A. Perez-Delgado,
Simon C. Benjamin,
Joseph F. Fitzsimons
Abstract:
The adiabatic quantum algorithm has drawn intense interest as a potential approach to accelerating optimization tasks using quantum computation. The algorithm is most naturally realised in systems which support Hamiltonian evolution, rather than discrete gates. We explore an alternative approach in which slowly varying measurements are used to mimic adiabatic evolution. We show that for certain Ha…
▽ More
The adiabatic quantum algorithm has drawn intense interest as a potential approach to accelerating optimization tasks using quantum computation. The algorithm is most naturally realised in systems which support Hamiltonian evolution, rather than discrete gates. We explore an alternative approach in which slowly varying measurements are used to mimic adiabatic evolution. We show that for certain Hamiltonians, which remain frustration-free all along the adiabatic path, the necessary measurements can be implemented through the measurement of random terms from the Hamiltonian. This offers a new, and potentially more viable, method of realising adiabatic evolution in gate-based quantum computer architectures.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
Entanglement Distillation between Solid-State Quantum Network Nodes
Authors:
Norbert Kalb,
Andreas A. Reiserer,
Peter C. Humphreys,
Jacob J. W. Bakermans,
Sten J. Kamerling,
Naomi H. Nickerson,
Simon C. Benjamin,
Daniel J. Twitchen,
Matthew Markham,
Ronald Hanson
Abstract:
The potential impact of future quantum networks hinges on high-quality quantum entanglement shared between network nodes. Unavoidable real-world imperfections necessitate means to improve remote entanglement by local quantum operations. Here we realize entanglement distillation on a quantum network primitive of distant electron-nuclear two-qubit nodes. We demonstrate the heralded generation of two…
▽ More
The potential impact of future quantum networks hinges on high-quality quantum entanglement shared between network nodes. Unavoidable real-world imperfections necessitate means to improve remote entanglement by local quantum operations. Here we realize entanglement distillation on a quantum network primitive of distant electron-nuclear two-qubit nodes. We demonstrate the heralded generation of two copies of a remote entangled state through single-photon-mediated entangling of the electrons and robust storage in the nuclear spins. After applying local two-qubit gates, single-shot measurements herald the distillation of an entangled state with increased fidelity that is available for further use. In addition, this distillation protocol significantly speeds up entanglement generation compared to previous two-photon-mediated schemes. The key combination of generating, storing and processing entangled states demonstrated here opens the door to exploring and utilizing multi-particle entanglement on an extended quantum network.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
One-dimensional quantum computing with a 'segmented chain' is feasible with today's gate fidelities
Authors:
Ying Li,
Simon C. Benjamin
Abstract:
In principle a 1D array of nearest-neighbour linked qubits is compatible with fault tolerant quantum computing. However such a restricted topology necessitates a large overhead for shuffling qubits and consequently the fault tolerance threshold is far lower than in 2D architectures. Here we identify a middle ground: a 1D segmented chain which is a linear array of segments, each of which is a well-…
▽ More
In principle a 1D array of nearest-neighbour linked qubits is compatible with fault tolerant quantum computing. However such a restricted topology necessitates a large overhead for shuffling qubits and consequently the fault tolerance threshold is far lower than in 2D architectures. Here we identify a middle ground: a 1D segmented chain which is a linear array of segments, each of which is a well-connected zone with all-to-all connectivity. The architecture is relevant to both ion trap and solid-state systems. We establish that fault tolerance can be achieved either by a surface code alone, or via an additional concatenated four-qubit gauge code. We find that the fault tolerance threshold is 0.12% for 15-qubit segments, while larger segments are superior. For 35 or more qubits per segment one can achieve computation on a meaningful scale with today's state-of-the-art fidelities without the use of the upper concatenation layer, thus minimising the overall device size.
△ Less
Submitted 18 February, 2017;
originally announced February 2017.
-
A double quantum dot memristor
Authors:
Ying Li,
Gregory W. Holloway,
Simon C. Benjamin,
G. Andrew D. Briggs,
Jonathan Baugh,
Jan A. Mol
Abstract:
Memristive systems are generalisations of memristors, which are resistors with memory. In this paper, we present a quantum description of memristive systems. Using this model we propose and experimentally demonstrate a simple and practical scheme for realising memristive systems with quantum dots. The approach harnesses a phenomenon that is commonly seen as a bane of nanoelectronics, i.e. switchin…
▽ More
Memristive systems are generalisations of memristors, which are resistors with memory. In this paper, we present a quantum description of memristive systems. Using this model we propose and experimentally demonstrate a simple and practical scheme for realising memristive systems with quantum dots. The approach harnesses a phenomenon that is commonly seen as a bane of nanoelectronics, i.e. switching of a trapped charge in the vicinity of the device. We show that quantum-dot memristive systems have hysteresis current-voltage characteristics and quantum jump induced stochastic behaviour. Realising such a quantum memristor completes the menu of components for quantum circuit design.
△ Less
Submitted 8 September, 2017; v1 submitted 26 December, 2016;
originally announced December 2016.
-
Efficient variational quantum simulator incorporating active error minimisation
Authors:
Ying Li,
Simon C. Benjamin
Abstract:
One of the key applications for quantum computers will be the simulation of other quantum systems that arise in chemistry, materials science, etc, in order to accelerate the process of discovery. It is important to ask: Can this be achieved using near future quantum processors, of modest size and under imperfect control, or must it await the more distant era of large-scale fault-tolerant quantum c…
▽ More
One of the key applications for quantum computers will be the simulation of other quantum systems that arise in chemistry, materials science, etc, in order to accelerate the process of discovery. It is important to ask: Can this be achieved using near future quantum processors, of modest size and under imperfect control, or must it await the more distant era of large-scale fault-tolerant quantum computing? Here we propose a variational method involving closely integrated classical and quantum coprocessors. We presume that all operations in the quantum coprocessor are prone to error. The impact of such errors is minimised by boosting them artificially and then extrapolating to the zero-error case. In comparison to a more conventional optimised Trotterisation technique, we find that our protocol is efficient and appears to be fundamentally more robust against error accumulation.
△ Less
Submitted 19 June, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Minimally complex ion traps as modules for quantum communication and computing
Authors:
Ramil Nigmatullin,
Christopher J. Ballance,
Niel de Beaudrap,
Simon C. Benjamin
Abstract:
Optically linked ion traps are promising as components of network-based quantum technologies, including communication systems and modular computers. Experimental results achieved to date indicate that the fidelity of operations within each ion trap module will be far higher than the fidelity of operations involving the links; fortunately internal storage and processing can effectively upgrade the…
▽ More
Optically linked ion traps are promising as components of network-based quantum technologies, including communication systems and modular computers. Experimental results achieved to date indicate that the fidelity of operations within each ion trap module will be far higher than the fidelity of operations involving the links; fortunately internal storage and processing can effectively upgrade the links through the process of purification. Here we perform the most detailed analysis to date on this purification task, using a protocol which is balanced to maximise fidelity while minimising the device complexity and the time cost of the process. Moreover we 'compile down' the quantum circuit to device-level operations including cooling and shutting events. We find that a linear trap with only five ions (two of one species, three of another) can support our protocol while incorporating desirable features such as 'global control', i.e. laser control pulses need only target an entire zone rather than differentiating one ion from its neighbour. To evaluate the capabilities of such a module we consider its use both as a universal communications node for quantum key distribution, and as the basic repeating unit of a quantum computer. For the latter case we evaluate the threshold for fault tolerant quantum computing using the surface code, finding acceptable fidelities for the 'raw' entangling link as low as 83% (or under 75% if an additional ion is available).
△ Less
Submitted 30 April, 2016;
originally announced May 2016.
-
A Direct Map** of Max k-SAT and High Order Parity Checks to a Chimera Graph
Authors:
Nicholas Chancellor,
Stefan Zohren,
Paul A. Warburton,
Simon C. Benjamin,
Stephen Roberts
Abstract:
We demonstrate a direct map** of max k-SAT problems (and weighted max k-SAT) to a Chimera graph, which is the non-planar hardware graph of the devices built by D-Wave Systems Inc. We further show that this map** can be used to map a similar class of maximum satisfiability problems where the clauses are replaced by parity checks over potentially large numbers of bits. The latter is of specific…
▽ More
We demonstrate a direct map** of max k-SAT problems (and weighted max k-SAT) to a Chimera graph, which is the non-planar hardware graph of the devices built by D-Wave Systems Inc. We further show that this map** can be used to map a similar class of maximum satisfiability problems where the clauses are replaced by parity checks over potentially large numbers of bits. The latter is of specific interest for applications in decoding for communication. We discuss an example in which the decoding of a turbo code, which has been demonstrated to perform near the Shannon limit, can be mapped to a Chimera graph. The weighted max k-SAT problem is the most general class of satisfiability problems, so our result effectively demonstrates how any satisfiability problem may be directly mapped to a Chimera graph. Our methods faithfully reproduce the low energy spectrum of the target problems, so therefore may also be used for maximum entropy inference.
△ Less
Submitted 1 November, 2016; v1 submitted 3 April, 2016;
originally announced April 2016.
-
Stabilisers as a design tool for new forms of Lechner-Hauke-Zoller Annealer
Authors:
Andrea Rocchetto,
Simon C. Benjamin,
Ying Li
Abstract:
In a recent paper Lechner, Hauke and Zoller (LHZ) described a means to translate a Hamiltonian of $N$ spin-$\frac{1}{2}$ particles with 'all-to-all' interactions into a larger physical lattice with only on-site energies and local parity constraints. LHZ used this map** to propose a novel form of quantum annealing. Here we provide a stabiliser-based formulation within which we can describe both t…
▽ More
In a recent paper Lechner, Hauke and Zoller (LHZ) described a means to translate a Hamiltonian of $N$ spin-$\frac{1}{2}$ particles with 'all-to-all' interactions into a larger physical lattice with only on-site energies and local parity constraints. LHZ used this map** to propose a novel form of quantum annealing. Here we provide a stabiliser-based formulation within which we can describe both this prior approach and a wide variety of variants. Examples include a triangular array supporting all-to-all connectivity, and moreover arrangements requiring only $2N$ or $N\log N$ spins but providing interesting bespoke connectivities. Further examples show that arbitrarily high order logical terms can be efficiently realised, even in a strictly 2D layout. Our stabilisers can correspond to either even-parity constraints, as in the LHZ proposal, or as odd-parity constraints. Considering the latter option applied to the original LHZ layout, we note it may simplify the physical realisation since the required ancillas are only spin-$\frac{1}{2}$ systems (i.e. qubits, rather than qutrits) and moreover the interactions are very simple. We make a preliminary assessment of the impact of this design choices by simulating small (few-qubit) systems; we find some indications that the new variant may maintain a larger minimum energy gap during the annealing process.
△ Less
Submitted 2 May, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.
-
Hierarchical surface code for network quantum computing with modules of arbitrary size
Authors:
Ying Li,
Simon C. Benjamin
Abstract:
The network paradigm for quantum computing involves interconnecting many modules to form a scalable machine. Typically it is assumed that the links between modules are prone to noise while operations within modules have significantly higher fidelity. To optimise fault tolerance in such architectures we introduce a hierarchical generalisation of the surface code: a small `patch' of the code exists…
▽ More
The network paradigm for quantum computing involves interconnecting many modules to form a scalable machine. Typically it is assumed that the links between modules are prone to noise while operations within modules have significantly higher fidelity. To optimise fault tolerance in such architectures we introduce a hierarchical generalisation of the surface code: a small `patch' of the code exists within each module, and constitutes a single effective qubit of the logic-level surface code. Errors primarily occur in a two-dimensional subspace, i.e. patch perimeters extruded over time, and the resulting noise threshold for inter-module links can exceed ~ 10% even in the absence of purification. Increasing the number of qubits within each module decreases the number of qubits necessary for encoding a logical qubit. But this advantage is relatively modest, and broadly speaking a `fine grained' network of small modules containing only ~ 8 qubits is competitive in total qubit count versus a `course' network with modules containing many hundreds of qubits.
△ Less
Submitted 25 September, 2015;
originally announced September 2015.
-
Resource costs for fault-tolerant linear optical quantum computing
Authors:
Ying Li,
Peter C. Humphreys,
Gabriel J. Mendoza,
Simon C. Benjamin
Abstract:
Linear optical quantum computing (LOQC) seems attractively simple: information is borne entirely by light and processed by components such as beam splitters, phase shifters and detectors. However this very simplicity leads to limitations, such as the lack of deterministic entangling operations, which are compensated for by using substantial hardware overheads. Here we quantify the resource costs f…
▽ More
Linear optical quantum computing (LOQC) seems attractively simple: information is borne entirely by light and processed by components such as beam splitters, phase shifters and detectors. However this very simplicity leads to limitations, such as the lack of deterministic entangling operations, which are compensated for by using substantial hardware overheads. Here we quantify the resource costs for full scale LOQC by proposing a specific protocol based on the surface code. With the caveat that our protocol can be further optimised, we report that the required number of physical components is at least five orders of magnitude greater than in comparable matter-based systems. Moreover the resource requirements grow higher if the per-component photon loss rate is worse than one in a thousand, or the per-component noise rate is worse than $10^{-5}$. We identify the performance of switches in the network as the single most influential factor influencing resource scaling.
△ Less
Submitted 22 April, 2015; v1 submitted 9 April, 2015;
originally announced April 2015.
-
Electrically driven spin resonance in a bent disordered carbon nanotube
Authors:
Ying Li,
Simon C. Benjamin,
G. Andrew D. Briggs,
Edward A. Laird
Abstract:
Resonant manipulation of carbon nanotube valley-spin qubits by an electric field is investigated theoretically. We develop a new analysis of electrically driven spin resonance exploiting fixed physical characteristics of the nanotube: a bend and inhomogeneous disorder. The spectrum is simulated for an electron valley-spin qubit coupled to a hole valley-spin qubit and an impurity electron spin, and…
▽ More
Resonant manipulation of carbon nanotube valley-spin qubits by an electric field is investigated theoretically. We develop a new analysis of electrically driven spin resonance exploiting fixed physical characteristics of the nanotube: a bend and inhomogeneous disorder. The spectrum is simulated for an electron valley-spin qubit coupled to a hole valley-spin qubit and an impurity electron spin, and features that coincide with a recent measurement are identified. We show that the same mechanism allows resonant control of the full four-dimensional spin-valley space.
△ Less
Submitted 5 August, 2014;
originally announced August 2014.
-
A silicon-based surface code quantum computer
Authors:
Joe O'Gorman,
Naomi H. Nickerson,
Philipp Ross,
John J. L. Morton,
Simon C. Benjamin
Abstract:
Individual impurity atoms in silicon can make superb individual qubits, but it remains an immense challenge to build a multi-qubit processor: There is a basic conflict between nanometre separation desired for qubit-qubit interactions, and the much larger scales that would enable control and addressing in a manufacturable and fault tolerant architecture. Here we resolve this conflict by establishin…
▽ More
Individual impurity atoms in silicon can make superb individual qubits, but it remains an immense challenge to build a multi-qubit processor: There is a basic conflict between nanometre separation desired for qubit-qubit interactions, and the much larger scales that would enable control and addressing in a manufacturable and fault tolerant architecture. Here we resolve this conflict by establishing the feasibility of surface code quantum computing using solid state spins, or `data qubits', that are widely separated from one another. We employ a second set of `probe' spins which are mechanically separate from the data qubits and move in-and-out of their proximity. The spin dipole-dipole interactions give rise to phase shifts; measuring a probe's total phase reveals the collective parity of the data qubits along the probe's path. We introduce a protocol to balance the systematic errors due to the spins being imperfectly located during device fabrication. Detailed simulations show that the surface code's threshold then corresponds to misalignments that are substantial on the scale of the array, indicating that it is very robust. We conclude that this simple `orbital probe' architecture overcomes many of the difficulties facing solid state quantum computing, while minimising the complexity and offering qubit densities that are several orders of magnitude greater than other systems.
△ Less
Submitted 23 September, 2015; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Freely Scalable Quantum Technologies using Cells of 5-to-50 Qubits with Very Lossy and Noisy Photonic Links
Authors:
Naomi H. Nickerson,
Joseph F. Fitzsimons,
Simon C. Benjamin
Abstract:
Exquisite quantum control has now been achieved in small ion traps, in nitrogen-vacancy centres and in superconducting qubit clusters. We can regard such a system as a universal cell with diverse technological uses from communication to large-scale computing, provided that the cell is able to network with others and overcome any noise in the interlinks. Here we show that loss-tolerant entanglement…
▽ More
Exquisite quantum control has now been achieved in small ion traps, in nitrogen-vacancy centres and in superconducting qubit clusters. We can regard such a system as a universal cell with diverse technological uses from communication to large-scale computing, provided that the cell is able to network with others and overcome any noise in the interlinks. Here we show that loss-tolerant entanglement purification makes quantum computing feasible with the noisy and lossy links that are realistic today: With a modestly complex cell design, and using a surface code protocol with a network noise threshold of 13.3%, we find that interlinks which attempt entanglement at a rate of 2MHz but suffer 98% photon loss can result in kilohertz computer clock speeds (i.e. rate of high fidelity stabilizer measurements). Improved links would dramatically increase the clock speed. Our simulations employed local gates of a fidelity already achieved in ion trap devices.
△ Less
Submitted 24 July, 2014; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Quantum dynamics in a tiered non-Markovian environment
Authors:
Amir Fruchtman,
Brendon W. Lovett,
Simon C. Benjamin,
Erik M. Gauger
Abstract:
We introduce a new analytical method for studying the open quantum systems problem of a discrete system weakly coupled to an environment of harmonic oscillators. Our approach is based on a phase space representation of the density matrix for a system coupled to a two-tiered environment. The dynamics of the system and its immediate environment are resolved in a non-Markovian way, and the environmen…
▽ More
We introduce a new analytical method for studying the open quantum systems problem of a discrete system weakly coupled to an environment of harmonic oscillators. Our approach is based on a phase space representation of the density matrix for a system coupled to a two-tiered environment. The dynamics of the system and its immediate environment are resolved in a non-Markovian way, and the environmental modes of the inner environment can themselves be damped by a wider `universe'. Applying our approach to the canonical cases of the Rabi and spin-boson models we obtain new analytical expressions for an effective thermalisation temperature and corrections to the environmental response functions as direct consequences of considering such a tiered environment. A comparison with exact numerical simulations confirms that our approximate expressions are remarkably accurate, while their analytic nature offers the prospect of deeper understanding of the physics which they describe. A unique advantage of our method is that it permits the simultaneous inclusion of a continuous bath as well as discrete environmental modes, leading to wide and versatile applicability.
△ Less
Submitted 26 February, 2015; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Classical noise assists the flow of quantum energy by `momentum rejuvenation'
Authors:
Ying Li,
Filippo Caruso,
Erik Gauger,
Simon C. Benjamin
Abstract:
An important challenge in quantum science is to fully understand the efficiency of energy flow in networks. Here we present a simple and intuitive explanation for the intriguing observation that optimally efficient networks are not purely quantum, but are assisted by some interaction with a `noisy' classical environment. By considering the system's dynamics in both the site-basis and the momentum-…
▽ More
An important challenge in quantum science is to fully understand the efficiency of energy flow in networks. Here we present a simple and intuitive explanation for the intriguing observation that optimally efficient networks are not purely quantum, but are assisted by some interaction with a `noisy' classical environment. By considering the system's dynamics in both the site-basis and the momentum-basis, we show that the effect of classical noise is to sustain a broad momentum distribution, countering the depletion of high mobility terms which occurs as energy exits from the network. This picture predicts that the optimal level of classical noise is reciprocally related to the linear dimension of the lattice; our numerical simulations verify this prediction to high accuracy for regular 1D and 2D networks over a range of sizes up to thousands of sites. This insight leads to the discovery that dramatic further improvements in performance occur when a driving field targets noise at the low mobility components.
△ Less
Submitted 13 June, 2014; v1 submitted 30 May, 2014;
originally announced May 2014.