No Arabic abstract
We discuss encodings of fermionic many-body systems by qubits in the presence of symmetries. Such encodings eliminate redundant degrees of freedom in a way that preserves a simple structure of the system Hamiltonian enabling quantum simulations with fewer qubits. First we consider $U(1)$ symmetry describing the particle number conservation. Using a previously known encoding based on the first quantization method a system of $M$ fermi modes with $N$ particles can be simulated on a quantum computer with $Q=Nlog{(M)}$ qubits. We propose a new version of this encoding tailored to variational quantum algorithms. Also we show how to improve sparsity of the simulator Hamiltonian using orthogonal arrays. Next we consider encodings based on the second quantization method. It is shown that encodings with a given filling fraction $ u=N/M$ and a qubit-per-mode ratio $eta=Q/M<1$ can be constructed from efficiently decodable classical LDPC codes with the relative distance $2 u$ and the encoding rate $1-eta$. A family of codes based on high-girth bipartite graphs is discussed. Graph-based encodings eliminate roughly $M/N$ qubits. Finally we consider discrete symmetries, and show how to eliminate qubits using previously known encodings, illustrating the technique for simple molecular-type Hamiltonians.
We propose a non-linear, hybrid quantum-classical scheme for simulating non-equilibrium dynamics of strongly correlated fermions described by the Hubbard model in a Bethe lattice in the thermodynamic limit. Our scheme implements non-equilibrium dynamical mean field theory (DMFT) and uses a digital quantum simulator to solve a quantum impurity problem whose parameters are iterated to self-consistency via a classically computed feedback loop where quantum gate errors can be partly accounted for. We analyse the performance of the scheme in an example case.
Many-body fermionic quantum calculations performed on analog quantum computers are restricted by the presence of k-local terms, which represent interactions among more than two qubits. These originate from the fermion-to-qubit mapping applied to the electronic Hamiltonians. Current solutions to this problem rely on perturbation theory in an enlarged Hilbert space. The main challenge associated with this technique is that it relies on coupling constants with very different magnitudes. This prevents its implementation in currently available architectures. In order to resolve this issue, we present an optimization scheme that unfolds the k-local terms into a linear combination of 2-local terms, while ensuring the conservation of all relevant physical properties of the original Hamiltonian, with several orders of magnitude smaller variation of the coupling constants.
We consider a macroscopic quantum system such as a qubit, interacting with a bath of fermions as in the Frohlich polaron model. The interaction Hamiltonian is thus linear in the macroscopic system variable, and bilinear in the fermions. Using the recently developed extension of Feynman-Vernon theory to non-harmonic baths we evaluate quadratic and the quartic terms in the influence action. We find that for this model the quartic term vanish by symmetry arguments. Although the influence of the bath on the system is of the same form as from bosonic harmonic oscillators up to effects to sixth order in the system-bath interaction, the temperature dependence is nevertheless rather different, unless rather contrived models are considered.
Although a universal quantum computer is still far from reach, the tremendous advances in controllable quantum devices, in particular with solid-state systems, make it possible to physically implement quantum simulators. Quantum simulators are physical setups able to simulate other quantum systems efficiently that are intractable on classical computers. Based on solid-state qubit systems with various types of nearest-neighbor interactions, we propose a complete set of algorithms for simulating pairing Hamiltonians. Fidelity of the target states corresponding to each algorithm is numerically studied. We also compare algorithms designed for different types of experimentally available Hamiltonians and analyze their complexity. Furthermore, we design a measurement scheme to extract energy spectra from the simulators. Our simulation algorithms might be feasible with state-of-the-art technology in solid-state quantum devices.
We present a canonical derivation of an influence superoperator which generates the reduced dynamics of a Fermionic quantum system linearly coupled to a Fermionic environment initially at thermal equilibrium. We use this formalism to derive a generalized-Lindblad master equation (in the Markovian limit) and a generalized version of the hierarchical equations of motion valid in arbitrary parity-symmetry conditions, important for the correct evaluation of system correlation functions and spectra.