Search

We introduce and implement GraphDD: an efficient method for real-time, circuit-specific, optimal embedding of dynamical decoupling (DD) into executable quantum algorithms. We demonstrate that for an arbitrary quantum circuit, GraphDD exactly refocuses both quasi-static single-qubit dephasing and crosstalk idling errors over the entire circuit, while using a minimal number of additional single-qubit gates embedded into idle periods. The method relies on a graph representation of the embedding problem, where the optimal decoupling sequence can be efficiently calculated using an algebraic computation that scales linearly with the number of idles. This allows optimal DD to be embedded during circuit compilation, without any calibration overhead, additional circuit execution, or numerical optimization. The method is generic and applicable to any arbitrary circuit; in compiler runtime the specific pulse-sequence solutions are tailored to the individual circuit, and consider a range of contextual information on circuit structure and device connectivity. We verify the ability of GraphDD to deliver enhanced circuit-level error suppression on 127-qubit IBM devices, showing that the optimal circuit-specific DD embedding resulting from GraphDD provides orders of magnitude improvements to measured circuit fidelities compared with standard embedding approaches available in Qiskit., Comment: 12 pages, 8 figures

We introduce a comprehensive quantum solver for binary combinatorial optimization problems on gate-model quantum computers that outperforms any published alternative and consistently delivers correct solutions for problems with up to 127 qubits. We provide an overview of the internal workflow, describing the integration of a customized ansatz and variational parameter update strategy, efficient error suppression in hardware execution, and overhead-free post-processing to correct for bit-flip errors. We benchmark this solver on IBM quantum computers for several classically nontrivial unconstrained binary optimization problems -- the entire optimization is conducted on hardware with no use of classical simulation or prior knowledge of the solution. First, we demonstrate the ability to correctly solve Max-Cut instances for random regular graphs with a variety of densities using up to 120 qubits, where the graph topologies are not matched to device connectivity. Next, we apply the solver to higher-order binary optimization and successfully search for the ground state energy of a 127-qubit spin-glass model with linear, quadratic, and cubic interaction terms. Use of this new quantum solver increases the likelihood of finding the minimum energy by up to $\sim1,500\times$ relative to published results using a DWave annealer, and it can find the correct solution when the annealer fails. Furthermore, for both problem types, the Q-CTRL solver outperforms a heuristic local solver used to indicate the relative difficulty of the problems pursued. Overall, these results represent the largest quantum optimizations successfully solved on hardware to date, and demonstrate the first time a gate-model quantum computer has been able to outperform an annealer for a class of binary optimization problems., Comment: 19 pages, 8 figures

Bosonic modes are prevalent in all aspects of quantum information processing. However, existing tools for characterizing the quality, stability, and noise properties of bosonic modes are limited, especially in a driven setting. Here, we propose, demonstrate, and analyze a bosonic randomized benchmarking (BRB) protocol that uses randomized displacements of the bosonic modes in phase space to determine their quality. We investigate the impact of common analytic error models, such as heating and dephasing, on the distribution of outcomes over randomized displacement trajectories in phase space. We show that analyzing the distinctive behavior of the mean and variance of this distribution - describable as a gamma distribution - enables identification of error processes, and quantitative extraction of error rates and correlations using a minimal number of measurements. We experimentally validate the analytical models by injecting engineered noise into the motional mode of a trapped ion system and performing the bosonic randomized benchmarking protocol, showing good agreement between experiment and theory. Finally, we investigate the intrinsic error properties in our system, identifying the presence of highly correlated dephasing noise as the dominant process., Comment: 13 pages, 6 figures

We introduce and experimentally test a machine-learning-based method for ranking logically equivalent quantum circuits based on expected performance estimates derived from a training procedure conducted on real hardware. We apply our method to the problem of layout selection, in which abstracted qubits are assigned to physical qubits on a given device. Circuit measurements performed on IBM hardware indicate that the maximum and median fidelities of logically equivalent layouts can differ by an order of magnitude. We introduce a circuit score used for ranking that is parameterized in terms of a physics-based, phenomenological error model whose parameters are fit by training a ranking-loss function over a measured dataset. The dataset consists of quantum circuits exhibiting a diversity of structures and executed on IBM hardware, allowing the model to incorporate the contextual nature of real device noise and errors without the need to perform an exponentially costly tomographic protocol. We perform model training and execution on the 16-qubit ibmq_guadalupe device and compare our method to two common approaches: random layout selection and a publicly available baseline called Mapomatic. Our model consistently outperforms both approaches, predicting layouts that exhibit lower noise and higher performance. In particular, we find that our best model leads to a $1.8\times$ reduction in selection error when compared to the baseline approach and a $3.2\times$ reduction when compared to random selection. Beyond delivering a new form of predictive quantum characterization, verification, and validation, our results reveal the specific way in which context-dependent and coherent gate errors appear to dominate the divergence from performance estimates extrapolated from simple proxy measures., Comment: 14 pages, 5 figures

Experimental implementations of quantum simulation must balance the controllability of the quantum system under test with decoherence typically introduced through interaction with external control fields. The ratio of coherent interaction strength to decoherence induced by stimulated emission in atomic systems is typically determined by hardware constraints, limiting the flexibility needed to explore different operating regimes. Here, we present an optomechanical system for in-situ tuning of the coherent spin-motion and spin-spin interaction strength in two-dimensional ion crystals confined in a Penning trap. The system introduces active optical positioners into the tightly constrained space of the bore of a superconducting magnet, allowing adjustability of the key hardware parameter which determines the ratio of coherent to incoherent light-matter interaction for fixed optical power. Using precision closed-loop piezo-actuated positioners, the system permits in-situ tuning of the angle-of-incidence of laser beams incident on the ion crystal up to $\theta_{\text{ODF}}\approx 28^\circ$. We characterize the system using measurements of the induced mean-field spin precession under the application of an optical dipole force in ion crystals cooled below the Doppler limit through electromagnetically induced transparency cooling. These experiments show approximately a $\times2$ variation in the ratio of the coherent to incoherent interaction strength with changing $\theta_{\text{ODF}}$, consistent with theoretical predictions. We characterize system stability over 6000 seconds; rigid mounting of optomechanics to the ion trap structure reduces differential laser movements to approximately $2\times 10^{-3}$ degrees per hour, enabling long-duration experiments. These technical developments will be crucial in future quantum simulations and sensing applications.

