Identical-Particle Entanglement Cautions

Entanglement is always relative to a specified decomposition of a physical system into subsystems, modes, regions, or observable algebras. Identical particles make that statement unavoidable: the formal particle slots in $\mathcal h^{\otimes N}$ are not directly observable subsystems.

This page is a cautionary guide. It does not assert that identical particles cannot be entangled, and it does not count every symmetrized or antisymmetrized wavefunction as useful entanglement. It separates three different ideas:

• nonfactorization caused by required exchange symmetry;
• entanglement between physical modes, regions, internal degrees of freedom, or laboratories;
• operationally accessible entanglement under stated local operations and superselection constraints.

Terminology in this subject is not perfectly uniform. The safest habit is to state the subsystem or observable split before making an entanglement claim.

Why the Caution Is Needed

For distinguishable systems $A$ and $B$, the standard pure-state question is posed on a tensor product:

$$\mathcal H_A\otimes\mathcal H_B.$$

A pure state is product if it can be written as

$$\lvert\Psi\rangle = \lvert\psi\rangle_A \otimes \lvert\phi\rangle_B.$$

If it cannot be written that way, it is entangled relative to the $A\vert B$ split.

For $N$ identical bosons or fermions built from one one-particle Hilbert space $\mathcal h$, the physical fixed-particle-number spaces are instead

$$\operatorname{Sym}^N\mathcal h, \qquad \wedge^N\mathcal h.$$

These are subspaces of the formal slot-labeled space $\mathcal h^{\otimes N}$. The slots are not automatically physical subsystems. Asking whether a vector is entangled between “particle 1” and “particle 2” can therefore be a question about mathematical representation rather than an operational question about what can be prepared, measured, or shared.

Slot Nonfactorization Is Not Enough

Consider two identical fermions in orthonormal one-particle states $\lvert a\rangle$ and $\lvert b\rangle$. The antisymmetric state is

$$\lvert a,b\rangle_A = \frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert b\rangle_2 - \lvert b\rangle_1\lvert a\rangle_2 \bigr).$$

As a vector in the formal slot tensor product, this is not a product of slot $1$ and slot $2$ states. But that nonfactorization is forced by antisymmetry. It is a single Slater determinant, and in occupation notation it is simply

$$\lvert1_a,1_b\rangle_F.$$

For the mode split into mode $a$ and mode $b$, this is a definite occupation product:

$$\lvert1\rangle_a\otimes\lvert1\rangle_b,$$

up to the sign conventions needed for fermionic mode ordering. There is no extra mode entanglement between $a$ and $b$ in this state.

The same point holds for two bosons in two distinct modes:

$$\frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert b\rangle_2 + \lvert b\rangle_1\lvert a\rangle_2 \bigr) \quad \longleftrightarrow \quad \lvert1_a,1_b\rangle_B.$$

The slot expression is symmetrized, but the occupation state has one boson in each mode. Exchange symmetry alone should not be advertised as a useful bipartite resource.

What Counts as a Subsystem?

For identical particles, physically meaningful subsystem choices often come from:

• spatial regions, such as left and right wells;
• modes, such as optical paths, lattice sites, frequency modes, or spin-orbitals;
• internal degrees of freedom, such as spin or hyperfine states, when they are operationally accessible;
• laboratories or parties with specified local operations;
• subalgebras of observables assigned to regions or modes.

The entanglement statement changes when the chosen split changes. A state can be unentangled in one mode basis and entangled in another. A state can be mathematically entangled across occupation modes but not directly useful as a shared resource if the allowed local operations cannot access the relevant coherences.

Before saying “the identical particles are entangled,” ask:

• Which tensor product, mode split, region split, or observable algebra is being used?
• What measurements and operations are local?
• Is particle number fixed locally, globally, or only on average?
• Are there superselection rules or missing phase references?
• Is the claim about formal nonfactorization, measurable correlations, or usable entanglement as a resource?

Mode Entanglement

Mode entanglement treats occupation states of modes as the subsystem degrees of freedom. For two bosonic modes $L$ and $R$, the state

$$\lvert\psi\rangle = \frac{ \lvert1_L,0_R\rangle + \lvert0_L,1_R\rangle }{\sqrt2}$$

is not entangled between two particles; it contains one particle. It is, however, nonfactorizable across the two-mode occupation basis:

$$\lvert\psi\rangle \ne \lvert\chi\rangle_L \otimes \lvert\eta\rangle_R.$$

Whether this single-particle mode entanglement is operationally useful for two distant parties depends on the operational setting. If local particle-number superselection prevents coherent superpositions of different local particle numbers, then some protocols cannot access the apparent entanglement without additional reference resources.

A two-boson NOON-like state,

$$\lvert\psi\rangle = \frac{ \lvert2_L,0_R\rangle + \lvert0_L,2_R\rangle }{\sqrt2},$$

