arXiv subjects

Steven M. Girvin

Publications and source records attributed to Steven M. Girvin.

At least 19 recordsLinked to original sources

arXiv2026

Systematic Construction of Time-Dependent Hamiltonians for Microwave-Driven Josephson Circuits

Time-dependent electromagnetic drives are fundamental for controlling complex quantum systems, including superconducting Josephson circuits. In these devices, accurate time-dependent Hamiltonian models are imperative for predicting their dynamics and designing high-fidelity quantum operations. Existing numerical methods, such as black-box quantization (BBQ) and energy-participation ratio (EPR), excel at modeling the static Hamiltonians of Josephson circuits. However, these techniques do not fully capture the behavior of driven circuits stimulated by external microwave drives, nor do they include a generalized approach to account for the inevitable noise and dissipation that enter through microwave ports. Here, we introduce numerical techniques that leverage classical microwave simulations, efficiently executable in finite-element solvers, to obtain the time-dependent Hamiltonian of microwave-driven superconducting circuits with arbitrary geometries under charge, flux, or mixed electromagnetic modulation. Importantly, our techniques do not rely on a lumped-element description of the superconducting circuit, in contrast to previous approaches to tackling this problem. We demonstrate the versatility of our approach by characterizing the driven properties of realistic circuit devices in complex electromagnetic environments, including coherent dynamics due to charge and flux modulation, as well as drive-induced relaxation and dephasing. Our techniques offer a powerful toolbox for optimizing circuit designs and advancing practical applications in superconducting quantum computing.

quant-ph↗

arXiv2026

Unified scaling of transmon sub-resonant parametric drive strength limits

Achieving fast gates and high-fidelity readout in superconducting quantum circuits often benefits from the use of large amplitude microwave drives. As the strength increases, unwanted effects such as excitation out of the logical states also become more prevalent. In transmon qubits, coherent controls relying on sub-resonant drives are fundamentally limited by the eventual appearance of strong hybridization in the spectrum. Understanding how this threshold depends on intrinsic device parameters is vital for the design and operation of circuits utilizing the transmon as a source of nonlinearity. In this work, we present an experimental study of 14 transmons with a wide range of anharmonicities, and use comparison with Floquet branch analysis and semiclassical simulations to establish a straightforward relationship between the critical value of the effective drive amplitude $η_{\max}$ and the ratio $γ=ω_q/α$, where $ω_q$ is the transmon frequency and $-α$ is the anharmonicity. For the case where the transmon is used as a parametrically driven coupler, these results further allow us to estimate maximum parametric interaction rates, which informs the circuit design process for optimizing gate rates and fidelities.

quant-ph↗

arXiv2026

Non-Abelian Quantum Signal Processing: A Composite Pulse for Fast Analytic Control of Hybrid Oscillator-Qubit Processors

Quantum Signal Processing (QSP) transforms a unitary parameterized by a classical variable $θ$ into one governed by a polynomial function $f(θ)$. Though quantum mechanics is linear, such highly nonlinear transformations arise naturally from the curvature of the qubit Bloch sphere. The QSP primitive underpins most quantum algorithms and finds broad utility in robust control by decreasing sensitivity to parameter errors, and in quantum sensing by increasing sensitivity to target parameters. In this work, we extend QSP to a new multivariate class, non-Abelian QSP, that utilizes a set of non-commuting (operator-valued) control parameters $\{\hatθ_1, \hatθ_2, \dots\}$. Experimental instantiations of this richer algebraic structure are currently being explored in hybrid oscillator-qubit systems realized in superconducting and trapped-ion processors, where the non-commuting variables are oscillator positions and momenta. We demonstrate the utility of our construction, the Gaussian-controlled-rotation (GCR) which is a canonical instance of this class, across three domains: fully analytical state preparation circuits whose performance matches state-of-the-art machine-learning protocols for preparing squeezed, cat, GKP, and Fock states; a complete analytical framework for universal control of GKP bosonic error-corrected qubits, including logical readout and error-corrected gate teleportation --with mid-circuit error detection and generalization to arbitrary lattices, qudits, and multi-mode codes uniquely enabled by the analytical structure; and a construction closing a key gap in oscillator-aided quantum phase estimation algorithms. These results establish non-Abelian QSP as a powerful new frontier, one that is not merely of theoretical interest but ready to be put to work in the laboratory today.

quant-ph↗

arXiv2025

Prospects for a Solid-State Nuclear Clock

