Search

The great promise of quantum computers comes with the dual challenges of building them and finding their useful applications. We argue that these two challenges should be considered together, by co-designing full-stack quantum computer systems along with their applications in order to hasten their development and potential for scientific discovery. In this context, we identify scientific and community needs, opportunities, a sampling of a few use case studies, and significant challenges for the development of quantum computers for science over the next 2--10 years. This document is written by a community of university, national laboratory, and industrial researchers in the field of Quantum Information Science and Technology, and is based on a summary from a U.S. National Science Foundation workshop on Quantum Computing held on October 21--22, 2019 in Alexandria, VA.

Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and solve hard scientific, engineering, and computational problems. Rapid development over the last two decades has produced more than 300 quantum simulators in operation worldwide using a wide variety of experimental platforms. Recent advances in several physical architectures promise a golden age of quantum simulators ranging from highly optimized special purpose simulators to flexible programmable devices. These developments have enabled a convergence of ideas drawn from fundamental physics, computer science, and device engineering. They have strong potential to address problems of societal importance, ranging from understanding vital chemical processes, to enabling the design of new materials with enhanced performance, to solving complex computational problems. It is the position of the community, as represented by participants of the NSF workshop on "Programmable Quantum Simulators," that investment in a national quantum simulator program is a high priority in order to accelerate the progress in this field and to result in the first practical applications of quantum machines. Such a program should address two areas of emphasis: (1) support for creating quantum simulator prototypes usable by the broader scientific community, complementary to the present universal quantum computer effort in industry; and (2) support for fundamental research carried out by a blend of multi-investigator, multi-disciplinary collaborations with resources for quantum simulator software, hardware, and education., Comment: 41 pages -- references and acknowledgments added in v2

In "Playing Pool with $\pi$", Galperin invented an extraordinary method to learn the digits of $\pi$ by counting the collisions of billiard balls. Here I demonstrate an exact isomorphism between Galperin's bouncing billiards and Grover's algorithm for quantum search. This provides an illuminating way to visualize Grover's algorithm., Comment: 11 pages, 8 figures, $d$ billiards; v2: minor improvements, as published

According to Harlow and Hayden [arXiv:1301.4504] the task of distilling information out of Hawking radiation appears to be computationally hard despite the fact that the quantum state of the black hole and its radiation is relatively un-complex. We trace this computational difficulty to a geometric obstruction in the Einstein-Rosen bridge connecting the black hole and its radiation. Inspired by tensor network models, we conjecture a precise formula relating the computational hardness of distilling information to geometric properties of the wormhole - specifically to the exponential of the difference in generalized entropies between the two non-minimal quantum extremal surfaces that constitute the obstruction. Due to its shape, we call this obstruction the "Python's Lunch", in analogy to the reptile's postprandial bulge., Comment: 65 pages

We study a class of gauge fixings of the Bacon-Shor code at the circuit level, which includes a subfamily of generalized surface codes. We show that for these codes, fault tolerance can be achieved by direct measurements of the stabilizers. By simulating our fault-tolerant scheme under biased noise, we show the possibility of optimizing the performance of the surface code by stretching the bulk stabilizer geometry. To decode the syndrome efficiently and accurately, we generalize the union-find decoder to biased noise models. Our decoder obtains a $0.83\%$ threshold value for the surface code in quadratic time complexity.

With the long-term goal of studying models of quantum gravity in the lab, we propose holographic teleportation protocols that can be readily executed in table-top experiments. These protocols exhibit similar behavior to that seen in the recent traversable wormhole constructions of [1,2]: information that is scrambled into one half of an entangled system will, following a weak coupling between the two halves, unscramble into the other half. We introduce the concept of teleportation by size to capture how the physics of operator-size growth naturally leads to information transmission. The transmission of a signal through a semi-classical holographic wormhole corresponds to a rather special property of the operator-size distribution we call size winding. For more general systems (which may not have a clean emergent geometry), we argue that imperfect size winding is a generalization of the traversable wormhole phenomenon. In addition, a form of signalling continues to function at high temperature and at large times for generic chaotic systems, even though it does not correspond to a signal going through a geometrical wormhole, but rather to an interference effect involving macroscopically different emergent geometries. Finally, we outline implementations feasible with current technology in two experimental platforms: Rydberg atom arrays and trapped ions., Comment: 33 pages, 5 figures. This paper has a companion paper (Part II) by the same authors

