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

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

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

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Reconciling topological insulators and topological order

+ 7 like - 0 dislike
5216 views

We make an important distinction between the topological insulators (which are essentially uncorrelated band insulators, "with a twist") and topological order (which covers a variety of exotic properties in certain quantum many-body ground states). The topological insulators are clearly "topological" in the sense of the connectedness of the single particle Hilbert space for one electron; however they are not "robust" in the same way as topologically ordered matter.

My question is this: Topological order is certainly the more general and intriguing situation, but the notion of "topology" seems actually less explicit than in the topological insulators. Is there an easy way to reconcile this?

Perhaps a starting point might be, can we imagine a "topological insulator in Fock space"? Would such a beast have "long range entanglement" and "topological order"?

Edit:

While this has received very nice answers, I should maybe clarify what I'm looking for a bit; I'm aware of the "standard definitions" of (symmetry protected) topological insulators and topological order and why they are very different phenomena.

However, if I'm talking to nonexperts, I can describe topological insulators as, more or less, "Berry phases can give rise to a nontrivial 'band geometry,' and analogous to Gauss-Bonnet there is a nice quantity calculable from this that characterizes instead the 'band topology' and this quantity is also physically measurable" and they seem quite happy with this.

On the other hand, while the connection to something like Gauss-Bonnet might be clear for topological order in "TQFTs" or in the ground state degeneracy, these seem a bit formal. I think my favorite answer is the adiabatic continuity (or lack thereof) that Everett pointed out, but now that I'm thinking about it perhaps what I should have asked for is -- What are the geometric properties of states with topological order from which we could deduce the topological order with some kind of Chern number (but without starting from a Chern-Simons field theory and putting in the right one by hand ;) ). Is there anything like this?

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user wsc
asked Jul 11, 2013 in Theoretical Physics by wsc (290 points) [ no revision ]
Topological order is called topological because the ground state degeneracy depends only on the topology of the space, see en.wikipedia.org/wiki/Topological_degeneracy

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Luboš Motl
Strictly speaking, describe "topological insulators as, more or less, "Berry phases can give rise to a nontrivial 'band geometry,' and analogous to Gauss-Bonnet there is a nice quantity calculable from this that characterizes instead the 'band topology' and this quantity is also physically measurable" and they seem quite happy with this" is not quite correct, since such a description only apply to free fermions. The real topological insulators in experiments have Coulomb interaction.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen

3 Answers

+ 6 like - 0 dislike

The 'topological' in topological order means 'robust against ANY local perturbations'.

According to such a definition, topological insulator is not 'topological' since its properties are not robust against ANY local perturbations, such as the perturbation that break the U(1) and time reversal symmetry. So a more proper name for topological insulator is 'U(1) and time-reversal symmetry protected insulator', which is one example of SPT order.

Some example of topologically ordered states (in the sense of 'robust against ANY local perturbations'):

1) $\nu=\frac{1}{3}$ FQH state

2) $Z_2$ spin liquid state

3) $\nu=1$ IQH state

4) $E_8$ bosonic QH state

The example 3) and 4) have no non-trivial topological quasi-particles (ie no non-trivial statistics, no non-trivial topological degeneracy), but have gapless edge state that is 'robust against ANY local perturbations'.

-- Edit -- (I lifted some discussions below to here):

There are two kinds of topology in math. The "topology" in "topological order" is directly related to the first kind of topology in mathematics, as in algebraic topology, homology, cohomology, tensor category. The "topology" in "topological order" is different from the "topology" in "topological insulator". The "topology" in "topological insulator" is related to the second kind of topology in mathematics, as in mapping class, homotopy, K-theory, etc. The first kind of topology is algebraic, while the second kind of topology is related to the continuous manifold of finite dimensions. We may also say that the first kind of topology is "quantum", while the second kind of topology is "classical".

The correct way to describe any gapped phases (such as topological orders and topological insulators) is to use the first kind of topology -- "quantum" topology, because the gapped phases are usually interacting. The second kind of topology -- the "classical" topology -- can be used to describe the one-body physics (include free fermion systems). The "classical" topology cannot be used to describe interacting many-body systems, which need "quantum topology".

One needs to go beyond "filling energy level" picture to understand topological order (the first kind of topology). Our education in traditional condensed matter physics (or traditional many-body physics) is almost all about "filling energy levels" (such as Landau Fermi liquid theory, band theory, etc), which is a trap that limit our imagination. The second kind of topology (the "topology" in "topological insulator") can be understood within the framework of "filling energy level" picture.