Motivated by recent experimental breakthroughs toward a realization of a solid-state Thorium-229 nuclear clock, we review the technology, basic physics motivation, and limitations of the present generation of atomic clocks. We then discuss prospects for a new generation of clocks based on an anomalous low-energy 8.4 eV nuclear transition in Th-229, with an extremely long lifetime of 641 seconds when doped into CaF crystals. To realize such solid-state nuclear clocks one must confront basic nuclear, AMO, and solid state physics questions. Key challenges are understanding and minimizing the effects of inhomogeneous broadening, associated with strains and electric field gradients due to both the Th dopants and intrinsic crystal defects.

physics.atom-ph↗

arXiv2025

Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications

Quantum computing with discrete variable (DV, qubit) hardware is approaching the large scales necessary for computations beyond the reach of classical computers. However, important use cases such as quantum simulations of physical models containing bosonic modes, and quantum error correction are challenging for DV-only systems. Separately, hardware containing native continuous-variable (CV, oscillator) systems has received attention as an alternative approach, yet the universal control of such systems is non-trivial. In this work, we show that hybrid CV-DV hardware offers a great advantage in meeting these challenges, offering a powerful computational paradigm that inherits the strengths of both DV and CV processors. We provide a pedagogical introduction to CV-DV systems and the multiple abstraction layers needed to produce a full software stack connecting applications to hardware. We present a variety of new hybrid CV-DV compilation techniques, algorithms, and applications, including the extension of quantum signal processing concepts to CV-DV systems and strategies to simulate systems of interacting spins, fermions, and bosons. To facilitate the development of hybrid CV-DV processor systems, we introduce formal Abstract Machine Models and Instruction Set Architectures -- essential abstractions that enable developers to formulate applications, compile algorithms, and explore the potential of current and future hardware for realizing fault-tolerant circuits, modules, and processors. Hybrid CV-DV quantum computations are beginning to be performed in superconducting, trapped ion, and neutral atom platforms, and large-scale experiments are set to be demonstrated in the near future. We present a timely and comprehensive guide to this relatively unexplored yet promising approach to quantum computation and providing an architectural backbone to guide future development.

quant-ph↗

arXiv2025

Exact amplitudes of parametric processes in driven Josephson circuits

