Search

We implement a two-qubit entangling M{\o}lmer-S{\o}rensen interaction by transporting two co-trapped $^{40}\mathrm{Ca}^{+}$ ions through a stationary, bichromatic optical beam within a surface-electrode Paul trap. We describe a procedure for achieving a constant Doppler shift during the transport which uses fine temporal adjustment of the moving confinement potential. The fixed interaction duration of the ions transported through the laser beam as well as the dynamically changing ac Stark shift require alterations to the calibration procedures used for a stationary gate. We use the interaction to produce Bell states with fidelities commensurate to those of stationary gates performed in the same system. This result establishes the feasibility of actively incorporating ion transport into quantum information entangling operations., Comment: 5 pages, 3 figures

We report the discovery of SDSS J133725.26+395237.7 (hereafter SDSS J1337+3952), a double-lined white dwarf (WD+WD) binary identified in early data from the fifth generation Sloan Digital Sky Survey (SDSS-V). The double-lined nature of the system enables us to fully determine its orbital and stellar parameters with follow-up Gemini spectroscopy and Swift UVOT ultraviolet fluxes. The system is nearby ($d = 113$ pc), and consists of a $0.51\, M_\odot$ primary and a $0.32\, M_\odot$ secondary. SDSS J1337+3952 is a powerful source of gravitational waves in the millihertz regime, and will be detectable by future space-based interferometers. Due to this gravitational wave emission, the binary orbit will shrink down to the point of interaction in $\approx 220$ Myr. The inferred stellar masses indicate that SDSS J1337+3952 will likely not explode as a Type Ia supernova (SN Ia). Instead, the system will probably merge and evolve into a rapidly rotating helium star, and could produce an under-luminous thermonuclear supernova along the way. The continuing search for similar systems in SDSS-V will grow the statistical sample of double-degenerate binaries across parameter space, constraining models of binary evolution and SNe Ia., Comment: Accepted to ApJ

We report the discovery of the brightest detached binary white dwarfs with periods less than an hour, which provide two new gravitational wave verification binaries for the Laser Interferometer Space Antenna (LISA). The first one, SMSS J033816.16$-$813929.9 (hereafter J0338), is a 30.6 min orbital period, $g=17.2$ mag detached double white dwarf binary with a Gaia parallax measurement that places it at a distance of 533 pc. The observed radial velocity and photometric variability provide precise constraints on the system parameters. J0338 contains a $0.230 \pm 0.015~M_{\odot}$ white dwarf with a $0.38_{-0.03}^{+0.05}~M_{\odot}$ companion at an inclination of $69 \pm 9^{\circ}$. The second system, SDSS J063449.92+380352.2 (hereafter J0634), is a 26.5 min orbital period, $g=17.0$ mag detached double white dwarf binary at a distance of 435 pc. J0634 contains a $0.452^{+0.070}_{-0.062}~M_{\odot}$ white dwarf with a $0.209^{+0.034}_{-0.021}~M_{\odot}$ companion at an inclination of $37 \pm 7^{\circ}$. The more massive white dwarf in J0634 is hotter than its companion, even though tidal dissipation is predicted to be relatively inefficient at such periods. This suggests that the more massive white dwarf formed last. J0338 and J0634 will be detected by LISA with a signal-to-noise ratio of 5 and 19, respectively, after four years. We identified these two systems based on their overluminosity and $u$-band photometry. Follow-up of $u$-band selected Gaia targets will likely yield additional LISA verification binaries., Comment: ApJ Letters, in press

This paper considers a nudging-based scheme for data assimilation for the two-dimensional (2D) Navier-Stokes equations (NSE) with periodic boundary conditions and studies the synchronization of the signal produced by this algorithm with the true signal, to which the observations correspond, in all higher-order Sobolev topologies. This work complements previous results in the literature where conditions were identified under which synchronization is guaranteed either with respect to only the $H^1$--topology, in the case of general observables, or to the analytic Gevrey topology, in the case of spectral observables. To accommodate the property of synchronization in the stronger topologies, the framework of general interpolant observable operators, originally introduced by Azouani, Olson, and Titi, is expanded to a far richer class of operators. A significant effort is dedicated to the development of this more expanded framework, specifically, their basic approximation properties, the identification of subclasses of such operators relevant to obtaining synchronization, as well as the detailed relation between the structure of these operators and the system regarding the syncrhonization property. One of the main features of this framework is its "mesh-free" aspect, which allows the observational data itself to dictate the subdivision of the domain. Lastly, estimates for the radius of the absorbing ball of the 2D NSE in all higher-order Sobolev norms are obtained, thus properly generalizing previously known bounds; such estimates are required for establishing the synchronization property of the algorithm in the higher-order topologies., Comment: 36 pages, some definitions revised, results adjusted accordingly, title changed