Resolving the locations and discriminating the spin states of individual trapped ions with high fidelity is critical for a large class of applications in quantum computing, simulation, and sensing. We report on a method for high-fidelity state discrimination in large two-dimensional (2D) crystals with over 100 trapped ions in a single trapping region, combining a hardware detector and an artificial neural network. A high-data-rate, spatially resolving, single-photon sensitive timestamping detector performs efficient single-shot detection of 2D crystals in a Penning trap, exhibiting rotation at about $25\,\mathrm{kHz}$. We then train an artificial neural network to process the fluorescence photon data in the rest frame of the rotating crystal in order to identify ion locations with a success rate of $~90\%$, accounting for substantial illumination inhomogeneity across the crystal. Finally, employing a time-binned state detection method, we arrive at an average spin-state detection fidelity of $94(2)\%$. This technique can be used to analyze spatial and temporal correlations in arrays of hundreds of trapped-ion qubits.

Identifying and calibrating quantitative dynamical models for physical quantum systems is important for a variety of applications. Here we present a closed-loop Bayesian learning algorithm for estimating multiple unknown parameters in a dynamical model, using optimised experimental "probe" controls and measurement. The estimation algorithm is based on a Bayesian particle filter, and is designed to autonomously choose informationally-optimised probe experiments with which to compare to model predictions. We demonstrate the performance of the algorithm in both simulated calibration tasks and in an experimental single-qubit ion-trap system. Experimentally, we find that with 60x fewer samples, we exceed the precision of conventional calibration methods, delivering an approximately 93x improvement in efficiency (as quantified by the reduction of measurements required to achieve a target residual uncertainty and multiplied by the increase in accuracy). In simulated and experimental demonstrations, we see that successively longer pulses are selected as the posterior uncertainty iteratively decreases, leading to an exponential improvement in the accuracy of model parameters with the number of experimental queries., Comment: 18 pages, 8 figures

Conical intersections are ubiquitous in chemistry and physics, often governing processes such as light harvesting, vision, photocatalysis, and chemical reactivity. They act as funnels between electronic states of molecules, allowing rapid and efficient relaxation during chemical dynamics. In addition, when a reaction path encircles a conical intersection, the molecular wavefunction experiences a geometric phase, which can affect the outcome of the reaction through quantum-mechanical interference. Past experiments have measured indirect signatures of geometric phases in scattering patterns and spectroscopic observables, but there has been no direct observation of the underlying wavepacket interference. Here, we experimentally observe geometric-phase interference in the dynamics of a wavepacket travelling around an engineered conical intersection in a programmable trapped-ion quantum simulator. To achieve this, we develop a technique to reconstruct the two-dimensional wavepacket densities of a trapped ion. Experiments agree with the theoretical model, demonstrating the ability of analog quantum simulators -- such as those realised using trapped ions -- to accurately describe nuclear quantum effects., Comment: 10 pages, 5 figures

Excitement about the promise of quantum computers is tempered by the reality that the hardware remains exceptionally fragile and error-prone, forming a bottleneck in the development of novel applications. In this manuscript, we describe and experimentally test a fully autonomous workflow designed to deterministically suppress errors in quantum algorithms from the gate level through to circuit execution and measurement. We introduce the key elements of this workflow, delivered as a software package called Fire Opal, and survey the underlying physical concepts: error-aware compilation, automated system-wide gate optimization, automated dynamical decoupling embedding for circuit-level error cancellation, and calibration-efficient measurement-error mitigation. We then present a comprehensive suite of performance benchmarks executed on IBM hardware, demonstrating up to > 1000X improvement over the best alternative expert-configured techniques available in the open literature. Benchmarking includes experiments using up to 16 qubit systems executing: Bernstein Vazirani, Quantum Fourier Transform, Grover's Search, QAOA, VQE, Syndrome extraction on a five-qubit Quantum Error Correction code, and Quantum Volume. Experiments reveal a strong contribution of Non-Markovian errors to baseline algorithmic performance; in all cases the deterministic error-suppression workflow delivers the highest performance and approaches incoherent error bounds without the need for any additional sampling or randomization overhead, while maintaining compatibility with all additional probabilistic error suppression techniques., Comment: 20 pages, 16 figures

Spectroscopy is one of the most accurate probes of the molecular world. However, predicting molecular spectra accurately is computationally difficult because of the presence of entanglement between electronic and nuclear degrees of freedom. Although quantum computers promise to reduce this computational cost, existing quantum approaches rely on combining signals from individual eigenstates, an approach that is difficult to scale because the number of eigenstates grows exponentially with molecule size. Here, we introduce a method for scalable analog quantum simulation of molecular spectroscopy, by performing simulations in the time domain. Our approach can treat more complicated molecular models than previous ones, requires fewer approximations, and can be extended to open quantum systems with minimal overhead. We present a direct mapping of the underlying problem of time-domain simulation of molecular spectra to the degrees of freedom and control fields available in a trapped-ion quantum simulator. We experimentally demonstrate our algorithm on a trapped-ion device, exploiting both intrinsic electronic and motional degrees of freedom, showing excellent quantitative agreement for a single-mode vibronic photoelectron spectrum of SO$_2$., Comment: 13 pages, 8 figures

We explore the near-term intersection of quantum computing with the transport sector. To support near-term integration, we introduce a framework for assessing the suitability of transport optimization problems for obtaining potential performance enhancement using quantum algorithms. Given a suitable problem, we then present a workflow for obtaining valuable transport solutions using quantum computers, articulate the limitations on contemporary systems, and describe newly available performance-enhancing tools applicable to current commercial quantum computing systems. We make this integration process concrete by following the assessment framework and integration workflow for an exemplary vehicle routing optimization problem: the Capacitated Vehicle Routing Problem. We present novel advances to exponentially reduce the required computational resources, and experimentally demonstrate a prototype implementation exhibiting over 20X circuit performance enhancement on a real quantum device., Comment: Accepted as a scientific paper for the 28th ITS World Congress 2022 Los Angeles