is also mode-entangled across $L\vert R$. Tracing over the right mode gives

$$\rho_L = \frac12 \bigl( \lvert2\rangle\langle2\rvert + \lvert0\rangle\langle0\rvert \bigr),$$

so the mode entanglement entropy is one bit if logarithms are base $2$. The interpretation still depends on what local mode operations and phase references are available.

Spin and Region Entanglement

Identical particles can carry operationally meaningful entanglement when physical regions or modes define the parties. Suppose there is one identical spin-$1/2$ particle in a left region and one in a right region, and the relevant state is

$$\lvert\Psi\rangle = \frac{ c_{L\uparrow}^\dagger c_{R\downarrow}^\dagger - c_{L\downarrow}^\dagger c_{R\uparrow}^\dagger }{\sqrt2} \lvert0\rangle.$$

The symbols $L$ and $R$ are physical regions or modes, not hidden particle names. If the regions are controlled by two laboratories and each laboratory can measure its local spin, this state carries the same operational spin correlations as a singlet shared between the regions.

The identical-particle nature still matters. The state must be written with the correct bosonic or fermionic operator algebra, and exchange symmetry is already built into the Fock-space expression. But the entanglement claim is about the left and right local degrees of freedom, not about a private identity tag on particle $1$ or particle $2$.

Occupation-Number Entanglement

Occupation-number notation is often the cleanest language. Choose a mode split

$$\mathcal h = \mathcal h_A\oplus\mathcal h_B.$$

For bosons, the Fock spaces factor as

$$\mathcal F_B(\mathcal h_A\oplus\mathcal h_B) \cong \mathcal F_B(\mathcal h_A) \otimes \mathcal F_B(\mathcal h_B).$$

Then standard tensor-product entanglement questions can be asked between the mode collections $A$ and $B$.

For fermions, the corresponding factorization carries sign and parity conventions. One can represent it with an ordered tensor product or a graded tensor product. The physical content is usually expressed through local fermionic modes or local even observables rather than through observable particle labels.

In either case, the mode split must be stated. The same vector can look different under a different one-particle basis, because occupation is occupation of chosen modes.

Symmetrization Versus Correlation

Exchange symmetry changes state counting and interference. It creates correlations in formal slot variables. But those exchange correlations are not always the same as entanglement that can be distilled, teleported, or used as a resource under local operations.

Three statements should be kept separate:

Exchange-required form. A bosonic or fermionic state must lie in a symmetric or antisymmetric sector.

Correlation. Measurements of mode occupations, positions, or spins may have nonfactorizing probabilities.

Operational entanglement. Given specified parties, local operations, measurements, communication, and possible superselection rules, the state may or may not supply a usable entanglement resource.

The first statement is structural. The second is statistical. The third is operational. Confusing them is the source of many overclaims.

Algebraic Viewpoint Preview

A more invariant way to phrase the issue is to define subsystems by subalgebras of observables. Instead of starting with particle labels, one specifies which observables belong to region $A$ and which belong to region $B$.

For two commuting observable algebras $\mathcal A$ and $\mathcal B$, a state is separable across that algebraic split if its expectation values can be written as a convex mixture of products:

$$\omega(AB) = \sum_k p_k\, \omega_k^{(A)}(A)\, \omega_k^{(B)}(B),$$

for $A\in\mathcal A$, $B\in\mathcal B$, $p_k\ge0$, and $\sum_k p_k=1$. If no such representation exists, the state is entangled with respect to that split.

This algebraic language is especially natural for identical particles, quantum fields, and spatial regions. It is only a preview here; rigorous operator-algebraic treatments belong in later mathematical and field-theoretic material.

Practical Checklist

When reading or writing a claim about identical-particle entanglement, check the following:

• If the claim uses particle labels, ask whether those labels are operational or only slot labels.
• If the claim uses mode labels, ask which one-particle mode basis is chosen.
• If the claim uses spatial regions, ask whether local particle number is definite or fluctuating.
• If the claim uses spin entanglement, ask how spin is associated with regions, modes, or detectors.
• If the claim uses entanglement entropy, ask what subsystem was traced out.
• If the claim is about a resource, ask what operations are allowed and whether superselection rules matter.

A precise entanglement statement should survive this checklist.

Common Mistakes

• Calling every antisymmetrized two-fermion state entangled because it is not a product in formal slots.
• Saying identical particles cannot be entangled at all.
• Treating “particle 1” and “particle 2” as laboratories or subsystems.
• Confusing exchange correlations with distillable or operationally useful entanglement.
• Forgetting that occupation-number entanglement depends on the chosen mode basis.
• Ignoring local particle-number superselection when discussing spatially separated parties.
• Mixing first-quantized slot notation and second-quantized mode notation without stating the translation.
• Treating fermionic mode tensor products as if sign and parity conventions never matter.

Cross-Links