The rapidly growing quantum information science and engineering (QISE) industry will require both quantum-aware and quantum-proficient engineers at the bachelor's level. We provide a roadmap for building a quantum engineering education program to satisfy this need. For quantum-aware engineers, we describe how to design a first quantum engineering course accessible to all STEM students. For the education and training of quantum-proficient engineers, we detail both a quantum engineering minor accessible to all STEM majors, and a quantum track directly integrated into individual engineering majors. We propose that such programs typically require only three or four newly developed courses that complement existing engineering and science classes available on most larger campuses. We describe a conceptual quantum information science course for implementation at any post-secondary institution, including community colleges and military schools. QISE presents extraordinary opportunities to work towards rectifying issues of inclusivity and equity that continue to be pervasive within engineering. We present a plan to do so and describe how quantum engineering education presents an excellent set of education research opportunities. Finally, we outline a hands-on training plan on quantum hardware, a key component of any quantum engineering program, with a variety of technologies including optics, atoms and ions, cryogenic and solid-state technologies, nanofabrication, and control and readout electronics. Our recommendations provide a flexible framework that can be tailored for academic institutions ranging from teaching and undergraduate-focused two- and four-year colleges to research-intensive universities., Comment: 25 pages, 2 figures

Trellis decoders are a general decoding technique first applied to qubit-based quantum error correction codes by Ollivier and Tillich in 2006. Here we improve the scalability and practicality of their theory, show that it has strong structure, extend the results using classical coding theory as a guide, and demonstrate a canonical form from which the structural properties of the decoding graph may be computed. The resulting formalism is valid for any prime-dimensional quantum system. The modified decoder works for any stabilizer code $S$ and separates into two parts: a one-time, offline computation which builds a compact, graphical representation of the normalizer of the code, $S^\perp$, and a quick, parallel, online query of the resulting vertices using the Viterbi algorithm. We show the utility of trellis decoding by applying it to four high-density, length 20 stabilizer codes for depolarizing noise and the well-studied Steane, rotated surface, and 4.8.8/6.6.6 color codes for $Z$-only noise. Numerical simulations demonstrate a 20\% improvement in the code-capacity threshold for color codes with boundaries by avoiding the mapping from color codes to surface codes. We identify trellis edge number as a key metric of difficulty of decoding, allowing us to quantify the advantage of single-axis decoding for Calderbank-Steane-Shor codes and block-decoding for concatenated codes., Comment: Improved writing in all but Section III. Proofs of technical lemmas sent to appendix. Threshold analysis for numerical results and new numerical examples added

We study celestial amplitudes in (super) Yang-Mills theory using a parameterisation of the spinor helicity variables where their overall phase is not fixed by the little group action. In this approach the spin constraint $h-\bar{h}=J$ for celestial conformal primaries emerges naturally from a new Mellin transform, and the action of conformal transformations on celestial amplitudes is derived. Applying this approach to $\mathcal{N}\!=\!4$ super Yang-Mills, we show how the appropriate definition of on-shell superspace coordinates leads naturally to a formulation of chiral celestial superamplitudes and a representation of the generators of the four-dimensional superconformal algebra on the celestial sphere, which by construction annihilate all tree-level celestial superamplitudes., Comment: 27 pages; Minor typos corrected, references added, version accepted to Phys. Rev. D

