Ion Trap Quantum Computing Group

Qubit shuttling has become an indispensable ingredient for scaling leading quantum computing platforms, including semiconductor spin, neutral-atom, and trapped-ion qubits, enabling both crosstalk reduction and tighter integration of control hardware. Cai et al. (2023) proposed a scalable architecture that employs short-range shuttling to realize effective three-dimensional connectivity on a strictly two-dimensional device. Building on recent advances in quantum error correction, we show that this architecture enables the native implementation of folded surface codes on 2D hardware, reducing the runtime of all single-qubit logical Clifford gates and logical CNOTs within subsets of qubits from $\mathcal{O}(d)$ in conventional surface code lattice surgery to constant time. We present explicit protocols for these operations and demonstrate that access to a transversal $S$ gate reduces the spacetime volume of 8T-to-CCZ magic-state distillation by more than an order of magnitude compared with standard 2D lattice surgery approaches. Finally, we introduce a new "virtual-stack" layout that more efficiently exploits the quasi-three-dimensional structure of the architecture, enabling efficient multilayer routing on these two-dimensional devices.

Spontaneously emitted photons are entangled with the electronic and nuclear degrees of freedom of the emitting atom, so interference and measurement of these photons can entangle separate matter-based quantum systems as a resource for quantum information processing. However, the isotropic nature of spontaneous emission hinders the single-mode photonic operations required to generate entanglement. Current demonstrations rely on bulk photon-collection and manipulation optics that suffer from environment-induced phase instability, mode matching challenges, and system-to-system variability, factors that impede scaling to the large numbers of entangled pairs needed for quantum information processing. To address these limitations, we demonstrate a collection method that enables passive phase stability, straightforward photonic manipulation, and intrinsic reproducibility. Specifically, we engineer a waveguide-integrated grating to couple photons emitted from a trapped ion into a single optical mode within a microfabricated ion-trap chip. Using the integrated collection optic, we characterize the collection efficiency, image the ion, and detect the ion's quantum state. This proof-of-principle demonstration lays the foundation for leveraging the inherent stability and reproducibility of integrated photonics to efficiently create, manipulate, and measure multipartite quantum states in arrays of quantum emitters.

In contrast to monolithic devices, modular, networked quantum architectures are based on interconnecting smaller quantum hardware nodes using quantum communication links, and offer a promising approach to scalability. Virtual distillation (VD) is a technique that can, under ideal conditions, suppress errors exponentially as the number of quantum state copies increases. However, additional gate operations required for VD introduce further errors, which may limit its practical effectiveness. In this work, we analyse three practical implementations of VD that correspond to edge cases that maximise space-time tradeoffs. Specifically, we consider an implementation that minimises the number of qubits but introduces significantly deeper quantum circuits, and contrast it with implementations that parallelise the preparation of copies using additional qubits, including a constant-depth implementation. We rigorously characterise their circuit depth and gate count requirements, and develop explicit architectures for implementing them in networked quantum systems -- while also detailing implementations in early fault-tolerant quantum architectures. We numerically compare the performance of the three implementations under realistic noise characteristics of networked ion trap systems and conclude the following. Firstly, VD effectively suppresses errors even for very noisy states. Secondly, the constant-depth implementation consistently outperforms the implementation that minimises the number of qubits. Finally, the approach is highly robust to errors in remote entangling operations, with noise in local gates being the main limiting factor to its performance.

Photon recoil is one of the fundamental limitations for high-fidelity control of trapped-atom qubits such as neutral atoms and trapped ions. In this work, we derive an analytical model for efficiently evaluating the motion-induced infidelity in remote entanglement generation protocols. Our model is applicable for various photonic qubit encodings such as polarization, time bin, and frequency, and with arbitrary initial motional states, thus providing a crucial theoretical tool for realizing high-fidelity quantum networking. For the case of tweezer-trapped neutral atoms, our results indicate that operating in the bad-cavity regime with cavity decay rate exceeding atom-photon coupling rate, and near-ground-state cooling with motional quanta below 1, are desired to suppress the motion-induced infidelity sufficiently below the 1% level required for efficient quantum networking. Finite temperature effects can be mitigated efficiently by detection time filtering at the moderate cost of success probability and network speed. These results extend the understanding of infidelity sources in remote entanglement generation protocols, establishing a concrete path towards fault-tolerant quantum networking with scalable trapped-atom qubit systems.

In this paper, the turbulent transport properties of ST40 hot ion plasmas are examined and fully predictive time evolving modelling of a hot ion plasma pulse was performed. Understanding turbulent transport on spherical tokamaks (STs) is challenging due to their unique geometry characteristics. ST40 hot ion plasmas are typically unstable to ion scale Trapped Electron Modes (TEMs) and Ubiquitous Modes (UMs), driven from the kinetic response of trapped particles and passing ions, and electron scale Electron Temperature Gradient Modes (ETGs) at the edge of the plasma. A comparison between the linear unstable modes of the gyro-kinetic code GS2 and the gyro-fluid code TGLF showed that both models agree to a satisfactory level. However, some discrepancy was observed at the core of the plasma where a large fraction of beams ions exists, and electromagnetic effects are potentially important. Turbulent fluxes were also observed to be somewhat overpredicted with TGLF. The core heat ion transport is observed to be close to neoclassical levels due to turbulence suppression from high rotation and fast ion stabilisation, while the edge region is dominated by anomalous transport in both ions and electrons. As a result, enhanced energy confinement is observed in those plasmas driven by the reduced turbulent core region and the confined beam ions. Fully predictive simulations using the ASTRA transport solver coupled with SPIDER, NUBEAM, NCLASS and TGLF together with a novel reduced scrape of layer (SOL) model for the simulation of the last closed flux surface (LCFS) boundary conditions was attempted. Agreement in global quantities but also kinetic profiles between the predictive and interpretative modelling as well as experimental measurements was observed.

