Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

New features!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

123 submissions , 104 unreviewed
3,547 questions , 1,198 unanswered
4,549 answers , 19,356 comments
1,470 users with positive rep
410 active unimported users
More ...

How to understand the entanglement in a lattice fermion system?

+ 6 like - 0 dislike
668 views

Topological insulator is a fermion system with only short-ranged entanglement, what does the entanglement mean here?

For example, the Hilbert space $V_s$ of a lattice $N$ spin-1/2 system is $V_s=V_1\otimes V_2\otimes...\otimes V_N$, where $V_i$ is the Hilbert space of the spin on site $i$. And the meaning of an entanglement state belongs to $V_s$ is clear — a state which can not be written as a direct tensor product of the $N$ single spin states.

Now consider a spinless fermion system lives on the same lattice as spin-1/2, in the 2nd quantization framework, the fermion operators $c_i,c_j$ on different lattices $i,j$ do not commute with each other and the Hilbert space $V_f$ of the fermion system can not be written as a direct product of $N$ single fermion Hilbert spaces. Thus, how to understand the entanglement in this fermion system?

Mathematically, we can make a natural linear bijective map between $V_f$ and $V_s$, simply say, just let $\mid 0\rangle=\mid \downarrow\rangle,\mid 1\rangle=\mid \uparrow\rangle$. Thus, can we understand the entanglement of a fermion state in $V_f$ through its corresponding spin state in $V_s$?


This post imported from StackExchange Physics at 2014-03-09 08:41 (UCT), posted by SE-user K-boy

asked Oct 12, 2013 in Theoretical Physics by Kai Li (975 points) [ revision history ]
edited Apr 6, 2015 by Arnold Neumaier
Good question. The issue of entanglement in fermionic Fock space has been studied in a number of works. As far as I know there is no unique definition of entanglement; see this nice review for more details. The map between the fermion and spin picture can be achieved using a Jordan-Wigner transformation, which is a bit more subtle than the simple idenfication you alluded to. When going between spin and fermion pictures, local operators get transformed to highly non-local operators in general.

This post imported from StackExchange Physics at 2014-03-09 08:41 (UCT), posted by SE-user Mark Mitchison
@ Mark Mitchison Thanks for your suggested review.

This post imported from StackExchange Physics at 2014-03-09 08:41 (UCT), posted by SE-user K-boy

2 Answers

+ 7 like - 0 dislike

Mark Mitchison is right. The concept of entanglement in systems of indistinguishable particles is more controversial than it is in the case of systems composed of distinguishable subsystems. You need to define first what do you mean by it when it comes, for example, to fermions. Do you mean entanglement between particles (connected with single Slater determinants), modes, pairing of states or whether a given state can be written as a convex combination of Gaussian states or sth completely else. You also should specify do you want to consider fermionic state with a fixed number of fermions (and then use the criteria from here) or just to fix the parity of the fermionic state and not the number of fermions, obtaining e.g. Gaussian states. This is also important, because even though physical states have a fixed number of fermions, Gaussian fermionic states are important approximations to physically non-trivial states, such as the superconducting BCS state. Of course then, the super-selection rule should also play a role somehow.

And about your question, you can find a nice definition of short-ranged entanglement in topological insulators in Sec. II of http://arxiv.org/pdf/1004.3835v2.pdf

This post imported from StackExchange Physics at 2014-03-09 08:41 (UCT), posted by SE-user Piotr Ćwikliński
answered Nov 15, 2013 by Piotr Ćwikliński (70 points) [ no revision ]
@ Piotr Ćwikliński Thanks for your wonderful explanation.

This post imported from StackExchange Physics at 2014-03-09 08:41 (UCT), posted by SE-user K-boy
+ 7 like - 0 dislike

It is mentioned that "the Hilbert space $V_f$ of the fermion system can not be written as a direct product of $N$ single fermion Hilbert spaces." This is not correct.

Let $V_n$ be the total Hilbert space of $n$ spinless fermions on a lattice, and $N$ is the number of lattice sites. Then we have $V_f=\oplus_{n=0}^N V_n =\otimes_i V_i$, where $V_i$ is the two dimensional Hilbert space in site-$i$, describing an empty site $|0>$ and an occupied site $|1>$. So if we include states with different fermion numbers, the total fermion Hilbert space $V_f$ CAN be written as a direct product of N single fermion Hilbert spaces, just like your spin example.