Quantum computers promise tremendous impact across applications -- and have shown great strides in hardware engineering -- but remain notoriously error prone. Careful design of low-level controls has been shown to compensate for the processes which induce hardware errors, leveraging techniques from optimal and robust control. However, these techniques rely heavily on the availability of highly accurate and detailed physical models which generally only achieve sufficient representative fidelity for the most simple operations and generic noise modes. In this work, we use deep reinforcement learning to design a universal set of error-robust quantum logic gates on a superconducting quantum computer, without requiring knowledge of a specific Hamiltonian model of the system, its controls, or its underlying error processes. We experimentally demonstrate that a fully autonomous deep reinforcement learning agent can design single qubit gates up to $3\times$ faster than default DRAG operations without additional leakage error, and exhibiting robustness against calibration drifts over weeks. We then show that $ZX(-\pi/2)$ operations implemented using the cross-resonance interaction can outperform hardware default gates by over $2\times$ and equivalently exhibit superior calibration-free performance up to 25 days post optimization using various metrics. We benchmark the performance of deep reinforcement learning derived gates against other black box optimization techniques, showing that deep reinforcement learning can achieve comparable or marginally superior performance, even with limited hardware access., Comment: 12 pages, 5 figures

Ultrafast chemical reactions are difficult to simulate because they involve entangled, many-body wavefunctions whose computational complexity grows rapidly with molecular size. In photochemistry, the breakdown of the Born-Oppenheimer approximation further complicates the problem by entangling nuclear and electronic degrees of freedom. Here, we show that analog quantum simulators can efficiently simulate molecular dynamics using commonly available bosonic modes to represent molecular vibrations. Our approach can be implemented in any device with a qudit controllably coupled to bosonic oscillators and with quantum hardware resources that scale linearly with molecular size, and offers significant resource savings compared to digital quantum simulation algorithms. Advantages of our approach include a time resolution orders of magnitude better than ultrafast spectroscopy, the ability to simulate large molecules with limited hardware using a Suzuki-Trotter expansion, and the ability to implement realistic system-bath interactions with only one additional interaction per mode. Our approach can be implemented with current technology; e.g., the conical intersection in pyrazine can be simulated using a single trapped ion. Therefore, we expect our method will enable classically intractable chemical dynamics simulations in the near term.

We describe an experimental effort designing and deploying error-robust single-qubit operations using a cloud-based quantum computer and analog-layer programming access. We design numerically-optimized pulses that implement target operations and exhibit robustness to various error processes including dephasing noise, instabilities in control amplitudes, and crosstalk. Pulse optimization is performed using a flexible optimization package incorporating a device model and physically-relevant constraints (e.g. bandwidth limits on the transmission lines of the dilution refrigerator housing IBM Quantum hardware). We present techniques for conversion and calibration of physical Hamiltonian definitions to pulse waveforms programmed via Qiskit Pulse and compare performance against hardware default DRAG pulses on a five-qubit device. Experimental measurements reveal default DRAG pulses exhibit coherent errors an order of magnitude larger than tabulated randomized-benchmarking measurements; solutions designed to be robust against these errors outperform hardware-default pulses for all qubits across multiple metrics. Experimental measurements demonstrate performance enhancements up to: $\sim10\times$ single-qubit gate coherent-error reduction; $\sim5\times$ average coherent-error reduction across a five qubit system; $\sim10\times$ increase in calibration window to one week of valid pulse calibration; $\sim12\times$ reduction gate-error variability across qubits and over time; and up to $\sim9\times$ reduction in single-qubit gate error (including crosstalk) in the presence of fully parallelized operations. Randomized benchmarking reveals error rates for Clifford gates constructed from optimized pulses consistent with tabulated $T_{1}$ limits, and demonstrates a narrowing of the distribution of outcomes over randomizations associated with suppression of coherent-errors., Comment: Main text pp. 1-13, Appendix pp. 14-22, 9 figures

Quantum harmonic oscillators are central to many modern quantum technologies. We introduce a method to determine the frequency noise spectrum of oscillator modes through coupling them to a qubit with continuously driven qubit-state-dependent displacements. We reconstruct the noise spectrum using a series of different drive phase and amplitude modulation patterns in conjunction with a data-fusion routine based on convex optimization. We apply the technique to the identification of intrinsic noise in the motional frequency of a single trapped ion with sensitivity to fluctuations at the sub-Hz level in a spectral range from quasi-DC up to 50 kHz.

We study a class of entangling gates for trapped atomic ions and demonstrate the use of numeric optimization techniques to create a wide range of fast, error-robust gate constructions. Our approach introduces a framework for numeric optimization using individually addressed, amplitude and phase modulated controls targeting maximally and partially entangling operations on ion pairs, complete multi-ion registers, multi-ion subsets of large registers, and parallel operations within a single register. Our calculations and simulations demonstrate that the inclusion of modulation of the difference phase for the bichromatic drive used in the M\o lmer-S\o rensen gate permits approximately time-optimal control across a range of gate configurations, and when suitably combined with analytic constraints can also provide robustness against key experimental sources of error. We further demonstrate the impact of experimental constraints such as bounds on coupling rates or modulation band-limits on achievable performance. Using a custom optimization engine based on TensorFlow we also demonstrate time-to-solution for optimizations on ion registers up to 20 ions of order tens of minutes using a local-instance laptop, allowing computational access to system-scales relevant to near-term trapped-ion devices., Comment: quantum control, quantum computing, trapped ions, optimized quantum gates