We present the first implementation of text-level quantum natural language processing, a field where quantum computing and AI have found a fruitful intersection. We focus on the QDisCoCirc model, which is underpinned by a compositional approach to rendering AI interpretable: the behaviour of the whole can be understood in terms of the behaviour of parts, and the way they are put together. Interpretability is crucial for understanding the unwanted behaviours of AI. By leveraging the compositional structure in the model's architecture, we introduce a novel setup which enables 'compositional generalisation': we classically train components which are then composed to generate larger test instances, the evaluation of which asymptotically requires a quantum computer. Another key advantage of our approach is that it bypasses the trainability challenges arising in quantum machine learning. The main task that we consider is the model-native task of question-answering, and we handcraft toy scale data that serves as a proving ground. We demonstrate an experiment on Quantinuum's H1-1 trapped-ion quantum processor, which constitutes the first proof of concept implementation of scalable compositional QNLP. We also provide resource estimates for classically simulating the model. The compositional structure allows us to inspect and interpret the word embeddings the model learns for each word, as well as the way in which they interact. This improves our understanding of how it tackles the question-answering task. As an initial comparison with classical baselines, we considered transformer and LSTM models, as well as GPT-4, none of which succeeded at compositional generalisation.

We propose encoding multiple qubits inside ions in existing trapped-ion quantum computers to access more qubits and to simplify circuits implementing standard algorithms. By using such `virtual' qubits, some inter-ion gates can be replaced by intra-ion gates, reducing the use of vibrational modes of the ion chain, leading to less noise. We discuss specific examples such as the Bernstein-Vazirani algorithm and random circuit sampling, using a small number of virtual qubits. Additionally, virtual qubits enable using larger number of data qubits for an error correcting code, and we consider the repetition code as an example. We also lay out practical considerations to be made when choosing states to encode virtual qubits in $^{137}\mathrm{Ba}^+$ ions, and for preparing states and performing measurements.

Quantum hardware is progressing at a rapid pace and, alongside this progression, it is vital to challenge the capabilities of these machines using functionally complex algorithms. Doing so provides direct insights into the current capabilities of modern quantum hardware and where its breaking points lie. Stress testing is a technique used to evaluate a system by giving it a computational load beyond its specified thresholds and identifying the capacity under which it fails. We conduct a qualitative and quantitative evaluation of the Quantinuum H1 ion trap device using a stress test based protocol. Specifically, we utilize the quantum machine learning algorithm, the Quantum Neuron Born Machine, as the computationally intensive load for the device. Then, we linearly scale the number of repeat-until-success subroutines within the algorithm to determine the load under which the hardware fails and where the failure occurred within the quantum stack. Using this proposed method, we assess the hardware capacity to manage a computationally intensive QML algorithm and evaluate the hardware performance as the functional complexity of the algorithm is scaled. Alongside the quantitative performance results, we provide a qualitative discussion and resource estimation based on the insights obtained from conducting the stress test with the QNBM.

Individual optical addressing in chains of trapped atomic ions requires generation of many small, closely spaced beams with low cross-talk. Furthermore, implementing parallel operations necessitates phase, frequency, and amplitude control of each individual beam. Here we present a scalable method for achieving all of these capabilities using a novel integrated photonic chip coupled to a network of optical fibre components. The chip design results in very low cross-talk between neighbouring channels even at the micrometre-scale spacing by implementing a very high refractive index contrast between the channel core and cladding. Furthermore, the photonic chip manufacturing procedure is highly flexible, allowing for the creation of devices with an arbitrary number of channels as well as non-uniform channel spacing at the chip output. We present the system used to integrate the chip within our ion trap apparatus and characterise the performance of the full individual addressing setup using a single trapped ion as a light-field sensor. Our measurements showed intensity cross-talk below $10^{-3}$ across the chip, with minimum observed cross-talk as low as $O\left(10^{-5}\right)$.

We introduce complex-valued tensor network models for sequence processing motivated by correspondence to probabilistic graphical models, interpretability and resource compression. Inductive bias is introduced to our models via network architecture, and is motivated by the correlation structure inherent in the data, as well as any relevant compositional structure, resulting in tree-like connectivity. Our models are specifically constructed using parameterised quantum circuits, widely used in quantum machine learning, effectively using Hilbert space as a feature space. Furthermore, they are efficiently trainable due to their tree-like structure. We demonstrate experimental results for the task of binary classification of sequences from real-world datasets relevant to natural language and bioinformatics, characterised by long-range correlations and often equipped with syntactic information. Since our models have a valid operational interpretation as quantum processes, we also demonstrate their implementation on Quantinuum's H2-1 trapped-ion quantum processor, demonstrating the possibility of efficient sequence processing on near-term quantum devices. This work constitutes the first scalable implementation of near-term quantum language processing, providing the tools for large-scale experimentation on the role of tensor structure and syntactic priors. Finally, this work lays the groundwork for generative sequence modelling in a hybrid pipeline where the training may be conducted efficiently in simulation, while sampling from learned probability distributions may be done with polynomial speed-up on quantum devices.

We present the Virtual Quantum Device (VQD) platform, a system based on the QuEST quantum emulator. Through the use of VQDs, non-expert users can emulate specific quantum computers with detailed error models, bespoke gate sets and connectivities. The platform boasts an intuitive interface, powerful visualisation, and compatibility with high-performance computation for effective testing and optimisation of complex quantum algorithms or ideas across a range of quantum computing hardware. We create and explore five families of VQDs corresponding to trapped ions, nitrogen-vacancy-centres, neutral atom arrays, silicon quantum dot spins, and superconducting devices. Each is highly configurable through a set of tailored parameters. We showcase the key characteristics of each virtual device, providing practical examples of the tool's usefulness and highlighting each device's specific attributes. By offering user-friendly encapsulated descriptions of diverse quantum hardware, the VQD platform offers researchers the ability to rapidly explore algorithms and protocols in a realistic setting; meanwhile hardware experts can create their own VQDs to compare with their experiments.

The future development of quantum technologies relies on creating and manipulating quantum systems of increasing complexity, with key applications in computation, simulation and sensing. This poses severe challenges in the efficient control, calibration and validation of quantum states and their dynamics. Although the full simulation of large-scale quantum systems may only be possible on a quantum computer, classical characterization and optimization methods still play an important role. Here, we review different approaches that use classical post-processing techniques, possibly combined with adaptive optimization, to learn quantum systems, their correlation properties, dynamics and interaction with the environment. We discuss theoretical proposals and successful implementations across different multiple-qubit architectures such as spin qubits, trapped ions, photonic and atomic systems, and superconducting circuits. This Review provides a brief background of key concepts recurring across many of these approaches with special emphasis on the Bayesian formalism and neural networks.

Many quantum computing platforms are based on a two-dimensional physical layout. Here we explore a concept called looped pipelines which permits one to obtain many of the advantages of a 3D lattice while operating a strictly 2D device. The concept leverages qubit shuttling, a well-established feature in platforms like semiconductor spin qubits and trapped-ion qubits. The looped pipeline architecture has similar hardware requirements to other shuttling approaches, but can process a stack of qubit arrays instead of just one. Even a stack of limited height is enabling for diverse schemes ranging from NISQ-era error mitigation through to fault-tolerant codes. For the former, protocols involving multiple states can be implemented with a space-time resource cost comparable to preparing one noisy copy. For the latter, one can realise a far broader variety of code structures; as an example we consider layered 2D codes within which transversal CNOTs are available. Under reasonable assumptions this approach can reduce the space-time cost of magic state distillation by two orders of magnitude. Numerical modelling using experimentally-motivated noise models verifies that the architecture provides this benefit without significant reduction to the code's threshold.

Ion-gyroradius-scale microinstabilities typically have a frequency comparable to the ion transit frequency. Due to the small electron-to-ion mass ratio and the large electron transit frequency, it is conventionally assumed that passing electrons respond adiabatically in ion-gyroradius-scale modes. However, in gyrokinetic simulations of ion-gyroradius-scale modes in axisymmetric toroidal magnetic fields, the nonadiabatic response of passing electrons can drive the mode, and generate fluctuations with narrow radial layers, which may have consequences for turbulent transport in a variety of circumstances. In flux tube simulations, in the ballooning representation, these instabilities reveal themselves as modes with extended tails. The small electron-to-ion mass ratio limit of linear gyrokinetics for electrostatic instabilities is presented, in axisymmetric toroidal magnetic geometry, including the nonadiabatic response of passing electrons and associated narrow radial layers. This theory reveals the existence of ion-gyroradius-scale modes driven solely by the nonadiabatic passing electron response, and recovers the usual ion-gyroradius-scale modes driven by the response of ions and trapped electrons, where the nonadiabatic response of passing electrons is small. The collisionless and collisional limits of the theory are considered, demonstrating parallels in structure and physical processes to neoclassical transport theory. By examining initial-value simulations of fastest-growing eigenmodes, the predictions for mass-ratio scaling are tested and verified numerically for a range of collision frequencies. Insights from the small electron-to-ion mass ratio theory may lead to a computationally efficient treatment of extended modes.

The first experimental campaigns have proven that, due to the optimization of the magnetic configuration with respect to neoclassical transport, the contribution of turbulence is essential to understand and predict the total particle and energy transport in Wendelstein 7-X (W7-X). This has spurred much work on gyrokinetic modelling for the interpretation of the available experimental results and for the preparation of the next campaigns. At the same time, new stellarator gyrokinetic codes have just been or are being developed. It is therefore desirable to have a sufficiently complete, documented and verified set of gyrokinetic simulations in W7-X geometry against which new codes or upgrades of existing codes can be tested and benchmarked. This paper attemps to provide such a set of simulations in the form of a comprehensive benchmark between the recently developed code stella and the well-established code GENE. The benchmark consists of electrostatic gyrokinetic simulations in W7-X magnetic geometry and includes different flux tubes, linear ion-temperature-gradient (ITG) and trapped-electron-mode (TEM)} stability analyses, computation of linear zonal flow responses and calculation of ITG-driven heat fluxes.

Many complex systems can spontaneously oscillate under non-periodic forcing. Such self-oscillators are commonplace in biological and technological assemblies where temporal periodicity is needed, such as the beating of a human heart or the vibration of a cello string. While self-oscillation is well understood in classical non-linear systems and their quantized counterparts, the spontaneous emergence of periodicity in quantum systems without a semi-classical limit is more elusive. Here, we show that this behavior can emerge within the repeated-interaction description of open quantum systems. Specifically, we consider a many-body quantum system that undergoes dissipation due to sequential coupling with auxiliary systems at random times. We develop dynamical symmetry conditions that guarantee an oscillatory long-time state in this setting. Our rigorous results are illustrated with specific spin models, which could be implemented in trapped-ion quantum simulators.

There are various gate sets that can be used to describe a quantum computation. A particularly popular gate set in the literature on quantum computing consists of arbitrary single-qubit gates and 2-qubit CNOT gates. A CNOT gate is however not always the natural multi-qubit interaction that can be implemented on a given physical quantum computer, necessitating a compilation step that transforms these CNOT gates to the native gate set. A particularly interesting case where compilation is necessary is for ion trap quantum computers, where the natural entangling operation can act on more than 2 qubits and can even act globally on all qubits at once. This calls for an entirely different approach to constructing efficient circuits. In this paper we study the problem of converting a given circuit that uses 2-qubit gates to one that uses global gates. Our three main contributions are as follows. First, we find an efficient algorithm for transforming an arbitrary circuit consisting of Clifford gates and arbitrary phase gates into a circuit consisting of single-qubit gates and a number of global interactions proportional to the number of non-Clifford phases present in the original circuit. Second, we find a general strategy to transform a global gate that targets all qubits into one that targets only a subset of the qubits. This approach scales linearly with the number of qubits that are not targeted, in contrast to the exponential scaling reported in (Maslov & Nam, N. J. Phys. 2018). Third, we improve on the number of global gates required to synthesise an arbitrary n-qubit Clifford circuit from the 12n-18 reported in (Maslov & Nam, N. J. Phys. 2018) to 6n-8.

The generation of entanglement between distant atoms via single photons is the basis for networked quantum computing, a promising route to large-scale trapped-ion and trapped-atom processors. Locating the emitter within an optical cavity provides an efficient matter-light interface, but mirror-induced birefringence within the cavity introduces time-dependence to the polarisation of the photons produced. We show that such `polarisation oscillation' effects can lead to severe loss of fidelity in the context of two-photon, polarisation encoded measurement-based remote entanglement schemes. It is always preferable to suppress these errors at source by minimising mirror ellipticity, but we propose two remedies for systems where this cannot be achieved. We conclude that even modest cavity birefringence can be detrimental to remote entanglement performance, to an extent that may limit the suitability of polarisation-encoded schemes for large-scale quantum networks.