To date, individual addressing of ion qubits has relied primarily on local Rabi or transition frequency differences between ions created via electromagnetic field spatial gradients or via ion transport operations. Alternatively, it is possible to synthesize arbitrary local one-qubit gates by leveraging local phase differences in a global driving field. Here we report individual addressing of $^{40}$Ca$^+$ ions in a two-ion crystal using axial potential modulation in a global gate laser field. We characterize the resulting gate performance via one-qubit randomized benchmarking, applying different random sequences to each co-trapped ion. We identify the primary error sources and compare the results with single-ion experiments to better understand our experimental limitations. These experiments form a foundation for the universal control of two ions, confined in the same potential well, with a single gate laser beam., Comment: 27 pages, 3 figures

We describe experiments and simulations of dynamical merging with two Taylor state plasmas in the SSX device. Taylor states are formed by magnetized plasma guns at opposite ends of the device. We have performed experiments with Taylor states of either sense of magnetic helicity (right-handed twist or left-handed twist). We present results of both counter-helicity merging (one side left-handed, the other right-handed) and co-helicity merging (both sides left-handed). Experiments show significant ion heating, consistent with magnetic reconnection. Magnetohydrodynamic simulations of these experiments reveal the structure of the final relaxed, merged state., Comment: 12 pages, 8 figures, submitted to MDPI Plasma. arXiv admin note: text overlap with arXiv:1811.07008

We simulate four quantum error correcting codes under error models inspired by realistic noise sources in near-term ion trap quantum computers: $T_2$ dephasing, gate overrotation, and crosstalk. We use this data to find preferred codes for given error parameters along with logical error biases and a pseudothreshold which compares the physical and logical gate failure rates for a CNOT gate. Using these results we conclude that Bacon-Shor-13 is the most promising near term candidate as long as the impact of crosstalk can be mitigated through other means., Comment: 12 pages, 10 figures

During the slow neutron capture process in massive stars, reactions on light elements can both produce and absorb neutrons thereby influencing the final heavy element abundances. At low metallicities, the high neutron capture rate of 16-O can inhibit s-process nucleosynthesis unless the neutrons are recycled via the 17O(a,n)20Ne reaction. The efficiency of this neutron recycling is determined by competition between the 17O(a,n)20Ne and 17O(a,g)21Ne reactions. While some experimental data are available on the former reaction, no data exist for the radiative capture channel at the relevant astrophysical energies. The 17O(a,g)21Ne reaction has been studied directly using the DRAGON recoil separator at the TRIUMF Laboratory. The reaction cross section has been determined at energies between 0.6 and 1.6 MeV Ecm, reaching into the Gamow window for core helium burning for the first time. Resonance strengths for resonances at 0.63, 0.721, 0.81 and 1.122 MeV Ecm have been extracted. The experimentally based reaction rate calculated represents a lower limit, but suggests that significant s-process nucleosynthesis occurs in low metallicity massive stars., Comment: 7 pages, 5 figures

Measurement-based quantum computing (MBQC) is a promising alternative to traditional circuit-based quantum computing predicated on the construction and measurement of cluster states. Recent work has demonstrated that MBQC provides a more general framework for fault-tolerance that extends beyond foliated quantum error-correcting codes. We systematically expand on that paradigm, and use combinatorial tiling theory to study and construct new examples of fault-tolerant cluster states derived from crystal structures. Included among these is a robust self-dual cluster state requiring only degree-3 connectivity. We benchmark several of these cluster states in the presence of circuit-level noise, and find a variety of promising candidates whose performance depends on the specifics of the noise model. By eschewing the distinction between data and ancilla, this malleable framework lays a foundation for the development of creative and competitive fault-tolerance schemes beyond conventional error-correcting codes., Comment: 37 pages, edits and expanded descriptions