Performing efficient quantum computer tuneup and calibration is essential for growth in system complexity. In this work we explore the link between facilitating such capabilities and the underlying architecture of the physical hardware. We focus on the specific challenge of measuring (``mapping'') spatially inhomogeneous quasi-static calibration errors using spectator qubits dedicated to the task of sensing and calibration. We introduce a novel architectural concept for such spectator qubits: arranging them spatially according to prescriptions from optimal 2D approximation theory. We show that this insight allows for efficient reconstruction of inhomogeneities in qubit calibration, focusing on the specific example of frequency errors which may arise from fabrication variances or ambient magnetic fields. Our results demonstrate that optimal interpolation techniques display near optimal error-scaling in cases where the measured characteristic (here the qubit frequency) varies smoothly, and we probe the limits of these benefits as a function of measurement uncertainty. For more complex spatial variations, we demonstrate that the NMQA formalism for adaptive measurement and noise filtering outperforms optimal interpolation techniques in isolation, and crucially, can be combined with insights from optimal interpolation theory to produce a general purpose protocol., Comment: 7 pages, 3 figures (Appendices: 8 pages, 1 figure)

An experimental realization of a compact, high-power spectral beamsplitter for nearly equal frequencies and identical polarization based on two-beam interference in a free-space Mach-Zehnder interferometer is presented. We demonstrate the power- and cost-efficient generation and subsequent spatial separation of two laser tones from a single sum-frequency-generation stage using double-sideband suppressed-carrier modulation in the infrared, and beam splitting in the visible at high power. The interferometer spectrally splits >98% of the incident power when accounting for bulk absorption. The beamsplitter can be constructed identically for any power or spectral range required for which suitable optics are available., Comment: 8 pages, 4 figures

Manipulating quantum computing hardware in the presence of imperfect devices and control systems is a central challenge in realizing useful quantum computers. Susceptibility to noise limits the performance and capabilities of noisy intermediate-scale quantum (NISQ) devices, as well as any future quantum computing technologies. Fortunately quantum control enables efficient execution of quantum logic operations and algorithms with built-in robustness to errors, without the need for complex logical encoding. In this manuscript we introduce software tools for the application and integration of quantum control in quantum computing research, serving the needs of hardware R&D teams, algorithm developers, and end users. We provide an overview of a set of python-based classical software tools for creating and deploying optimized quantum control solutions at various layers of the quantum computing software stack. We describe a software architecture leveraging both high-performance distributed cloud computation and local custom integration into hardware systems, and explain how key functionality is integrable with other software packages and quantum programming languages. Our presentation includes a detailed mathematical overview of central product features including a flexible optimization toolkit, filter functions for analyzing noise susceptibility in high-dimensional Hilbert spaces, and new approaches to noise and hardware characterization. Pseudocode is presented in order to elucidate common programming workflows for these tasks, and performance benchmarking is reported for numerically intensive tasks, highlighting the benefits of the selected cloud-compute architecture. Finally, we present a series of case studies demonstrating the application of quantum control solutions using these tools in real experimental settings for both trapped-ion and superconducting quantum computer hardware., Comment: 56 pages, 17 figures

Adaptive filtering is a powerful class of control theoretic concepts useful in extracting information from noisy data sets or performing forward prediction in time for a dynamic system. The broad utilization of the associated algorithms makes them attractive targets for similar problems in the quantum domain. To date, however, the construction of adaptive filters for quantum systems has typically been carried out in terms of stochastic differential equations for weak, continuous quantum measurements, as used in linear quantum systems such as optical cavities. Discretized measurement models are not as easily treated in this framework, but are frequently employed in quantum information systems leveraging projective measurements. This paper presents a detailed analysis of several technical innovations that enable classical filtering of discrete projective measurements, useful for adaptively learning system-dynamics, noise properties, or hardware performance variations in classically correlated measurement data from quantum devices. In previous work we studied a specific case of this framework, in which noise and calibration errors on qubit arrays could be efficiently characterized in space; here, we present a generalized analysis of filtering in quantum systems and demonstrate that the traditional convergence properties of nonlinear classical filtering hold using single-shot projective measurements. These results are important early demonstrations indicating that a range of concepts and techniques from classical nonlinear filtering theory may be applied to the characterization of quantum systems involving discretized projective measurements, paving the way for broader adoption of control theoretic techniques in quantum technology., Comment: 12 pages, 2 figures. (Appendices: 9 pages, 3 figures). Revised presentation; data, code-base and analysis unchanged

The fragility of quantum systems makes them ideally suited for sensing applications at the nanoscale. However, interpreting the output signal of a qubit-based sensor is generally complicated by background clutter due to out-of-band spectral leakage, as well as ambiguity in signal origin when the sensor is operated with noisy hardware. We present a sensing protocol based on optimally band-limited "Slepian functions" that can overcome these challenges, by providing narrowband sensing of ambient dephasing noise, coupling additively to the sensor along the ${z}$-axis, while permitting isolation of the target noise spectrum from other contributions coupling along a different axis. This is achieved by introducing a finite-difference control modulation, which linearizes the sensor's response and affords tunable band-limited "windowing" in frequency. Building on these techniques, we experimentally demonstrate two spectral estimation capabilities using a trapped-ion qubit sensor. We first perform efficient experimental reconstruction of a "mixed" dephasing spectrum, composed of a broadband $1/f$-type spectrum with discrete spurs. We then demonstrate the simultaneous reconstruction of overlapping dephasing and control noise spectra from a single set of measurements, in a setting where the two noise sources contribute equally to the sensor's response. Our approach provides a direct means to augment quantum-sensor performance in the presence of both complex broadband noise environments and imperfect control signals, by optimally complying with realistic time-bandwidth constraints., Comment: 19 pages including supplementary material, 8 figures