A comprehensive description of molecular electron transfer reactions is essential for our understanding of fundamental phenomena in bio-energetics and molecular electronics. Experimental studies of molecular systems in condensed-phase environments, however, face difficulties to independently control the parameters that govern the transfer mechanism with high precision. We show that trapped-ion experiments instead allow to reproduce and continuously connect vastly different regimes of molecular charge transfer through precise tuning of, e.g., phonon temperature, electron-phonon interactions, and electronic couplings. Such a setting allows not only to reproduce widely-used transport models, such as Marcus theory. It also provides access to transfer regimes that are unattainable for molecular experiments, while controlling and measuring the relevant observables on the level of individual quanta. Our numerical simulations predict an unconventional quantum transfer regime, featuring a transition from quantum adiabatic- to resonance-assisted transfer as a function of the donor-acceptor energy gap, that can be reached by increasing the electronic coupling at low temperatures. Trapped ion-based quantum simulations thus promise to enhance our microscopic understanding of molecular electron transfer processes, and may help to reveal efficient design principles for synthetic devices.

Incorporating optical cavities in ion traps is becoming increasingly important in the development of photonic quantum networks. However, the presence of the cavity can hamper efficient laser cooling of ions because of geometric constraints that the cavity imposes and an unfavourable Purcell effect that can modify the cooling dynamics substantially. On the other hand the coupling of the ion to the cavity can also be exploited to provide a mechanism to efficiently cool the ion. In this paper we demonstrate experimentally how cavity cooling can be implemented to improve the localisation of the ion and thus its coupling to the cavity. By using cavity cooling we obtain an enhanced ion-cavity coupling of $2π\times (16.7\pm 0.1)$ MHz, compared with $2π\times (15.2\pm 0.1)$ MHz when using only Doppler cooling.

