We analyze fermionic modes as fundamental entities for quantum information processing. To this end we construct a density operator formalism on the underlying Fock space and demonstrate how it can be naturally and unambiguously equipped with a notion of subsystems in the absence of a global tensor product structure. We argue that any apparent similarities between fermionic modes and qubits are superficial and can only be applied in limited situations. In particular, we discuss the ambiguities that arise from different treatments of this subject. Our results are independent of the specific context of the fermionic fields as long as the canonical anticommutation relations are satisfied, e.g., in relativistic quantum fields or fermionic trapped ions.
We analyze fermionic modes as fundamental entities for quantum information processing. To this end we construct a density operator formalism on the underlying Fock space and demonstrate how it can be naturally and unambiguously equipped with a notion of subsystems in the absence of a global tensor product structure. We argue that any apparent similarities between fermionic modes and qubits are superficial and can only be applied in limited situations. In particular, we discuss the ambiguities that arise from different treatments of this subject. Our results are independent of the specific context of the fermionic fields as long as the canonical anticommutation relations are satisfied, e.g., in relativistic quantum fields or fermionic trapped ions.
The characterization of entanglement is a fundamental issue for Quantum Information Theory. But the definition of entanglement depends on the notion of locality, and thus on the tensor product structure of the state space of the composite system. This notion is affected by the presence of superselection rules that restrict the accessible Hilbert space to a direct sum of subspaces. Indistinguishability of particles imposes one such restriction, namely to totally symmetric or totally antisymmetric states. The entanglement can in this case be defined with respect to partitions of modes in the second quantization formalism. For fermionic systems the Fock space of m modes is isomorphic to the space of m qubits, but the action of creation and annihilation operators is not local, due to their anticommutation. Conservation of the parity of fermion number imposes another relevant superselection rule. It requires that local physical observables commute with the local parity operator. Taking into account the considerations above, it is possible to define the set of separable states or equivalently the concept of entanglement for fermionic systems in a number of ways. Here we analyze systematically these possibilities and the relation among the various sets of separable states. We also discuss the behavior of the different classes when taking several copies of the state, as well as the characterization of the sets in terms of the usual criteria regarding the tensor product.
Abstract The operator algebra of fermionic modes is isomorphic to that of qubits, the difference between them is twofold: the embedding of subalgebras corresponding to mode subsets and multiqubit subsystems on the one hand, and the parity superselection in the fermionic case on the other. We discuss these two fundamental differences extensively, and illustrate these through the Jordan–Wigner representation in a coherent, self-contained, pedagogical way, from the point of view of quantum information theory. Our perspective leads us to develop useful new tools for the treatment of fermionic systems, such as the fermionic (quasi-)tensor product, fermionic canonical embedding, fermionic partial trace, fermionic products of maps and fermionic embeddings of maps. We formulate these by direct, easily applicable formulas, without mode permutations, for arbitrary partitionings of the modes. It is also shown that fermionic reduced states can be calculated by the fermionic partial trace, containing the proper phase factors. We also consider variants of the notions of fermionic mode correlation and entanglement, which can be endowed with the usual, local operation based motivation, if the parity superselection rule is imposed. We also elucidate some other fundamental points, related to joint map extensions, which make the parity superselection inevitable in the description of fermionic systems.
Entanglement plays a central role in numerous fields of quantum science. However, as one departs from the typical "Alice versus Bob" setting into the world of indistinguishable fermions, it is not immediately clear how the concept of entanglement is defined among these identical particles. Our endeavor to recover the notion of subsystems, or mathematically speaking, the tensor product structure of the Hilbert space, lead to two natural pictures of defining fermionic entanglement: the particle picture and the mode picture. In the particle picture, entanglement characterizes the deviation of a fermionic quantum state from the non-interacting ones, e.g., single Slater determinants. In the mode picture, we recover the notion of subsystems, by referring to the partitioning of the orbital/mode that the fermions occupy, which allows us to naturally adopt the formalism of entanglement between distinguishable constituents. Both pictures reveal essential and interconnected aspects of fermionic entanglement, and thus offer precise tools for studying electron entanglement in highly relevant systems such as atoms and molecules. We showcase here two applications: i) resolving the correlation paradox in the molecular dissociation limit, ii) quantitative electronic structure analysis with orbital entanglement.
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 spin-statistics connection. Our results hence unveil a fundamental conceptual inseparability of quantum information and the causal structure of relativistic field theory.
Quantum information has become a powerful tool for probing the structure of quantum field theories, yet its application to gauge theories remains subtle. On the one hand, quantum information theory assumes subsystem locality, i.e.~the factorization of the total Hilbert space into subsystems. On the other hand, gauge constraints prevent the total Hilbert space to decompose into a spacetime-local tensor product structure. Because the Hilbert space structure of gauge theories does not accommodate the subsystem decomposition used in quantum information theory, standard information-theoretic results, such as the Local Operations and Classical Communication (LOCC) theorem, cannot be used straightforwardly in the context of gauge theories. In this work, we bridge this gap in the case of a two-dimensional lattice gauge model that captures key features of electromagnetism. In particular, we construct gauge-invariant local algebras and derive a physically meaningful decomposition of the Hilbert space, providing an operationally consistent notion of locality in the absence of a local tensor-product structure. We apply this framework to field-mediated entanglement protocols relevant to proposed tests of the quantum nature of gravity. We show that the discretized version of electromagnetism satisfies an analogue of the LOCC theorem: entanglement cannot be generated without genuine quantum field interactions, even in the absence of a spacetime-local tensor product factorization of the Hilbert space. This may point towards an operational way to define a subsystem structure for gauge theories.