We argue that all locality-preserving mappings between fermionic observables and Pauli matrices on a two-dimensional lattice can be generated from the exact bosonization in Ref. [1], whose gauge constraints project onto the subspace of the toric code with emergent fermions. Starting from the exact bosonization and applying Clifford finite-depth generalized local unitary (gLU) transformation, we can achieve all possible fermion-to-qubit mappings (up to the re-pairing of Majorana fermions). In particular, we discover a new super-compact encoding using 1.25 qubits per fermion on the square lattice, which is lower than any method in the literature. We prove the existence of fermion-to-qubit mappings with qubit-fermion ratios $r=1+ \frac{1}{2k}$ for positive integers $k$, where the proof utilizes the trivialness of quantum cellular automata (QCA) in two spatial dimensions. When the ratio approaches 1, the fermion-to-qubit mapping reduces to the 1d Jordan-Wigner transformation along a certain path in the two-dimensional lattice. Finally, we explicitly demonstrate that the Bravyi-Kitaev superfast simulation, the Verstraete-Cirac auxiliary method, Kitaev's exactly solved model, the Majorana loop stabilizer codes, and the compact fermion-to-qubit mapping can all be obtained from the exact bosonization.
Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e. by calculating the dimensions of reduced spaces, stemming from the symplectic reduction…
In this paper, we investigate a characterization of Quantum Mechanics by two physical principles based on general probabilistic theories. We first give the operationally motivated definition of the physical equivalence of states and consider the principle of the physical equivalence of pure states, which turns out to be equivalent to the symmetric structure of the state space. We further consider another principle of the decomposability with distinguishable pure states. We give classification theorems of the state spaces for each principle, and derive the Bloch ball in 2 and 3 dimensional syst…
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
The embedding of the $n$-qubit space into the $n$-fermion space with $2n$ modes is a widely used method in studying various aspects of these systems. This simple mapping raises a crucial question: does the embedding preserve the entanglement structure? It is known that the answer is affirmative for $n=2$ and $n=3$. That is, under either local unitary (LU) operations or with respect to stochastic local operations and classical communication (SLOCC), there is a one-to-one correspondence between the 2- (or 3)-qubit orbits and the 2- (or 3)-fermion orbits with 4 (or 6) modes. However these results…
It is shown that a spin-1/2 fermion coupled to the axially symmetric electromagnetic vector potential has the same matrix structure as that one for the planar Dirac oscillator. In particular, the planar Dirac oscillator can be interpreted as a charged particle minimally coupled to a transverse homogeneous magnetic field.
The CANDECOMP/PARAFAC (CP) decomposition is a generalization of the spectral decomposition of matrices to higher-order tensors. In this paper we use the CP decomposition to study unitary equivalence of higher order tensors and construct several invariants of local unitary equivalence for general higher order tensors. Based on this new method, we study the coefficient tensors of $3$-qubit states and obtain a necessary and sufficient criterion for local unitary equivalence of general tripartite states in terms of the CP decomposition. We also generalize this method to obtain some invariants of l…
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
We study 12 parameter families of two qubit density matrices, arising from a special class of two-fermion systems with four single particle states or alternatively from a four-qubit state with amplitudes arranged in an antisymmetric matrix. We calculate the Wooters concurrences and the negativities in a closed form and study their behavior. We use these results to show that the relevant entanglement measures satisfy the generalized Coffman-Kundu-Wootters formula of distributed entanglement. An explicit formula for the residual tangle is also given. The geometry of such density matrices is elab…
It is well known that quantum states that can be transformed into each other by local unitary transformations are equal from the information theoretic point of view. This defines equivalence classes of states and allows one to write any state with the minimal number of parameters called the canonical form of the state. We define the equivalence classes of local measurements such that local operations which transform states from one equivalence class into another with the same probability are equivalent. This equivalence relation allows one to write the operators with the minimal number of para…
Mappings between fermions and qubits are valuable constructions in physics. To date only a handful exist. In addition to revealing dualities between fermionic and spin systems, such mappings are indispensable in any quantum simulation of fermionic physics on quantum computers. The number of qubits required per fermionic mode, and the locality of mapped fermionic operators strongly impact the cost of such simulations. We present a novel fermion to qubit mapping which outperforms all previous local mappings in both the qubit to mode ratio, and the locality of mapped operators.
We study the problem of secret key distillation from bipartite states in the scenario where Alice and Bob can only perform measurements at the single-copy level and classically process the obtained outcomes. Even with these limitations, secret bits can be asymptotically distilled by the honest parties from any two-qubit entangled state, under any individual attack. Our results point out a complete equivalence between two-qubit entanglement and secure key distribution: a key can be established through a one-qubit channel if and only if it allows to distribute entanglement. These results can be …
We consider the unextendible product bases (UPBs) of fixed cardinality $m$ in quantum systems of $n$ qubits. These UPBs are divided into finitely many equivalence classes with respect to an equivalence relation introduced by N. Johnston. There is a natural partial order `$\leq$' on the set of these equivalence classes for fixed $m$, and we use this partial order to study the topological closure of an equivalence class of UPBs. In the case of four qubits, for $m=8,9,10$, we construct explicitly the Hasse diagram of this partial order.
We study the interconversion of multipartite symmetric $N$-qubit states under stochastic local operations and classical communication (SLOCC). We demonstrate that if two symmetric states can be connected with a nonsymmetric invertible local operation (ILO), then they belong necessarily to the separable, W, or GHZ entanglement class, establishing a practical method of discriminating subsets of entanglement classes. Furthermore, we prove that there always exists a symmetric ILO connecting any pair of symmetric $N$-qubit states equivalent under SLOCC, simplifying the requirements for experimental…
We propose a scheme to implement Controlled Not-gate for topological qubits in a quantum-dot-Majorana-fermion hybrid system. Quantum information is encoded on pairs of Majorana fermions, which live on the the interface between topologically trivial and nontrivial sections of a quantum nanowire deposited on an s-wave superconductor. A measurement-based two-qubit Controlled-Not gate is produced with the help of parity measurements assisted by the quantum-dot and followed by prescribed single-qubit gates. The parity measurement, on the quantum-dot and a topological qubit, is achieved by the Aharo…
We present a method for encoding second-quantized fermionic systems in qubits when the number of fermions is conserved, as in the electronic structure problem. When the number $F$ of fermions is much smaller than the number $M$ of modes, this symmetry reduces the number of information-theoretically required qubits from $Θ(M)$ to $O(F\log M)$. In this limit, our encoding requires $O(F^2\log^4 M)$ qubits, while encoded fermionic creation and annihilation operators have cost $O(F^2\log^5 M)$ in two-qubit gates. When incorporated into randomized simulation methods, this permits simulating time-evo…
Through the introduction of auxiliary fermions, or an enlarged spin space, one can map local fermion Hamiltonians onto local spin Hamiltonians, at the expense of introducing a set of additional constraints. We present a variational Monte-Carlo framework to study fermionic systems through higher-dimensional (>1D) Jordan-Wigner transformations. We provide exact solutions to the parity and Gauss-law constraints that are encountered in bosonization procedures. We study the $t$-$V$ model in 2D and demonstrate how both the ground state and the low-energy excitation spectra can be retrieved in combin…
We show that the quantum phase transition arising in a standard radiation-matter model (Dicke model) belongs to the same universality class as the infinitely-coordinated, transverse field XY model. The effective qubit-qubit exchange interaction is shown to be proportional to the square of the qubit-radiation coupling. A universal finite-size scaling is derived for the corresponding two-qubit entanglement (concurrence) and a size-consistent effective Hamiltonian is proposed for the qubit subsystem.
Simulating fermionic lattice models with qubits requires mapping fermionic degrees of freedom to qubits. The simplest method for this task, the Jordan-Wigner transformation, yields strings of Pauli operators acting on an extensive number of qubits. This overhead can be a hindrance to implementation of qubit-based quantum simulators, especially in the analog context. Here we thus review and analyze alternative fermion-to-qubit mappings, including the two approaches by Bravyi and Kitaev and the Auxiliary Fermion transformation. The Bravyi-Kitaev transform is reformulated in terms of a classical …
For quantum computing applications, the electronic Hamiltonian for the electronic structure problem needs to be unitarily transformed to a qubit form. We found that mean-field procedures on the original electronic Hamiltonian and on its transformed qubit counterpart can give different results. We establish conditions of when fermionic and qubit mean fields provide the same or different energies. In cases when the fermionic mean-field (Hartree-Fock) approach provides an accurate description (electronic correlation effects are small), the choice of molecular orbitals for the electron Hamiltonian…
We introduce a fermion-to-qubit mapping defined on ternary trees, where any single Majorana operator on an $n$-mode fermionic system is mapped to a multi-qubit Pauli operator acting nontrivially on $\lceil \log_3(2n+1)\rceil$ qubits. The mapping has a simple structure and is optimal in the sense that it is impossible to construct Pauli operators in any fermion-to-qubit mapping acting nontrivially on less than $\log_3(2n)$ qubits on average. We apply it to the problem of learning $k$-fermion reduced density matrix (RDM), a problem relevant in various quantum simulation applications. We show tha…
We propose a method of encoding a topologically-protected qubit using Majorana fermions in a trapped-ion chain. This qubit is protected against major sources of decoherence, while local operations and measurements can be realized. Furthermore, we show that an efficient quantum interface and memory for arbitrary multiqubit photonic states can be built, encoding them into a set of entangled Majorana-fermion qubits inside cavities.
The present paper is both a review on the Feynman problem, and an original research presentation on the relations between Fermionic theories and qubits theories, both regarded in the novel framework of operational probabilistic theories. The most relevant results about the Feynman problem of simulating Fermions with qubits are reviewed, and in the light of the new original results the problem is solved. The answer is twofold. On the computational side the two theories are equivalent, as shown by Bravyi and Kitaev (Ann. Phys. 298.1 (2002): 210-226). On the operational side the quantum theory of…
The necessary and sufficient conditions for the equivalence of arbitrary n-qubit pure quantum states under Local Unitary (LU) operations derived in [B. Kraus Phys. Rev. Lett. 104, 020504 (2010)] are used to determine the different LU-equivalence classes of up to five-qubit states. Due to this classification new parameters characterizing multipartite entanglement are found and their physical interpretation is given. Moreover, the method is used to derive examples of two n-qubit states (with n>2 arbitrary) which have the properties that all the entropies of any subsystem coincide, however, the s…
Local Hamiltonians of fermionic systems on a lattice can be mapped onto local qubit Hamiltonians. Maintaining the locality of the operators comes at the expense of increasing the Hilbert space with auxiliary degrees of freedom. In order to retrieve the lower-dimensional physical Hilbert space that represents fermionic degrees of freedom, one must satisfy a set of constraints. In this work, we introduce quantum circuits that exactly satisfy these stringent constraints. We demonstrate how maintaining locality allows one to carry out a Trotterized time-evolution with constant circuit depth per ti…
Stabilizer-based quantum simulation of fermion dynamics with local qubit encodings
IBM Quantum, IBM Research Europe - Zurich（IBM量子，IBM欧洲苏黎世研究中心）；Institute for Theoretical Physics, ETH Zürich（苏黎世联邦理工学院理论物理研究所）；Institute of Physics, École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院物理研究所）
In recent work [arXiv:2003.06939v2] a novel fermion to qubit mapping -- called the compact encoding -- was introduced which outperforms all previous local mappings in both the qubit to mode ratio, and the locality of mapped operators. There the encoding was demonstrated for square and hexagonal lattices. Here we present an extension of that work by illustrating how to apply the compact encoding to other regular lattices. We give constructions for variants of the compact encoding on all regular tilings with maximum degree 4. These constructions yield edge operators with Pauli weight at most 3 a…
Quantum simulation of fermionic systems is a promising application of quantum computers, but in order to program them, we need to map fermionic states and operators to qubit states and quantum gates. While quantum processors may be built as two-dimensional qubit networks with couplings between nearest neighbors, standard Fermion-to-qubit mappings do not account for that kind of connectivity. In this work we concatenate the (one-dimensional) Jordan-Wigner transform with specific quantum codes defined under the addition of a certain number of auxiliary qubits. This yields a novel class of mappin…
We introduce error-correcting codes that can correct for fermion parity-violating (quasiparticle poisoning) and parity-conserving errors in systems of complex fermions and of Majorana fermions. After establishing properties of fermion codes, we introduce a generic construction of fermion codes from weakly self-dual classical, binary error-correcting codes. We use this method to construct (i) the shortest fermion code to correct for quasiparticle poisoning errors, (ii) translationally-invariant fermion codes and (iii) other codes that correct higher-weight errors. We conclude by discussing a po…
In the present work we propose that two-time correlations of Majorana edge localized fermions constitute a novel and versatile toolbox for assessing the topological phases of 1D open lattices. Using analytical and numerical calculations on the Kitaev model, we uncover universal relationships between the decay of the short-time correlations and a particular family of out-of-time-ordered correlators, which provide direct experimental alternatives to the quantitative analysis of the system regime, either normal or topological. Furthermore we show that the saturation of two-time correlations posse…
We consider Majorana fermion stabilizer codes with small number of modes and distance. We give an upper bound on the number of logical qubits for distance $4$ codes, and we construct Majorana fermion codes similar to the classical Hamming code that saturate this bound. We perform numerical studies and find other distance $4$ and $6$ codes that we conjecture have the largest possible number of logical qubits for the given number of physical Majorana modes. Some of these codes have more logical qubits than any Majorana fermion code derived from a qubit stabilizer code.
We analyze a general method for the dissipative preparation and stabilization of volume-law entangled states of fermionic and qubit lattice systems in 1D (and higher dimensions for fermions). Our approach requires minimal resources: nearest-neighbour Hamiltonian interactions that obey a suitable chiral symmetry, and the realization of just a single, spatially-localized dissipative pairing interaction. In the case of a qubit array, the dissipative model we study is not integrable and maps to an interacting fermionic problem. Nonetheless, we analytically show the existence of a unique pure entan…
We find that when a qubit initialized in a pure state experiences pure dephasing due to interaction with an environment, separable qubit-environment states generated during the evolution also have zero quantum discord with respect to the environment. What follows is that the set of separable states which can be reached during the evolution has zero volume and hence, such effects as sudden death of qubit-environment entanglement are very unlikely. In case of the discord with respect to the qubit, a vast majority of separable states qubit-environment is discordant, but in specific situations zer…
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 Zhang {\it et al.} [Phys. Rev. Lett. {\bf 99}, 220502 (2007)] have proposed schemes in which a qubit is implemented with two and four Majorana fermions, respectively, where a qubit operation is performed by exchanging the positions of Majorana fermions. The set of gates thus obtained is a discrete subset of the relevant unitary group. We propose, in this pap…
We propose a scheme for extracting entangled charge qubits from quantum-dot chains that support zero-energy edge modes. The edge mode is composed of Majorana fermions localized at the ends of each chain. The qubit, logically encoded in double quantum dots, can be manipulated through tunneling and pairing interactions between them. The detailed form of the entangled state depends on both the parity measurement (an even or odd number) of the boundary-site electrons in each chain and the teleportation between the chains. The parity measurement is realized through the dispersive coupling of cohere…
The mapping of fermionic states onto qubit states, as well as the mapping of fermionic Hamiltonian into quantum gates enables us to simulate electronic systems with a quantum computer. Benefiting the understanding of many-body systems in chemistry and physics, quantum simulation is one of the great promises of the coming age of quantum computers. One challenge in realizing simulations on near-term quantum devices is the large number of qubits required by such mappings. In this work, we develop methods that allow us to trade-off qubit requirements against the complexity of the resulting quantum…