The cost of enabling connectivity in Noisy-Intermediate-Scale-Quantum devices is an important factor in determining computational power. We have created a qubit routing algorithm which enables efficient global connectivity in a previously proposed trapped ion quantum computing architecture. The routing algorithm was characterized by comparison against both a strict lower bound, and a positional swap based routing algorithm. We propose an error model which can be used to estimate the achievable circuit depth and quantum volume of the device as a function of experimental parameters. We use a new metric based on quantum volume, but with native two qubit gates, to assess the cost of connectivity relative to the upper bound of free, all to all connectivity. The metric was also used to assess a square grid superconducting device. We compare these two architectures and find that for the shuttling parameters used, the trapped ion design has a substantially lower cost associated with connectivity.

Modern computation relies crucially on modular architectures, breaking a complex algorithm into self-contained subroutines. A client can then call upon a remote server to implement parts of the computation independently via an application programming interface (API). Present APIs relay only classical information. Here we implement a quantum API that enables a client to estimate the absolute value of the trace of a server-provided unitary $U$. We demonstrate that the algorithm functions correctly irrespective of what unitary $U$ the server implements or how the server specifically realizes $U$. Our experiment involves pioneering techniques to coherently swap qubits encoded within the motional states of a trapped \Yb ion, controlled on its hyperfine state. This constitutes the first demonstration of modular computation in the quantum regime, providing a step towards scalable, parallelization of quantum computation.

In this paper we present a quantitative measurement of the change in frequency (tune) with intensity of four transverse resonances in a high intensity Gaussian beam. Due to the non-linear space charge forces present in high intensity beams, particle motion cannot be analytically described. Instead we use the Simulator of Particle Orbit Dynamics (S-POD) and the Intense Beam Experiment (IBEX), two linear Paul traps, to experimentally replicate the system. In high intensity beams a coherent resonant response to both space charge and external field driven perturbations is possible, these coherent resonances are excited at a tune that differs by a factor $C_{m}$ from that of the incoherent resonance. By increasing the number of ions stored in the linear Paul trap and studying the location of four different resonances we extract provisional values describing the change in tune of the resonance with intensity. These values are then compared to the $C_{m}$ factors for coherent resonances. We find that the $C_{m}$ factors do not accurately predict the location of resonances in high intensity Gaussian beams. Further insight into the experiment is gained through simulation using Warp, a particle-in-cell code.

The development of a transportable microwave frequency standard based on the ground-state transition of $^{171}\mathrm{Yb^{+}}$ at ~12.6 GHz requires a compact laser system for cooling the ions, clearing out of long-lived states and also for photoionisation. In this paper, we describe the development of a suitable compact laser system based on a 6U height rack-mounted arrangement with overall dimensions $260 \times 194 \times 335$ mm. Laser outputs at 369 nm (for cooling), 399 nm (photoionisation), 935 nm (repumping) and 760 nm (state clearout) are combined in a fiber arrangement for delivery to our linear ion trap and we demonstrate this system by cooling of $^{171}\mathrm{Yb^{+}}$ ions. Additionally, we demonstrate that the lasers at 935 nm and 760 nm are close in frequency to water vapor and oxygen absorption lines respectively; specifically, at 760 nm, we show that one $^{171}\mathrm{Yb^{+}}$ transition is within the pressure broadened profile of an oxygen line. These molecular transitions form convenient wavelength references for the stabilization of lasers for a $^{171}\mathrm{Yb^{+}}$ frequency standard.

We report on the development of a trapped-ion, microwave frequency standard based on the 12.6 GHz hyperfine transition in laser-cooled ytterbium-171 ions. The entire system fits into a 6U 19-inch rack unit ($51\times49\times28$ cm) and comprises laser, electronics, and physics package subsystems. The performance of this development system is evaluated; the fractional frequency instability was measured to be $3.6\times10^{-12}/\surdτ$ for averaging times between 30 s and 1500 s.