We present a high-resolution in-beam $\gamma$-ray spectroscopy study of excited states in the mirror nuclei $^{55}$Co and $^{55}$Ni following one-nucleon knockout from a projectile beam of $^{56}$Ni. The newly determined partial cross sections and the $\gamma$-decay properties of excited states provide a test of state-of-the-art nuclear structure models and probe mirror symmetry in unique ways. A mirror asymmetry for the partial cross sections leading to the two lowest $3/2^-$ states in the $A = 55$ mirror pair was identified as well as a significant difference in the $E1$ decays from the $1/2^+_1$ state to the same two $3/2^-$ states. The mirror asymmetry in the partial cross sections cannot be reconciled with the present shell-model picture or small mixing introduced in a two-state model. The observed mirror asymmetry in the $E1$ decay pattern, however, points at stronger mixing between the two lowest $3/2^-$ states in $^{55}$Co than in its mirror $^{55}$Ni.

In this article we describe the design, construction and implementation of our ion-atom hybrid system incorporating a high resolution time of flight mass spectrometer (TOFMS). Potassium atoms ($^{39}$K) in a Magneto Optical Trap (MOT) and laser cooled calcium ions ($^{40}$Ca$^+$) in a linear Paul trap are spatially overlapped and the combined trap is integrated with a TOFMS for radial extraction and detection of reaction products. We also present some experimental results showing interactions between $^{39}$K$^+$ and $^{39}$K, $^{40}$Ca$^+$ and $^{39}$K$^+$ as well as $^{40}$Ca$^+$ and $^{39}$K pairs. Finally, we discuss prospects for cooling CaH$^+$ molecular ions in the hybrid ion-atom system.

The missing data issue often complicates the task of estimating generalized linear models (GLMs). We describe why the pseudo-marginal Metropolis-Hastings algorithm, used in this setting, is an effective strategy for parameter estimation. This approach requires fewer assumptions, it provides joint inferences on the parameters in the likelihood, the covariate model, and the parameters of the missingness-mechanism, and there is no logical inconsistency of assuming that there are multiple posterior distributions. Moreover, this approach is asymptotically exact, just like most other Markov chain Monte Carlo techniques. We discuss computing strategies, conduct a simulation study demonstrating how standard errors change as a function of percent missingness, and we use our approach on a "real-world" data set to describe how a collection of variables influences the car crash outcomes.

Accurate control of quantum systems requires precise measurement of the parameters that govern the dynamics, including control fields and interactions with the environment. Parameters will drift in time and experiments interleave protocols that perform parameter estimation with protocols that measure the dynamics of interest. Here we specialize to a system made of qubits where the dynamics correspond to a quantum computation. We propose setting aside some qubits, which we call spectator qubits, to be measured periodically during the computation, to act as probes of the changing experimental and environmental parameters. By using control strategies that minimize the sensitivity of the qubits involved in the computation, we can acquire sufficient information from the spectator qubits to update our estimates of the parameters and improve our control. As a result, we can increase the length of experiment where the dynamics of the data qubits are highly reliable. In particular, we simulate how spectator qubits can keep the error level of operations on data qubits below a $10^{-4}$ threshold in two scenarios involving coherent errors: a classical magnetic field gradient dynamically decoupled with sequences of two or four $\pi$-pulses, and laser beam instability detected via crosstalk with neighboring atoms in an ion trap., Comment: 17 pages, 8 figures, comments welcome

We show that \[\sum_{\substack{p_n\le x\\ p_{n+1}-p_n\ge\sqrt{p_n}}}(p_{n+1}-p_n)\ll_{\varepsilon} x^{3/5+\varepsilon}\] for any fixed $\varepsilon>0$. This improves a result of Matom\"{a}ki, in which the exponent was $2/3$.

Quantum computation is traditionally expressed in terms of quantum bits, or qubits. In this work, we instead consider three-level qu$trits$. Past work with qutrits has demonstrated only constant factor improvements, owing to the $\log_2(3)$ binary-to-ternary compression factor. We present a novel technique using qutrits to achieve a logarithmic depth (runtime) decomposition of the Generalized Toffoli gate using no ancilla--a significant improvement over linear depth for the best qubit-only equivalent. Our circuit construction also features a 70x improvement in two-qudit gate count over the qubit-only equivalent decomposition. This results in circuit cost reductions for important algorithms like quantum neurons and Grover search. We develop an open-source circuit simulator for qutrits, along with realistic near-term noise models which account for the cost of operating qutrits. Simulation results for these noise models indicate over 90% mean reliability (fidelity) for our circuit construction, versus under 30% for the qubit-only baseline. These results suggest that qutrits offer a promising path towards scaling quantum computation., Comment: In ISCA '19: 46th International Symposium on Computer Architecture, 13 pages, 11 figures

