A reasonable quantum information theory for fermions must respect the parity super-selection rule to comply with the special theory of relativity and the no-signaling principle. This rule restricts the possibility of any quantum state to have a superposition between even and odd parity fermionic states. It thereby characterizes the set of physically allowed fermionic quantum states. Here we introduce the physically allowed quantum operations, in congruence with the parity super-selection rule, that map the set of allowed fermionic states onto itself. We first introduce unitary and projective measurement operations of the fermionic states. We further extend the formalism to general quantum operations in the forms of Stinespring dilation, operator-sum representation, and axiomatic completely-positive-trace-preserving maps. We explicitly show the equivalence between these three representations of fermionic quantum operations. We discuss the possible implications of our results in characterization of correlations in fermionic systems.
Quantum tomography is an important tool for the characterisation of quantum operations. In this paper, we present a framework of quantum tomography in fermionic systems. Compared with qubit systems, fermions obey the superselection rule, which sets constraints on states, processes and measurements in a fermionic system. As a result, we can only partly reconstruct an operation that acts on a subset of fermion modes, and the full reconstruction always requires at least one ancillary fermion mode in addition to the subset. We also report a protocol for the full reconstruction based on gates in Ma…
We investigate work extraction from non-interacting fermions under arbitrary unitary operations and the more restricted class of Gaussian unitary operations that can be feasibly implemented. We characterize general quantum states in fermionic systems according to their ability to yield work (or not) under such transformations and study the limit for which multiple copies of passive states in fermionic systems can be activated for work extraction. We find that a sufficient number of copies of non-thermal passive states can achieve this, yielding an upper bound on the number of copies needed.
The paper studies unambiguous discrimination of Fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two Fermionic states through LOCC unambiguously with the same success probability as if global measurements were allowed. Furthermore, we prove that we can overcome such a limit through an ancillary system made of two Fermionic modes, independently of the dimension of the system, prepa…
We consider the problem of local operations and classical communication (LOCC) discrimination between two bipartite pure states of fermionic systems. We show that, contrary to the case of quantum systems, for fermionic systems it is generally not possible to achieve the ideal state discrimination performances through LOCC measurements. On the other hand, we show that an ancillary system made of two fermionic modes in a maximally entangled state is a sufficient additional resource to attain the ideal performances via LOCC measurements. The stability of the ideal results is studied when the prob…
Localized Majorana fermions emerge in many topologically ordered systems and exhibit exchange statistics of Ising anyons. This enables noise-resistant implementation of a limited set of operations by braiding and fusing Majorana fermions. Unfortunately, these operations are incapable of implementing universal quantum computation. We show that, regardless of these limitations, Majorana fermions could be used to demonstrate non-locality (correlations incompatible with a local hidden variable theory) in experiments using only topologically protected operations. We also demonstrate that our propos…
We show that one-body entanglement, which is a measure of the deviation of a pure fermionic state from a Slater determinant (SD) and is determined by the mixedness of the single-particle density matrix (SPDM), can be considered as a quantum resource. The associated theory has SDs and their convex hull as free states, and number conserving fermion linear optics operations (FLO), which include one-body unitary transformations and measurements of the occupancy of single-particle modes, as the basic free operations. We first provide a bipartitelike formulation of one-body entanglement, based on a …
Braiding of Majorana fermions gives accurate topological quantum operations that are intrinsically robust to noise and imperfection, providing a natural method to realize fault-tolerant quantum information processing. Unfortunately, it is known that braiding of Majorana fermions is not sufficient for implementation of universal quantum computation. Here we show that topological manipulation of Majorana fermions provides the full set of operations required to generate random numbers by way of quantum mechanics and to certify its genuine randomness through violation of a multipartite Bell inequa…
We show that the quantum Zeno effect can be used to implement several quantum logic gates for photonic qubits, including a gate that is similar to the square-root of SWAP operation. The operation of these devices depends on the fact that photons can behave as if they were non-interacting fermions instead of bosons in the presence of a strong Zeno effect. These results are discussed within the context of several no-go theorems for non-interacting fermions or bosons.
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…
Freie Universität Berlin（柏林自由大学）；Technology Innovation Institute (TII)（技术创新研究所）；Tsinghua University（清华大学）；Helmholtz-Zentrum Berlin für Materialien und Energie（亥姆霍兹柏林材料能源中心）
Exterior calculus with its three operations meet, join and hodge star complement, is used for the representation of fermion-hole systems and for fermionic analogues of logical gates. Two different schemes that implement fermionic quantum computation, are proposed. The first scheme compares fermionic gates with Boolean gates, and leads to novel electronic devices that simulate fermionic gates. The second scheme usesa well known map between fermionic and multi-qubit systems, to simulate fermionic gates within multi-qubit systems.
We demonstrate that non-Abelian rotations within the degenerate groundstate manifold of a set of Majorana fermions can be realized by the addition or removal of single electrons, and propose an implementation using Coulomb blockaded quantum dots. The exchange of electrons generates rotations similar to braiding, though not in real space. Unlike braiding operations, rotations by a continuum of angles are possible, while still being partially robust against perturbations. The quantum dots can also be used for readout of the state of the Majorana system via a charge measurement.
While single boson entanglement is known to be equivalent to standard non-identical particle entanglement, the use of fermionic entanglement is constrained by a parity superselection rule. Nevertheless we show that within the framework of second quantization, where local modes play the role of qubits, the analogy with ordinary entanglement holds: two entangled spinless fermion modes can be used to teleport a single local fermion mode and to perform standard dense coding. Entanglement concentration and dilution are possible for fermions. We clarify the meaning of our results by discussing the c…
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…
Quantum simulation is an important application of future quantum computers with applications in quantum chemistry, condensed matter, and beyond. Quantum simulation of fermionic systems presents a specific challenge. The Jordan-Wigner transformation allows for representation of a fermionic operator by O(n) qubit operations. Here we develop an alternative method of simulating fermions with qubits, first proposed by Bravyi and Kitaev [S. B. Bravyi, A.Yu. Kitaev, Annals of Physics 298, 210-226 (2002)], that reduces the simulation cost to O(log n) qubit operations for one fermionic operation. We ap…
It is shown that a similar functional form $S=a+b\ln N$ holds approximately for the information entropy S as function of the number of particles N for atoms, nuclei and atomic clusters (fermionic systems) and correlated boson-atoms in a trap (bosonic systems). It is also seen that rigorous inequalities previously found to hold between S and the kinetic energy T for fermionic systems, hold for bosonic systems as well. It is found that Landsberg's order parameter $Ω$ is an increasing function of N for the above systems. It is conjectured that the above properties are universal i.e. they do not d…
This paper and the results therein are geared towards building a basic toolbox for calculations in quantum information theory of quasi-free fermionic systems. Various entropy and relative entropy measures are discussed and the calculation of these reduced to evaluating functions on the one-particle component of quasi-free states. The set of quasi-free affine maps on the state space is determined and fully characterized in terms of operations on one-particle subspaces. For a subclass of trace preserving completely positive maps and for their duals, Choi matrices and Jamiolkowski states are disc…
Quantum teleportation is considered a basic primitive in many quantum information processing tasks and has been experimentally confirmed in various photonic and matter-based setups. Here, we consider teleportation of quantum information encoded in modes of a fermionic field. In fermionic systems, superselection rules lead to a more differentiated picture of entanglement and teleportation. In particular, one is forced to distinguish between single-mode entanglement swapping, and qubit teleportation with or without authentication via Bell inequality violation, as we discuss here in detail. We fo…
An important approach to the fault-tolerant quantum computation is protecting the logical information using the quantum error correction. Usually, the logical information is in the form of logical qubits, which are encoded in physical qubits using quantum error correction codes. Compared with the qubit quantum computation, the fermionic quantum computation has advantages in quantum simulations of fermionic systems, e.g. molecules. In this paper, we show that the fermionic quantum computation can be universal and fault-tolerant if we encode logical Majorana fermions in physical Majorana fermion…
We present a study on two-particle indistinguishability and particle-species identification by introducing a Fisher-information (FI) approach---in which two particles pass through a two-wave mixing operation and the number of particles is counted in one of the output modes. In our study, we first show that FI can reproduce the Hong-Ou-Mandel (HOM) effect with two bosons or two fermions. In particular, it is found that even though bosons and fermions exhibit different physical behavior (i.e., "bunching" or "anti-bunching") due to their indistinguishability, the aspects of HOM-like dip are quant…
We show that any quantum information theory based on anticommuting operators must be supplemented by a superselection rule deeply rooted in relativity to establish a reasonable notion of entanglement. While quantum information may be encoded in the fermionic Fock space, the unrestricted theory has a peculiar feature: The marginals of bipartite pure states need not have identical entropies, which leads to an ambiguous definition of entanglement. We solve this problem, by proving that it is removed by relativity, i.e., by the parity superselection rule that arises from Lorentz invariance via the…
Since Fermions are based on anti-commutation relations, their entanglement can not be studied in the usual way, such that the available theory has to be modified appropriately. Recent publications consider in particular the structure of separable and of maximally entangled states. In this talk we want to discuss local operations and entanglement distillation from bipartite, Fermionic systems. To this end we apply an algebraic point of view where algebras of local observables, rather than tensor product Hilbert spaces play the central role. We apply our scheme in particular to Fermionic Gaussia…
Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions
The fermionic SWAP network is a qubit routing sequence that can be used to efficiently execute the Quantum Approximate Optimization Algorithm (QAOA). Even with a minimally-connected topology on an n-qubit processor, this routing sequence enables O(n^2) operations to execute in O(n) steps. In this work, we optimize the execution of fermionic SWAP networks for QAOA through two techniques. First, we take advantage of an overcomplete set of native hardware operations [including 150 ns controlled-pi/2 phase gates with up to 99.67(1)% fidelity] in order to decompose the relevant quantum gates and SW…
In [N. Friis, New J. Phys. 18, 033014 (2016)] the non-relativistic description of fermions is considered and in particular the role of the parity superselection rule in relation to the characterization of entanglement. An argument based on the spin-statistics connection is presented as a physical motivation for the parity superselection rule. Since the spin statistics connection was derived in the context of relativistic quantum mechanics it is argued that the inclusion of the parity superselection rule is motivated by Lorentz invariance. Based on this it is further argued that fermionic Quant…
We study the steady state entanglement and correlations of an open system comprised of two coupled fermions in the equilibrium or nonequilibrium environments and distill the nonequilibrium contribution to the quantum correlations. We show that in the equilibrium condition, the steady-state quantum correlations exhibit non-monotonic behavior, while in the nonequilibrium case, the monotonicity is determined by many parameters. The entanglement vanishes abruptly upon the increase of the temperature (bias) and chemical potential bias, it witnesses a critical chemical potential above which the conc…
Recently, much emphasis has been given to genuinely quantum reservoirs generically called fermionic reservoirs. These reservoirs are characterized by having finite levels, as opposed to bosonic reservoirs, which have infinite levels that can be populated via an increase in temperature. Given this, some studies are being carried out to explore the advantages of using quantum reservoirs, in particular in the operation of heat machines. In this work, we make a comparative study of a thermal refrigerator operating in the presence of either a bosonic or a fermionic reservoir, and we show that fermi…
The accessible information decreases under quantum operations. We analyzed the connection between quantum operations and accessible information. We show that a general quantum process cannot be operated accurately. Futhermore, an unknown state of a closed quantum system can not be operated arbitrarily by a unitary quantum operation.
We study the degradability of fermionic Gaussian channels. Fermionic quantum channels are a central building block of quantum information processing with fermions, and the family of Gaussian channels, in particular, is relevant in the emerging field of electron quantum optics and its applications for quantum information. Degradable channels are of particular interest since they have a simple formula that characterizes their quantum capacity. We derive a simple standard form for fermionic Gaussian channels. This allows us to fully characterize all degradable $n$-mode fermionic Gaussian channels…
We propose an entropic measure of non-classical correlations in general mixed states of fermion systems, based on the loss of information due to the unread measurement of the occupancy of single particle states of a given basis. When minimized over all possible single particle bases, the measure reduces to an entanglement entropy for pure states and vanishes only for states which are diagonal in a Slater determinant basis. The approach is also suitable for states having definite number parity yet not necessarily a fixed particle number, in which case the minimization can be extended to all bas…
A definition of detailed balance tailored to a system of indistinguishable fermions is suggested and studied using an entangled fermionic state. This is done in analogy to a known characterization of standard quantum detailed balance with respect to a reversing operation.
A recovery map effectively cancels the action of a quantum operation to a partial or full extent. We study the Petz recovery map in the case where the quantum channel and input states are fermionic and Gaussian. Gaussian states are convenient because they are totally determined by their covariance matrix and because they form a closed set under so-called Gaussian channels. Using a Grassmann representation of fermionic Gaussian maps, we show that the Petz recovery map is also Gaussian and determine it explicitly in terms of the covariance matrix of the reference state and the data of the channe…
We investigate how originally localized two pieces of quantum information represented by a tensor product of two unknown qudit states are delocalized by performing two-qudit global unitary operations. To characterize the delocalization power of global unitary operations on quantum information, we analyze the necessary and sufficient condition to deterministically relocalize one of the two pieces of quantum information to its original Hilbert space by using only LOCC. We prove that this LOCC one-piece relocalization is possible if and only if the global unitary operation is local unitary equiva…
We investigate the situation in which no information can be transferred from a quantum system B to a quantum system A, even though both interact with a common system C.
We found that the Wigner-Yanase skew information, which has been recently proposed as a measure of coherence in [Phys. Rev. Lett. \textbf{113}, 170401(2014)], can increase under a class of operations which may be interpreted as incoherent following the framework of Baumgratz et al., while being phase sensitive.
We provide a simple argument showing that, in the limit of infinite acceleration, the entanglement in a fermionic field bipartite system must be independent of the choice of Unruh modes. This implies that most tensor product structures used previously to compute field entanglement in relativistic quantum information cannot give rise to physical results.
In this paper, a kind of quantum dialogue (QD) protocols without information leakage assisted by quantum operation is proposed. The participant in charge of preparation can automatically know the collapsed states after quantum operation performed on the prepared quantum states. The other participant is able to know the collapsed states derived from the prepared quantum states through quantum measurement. The information leakage problem is avoided by means of imposing auxiliary quantum operation on the prepared quantum states.
Entanglement in fermion many-body systems is studied using a generalized definition of separability based on partitions of the set of observables, rather than on particle tensor products. In this way, the characterizing properties of non-separable fermion states can be explicitly analyzed, allowing a precise description of the geometric structure of the corresponding state space. These results have direct applications in fermion quantum metrology: sub-shot noise accuracy in parameter estimation can be obtained without the need of a preliminary state entangling operation.
Quantum information theory is used to analize various non-linear operations on quantum states. The universal disentanglement machine is shown to be impossible, and partial (negative) results are obtained in the state-dependent case. The efficiency of the transformation of non-orthogonal states into orthogonal ones is discussed.
We calculate the quantum Fisher information for a generic many-body fermionic system in a pure state depending on a parameter. We discuss the situations where the parameter is imprinted in the basis states, in the state coefficients, or both. In the case where the parameter dependence of coefficients results from a Hamiltonian evolution, we derive a particularly simple expression for the quantum Fisher information. We apply our findings to the quantum Hall effect, and evaluate the quantum Fisher information associated with the optimal measurement of the magnetic field for a system in the groun…
A new measure of information in quantum mechanics is proposed which takes into account that for quantum systems the only feature known before an experiment is performed are the probabilities for various events to occur. The sum of the individual measures of information for mutually complementary observations is invariant under the choice of the particular set of complementary observations and conserved if there is no information exchange with an environment. That operational quantum information invariant results in N bits of information for a system consisting of N qubits.
Collective operations on a network of spatially-separated quantum systems can be carried out using local quantum (LQ) operations, classical communication (CC) and shared entanglement (SE). Such operations can also be used to communicate classical information and establish entanglement between distant parties. We show how these facts lead to measures of the inseparability of quantum operations, and argue that a maximally-inseparable operation on 2 qubits is the SWAP operation. The generalisation of our argument to N qubit operations leads to the conclusion that permutation operations are maxima…
Majorana fermions hold promise for quantum computation, because their non-Abelian braiding statistics allows for topologically protected operations on quantum information. Topological qubits can be constructed from pairs of well-separated Majoranas in networks of nanowires. The coupling to a superconducting charge qubit in a transmission line resonator (transmon) permits braiding of Majoranas by external variation of magnetic fluxes. We show that readout operations can also be fully flux-controlled, without requiring microscopic control over tunnel couplings. We identify the minimal circuit th…