The quest of demonstrating beneficial quantum error correction in near-term noisy quantum processors can benefit enormously from a low-resource optimization of fault-tolerant schemes, which are specially designed for a particular platform considering both state-of-the-art technological capabilities and main sources of noise. In this work, we show that flag-qubit-based fault-tolerant techniques for active error detection and correction, as well as for encoding of logical qubits, can be leveraged in current designs of trapped-ion quantum processors to achieve this break-even point of beneficial quantum error correction. Our improved description of the relevant sources of noise, together with detailed schedules for the implementation of these flag-based protocols, provide one of the most complete microscopic characterizations of a fault-tolerant quantum processor to date. By extensive numerical simulations, we provide a comparative study of flag- and cat-based approaches to quantum error correction, and show that the superior performance of the former can become a landmark in the success of near-term quantum computing with noisy trapped-ion devices.

Time crystals in periodically driven systems have initially been studied assuming either the ability to quench the Hamiltonian between different many-body regimes, the presence of disorder or long-range interactions. Here we propose the simplest scheme to observe discrete time crystal dynamics in a one-dimensional driven quantum system of the Ising type with short-range interactions and no disorder. The system is subject only to a periodic kick by a global magnetic field, and no extra Hamiltonian quenching is performed. We analyze the emerging time crystal stabilizing mechanisms via extensive numerics as well as using an analytic approach based on an off-resonant transition model. Due to the simplicity of the driven Ising model, our proposal can be implemented with current experimental platforms including trapped ions, Rydberg atoms, and superconducting circuits.

The intrinsic non-locality of correlations in Quantum Mechanics allow us to certify the behaviour of a quantum mechanism in a device independent way. In particular, we present a new protocol that allows an unbounded amount of randomness to be certified as being legitimately the consequence of a measurement on a quantum state. By using a sequence of non-projective measurements on single state, we show a more robust method to certify unbounded randomness than the protocol of Churchod et al., by moving to a one-sided device independent scenario. This protocol also does not assume any specific behaviour of the adversary trying to fool the participants in the protocol, which is an advantage over previous steering based protocols. We present numerical results which confirm the optimal functioning of this protocol in the ideal case. Furthermore, we also study an experimental scenario to determine the feasibility of the protocol in a realistic implementation. The effect of depolarizing noise is examined, by studying a potential state produced by a networked system of ion traps.

We report a single-stage bi-directional interface capable of linking Sr+ trapped ion qubits in a long-distance quantum network. Our interface converts photons between the Sr+ emission wavelength at 422 nm and the telecoms C-band to enable low-loss transmission over optical fiber. We have achieved both up- and down-conversion at the single photon level with efficiencies of 9.4% and 1.1% respectively. Furthermore we demonstrate noise levels that are low enough to allow for genuine quantum operation in the future.

The NOT gate that flips a classical bit is ubiquitous in classical information processing. However its quantum analogue, the universal NOT (UNOT) gate that flips a quantum spin in any alignment into its antipodal counterpart is strictly forbidden. Here we explore the connection between this discrepancy and how UNOT gates affect classical and quantum correlations. We show that while a UNOT gate always preserves classical correlations between two spins, it can non-locally increase or decrease their shared discord in ways that allow violation of the data processing inequality. We experimentally illustrate this using a multi-level trapped \Yb ion that allows simulation of anti-unitary operations.

The heat engine, a machine that extracts useful work from thermal sources, is one of the basic theoretical constructs and fundamental applications of classical thermodynamics. The classical description of a heat engine does not include coherence in its microscopic degrees of freedom. By contrast, a quantum heat engine might possess coherence between its internal states. Although the Carnot efficiency cannot be surpassed, and coherence can be performance degrading in certain conditions, it was recently predicted that even when using only thermal resources, internal coherence can enable a quantum heat engine to produce more power than any classical heat engine using the same resources. Such a power boost therefore constitutes a quantum thermodynamic signature. It has also been shown that the presence of coherence results in the thermodynamic equivalence of different quantum heat engine types, an effect with no classical counterpart. Microscopic heat machines have been recently implemented with trapped ions, and proposals for heat machines using superconducting circuits and optomechanics have been made. When operated with standard thermal baths, however, the machines implemented so far have not demonstrated any inherently quantum feature in their thermodynamic quantities. Here we implement two types of quantum heat engines by use of an ensemble of nitrogen-vacancy centres in diamond, and experimentally demonstrate both the coherence power boost and the equivalence of different heat-engine types. This constitutes the first observation of quantum thermodynamic signatures in heat machines.

We present a versatile rf pulse control system that has been designed for multi-qubit quantum experiments. One instrument can be scaled to provide 32 channels of rf between 10 - 450 MHz. Synchronization can be achieved across multiple instruments. By using direct digital synthesis and custom control circuitry contained within a field-programmable gate array, sequences of transform-limited pulses can be produced. These have been used to carry out quantum gates that are able to meet fault-tolerant thresholds for single- and two-qubit gate fidelities, as published elsewhere. We have also extended the frequency to the gigahertz regime using additional mixers to address hyperfine transitions in atomic systems. The system uses an efficient memory management scheme and a low-latency communications protocol that allows pulse sequences to be updated in real-time. Together these can enable outcome-based algorithms such as quantum error correction to be executed. The system is fully programmable in C++, and other languages such as Python can be supported by the on-board CPU, offering a highly flexible platform for a wide variety of experimental systems, and has been proven in trapped-ion quantum information experiments.

A quantitative assessment of the progress of small prototype quantum processors towards fault-tolerant quantum computation is a problem of current interest in experimental and theoretical quantum information science. We introduce a necessary and fair criterion for quantum error correction (QEC), which must be achieved in the development of these quantum processors before their sizes are sufficiently big to consider the well-known QEC threshold. We apply this criterion to benchmark the ongoing effort in implementing QEC with topological color codes using trapped-ion quantum processors and, more importantly, to guide the future hardware developments that shall be required in order to demonstrate beneficial QEC with small topological quantum codes. In doing so, we present a thorough description of a realistic trapped-ion toolbox for QEC, and a physically-motivated error model that goes beyond standard simplifications in the QEC literature. Our large-scale numerical analysis shows that two-species trapped-ion crystals in high-optical aperture segmented traps, with the improvements hereby described, are a very promising candidate for fault-tolerant quantum computation.