Ion trap systems are a leading platform for large scale quantum computers. Trapped ion qubit crystals are fully-connected and reconfigurable, owing to their long range Coulomb interaction that can be modulated with external optical forces. However, the spectral crowding of collective motional modes could pose a challenge to the control of such interactions for large numbers of qubits. Here, we show that high-fidelity quantum gate operations are still possible with very large trapped ion crystals, simplifying the scaling of ion trap quantum computers. To this end, we present analytical work that determines how parallel entangling gates produce a crosstalk error that falls off as the inverse cube of the distance between the pairs. We also show experimental work demonstrating entangling gates on a fully-connected chain of seventeen $^{171}{\rm{Yb}}^{+}$ ions with fidelities as high as $97(1)\%$., Comment: 10 pages, 6 figures

Leakage errors take qubits out of the computational subspace and will accumulate if not addressed. A leaked qubit will reduce the effectiveness of quantum error correction protocols due to the cost of implementing leakage reduction circuits and the harm caused by interacting leaked states with qubit states. Ion trap qubits driven by Raman gates have a natural choice between qubits encoded in magnetically insensitive hyperfine states that can leak and qubits encoded in magnetically sensitive Zeeman states of the electron spin that cannot leak. In our previous work, we compared these two qubits in the context of the toric code with a depolarizing leakage error model and found that for magnetic field noise with a standard deviation less than 32 $\mu$G that the $^{174}$Yb$^+$ Zeeman qubit outperforms the $^{171}$Yb$^+$ hyperfine qubit. Here we examine a physically motivated leakage error model based on ions interacting via the Molmer-Sorenson gate. We find that this greatly improves the performance of hyperfine qubits but the Zeeman qubits are more effective for magnetic field noise with a standard deviation less than 10 $\mu$G. At these low magnetic fields, we find that the best choice is a mixed qubit scheme where the hyperfine qubits are the ancilla and the leakage is handled without the need of an additional leakage reduction circuit., Comment: 8 pages, 6 figures, comments welcome

We report experimental evidence that an ErAs quantum-dot array in a GaAs matrix under 1550 nm pulsed excitation produces cooperative spontaneous emission-Dicke superradiance-in the terahertz frequency region at room temperature., Comment: 8 pages, 4 figures