Entanglement generation in trapped-ion systems has relied thus far on two distinct but related geometric phase gate techniques: Molmer-Sorensen and light-shift gates. We recently proposed a variant of the light-shift scheme where the qubit levels are separated by an optical frequency [B. C. Sawyer and K. R. Brown, Phys. Rev. A 103, 022427 (2021)]. Here we report an experimental demonstration of this entangling gate using a pair of $^{40}$Ca$^+$ ions in a cryogenic surface-electrode ion trap and a commercial, high-power, 532 nm Nd:YAG laser. Generating a Bell state in 35 $\mu$s, we directly measure an infidelity of $6(3) \times 10^{-4}$ without subtraction of experimental errors. The 532 nm gate laser wavelength suppresses intrinsic photon scattering error to $\sim 1 \times 10^{-5}$., Comment: 7 pages, 6 figures, should match published version

We study variants of Shor's code that are adept at handling single-axis correlated idling errors, which are commonly observed in many quantum systems. By using the repetition code structure of the Shor's code basis states, we calculate the logical channel applied to the encoded information when subjected to coherent and correlated single qubit idling errors, followed by stabilizer measurement. Changing the signs of the stabilizer generators allows us to change how the coherent errors interfere, leading to a quantum error correcting code which performs as well as a classical repetition code of equivalent distance against these errors. We demonstrate a factor of 4 improvement of the logical memory in a distance-3 logical qubit implemented on a trapped-ion quantum computer. Even-distance versions of our Shor code variants are decoherence-free subspaces and fully robust to identical and independent coherent idling noise.

Two-qubit gates in trapped-ion quantum computers are generated by applying spin-dependent forces that temporarily entangle the internal state of the ion with its motion. Laser pulses are carefully designed to generate a maximally entangling gate between the ions while minimizing any residual entanglement between the motion and the ion. The quality of the gates suffers when the actual experimental parameters differ from the ideal case. Here, we improve the robustness of frequency-modulated M{\o}lmer-S{\o}rensen gates to motional mode-frequency offsets by optimizing the average performance over a range of systematic errors using batch optimization. We then compare this method with frequency-modulated gates optimized for ideal parameters that include an analytic robustness condition. Numerical simulations show good performance up to 12 ions, and the method is experimentally demonstrated on a two-ion chain.

Fault-tolerant quantum error correction (QEC) is crucial for unlocking the true power of quantum computers. QEC codes use multiple physical qubits to encode a logical qubit, which is protected against errors at the physical qubit level. Here we use a trapped ion system to experimentally prepare $m$-qubit GHZ states and sample the measurement results to construct $m\times m$ logical states of the $[[m^2,1,m]]$ Shor code, up to $m=7$. The synthetic logical fidelity shows how deeper encoding can compensate for additional gate errors in state preparation for larger logical states. However, the optimal code size depends on the physical error rate and we find that $m=5$ has the best performance in our system. We further realize the direct logical encoding of the $[[9,1,3]]$ Shor code on nine qubits in a thirteen-ion chain for comparison, with $98.8(1)\%$ and $98.5(1)\%$ fidelity for state $\left\vert\pm\right\rangle_L$, respectively.

Coherent gate errors are a concern in many proposed quantum computing architectures. These errors can be effectively handled through composite pulse sequences for single-qubit gates, however, such techniques are less feasible for entangling operations. In this work, we benchmark our coherent errors by comparing the actual performance of composite single-qubit gates to the predicted performance based on characterization of individual single-qubit rotations. We then propose a compilation technique, which we refer to as hidden inverses, that creates circuits robust to these coherent errors. We present experimental data showing that these circuits suppress both overrotation and phase misalignment errors in our trapped ion system., Comment: 13 pages, 8 figures

In [1] we discussed how quantum gravity may be simulated using quantum devices and gave a specific proposal -- teleportation by size and the phenomenon of size-winding. Here we elaborate on what it means to do 'Quantum Gravity in the Lab' and how size-winding connects to bulk gravitational physics and traversable wormholes. Perfect size-winding is a remarkable, fine-grained property of the size wavefunction of an operator; we show from a bulk calculation that this property must hold for quantum systems with a nearly-AdS_2 bulk. We then examine in detail teleportation by size in three systems: the Sachdev-Ye-Kitaev model, random matrices, and spin chains, and discuss prospects for realizing these phenomena in near-term quantum devices., Comment: 50 pages, 14 figures, Part II of arXiv:1911.06314