We propose and discuss `quantum spin lenses', where quantum states of delocalized spin excitations in an atomic medium are `focused' in space in a coherent quantum process down to (essentially) single atoms. These can be employed to create controlled interactions in a quantum light-matter interface, where photonic qubits stored in an atomic ensemble are mapped to a quantum register represented by single atoms. We propose Hamiltonians for quantum spin lenses as inhomogeneous spin models on lattices, which can be realized with Rydberg atoms in 1D, 2D and 3D, and with strings of trapped ions. We discuss both linear and non-linear quantum spin lenses: in a non-linear lens, repulsive spin-spin interactions lead to focusing dynamics conditional to the number of spin excitations. This allows the mapping of quantum superpositions of delocalized spin excitations to superpositions of spatial spin patterns, which can be addressed by light fields and manipulated. Finally, we propose multifocal quantum spin lenses as a way to generate and distribute entanglement between distant atoms in an atomic lattice array.

We prove that quantum information encoded in some topological excitations, including certain Majorana zero modes, is protected in closed systems for a time scale exponentially long in system parameters. This protection holds even at infinite temperature. At lower temperatures the decay time becomes even longer, with a temperature dependence controlled by an effective gap that is parametrically larger than the actual energy gap of the system. This non-equilibrium dynamical phenomenon is a form of prethermalization, and occurs because of obstructions to the equilibriation of edge or defect degrees of freedom with the bulk. We analyze the ramifications for ordered and topological phases in one, two, and three dimensions, with examples including Majorana and parafermionic zero modes in interacting spin chains. Our results are based on a non-perturbative analysis valid in any dimension, and they are illustrated by numerical simulations in one dimension. We discuss the implications for experiments on quantum-dot chains tuned into a regime supporting end Majorana zero modes, and on trapped ion chains.

In principle a 1D array of nearest-neighbour linked qubits is compatible with fault tolerant quantum computing. However such a restricted topology necessitates a large overhead for shuffling qubits and consequently the fault tolerance threshold is far lower than in 2D architectures. Here we identify a middle ground: a 1D segmented chain which is a linear array of segments, each of which is a well-connected zone with all-to-all connectivity. The architecture is relevant to both ion trap and solid-state systems. We establish that fault tolerance can be achieved either by a surface code alone, or via an additional concatenated four-qubit gauge code. We find that the fault tolerance threshold is 0.12% for 15-qubit segments, while larger segments are superior. For 35 or more qubits per segment one can achieve computation on a meaningful scale with today's state-of-the-art fidelities without the use of the upper concatenation layer, thus minimising the overall device size.

The detailed characterization of non-trivial coherence properties of composite quantum systems of increasing size is an indispensable prerequisite for scalable quantum computation, as well as for understanding of nonequilibrium many-body physics. Here we show how autocorrelation functions in an interacting system of phonons as well as the quantum discord between distinct degrees of freedoms can be extracted from a small controllable part of the system. As a benchmark, we show this in chains of up to 42 trapped ions, by tracing a single phonon excitation through interferometric measurements of only a single ion in the chain. We observe the spreading and partial refocusing of the excitation in the chain, even on a background of thermal excitations. We further show how this local observable reflects the dynamical evolution of quantum discord between the electronic state and the vibrational degrees of freedom of the probe ion.

Continuous spontaneous localisation (CSL) is a model that captures the effects of a class of extensions to quantum theory which are expected to result from quantum gravity, and is such that wavefunction collapse is a physical process. The rate of such a process could be very much lower than the upper bounds set by searches to date, and yet still modify greatly the interpretation of quantum mechanics and solve the quantum measurement problem. Consequently experiments are sought to explore this. We describe an experiment that has the potential to extend sensitivity to CSL by many orders of magnitude. The method is to detect heating of the motion of charged macroscopic objects confined in a Paul trap. We discuss the detection and the chief noise sources. We find that CSL with standard parameters could be observed using a vibration-isolated ion trap of size 1 cm at ultra-low pressure, with optical interferometric detection.

Optically linked ion traps are promising as components of network-based quantum technologies, including communication systems and modular computers. Experimental results achieved to date indicate that the fidelity of operations within each ion trap module will be far higher than the fidelity of operations involving the links; fortunately internal storage and processing can effectively upgrade the links through the process of purification. Here we perform the most detailed analysis to date on this purification task, using a protocol which is balanced to maximise fidelity while minimising the device complexity and the time cost of the process. Moreover we 'compile down' the quantum circuit to device-level operations including cooling and shutting events. We find that a linear trap with only five ions (two of one species, three of another) can support our protocol while incorporating desirable features such as 'global control', i.e. laser control pulses need only target an entire zone rather than differentiating one ion from its neighbour. To evaluate the capabilities of such a module we consider its use both as a universal communications node for quantum key distribution, and as the basic repeating unit of a quantum computer. For the latter case we evaluate the threshold for fault tolerant quantum computing using the surface code, finding acceptable fidelities for the 'raw' entangling link as low as 83% (or under 75% if an additional ion is available).

An autonomous quantum thermal machine comprising a trapped atom or ion placed inside an optical cavity is proposed and analysed. Such a machine can operate as a heat engine whose working medium is the quantised atomic motion, or as an absorption refrigerator which cools without any work input. Focusing on the refrigerator mode, we predict that it is possible with state-of-the-art technology to cool a trapped ion almost to its motional ground state using a thermal light source such as sunlight. We nonetheless find that a laser or similar reference system is necessary to stabilise the cavity frequencies. Furthermore, we establish a direct and heretofore unacknowledged connection between the abstract theory of quantum absorption refrigerators and practical sideband cooling techniques. We also highlight and clarify some assumptions underlying several recent theoretical studies on self-contained quantum engines and refrigerators. Our work indicates that cavity quantum electrodynamics is a promising and versatile experimental platform for the study of autonomous thermal machines in the quantum domain.

