-
Rethinking Programming Paradigms in the QC-HPC Context
Authors:
Silvina Caino-Lores,
Daniel Claudino,
Eugene Dumitrescu,
Travis S. Humble,
Sonia Lopez Alarcon,
Elaine Wong
Abstract:
Programming for today's quantum computers is making significant strides toward modern workflows compatible with high performance computing (HPC), but fundamental challenges still remain in the integration of these vastly different technologies. Quantum computing (QC) programming languages share some common ground, as well as their emerging runtimes and algorithmic modalities. In this short paper,…
▽ More
Programming for today's quantum computers is making significant strides toward modern workflows compatible with high performance computing (HPC), but fundamental challenges still remain in the integration of these vastly different technologies. Quantum computing (QC) programming languages share some common ground, as well as their emerging runtimes and algorithmic modalities. In this short paper, we explore avenues of refinement for the quantum processing unit (QPU) in the context of many-tasks management, asynchronous or otherwise, in order to understand the value it can play in linking QC with HPC. Through examples, we illustrate how its potential for scientific discovery might be realized.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Temporal assessment of malicious behaviors: application to turnout field data monitoring
Authors:
Sara Abdellaoui,
Emil Dumitrescu,
Cédric Escudero,
Eric Zamaï
Abstract:
Monitored data collected from railway turnouts are vulnerable to cyberattacks: attackers may either conceal failures or trigger unnecessary maintenance actions. To address this issue, a cyberattack investigation method is proposed based on predictions made from the temporal evolution of the turnout behavior. These predictions are then compared to the field acquired data to detect any discrepancy.…
▽ More
Monitored data collected from railway turnouts are vulnerable to cyberattacks: attackers may either conceal failures or trigger unnecessary maintenance actions. To address this issue, a cyberattack investigation method is proposed based on predictions made from the temporal evolution of the turnout behavior. These predictions are then compared to the field acquired data to detect any discrepancy. This method is illustrated on a collection of real-life data.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Semicoherent Symmetric Quantum Processes: Theory and Applications
Authors:
Yan Wang,
Sarah Chehade,
Eugene Dumitrescu
Abstract:
Discovering pragmatic and efficient approaches to synthesize $\varepsilon$-approximations to quantum operators such as real (imaginary) time-evolution propagators in terms of the basic quantum operations (gates) is challenging. These invaluable $\varepsilon$-approximations enable the compilation of classical and quantum algorithms modeling, e.g., dynamical properties. In parallel, symmetries are p…
▽ More
Discovering pragmatic and efficient approaches to synthesize $\varepsilon$-approximations to quantum operators such as real (imaginary) time-evolution propagators in terms of the basic quantum operations (gates) is challenging. These invaluable $\varepsilon$-approximations enable the compilation of classical and quantum algorithms modeling, e.g., dynamical properties. In parallel, symmetries are powerful tools concisely describing the fundamental laws of nature; the symmetrical underpinnings of physical laws having consistently provided profound insights and substantially increased predictive power. In this work, we consider the interplay between $\varepsilon$-approximations processes and symmetries in a semi-coherent context--where measurements occur at each logical clock cycle. We draw inspiration from Pascual Jordan's groundbreaking formulation of non-associative, but commutative, algebraic forms. Our symmetrized formalism is applied in various domains such as quantum random walks, real-time-evolutions, variational algorithms ansatzes, and efficient entanglement verification. Our work paves the way for a deeper understanding and greater appreciation of how symmetries can be used to control quantum dynamics in the near-term.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
On the Need for Extensible Quantum Compilers with Verification
Authors:
Tyler LeBlond,
Xiao Xiao,
Eugene Dumitrescu,
Ryan Bennink,
Alexandru Paler
Abstract:
In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification.
In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Fully quantum algorithm for lattice Boltzmann methods with application to partial differential equations
Authors:
Sriharsha Kocherla,
Zhixin Song,
Fatima Ezahra Chrit,
Bryan Gard,
Eugene F. Dumitrescu,
Alexander Alexeev,
Spencer H. Bryngelson
Abstract:
Fluid flow simulations marshal our most powerful computational resources. In many cases, even this is not enough. Quantum computers provide an opportunity to speedup traditional algorithms for flow simulations. We show that lattice-based mesoscale numerical methods can be executed as efficient quantum algorithms due to their statistical features. This approach revises a quantum algorithm for latti…
▽ More
Fluid flow simulations marshal our most powerful computational resources. In many cases, even this is not enough. Quantum computers provide an opportunity to speedup traditional algorithms for flow simulations. We show that lattice-based mesoscale numerical methods can be executed as efficient quantum algorithms due to their statistical features. This approach revises a quantum algorithm for lattice gas automata to eliminate classical computations and measurements at every time step. For this, the algorithm approximates the qubit relative phases and subtracts them at the end of each time step, removing a need for repeated measurements and state preparation (encoding). Phases are evaluated using the iterative phase estimation algorithm and subtracted using single-qubit rotation phase gates. This method delays the need for measurement to the end of the computation, so the algorithm is better suited for modern quantum hardware. We also demonstrate how the checker-board deficiency that the D1Q2 scheme presents can be resolved using the D1Q3 scheme. The algorithm is validated by simulating two canonical PDEs: the diffusion and Burgers' equations on different quantum simulators. We find good agreement between quantum simulations and classical solutions of the presented algorithm.
△ Less
Submitted 11 April, 2024; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Integrating Across Application, Model, Algorithm, Compilation, and Error Correction Chasms With Quantum Type Theory
Authors:
Eugene Dumitrescu
Abstract:
We briefly discuss the current state, and future computational implications, of quantum type theory.
We briefly discuss the current state, and future computational implications, of quantum type theory.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Enabling Multi-threading in Heterogeneous Quantum-Classical Programming Models
Authors:
Akihiro Hayashi,
Austin Adams,
Jeffrey Young,
Alexander McCaskey,
Eugene Dumitrescu,
Vivek Sarkar,
Thomas M. Conte
Abstract:
In this paper, we address some of the key limitations to realizing a generic heterogeneous parallel programming model for quantum-classical heterogeneous platforms. We discuss our experience in enabling user-level multi-threading in QCOR as well as challenges that need to be addressed for programming future quantum-classical systems. Specifically, we discuss our design and implementation of introd…
▽ More
In this paper, we address some of the key limitations to realizing a generic heterogeneous parallel programming model for quantum-classical heterogeneous platforms. We discuss our experience in enabling user-level multi-threading in QCOR as well as challenges that need to be addressed for programming future quantum-classical systems. Specifically, we discuss our design and implementation of introducing C++-based parallel constructs to enable 1) parallel execution of a quantum kernel with std::thread and 2) asynchronous execution with std::async. To do so, we provide a detailed overview of the current implementation of the QCOR programming model and runtime, and discuss how we add 1) thread-safety to some of its user-facing API routines, and 2) increase parallelism in QCOR by removing data races that inhibit multi-threading so as to better utilize available computing resources. We also present preliminary performance results with the Quantum++ back end on a single-node Ryzen9 3900X machine that has 12 physical cores (24 hardware threads) with 128GB of RAM. The results show that running two Bell kernels with 12 threads per kernel in parallel outperforms running the kernels one after the other each with 24 threads (1.63x improvement). In addition, we observe the same trend when running two Shor's algorthm kernels in parallel (1.22x faster than executing the kernels one after the other). Furthermore, the parallel version is better in terms of strong scalability. We believe that our design, implementation, and results will open up an opportunity not only for 1) enabling quicker prototy** of parallel/asynchrony-aware quantum-classical algorithms on quantum circuit simulators in the short-term, but also for 2) realizing a generic heterogeneous parallel programming model for quantum-classical heterogeneous platforms in the long-term.
△ Less
Submitted 15 March, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
Theory of the Little-Parks effect in spin-triplet superconductors
Authors:
Chengyun Hua,
Eugene Dumitrescu,
Gábor B. Halász
Abstract:
The celebrated Little-Parks effect in mesoscopic superconducting rings has recently gained great attention due to its potential to probe half-quantum vortices in spin-triplet superconductors. However, despite the large number of works reporting anomalous Little-Parks measurements attributed to unconventional superconductivity, the general signatures of spin-triplet pairing in the Little-Parks effe…
▽ More
The celebrated Little-Parks effect in mesoscopic superconducting rings has recently gained great attention due to its potential to probe half-quantum vortices in spin-triplet superconductors. However, despite the large number of works reporting anomalous Little-Parks measurements attributed to unconventional superconductivity, the general signatures of spin-triplet pairing in the Little-Parks effect have not yet been systematically investigated. Here we use Ginzburg-Landau theory to study the Little-Parks effect in a spin-triplet superconducting ring that supports half-quantum vortices; we calculate the field-induced Little-Parks oscillations of both the critical temperature itself and the residual resistance resulting from thermal vortex tunneling below the critical temperature. We observe two separate critical temperatures with a single-spin superconducting state in between and find that, due to the existence of half-quantum vortices, each minimum in the upper critical temperature splits into two minima for the lower critical temperature. From a rigorous calculation of the residual resistance, we confirm that these two minima in the lower critical temperature translate into two maxima in the residual resistance below and establish the general conditions under which the two maxima can be practically resolved. In particular, we identify a fundamental trade-off between sharpening each maximum and kee** the overall magnitude of the resistance large. Our results will guide experimental efforts in designing mesoscopic ring geometries for probing half-quantum vortices in spin-triplet candidate materials on the device scale.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Quantum computation of dynamical quantum phase transitions and entanglement tomography in a lattice gauge theory
Authors:
Niklas Mueller,
Joseph A. Carolan,
Andrew Connelly,
Zohreh Davoudi,
Eugene F. Dumitrescu,
Kübra Yeter-Aydeniz
Abstract:
Strongly-coupled gauge theories far from equilibrium may exhibit unique features that could illuminate the physics of the early universe and of hadron and ion colliders. Studying real-time phenomena has proven challenging with classical-simulation methods, but is a natural application of quantum simulation. To demonstrate this prospect, we quantum compute non-equal time correlation functions and p…
▽ More
Strongly-coupled gauge theories far from equilibrium may exhibit unique features that could illuminate the physics of the early universe and of hadron and ion colliders. Studying real-time phenomena has proven challenging with classical-simulation methods, but is a natural application of quantum simulation. To demonstrate this prospect, we quantum compute non-equal time correlation functions and perform entanglement tomography of non-equilibrium states of a simple lattice gauge theory, the Schwinger model, using a trapped-ion quantum computer by IonQ Inc. As an ideal target for near-term devices, a recently-predicted [Zache et al., Phys. Rev. Lett. 122, 050403 (2019)] dynamical quantum phase transition in this model is studied by preparing, quenching, and tracking the subsequent non-equilibrium dynamics in three ways: i) overlap echos signaling dynamical transitions, ii) non-equal time correlation functions with an underlying topological nature, and iii) the entanglement structure of non-equilibrium states, including entanglement Hamiltonians. These results constitute the first observation of a dynamical quantum phase transition in a lattice gauge theory on a quantum computer, and are a first step toward investigating topological phenomena in nuclear and high-energy physics using quantum technologies.
△ Less
Submitted 11 September, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Topological Characterization with a Twist, Condensation, and Reflection
Authors:
Tushar Pandey,
Eugene Dumitrescu
Abstract:
Despite its putative robustness, the realization of and control over topological quantum matter is an ongoing grand challenge. Looking forward, robust characterization protocols are needed to first certify topological substrates before they are utilized in quantum algorithms. We contribute to this grand challenge by providing a series of experimentally accessible near- and medium-term protocols as…
▽ More
Despite its putative robustness, the realization of and control over topological quantum matter is an ongoing grand challenge. Looking forward, robust characterization protocols are needed to first certify topological substrates before they are utilized in quantum algorithms. We contribute to this grand challenge by providing a series of experimentally accessible near- and medium-term protocols assessing the fidelity of logical processes. To do so we examine logical operators and anyonic quasiparticle excitations in twisted $\mathbb{Z}_{N=2,4}$ gauge theories. Extending the finite twist, a promising route to Ising computing in its own right, to a non-contractible twist fuses prior logical operators together and results in a twisted qubit code. The code is notable for a doubled and tripled code distance for logical $Y$ and $X$ errors respectively. Next, we review the deconfinement properties of a $\mathbb{Z}_4$ double semion condensation and provide an error correction algorithm. Based on this understanding we then present a $\mathbb{Z}_4$ topological quasiparticle reflectometry and scattering protocol. The protocol infers the topological properties of the system and serves as a high-level metric for the performance and lifetime of the interfaced topological codes. Our logical and scattering protocols are suitable for near-term devices where many physical qubits encode few logical qubits. The topological lifetime of a particle within a condensate conjugacy class, previously considered in fabricated and hetero-structured condensed-matter experiments, serves as a unifying performance metric across synthetic, qubit-based, and naturally occurring topological order.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Snowmass White Paper: Quantum Computing Systems and Software for High-energy Physics Research
Authors:
Travis S. Humble,
Andrea Delgado,
Raphael Pooser,
Christopher Seck,
Ryan Bennink,
Vicente Leyton-Ortega,
C. -C. Joseph Wang,
Eugene Dumitrescu,
Titus Morris,
Kathleen Hamilton,
Dmitry Lyakh,
Prasanna Date,
Yan Wang,
Nicholas A. Peters,
Katherine J. Evans,
Marcel Demarteau,
Alex McCaskey,
Thien Nguyen,
Susan Clark,
Melissa Reville,
Alberto Di Meglio,
Michele Grossi,
Sofia Vallecorsa,
Kerstin Borras,
Karl Jansen
, et al. (1 additional authors not shown)
Abstract:
Quantum computing offers a new paradigm for advancing high-energy physics research by enabling novel methods for representing and reasoning about fundamental quantum mechanical phenomena. Realizing these ideals will require the development of novel computational tools for modeling and simulation, detection and classification, data analysis, and forecasting of high-energy physics (HEP) experiments.…
▽ More
Quantum computing offers a new paradigm for advancing high-energy physics research by enabling novel methods for representing and reasoning about fundamental quantum mechanical phenomena. Realizing these ideals will require the development of novel computational tools for modeling and simulation, detection and classification, data analysis, and forecasting of high-energy physics (HEP) experiments. While the emerging hardware, software, and applications of quantum computing are exciting opportunities, significant gaps remain in integrating such techniques into the HEP community research programs. Here we identify both the challenges and opportunities for develo** quantum computing systems and software to advance HEP discovery science. We describe opportunities for the focused development of algorithms, applications, software, hardware, and infrastructure to support both practical and theoretical applications of quantum computing to HEP problems within the next 10 years.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Quantum Algorithms for Ground-State Preparation and Green's Function Calculation
Authors:
Trevor Keen,
Eugene Dumitrescu,
Yan Wang
Abstract:
We propose quantum algorithms for projective ground-state preparation and calculations of the many-body Green's functions directly in frequency domain. The algorithms are based on the linear combination of unitary (LCU) operations and essentially only use quantum resources. To prepare the ground state, we construct the operator ${\exp}(-τ\hat{H}^2)$ using Hubbard-Stratonovich transformation by LCU…
▽ More
We propose quantum algorithms for projective ground-state preparation and calculations of the many-body Green's functions directly in frequency domain. The algorithms are based on the linear combination of unitary (LCU) operations and essentially only use quantum resources. To prepare the ground state, we construct the operator ${\exp}(-τ\hat{H}^2)$ using Hubbard-Stratonovich transformation by LCU and apply it on an easy-to-prepare initial state. Our projective state preparation procedure saturates the near-optimal scaling, $\mathcal{O}(\frac{1}{γΔ} \log \frac{1}{γη})$, of other currently known algorithms, in terms of the spectral-gap lower bound $Δ$, the additive error $η$ in the state vector, and the overlap lower bound $γ$ between the initial state and the exact ground state. It is straightforward to combine our algorithm with spectral-gap amplification technique to achieve quadratically improved scaling $\mathcal{O}(1/\sqrtΔ)$ for ground-state preparation of frustration-free Hamiltonians, which we demonstrate with numerical results of the $q$-deformed XXZ chain. To compute the Green's functions, including the single-particle and other response functions, we act on the prepared ground state with the retarded resolvent operator $R(ω+ iΓ; \hat{H})$ in the LCU form derived from the Fourier-Laplace integral transform (FIT). Our resolvent algorithm has $\mathcal{O}(\frac{1}{Γ^2} \log\frac{1}{Γε})$ complexity scaling for the frequency resolution $Γ$ of the response functions and the targeted error $ε$, while classical algorithms for FIT usually have polynomial scaling over the error $ε$. To illustrate the complexity scaling of our algorithms, we provide numerical results for their application to the paradigmatic Fermi-Hubbard model on a one-dimensional lattice with different numbers of sites.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Map** the metal-insulator phase diagram by algebraically fast-forwarding dynamics on a cloud quantum computer
Authors:
Thomas Steckmann,
Trevor Keen,
Efekan Kökcü,
Alexander F. Kemper,
Eugene F. Dumitrescu,
Yan Wang
Abstract:
Dynamical mean-field theory (DMFT) maps the local Green's function of the Hubbard model to that of the Anderson impurity model and thus gives an approximate solution of the Hubbard model from the solution of simpler quantum impurity model. Quantum and hybrid quantum-classical algorithms have been proposed to efficiently solve impurity models by preparing and evolving the ground state under the imp…
▽ More
Dynamical mean-field theory (DMFT) maps the local Green's function of the Hubbard model to that of the Anderson impurity model and thus gives an approximate solution of the Hubbard model from the solution of simpler quantum impurity model. Quantum and hybrid quantum-classical algorithms have been proposed to efficiently solve impurity models by preparing and evolving the ground state under the impurity Hamiltonian on a quantum computer that is assumed to have the scalability and accuracy far beyond the current state-of-the-art quantum hardware. As a proof of principle demonstration targeting the Anderson impurity model we close the DMFT loop with current noisy hardware. With a highly optimized fast-forwarding quantum circuit and a noise resilient spectral analysis we observe a Mott phase transition. Based on a Cartan decomposition, our algorithm gives a fixed depth, fast-forwarding, quantum circuit that can evolve the initial state over arbitrarily long times without time-discretization errors typical of other product decomposition formulas such as Trotter decomposition. By exploiting the structure of the fast-forwarding circuits we reduce the gate count (to 77 CNOTs after optimization), simulate the dynamics, and extract frequencies from the Anderson impurity model on noisy quantum hardware. We then demonstrate the Mott transition by map** the full metal-insulator phase-diagram. Near the Mott phase transition, our method maintains accuracy where Trotter error would otherwise dominate due to the long-time evolution required to resolve quasiparticle resonance frequency extremely close to zero. This work presents the first computation of the Mott phase transition using noisy digital quantum hardware, made viable by a highly optimized computation in terms of gate depth, simulation error, and runtime on quantum hardware.
△ Less
Submitted 17 March, 2023; v1 submitted 10 December, 2021;
originally announced December 2021.
-
Enabling a Programming Environment for an Experimental Ion Trap Quantum Testbed
Authors:
Austin Adams,
Elton Pinto,
Jeffrey Young,
Creston Herold,
Alex McCaskey,
Eugene Dumitrescu,
Thomas M. Conte
Abstract:
Ion trap quantum hardware promises to provide a computational advantage over classical computing for specific problem spaces while also providing an alternative hardware implementation path to cryogenic quantum systems as typified by IBM's quantum hardware. However, programming ion trap systems currently requires both strategies to mitigate high levels of noise and also tools to ease the challenge…
▽ More
Ion trap quantum hardware promises to provide a computational advantage over classical computing for specific problem spaces while also providing an alternative hardware implementation path to cryogenic quantum systems as typified by IBM's quantum hardware. However, programming ion trap systems currently requires both strategies to mitigate high levels of noise and also tools to ease the challenge of programming these systems with pulse- or gate-level operations.
This work focuses on improving the state-of-the-art for quantum programming of ion trap testbeds through the use of a quantum language specification, QCOR, and by demonstrating multi-level optimizations at the language, intermediate representation, and hardware backend levels. We implement a new QCOR/XACC backend to target a general ion trap testbed and then demonstrate the usage of multi-level optimizations to improve circuit fidelity and to reduce gate count. These techniques include the usage of a backend-specific numerical optimizer and physical gate optimizations to minimize the number of native instructions sent to the hardware. We evaluate our compiler backend using several QCOR benchmark programs, finding that on present testbed hardware, our compiler backend maintains the number of two-qubit native operations but decreases the number of single-qubit native operations by 1.54 times compared to the previous compiler regime. For projected testbed hardware upgrades, our compiler sees a reduction in two-qubit native operations by 2.40 times and one-qubit native operations by 6.13 times.
△ Less
Submitted 4 November, 2021; v1 submitted 29 October, 2021;
originally announced November 2021.
-
Quantifying the Impact of Precision Errors on Quantum Approximate Optimization Algorithms
Authors:
Gregory Quiroz,
Paraj Titum,
Phillip Lotshaw,
Pavel Lougovski,
Kevin Schultz,
Eugene Dumitrescu,
Itay Hen
Abstract:
The quantum approximate optimization algorithm (QAOA) is a hybrid quantum-classical algorithm that seeks to achieve approximate solutions to optimization problems by iteratively alternating between intervals of controlled quantum evolution. Here, we examine the effect of analog precision errors on QAOA performance both from the perspective of algorithmic training and canonical state- and observabl…
▽ More
The quantum approximate optimization algorithm (QAOA) is a hybrid quantum-classical algorithm that seeks to achieve approximate solutions to optimization problems by iteratively alternating between intervals of controlled quantum evolution. Here, we examine the effect of analog precision errors on QAOA performance both from the perspective of algorithmic training and canonical state- and observable-dependent QAOA-relevant metrics. Leveraging cumulant expansions, we recast the faulty QAOA as a control problem in which precision errors are expressed as multiplicative control noise and derive bounds on the performance of QAOA. We show using both analytical techniques and numerical simulations that errors in the analog implementation of QAOA circuits hinder its performance as an optimization algorithm. In particular, we find that any fixed precision implementation of QAOA will be subject to an exponential degradation in performance dependent upon the number of optimal QAOA layers and magnitude of the precision error. Despite this significant reduction, we show that it is possible to mitigate precision errors in QAOA via digitization of the variational parameters, therefore at the cost of increasing circuit depth. We illustrate our results via numerical simulations and analytic and empirical error bounds as a comparison. While focused on precision errors, our approach naturally lends itself to more general noise scenarios and the calculation of error bounds on QAOA performance and broader classes of variational quantum algorithms.
△ Less
Submitted 9 November, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Optical vortex manipulation for topological quantum computation
Authors:
Chengyun Hua,
Gábor B. Halász,
Eugene Dumitrescu,
Matthew Brahlek,
Benjamin Lawrie
Abstract:
Proposed approaches to topological quantum computation based on Majorana bound states may enable new paths to fault-tolerant quantum computing. Several recent experiments have suggested that the vortex cores of topological superconductors, such as iron-based superconductors, may host Majorana bound states at zero energy. To facilitate quantum computation with these zero-energy vortex bound states,…
▽ More
Proposed approaches to topological quantum computation based on Majorana bound states may enable new paths to fault-tolerant quantum computing. Several recent experiments have suggested that the vortex cores of topological superconductors, such as iron-based superconductors, may host Majorana bound states at zero energy. To facilitate quantum computation with these zero-energy vortex bound states, a precise and fast manipulation of individual vortices is crucial. However, handling individual vortices remains a challenge, and a theoretical framework for describing individually controlled vortex motion is still critically needed. We propose a scheme for the use of local heating based on scanning optical microscopy to manipulate Majorana bound states emergent in the vortex cores of topological superconductors. Specifically, we derive the conditions required for transporting a single vortex between two stationary defects in the superconducting material by trap** it with a "hot spot" generated by local optical heating. Using these critical conditions for the vortex motion, we then establish the ideal material properties for the implementation of our manipulation scheme, which paves the way toward the controllable handling of zero-energy vortex bound states.
△ Less
Submitted 6 July, 2021; v1 submitted 30 April, 2021;
originally announced April 2021.
-
Tensor Network Quantum Virtual Machine for Simulating Quantum Circuits at Exascale
Authors:
Thien Nguyen,
Dmitry Lyakh,
Eugene Dumitrescu,
David Clark,
Jeff Larkin,
Alexander McCaskey
Abstract:
The numerical simulation of quantum circuits is an indispensable tool for development, verification and validation of hybrid quantum-classical algorithms on near-term quantum co-processors. The emergence of exascale high-performance computing (HPC) platforms presents new opportunities for pushing the boundaries of quantum circuit simulation. We present a modernized version of the Tensor Network Qu…
▽ More
The numerical simulation of quantum circuits is an indispensable tool for development, verification and validation of hybrid quantum-classical algorithms on near-term quantum co-processors. The emergence of exascale high-performance computing (HPC) platforms presents new opportunities for pushing the boundaries of quantum circuit simulation. We present a modernized version of the Tensor Network Quantum Virtual Machine (TNQVM) which serves as a quantum circuit simulation backend in the eXtreme-scale ACCelerator (XACC) framework. The new version is based on the general purpose, scalable tensor network processing library, ExaTN, and provides multiple configurable quantum circuit simulators enabling either exact quantum circuit simulation via the full tensor network contraction, or approximate quantum state representations via suitable tensor factorizations. Upon necessity, stochastic noise modeling from real quantum processors is incorporated into the simulations by modeling quantum channels with Kraus tensors. By combining the portable XACC quantum programming frontend and the scalable ExaTN numerical backend we introduce an end-to-end virtual quantum development environment which can scale from laptops to future exascale platforms. We report initial benchmarks of our framework which include a demonstration of the distributed execution, incorporation of quantum decoherence models, and simulation of the random quantum circuits used for the certification of quantum supremacy on the Google Sycamore superconducting architecture.
△ Less
Submitted 21 April, 2021;
originally announced April 2021.
-
Fixed Depth Hamiltonian Simulation via Cartan Decomposition
Authors:
Efekan Kökcü,
Thomas Steckmann,
Yan Wang,
J. K. Freericks,
Eugene F. Dumitrescu,
Alexander F. Kemper
Abstract:
Simulating quantum dynamics on classical computers is challenging for large systems due to the significant memory requirements. Simulation on quantum computers is a promising alternative, but fully optimizing quantum circuits to minimize limited quantum resources remains an open problem. We tackle this problem presenting a constructive algorithm, based on Cartan decomposition of the Lie algebra ge…
▽ More
Simulating quantum dynamics on classical computers is challenging for large systems due to the significant memory requirements. Simulation on quantum computers is a promising alternative, but fully optimizing quantum circuits to minimize limited quantum resources remains an open problem. We tackle this problem presenting a constructive algorithm, based on Cartan decomposition of the Lie algebra generated by the Hamiltonian, that generates quantum circuits with time-independent depth. We highlight our algorithm for special classes of models, including Anderson localization in one dimensional transverse field XY model, where a O(n^2)-gate circuits naturally emerge. Compared to product formulas with significantly larger gate counts, our algorithm drastically improves simulation precision. In addition to providing exact circuits for a broad set of spin and fermionic models, our algorithm provides broad analytic and numerical insight into optimal Hamiltonian simulations.
△ Less
Submitted 29 June, 2022; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Multifunctional Superconducting Nanowire Quantum Sensors
Authors:
Benjamin J Lawrie,
Claire E. Marvinney,
Yun-Yi Pai,
Matthew A. Feldman,
Jie Zhang,
Aaron J. Miller,
Chengyun Hua,
Eugene Dumitrescu,
Gábor B. Halász
Abstract:
Superconducting nanowire single photon detectors (SNSPDs) offer high-quantum-efficiency and low-dark-count-rate single photon detection. In a growing number of cases, large magnetic fields are being incorporated into quantum microscopes, nanophotonic devices, and sensors for nuclear and high-energy physics that rely on SNSPDs, but superconducting devices generally operate poorly in large magnetic…
▽ More
Superconducting nanowire single photon detectors (SNSPDs) offer high-quantum-efficiency and low-dark-count-rate single photon detection. In a growing number of cases, large magnetic fields are being incorporated into quantum microscopes, nanophotonic devices, and sensors for nuclear and high-energy physics that rely on SNSPDs, but superconducting devices generally operate poorly in large magnetic fields. Here, we demonstrate robust performance of amorphous SNSPDs in magnetic fields of up to $\pm 6$ T with a negligible dark count rate and unchanged quantum efficiency at typical bias currents. Critically, we also show that in the electrothermal oscillation regime, the SNSPD can be used as a magnetometer with sensitivity of better than 100 $\mathrm{μT/\sqrt{Hz}}$ and as a thermometer with sensitivity of 20 $\mathrm{μK/\sqrt{Hz}}$ at 1 K. Thus, a single photon detector integrated into a quantum device can be used as a multifunctional quantum sensor capable of describing the temperature and magnetic field on-chip simply by varying the bias current to change the operating modality from single photon detection to thermometry or magnetometry.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Statistical detection of Josephson, Andreev, and single quasiparticle currents in scanning tunneling microscopy
Authors:
Wonhee Ko,
Eugene F. Dumitrescu,
Petro Maksymovych
Abstract:
We present a method to identify distinct tunneling modes in tunable superconducting tunnel junction composed of superconducting tip and sample in scanning tunneling microscope. Combining the measurement of the relative decay constant of tunneling current extracted from I-V-z spectroscopy with its statistical analysis over the atomic disorders in the sample surface, we identified the crossover of t…
▽ More
We present a method to identify distinct tunneling modes in tunable superconducting tunnel junction composed of superconducting tip and sample in scanning tunneling microscope. Combining the measurement of the relative decay constant of tunneling current extracted from I-V-z spectroscopy with its statistical analysis over the atomic disorders in the sample surface, we identified the crossover of tunneling modes between single quasiparticle tunneling, multiple Andreev reflection, and Josephson tunneling with respect to the bias voltage. The method enables one to determine the particular tunneling regime independently of the spectral shapes, and to reveal the intrinsic modulation of Andreev reflection and Josephson current that would be crucial for quantum device application of superconductors.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Digital-Analog Quantum Simulations Using The Cross-Resonance Effect
Authors:
Tasio Gonzalez-Raya,
Rodrigo Asensio-Perea,
Ana Martin,
Lucas C. Céleri,
Mikel Sanz,
Pavel Lougovski,
Eugene F. Dumitrescu
Abstract:
Digital-analog quantum computation aims to reduce the currently infeasible resource requirements needed for near-term quantum information processing by replacing sequences of one- and two-qubit gates with a unitary transformation generated by the systems' underlying Hamiltonian. Inspired by this paradigm, we consider superconducting architectures and extend the cross-resonance effect, up to first…
▽ More
Digital-analog quantum computation aims to reduce the currently infeasible resource requirements needed for near-term quantum information processing by replacing sequences of one- and two-qubit gates with a unitary transformation generated by the systems' underlying Hamiltonian. Inspired by this paradigm, we consider superconducting architectures and extend the cross-resonance effect, up to first order in perturbation theory, from a two-qubit interaction to an analog Hamiltonian acting on 1D chains and 2D square lattices which, in an appropriate reference frame, results in a purely two-local Hamiltonian. By augmenting the analog Hamiltonian dynamics with single-qubit gates we show how one may generate a larger variety of distinct analog Hamiltonians. We then synthesize unitary sequences, in which we toggle between the various analog Hamiltonians as needed, simulating the dynamics of Ising, $XY$, and Heisenberg spin models. Our dynamics simulations are Trotter error-free for the Ising and $XY$ models in 1D. We also show that the Trotter errors for 2D $XY$ and 1D Heisenberg chains are reduced, with respect to a digital decomposition, by a constant factor. In order to realize these important near-term speedups, we discuss the practical considerations needed to accurately characterize and calibrate our analog Hamiltonians for use in quantum simulations. We conclude with a discussion of how the Hamiltonian toggling techniques could be extended to derive new analog Hamiltonians which may be of use in more complex digital-analog quantum simulations for various models of interacting spins.
△ Less
Submitted 2 June, 2021; v1 submitted 20 November, 2020;
originally announced November 2020.
-
The Hybrid Topological Longitudinal Transmon Qubit
Authors:
Alec Dinerstein,
Caroline S. Gorham,
Eugene F. Dumitrescu
Abstract:
We introduce a new hybrid qubit consisting of a Majorana qubit interacting with a transmon longitudinally coupled to a resonator. To do so, we equip the longitudinal transmon qubit with topological quasiparticles, supported by an array of heterostructure nanowires, and derive charge- and phase-based interactions between the Majorana qubit and the resonator and transmon degrees of freedom. Inspecti…
▽ More
We introduce a new hybrid qubit consisting of a Majorana qubit interacting with a transmon longitudinally coupled to a resonator. To do so, we equip the longitudinal transmon qubit with topological quasiparticles, supported by an array of heterostructure nanowires, and derive charge- and phase-based interactions between the Majorana qubit and the resonator and transmon degrees of freedom. Inspecting the charge coupling, we demonstrate that the Majorana self-charging can be eliminated by a judicious choice of charge offset, thereby maintaining the Majorana degeneracy regardless of the quasiparticles spatial arrangement and parity configuration. We perform analytic and numerical calculations to derive the effective qubit-qubit interaction elements and discuss their potential utility for state readout and quantum error correction. Further, we find that select interactions depend strongly on the overall superconducting parity, which may provide a direct mechanism to characterize deleterious quasiparticle poisoning processes.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Robustness of vortex-bound Majorana zero modes against correlated disorder
Authors:
Casey Christian,
Eugene F. Dumitrescu,
Gábor B. Halász
Abstract:
We investigate the effect of correlated disorder on Majorana zero modes (MZMs) bound to magnetic vortices in two-dimensional topological superconductors. By starting from a lattice model of interacting fermions with a $p_x \pm i p_y$ superconducting ground state in the disorder-free limit, we use perturbation theory to describe the enhancement of the Majorana localization length at weak disorder a…
▽ More
We investigate the effect of correlated disorder on Majorana zero modes (MZMs) bound to magnetic vortices in two-dimensional topological superconductors. By starting from a lattice model of interacting fermions with a $p_x \pm i p_y$ superconducting ground state in the disorder-free limit, we use perturbation theory to describe the enhancement of the Majorana localization length at weak disorder and a self-consistent numerical solution to understand the breakdown of the MZMs at strong disorder. We find that correlated disorder has a much stronger effect on the MZMs than uncorrelated disorder and that it is most detrimental if the disorder correlation length $\ell$ is on the same order as the superconducting coherence length $ξ$. In contrast, MZMs can survive stronger disorder for $\ell \ll ξ$ as random variations cancel each other within the length scale of $ξ$, while an MZM may survive up to very strong disorder for $\ell \gg ξ$ if it is located in a favorable domain of the given disorder realization.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Hamiltonian Assignment for Open Quantum Systems
Authors:
Eugene F. Dumitrescu,
Pavel Lougovski
Abstract:
We investigate the problem of determining the Hamiltonian of a locally interacting open-quantum system. To do so, we construct model estimators based on inverting a set of stationary, or dynamical, Heisenberg-Langevin equations of motion which rely on a polynomial number of measurements and parameters. We validate our Hamiltonian assignment methods by numerically simulating one-dimensional XX-inte…
▽ More
We investigate the problem of determining the Hamiltonian of a locally interacting open-quantum system. To do so, we construct model estimators based on inverting a set of stationary, or dynamical, Heisenberg-Langevin equations of motion which rely on a polynomial number of measurements and parameters. We validate our Hamiltonian assignment methods by numerically simulating one-dimensional XX-interacting spin chains coupled to thermal reservoirs. We study Hamiltonian learning in the presence of systematic noise and find that, in certain time dependent cases, the Hamiltonian estimator accuracy increases when relaxing the environment's physicality constraints.
△ Less
Submitted 8 January, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
XACC: A System-Level Software Infrastructure for Heterogeneous Quantum-Classical Computing
Authors:
Alexander J. McCaskey,
Dmitry I. Lyakh,
Eugene F. Dumitrescu,
Sarah S. Powers,
Travis S. Humble
Abstract:
Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. Here we…
▽ More
Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. Here we present XACC, a system-level software infrastructure for quantum-classical computing that promotes a service-oriented architecture to expose interfaces for core quantum programming, compilation, and execution tasks. We detail XACC's interfaces, their interactions, and its implementation as a hardware-agnostic framework for both near-term and future quantum-classical architectures. We provide concrete examples demonstrating the utility of this framework with paradigmatic tasks. Our approach lays the foundation for the development of compilers, associated runtimes, and low-level system tools tightly integrating quantum and classical workflows.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Benchmarking Noise Extrapolation with OpenPulse
Authors:
J. W. O. Garmon,
R. C. Pooser,
E. F. Dumitrescu
Abstract:
Distilling precise estimates from noisy intermediate scale quantum (NISQ) data has recently attracted considerable attention. In order to augment digital qubit metrics, such as gate fidelity, we discuss analog error mitigability, i.e. the ability to accurately distill precise observable estimates, as a hybrid quantum-classical computing benchmarking task. Specifically, we characterize single qubit…
▽ More
Distilling precise estimates from noisy intermediate scale quantum (NISQ) data has recently attracted considerable attention. In order to augment digital qubit metrics, such as gate fidelity, we discuss analog error mitigability, i.e. the ability to accurately distill precise observable estimates, as a hybrid quantum-classical computing benchmarking task. Specifically, we characterize single qubit error rates on IBM's Poughkeepsie superconducting quantum hardware, incorporate control-mediated noise dependence into a generalized rescaling protocol, and analyze how noise characteristics influence Richardson extrapolation-based error mitigation. Our results identify regions in the space of Hamiltonian control fields and circuit-depth which are most amenable to reliable noise extrapolation, as well as shedding light on how low-level hardware characterization can be used as a predictive tool for uncertainty quantification in error mitigated NISQ computations.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation
Authors:
Tiffany M. Mintz,
Alexander J. Mccaskey,
Eugene F. Dumitrescu,
Shirley V. Moore,
Sarah Powers,
Pavel Lougovski
Abstract:
Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near-term quantum computers are susceptible to noise which limits their standalone utility. To better leverage…
▽ More
Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near-term quantum computers are susceptible to noise which limits their standalone utility. To better leverage limited computational strengths of noisy quantum devices, hybrid algorithms have been suggested whereby quantum computers are used in tandem with their classical counterparts in a heterogeneous fashion. This {\it modus operandi} calls out for a programming model and a high-level programming language that natively and seamlessly supports heterogeneous quantum-classical hardware architectures in a single-source-code paradigm. Motivated by the lack of such a model, we introduce a language extension specification, called QCOR, that enables single-source quantum-classical programming. Programs written using the QCOR library and directives based language extensions can be compiled to produce functional hybrid binary executables. After defining the QCOR's programming model, memory model, and execution model, we discuss how QCOR enables variational, iterative, and feed forward quantum computing. QCOR approaches quantum-classical computation in a hardware-agnostic heterogeneous fashion and strives to build on best practices of high performance computing (HPC). The high level of abstraction in the developed language is intended to accelerate the adoption of quantum computing by researchers familiar with classical HPC.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Simudo: a device model for intermediate band materials
Authors:
Eduard C. Dumitrescu,
Matthew M. Wilkins,
Jacob J. Krich
Abstract:
We describe Simudo, a free Poisson/drift-diffusion steady state device model for semiconductor and intermediate band materials, including self-consistent optical absorption and generation. Simudo is the first freely available device model that can treat intermediate band materials. Simudo uses the finite element method (FEM) to solve the coupled nonlinear partial differential equations in two dime…
▽ More
We describe Simudo, a free Poisson/drift-diffusion steady state device model for semiconductor and intermediate band materials, including self-consistent optical absorption and generation. Simudo is the first freely available device model that can treat intermediate band materials. Simudo uses the finite element method (FEM) to solve the coupled nonlinear partial differential equations in two dimensions, which is different from the standard choice of the finite volume method in essentially all commercial semiconductor device models. We present the continuous equations that Simudo solves, show the FEM formulations we have developed, and demonstrate how they allow robust convergence with double-precision floating point arithmetic. With a benchmark semiconductor pn-junction device, we show that Simudo has a higher rate of convergence than Synopsys Sentaurus, converging to high accuracy with a considerably smaller mesh. Simudo includes many semiconductor phenomena and parameters and is designed for extensibility by the user to include many physical processes.
△ Less
Submitted 21 October, 2019; v1 submitted 27 May, 2019;
originally announced May 2019.
-
Scalar Quantum Field Theories as a Benchmark for Near-Term Quantum Computers
Authors:
Kubra Yeter-Aydeniz,
Eugene F. Dumitrescu,
Alex J. McCaskey,
Ryan S. Bennink,
Raphael C. Pooser,
George Siopsis
Abstract:
Quantum field theory (QFT) simulations are a potentially important application for noisy intermediate scale quantum (NISQ) computers. The ability of a quantum computer to emulate a QFT, therefore, constitutes a natural application-centric benchmark. Foundational quantum algorithms to simulate QFT processes rely on fault-tolerant computational resources, but to be useful on NISQ machines, error-res…
▽ More
Quantum field theory (QFT) simulations are a potentially important application for noisy intermediate scale quantum (NISQ) computers. The ability of a quantum computer to emulate a QFT, therefore, constitutes a natural application-centric benchmark. Foundational quantum algorithms to simulate QFT processes rely on fault-tolerant computational resources, but to be useful on NISQ machines, error-resilient algorithms are required. Here we outline and implement a hybrid algorithm to calculate the lowest energy levels of the paradigmatic 1+1--dimensional interacting scalar QFT. We calculate energy splittings and compare results with experimental values obtained on currently available quantum hardware. We show that the accuracy of mass-renormalization calculations represents a useful metric with which near-term hardware may be benchmarked. We also discuss the prospects of scaling the algorithm to full simulation of interacting QFTs on future hardware.
△ Less
Submitted 29 November, 2018;
originally announced November 2018.
-
Generative model benchmarks for superconducting qubits
Authors:
Kathleen E. Hamilton,
Eugene F. Dumitrescu,
Raphael C. Pooser
Abstract:
In this work we experimentally demonstrate how generative model training can be used as a benchmark for small ($<5$ qubits) quantum devices. Performance is quantified using three data analytic metrics: the Kullbeck-Leiber divergence, and two adaptations of the F1 score. Using the $2\times2$ Bars and Stripes dataset, we determine optimal circuit constructions for generative model training on superc…
▽ More
In this work we experimentally demonstrate how generative model training can be used as a benchmark for small ($<5$ qubits) quantum devices. Performance is quantified using three data analytic metrics: the Kullbeck-Leiber divergence, and two adaptations of the F1 score. Using the $2\times2$ Bars and Stripes dataset, we determine optimal circuit constructions for generative model training on superconducting qubits by including hardware connectivity constraints into circuit design. We show that on noisy hardware sparsely connected, shallow circuits out-perform denser counterparts.
△ Less
Submitted 1 July, 2019; v1 submitted 24 November, 2018;
originally announced November 2018.
-
Validating Quantum-Classical Programming Models with Tensor Network Simulations
Authors:
Alexander McCaskey,
Eugene Dumitrescu,
Mengsu Chen,
Dmitry Lyakh,
Travis S. Humble
Abstract:
The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun. As hybrid programs scale towards classical intractability, validation and benchmarking are critical to understanding the utility of the hybrid computational model. In this paper, we demonstrate a newly developed quantum circuit simulator based on tensor network theory that e…
▽ More
The exploration of hybrid quantum-classical algorithms and programming models on noisy near-term quantum hardware has begun. As hybrid programs scale towards classical intractability, validation and benchmarking are critical to understanding the utility of the hybrid computational model. In this paper, we demonstrate a newly developed quantum circuit simulator based on tensor network theory that enables intermediate-scale verification and validation of hybrid quantum-classical computing frameworks and programming models. We present our tensor-network quantum virtual machine (TNQVM) simulator which stores a multi-qubit wavefunction in a compressed (factorized) form as a matrix product state, thus enabling single-node simulations of larger qubit registers, as compared to brute-force state-vector simulators. Our simulator is designed to be extensible in both the tensor network form and the classical hardware used to run the simulation (multicore, GPU, distributed). The extensibility of the TNQVM simulator with respect to the simulation hardware type is achieved via a pluggable interface for different numerical backends (e.g., ITensor and ExaTENSOR numerical libraries). We demonstrate the utility of our TNQVM quantum circuit simulator through the verification of randomized quantum circuits and the variational quantum eigensolver algorithm, both expressed within the eXtreme-scale ACCelerator (XACC) programming model.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Benchmarking treewidth as a practical component of tensor-network--based quantum simulation
Authors:
Eugene F. Dumitrescu,
Allison L. Fisher,
Timothy D. Goodrich,
Travis S. Humble,
Blair D. Sullivan,
Andrew L. Wright
Abstract:
Tensor networks are powerful factorization techniques which reduce resource requirements for numerically simulating principal quantum many-body systems and algorithms. The computational complexity of a tensor network simulation depends on the tensor ranks and the order in which they are contracted. Unfortunately, computing optimal contraction sequences (orderings) in general is known to be a compu…
▽ More
Tensor networks are powerful factorization techniques which reduce resource requirements for numerically simulating principal quantum many-body systems and algorithms. The computational complexity of a tensor network simulation depends on the tensor ranks and the order in which they are contracted. Unfortunately, computing optimal contraction sequences (orderings) in general is known to be a computationally difficult (NP-complete) task. In 2005, Markov and Shi showed that optimal contraction sequences correspond to optimal (minimum width) tree decompositions of a tensor network's line graph, relating the contraction sequence problem to a rich literature in structural graph theory. While treewidth-based methods have largely been ignored in favor of dataset-specific algorithms in the prior tensor networks literature, we demonstrate their practical relevance for problems arising from two distinct methods used in quantum simulation: multi-scale entanglement renormalization ansatz (MERA) datasets and quantum circuits generated by the quantum approximate optimization algorithm (QAOA). We exhibit multiple regimes where treewidth-based algorithms outperform domain-specific algorithms, while demonstrating that the optimal choice of algorithm has a complex dependence on the network density, expected contraction complexity, and user run time requirements. We further provide an open source software framework designed with an emphasis on accessibility and extendability, enabling replicable experimental evaluations and future exploration of competing methods by practitioners.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Hybrid Programming for Near-term Quantum Computing Systems
Authors:
Alexander McCaskey,
Eugene Dumitrescu,
Dmitry Liakh,
Travis Humble
Abstract:
Recent computations involving quantum processing units (QPUs) have demonstrated a series of challenges inherent to hybrid classical-quantum programming, compilation, execution, and verification and validation. Despite considerable progress, system-level noise, limited low-level instructions sets, remote access models, and an overall lack of portability and classical integration presents near-term…
▽ More
Recent computations involving quantum processing units (QPUs) have demonstrated a series of challenges inherent to hybrid classical-quantum programming, compilation, execution, and verification and validation. Despite considerable progress, system-level noise, limited low-level instructions sets, remote access models, and an overall lack of portability and classical integration presents near-term programming challenges that must be overcome in order to enable reliable scientific quantum computing and support robust hardware benchmarking. In this work, we draw on our experience in programming QPUs to identify common concerns and challenges, and detail best practices for mitigating these challenge within the current hybrid classical-quantum computing paradigm. Following this discussion, we introduce the XACC quantum compilation and execution framework as a hardware and language agnostic solution that addresses many of these hybrid programming challenges. XACC supports extensible methodologies for managing a variety of programming, compilation, and execution concerns across the increasingly diverse set of QPUs. We use recent nuclear physics simulations to illustrate how the framework mitigates programming, compilation, and execution challenges and manages the complex workflow present in QPU-enhanced scientific applications. Finally, we codify the resulting hybrid scientific computing workflow in order to identify key areas requiring future improvement.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers
Authors:
N. Klco,
E. F. Dumitrescu,
A. J. McCaskey,
T. D. Morris,
R. C. Pooser,
M. Sanz,
E. Solano,
P. Lougovski,
M. J. Savage
Abstract:
We present a quantum-classical algorithm to study the dynamics of the two-spatial-site Schwinger model on IBM's quantum computers. Using rotational symmetries, total charge, and parity, the number of qubits needed to perform computation is reduced by a factor of $\sim 5$, removing exponentially-large unphysical sectors from the Hilbert space. Our work opens an avenue for exploration of other latti…
▽ More
We present a quantum-classical algorithm to study the dynamics of the two-spatial-site Schwinger model on IBM's quantum computers. Using rotational symmetries, total charge, and parity, the number of qubits needed to perform computation is reduced by a factor of $\sim 5$, removing exponentially-large unphysical sectors from the Hilbert space. Our work opens an avenue for exploration of other lattice quantum field theories, such as quantum chromodynamics, where classical computation is used to find symmetry sectors in which the quantum computer evaluates the dynamics of quantum fluctuations.
△ Less
Submitted 2 October, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Cloud Quantum Computing of an Atomic Nucleus
Authors:
E. F. Dumitrescu,
A. J. McCaskey,
G. Hagen,
G. R. Jansen,
T. D. Morris,
T. Papenbrock,
R. C. Pooser,
D. J. Dean,
P. Lougovski
Abstract:
We report a quantum simulation of the deuteron binding energy on quantum processors accessed via cloud servers. We use a Hamiltonian from pionless effective field theory at leading order. We design a low-depth version of the unitary coupled-cluster ansatz, use the variational quantum eigensolver algorithm, and compute the binding energy to within a few percent. Our work is the first step towards s…
▽ More
We report a quantum simulation of the deuteron binding energy on quantum processors accessed via cloud servers. We use a Hamiltonian from pionless effective field theory at leading order. We design a low-depth version of the unitary coupled-cluster ansatz, use the variational quantum eigensolver algorithm, and compute the binding energy to within a few percent. Our work is the first step towards scalable nuclear structure computations on a quantum processor via the cloud, and it sheds light on how to map scientific computing applications onto nascent quantum devices.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
Colossal photon bunching in quasiparticle-mediated nanodiamond cathodoluminescence
Authors:
Matthew A. Feldman,
Eugene F. Dumitrescu,
Denzel Bridges,
Matthew F. Chisholm,
Roderick B. Davidson,
Philip G. Evans,
Jordan A. Hachtel,
Anming Hu,
Raphael C. Pooser,
Richard F. Haglund,
Benjamin J. Lawrie
Abstract:
Nanoscale control over the second-order photon correlation function $g^{(2)}(τ)$ is critical to emerging research in nonlinear nanophotonics and integrated quantum information science. Here we report on quasiparticle control of photon bunching with $g^{(2)}(0)>45$ in the cathodoluminescence of nanodiamond nitrogen vacancy (NV$^0$) centers excited by a converged electron beam in an aberration-corre…
▽ More
Nanoscale control over the second-order photon correlation function $g^{(2)}(τ)$ is critical to emerging research in nonlinear nanophotonics and integrated quantum information science. Here we report on quasiparticle control of photon bunching with $g^{(2)}(0)>45$ in the cathodoluminescence of nanodiamond nitrogen vacancy (NV$^0$) centers excited by a converged electron beam in an aberration-corrected scanning transmission electron microscope. Plasmon-mediated NV$^0$ cathodoluminescence exhibits a 16-fold increase in luminescence intensity correlated with a three fold reduction in photon bunching compared with that of uncoupled NV$^0$ centers. This effect is ascribed to the excitation of single temporally uncorrelated NV$^0$ centers by single surface plasmon polaritons. Spectrally resolved Hanbury Brown--Twiss interferometry is employed to demonstrate that the bunching is mediated by the NV$^0$ phonon sidebands, while no observable bunching is detected at the zero-phonon line. The data are consistent with fast phonon-mediated recombination dynamics, a conclusion substantiated by agreement between Bayesian regression and Monte Carlo models of superthermal NV$^0$ luminescence.
△ Less
Submitted 16 February, 2018; v1 submitted 17 October, 2017;
originally announced October 2017.
-
A Language and Hardware Independent Approach to Quantum-Classical Computing
Authors:
Alexander J. McCaskey,
Eugene F. Dumitrescu,
Dmitry Liakh,
Mengsu Chen,
Wu-chun Feng,
Travis S. Humble
Abstract:
Heterogeneous high-performance computing (HPC) systems offer novel architectures which accelerate specific workloads through judicious use of specialized coprocessors. A promising architectural approach for future scientific computations is provided by heterogeneous HPC systems integrating quantum processing units (QPUs). To this end, we present XACC (eXtreme-scale ACCelerator) --- a programming m…
▽ More
Heterogeneous high-performance computing (HPC) systems offer novel architectures which accelerate specific workloads through judicious use of specialized coprocessors. A promising architectural approach for future scientific computations is provided by heterogeneous HPC systems integrating quantum processing units (QPUs). To this end, we present XACC (eXtreme-scale ACCelerator) --- a programming model and software framework that enables quantum acceleration within standard or HPC software workflows. XACC follows a coprocessor machine model that is independent of the underlying quantum computing hardware, thereby enabling quantum programs to be defined and executed on a variety of QPUs types through a unified application programming interface. Moreover, XACC defines a polymorphic low-level intermediate representation, and an extensible compiler frontend that enables language independent quantum programming, thus promoting integration and interoperability across the quantum programming landscape. In this work we define the software architecture enabling our hardware and language independent approach, and demonstrate its usefulness across a range of quantum computing models through illustrative examples involving the compilation and execution of gate and annealing-based quantum programs.
△ Less
Submitted 31 July, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Anti-bunching dynamics of plasmonically mediated entanglement generation
Authors:
Eugene Dumitrescu,
Benjamin Lawrie
Abstract:
Dissipative entanglement generation protocols embrace environmental interactions in order to generate long-lived entangled states. In this letter, we report on the anti-bunching dynamics for a pair of actively driven quantum emitters coupled to a shared dissipative plasmonic reservoir. We find that anti-bunching is a universal signature for entangled states generated by dissipative means and exami…
▽ More
Dissipative entanglement generation protocols embrace environmental interactions in order to generate long-lived entangled states. In this letter, we report on the anti-bunching dynamics for a pair of actively driven quantum emitters coupled to a shared dissipative plasmonic reservoir. We find that anti-bunching is a universal signature for entangled states generated by dissipative means and examine its use as an entanglement diagnostic. We discuss the experimental validation of plasmonically mediated entanglement generation by Hanbury Brown-Twiss interferometry with picosecond timing resolution determined by an effective two-qubit Rabi frequency, and we analyze the robustness of entanglement generation with respect to perturbations in local detunings, couplings, and driving fields.
△ Less
Submitted 26 January, 2019; v1 submitted 23 May, 2017;
originally announced May 2017.
-
A tree tensor network approach to simulating Shor's algorithm
Authors:
Eugene Dumitrescu
Abstract:
Simulating quantum systems constructively furthers our understanding of qualitative and quantitative features which may be analytically intractable. In this letter, we directly simulate and explore the entanglement structure present in a paradigmatic example of quantum information: Shor's wavefunction. The methodology employed is a dynamical tensor network which is initially constructed as a tree…
▽ More
Simulating quantum systems constructively furthers our understanding of qualitative and quantitative features which may be analytically intractable. In this letter, we directly simulate and explore the entanglement structure present in a paradigmatic example of quantum information: Shor's wavefunction. The methodology employed is a dynamical tensor network which is initially constructed as a tree tensor network, inspired by the modular exponentiation quantum circuit, and later efficiently mapped to a matrix product state. Utilizing the Schmidt number as a local entanglement metric, our construction explicitly captures the wavefunction's non-local entanglement structure and an entanglement scaling relation is discovered. Specifically, we see that entanglement across a bipartition grows exponentially in the number of qubits before saturating at a critical scale which is proportional to the modular periodicity.
△ Less
Submitted 15 May, 2017; v1 submitted 2 May, 2017;
originally announced May 2017.
-
A Computational Workflow for Designing Silicon Donor Qubits
Authors:
Travis S. Humble,
M. Nance Ericson,
Jacek Jakowski,
**gsong Huang,
Charles Britton,
Franklin G. Curtis,
Eugene F. Dumitrescu,
Fahd A. Mohiyaddin,
Bobby G. Sumpter
Abstract:
Develo** devices that can reliably and accurately demonstrate the principles of superposition and entanglement is an on-going challenge for the quantum computing community. Modeling and simulation offer attractive means of testing early device designs and establishing expectations for operational performance. However, the complex integrated material systems required by quantum device designs are…
▽ More
Develo** devices that can reliably and accurately demonstrate the principles of superposition and entanglement is an on-going challenge for the quantum computing community. Modeling and simulation offer attractive means of testing early device designs and establishing expectations for operational performance. However, the complex integrated material systems required by quantum device designs are not captured by any single existing computational modeling method. We examine the development and analysis of a multi-staged computational workflow that can be used to design and characterize silicon donor qubit systems with modeling and simulation. Our approach integrates quantum computational chemistry calculations with electrostatic field solvers to perform detailed simulations of a phosphorus dopant in silicon. We show how atomistic details can be synthesized into an operational model for the logical gates that define quantum computation in this particular technology. The resulting computational workflow realizes a design tool for silicon donor qubits that can help verify and validate current and near-term experimental devices.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
Discrimination of correlated and entangling quantum channels with selective process tomography
Authors:
Eugene Dumitrescu,
Travis S. Humble
Abstract:
The accurate and reliable characterization of quantum dynamical processes underlies efforts to validate quantum technologies, where discrimination between competing models of observed behaviors inform efforts to fabricate and operate qubit devices. We present a novel protocol for quantum channel discrimination that leverages advances in direct characterization of quantum dynamics (DCQD) codes. We…
▽ More
The accurate and reliable characterization of quantum dynamical processes underlies efforts to validate quantum technologies, where discrimination between competing models of observed behaviors inform efforts to fabricate and operate qubit devices. We present a novel protocol for quantum channel discrimination that leverages advances in direct characterization of quantum dynamics (DCQD) codes. We demonstrate that DCQD codes enable selective process tomography to improve discrimination between entangling and correlated quantum dynamics. Numerical simulations show selective process tomography requires only a few measurement configurations to achieve a low false alarm rate and that the DCQD encoding improves the resilience of the protocol to hidden sources of noise. Our results show that selective process tomography with DCQD codes is useful for efficiently distinguishing sources of correlated crosstalk from uncorrelated noise in current and future experimental platforms.
△ Less
Submitted 28 October, 2016; v1 submitted 18 July, 2016;
originally announced July 2016.
-
Direct Characterization of Quantum Dynamics with Noisy Ancilla
Authors:
Eugene Dumitrescu,
Travis S. Humble
Abstract:
We present methods for the direct characterization of quantum dynamics (DCQD) in which both the principal and ancilla systems undergo noisy processes. Using a concatenated error detection code, we discriminate between located and unlocated errors on the principal system in what amounts to filtering of ancilla noise. The example of composite noise involving amplitude dam** and depolarizing channe…
▽ More
We present methods for the direct characterization of quantum dynamics (DCQD) in which both the principal and ancilla systems undergo noisy processes. Using a concatenated error detection code, we discriminate between located and unlocated errors on the principal system in what amounts to filtering of ancilla noise. The example of composite noise involving amplitude dam** and depolarizing channels is used to demonstrate the method, while we find the rate of noise filtering is more generally dependent on code distance. Our results indicate the accuracy of quantum process characterization can be greatly improved while remaining within reach of current experimental capabilities.
△ Less
Submitted 12 August, 2015;
originally announced August 2015.
-
Equivalence of topological mirror and chiral superconductivity in one dimension
Authors:
Eugene Dumitrescu,
Gargee Sharma,
Jay D. Sau,
Sumanta Tewari
Abstract:
Recently it has been proposed that a unitary topological mirror symmetry can stabilize multiple zero energy Majorana fermion modes in one dimensional (1D) time reversal (TR) invariant topological superconductors. Here we establish an exact equivalence between 1D "topological mirror superconductivity" and chiral topological superconductivity in BDI class which can also stabilize multiple Majorana…
▽ More
Recently it has been proposed that a unitary topological mirror symmetry can stabilize multiple zero energy Majorana fermion modes in one dimensional (1D) time reversal (TR) invariant topological superconductors. Here we establish an exact equivalence between 1D "topological mirror superconductivity" and chiral topological superconductivity in BDI class which can also stabilize multiple Majorana-Kramers pairs in 1D TR-invariant topological superconductors. The equivalence proves that topological mirror superconductivity can be understood as chiral superconductivity in the BDI symmetry class co-existing with time-reversal symmetry. Furthermore, we show that the mirror Berry phase coincides with the chiral winding invariant of the BDI symmetry class, which is independent of the presence of the time-reversal symmetry. Thus, the time-reversal invariant topological mirror superconducting state may be viewed as a special case of the BDI symmetry class in the well-known Altland-Zirnbauer periodic table of free fermionic phases. We illustrate the results with the examples of 1D spin-orbit coupled quantum wires in the presence of nodeless s_{\pm} superconductivity and the recently discussed experimental system of ferromagnetic atom (Fe) chains embedded on a lead (Pb) superconductor.
△ Less
Submitted 5 January, 2015;
originally announced January 2015.
-
Majorana Fermions in Chiral Topological Ferromagnetic Nanowires
Authors:
Eugene Dumitrescu,
Brenden Roberts,
Sumanta Tewari,
Jay D. Sau,
S. Das Sarma
Abstract:
Motivated by a recent experiment in which zero-bias peaks have been observed in scanning tunneling microscopy (STM) experiments performed on chains of magnetic atoms on a superconductor, we show, by generalizing earlier work, that a multichannel ferromagnetic wire deposited on a spin-orbit coupled superconducting substrate can realize a non-trivial chiral topological superconducting state with Maj…
▽ More
Motivated by a recent experiment in which zero-bias peaks have been observed in scanning tunneling microscopy (STM) experiments performed on chains of magnetic atoms on a superconductor, we show, by generalizing earlier work, that a multichannel ferromagnetic wire deposited on a spin-orbit coupled superconducting substrate can realize a non-trivial chiral topological superconducting state with Majorana bound states localized at the wire ends. The non-trivial topological state occurs for generic parameters requiring no fine tuning, at least for very large exchange spin splitting in the wire. We theoretically obtain the signatures which appear in the presence of an arbitrary number of Majorana modes in multi-wire systems incorporating the role of finite temperature, finite potential barrier at the STM tip, and finite wire length. These signatures are presented in terms of spatial profiles of STM differential conductance which clearly reveal zero energy Majorana end modes and the prediction of a multiple Majorana based fractional Josephson effect. A substantial part of this work is devoted to a detailed critical comparison between our theory and the recent STM experiment claiming the observation of Majorana fermions. The conclusion of this detailed comparison is that although the experimental observations are not manifestly inconsistent with our theoretical findings, the very small topological superconducting gap and the very high temperature of the experiment make it impossible to decisively verify the existence of a localized Majorana zero mode, as the spectral weight of the Majorana mode is necessarily spread over a very broad energy regime exceeding the size of the gap. Thus, although the experimental findings are indeed consistent with a highly broadened and weakened Majorana zero bias peak, much lower experimental temperatures are necessary for any definitive conclusion.
△ Less
Submitted 13 March, 2015; v1 submitted 20 October, 2014;
originally announced October 2014.
-
Hidden Symmetry Decoupling of Majorana Fermions
Authors:
E. Dumitrescu,
T. D. Stanescu,
S. Tewari
Abstract:
Multiple zero-energy Majorana fermions (MFs) with spatially overlap** wave functions can survive only if their splitting is prevented by an underlying symmetry. Here we show that, in quasi-one-dimensional (Q1D) time reversal invariant topological superconductors (class DIII), a realistic model for superconducting lithium molybdenum purple bronze and certain families of organic superconductors, m…
▽ More
Multiple zero-energy Majorana fermions (MFs) with spatially overlap** wave functions can survive only if their splitting is prevented by an underlying symmetry. Here we show that, in quasi-one-dimensional (Q1D) time reversal invariant topological superconductors (class DIII), a realistic model for superconducting lithium molybdenum purple bronze and certain families of organic superconductors, multiple Majorana-Kramers pairs with strongly overlap** wave functions persist at zero energy even in the absence of an easily identifiable symmetry. We find that similar results hold in the case of Q1D semiconductor-superconductor heterostructures (class D) with transverse hop** t_{perp} much smaller than longitudinal hop** t_x. Our results, explained in terms of special properties of the Hamiltonian and wave functions, underscore the importance of hidden accidental symmetries in topological superconductors.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
Magnetic Field Response and Chiral Symmetry of Time Reversal Invariant Topological Superconductors
Authors:
Eugene Dumitrescu,
Jay D. Sau,
Sumanta Tewari
Abstract:
We study the magnetic field response of the Majorana Kramers pairs of a one-dimensional time-reversal invariant (TRI) superconductors (class DIII) with or without a coexisting chirality symmetry. For unbroken TR and chirality invariance the parameter regimes for nontrivial values of the (Z_2) DIII-invariant and the (Z) chiral invariant coincide. However, broken TR may or may not be accompanied by…
▽ More
We study the magnetic field response of the Majorana Kramers pairs of a one-dimensional time-reversal invariant (TRI) superconductors (class DIII) with or without a coexisting chirality symmetry. For unbroken TR and chirality invariance the parameter regimes for nontrivial values of the (Z_2) DIII-invariant and the (Z) chiral invariant coincide. However, broken TR may or may not be accompanied by broken chirality, and if chiral symmetry is unbroken, the pair of Majorana fermions (MFs) at a given end survives the loss of TR symmetry in an entire plane perpendicular to the spin-orbit coupling field. Conversely, we show that broken chirality may or may not be accompanied by broken TR, and if TR is unbroken, the pair of MFs survives the loss of broken chirality. In addition to explaining the anomalous magnetic field response of all the DIII class TS systems proposed in the literature, we provide a realistic route to engineer a "true" TR-invariant TS, whose pair of MFs at each end is split by an applied Zeeman field in arbitrary direction. We also prove that, quite generally, the splitting of the MFs by TR-breaking fields in TRI superconductors is highly anisotropic in spin space, even in the absence of the topological chiral symmetry.
△ Less
Submitted 4 November, 2013; v1 submitted 29 October, 2013;
originally announced October 2013.
-
Topological Properties of Time Reversal Symmetric Kitaev Chain and Applications to Organic Superconductors
Authors:
E. Dumitrescu,
Sumanta Tewari
Abstract:
We show that the pair of Majorana modes at each end of a 1D spin triplet superconductor with total Cooper pair spin S_x=0 (i.e., Delta_{up,up} = -Delta_{down,down} = p*Delta_0; two uncoupled time reversed copies of the Kitaev p-wave chain) are topologically robust to perturbations such as mixing by the S_z=0 component of the order parameter (Delta_{up,down}=Delta_{down,up}), transverse hop** (in…
▽ More
We show that the pair of Majorana modes at each end of a 1D spin triplet superconductor with total Cooper pair spin S_x=0 (i.e., Delta_{up,up} = -Delta_{down,down} = p*Delta_0; two uncoupled time reversed copies of the Kitaev p-wave chain) are topologically robust to perturbations such as mixing by the S_z=0 component of the order parameter (Delta_{up,down}=Delta_{down,up}), transverse hop** (in quasi-1D systems), non-magnetic disorder, and also, most importantly, to time reversal breaking perturbations such as applied Zeeman fields/magnetic impurities and the mixing by the S_y=0 component of the triplet order parameter (Delta_{up,up}=Delta_{down,down}). We show that the robustness to time reversal breaking results from a hidden chiral symmetry which places the system in the BDI topological class with an integer Z invariant. Our work has important implications for the quasi-1D organic superconductors (TMTSF)_2X (X=PF_6, CIO_4) (Bechgaard salts) which have been proposed as triplet superconductors with equal spin pairing (Delta_{up,up},Delta_{down,down} \neq 0, Delta_{up,down}=0) in applied magnetic fields.
△ Less
Submitted 16 September, 2013; v1 submitted 2 September, 2013;
originally announced September 2013.
-
Topological thermoelectric effects in spin-orbit coupled electron and hole doped semiconductors
Authors:
E. Dumitrescu,
Chuanwei Zhang,
D. C. Marinescu,
Sumanta Tewari
Abstract:
We compute the intrinsic contributions to the Berry-phase mediated anomalous Hall and Nernst effects in electron- and hole-doped semiconductors in the presence of an in-plane magnetic field as well as Rashba and Dresselhaus spin orbit couplings. For both systems we find that the regime of chemical potential which supports the topological superconducting state in the presence of superconducting pro…
▽ More
We compute the intrinsic contributions to the Berry-phase mediated anomalous Hall and Nernst effects in electron- and hole-doped semiconductors in the presence of an in-plane magnetic field as well as Rashba and Dresselhaus spin orbit couplings. For both systems we find that the regime of chemical potential which supports the topological superconducting state in the presence of superconducting proximity effect can be characterized by plateaus in the topological Hall and Nernst coefficients flanked by well-defined peaks marking the emergence of the topological regime. The plateaus arise from a clear momentum space separation between the region where the Berry curvature is peaked (at the `near-band-degeneracy' points) and the region where the single (or odd number of) Fermi surface lies in the Brillouin zone. The plateau for the Nernst coefficient is at vanishing magnitudes surrounded by two peaks of opposite signs as a function of the chemical potential. These results could be useful for experimentally deducing the chemical potential regime suitable for realizing topological states in the presence of proximity effect.
△ Less
Submitted 27 March, 2012;
originally announced March 2012.
-
Hole-doped semiconductor nanowire on top of an s-wave superconductor: A new and experimentally accessible system for Majorana fermions
Authors:
Li Mao,
Ming Gong,
E. Dumitrescu,
Sumanta Tewari,
Chuanwei Zhang
Abstract:
Majorana fermions were envisioned by E. Majorana in 1935 to describe neutrinos. Recently it has been shown that they can be realized even in a class of electron-doped semiconductors, on which ordinary s-wave superconductivity is proximity induced, provided the time reversal symmetry is broken by an external Zeeman field above a threshold. Here we show that in a hole-doped semiconductor nanowire th…
▽ More
Majorana fermions were envisioned by E. Majorana in 1935 to describe neutrinos. Recently it has been shown that they can be realized even in a class of electron-doped semiconductors, on which ordinary s-wave superconductivity is proximity induced, provided the time reversal symmetry is broken by an external Zeeman field above a threshold. Here we show that in a hole-doped semiconductor nanowire the threshold Zeeman field for Majorana fermions can be very small for some magic values of the hole density. In contrast to the electron-doped systems, smaller Zeeman fields and much stronger spin-orbit coupling and effective mass of holes allow the hole-doped systems to support Majorana fermions in a parameter regime which is routinely realized in current experiments.
△ Less
Submitted 14 March, 2012; v1 submitted 17 May, 2011;
originally announced May 2011.