To answer the question What are the geometric properties of states with topological order from which we could deduce the topological order with some kind of Chern number (but without starting from a Chern-Simons field theory and putting in the right one by hand ;) ). Is there anything like this? I like to say that topological order is algebraic, not geometric. So the topological invariants of topological order are very different from Chern numbers. The robust ground state degenercy and the robust non-Abelian geometric phases of the degenerate ground states are the topological invariants of topological order (which are the analogues of the Chern number).

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
answered Jul 25, 2013 by Xiao-Gang Wen (3,485 points) [ no revision ]
@ Xiao-Gang Wen, dear Prof. Wen, how to understand "ANY" in your answer? Can we define it? Or how we describe "ANY" in mathematical language? Thank you.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user K-boy
'ANY local perturbations' are hermitian operators of the form $\delta H=\sum_i H_i$ where $H_i$ acts on a finite region. So ANY really means "any" in the usual way.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
@ Xiao-Gang Wen, thanks. And is this physics kind of topology (in the sense of 'robust against ANY local perturbations') directly related to the topology in mathematics ?

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user K-boy
There are two kinds of topology in math. This physics kind of "topology" is directly related to the first kind of topology in mathematics, as in algebraic topology, homology, cohomology, tensor category. This physics kind of "topology" is not related to the second kind of topology in mathematics, as in mapping class, homotopy, K-theory, etc. The first kind of topology is algebraic, while the second kind of topology is related to the continuous manifold of finite dimensions. We may also say that the first kind of topology is "quantum", while the second kind of topology is "classical".

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
The correct way to describe any gapped phases (such as topological orders and topological insulators) is to use the first kind of topology -- "quantum" topology. The second kind of topology -- the "classical" topology -- can be used to describe the one-body physics (include free fermion systems). The "classical" topology cannot be used to describe interacting many-body systems, which need "quantum topology". On the other hand, "quantum" topology, in some sense, can be viewed as "classical" topology for infinite dimensional manifolds.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
One needs to go beyond "filling energy level" picture to understand topological order. Our education in traditional condensed matter physics (or traditional many-body physics) is almost all about "filling energy levels" (such as Landau Fermi liquid theory, band theory, etc), which is a trap that limit our imagination. Also Everett You's answer explains the two kinds of topology very well.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
@ Xiao-Gang Wen, your beautiful explanations inspired me very much, thanks. To confirm my understanding, as your 2nd explanation, are' topological insulators' described by either the quantum or the classical topology?

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user K-boy
The theory of 'topological insulators' has two versions, one for free fermions and one for interacting fermions. Only the version for interacting fermions apply for real experiments since the electrons in real samples do interact. The version for free fermions is described by classical topology while the version for interacting fermions is described by quantum topology (with symmetry).

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Xiao-Gang Wen
Ok, I see, thanks.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user K-boy
+ 5 like - 0 dislike

As you have mentioned, topological insulators (TI) are "topological" because they can not be smoothly connected to trivial band insulators without closing the band gap (and without breaking certain symmetry). Simply generalize this to the many-body case, we may say that the topologically ordered states are called "topological" because they can not be smoothly connected to the trivial product state without closing the many-body gap.

To gain a better understanding, one should realize that "topology" is a complement to "geometry". By geometry, we mean that there is a sense of measurement of the distance and angle etc., and the shape and the size of the object matters. While by topology, we mean that one can continuously deform the object, and the shape or the size does not matter. So the topological properties are those properties that can endure continuous deformation of the state (by continuity we mean without encountering a quantum phase transition). To protect the topological properties against deformation, a gap between the ground states and the excited states is always required. So topological property is only defined for gapped quantum matters (both TI and topological order are within this scope). On the other hand, gapless quantum matters do not have topological properties, and their properties are geometrical.

The topological/geometrical distinction is also reflected from the mathematical tools we used to study the physics. For gapped quantum matters, we use topological tools like homotopy, cohomology, K-theory, category theory etc. For gapless quantum matters, we use geometrical tools like gravity theory (AdS/CFT).

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Everett You
answered Jul 11, 2013 by Everett You (785 points) [ no revision ]
It seems that topology is not relevant in the gapless case, but, however, could we imagine that topology could change in the gapless case - that is, degenerate ground states corresponding to different topologies ?

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Trimok
@Trimok The ground state degeneracy is ill-defined for gapless system. The gapless "topological order" may be called the quantum order.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Everett You
+ 3 like - 0 dislike

The 'topological' in topological order can refer to:

  • The fact that the ground state degeneracy is sensitive to the the topology of the manifold (as mentioned by Motl).
  • The low energy, effective theory is a Topological Field Theory.
  • The low energy excitations are anyons which obey a generalized form of exchange statistics. This steps into the realm of knot theory and related topics, which is quite "topological".
  • In fact, these anyons are better understood as examples of topological defects, instead of simple energetic excitation. In the case of the quantum Hall effect they are vortices in the quantum Hall liquid.
  • Many properties of the system do not depend on the microscopic details (e.g. the conductivity in the case of the quantum Hall effect). The system is insensitive to local perturbations.
  • These systems are characterized by topological entanglement entropy. The entanglement entropy contains a term which does not scale with the system size. It's constant and can be used to partially identify the topological order.
  • The system exhibits bulk-edge duality. Again, the exact shape of the edge is irrelevant.
  • In some sense these topological ordered system are so special because the ground state configuration has an "enhanced" symmetry compared to the excited (topological-order breaking) states.
  • The name 'topological order' also shows the difference between the more conventional order used in Landau-Ginzburg theory. Topologically ordered systems cannot be described through use of local order parameters, since the low energy effective theory does not have local degrees of freedom.
  • The Hilbert space associated with anyons has some non-locality built into it. For instance, a configuration of multiple anyons is not described by a direct sum of single particle Hilbert spaces (one assigned to each anyon). The dimensionality of many-anyon state follows very non-trivial rules (e.g. in the case of Fibonacci anyons the dimension of the n-particle Hilbert space grows according to the Fibonacci sequence when we introduce more anyons to the system).

Feel free to comment.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user Olaf
answered Jul 11, 2013 by Olaf (320 points) [ no revision ]
One comment: the listed criterion are not all necessary to have a topological order. Especially the ones concerning anyons, am I correct ? Thanks for your answer.

This post imported from StackExchange Physics at 2014-04-04 16:41 (UCT), posted by SE-user FraSchelle

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$ysicsOver$\varnothing$low
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).
Please complete the anti-spam verification




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

Your rights
...