The computational complexity of a quantum state quantifies how hard it is to make. `Complexity geometry', first proposed by Nielsen, is an approach to defining computational complexity using the tools of differential geometry. Here we demonstrate many of the attractive features of complexity geometry using the example of a single qubit, which turns out to be rich enough to be illustrative but simple enough to be illuminating., Comment: 45 pages, 8 figures, 1 qubit. v2: added extraneous appendix about optimal shapes for tunnels bored through Earth

This paper briefly reviews a number of fundamental measurements that need to be made in order to characterize turbulence in space plasmas such as the solar wind. It has long been known that many of these quantities require simultaneous multipoint measurements to attain a proper characterization that would reveal the fundamental physics of plasma turbulence. The solar wind is an ideal plasma for such an investigation, and it now appears to be technologically feasible to carry out such an investigation, following the pioneering Cluster and MMS missions. Quantities that need to be measured using multipoint measurements include the two-point, two-time second correlation function of velocity, magnetic field and density, and higher order statistical objects such as third and fourth order structure functions. Some details of these requirements are given here, with a eye towards achieving closure on fundamental questions regarding the cascade rate, spectral anisotropy, characteristic coherent structures, intermittency, and dissipation mechanisms that describe plasma turbuelence, as well as its variability with plasma parameters in the solar wind. The motivation for this discussion is the current planning for a proposed Helioswarm mission that would be designed to make these measurements,leading to breakthrough understanding of the physics of space and astrophysical turbulence., Comment: White paper submitted to the PLASMA 2020 Decadal Survey Committee

Ultra-compact binaries (UCBs) are systems containing compact or degenerate stars with orbital periods less than one hour. Tens of millions of UCBs are predicted to exist within theGalaxy emitting gravitational waves (GWs) at mHz frequencies. Combining GW searches with electromagnetic (EM) surveys like Gaia and LSST will yield a comprehensive, multimessenger catalog of UCBs in the galaxy. Joint EM and GW observations enable measurements of masses, radii, and orbital dynamics far beyond what can be achieved by independent EM or GW studies. GW+EM surveys of UCBs in the galaxy will yield a trove of unique insights into the nature of white dwarfs, the formation of compact objects, dynamical interactions in binaries, and energetic, accretion-driven phenomena like Type Ia superonovae., Comment: 5 pages, 1 figure, submitted to the Astro2020 call for science white papers

Leakage is a particularly damaging error that occurs when a qubit state falls out of its two-level computational subspace. Compared to independent depolarizing noise, leaked qubits may produce many more configurations of harmful correlated errors during error-correction. In this work, we investigate different local codes in the low-error regime of a leakage gate error model. When restricting to bare-ancilla extraction, we observe that subsystem codes are good candidates for handling leakage, as their locality can limit damaging correlated errors. As a case study, we compare subspace surface codes to the subsystem surface codes introduced by Bravyi et al. In contrast to depolarizing noise, subsystem surface codes outperform same-distance subspace surface codes below error rates as high as $\lessapprox 7.5 \times 10^{-4}$ while offering better per-qubit distance protection. Furthermore, we show that at low to intermediate distances, Bacon-Shor codes offer better per-qubit error protection against leakage in an ion-trap motivated error model below error rates as high as $\lessapprox 1.2 \times 10^{-3}$. For restricted leakage models, this advantage can be extended to higher distances by relaxing to unverified two-qubit cat state extraction in the surface code. These results highlight an intrinsic benefit of subsystem code locality to error-corrective performance., Comment: 22 pages, comments welcome

The use of factor stochastic volatility models requires choosing the number of latent factors used to describe the dynamics of the financial returns process; however, empirical evidence suggests that the number and makeup of pertinent factors is time-varying and economically situational. We present a novel factor stochastic volatility model that allows for random subsets of assets to have their members experience non-market-wide panics. These participating assets will experience an increase in their variances and within-group covariances. We also give an estimation algorithm for this model that takes advantage of recent results on Particle Markov chain Monte Carlo techniques.

Quantum computing leverages the quantum resources of superposition and entanglement to efficiently solve computational problems considered intractable for classical computers. Examples include calculating molecular and nuclear structure, simulating strongly-interacting electron systems, and modeling aspects of material function. While substantial theoretical advances have been made in mapping these problems to quantum algorithms, there remains a large gap between the resource requirements for solving such problems and the capabilities of currently available quantum hardware. Bridging this gap will require a co-design approach, where the expression of algorithms is developed in conjunction with the hardware itself to optimize execution. Here, we describe a scalable co-design framework for solving chemistry problems on a trapped ion quantum computer, and apply it to compute the ground-state energy of the water molecule. The robust operation of the trapped ion quantum computer yields energy estimates with errors approaching the chemical accuracy, which is the target threshold necessary for predicting the rates of chemical reaction dynamics., Comment: 14 pages, 7 figures

We present minute cadence photometry of 31732 point sources observed in one 3 $deg^{2}$ DECam pointing centred at RA = 09:03:02 and Dec = -04:35:00 over eight consecutive half-nights. We use these data to search for eclipse-like events consistent with a planetary transit of a white dwarf and other sources of stellar variability within the field. We do not find any significant evidence for minute-long transits around our targets, hence we rule out planetary transits around ~370 white dwarfs that should be present in this field. Additionally, we identify 49 variables, including 40 new systems. These include 23 detached or contact stellar binaries, 1 eclipsing white dwarf + M dwarf binary, 16 $\delta$ Scuti, three RR Lyrae, and two ZZ Ceti pulsators. Results from the remaining two fields in our survey will allow us to place more stringent constraints on the frequency of planets orbiting white dwarfs in the habitable zone., Comment: 11 pages, 14 figures, 1 table. Accepted for publication in Monthly Notices of the Royal Astronomical Society Main Journal