We present a framework for quantum process tomography of two-ion interactions that leverages modulations of the trapping potential and composite pulses from a global laser beam to achieve individual-ion addressing. Tomographic analysis of identity and delay processes reveals dominant error contributions from laser decoherence and slow qubit frequency drift during the tomography experiment. We use this framework on two co-trapped $^{40}$Ca$^+$ ions to analyze both an optimized and an overpowered M{\o}lmer-S{\o}rensen gate and to compare the results of this analysis to a less informative Bell-state tomography measurement and to predictions based on a simplified noise model. These results show that the technique is effective for the characterization of two-ion quantum processes and for the extraction of meaningful information about the errors present in the system. The experimental convenience of this method will allow for more widespread use of process tomography for characterizing entangling gates in trapped-ion systems., Comment: 15 pages, 6 figures

Fault-tolerant quantum error correction requires the measurement of error syndromes in a way that minimizes correlated errors on the quantum data. Steane and Shor ancilla are two well-known methods for fault-tolerant syndrome extraction. In this paper, we find a unifying construction that generates a family of ancilla blocks that interpolate between Shor and Steane. This family increases the complexity of ancilla construction in exchange for reducing the rounds of measurement required to fault-tolerantly measure the error. We then apply this construction to the toric code of size $L\times L$ and find that blocks of size $m\times m$ can be used to decode errors in $O(L/m)$ rounds of measurements. Our method can be applied to any Calderbank-Shor-Steane codes and presents a new direction for optimizing fault-tolerant quantum computation.

Positron Emission Tomography (PET) is a widely-used imaging modality for medical research and clinical diagnosis. Here we demonstrate, through detailed experiments and simulations, an exploration of the benefits of exploiting the quantum entanglement of linear polarisation between the two positron annihilation photons utilised in PET. A new simulation, which includes the predicted influence of quantum entanglement on the interaction of MeV-scale photons with matter, is validated by comparison with experimental data from a cadmium zinc telluride (CZT) PET demonstrator apparatus. In addition, a modified setup enabled the first experimental constraint on entanglement loss for photons in the MeV regime. Quantum-entangled PET offers new methodologies to address key challenges in next generation imaging. As an indication of the potential benefits, we present a simple method to quantify and remove in-patient scatter and random backgrounds using only the quantum entanglement information in the PET events., Comment: 39 pages, 12 figures

We announce the public release of 141,531 moderate-dispersion optical spectra of 72,247 objects acquired over the past 25 years with the FAST Spectrograph on the Fred L. Whipple Observatory 1.5-meter Tillinghast telescope. We describe the data acquisition and processing so that scientists can understand the spectra. We highlight some of the largest FAST survey programs, and make recommendations for use. The spectra have been placed in a Virtual Observatory accessible archive and are ready for download., Comment: 17 pages, 18 figures, 8 tables

We present the Apache Point Observatory BG40 broadband and simultaneous Gemini $r$-band and $i$-band high-speed follow-up photometry observations and analysis of the 40.5 minute period eclipsing detached double-degenerate binary SDSS J082239.54$+$304857.19. Our APO data spans over 318 days and includes 13 primary eclipses, from which we precisely measure the system's orbital period and improve the time of mid-eclipse measurement. We fit the light curves for each filter individually and show that this system contains a low-mass DA white dwarf with radius $R_A=0.031\pm0.006~{\rm R_\odot}$ and a $R_B=0.013\pm0.005~{\rm R_\odot}$ companion at an inclination of $i=87.7\pm0.2^\circ$. We use the best-fitting eclipsing light curve model to estimate the temperature of the secondary star as $T_{\rm eff}=5200\pm100~{\rm K}$. Finally, while we do not record significant offsets to the expected time of mid-eclipse caused by the emission of gravitational waves with our 1-year baseline, we show that a $3\sigma$ significant measurement of the orbital decay due to gravitational waves will be possible in 2023, at which point the eclipse will occur about $8$ seconds earlier than expected., Comment: 8 pages, 8 figures, 2 tables. Accepted for publication in MNRAS