We demonstrate single-qubit operations by transporting a beryllium ion with a controlled velocity through a stationary laser beam. We use these to perform coherent sequences of quantum operations, and to perform parallel quantum logic gates on two ions in different processing zones of a multiplexed ion trap chip using a single recycled laser beam. For the latter, we demonstrate individually addressed single-qubit gates by local control of the speed of each ion. The fidelities we observe are consistent with operations performed using standard methods involving static ions and pulsed laser fields. This work therefore provides a path to scalable ion trap quantum computing with reduced requirements on the optical control complexity.

Fast control of quantum systems is essential in order to make use of quantum properties before they are degraded by decoherence. This is important for quantum-enhanced information processing, as well as for pushing quantum systems into macroscopic regimes at the boundary between quantum and classical physics. Bang-bang control attains the ultimate speed limit by making large changes to control fields on timescales much faster than the system can respond, however these methods are often challenging to implement experimentally. Here we demonstrate bang-bang control of a trapped-ion oscillator using nano-second switching of the trapping potentials. We perform controlled displacements which allow us to realize quantum states with up to 10,000 quanta of energy. We use these displaced states to verify the form of the ion-light interaction at high excitations which are far outside the usual regime of operation. These methods provide new possibilities for quantum-state manipulation and generation, alongside the potential for a significant increase in operational clock speed for ion-trap quantum information processing.

We present a mass spectrometric technique for identifying the masses and relative abundances of Coulomb-crystallized ions held in a linear Paul trap. A digital radiofrequency waveform is employed to generate the trapping potential, as this can be cleanly switched off, and static dipolar fields subsequently applied to the trap electrodes for ion ejection. Excellent detection efficiency is demonstrated for Ca+ and CaF+ ions from bi-component Ca+/CaF+ Coulomb crystals prepared by reaction of Ca+ with CH3F. A quantitative linear relationship is observed between ion number and the corresponding integrated TOF peak, independent of the ionic species. The technique is applicable to a diverse range of multi-component Coulomb crystals - demonstrated here for Ca+/NH3+/NH4+ and Ca+/CaOH+/CaOD+ crystals - and will facilitate the measurement of ion-molecule reaction rates and branching ratios in complicated reaction systems.

Exquisite quantum control has now been achieved in small ion traps, in nitrogen-vacancy centres and in superconducting qubit clusters. We can regard such a system as a universal cell with diverse technological uses from communication to large-scale computing, provided that the cell is able to network with others and overcome any noise in the interlinks. Here we show that loss-tolerant entanglement purification makes quantum computing feasible with the noisy and lossy links that are realistic today: With a modestly complex cell design, and using a surface code protocol with a network noise threshold of 13.3%, we find that interlinks which attempt entanglement at a rate of 2MHz but suffer 98% photon loss can result in kilohertz computer clock speeds (i.e. rate of high fidelity stabilizer measurements). Improved links would dramatically increase the clock speed. Our simulations employed local gates of a fidelity already achieved in ion trap devices.

We propose an experimental scheme to verify the quantum non-equilibrium fluctuation relations using current technology. Specifically, we show that the characteristic function of the work distribution for a non-equilibrium quench of a general quantum system can be extracted from Ramsey interferometry of a single probe qubit. Our scheme paves the way for the full characterisation of non-equilibrium processes in a variety of complex quantum systems ranging from single particles to many-body atomic systems and spin chains. We demonstrate our idea using a time-dependent quench of the motional state of a trapped ion, where the internal pseudo-spin provides a convenient probe qubit.

