Abstract:A universal entangler (UE) is a unitary operation which maps all pure product states to entangled states. It is known that for a bipartite system of particles $1,2$ with a Hilbert space $\mathbb{C}^{d_1}\otimes\mathbb{C}^{d_2}$, a UE exists when $\min{(d_1,d_2)}\geq 3$ and $(d_1,d_2)\neq (3,3)$. It is also known that whenever a UE exists, almost all unitaries are UEs; however to verify whether a given unitary is a UE is very difficult since solving a quadratic system of equations is NP-hard in general. This work examines the existence and construction of UEs of bipartite bosonic/fermionic systems whose wave functions sit in the symmetric/antisymmetric subspace of $\mathbb{C}^{d}\otimes\mathbb{C}^{d}$. The development of a theory of UEs for these types of systems needs considerably different approaches from that used for UEs of distinguishable systems. This is because the general entanglement of identical particle systems cannot be discussed in the usual way due to the effect of (anti)-symmetrization which introduces "pseudo entanglement" that is inaccessible in practice. We show that, unlike the distinguishable particle case, UEs exist for bosonic/fermionic systems with Hilbert spaces which are symmetric (resp. antisymmetric) subspaces of $\mathbb{C}^{d}\otimes\mathbb{C}^{d}$ if and only if $d\geq 3$ (resp. $d\geq 8$). To prove this we employ algebraic geometry to reason about the different algebraic structures of the bosonic/fermionic systems. Additionally, due to the relatively simple coherent state form of unentangled bosonic states, we are able to give the explicit constructions of two bosonic UEs. Our investigation provides insight into the entanglement properties of systems of indisitinguishable particles, and in particular underscores the difference between the entanglement structures of bosonic, fermionic and distinguishable particle systems.

A universal framework for entanglement detection under group symmetry

Precise Detection of Multipartite Entanglement in Fourqubit Greenberger–Horne–Zeilinger Diagonal States

Optimized Detection of High-Dimensional Entanglement

Distinguishability of Quantum States by Positive Operator-Valued Measures with Positive Partial Transpose

Entangled States with Positive Partial Transpose in Any-Dimensional Quantum System

Universal tripartite entanglement signature of ungappable edge states

Almost complete solution for the NP-hard separability problem of Bell diagonal qutrits

Universal Entanglers for Bosonic and Fermionic Systems

Multipartite entanglement groups

Entanglement detection via some classes of measurements

Random covariant quantum channels

Universal Tripartite Entanglement in One-Dimensional Many-Body Systems

Detection of entanglement for multipartite quantum states

General Framework for Genuine Multipartite Entanglement Detection

Detection and Quantification of Entanglement with Measurement-Device-independent and Universal Entanglement Witness*

Indistinguishability of bipartite states by positive-partial-transpose operations in the many-copy scenario

On witnessing arbitrary bipartite entanglement in a measurement device independent way

Robustness of tripartite entangled states in passive ${\cal P}{\cal T}$-symmetric qubits

Nonpositive-transpose Entanglement and Bound Entanglement: from Distillability Sets to Inequalities and Multivariable Insights

Entanglement and entropy in multipartite systems: a useful approach

Dimension-free entanglement detection in multipartite Werner states