• Entanglement Depends on a Decomposition
• Many-Body Entanglement Overview
• Indistinguishability
• Exchange Operators
• Symmetrization Postulate
• Bosons
• Fermions
• Symmetric and Antisymmetric Wavefunctions
• Slater Determinants
• Spin and Spatial Wavefunctions
• Occupation-Number Basis
• Mode Occupations
• Particle-Number Superselection Preview
• Bosonic Fock Space
• Fermionic Fock Space
• Entangled States
• Separable Mixed States
• LOCC Preview
• Entanglement in Quantum Chemistry

References

• A. Messiah and O. W. Greenberg, “Symmetrization Postulate and Its Experimental Foundation,” Physical Review 136, B248-B267, 1964.
• J. Schliemann, J. I. Cirac, M. Kus, M. Lewenstein, and D. Loss, “Quantum correlations in two-fermion systems,” Physical Review A 64, 022303, 2001.
• K. Eckert, J. Schliemann, D. Bruss, and M. Lewenstein, “Quantum correlations in systems of indistinguishable particles,” Annals of Physics 299, 88-127, 2002.
• S. D. Bartlett, T. Rudolph, and R. W. Spekkens, “Reference frames, superselection rules, and quantum information,” Reviews of Modern Physics 79, 555-609, 2007.
• H. M. Wiseman and J. A. Vaccaro, “Entanglement of Indistinguishable Particles Shared between Two Parties,” Physical Review Letters 91, 097902, 2003.
• F. Benatti, R. Floreanini, and U. Marzolino, “Entanglement in systems of identical particles: a unified approach,” Annals of Physics 325, 924-935, 2010.
• R. Lo Franco and G. Compagno, “Indistinguishability of elementary systems as a resource for quantum information processing,” Physical Review Letters 120, 240403, 2018.

Exercises

1. Slot nonfactorization. Explain why the antisymmetric state

$$\frac{1}{\sqrt2} \bigl( \lvert a\rangle_1\lvert b\rangle_2 - \lvert b\rangle_1\lvert a\rangle_2 \bigr)$$

should not automatically be advertised as useful entanglement between two particles.

Solution

The labels $1$ and $2$ are formal slots, not observable particle identities. The nonfactorization is required by fermionic antisymmetry. In occupation notation the same single Slater determinant is $\lvert1_a,1_b\rangle_F$, which is a definite occupation state of modes $a$ and $b$. Whether there is entanglement depends on a physical split into modes, regions, or observables, not on the formal slot labels alone.

2. Mode split. Consider the one-particle state

$$\lvert\psi\rangle = \frac{ \lvert1_L,0_R\rangle + \lvert0_L,1_R\rangle }{\sqrt2}.$$

What is the subsystem split, and what caution is needed before calling it a usable entanglement resource?

Solution

The split is between the occupation states of the left and right modes. The state is nonfactorizable across those mode Hilbert spaces. The caution is operational: if two distant parties lack a shared phase reference or are constrained by local particle-number superselection, they may not be able to access all coherences needed to use the state as an ordinary bipartite entanglement resource.

3. NOON reduced state. For

$$\lvert\psi\rangle = \frac{ \lvert2_L,0_R\rangle + \lvert0_L,2_R\rangle }{\sqrt2},$$

compute the reduced density operator of mode $L$.

Solution

The density operator is

$$\rho = \frac12 \bigl( \lvert2,0\rangle\langle2,0\rvert + \lvert2,0\rangle\langle0,2\rvert + \lvert0,2\rangle\langle2,0\rvert + \lvert0,2\rangle\langle0,2\rvert \bigr).$$

Tracing over mode $R$ kills the cross terms because $\langle0_R\vert2_R\rangle=0$. Therefore

$$\rho_L = \frac12 \bigl( \lvert2_L\rangle\langle2_L\rvert + \lvert0_L\rangle\langle0_L\rvert \bigr).$$

4. Region spin entanglement. Why is

$$\frac{ c_{L\uparrow}^\dagger c_{R\downarrow}^\dagger - c_{L\downarrow}^\dagger c_{R\uparrow}^\dagger }{\sqrt2} \lvert0\rangle$$

better described as entanglement between left and right regions than as entanglement between particle $1$ and particle $2$?

Solution

The labels $L$ and $R$ refer to physical regions or modes that can be measured locally. Particle labels $1$ and $2$ are not observable identities for identical particles. If each region contains one particle and each laboratory can measure local spin, the state has operational singlet-like correlations between the regions.

5. Checklist application. A paper states: “The two electrons are entangled because their wavefunction is antisymmetric.” What questions should you ask before accepting the claim?

Solution

Ask what the subsystems are: formal particle slots, spatial regions, modes, spin degrees of freedom, or observable algebras. Ask what local measurements and operations are allowed. Ask whether the state is a single Slater determinant or a superposition of determinants. Ask whether particle-number superselection or missing reference frames affect the operational claim. Antisymmetry alone is not enough to identify useful entanglement.