Related papers: Equivalence between fermion-to-qubit mappings in t…
The Z_2 topological order in Z_2 spin liquid and in exactly soluble Kitaev toric code model is the simplest topological order for 2+1D bosonic systems. More general 2+1D bosonic topologically ordered states can be constructed via exact…
After a brief review of various mappings of fermion pairs to bosons, we rigorously derive a general approach. Following the methods of Marumori and Otsuka, Arima, and Iachello, our approach begins with mapping states and constructs boson…
We develop a framework for constructing quantum error-correcting codes and logical gates for three types of spaces -- composite permutation-invariant spaces of many qubits or qudits, composite constant-excitation Fock-state spaces of many…
Hamiltonian quantum simulation of bosons on digital quantum computers requires truncating the Hilbert space to finite dimensions. The method of truncation and the choice of basis states can significantly impact the complexity of the quantum…
Motivated by understanding the power of quantum computation with restricted number of qubits, we give two complete characterizations of unitary quantum space bounded computation. First we show that approximating an element of the inverse of…
We construct toric codes on various high-dimensional manifolds. Assuming a conjecture in geometry we find families of quantum CSS stabilizer codes on $N$ qubits with logarithmic weight stabilizers and distance $N^{1-\epsilon}$ for any…
By using the properties of orthogonal polynomials, we present an exact unitary transformation that maps the Hamiltonian of a quantum system coupled linearly to a continuum of bosonic or fermionic modes to a Hamiltonian that describes a…
We define a model of quantum computation with local fermionic modes (LFMs) -- sites which can be either empty or occupied by a fermion. With the standard correspondence between the Foch space of $m$ LFMs and the Hilbert space of $m$ qubits,…
It is shown that supersymmetric integrable models in two dimensions, both relativistic (i.e. super-Toda type theories) and non-relativistic (reductions of super-KP hierarchies) can be associated to general Poisson-brackets structures given…
We present a quantum algorithm for the simulation of molecular systems that is asymptotically more efficient than all previous algorithms in the literature in terms of the main problem parameters. As in previous work [Babbush et al., New…
Recently we developed a local and constructive algorithm based on Lie algebraic methods for compressing Trotterized evolution under Hamiltonians that can be mapped to free fermions. The compression algorithm yields a circuit which scales…
The problem 2-LOCAL HAMILTONIAN has been shown to be complete for the quantum computational class QMA, see quant-ph/0406180. In this paper we show that this important problem remains QMA-complete when the interactions of the 2-local…
Quantum many-body systems involving bosonic modes or gauge fields have infinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers. To analyze the…
The Jordan-Wigner transformation maps a one-dimensional spin-1/2 system onto a fermionic model without spin degree of freedom. A double chain of quantum bits with XX and ZZ couplings of neighboring qubits along and between the chains,…
We explore an exact duality in $(2+1)$d between the fermionization of a bosonic theory with a $\mathbb{Z}_2$ subsystem symmetry and a fermionic theory with a $\mathbb{Z}_2$ subsystem fermion parity symmetry. A typical example is the duality…
It is shown that Majorana fermions trapped in three vortices in a p-wave superfluid form a qubit in a topological quantum computing (TQC). Several similar ideas have already been proposed: Ivanov [Phys. Rev. Lett. {\bf 86}, 268 (2001)] and…
A family of two-dimensional (2D) spin-1/2 models have been constructed to realize Kitaev's sixteen-fold way of anyon theories. Defining a one-dimensional (1D) path through all the lattice sites, and performing the Jordan-Wigner…
Simulating computationally hard fermionic systems is a promising application of quantum computing. However, mapping nonlocal fermionic operators to qubits often produces deep circuits, rendering such simulations impractical on near-term…
We present an unconstrained tree tensor network approach to the study of lattice gauge theories in two spatial dimensions showing how to perform numerical simulations of theories in presence of fermionic matter and four-body magnetic terms,…
In this paper we study the Hamming-like fermionic code encoding three-qubits into sixteen Majorana modes recently introduced by Hastings. We show that although this fermionic code cannot be obtained from a single qubit stabilizer code via…