-
Quantum computing for corrosion-resistant materials and anti-corrosive coatings design
Authors:
Nam Nguyen,
Thomas W. Watts,
Benjamin Link,
Kristen S. Williams,
Yuval R. Sanders,
Samuel J. Elman,
Maria Kieferova,
Michael J. Bremner,
Kaitlyn J. Morrell,
Justin Elenewski,
Eric B. Isaacs,
Samuel D. Johnson,
Luke Mathieson,
Kevin M. Obenland,
Matthew Otten,
Rashmi Sundareswara,
Adam Holmes
Abstract:
Recent estimates indicate that the U.S. Department of Defense spends over \$20 billion USD annually on corrosion-related maintenance. This expenditure is accompanied by a substantial loss in asset readiness, ranging from 10% to 30%. Moreover, the global costs associated with corrosion damage have been estimated at an astonishing \$2.5 trillion USD per year, or approximately 3.4% of global GDP in 2…
▽ More
Recent estimates indicate that the U.S. Department of Defense spends over \$20 billion USD annually on corrosion-related maintenance. This expenditure is accompanied by a substantial loss in asset readiness, ranging from 10% to 30%. Moreover, the global costs associated with corrosion damage have been estimated at an astonishing \$2.5 trillion USD per year, or approximately 3.4% of global GDP in 2016. This project aims to describe how quantum computers might be leveraged to fundamentally change the way material-environment interactions are modeled for material discovery, selection, and design. This project also seeks to understand the plausibility and utility of replacing portions of classical computing workflows with algorithms optimized for quantum computing hardware. The utility of quantum computers is explored through the lens of two industrially relevant problems: (1) characterizing magnesium alloy corrosion properties in aqueous environments and (2) identifying stable niobium-rich alloys with corrosion resistance at temperatures above 1500K. This paper presents an end-to-end analysis of the complexity of both classical and quantum algorithms used in application workflows. Resource estimates are produced using a custom software package, pyLIQTR, based on the qubitized Quantum Phase Estimation (QPE) algorithm. Estimates for the two aforementioned applications show that industrially-relevant computational models that have the potential to deliver commercial utility require quantum computers with thousands to hundreds of thousands of logical qubits and the ability to execute $10^{13}$ to $10^{19}$ T-gates. These estimates represent an upper bound and motivate continued research into improved quantum algorithms and resource reduction techniques.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Quantum Resources Required for Binding Affinity Calculations of Amyloid beta
Authors:
Matthew Otten,
Thomas W. Watts,
Samuel D. Johnson,
Rashmi Sundareswara,
Zhihui Wang,
Tarini S. Hardikar,
Kenneth Heitritter,
James Brown,
Kanav Setia,
Adam Holmes
Abstract:
Amyloid beta, an intrinsically disordered protein, plays a seemingly important but not well-understood role in neurodegenerative diseases like Alzheimer's disease. A key feature of amyloid beta, which could lead to potential therapeutic intervention pathways, is its binding affinity to certain metal centers, like iron and copper. Numerically calculating such binding affinities is a computationally…
▽ More
Amyloid beta, an intrinsically disordered protein, plays a seemingly important but not well-understood role in neurodegenerative diseases like Alzheimer's disease. A key feature of amyloid beta, which could lead to potential therapeutic intervention pathways, is its binding affinity to certain metal centers, like iron and copper. Numerically calculating such binding affinities is a computationally challenging task, involving strongly correlated metal centers. A key bottleneck in understanding the binding affinity is obtaining estimates of the ground state energy. Quantum computers have the potential to accelerate such calculations but it is important to understand the quantum resources required. In this work, we detail a computational workflow for binding affinity calculations for amyloid beta utilizing quantum algorithms, providing estimated quantum resources required, at both the logical and hardware level.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Direct determination of optimal real-space orbitals for correlated electronic structure of molecules
Authors:
Edward F. Valeev,
Robert J. Harrison. Adam A. Holmes,
Charles C. Peterson,
Deborah A. Penchoff
Abstract:
We demonstrate how to determine numerically nearly exact orthonormal orbitals that are optimal for evaluation of the energy of arbitrary (correlated) states of atoms and molecules by minimization of the energy Lagrangian. Orbitals are expressed in real space using a multiresolution spectral element basis that is refined adaptively to achieve the user-specified target precision while avoiding the i…
▽ More
We demonstrate how to determine numerically nearly exact orthonormal orbitals that are optimal for evaluation of the energy of arbitrary (correlated) states of atoms and molecules by minimization of the energy Lagrangian. Orbitals are expressed in real space using a multiresolution spectral element basis that is refined adaptively to achieve the user-specified target precision while avoiding the ill-conditioning issues that plague AO basis set expansions traditionally used for correlated models of molecular electronic structure. For light atoms, the orbital solver, in conjunction with a variational electronic structure model [selected Configuration Interaction(CI)] provides energies of comparable precision to a state-of-the-art atomic CI solver. The computed electronic energies of atoms and molecules are significantly more accurate than the counterparts obtained with the Gaussian AO bases of the same rank, and can be determined even when linear dependence issues preclude the use of the AO bases. It is feasible to optimize more than 100 fully-correlated numerical orbitals on a single computer node, and significant room exists for additional improvement. These findings suggest that the real-space orbital representations might be the preferred alternative to AO representations for high-end models of correlated electronic states of molecules and materials.
△ Less
Submitted 12 September, 2023; v1 submitted 21 July, 2022;
originally announced July 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.
-
DigiQ: A Scalable Digital Controller for Quantum Computers Using SFQ Logic
Authors:
Mohammad Reza Jokar,
Richard Rines,
Ghasem Pasandi,
Haolin Cong,
Adam Holmes,
Yunong Shi,
Massoud Pedram,
Frederic T. Chong
Abstract:
The control of cryogenic qubits in today's superconducting quantum computer prototypes presents significant scalability challenges due to the massive costs of generating/routing the analog control signals that need to be sent from a classical controller at room temperature to the quantum chip inside the dilution refrigerator. Thus, researchers in industry and academia have focused on designing in-…
▽ More
The control of cryogenic qubits in today's superconducting quantum computer prototypes presents significant scalability challenges due to the massive costs of generating/routing the analog control signals that need to be sent from a classical controller at room temperature to the quantum chip inside the dilution refrigerator. Thus, researchers in industry and academia have focused on designing in-fridge classical controllers in order to mitigate these challenges. Superconducting Single Flux Quantum (SFQ) is a classical logic family proposed for large-scale in-fridge controllers. SFQ logic has the potential to maximize scalability thanks to its ultra-high speed and very low power consumption. However, architecture design for SFQ logic poses challenges due to its unconventional pulse-driven nature and lack of dense memory and logic. Thus, research at the architecture level is essential to guide architects to design SFQ-based classical controllers for large-scale quantum machines.
In this paper, we present DigiQ, the first system-level design of a Noisy Intermediate Scale Quantum (NISQ)-friendly SFQ-based classical controller. We perform a design space exploration of SFQ-based controllers and co-design the quantum gate decompositions and SFQ-based implementation of those decompositions to find an optimal SFQ-friendly design point that trades area and power for latency and control while ensuring good quantum algorithmic performance. Our co-design results in a single instruction, multiple data (SIMD) controller architecture, which has high scalability (>42,000-qubit scales), but imposes new challenges on the calibration of control pulses. We present software-level solutions to address these challenges, which if unaddressed would degrade quantum circuit fidelity given the imperfections of qubit hardware.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
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.
-
On connectivity-dependent resource requirements for digital quantum simulation of $d$-level particles
Authors:
Nicolas P. D. Sawaya,
Gian Giacomo Guerreschi,
Adam Holmes
Abstract:
A primary objective of quantum computation is to efficiently simulate quantum physics. Scientifically and technologically important quantum Hamiltonians include those with spin-$s$, vibrational, photonic, and other bosonic degrees of freedom, i.e. problems composed of or approximated by $d$-level particles (qudits). Recently, several methods for encoding these systems into a set of qubits have bee…
▽ More
A primary objective of quantum computation is to efficiently simulate quantum physics. Scientifically and technologically important quantum Hamiltonians include those with spin-$s$, vibrational, photonic, and other bosonic degrees of freedom, i.e. problems composed of or approximated by $d$-level particles (qudits). Recently, several methods for encoding these systems into a set of qubits have been introduced, where each encoding's efficiency was studied in terms of qubit and gate counts. Here, we build on previous results by including effects of hardware connectivity. To study the number of SWAP gates required to Trotterize commonly used quantum operators, we use both analytical arguments and automatic tools that optimize the schedule in multiple stages. We study the unary (or one-hot), Gray, standard binary, and block unary encodings, with three connectivities: linear array, ladder array, and square grid. Among other trends, we find that while the ladder array leads to substantial efficiencies over the linear array, the advantage of the square over the ladder array is less pronounced. These results are applicable in hardware co-design and in choosing efficient qudit encodings for a given set of near-term quantum hardware. Additionally, this work may be relevant to the scheduling of other quantum algorithms for which matrix exponentiation is a subroutine.
△ Less
Submitted 1 October, 2020; v1 submitted 26 May, 2020;
originally announced May 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.
-
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
Authors:
Yongshan Ding,
Xin-Chuan Wu,
Adam Holmes,
Ash Wiseth,
Diana Franklin,
Margaret Martonosi,
Frederic T. Chong
Abstract:
Compiling high-level quantum programs to machines that are size constrained (i.e. limited number of quantum bits) and time constrained (i.e. limited number of quantum operations) is challenging. In this paper, we present SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits (called ancilla) in modular quantum programs. At i…
▽ More
Compiling high-level quantum programs to machines that are size constrained (i.e. limited number of quantum bits) and time constrained (i.e. limited number of quantum operations) is challenging. In this paper, we present SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits (called ancilla) in modular quantum programs. At its core, SQUARE strategically performs uncomputation to create opportunities for qubit reuse.
Current Noisy Intermediate-Scale Quantum (NISQ) computers and forward-looking Fault-Tolerant (FT) quantum computers have fundamentally different constraints such as data locality, instruction parallelism, and communication overhead. Our heuristic-based ancilla-reuse algorithm balances these considerations and fits computations into resource-constrained NISQ or FT quantum machines, throttling parallelism when necessary. To precisely capture the workload of a program, we propose an improved metric, the "active quantum volume," and use this metric to evaluate the effectiveness of our algorithm. Our results show that SQUARE improves the average success rate of NISQ applications by 1.47X. Surprisingly, the additional gates for uncomputation create ancilla with better locality, and result in substantially fewer swap gates and less gate noise overall. SQUARE also achieves an average reduction of 1.5X (and up to 9.6X) in active quantum volume for FT machines.
△ Less
Submitted 25 June, 2020; v1 submitted 18 April, 2020;
originally announced April 2020.
-
NISQ+: Boosting quantum computing power by approximating quantum error correction
Authors:
Adam Holmes,
Mohammad Reza Jokar,
Ghasem Pasandi,
Yongshan Ding,
Massoud Pedram,
Frederic T. Chong
Abstract:
Quantum computers are growing in size, and design decisions are being made now that attempt to squeeze more computation out of these machines. In this spirit, we design a method to boost the computational power of near-term quantum computers by adapting protocols used in quantum error correction to implement "Approximate Quantum Error Correction (AQEC)." By approximating fully-fledged error correc…
▽ More
Quantum computers are growing in size, and design decisions are being made now that attempt to squeeze more computation out of these machines. In this spirit, we design a method to boost the computational power of near-term quantum computers by adapting protocols used in quantum error correction to implement "Approximate Quantum Error Correction (AQEC)." By approximating fully-fledged error correction mechanisms, we can increase the compute volume (qubits $\times$ gates, or "Simple Quantum Volume (SQV)") of near-term machines. The crux of our design is a fast hardware decoder that can approximately decode detected error syndromes rapidly. Specifically, we demonstrate a proof-of-concept that approximate error decoding can be accomplished online in near-term quantum systems by designing and implementing a novel algorithm in Single-Flux Quantum (SFQ) superconducting logic technology. This avoids a critical decoding backlog, hidden in all offline decoding schemes, that leads to idle time exponential in the number of T gates in a program.
Our design utilizes one SFQ processing module per physical qubit. Employing state-of-the-art SFQ synthesis tools, we show that the circuit area, power, and latency are within the constraints of contemporary quantum system designs. Under pure dephasing error models, the proposed accelerator and AQEC solution is able to expand SQV by factors between 3,402 and 11,163 on expected near-term machines. The decoder achieves a $5\%$ accuracy-threshold and pseudo-thresholds of $\sim$ $5\%, 4.75\%, 4.5\%,$ and $3.5\%$ physical error-rates for code distances $3, 5, 7,$ and $9$. Decoding solutions are achieved in a maximum of $\sim 20$ nanoseconds on the largest code distances studied. By avoiding the exponential idle time in offline decoders, we achieve a $10$x reduction in required code distances to achieve the same logical performance as alternative designs.
△ Less
Submitted 14 April, 2020; v1 submitted 9 April, 2020;
originally announced April 2020.
-
Accurate many-body electronic structure near the basis set limit: application to the chromium dimer
Authors:
Junhao Li,
Yuan Yao,
Adam A. Holmes,
Matthew Otten,
Qiming Sun,
Sandeep Sharma,
C. J. Umrigar
Abstract:
We describe a method for computing near-exact energies for correlated systems with large Hilbert spaces. The method efficiently identifies the most important basis states (Slater determinants) and performs a variational calculation in the subspace spanned by these determinants. A semistochastic approach is then used to add a perturbative correction to the variational energy to compute the total en…
▽ More
We describe a method for computing near-exact energies for correlated systems with large Hilbert spaces. The method efficiently identifies the most important basis states (Slater determinants) and performs a variational calculation in the subspace spanned by these determinants. A semistochastic approach is then used to add a perturbative correction to the variational energy to compute the total energy. The size of the variational space is progressively increased until the total energy converges to within the desired tolerance. We demonstrate the power of the method by computing a near-exact potential energy curve (PEC) for a very challenging molecule -- the chromium dimer.
△ Less
Submitted 15 January, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Resource Optimized Quantum Architectures for Surface Code Implementations of Magic-State Distillation
Authors:
Adam Holmes,
Yongshan Ding,
Ali Javadi-Abhari,
Diana Franklin,
Margaret Martonosi,
Frederic T. Chong
Abstract:
Quantum computers capable of solving classically intractable problems are under construction, and intermediate-scale devices are approaching completion. Current efforts to design large-scale devices require allocating immense resources to error correction, with the majority dedicated to the production of high-fidelity ancillary states known as magic-states. Leading techniques focus on dedicating a…
▽ More
Quantum computers capable of solving classically intractable problems are under construction, and intermediate-scale devices are approaching completion. Current efforts to design large-scale devices require allocating immense resources to error correction, with the majority dedicated to the production of high-fidelity ancillary states known as magic-states. Leading techniques focus on dedicating a large, contiguous region of the processor as a single "magic-state distillation factory" responsible for meeting the magic-state demands of applications. In this work we design and analyze a set of optimized factory architectural layouts that divide a single factory into spatially distributed factories located throughout the processor. We find that distributed factory architectures minimize the space-time volume overhead imposed by distillation. Additionally, we find that the number of distributed components in each optimal configuration is sensitive to application characteristics and underlying physical device error rates. More specifically, we find that the rate at which T-gates are demanded by an application has a significant impact on the optimal distillation architecture. We develop an optimization procedure that discovers the optimal number of factory distillation rounds and number of output magic states per factory, as well as an overall system architecture that interacts with the factories. This yields between a 10x and 20x resource reduction compared to commonly accepted single factory designs. Performance is analyzed across representative application classes such as quantum simulation and quantum chemistry.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
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.
-
Fast Semistochastic Heat-Bath Configuration Interaction
Authors:
Junhao Li,
Matt Otten,
Adam A Holmes,
Sandeep Sharma,
Cyrus J. Umrigar
Abstract:
This paper presents in detail our fast semistochastic heat-bath configuration interaction (SHCI) method for solving the many-body Schrodinger equation. We identify and eliminate computational bottlenecks in both the variational and perturbative steps of the SHCI algorithm. We also describe the parallelization and the key data structures in our implementation, such as the distributed hash table. Th…
▽ More
This paper presents in detail our fast semistochastic heat-bath configuration interaction (SHCI) method for solving the many-body Schrodinger equation. We identify and eliminate computational bottlenecks in both the variational and perturbative steps of the SHCI algorithm. We also describe the parallelization and the key data structures in our implementation, such as the distributed hash table. The improved SHCI algorithm enables us to include in our variational wavefunction two orders of magnitude more determinants than has been reported previously with other selected configuration interaction methods. We use our algorithm to calculate an accurate benchmark energy for the chromium dimer with the X2C relativistic Hamiltonian in the cc-pVDZ-DK basis, correlating 28 electrons in 76 spatial orbitals. Our largest calculation uses two billion Slater determinants in the variational space, and semistochastically includes perturbative contributions from at least trillions of additional determinants with better than 10 microhartree statistical uncertainty.
△ Less
Submitted 10 December, 2018; v1 submitted 12 September, 2018;
originally announced September 2018.
-
Magic-State Functional Units: Map** and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures
Authors:
Yongshan Ding,
Adam Holmes,
Ali Javadi-Abhari,
Diana Franklin,
Margaret Martonosi,
Frederic T. Chong
Abstract:
Quantum computers have recently made great strides and are on a long-term path towards useful fault-tolerant computation. A dominant overhead in fault-tolerant quantum computation is the production of high-fidelity encoded qubits, called magic states, which enable reliable error-corrected computation. We present the first detailed designs of hardware functional units that implement space-time opti…
▽ More
Quantum computers have recently made great strides and are on a long-term path towards useful fault-tolerant computation. A dominant overhead in fault-tolerant quantum computation is the production of high-fidelity encoded qubits, called magic states, which enable reliable error-corrected computation. We present the first detailed designs of hardware functional units that implement space-time optimized magic-state factories for surface code error-corrected machines. Interactions among distant qubits require surface code braids (physical pathways on chip) which must be routed. Magic-state factories are circuits comprised of a complex set of braids that is more difficult to route than quantum circuits considered in previous work [1]. This paper explores the impact of scheduling techniques, such as gate reordering and qubit renaming, and we propose two novel map** techniques: braid repulsion and dipole moment braid rotation. We combine these techniques with graph partitioning and community detection algorithms, and further introduce a stitching algorithm for map** subgraphs onto a physical machine. Our results show a factor of 5.64 reduction in space-time volume compared to the best-known previous designs for magic-state factories.
△ Less
Submitted 4 September, 2018;
originally announced September 2018.
-
Optimized Surface Code Communication in Superconducting Quantum Computers
Authors:
Ali Javadi-Abhari,
Pranav Gokhale,
Adam Holmes,
Diana Franklin,
Kenneth R. Brown,
Margaret Martonosi,
Frederic T. Chong
Abstract:
Quantum computing (QC) is at the cusp of a revolution. Machines with 100 quantum bits (qubits) are anticipated to be operational by 2020 [googlemachine,gambetta2015building], and several-hundred-qubit machines are around the corner. Machines of this scale have the capacity to demonstrate quantum supremacy, the tip** point where QC is faster than the fastest classical alternative for a particular…
▽ More
Quantum computing (QC) is at the cusp of a revolution. Machines with 100 quantum bits (qubits) are anticipated to be operational by 2020 [googlemachine,gambetta2015building], and several-hundred-qubit machines are around the corner. Machines of this scale have the capacity to demonstrate quantum supremacy, the tip** point where QC is faster than the fastest classical alternative for a particular problem. Because error correction techniques will be central to QC and will be the most expensive component of quantum computation, choosing the lowest-overhead error correction scheme is critical to overall QC success. This paper evaluates two established quantum error correction codes---planar and double-defect surface codes---using a set of compilation, scheduling and network simulation tools. In considering scalable methods for optimizing both codes, we do so in the context of a full microarchitectural and compiler analysis. Contrary to previous predictions, we find that the simpler planar codes are sometimes more favorable for implementation on superconducting quantum computers, especially under conditions of high communication congestion.
△ Less
Submitted 30 August, 2017;
originally announced August 2017.
-
Heat-bath Configuration Interaction: An efficient selected CI algorithm inspired by heat-bath sampling
Authors:
Adam Holmes,
Norm Tubman,
Cyrus Umrigar
Abstract:
We introduce a new selected configuration interaction plus perturbation theory algorithm that is based on a deterministic analog of our recent efficient heat-bath sampling algorithm. This Heat-bath Configuration Interaction (HCI) algorithm makes use of two parameters that control the tradeoff between speed and accuracy, one which controls the selection of determinants to add to a variational wavef…
▽ More
We introduce a new selected configuration interaction plus perturbation theory algorithm that is based on a deterministic analog of our recent efficient heat-bath sampling algorithm. This Heat-bath Configuration Interaction (HCI) algorithm makes use of two parameters that control the tradeoff between speed and accuracy, one which controls the selection of determinants to add to a variational wavefunction, and one which controls the the selection of determinants used to compute the perturbative correction to the variational energy. We show that HCI provides an accurate treatment of both static and dynamic correlation by computing the potential energy curve of the multireference carbon dimer in the cc-pVDZ basis. We then demonstrate the speed and accuracy of HCI by recovering the full configuration interaction energy of both the carbon dimer in the cc-pVTZ basis and the strongly-correlated chromium dimer in the Ahlrichs VDZ basis, correlating all electrons, to an accuracy of better than 1 mHa, in just a few minutes on a single core. These systems have full variational spaces of 3x10^14 and 2x10^22 determinants respectively.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
-
Induced transparency in optomechanically coupled resonators
Authors:
Zhenglu Duan,
Bixuan Fan,
Thomas M. Stace,
G. J. Milburn,
Catherine A. Holmes
Abstract:
In this work we theoretically investigate a hybrid system of two optomechanically coupled resonators, which exhibits induced transparency. This is realized by coupling an optical ring resonator to a toroid. In the semiclassical analyses, the system displays bistabilities, isolated branches (isolas) and self-sustained oscillation dynamics. Furthermore, we find that the induced transparency transpar…
▽ More
In this work we theoretically investigate a hybrid system of two optomechanically coupled resonators, which exhibits induced transparency. This is realized by coupling an optical ring resonator to a toroid. In the semiclassical analyses, the system displays bistabilities, isolated branches (isolas) and self-sustained oscillation dynamics. Furthermore, we find that the induced transparency transparency window sensitively relies on the mechanical motion. Based on this fact, we show that the described system can be used as a weak force detector and the optimal sensitivity can beat the standard quantum limit without using feedback control or squeezing under available experimental conditions.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
General description of quasi-adiabatic dynamical phenomena near exceptional points
Authors:
Thomas J. Milburn,
Jörg Doppler,
Catherine A. Holmes,
Stefano Portolan,
Stefan Rotter,
Peter Rabl
Abstract:
The appearance of so-called exceptional points in the complex spectra of non-Hermitian systems is often associated with phenomena that contradict our physical intuition. One example of particular interest is the state-exchange process predicted for an adiabatic encircling of an exceptional point. In this work we analyse this and related processes for the generic system of two coupled oscillator mo…
▽ More
The appearance of so-called exceptional points in the complex spectra of non-Hermitian systems is often associated with phenomena that contradict our physical intuition. One example of particular interest is the state-exchange process predicted for an adiabatic encircling of an exceptional point. In this work we analyse this and related processes for the generic system of two coupled oscillator modes with loss or gain. We identify a characteristic system evolution consisting of periods of quasi-stationarity interrupted by abrupt non-adiabatic transitions, and we present a qualitative and quantitative description of this switching behaviour by connecting the problem to the phenomenon of stability loss delay. This approach makes accurate predictions for the breakdown of the adiabatic theorem as well as the occurrence of chiral behavior observed previously in this context, and provides a general framework to model and understand quasi-adiabatic dynamical effects in non-Hermitian systems.
△ Less
Submitted 23 June, 2015; v1 submitted 7 October, 2014;
originally announced October 2014.
-
Synchronization of many nano-mechanical resonators coupled via a common cavity field
Authors:
C. A. Holmes,
C. P. Meaney,
G. J. Milburn
Abstract:
Using amplitude equations, we show that groups of identical nano-mechanical resonators, interacting with a common mode of a cavity microwave field, synchronize to form a single mechanical mode which couples to the cavity with a strength dependent on the square sum of the individual mechanical-microwave couplings. Classically this system is dominated by periodic behaviour which, when analyzed using…
▽ More
Using amplitude equations, we show that groups of identical nano-mechanical resonators, interacting with a common mode of a cavity microwave field, synchronize to form a single mechanical mode which couples to the cavity with a strength dependent on the square sum of the individual mechanical-microwave couplings. Classically this system is dominated by periodic behaviour which, when analyzed using amplitude equations, can be shown to exhibit multi-stability. In contrast groups of sufficiently dissimilar nano-mechanical oscillators may lose synchronization and oscillate out of phase at significantly higher amplitudes. Further the method by which synchronization is lost resembles that for large amplitude forcing which is not of the Kuramoto form.
△ Less
Submitted 3 November, 2011; v1 submitted 10 May, 2011;
originally announced May 2011.
-
Dynamical tunnelling with ultracold atoms in magnetic microtraps
Authors:
Martin Lenz,
Sebastian Wüster,
Christopher J. Vale,
Norman R. Heckenberg,
Halina Rubinsztein-Dunlop,
C. A. Holmes,
G. J. Milburn,
Matthew J. Davis
Abstract:
The study of dynamical tunnelling in a periodically driven anharmonic potential probes the quantum-classical transition via the experimental control of the effective Planck's constant for the system. In this paper we consider the prospects for observing dynamical tunnelling with ultracold atoms in magnetic microtraps on atom chips. We outline the driven anharmonic potentials that are possible usin…
▽ More
The study of dynamical tunnelling in a periodically driven anharmonic potential probes the quantum-classical transition via the experimental control of the effective Planck's constant for the system. In this paper we consider the prospects for observing dynamical tunnelling with ultracold atoms in magnetic microtraps on atom chips. We outline the driven anharmonic potentials that are possible using standard magnetic traps, and find the Floquet spectrum for one of these as a function of the potential strength, modulation, and effective Planck's constant. We develop an integrable approximation to the non-integrable Hamiltonian and find that it can explain the behaviour of the tunnelling rate as a function of the effective Planck's constant in the regular region of parameter space. In the chaotic region we compare our results with the predictions of models that describe chaos-assisted tunnelling. Finally we examine the practicality of performing these experiments in the laboratory with Bose-Einstein condensates.
△ Less
Submitted 29 July, 2013; v1 submitted 31 October, 2010;
originally announced November 2010.
-
Parametric self pulsing in a quantum opto-mechanical system
Authors:
C A Holmes,
G J Milburn
Abstract:
We describe an opto-mechanical system in which the coupling between optical and mechanical degrees of freedom takes the form of a fully quantised third-order parametric interaction. Two physical realisations are proposed: a harmonically trapped atom in a standing wave and the `membrane in the middle' model. The dominant resonant interaction corresponds to a stimulated Raman process in which two…
▽ More
We describe an opto-mechanical system in which the coupling between optical and mechanical degrees of freedom takes the form of a fully quantised third-order parametric interaction. Two physical realisations are proposed: a harmonically trapped atom in a standing wave and the `membrane in the middle' model. The dominant resonant interaction corresponds to a stimulated Raman process in which two phonons are converted into a single cavity photon. We show that this system can exhibit a stable limit cycle in which energy is periodically exchanged between optical and mechanical degrees of freedom. This is equivalently described as a parametric self-pulsing.
△ Less
Submitted 17 June, 2009;
originally announced June 2009.
-
A Model for an Irreversible Bias Current in the Superconducting Qubit Measurement Process
Authors:
G. D. Hutchinson,
C. A. Holmes,
T. M. Stace,
T. P. Spiller,
G. J. Milburn,
S. D. Barrett,
D. G. Hasko,
D. A. Williams
Abstract:
The superconducting charge-phase `Quantronium' qubit is considered in order to develop a model for the measurement process used in the experiment of Vion et. al. [Science 296 886 (2002)]. For this model we propose a method for including the bias current in the read-out process in a fundamentally irreversible way, which to first order, is approximated by the Josephson junction tilted-washboard po…
▽ More
The superconducting charge-phase `Quantronium' qubit is considered in order to develop a model for the measurement process used in the experiment of Vion et. al. [Science 296 886 (2002)]. For this model we propose a method for including the bias current in the read-out process in a fundamentally irreversible way, which to first order, is approximated by the Josephson junction tilted-washboard potential phenomenology. The decohering bias current is introduced in the form of a Lindblad operator and the Wigner function for the current biased read-out Josephson junction is derived and analyzed. During the read-out current pulse used in the Quantronium experiment we find that the coherence of the qubit initially prepared in a symmetric superposition state is lost at a time of 0.2 nanoseconds after the bias current pulse has been applied. A timescale which is much shorter than the experimental readout time. Additionally we look at the effect of Johnson-Nyquist noise with zero mean from the current source during the qubit manipulation and show that the decoherence due to the irreversible bias current description is an order of magnitude smaller than that found through adding noise to the reversible tilted washboard potential model. Our irreversible bias current model is also applicable to the persistent current based qubits where the state is measured according to its flux via a small inductance direct current superconducting quantum interference device (DC-SQUID).
△ Less
Submitted 10 October, 2006;
originally announced October 2006.
-
Quantum Dynamics of Three Coupled Atomic Bose-Einstein Condensates
Authors:
K. Nemoto,
C. A. Holmes,
G. J. Milburn,
W. J. Munro
Abstract:
The simplest model of three coupled Bose-Einstein Condensates (BEC) is investigated using a group theoretical method. The stationary solutions are determined using the SU(3) group under the mean field approximation. This semiclassical analysis using the system symmetries shows a transition in the dynamics of the system from self trap** to delocalization at a critical value for the coupling bet…
▽ More
The simplest model of three coupled Bose-Einstein Condensates (BEC) is investigated using a group theoretical method. The stationary solutions are determined using the SU(3) group under the mean field approximation. This semiclassical analysis using the system symmetries shows a transition in the dynamics of the system from self trap** to delocalization at a critical value for the coupling between the condensates. The global dynamics are investigated by examination of the stable points and our analysis shows the structure of the stable points depends on the ratio of the condensate coupling to the particle-particle interaction, undergoes bifurcations as this ratio is varied. This semiclassical model is compared to a full quantum treatment, which also displays the dynamical transition. The quantum case has collapse and revival sequences superposed on the semiclassical dynamics reflecting the underlying discreteness of the spectrum. Non-zero circular current states are also demonstrated as one of the higher dimensional effects displayed in this system.
△ Less
Submitted 12 October, 2000;
originally announced October 2000.
-
Quantum signatures of chaos in the dynamics of a trapped ion
Authors:
J. K. Breslin,
C. A. Holmes,
G. J. Milburn
Abstract:
We show how a nonlinear chaotic system, the parametrically kicked nonlinear oscillator, may be realised in the dynamics of a trapped, laser-cooled ion, interacting with a sequence of standing wave pulses. Unlike the original optical scheme [G.J.Milburn and C.A.Holmes, Phys. Rev A, 44, p4704, (1991)], the trapped ion enables strongly quantum dynamics with minimal dissipation. This should permit a…
▽ More
We show how a nonlinear chaotic system, the parametrically kicked nonlinear oscillator, may be realised in the dynamics of a trapped, laser-cooled ion, interacting with a sequence of standing wave pulses. Unlike the original optical scheme [G.J.Milburn and C.A.Holmes, Phys. Rev A, 44, p4704, (1991)], the trapped ion enables strongly quantum dynamics with minimal dissipation. This should permit an experimental test of one of the quantum signatures of chaos; irregular collapse and revival dynamics of the average vibrational energy.
△ Less
Submitted 14 November, 1996;
originally announced November 1996.