Building a quantum computer that surpasses the computational power of its classical counterpart is a great engineering challenge. Quantum software optimizations can provide an accelerated pathway to the first generation of quantum computing applications that might save years of engineering effort. Current quantum software stacks follow a layered approach similar to the stack of classical computers, which was designed to manage the complexity. In this review, we point out that greater efficiency of quantum computing systems can be achieved by breaking the abstractions between these layers. We review several works along this line, including two hardware-aware compilation optimizations that break the quantum Instruction Set Architecture (ISA) abstraction and two error-correction/information-processing schemes that break the qubit abstraction. Last, we discuss several possible future directions., Comment: Invited paper by Proceedings of IEEE special issue

Trapped-ion qubits are a leading technology for practical quantum computing. In this work, we present an architectural analysis of a linear-tape architecture for trapped ions. In order to realize our study, we develop and evaluate mapping and scheduling algorithms for this architecture. In particular, we introduce TILT, a linear "Turing-machine-like" architecture with a multilaser control "head", where a linear chain of ions moves back and forth under the laser head. We find that TILT can substantially reduce communication as compared with comparable-sized Quantum Charge Coupled Device (QCCD) architectures. We also develop two important scheduling heuristics for TILT. The first heuristic reduces the number of swap operations by matching data traveling in opposite directions into an "opposing swap", and also avoids the maximum swap distance across the width of the head, as maximum swap distances make scheduling multiple swaps in one head position difficult. The second heuristic minimizes ion chain motion by scheduling the tape to the position with the maximal executable operations for every movement. We provide application performance results from our simulation, which suggest that TILT can outperform QCCD in a range of NISQ applications in terms of success rate (up to 4.35x and 1.95x on average). We also discuss using TILT as a building block to extend existing scalable trapped-ion quantum computing proposals.

White dwarfs with emission lines from gaseous debris discs are among the rarest examples of planetary remnant hosts, but at the same time they are key objects for studying the final evolutionary stage of planetary systems. Making use of the large number of white dwarfs identified in Gaia DR2, we are conducting a survey of planetary remnants and here we present the first results of our search: six white dwarfs with gaseous debris discs. This first publication focuses on the main observational properties of these objects and highlights their most unique features. Three systems in particular stand out: WDJ084602.47+570328.64 displays an exceptionally strong infrared excess which defies the standard model of a geometrically-thin, optically-thick dusty debris disc; WDJ213350.72+242805.93 is the hottest gaseous debris disc host known with Teff=29282 K; and WDJ052914.32-340108.11, in which we identify a record number of 51 emission lines from five elements. These discoveries shed light on the underlying diversity in gaseous debris disc systems and bring the total number of these objects to 21. With these numbers we can now start looking at the properties of these systems as a class of objects rather than on a case-by-case basis., Comment: 20 pages, 11 figures, accepted for publication in MNRAS. V2 replaced Fig.10 and minor changes to sections 4 and 7

Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. This manuscript not only addresses policy makers and funding agencies (both public and private and from the regional to the international level) but also contains needs identified by industry leaders and discusses the difficulties inherent in creating an inclusive QISE curriculum. We report on the status of eighteen post-secondary education programs in QISE and provide guidance for building new programs. Lastly, we encourage the development of a comprehensive strategic plan for quantum education and workforce development as a means to make the most of the ongoing substantial investments being made in QISE., Comment: 18 pages, 2 figures, 1 table

This paper is concerned with the nature of probability in physics, and in quantum mechanics in particular. It starts with a brief discussion of the evolution of Itamar Pitowsky's thinking about probability in quantum theory from 1994 to 2008, and the role of Gleason's 1957 theorem in his derivation of the Born Rule. Pitowsky's defence of probability therein as a logic of partial belief leads us into a broader discussion of probability in physics, in which the existence of objective "chances" is questioned, and the status of David Lewis' influential Principal Principle is critically examined. This is followed by a sketch of the work by David Deutsch and David Wallace which resulted in the Deutsch-Wallace (DW) theorem in Everettian quantum mechanics. It is noteworthy that the authors of this important decision-theoretic derivation of the Born Rule have different views concerning the meaning of probability. The theorem, which was the subject of a 2007 critique by Meir Hemmo and Pitowsky, is critically examined, along with recent related work by John Earman. Here our main argument is that the DW theorem does not provide a justification of the Principal Principle, contrary to claims by Wallace and Simon Saunders. A final section analyses recent claims to the effect that that the DW theorem is redundant, a conclusion that seems to be reinforced by consideration of probabilities in "deviant' branches in the Everettian multiverse., Comment: 32 pages