We present a general approach for analyzing arbitrary parametric processes in Josephson circuits within a single degree of freedom approximation. Introducing a systematic normal-ordered expansion for the Hamiltonian of parametrically driven superconducting circuits we present a flexible procedure to describe parametric processes and to compare and optimize different circuit designs for particular applications. We obtain formally exact amplitudes (`supercoefficients') of these parametric processes for driven SNAIL-based and SQUID-based circuits. The corresponding amplitudes contain complete information about the circuit topology, the form of the nonlinearity, and the parametric drive, making them, in particular, well-suited for the study of the strong drive regime. We present a closed-form expression for supercoefficients describing circuits without stray inductors and a tractable formulation for those with it. We demonstrate the versatility of the approach by applying it to the estimation of Kerr-cat qubit Hamiltonian parameters and by examining the criterion for the emergence of chaos in Kerr-cat qubits. Additionally, we extend the approach to multi-degree-of-freedom circuits comprising multiple linear modes weakly coupled to a single nonlinear mode. We apply this generalized framework to study the activation of a beam-splitter interaction between two cavities coupled via driven nonlinear elements. Finally, utilizing the flexibility of the proposed approach, we separately derive supercoefficients for the higher-harmonics model of Josephson junctions, circuits with multiple drives, and the expansion of the Hamiltonian in the exact eigenstate basis for Josephson circuits with specific symmetries.

quant-ph↗

arXiv2025

Toward Mixed Analog-Digital Quantum Signal Processing: Quantum AD/DA Conversion and the Fourier Transform

Signal processing stands as a pillar of classical computation and modern information technology, applicable to both analog and digital signals. Recently, advancements in quantum information science have suggested that quantum signal processing (QSP) can enable more powerful signal processing capabilities. However, the developments in QSP have primarily leveraged \emph{digital} quantum resources, such as discrete-variable (DV) systems like qubits, rather than \emph{analog} quantum resources, such as continuous-variable (CV) systems like quantum oscillators. Consequently, there remains a gap in understanding how signal processing can be performed on hybrid CV-DV quantum computers. Here we address this gap by developing a new paradigm of mixed analog-digital QSP. We demonstrate the utility of this paradigm by showcasing how it naturally enables analog-digital conversion of quantum signals -- specifically, the transfer of states between DV and CV quantum systems. We then show that such quantum analog-digital conversion enables new implementations of quantum algorithms on CV-DV hardware. This is exemplified by realizing the quantum Fourier transform of a state encoded on qubits via the free-evolution of a quantum oscillator, albeit with a runtime exponential in the number of qubits due to information theoretic arguments. Collectively, this work marks a significant step forward in hybrid CV-DV quantum computation, providing a foundation for scalable analog-digital signal processing on quantum processors.

eess.SP↗

arXiv2025

Constrained many-body phases in a $\mathbb{Z}_2$-Higgs lattice gauge theory

We study the ground-state phase diagram of a one-dimensional $\mathbb{Z}_2$ lattice gauge theory coupled to soft-core bosonic matter at unit filling, inspired by the Higgs sector of the standard model. Through a combination of analytical perturbative approaches, exact diagonalization, and density-matrix-renormalization-group simulations, we uncover a rich phase diagram driven by gauge-field-mediated resonant pair hopping and the confinement of single particles. The pair hopping results in a bunching state with superextensive energy and macroscopic particle number fluctuations at strong electric field strengths and weak on-site interactions. The bunching state crosses over into a pair superfluid phase as the on-site interaction increases, characterized by a finite superfluid density and powerlaw-decaying pair correlations. At large on-site interaction strengths and driven by effective interactions induced by the gauge constraint, the superfluid transitions into an incompressible pair Mott insulator phase. At weak field strengths and on-site interactions, we find a plasma-like region, where single bosons exhibit large short-range correlations and the ground state is composed almost equally of states with even and odd local boson occupation. The presence of a bunching state with large number fluctuations, which is difficult to study using classical numerics, motivates experimental realizations in hybrid boson-qubit quantum simulation platforms such as circuit QED, neutral atoms, and trapped ions. Our findings highlight the rich interplay between gauge fields and soft-core bosonic matter.

cond-mat.quant-gas↗

arXiv2024

Quantum Error Correction of Qudits Beyond Break-even

Hilbert space dimension is a key resource for quantum information processing. A large Hilbert space is not only an essential requirement for quantum error correction, but it can also be advantageous for realizing gates and algorithms more efficiently. There has thus been considerable experimental effort in recent years to develop quantum computing platforms using qudits (d-dimensional quantum systems with d>2) as the fundamental unit of quantum information. Just as with qubits, quantum error correction of these qudits will be necessary in the long run, but to date error correction of logical qudits has not been demonstrated experimentally. Here we report the experimental realization of an error-corrected logical qutrit (d=3) and ququart (d=4) by employing the Gottesman-Kitaev-Preskill (GKP) bosonic code. Using a reinforcement learning agent, we optimize the GKP qutrit (ququart) as a ternary (quaternary) quantum memory and achieve beyond break-even error correction with a gain of 1.82 +/- 0.03 (1.87 +/- 0.03). This work represents a new way of leveraging the large Hilbert space of a harmonic oscillator for hardware-efficient quantum error correction.

quant-ph↗

arXiv2024

Hybrid Oscillator-Qubit Quantum Processors: Simulating Fermions, Bosons, and Gauge Fields

We develop a hybrid oscillator-qubit processor framework for quantum simulation of strongly correlated fermions and bosons that avoids the boson-to-qubit mapping overhead encountered in qubit hardware. This framework gives exact decompositions of particle interactions such as density-density terms and gauge-invariant hopping, as well as approximate methods based on the Baker-Campbell Hausdorff formulas including the magnetic field term for the $U(1)$ quantum link model in $(2+1)$D. We use this framework to show how to simulate dynamics using Trotterisation, perform ancilla-free partial error detection using Gauss's law, measure non-local observables, estimate ground state energies using a oscillator-qubit variational quantum eigensolver as well as quantum signal processing, and we numerically study the influence of hardware errors in circuit QED experiments. To show the advantages over all-qubit hardware, we perform an end-to-end comparison of the gate complexity for the gauge-invariant hopping term and find an improvement of the asymptotic scaling with the boson number cutoff $S$ from $\mathcal{O}(\log(S)^2)$ to $\mathcal{O}(1)$ in our framework as well as, for bosonic matter, a constant factor improvement of better than $10^4$. We also find an improvement from $\mathcal{O}(\log(S))$ to $\mathcal{O}(1)$ for the $U(1)$ magnetic field term. While our work focusses on an implementation in superconducting hardware, our framework can also be used in trapped ion, and neutral atom hardware. This work establishes digital quantum simulation with hybrid oscillator-qubit hardware as a viable and advantageous method for the study of qubit-boson models in materials science, chemistry, and high-energy physics.

quant-ph↗

arXiv2024

Strategies and trade-offs for controllability and memory time of ultra-high-quality microwave cavities in circuit QED

Three-dimensional microwave cavity resonators have been shown to reach lifetimes of the order of a second by maximizing the cavity volume relative to its surface, using better materials, and improving surface treatments. Such cavities represent an ideal platform for quantum computing with bosonic qubits, but their efficient control remains an outstanding problem since the large mode volume results in inefficient coupling to nonlinear elements used for their control. Moreover, this coupling induces additional cavity decay via the inverse Purcell effect which can easily destroy the advantage of a long intrinsic lifetime. Here, we discuss conditions on, and protocols for, efficient utilization of these ultra-high-quality microwave cavities as memories for conventional superconducting qubits. We show that, surprisingly, efficient write and read operations with ultra-high-quality cavities does not require similar quality factors for the qubits and other nonlinear elements used to control them. Through a combination of analytical and numerical calculations, we demonstrate that efficient coupling to cavities with second-scale lifetime is possible with state-of-the-art transmon and SNAIL devices and outline a route towards controlling cavities with even higher quality factors. Our work explores a potentially viable roadmap towards using ultra-high-quality microwave cavity resonators for storing and processing information encoded in bosonic qubits.

quant-ph↗

arXiv2023

Dual-rail encoding with superconducting cavities

The design of quantum hardware that reduces and mitigates errors is essential for practical quantum error correction (QEC) and useful quantum computation. To this end, we introduce the circuit-Quantum Electrodynamics (QED) dual-rail qubit in which our physical qubit is encoded in the single-photon subspace of two superconducting microwave cavities. The dominant photon loss errors can be detected and converted into erasure errors, which are in general much easier to correct. In contrast to linear optics, a circuit-QED implementation of the dual-rail code offers unique capabilities. Using just one additional transmon ancilla per dual-rail qubit, we describe how to perform a gate-based set of universal operations that includes state preparation, logical readout, and parametrizable single and two-qubit gates. Moreover, first-order hardware errors in the cavities and the transmon can be detected and converted to erasure errors in all operations, leaving background Pauli errors that are orders of magnitude smaller. Hence, the dual-rail cavity qubit exhibits a favorable hierarchy of error rates and is expected to perform well below the relevant QEC thresholds with today's coherence times.

quant-ph↗

arXiv2023

Demonstrating a superconducting dual-rail cavity qubit with erasure-detected logical measurements

A critical challenge in developing scalable error-corrected quantum systems is the accumulation of errors while performing operations and measurements. One promising approach is to design a system where errors can be detected and converted into erasures. Such a system utilizing erasure qubits are known to have relaxed requirements for quantum error correction. A recent proposal aims to do this using a dual-rail encoding with superconducting cavities. However, experimental characterization and demonstration of a dual-rail cavity qubit has not yet been realized. In this work, we implement such a dual-rail cavity qubit; we demonstrate a projective logical measurement with integrated erasure detection and use it to measure dual-rail qubit idling errors. We measure logical state preparation and measurement errors at the $0.01\%$-level and detect over $99\%$ of cavity decay events as erasures. We use the precision of this new measurement protocol to distinguish different types of errors in this system, finding that while decay errors occur with probability $\sim 0.2\%$ per microsecond, phase errors occur 6 times less frequently and bit flips occur at least 140 times less frequently. These findings represent the first confirmation of the expected error hierarchy necessary to concatenate dual-rail erasure qubits into a highly efficient erasure code.

quant-ph↗

arXiv2023

Systems Architecture for Quantum Random Access Memory

Operating on the principles of quantum mechanics, quantum algorithms hold the promise for solving problems that are beyond the reach of the best-available classical algorithms. An integral part of realizing such speedup is the implementation of quantum queries, which read data into forms that quantum computers can process. Quantum random access memory (QRAM) is a promising architecture for realizing quantum queries. However, implementing QRAM in practice poses significant challenges, including query latency, memory capacity and fault-tolerance. In this paper, we propose the first end-to-end system architecture for QRAM. First, we introduce a novel QRAM that hybridizes two existing implementations and achieves asymptotically superior scaling in space (qubit number) and time (circuit depth). Like in classical virtual memory, our construction enables queries to a virtual address space larger than what is actually available in hardware. Second, we present a compilation framework to synthesize, map, and schedule QRAM circuits on realistic hardware. For the first time, we demonstrate how to embed large-scale QRAM on a 2D Euclidean space, such as a grid layout, with minimal routing overhead. Third, we show how to leverage the intrinsic biased-noise resilience of the proposed QRAM for implementation on either Noisy Intermediate-Scale Quantum (NISQ) or Fault-Tolerant Quantum Computing (FTQC) hardware. Finally, we validate these results numerically via both classical simulation and quantum hardware experimentation. Our novel Feynman-path-based simulator allows for efficient simulation of noisy QRAM circuits at a larger scale than previously possible. Collectively, our results outline the set of software and hardware controls needed to implement practical QRAM.

quant-ph↗

arXiv2023

Introduction to Quantum Error Correction and Fault Tolerance

These lecture notes from the 2019 Les Houches Summer School on 'Quantum Information Machines' are intended to provide an introduction to classical and quantum error correction with bits and qubits, and with continuous variable systems (harmonic oscillators). The focus on the latter will be on practical examples that can be realized today or in the near future with a modular architecture based on superconducting electrical circuits and microwave photons. The goal and vision is 'hardware-efficient' quantum error correction that does not require exponentially large hardware overhead in order to achieve practical and useful levels of fault tolerance and circuit depth.

quant-ph↗

arXiv2022

Error-detectable bosonic entangling gates with a noisy ancilla

Bosonic quantum error correction has proven to be a successful approach for extending the coherence of quantum memories, but to execute deep quantum circuits, high-fidelity gates between encoded qubits are needed. To that end, we present a family of error-detectable two-qubit gates for a variety of bosonic encodings. From a new geometric framework based on a "Bloch sphere" of bosonic operators, we construct $ZZ_L(θ)$ and $\text{eSWAP}(θ)$ gates for the binomial, 4-legged cat, dual-rail and several other bosonic codes. The gate Hamiltonian is simple to engineer, requiring only a programmable beamsplitter between two bosonic qubits and an ancilla dispersively coupled to one qubit. This Hamiltonian can be realized in circuit QED hardware with ancilla transmons and microwave cavities. The proposed theoretical framework was developed for circuit QED but is generalizable to any platform that can effectively generate this Hamiltonian. Crucially, one can also detect first-order errors in the ancilla and the bosonic qubits during the gates. We show that this allows one to reach error-detected gate fidelities at the $10^{-4}$ level with today's hardware, limited only by second-order hardware errors.

quant-ph↗

arXiv2022

Architectures for Multinode Superconducting Quantum Computers

Many proposals to scale quantum technology rely on modular or distributed designs where individual quantum processors, called nodes, are linked together to form one large multinode quantum computer (MNQC). One scalable method to construct an MNQC is using superconducting quantum systems with optical interconnects. However, a limiting factor of these machines will be internode gates, which may be two to three orders of magnitude noisier and slower than local operations. Surmounting the limitations of internode gates will require a range of techniques, including improvements in entanglement generation, the use of entanglement distillation, and optimized software and compilers, and it remains unclear how improvements to these components interact to affect overall system performance, what performance from each is required, or even how to quantify the performance of each. In this paper, we employ a `co-design' inspired approach to quantify overall MNQC performance in terms of hardware models of internode links, entanglement distillation, and local architecture. In the case of superconducting MNQCs with microwave-to-optical links, we uncover a tradeoff between entanglement generation and distillation that threatens to degrade performance. We show how to navigate this tradeoff, lay out how compilers should optimize between local and internode gates, and discuss when noisy quantum links have an advantage over purely classical links. Using these results, we introduce a roadmap for the realization of early MNQCs which illustrates potential improvements to the hardware and software of MNQCs and outlines criteria for evaluating the landscape, from progress in entanglement generation and quantum memory to dedicated algorithms such as distributed quantum phase estimation. While we focus on superconducting devices with optical interconnects, our approach is general across MNQC implementations.

quant-ph↗

arXiv2022

Encoding qubits in multimode grid states

Encoding logical quantum information in harmonic oscillator modes is a promising and hardware-efficient approach to the realization of a quantum computer. In this work, we propose to encode logical qubits in grid states of an ensemble of harmonic oscillator modes. We first discuss general results about these multimode bosonic codes; how to design them, how to practically implement them in different experimental platforms and how lattice symmetries can be leveraged to perform logical non-Clifford operations. We then introduce in detail two two-mode grid codes based on the hypercubic and D4 lattices, respectively, showing how to perform a universal set of logical operations. We demonstrate numerically that multimode grid codes have, compared to their single-mode counterpart, increased robustness against propagation of errors from ancillas used for error correction. Finally, we highlight some interesting links between multidimensional lattices and single-mode grid codes concatenated with qubit codes.

quant-ph↗