New quantum computing architectures consider integrating qubits as sensors to provide actionable information useful for decoherence mitigation on neighboring data qubits, but little work has addressed how such schemes may be efficiently implemented in order to maximize information utilization. Techniques from classical estimation and dynamic control, suitably adapted to the strictures of quantum measurement, provide an opportunity to extract augmented hardware performance through automation of low-level characterization and control. In this work, we present an autonomous learning framework, Noise Mapping for Quantum Architectures (NMQA), for adaptive scheduling of sensor-qubit measurements and efficient spatial noise mapping (prior to actuation) across device architectures. Via a two-layer particle filter, NMQA receives binary measurements and determines regions within the architecture that share common noise processes; an adaptive controller then schedules future measurements to reduce map uncertainty. Numerical analysis and experiments on an array of trapped ytterbium ions demonstrate that NMQA outperforms brute-force mapping by up-to $18$x ($3$x) in simulations (experiments), calculated as a reduction in the number of measurements required to map a spatially inhomogeneous magnetic field with a target error metric. As an early adaptation of robotic control to quantum devices, this work opens up exciting new avenues in quantum computer science., Comment: 9 pages, 4 figures. (Supplements: 6 pages, 3 figures.)

As interest in quantum computing grows, there is a pressing need for standardized API's so that algorithm designers, circuit designers, and physicists can be provided a common reference frame for designing, executing, and optimizing experiments. There is also a need for a language specification that goes beyond gates and allows users to specify the time dynamics of a quantum experiment and recover the time dynamics of the output. In this document we provide a specification for a common interface to backends (simulators and experiments) and a standarized data structure (Qobj --- quantum object) for sending experiments to those backends via Qiskit. We also introduce OpenPulse, a language for specifying pulse level control (i.e. control of the continuous time dynamics) of a general quantum device independent of the specific hardware implementation., Comment: 68 pages. More information and schemas can be found in the Qiskit repository https://github.com/Qiskit/

Entangling operations are among the most important primitive gates employed in quantum computing and it is crucial to ensure high-fidelity implementations as systems are scaled up. We experimentally realize and characterize a simple scheme to minimize errors in entangling operations related to the residual excitation of mediating bosonic oscillator modes that both improves gate robustness and provides scaling benefits in larger systems. The technique employs discrete phase shifts in the control field driving the gate operation, determined either analytically or numerically, to ensure all modes are de-excited at arbitrary user-defined times. We demonstrate an average gate fidelity of 99.4(2)% across a wide range of parameters in a system of $^{171}\text{Yb}^{+}$ trapped ion qubits, and observe a reduction of gate error in the presence of common experimental error sources. Our approach provides a unified framework to achieve robustness against both static and time-varying laser amplitude and frequency detuning errors. We verify these capabilities through system-identification experiments revealing improvements in error-susceptibility achieved in phase-modulated gates.

We present the design, construction and characterization of an experimental system capable of supporting a broad class of quantum simulation experiments with hundreds of spin qubits using Be-9 ions in a Penning trap. This article provides a detailed overview of the core optical and trapping subsystems, and their integration. We begin with a description of a dual-trap design separating loading and experimental zones and associated vacuum infrastructure design. The experimental-zone trap electrodes are designed for wide-angle optical access (e.g. for lasers used to engineer spin-motional coupling across large ion crystals) while simultaneously providing a harmonic trapping potential. We describe a near-zero-loss liquid-cryogen-based superconducting magnet, employed in both trapping and establishing a quantization field for ion spin-states, and equipped with a dual-stage remote-motor LN2LHe recondenser. Experimental measurements using a nuclear magnetic resonance (NMR) probe demonstrate part-per-million homogeneity over 7 mm-diameter cylindrical volume, with no discernible effect on the measured NMR linewidth from pulse-tube operation. Next we describe a custom-engineered inbore optomechanical system which delivers ultraviolet (UV) laser light to the trap, and supports multiple aligned optical objectives for top- and sideview imaging in the experimental trap region. We describe design choices including the use of non-magnetic goniometers and translation stages for precision alignment. Further, the optomechanical system integrates UV-compatible fiber optics which decouple the system's alignment from remote light sources. Using this system we present site-resolved images of ion crystals and demonstrate the ability to realize both planar and three-dimensional ion arrays via control of rotating wall electrodes and radial laser beams. Looking to future work, we include interferometric.., Comment: 31 pages, 19 figures

Classical control noise is ubiquitous in qubit devices, making its accurate spectral characterization essential for designing optimized error suppression strategies at the physical level. Here, we focus on multiplicative Gaussian amplitude control noise on a driven qubit sensor and show that sensing protocols using optimally band-limited Slepian modulation offer substantial benefit in realistic scenarios. Special emphasis is given to laying out the theoretical framework necessary for extending non-parametric multitaper spectral estimation to the quantum setting by highlighting key points of contact and differences with respect to the classical formulation. In particular, we introduce and analyze two approaches (adaptive vs. single-setting) to quantum multitaper estimation, and show how they provide a practical means to both identify fine spectral features not otherwise detectable by existing protocols and to obtain reliable prior estimates for use in subsequent parametric estimation, including high-resolution Bayesian techniques. We quantitatively characterize the performance of both single- and multitaper Slepian estimation protocols by numerically reconstructing representative spectral densities, and demonstrate their advantage over dynamical-decoupling noise spectroscopy approaches in reducing bias from spectral leakage as well as in compensating for aliasing effects while maintaining a desired sampling resolution., Comment: 24 pages, 11 figures

Decoherence remains a major challenge in quantum computing hardware and a variety of physical-layer controls provide opportunities to mitigate the impact of this phenomenon through feedback and feedforward control. In this work, we compare a variety of machine learning algorithms derived from diverse fields for the task of state estimation (retrodiction) and forward prediction of future qubit state evolution for a single qubit subject to classical, non-Markovian dephasing. Our approaches involve the construction of a dynamical model capturing qubit dynamics via autoregressive or Fourier-type protocols using only a historical record of projective measurements. A detailed comparison of achievable prediction horizons, model robustness, and measurement-noise-filtering capabilities for Kalman Filters (KF) and Gaussian Process Regression (GPR) algorithms is provided. We demonstrate superior performance from the autoregressive KF relative to Fourier-based KF approaches and focus on the role of filter optimization in achieving suitable performance. Finally, we examine several realizations of GPR using different kernels and discover that these approaches are generally not suitable for forward prediction. We highlight the underlying failure mechanism in this application and identify ways in which the output of the algorithm may be misidentified numerical artefacts., Comment: 33 pages (with Appendices), 9 figures