The entanglement in a lattice fermion (or boson) system is many-body entanglement. To understand patterns/equivalent-classes of many-body entanglement is to understand topological order. However, we cannot understand the patterns/equivalent-classes of many-body entanglement of a fermion state in $V_f$ through its corresponding spin state in $V_s$. The reason is that the the local unitary transformations that define the  equivalence relation between different many-body enatanglement (or between different many-body states) are different for bosonic and fermionic systems. See http://arxiv.org/abs/1010.1517 for details. So although bosonic and fermionic systems can have exactly the same Hilbert space (as described by your natural linear bijective map), the meaning of short-range and long-range many-body entanglement are different for bosonic and fermionic systems. The classification of topological orders and SPT orders for bosonic and fermionic systems are different, due to the different definitions of  local unitary transformation.

answered Apr 4, 2014 by Xiao-Gang Wen (3,309 points) [ revision history ]
edited Aug 7, 2015 by Xiao-Gang Wen
Most voted comments show all comments

@Xiao-Gang Wen Thank you Prof.Wen. Can I understand that the meaning of "local" in the "local perturbation" or "local operator" is different for bosonic and fermionic systems? To be specific, take your recent paper(http://arxiv.org/abs/1412.5985) or the 1D Kitaev chain(http://arxiv.org/abs/cond-mat/0010440) as an example, the fermionic topological order (2-fold degeneracy) is due to the spontaneous fermion-parity ($Z_2^f$) symmetry breaking, and consider two kinds of perturbations to the fermionic Hamiltonian:(1)fermion operator $c_j+c_j^\dagger$;(2)spin-flip operator $S_j^x$ expressed by fermion operators via Jordan-Wigner transformation, both of which break the $Z_2^f$ symmetry. 

@Xiao-Gang Wen My confusions are: Are the above two kinds of perturbations "local operators" ? The spin-flip operator $S_j^x$ seems to be "local" at least for the bosonic spin system, so is it also "local" for the fermionic system? The perturbations (1) and (2) seem to be able to lift the 2-fold degeneracy since they break the $Z_2^f$ symmetry, so if they indeed represent "local perturbations", then this implies that the fermionic topological degeneracy can be lifted by "local perturbation" (1) or (2). So why we still call it "topological degeneracy"? Thank you very much!

$c_j+c_j^\dagger$ is not a local perturbation. Anything you can add to the Hamiltonian of a fermionic system must preserve fermion parity. $S_j^x$ is local for spins, but when you do Jordan-Wigner transformation it becomes a non-local operator for fermions (roughly like $(c_j+c_j^\dagger)\prod_{k<j}(1-2n_k)$. So neither is local.

@Meng Thanks for your comments. But I still feel a little subtle for the "non-locality" of $S_j^x$ for fermions. Since $S_j^x$ can only change the local fermion Hilbert space at site $j$ (i.e., only change the local fermion number at site $j$) while does not affect other local fermion Hilbert spaces, as long as we have the map between $V_f$ and $V_s$ mentioned in the last paragraph in the original question. So, does the meaning of "local" or "non-local" not only depend on the Hilbert space itself, but also depend on the physical variables like fermion operators $c_j$ or spin operators $S_j$? 

$S_i^x$ only "changes" the local fermion occupation, which is true, but its matrix element depends on the infinite string of fermions. So it is non-local.

Topological degeneracy is NOT robust to non-local perturbations. This is why locality is so important for the definition of topological phase.

Most recent comments show all comments

Yes, and it is nothing but the operator $i\gamma_1\gamma_2$ where $\gamma_{1,2}$ are the two zero modes localized on the two ends of the superconductor.

As Prof.Wen pointed out: The meaning of entanglement is different for bosonic and fermionic systems. Thus, does this imply that the definitions of reduced-density-operator, entanglement entropy (EE) and hence topological EE (TEE) do not apply to the state of fermionic system ? Or these quantities for fermionic state have the exact same meanings as bosonic state, which would indicate that the meaning of spatially bipartite entanglement in the context of reduced-density-operator (and EE,TEE) is different from the meaning of many-body entanglement mentioned in Prof.Wen's comments ?? 

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysi$\varnothing$sOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...