Search results

Universal fault-tolerant quantum computers will require the use of efficient protocols to implement encoded operations necessary in the execution of algorithms. In this work, we show how SMT solvers can be used to automate the construction of Clifford circuits with certain fault-tolerance properties and we apply our techniques to a fault-tolerant magic-state-preparation protocol. Part of the protocol requires

We propose a protocol for the deterministic generation of entanglement between two ensembles of nuclear spins surrounding two distant quantum dots. The protocol relies on the injection of electrons with definite polarization, their sequential interaction with the nuclear ensembles of each quantum dot for a short time, and the coherent transfer of each electron from one quantum dot to the other. Computing

Divergence chain rules for channels relate the divergence of a pair of channel inputs to the divergence of the corresponding channel outputs. An important special case of such a rule is the data-processing inequality, which tells us that if the same channel is applied to both inputs then the divergence cannot increase. Based on direct matrix analysis methods, we derive several Rényi divergence chain rules

Light is a powerful tool for controlling mechanical motion, as shown by numerous applications in the field of cavity optomechanics. Recently, small scale optomechanical circuits, connecting a few optical and mechanical modes, have been demonstrated in an ongoing push towards multi-mode on-chip optomechanical systems. An ambitious goal driving this trend is to produce topologically protected phonon transport

Quantum technology promises to revolutionize how we learn about the physical world. An experiment that processes quantum data with a quantum computer could have substantial advantages over conventional experiments in which quantum states are measured and outcomes are processed with a classical computer. We proved that quantum machines could learn from exponentially fewer experiments than the number required

Realizing quantum speedup for practically relevant, computationally hard problems is a central challenge in quantum information science. Using Rydberg atom arrays with up to 289 qubits in two spatial dimensions, we experimentally investigate quantum algorithms for solving the maximum independent set problem. We use a hardware-efficient encoding associated with Rydberg blockade, realize closed-loop optimization

Lattice surgery is a measurement-based technique for performing fault-tolerant quantum computation in two dimensions. When using the surface code, the most general lattice surgery operations require lattice irregularities called twist defects. However, implementing twist-based lattice surgery may require additional resources, such as extra device connectivity, and could lower the threshold and overall performance

Diamond offers good optical properties and hosts bright color centers with long spin coherence times. Recent advances in angled-etching of diamond, specifically with reactive ion beam angled etching (RIBAE), have led to successful demonstration of quantum photonic devices operating at visible wavelengths. However, larger devices operating at telecommunication wavelengths have been difficult to fabricate

Optomechanical crystals provide coupling between phonons and photons by confining them to commensurate wavelength-scale dimensions. We present a new concept for designing optomechanical crystals capable of achieving unprecedented coupling rates by confining optical and mechanical waves to deep sub-wavelength dimensions. Our design is based on a dielectric bowtie unit cell with an effective optical/mechanical

Stabilized cat qubits that possess biased noise channel with bit-flip errors exponentially smaller than phase-flip errors. Together with a set of bias-preserving (BP) gates, cat qubits are a promising candidate for realizing hardware efficient quantum error correction and fault-tolerant quantum computing. Compared to dissipatively stabilized cat qubits, the Kerr cat qubits can in principle support faster

We study the problem of differentially private (DP) fine-tuning of large pre-trained models — a recent privacy-preserving approach suitable for solving downstream tasks with sensitive data. Existing work has demonstrated that high accuracy is possible under strong privacy constraint, yet requires significant computational overhead or modifications to the network architecture. We propose differentially private

Programmable arrays of hundreds of Rydberg atoms have recently enabled the exploration of remarkable phenomena in many-body quantum physics. In addition, the development of high-fidelity quantum gates are making them promising architectures for the implementation of quantum circuits. We present here Pulser, an open-source Python library for programming neutral-atom devices at the pulse level. The low-level

Achieving an accurate description of fermionic systems typically requires considerably many more orbitals than fermions. Previous resource analyses of quantum chemistry simulation often failed to exploit this low fermionic number information in the implementation of Trotter-based approaches and overestimated the quantum-computer runtime as a result. They also depended on numerical procedures that are computationally

Simulation of the Hubbard model is a leading candidate for the first useful applications of a fault-tolerant quantum computer. A recent study of quantum algorithms for early simulations of the Hubbard model [Kivlichan et al 2019 Quantum 4 296] found that the lowest resource costs were achieved by split-operator Trotterization combined with the fast-fermionic Fourier transform (FFFT) on an L × L lattice

A highly anticipated use of quantum computers is the simulation of complex quantum systems including molecules and other many-body systems. One promising method involves directly applying a linear combination of unitaries (LCU) to approximate a Taylor series by truncating after some order. Here we present an adaptation of that method, optimized for Hamiltonians with terms of widely varying magnitude, as

Hyperfine atomic states are among the most promising candidates for qubit encoding in quantum information processing. In atomic systems, hyperfine transitions are typically driven through a two-photon Raman process by a laser field which is amplitude modulated at the hyperfine qubit frequency. Here we introduce a method for generating amplitude modulation by phase modulating a laser and reflecting it from

Heatsinks may cause radiated emission and radio frequency interference problems when they are mounted on printed circuit boards. In this paper, the radiation mechanism of heatsinks is systematically investigated using characteristic mode theory. The dipole moment is a commonly used equivalent source model for integrated circuits that drive radiated emission from heatsinks. On the basis of a simplified modal

Code generation models have achieved impressive performance. However, they tend to be brittle as slight edits to a prompt could lead to very different generations; these robustness properties, critical for user experience when deployed in real-life applications, are not well understood. Most existing works on robustness in text or code tasks have focused on classification, while robustness in generation

Measurements of a physical quantity by measuring devices are usually noisy enough that we need to correct, or at least mitigate, the effects of noise. For this purpose, it’s important to distinguish between systematic and random noise since they are of a different nature and independent from each other (when defined properly), so should be dealt with differently. For example, random noise can be significantly

Protected qubits such as the 0-π qubit, and bosonic qubits including cat qubits and Gottesman-Kitaev-Preskill (GKP) qubits offer advantages for fault tolerance. Some of these protected qubits (e.g., 0-π qubit and Kerr-cat qubit) are stabilized by Hamiltonians which have (near-)degenerate ground state manifolds with large energy gaps to the excited state manifolds. Without dissipative stabilization mechanisms