We present and analyze two pathways to produce commercial optical-fiber patch cords with stable long-term transmission in the ultraviolet (UV) at powers up to $\sim$ 200 mW, and typical bulk transmission between 66-75\%. Commercial fiber patch cords in the UV are of great interest across a wide variety of scientific applications ranging from biology to metrology, and the lack of availability has yet to be suitably addressed. We provide a guide to producing such solarization-resistant, hydrogen-passivated, polarization-maintaining, connectorized and jacketed optical fibers compatible with demanding scientific and industrial applications. Our presentation describes the fabrication and hydrogen loading procedure in detail and presents a high-pressure vessel design, calculations of required \Ht\ loading times, and information on patch cord handling and the mitigation of bending sensitivities. Transmission at 313 nm is measured over many months for cumulative energy on the fiber output of > 10 kJ with no demonstrable degradation due to UV solarization, in contrast to standard uncured fibers. Polarization sensitivity and stability are characterized yielding polarization extinction ratios between 15 dB and 25 dB at 313 nm, where we find patch cords become linearly polarizing. We observe that particle deposition at the fiber facet induced by high-intensity UV exposure can (reversibly) deteriorate patch cord performance and describe a technique for nitrogen purging of fiber collimators which mitigates this phenomenon., Comment: 19 pages, 6 figures

The wide-ranging adoption of quantum technologies requires practical, high-performance advances in our ability to maintain quantum coherence while facing the challenge of state collapse under measurement. Here we use techniques from control theory and machine learning to predict the future evolution of a qubit's state; we deploy this information to suppress stochastic, semiclassical decoherence, even when access to measurements is limited. First, we implement a time-division-multiplexed approach, interleaving measurement periods with periods of unsupervised but stabilised operation during which qubits are available, for e.g. quantum information experiments. Second, we employ predictive feedback during sequential but time delayed measurements to reduce the Dick effect as encountered in passive frequency standards. Both experiments demonstrate significant improvements in qubit phase stability over "traditional" measurement-based feedback approaches by exploiting time domain correlations in the noise processes. This technique requires no additional hardware and is applicable to all two-level quantum systems where projective measurements are possible., Comment: Additional results presented. Related work available from http://www.physics.usyd.edu.au/~mbiercuk/Publications.html

Among the most popular and well studied quantum characterization, verification and validation techniques is randomized benchmarking (RB), an important statistical tool used to characterize the performance of physical logic operations useful in quantum information processing. In this work we provide a detailed mathematical treatment of the effect of temporal noise correlations on the outcomes of RB protocols. We provide a fully analytic framework capturing the accumulation of error in RB expressed in terms of a three-dimensional random walk in "Pauli space." Using this framework we derive the probability density function describing RB outcomes (averaged over noise) for both Markovian and correlated errors, which we show is generally described by a gamma distribution with shape and scale parameters depending on the correlation structure. Long temporal correlations impart large nonvanishing variance and skew in the distribution towards high-fidelity outcomes -- consistent with existing experimental data -- highlighting potential finite-sampling pitfalls and the divergence of the mean RB outcome from worst-case errors in the presence of noise correlations. We use the Filter-transfer function formalism to reveal the underlying reason for these differences in terms of effective coherent averaging of correlated errors in certain random sequences. We conclude by commenting on the impact of these calculations on the utility of single-metric approaches to quantum characterization, verification, and validation., Comment: Updated and expanded to include full derivation. Related papers available from http://www.physics.usyd.edu.au/~mbiercuk/Publications.html

We study the performance of composite pulses in the presence of time-varying control noise on a single qubit. These protocols, originally devised only to correct for static, systematic errors, are shown to be robust to time-dependent non-Markovian noise in the control field up to frequencies as high as ~10% of the Rabi frequency. Our study combines a generalized filter-function approach with asymptotic dc-limit calculations to give a simple analytic framework for error analysis applied to a number of composite-pulse sequences relevant to nuclear magnetic resonance as well as quantum information experiments. Results include examination of recently introduced concatenated composite pulses and dynamically corrected gates, demonstrating equivalent first-order suppression of time-dependent fluctuations in amplitude and/or detuning, as appropriate for the sequence in question. Our analytic results agree well with numerical simulations for realistic $1/f$ noise spectra with a roll-off to $1/f^2$, providing independent validation of our theoretical insights., Comment: 11 pages, 4 figures, text and figures updated to published version

We demonstrate stabilisation of an ultraviolet diode laser via Doppler free spectroscopy of Ytterbium ions in a discharge. Our technique employs polarization spectroscopy, which produces a natural dispersive lineshape whose zero-crossing is largely immune to environmental drifts, making this signal an ideal absolute frequency reference for Yb$^+$ ion trapping experiments. We stabilise an external-cavity diode laser near 369 nm for cooling Yb$^+$ ions, using amplitude-modulated polarisation spectroscopy and a commercial PID feedback system. We achieve stable, low-drift locking with a standard deviation of measured laser frequency ~400 kHz over 10 minutes, limited by the instantaneous linewidth of the diode laser. These results and the simplicity of our optical setup makes our approach attractive for stabilization of laser sources in atomic-physics applications., Comment: Related papers available at http://www.physics.usyd.edu.au/~mbiercuk/Publications.html