In the distributed quantum computing paradigm, well-controlled few-qubit `nodes' are networked together by connections which are relatively noisy and failure prone. A practical scheme must offer high tolerance to errors while requiring only simple (i.e. few-qubit) nodes. Here we show that relatively modest, three-qubit nodes can support advanced purification techniques and so offer robust scalability: the infidelity in the entanglement channel may be permitted to approach 10% if the infidelity in local operations is of order 0.1%. Our tolerance of network noise is therefore a order of magnitude beyond prior schemes, and our architecture remains robust even in the presence of considerable decoherence rates (memory errors). We compare the performance with that of schemes involving nodes of lower and higher complexity. Ion traps, and NV- centres in diamond, are two highly relevant emerging technologies.

We study the nonequilibrium dynamics of the linear to zigzag structural phase transition exhibited by an ion chain confined in a trap with periodic boundary conditions. The transition is driven by reducing the transverse confinement at a finite quench rate, which can be accurately controlled. This results in the formation of zigzag domains oriented along different transverse planes. The twists between different domains can be stabilized by the topology of the trap and under laser cooling the system has a chance to relax to a helical chain with nonzero winding number. Molecular dynamics simulations are used to obtain a large sample of possible trajectories for different quench rates. The scaling of the average winding number with different quench rates is compared to the prediction of the Kibble-Zurek theory, and a good quantitative agreement is found.

Silicon is undoubtedly one of the most promising semiconductor materials for spin-based information processing devices. Its highly advanced fabrication technology facilitates the transition from individual devices to large-scale processors, and the availability of an isotopically-purified $^{28}$Si form with no magnetic nuclei overcomes what is a main source of spin decoherence in many other materials. Nevertheless, the coherence lifetimes of electron spins in the solid state have typically remained several orders of magnitude lower than what can be achieved in isolated high-vacuum systems such as trapped ions. Here we examine electron spin coherence of donors in very pure $^{28}$Si material, with a residual $^{29}$Si concentration of less than 50 ppm and donor densities of $10^{14-15}$ per cm$^3$. We elucidate three separate mechanisms for spin decoherence, active at different temperatures, and extract a coherence lifetime $T_2$ up to 2 seconds. In this regime, we find the electron spin is sensitive to interactions with other donor electron spins separated by ~200 nm. We apply a magnetic field gradient in order to suppress such interactions and obtain an extrapolated electron spin $T_2$ of 10 seconds at 1.8 K. These coherence lifetimes are without peer in the solid state by several orders of magnitude and comparable with high-vacuum qubits, making electron spins of donors in silicon ideal components of a quantum computer, or quantum memories for systems such as superconducting qubits.

We discuss strategies for quantum enhanced estimation of atomic transition frequencies with ions stored in Paul traps or neutral atoms trapped in optical lattices. We show that only marginal quantum improvements can be achieved using standard Ramsey interferometry in the presence of collective dephasing, which is the major source of noise in relevant experimental setups. We therefore analyze methods based on decoherence free subspaces and prove that quantum enhancement can readily be achieved even in the case of significantly imperfect state preparation and faulty detections.

A new analytic expression is derived for the resonant drive of high n Alfvenic modes by particles accelerated to high energy by Ion Cyclotron Resonance Heating. This derivation includes finite orbit effects, and the formalism is completely non-perturbative. The high-n limit is used to calculate the complex particle response integrals along the orbits explicitly. This new theory is applied to downward sweeping Alfven Cascade quasimodes completing the theory of these modes, and making testable predictions. These predictions are found to be consistent with experiments carried out on the Joint European Torus [P. H. Rebut and B. E. Keen, Fusion Technol. 11, 13 (1987)].

We report techniques for the fabrication of multi-zone linear RF Paul traps that exploit the machinability and electrical conductivity of degenerate silicon. The approach was tested by trapping and laser cooling 24Mg+ ions in two trap geometries: a single-zone two-layer trap and a multi-zone surface-electrode trap. From the measured ion motional heating rate we determine an electric field spectral density at the ion's position of approximately 1E-10 (V/m)^2/Hz at a frequency of 1.125 MHz when the ion lies 40 micron above the trap surface. One application of these devices is controlled manipulation of atomic ion qubits, the basis of one form of quantum information processing.

The entanglement properties of the phase transition in a two dimensional harmonic lattice, similar to the one observed in recent ion trap experiments, are discussed both, for finite number of particles and thermodynamical limit. We show that for the ground state at the critical value of the trapping potential two entanglement measures, the negativity between two neighbouring sites and the block entropy for blocks of size 1, 2 and 3, change abruptly. Entanglement thus indicates quantum phase transitions in general; not only in the finite dimensional case considered in [Phys. Rev. Lett. {\bf 93}, 250404 (2004)]. Finally, we consider the thermal state and compare its exact entanglement with a temperature entanglement witness introduced in [Phys. Rev. A {\bf 77} 062102 (2008)].

Trapped ions offer long internal state (spin) coherence times and strong inter-particle interactions mediated by the Coulomb force. This makes them interesting candidates for quantum simulation of coupled lattices. To this end it is desirable to be able to trap ions in arbitrary conformations with precisely controlled local potentials. We provide a general method for optimizing periodic planar radio-frequency electrodes for generating ion trapping potentials with specified trap locations and curvatures above the electrode plane. A linear-programming algorithm guarantees globally optimal electrode shapes that require only a single radio-frequency voltage source for operation. The optimization method produces final electrode shapes that are smooth and exhibit low fragmentation. Such characteristics are desirable for practical fabrication of surface-electrode trap lattices.

We propose a scheme for measuring the Berry phase in the vibrational degree of freedom of a trapped ion. Starting from the ion in a vibrational coherent state we show how to reverse the sign of the coherent state amplitude by using a purely geometric phase. This can then be detected through the internal degrees of freedom of the ion. Our method can be applied to preparation of Schrödinger cat states.

We report a precise search for correlation effects in linear chains of 2 and 3 trapped Ca+ ions. Unexplained correlations in photon emission times within a linear chain of trapped ions have been reported, which, if genuine, cast doubt on the potential of an ion trap to realize quantum information processing. We observe quantum jumps from the metastable 3d 2D_{5/2} level for several hours, searching for correlations between the decay times of the different ions. We find no evidence for correlations: the number of quantum jumps with separations of less than 10 ms is consistent with statistics to within errors of 0.05%; the lifetime of the metastable level derived from the data is consistent with that derived from independent single-ion data at the level of the experimental errors 1%; and no rank correlations between the decay times were found with sensitivity to rank correlation coefficients at the level of |R| = 0.024.

We report a measurement of the lifetime of the 3d 2D_{5/2} metastable level in 40Ca+, using quantum jumps of a single cold calcium ion in a linear Paul trap. The 4s S_{1/2} - 3d D_{5/2} transition is significant for single-ion optical frequency standards, astrophysical references, and tests of atomic structure calculations. We obtain tau = 1.168 +- 0.007 s from observation of nearly 64,000 quantum jumps during approximately 32 hours. Our result is more precise and significantly larger than previous measurements. Experiments carried out to quantity systematic effects included a study of a previously unremarked source of systematic error, namely excitation by the broad background of radiation emitted by a semiconductor diode laser. Combining our result with atomic structure calculations yields 1.20 +- 0.01 s for the lifetime of 3d D_{3/2}. We also use quantum jump observations to demonstrate photon anti-bunching, and to estimate background pressure and heating rates in the ion trap.

The subject of quantum computing brings together ideas from classical information theory, computer science, and quantum physics. This review aims to summarise not just quantum computing, but the whole subject of quantum information theory. It turns out that information theory and quantum mechanics fit together very well. In order to explain their relationship, the review begins with an introduction to classical information theory and computer science, including Shannon's theorem, error correcting codes, Turing machines and computational complexity. The principles of quantum mechanics are then outlined, and the EPR experiment described. The EPR-Bell correlations, and quantum entanglement in general, form the essential new ingredient which distinguishes quantum from classical information theory, and, arguably, quantum from classical physics. Basic quantum information ideas are described, including key distribution, teleportation, data compression, quantum error correction, the universal quantum computer and quantum algorithms. The common theme of all these ideas is the use of quantum entanglement as a computational resource. Experimental methods for small quantum processors are briefly sketched, concentrating on ion traps, high Q cavities, and NMR. The review concludes with an outline of the main features of quantum information physics, and avenues for future research.

I propose a scheme which allows for reliable transfer of quantum information between two atoms via an optical fibre in the presence of decoherence. The scheme is based on performing an adiabatic passage through two cavities which remain in their respective vacuum states during the whole operation. The scheme may be useful for networking several ion-trap quantum computers, thereby increasing the number of quantum bits involved in a computation.