Abstract:Elementary quantum mechanics proposes that a closed physical system consistently evolves in a reversible manner. However, control and readout necessitate the coupling of the quantum system to the external environment, subjecting it to relaxation and decoherence. Consequently, system-environment interactions are indispensable for simulating physically significant theories. A broad spectrum of physical systems in condensed-matter and high-energy physics, vibrational spectroscopy, and circuit and cavity QED necessitates the incorporation of bosonic degrees of freedom, such as phonons, photons, and gluons, into optimized fermion algorithms for near-future quantum simulations. In particular, when a quantum system is surrounded by an external environment, its basic physics can usually be simplified to a spin or fermionic system interacting with bosonic modes. Nevertheless, troublesome factors such as the magnitude of the bosonic degrees of freedom typically complicate the direct quantum simulation of these interacting models, necessitating the consideration of a comprehensive plan. This strategy should specifically include a suitable fermion/boson-to-qubit mapping scheme to encode sufficiently large yet manageable bosonic modes, and a method for truncating and/or downfolding the Hamiltonian to the defined subspace for performing an approximate but highly accurate simulation, guided by rigorous error analysis. In this paper, we aim to provide such an exhaustive strategy. Specifically, we emphasize two aspects: (1) the discussion of recently developed quantum algorithms for these interacting models and the construction of effective Hamiltonians, and (2) a detailed analysis regarding a tightened error bound for truncating the bosonic modes for a class of fermion-boson interacting Hamiltonians.

Quantization over boson operator spaces

Third quantization for bosons: symplectic diagonalization, non-Hermitian Hamiltonian, and symmetries

Second quantization of open quantum systems in Liouville space

Third quantization with Hartree approximation for open-system bosonic transport

Boson-fermion algebraic mapping in second quantization

Solving quasi-free and quadratic Lindblad master equations for open fermionic and bosonic systems

Bosonized Quantum Hamiltonian of the Two-Dimensional Derivative-Coupling Model

Quantization of pseudo-hermitian systems

Bosonic Quantum Computational Complexity

Quantum Phase Space, Quantization Hierarchy, and Eclectic Quantum Many-Body System

The quantum auxiliary linear problem & Darboux-Backlund transformations

Quantization of Second Order Fermions

Extending third quantization with commuting observables: a dissipative spin-boson model

Quantum Simulation of Boson-Related Hamiltonians: Techniques, Effective Hamiltonian Construction, and Error Analysis

Inhomogeneous Boson Realizations of Nonlinear Angular Momentum Algebra

Third-Quantized Master Equations as a classical Ornstein-Uhlenbeck Process

Quantum Liouvillian exceptional and diabolical points for bosonic fields with quadratic Hamiltonians: The Heisenberg-Langevin equation approach

General theory of linear quantum transformation of Bargmann-Fock space

Quantization of Non-Abelian Yang-Mills Theories