Quantum simulation is a promising near term application for mesoscale quantum information processors, with the potential to solve computationally intractable problems at the scale of just a few dozen interacting quantum systems. Recent experiments in a range of technical platforms have demonstrated the basic functionality of quantum simulation applied to quantum magnetism, quantum phase transitions, and relativistic quantum mechanics. In all cases, the underlying hardware platforms restrict the achievable inter-particle interaction, forming a serious constraint on the ability to realize a versatile, programmable quantum simulator. In this work, we address this problem by developing novel sequences of unitary operations that engineer desired effective Hamiltonians in the time-domain. The result is a hybrid programmable analog simulator permitting a broad class of interacting spin-lattice models to be generated starting only with an arbitrary long-range native inter-particle interaction and single-qubit addressing. Specifically, our approach permits the generation of all symmetrically coupled translation-invariant two-body Hamiltonians with homogeneous on-site terms, a class which includes all spin-1/2 XYZ chains, but generalized to include long-range couplings. Building on previous work proving that universal simulation is possible using both entangling gates and single-qubit unitaries, we show that determining the "program" of unitary pulses to implement an arbitrary spin Hamiltonian can be formulated as a linear program that runs in polynomial time and scales efficiently in hardware resources. Our analysis extends from circuit model quantum information to adiabatic quantum evolutions, where our approach allows for the creation of non-native ground state solutions to a computation., Comment: Related papers at http://www.physics.usyd.edu.au/~mbiercuk/Publications.html

In this manuscript we address the problem of deriving \emph{analytic} expressions for calculating universal decoherence-induced errors in qubits undergoing arbitrary, unitary, time-dependent quantum-control protocols. For a qubit undergoing unitary decoherence the evolution of a qubit state in the presence of time-varying semiclassical fields may be treated geometrically. We show that the fidelity of an arbitrary control operation may then be expressed to arbitrary order in terms of experimentally relevant spectral characteristics of the noise and the control over all Cartesian directions and accounting for noise cross-correlations. We formulate \emph{control matrices} in the time domain to capture the effects of piecewise-constant control, and convert them to generalized Fourier-domain filter functions. Such generalized filter functions may therefore be derived for complex temporally modulated control protocols, accounting for susceptibility to rotations of the qubit state vector in three dimensions. Taken together, this framework provides a computationally efficient means to calculate the effects of universal noise on arbitrary quantum control protocols without the need for time-consuming simulations of Bloch vector evolution. As a concrete example, we apply our method to treating the problem of dynamical decoupling incorporating realistic control pulses of arbitrary duration or form, including the replacement of simple $\pi$-pulses with complex dynamically corrected gates., Comment: To appear in New J. Phys. Expanded to include discussions of limits of analytic approximation, comparison of filter-function with full numerical simulation, and incorporation of explicit forms of higher-order filter functions. Related references at http://www.physics.usyd.edu.au/~mbiercuk

Quantum memory is a central component for quantum information processing devices, and will be required to provide high-fidelity storage of arbitrary states, long storage times and small access latencies. Despite growing interest in applying physical-layer error-suppression strategies to boost fidelities, it has not previously been possible to meet such competing demands with a single approach. Here we use an experimentally validated theoretical framework to identify periodic repetition of a high-order dynamical decoupling sequence as a systematic strategy to meet these challenges. We provide analytic bounds-validated by numerical calculations-on the characteristics of the relevant control sequences and show that a "stroboscopic saturation" of coherence, or coherence plateau, can be engineered, even in the presence of experimental imperfection. This permits high-fidelity storage for times that can be exceptionally long, meaning that our device-independent results should prove instrumental in producing practically useful quantum technologies., Comment: abstract and authors list fixed

The presence of long-range quantum spin correlations underlies a variety of physical phenomena in condensed matter systems, potentially including high-temperature superconductivity. However, many properties of exotic strongly correlated spin systems (e.g., spin liquids) have proved difficult to study, in part because calculations involving N-body entanglement become intractable for as few as N~30 particles. Feynman divined that a quantum simulator - a special-purpose "analog" processor built using quantum particles (qubits) - would be inherently adept at such problems. In the context of quantum magnetism, a number of experiments have demonstrated the feasibility of this approach. However, simulations of quantum magnetism allowing controlled, tunable interactions between spins localized on 2D and 3D lattices of more than a few 10's of qubits have yet to be demonstrated, owing in part to the technical challenge of realizing large-scale qubit arrays. Here we demonstrate a variable-range Ising-type spin-spin interaction J_ij on a naturally occurring 2D triangular crystal lattice of hundreds of spin-1/2 particles (9Be+ ions stored in a Penning trap), a computationally relevant scale more than an order of magnitude larger than existing experiments. We show that a spin-dependent optical dipole force can produce an antiferromagnetic interaction J_ij ~ 1/d_ij^a, where a is tunable over 0

We demonstrate spectroscopy and thermometry of individual motional modes in a mesoscopic 2D ion array using entanglement-induced decoherence as a method of transduction. Our system is a $\sim$400 $\mu$m-diameter planar crystal of several hundred $^9$Be$^+$ ions exhibiting complex drumhead modes in the confining potential of a Penning trap. Exploiting precise control over the $^9$Be$^+$ valence electron spins, we apply a homogeneous spin-dependent optical dipole force to excite arbitrary transverse modes with an effective wavelength approaching the interparticle spacing ($\sim$20 \nolinebreak$\mu$m). Center-of-mass displacements below 1 nm are detected via entanglement of spin and motional degrees of freedom., Comment: 12 pages, 7 figures (includes Supplementary Material)

Building robust instruments capable of making interferometric measurements with precision beyond the standard quantum limit remains an important goal in many metrology laboratories. We describe here the basic concepts underlying spin squeezing experiments that allow one to surpass this limit. In priniciple it is possible to reach the so-called Heisenberg limit, which constitutes an improvement in precision by a factor $\sqrt{N}$, where $N$ is the number of particles on which the measurement is carried out. In particular, we focus on recent progress toward implementing spin squeezing with a cloud of beryllium ions in a Penning ion trap, via the geometric phase gate used more commonly for performing two-qubit entangling operations in quantum computing experiments., Comment: 18 pages, 9 figures, Contribution to Quantum Africa 2010 conference proceedings

