We give a fermionic Fock space description of embedded entangled qubits. Within this framework the problem of classification of pure state entanglement boils down to the problem of classifying spinors. The usual notion of separable states turns out to be just a special case of the one of pure spinors. By using the notion of single, double and mixed occupancy representation with intertwiners relating them a natural physical interpretation of embedded qubits is found. As an application of these ideas one can make a physically sound meaning of some of the direct sum structures showing up in the context of the so-called Black-Hole/Qubit Correspondence. We discuss how the usual invariants for qubits serving as measures of entanglement can be obtained from invariants for spinors in an elegant manner. In particular a detailed case study for recovering the invariants for four-qubits within a spinorial framework is presented. We also observe that reality conditions on complex spinors defining Majorana spinors for embedded qubits boil down to self conjugate states under the Wootters spin flip operation. Finally we conduct a study on the explicit structure of $Spin(16,\mathbb{C})$ invariant polynomials related to the structure of possible measures of entanglement for fermionic systems with 8 modes. Here we find an algebraically independent generating set of the generalized SLOCC invariants and calculate their restriction to the dense orbit. We point out the special role the largest exceptional group $E_8$ is playing in these considerations.
We propose a generalization of the usual SLOCC and LU classification of entangled pure state fermionic systems based on the Spin group. Our generalization uses the fact that there is a representation of this group acting on the fermionic Fock space which when restricted to fixed particle number subspaces recovers naturally the usual SLOCC transformations. The new ingredient is the occurrence of Bogoliubov transformations of the whole Fock space changing the particle number. The classification scheme built on the Spin group prohibits naturally entanglement between states containing even and odd…
It is shown for causal fermion systems describing Minkowski-type spacetimes that an interacting causal fermion system at time $t$ gives rise to a distinguished state on the algebra generated by fermionic and bosonic field operators. The proof of positivity of the state is given and representations are constructed.
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 the usual procedure however, it can be obtained from two, qubit stabilizer ones via a glueing procedure combining both single and double occupancy embeddings of qubits into fermionic Fock space. This technique identifies the code subspace as a Cartan subspace of the largest exceptional group $E_8$. In arriving at these results we develop a general formalism f…
We present a rigorous derivation of a semiclassical propagator for anticommuting (fermionic) degrees of freedom, starting from an exact representation in terms of Grassmann variables. As a key feature of our approach the anticommuting variables are integrated out exactly, and an exact path integral representation of the fermionic propagator in terms of commuting variables is constructed. Since our approach is not based on auxiliary (Hubbard-Stratonovich) fields, it surpasses the calculation of fermionic determinants yielding a standard form $\int {\cal D}[ψ,ψ^{*}] {\rm e}^{i R[ψ,ψ^{*}]}$ with …
We study the variational solution of generic interacting fermionic lattice systems using fermionic Gaussian states and show that the process of "gaussification", leading to a nonlinear closed equation of motion for the covariance matrix, is locally optimal in time by relating it to the time-dependent variational principle. By linearising our nonlinear equation of motion around the ground-state fixed point we describe a method to study low-lying excited states leading to a variational method to determine the dispersion relations of generic interacting fermionic lattice systems. This procedure i…
In this paper we provide a novel and general way to construct the result of the action of any bosonic or fermionic operator represented in second quantized form on a state vector, without resorting to the matrix representation of operators and even to its elements. The new approach is based on our proposal to compactly enumerate the configurations (i.e., determinants for fermions, permanents for bosons) which are the elements of the state vector. This extremely simplifies the calculation of the action of an operator on a state vector. The computations of statical properties and of the evolutio…
We introduce a new method for deriving the time-dependent Hartree or Hartree-Fock equations as an effective mean-field dynamics from the microscopic Schroedinger equation for fermionic many-particle systems in quantum mechanics. The method is an adaption of the method used in [Pickl, Lett. Math. Phys., 97(2):151-164, 2011] for bosonic systems to fermionic systems. It is based on a Gronwall type estimate for a suitable measure of distance between the microscopic solution and an antisymmetrized product state. We use this method to treat a new mean-field limit for fermions with long-range interac…
Invariant creation and annihilation operators and related Fock states and coherent states are built up for the system of nonstationary fermionic forced oscillator.
We describe the connection between inversion symmetry breaking and criticality in free fermionic lattice models. It is shown that for translation-invariant spinless fermions, the breaking of this symmetry in the ground state implies criticality, i.e., the existence of long-range correlations and the vanishing of the spectral gap; while for models with spin, only the asymmetry of the spin-averaged covariance matrix implies a similar conclusion. Our results are proved by introducing invariants under global translation-invariant free fermion quenches. Using this result, we identify a set of model…
A general problem of quantum field theories is the fact that the free vacuum and the vacuum for an interacting theory belong to different, non-equivalent representations of the canonical (anti-)commutation relations. In the external field problem of QED, we encounter this problem in the form that the Dirac time evolution for an external field with non-vanishing magnetic components will not satisfy the Shale-Stinespring condition, known to be necessary and sufficient for the existence of an implementation on the fermionic Fock space. Therefore, a second quantization of the time evolution in the…
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 cont…
We present numerical methods to solve the Generalized Hartree-Fock theory for fermionic systems in lattices, both in thermal equilibrium and out of equilibrium. Specifically, we show how to determine the covariance matrix corresponding to the Fermionic Gaussian state that optimally approximates the quantum state of the fermions. The methods apply to relatively large systems, since their complexity only scales quadratically with the number of lattice sites. Moreover, they are specially suited to describe inhomogenous systems, as those typically found in recent experiments with atoms in optical …
The most general form of Hamiltonian that preserves fermionic coherent states stable in time is found in the form of nonstationary fermion oscillator. Invariant creation and annihilation operators and related Fock states and coherent states are built up for the more general system of nonstationary forced fermion oscillator.
The Fock space of a system of indistinguishable particles is isomorphic (in a non-unique way) to the state-space of a composite i.e., many-modes, quantum system. One can then discuss quantum entanglement for fermionic as well as bosonic systems. We exemplify the use of this notion -central in quantum information - by studying some e.g., Hubbard,lattice fermionic models relevant to condensed matter physics.
Fermionic natural occupation numbers do not only obey Pauli's exclusion principle but are even stronger restricted by so-called generalized Pauli constraints. Whenever given natural occupation numbers lie on the boundary of the allowed region the corresponding $N$-fermion quantum state has a significantly simpler structure. We recall the recently proposed natural extension of the Hartree-Fock ansatz based on this structural simplification. This variational ansatz is tested for the lithium atom. Intriguingly, the underlying mathematical structure yields universal geometrical bounds on the corre…
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 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…
Quantum simulations of fermionic many-body systems crucially rely on mappings from indistinguishable fermions to distinguishable qubits. The non-local structure of fermionic Fock space necessitates encodings that either map local fermionic operators to non-local qubit operators, or encode the fermionic representation in a long-range entangled code space. In this latter case, there is an unavoidable trade-off between two desirable properties of the encoding: low weight representations of local fermionic operators, and a high distance code space. Here it is argued that despite this fundamental l…
We study multipartite entanglement in a system consisting of indistinguishable fermions. Specifically, we have proposed a geometric entanglement measure for N spin-1/2 fermions distributed over 2L modes (single particle states). The measure is defined on the 2L qubit space isomorphic to the Fock space for 2L single particle states. This entanglement measure is defined for a given partition of 2L modes containing m >= 2 subsets. Thus this measure applies to m <= 2L partite fermionic system where L is any finite number, giving the number of sites. The Hilbert spaces associated with these subsets…
In this review we provide a rigorous and self-contained presentation of one-body reduced density-matrix (1RDM) functional theory. We do so for the case of a finite basis set, where density-functional theory (DFT) implicitly becomes a 1RDM functional theory. To avoid non-uniqueness issues we consider the case of fermionic and bosonic systems at elevated temperature and variable particle number, i.e, a grand-canonical ensemble. For the fermionic case the Fock space is finite-dimensional due to the Pauli principle and we can provide a rigorous 1RDM functional theory relatively straightforwardly. …
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…
