Kevin C. Smith

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.

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.

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.