Treating the effects of a time-dependent classical dephasing environment during quantum logic operations poses a theoretical challenge, as the application of non-commuting control operations gives rise to both dephasing and depolarization errors that must be accounted for in order to understand total average error rates. We develop a treatment based on effective Hamiltonian theory that allows us to efficiently model the effect of classical noise on nontrivial single-bit quantum logic operations composed of arbitrary control sequences. We present a general method to calculate the ensemble-averaged entanglement fidelity to arbitrary order in terms of noise filter functions, and provide explicit expressions to fourth order in the noise strength. In the weak noise limit we derive explicit filter functions for a broad class of piecewise-constant control sequences, and use them to study the performance of dynamically corrected gates, yielding good agreement with brute-force numerics., Comment: Revised and expanded to include filter function terms beyond first order in the Magnus expansion. Related manuscripts available from http://www.physics.usyd.edu.au/~mbiercuk

We study dynamical error suppression from the perspective of reducing sequencing complexity, in order to facilitate efficient semi-autonomous quantum-coherent systems. With this aim, we focus on digital sequences where all interpulse time periods are integer multiples of a minimum clock period and compatibility with simple digital classical control circuitry is intrinsic, using so-called em Walsh functions as a general mathematical framework. The Walsh functions are an orthonormal set of basis functions which may be associated directly with the control propagator for a digital modulation scheme, and dynamical decoupling (DD) sequences can be derived from the locations of digital transitions therein. We characterize the suite of the resulting Walsh dynamical decoupling (WDD) sequences, and identify the number of periodic square-wave (Rademacher) functions required to generate a Walsh function as the key determinant of the error-suppressing features of the relevant WDD sequence. WDD forms a unifying theoretical framework as it includes a large variety of well-known and novel DD sequences, providing significant flexibility and performance benefits relative to basic quasi-periodic design. We also show how Walsh modulation may be employed for the protection of certain nontrivial logic gates, providing an implementation of a dynamically corrected gate. Based on these insights we identify Walsh modulation as a digital-efficient approach for physical-layer error suppression., Comment: 15 pages, 3 figures

We discuss the use of two-dimensional $^{9}$Be$^{+}$ ion crystals for experimental tests of quantum control techniques. Our primary qubit is the 124 GHz ground-state electron spin flip transition, which we drive using microwaves. An ion crystal represents a spatial ensemble of qubits, but the effects of inhomogeneities across a typical crystal are small, and as such we treat the ensemble as a single effective spin. We are able to initialize the qubits in a simple state and perform a projective measurement on the system. We demonstrate full control of the qubit Bloch vector, performing arbitrary high-fidelity rotations ($\tau_{\pi}\sim$200 $\mu$s). Randomized Benchmarking demonstrates an error per gate (a Pauli-randomized $\pi/2$ and $\pi$ pulse pair) of $8\pm1\times10^{-4}$. Ramsey interferometry and spin-locking measurements are used to elucidate the limits of qubit coherence in the system, yielding a typical free-induction decay coherence time of $T_{2}\sim$2 ms, and a limiting $T_{1\rho}\sim$688 ms. These experimental specifications make ion crystals in a Penning trap ideal candidates for novel experiments in quantum control. As such, we briefly describe recent efforts aimed at studying the error-suppressing capabilities of dynamical decoupling pulse sequences, demonstrating an ability to extend qubit coherence and suppress phase errors. We conclude with a discussion of future avenues for experimental exploration, including the use of additional nuclear-spin-flip transitions for effective multiqubit protocols, and the potential for Coulomb crystals to form a useful testbed for studies of large-scale entanglement.

One approach to maintaining phase coherence of qubits through dynamical decoupling consists of applying a sequence of Hahn spin-echo pulses. Recent studies have shown that, in certain noise environments, judicious choice of the delay times between these pulses can greatly improve the suppression of phase errors compared to traditional approaches. By enforcing a simple analytical condition, we obtain sets of dynamical decoupling sequences that are designed for optimized noise filtration and are spectrum-independent up to a single scaling factor set by the coherence time of the system. We demonstrate the efficacy of these sequences in suppressing phase errors through measurements on a model qubit system, $^{9}$Be$^{+}$ ions in a Penning trap. Our combined theoretical and experimental studies show that in high-frequency-dominated noise environments this approach may suppress phase errors orders of magnitude more efficiently than comparable techniques can., Comment: 4 pages, 3 figures version 2 - Different nomenclature to describe sequences - More detailed explanation contrasting feedback routine implemented here to that in previous work - Statements on the constraints on noise spectra which will allow improved error suppression added. - Typos corrected and other minor changes made

We present a detailed experimental study of the Uhrig Dynamical Decoupling (UDD) sequence in a variety of noise environments. Our qubit system consists of a crystalline array of $^{9}$Be$^{+}$ ions confined in a Penning trap. We use an electron-spin-flip transition as our qubit manifold and drive qubit rotations using a 124 GHz microwave system. We study the effect of the UDD sequence in mitigating phase errors and compare against the well known CPMG-style multipulse spin echo as a function of pulse number, rotation axis, noise spectrum, and noise strength. Our results agree well with theoretical predictions for qubit decoherence in the presence of classical phase noise, accounting for the effect of finite-duration $\pi$ pulses. Finally, we demonstrate that the Uhrig sequence is more robust against systematic over/underrotation and detuning errors than is multipulse spin echo, despite the precise prescription for pulse-timing in UDD.

We present experimental measurements on a model quantum system that demonstrate our ability to dramatically suppress qubit error rates by the application of optimized dynamical decoupling pulse sequences in a variety of experimentally relevant noise environments. We provide the first demonstration of an analytically derived pulse sequence developed by Uhrig, and find novel sequences through active, real-time experimental feedback. These new sequences are specially tailored to maximize error suppression without the need for a priori knowledge of the ambient noise environment. We compare these sequences against the Uhrig sequence, and the well established CPMG-style spin echo, demonstrating that our locally optimized pulse sequences outperform all others under test. Numerical simulations show that our locally optimized pulse sequences are capable of suppressing errors by orders of magnitude over other existing sequences. Our work includes the extension of a treatment to predict qubit decoherence under realistic conditions, including the use of finite-duration, square $\pi$ pulses, yielding strong agreement between experimental data and theory for arbitrary pulse sequences. These results demonstrate the robustness of qubit memory error suppression through dynamical decoupling techniques across a variety of qubit technologies., Comment: Subject to press embargo