Noether's first theorem does not establish a one-way explanatory arrow from symmetries to conservation laws, but such an arrow is widely assumed in discussions of the theorem in the physics and philosophy literature. It is argued here that there are pragmatic reasons for privileging symmetries, even if they do not strictly justify explanatory priority. To this end, some practical factors are adduced as to why Noether's direct theorem seems to be more well-known and exploited than its converse, with special attention being given to the sometimes overlooked nature of Noether's converse result and to its strengthened version due to Luis Mart\'inez Alonso in 1979 and Peter Olver in 1986., Comment: 29 pages. Submitted to: The Physics and Philosophy of Noether's Theorems, James Read, Bryan Roberts and Nicholas Teh (Eds.) Cambridge University Press, forthcoming. Changes to sections 3, 4.3, 6.2, 7; two new appendices and new references

We propose an optical scheme for generating entanglement between co-trapped identical or dissimilar alkaline earth atomic ions ($^{40}\text{Ca}^+$, $^{88}\text{Sr}^+$, $^{138}\text{Ba}^+$, $^{226}\text{Ra}^+$) which exhibits fundamental error rates below $10^{-4}$ and can be implemented with a broad range of laser wavelengths spanning from ultraviolet to infrared. We also discuss straightforward extensions of this technique to include the two lightest Group-2 ions ($\text{Be}^+$, $\text{Mg}^+$) for multispecies entanglement. The key elements of this wavelength-insensitive geometric phase gate are the use of a ground ($S_{1/2}$) and a metastable ($D_{5/2}$) electronic state as the qubit levels within a $\sigma^z \sigma^z$ light-shift entangling gate. We present a detailed analysis of the principles and fundamental error sources for this gate scheme which includes photon scattering and spontaneous emission decoherence, calculating two-qubit-gate error rates and durations at fixed laser beam intensity over a large portion of the optical spectrum (300 nm to 2 $\mu \text{m}$) for an assortment of ion pairs. We contrast the advantages and disadvantages of this technique against previous trapped-ion entangling gates and discuss its applications to quantum information processing and simulation with like and multispecies ion crystals., Comment: 16 pages, 5 figures

Quantum error correction protects fragile quantum information by encoding it into a larger quantum system. These extra degrees of freedom enable the detection and correction of errors, but also increase the operational complexity of the encoded logical qubit. Fault-tolerant circuits contain the spread of errors while operating the logical qubit, and are essential for realizing error suppression in practice. While fault-tolerant design works in principle, it has not previously been demonstrated in an error-corrected physical system with native noise characteristics. In this work, we experimentally demonstrate fault-tolerant preparation, measurement, rotation, and stabilizer measurement of a Bacon-Shor logical qubit using 13 trapped ion qubits. When we compare these fault-tolerant protocols to non-fault tolerant protocols, we see significant reductions in the error rates of the logical primitives in the presence of noise. The result of fault-tolerant design is an average state preparation and measurement error of 0.6% and a Clifford gate error of 0.3% after error correction. Additionally, we prepare magic states with fidelities exceeding the distillation threshold, demonstrating all of the key single-qubit ingredients required for universal fault-tolerant operation. These results demonstrate that fault-tolerant circuits enable highly accurate logical primitives in current quantum systems. With improved two-qubit gates and the use of intermediate measurements, a stabilized logical qubit can be achieved., Comment: Additional data on magic states and stabilizers added. Significant revision of text for improved clarity. Key results unchanged

Flag verification techniques are useful in quantum error correction for detecting critical faults. Here we present an application of flag verification techniques to improving post-selected performance of near-term algorithms. We extend the definition of what constitutes a flag by creating error-detection gadgets based on known transformations of unitary operators. In the case of Clifford or near-Clifford circuits, these unitary operators can be chosen to be controlled Pauli gates, leading to gadgets which require only a small number of additional Clifford gates. We show that such flags can improve circuit fidelities by up to a factor of 2 after post selection, and demonstrate their effectiveness over error models featuring single-qubit depolarizing noise, crosstalk, and two-qubit coherent overrotation., Comment: 7 pages, 7 figures