Cross-verification of independent quantum devices

Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to classical simulation. Here we present a verification technique that exploits the principles of measurement-based quantum computation to link quantum circuits of different input size, depth, and structure. Our approach enables consistency checks of quantum computations within a device, as well as between independent devices. We showcase our protocol by applying it to five state-of-the-art quantum processors, based on four distinct physical architectures: nuclear magnetic resonance, superconducting circuits, trapped ions, and photonics, with up to 6 qubits and 200 distinct circuits

Cryogenic setup for trapped ion quantum computing

We report on the design of a cryogenic setup for trapped ion quantum computing containing a segmented surface electrode trap. The heat shield of our cryostat is designed to attenuate alternating magnetic field noise, resulting in 120~dB reduction of 50~Hz noise along the magnetic field axis. We combine this efficient magnetic shielding with high optical access required for single ion addressing as well as for efficient state detection by placing two lenses each with numerical aperture 0.23 inside the inner heat shield. The cryostat design incorporates vibration isolation to avoid decoherence of optical qubits due to the motion of the cryostat. We measure vibrations of the cryostat of less than $\pm$20~nm over 2~s. In addition to the cryogenic apparatus, we describe the setup required for an operation with $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ and $^{\mathrm{88}}$Sr$^{\mathrm{+}}$ ions. The instability of the laser manipulating the optical qubits in $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ is characterized yielding a minimum of its Allan deviation of 2.4$\cdot$10$^{\mathrm{-15}}$ at 0.33~s. To evaluate the performance of the apparatus, we trapped $^{\mathrm{40}}$Ca$^{\mathrm{+}}$ ions, obtaining a heating rate of 2.14(16)~phonons/s and a Gaussian decay of the Ramsey contrast with a 1/e-time of 18.2(8)~ms

Characterizing large-scale quantum computers via cycle benchmarking

Quantum computers promise to solve certain problems more efficiently than their digital counterparts. A major challenge towards practically useful quantum computing is characterizing and reducing the various errors that accumulate during an algorithm running on large-scale processors. Current characterization techniques are unable to adequately account for the exponentially large set of potential errors, including cross-talk and other correlated noise sources. Here we develop cycle benchmarking, a rigorous and practically scalable protocol for characterizing local and global errors across multi-qubit quantum processors. We experimentally demonstrate its practicality by quantifying such errors in non-entangling and entangling operations on an ion-trap quantum computer with up to 10 qubits, with total process fidelities for multi-qubit entangling gates ranging from 99.6(1)% for 2 qubits to 86(2)% for 10 qubits. Furthermore, cycle benchmarking data validates that the error rate per single-qubit gate and per two-qubit coupling does not increase with increasing system size.Comment: The main text consists of 6 pages, 3 figures and 1 table. The supplementary information consists of 6 pages, 2 figures and 3 table

Simulating 2D lattice gauge theories on a qudit quantum computer

Particle physics underpins our understanding of the world at a fundamental level by describing the interplay of matter and forces through gauge theories. Yet, despite their unmatched success, the intrinsic quantum mechanical nature of gauge theories makes important problem classes notoriously difficult to address with classical computational techniques. A promising way to overcome these roadblocks is offered by quantum computers, which are based on the same laws that make the classical computations so difficult. Here, we present a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. This computation is made possible by the use of a trapped-ion qudit quantum processor, where quantum information is encoded in $d$ different states per ion, rather than in two states as in qubits. Qudits are ideally suited for describing gauge fields, which are naturally high-dimensional, leading to a dramatic reduction in the quantum register size and circuit complexity. Using a variational quantum eigensolver, we find the ground state of the model and observe the interplay between virtual pair creation and quantized magnetic field effects. The qudit approach further allows us to seamlessly observe the effect of different gauge field truncations by controlling the qudit dimension. Our results open the door for hardware-efficient quantum simulations with qudits in near-term quantum devices

Atomically resolved phase transition of fullerene cations solvated in helium droplets

Helium has a unique phase diagram and below 25 bar it does not form a solid even at the lowest temperatures. Electrostriction leads to the formation of a solid layer of helium around charged impurities at much lower pressures in liquid and superfluid helium. These so-called ‘Atkins snowballs’ have been investigated for several simple ions. Here we form HenC60+ complexes with n exceeding 100 via electron ionization of helium nanodroplets doped with C60. Photofragmentation of these complexes is measured by merging a tunable narrow- bandwidth laser beam with the ions. A switch from red- to blueshift of the absorption frequency of HenC60+ on addition of He atoms at n=32 is associated with a phase transition in the attached helium layer from solid to partly liquid (melting of the Atkins snowball). Elaborate molecular dynamics simulations using a realistic force field and including quantum effects support this interpretation

Evidence for predilection of macrophage infiltration patterns in the deeper midline and mesial temporal structures of the brain uniquely in patients with HIV-associated dementia

<p>Abstract</p> <p>Background</p> <p>HIV-1 penetrates the central nervous system, which is vital for HIV-associated dementia (HAD). But the role of cellular infiltration and activation together with HIV in the development of HAD is poorly understood.</p> <p>Methods</p> <p>To study activation and infiltration patterns of macrophages, CD8+ T cells in relation to HIV in diverse CNS areas of patients with and without dementia. 46 brain regions from two rapidly progressing severely demented patients and 53 regions from 4 HIV+ non-dementia patients were analyzed. Macrophage and CD8+ T cell infiltration of the CNS in relation to HIV was assessed using immuno-histochemical analysis with anti-HIV (P24), anti-CD8 and anti-CD68, anti-S-100A8 and granzyme B antibodies (cellular activation). Statistical analysis was performed with SPSS 12.0 with Student's t test and ANOVA.</p> <p>Results</p> <p>Overall, the patterns of infiltration of macrophages and CD8+ T cells were indiscernible between patients with and without dementia, but the co-localization of macrophages and CD8+ T cells along with HIV P24 antigen in the deeper midline and mesial temporal structures of the brain segregated the two groups. This predilection of infected macrophages and CD8+ T cells to the middle part of the brain was unique to both HAD patients, along with unique nature of provirus gag gene sequences derived from macrophages in the midline and mesial temporal structures.</p> <p>Conclusion</p> <p>Strong predilection of infected macrophages and CD8+ T cells was typical of the deeper midline and mesial temporal structures uniquely in HAD patients, which has some influence on neurocognitive impairment during HIV infection.</p