Register to reply 
Kitaev's Periodic Table (of Topological Insulators & SCs) 
Share this thread: 
#1
May612, 03:39 AM

P: 27

Hi PF,
I'm trying to come to grips with the work of Alexei Kitaev on applying notions from (topological) Ktheory to the task of classifying phases of topological insulators and superconductors (paper here: http://arxiv.org/pdf/0901.2686v2.pdf). Despite having plenty of citations, I've yet to find a single review which talks about his construction in any sort of detail (Ktheory isn't exactly part of the physicist's working toolkit in condensed matter so I'm not terribly surprised). It's a bit of a long shot, but I wondered if there were any physicists (or mathematicians) around here familiar enough with this work and willing to answer a few questions? 


#2
May812, 10:15 PM

Sci Advisor
HW Helper
P: 1,334

I may be able to help a bit, if you're still interested. You may also find some information in here http://arxiv.org/abs/1005.0583



#3
May812, 11:52 PM

P: 27

Hi Monkey, thanks for the reply and the paper. I'm still just getting acquainted with the field of topological insulators and condensed matter in general, so my questions are likely to come across as quite amateur (they are). One that's been bugging me is the following:
In both Kitaev's paper and the one you linked the authors restrict attention to fermionic Fock space Hamiltonians which can be written in terms of Majorana operators. This may be necessary to make progress via the classifying space approach in your paper, but I don't see why it's necessary from the perspective of Ktheory. Can we be more general by allowing an arbitrary (gapped) Hamiltonian in the Fock space (possibly containing quadratic terms and higher), or is this physically nonsensical for some reason that I'm missing? 


#4
May912, 09:52 AM

Sci Advisor
HW Helper
P: 1,334

Kitaev's Periodic Table (of Topological Insulators & SCs)
If I understand your questions correctly, you've touched on two separate issues.
The first issue is the role of majorana fermions. I think the crucial point is that any fermionic fock space operator can be written in terms of majorana operators. Physically, majoranas are useful because they allow one to treat conventional hopping and superconductivity on the same footing and lead to a simple unified form for the hopping hamiltonian. This is the same in all approaches, independent of K theory considerations. The second issue is the role of interactions or equivalently, the assumption of quadratic hamiltonians. Certainly in principle we would like to treat arbitrary gapped fermion hamiltonians, but this is a much more challenging problem (although we have partial information and kitaev himself has new unpublished results in the area). The classification in kitaev's current paper and the other topo. ins. classifications are all for strictly noninteracting phases. Some of these phases survive the addition of interactions, but others become equivalent once interactions are included e.g. http://arxiv.org/abs/0904.2197 Does this address your question? 


#5
May912, 10:30 AM

P: 27

Ah, I meant to say " ... written in terms of quadratic combinations of Majorana operators", so your second point was really the one I was after. Sorry about that.
It seems to me that if we relax the restriction to quadratic hamiltonians the "real structure" of his Ktheory classification is lost (the idea being that whereas before we were restricted to real antisymmetric matrices after switching to Majorana operators, the most general Hamiltonian operator will be given by some large hermitian but otherwise arbitrary matrix acting on the full Fock space). So perhaps in this general setting there is only one large complex class? (with a much less interesting structure of invariants given the 2periodicity of complex Ktheory). I'm sure Kitaev is cooking up something much better than this, but would you agree with this reasoning? 


#6
May912, 08:45 PM

P: 27

Another less speculative question if anyone is still out there:
I've seen a few authors talk about creation/annihilation operators as though they're automatically defined globally over the whole Brillouin zone (e.g. Equation 12 of the paper Monkey linked). Doesn't this amount to assuming that the BZ vector bundle of states is a trivial bundle? Do we not therefore lose some relevant topology by proceeding in this way? 


#7
May1012, 08:52 AM

Sci Advisor
HW Helper
P: 1,334

There are at least two relevant notions of locality. 1. Geometric locality: we require that the Hamiltonian only contain interactions between nearby particles or spins. 2. Bounded interactions: we require that the Hamiltonian only contain interactions that couple a bounded number of particles together e.g. 5body interactions are ok but Nbody interactions are not (N is the number of particles). Even if you relax 1, for example by studying a system on a complete graph, 2 is still a strong contraint on the types of Hamiltonians you can write. The resulting problem could then be to study the space of gapped local manybody Hamiltonians up to stable equivalence. 


#8
May1012, 08:59 AM

Sci Advisor
HW Helper
P: 1,334

On the other hand, if the microscopic model is a lattice model with a finite number of states per site, then the full set of bands is always trivial in the appropriate sense. 


#9
May1012, 09:32 AM

P: 27

Thanks again Monkey, some resolution on these issues comes as quite a relief (unfortunately nobody in my department studies these things, so they'd been bottled and stewing for quite a while). Rather than harassing you with endless questions though, could I ask you to recommend a text which might help to fill some of the gaps in my background? I'm a final year undergrad studying Kitaev's paper (the one I linked above) as part of a senior thesis, and my exposure to CMP has been relatively limited so far. I know of classics like Kittel, Ashcroft and Mermin etc. but these are relatively old and haven't been terribly helpful yet. Kitaev makes the mathematical prerequisites for his construction quite clear, so that hasn't been a problem. He is obviously writing for a seasoned CM audience though, and that's been giving me a bit of trouble.
Edit: to clarify, I'll be interested at some point in reviewing our understanding (or lack of) how Kitaev's picture breaks down in the presence of interactions. I get the impression that Monkey's two points above regarding this issue are sort of 'common knowledge' things (no? I suppose the first is quite intuitive but I don't know about the second). Is there an obvious place to go in search of more 'common knowledge'? 


#10
May1012, 09:42 AM

Sci Advisor
P: 3,596

I don't really understand this stuff but maybe some review article may be helpful to understand the physical background:
http://arxiv.org/abs/1002.3895 


#11
May1012, 10:29 AM

Sci Advisor
HW Helper
P: 1,334

No problem. I really don't mind discussing with you, it's a nice change of pace from questions about time dilation, etc. and not so many people are interested in this subject anyway.
I will think a bit about the best resources for background, although unfortunately I lot of this stuff is pretty new and not well documented in a pedagogical way. To help me make suggestions, may I ask if you prefer more mathematical versus more physical arguments? (Many of the players in this area are part mathematician.) Also, do you have any interest or background in quantum information and quantum computation? (Ideas from these areas play a nontrivial role in the background to this stuff.) 


#12
May1012, 11:02 AM

P: 27

That time dilation, how does it work?
In seriousness though, So regarding your second question: I have no background, I do have interest, but then I don't have quite enough time. Then again, if some appreciation for the issues relevant to my line of investigation is within reach I'll certainly go for it. 


#13
May1012, 02:20 PM

P: 107

I'm also very much interested in discussing these papers, although sadly I am quite busy currently and might not be able to participate too much.
Let me add some references that might be useful. Stone et al (J. Phys. A: Math. Theor. 44 045001) has clarified certain aspects of the Kitaev paper and is a good place to start (see also this). There are generally many sources where the usual Ktheories are discussed, but its harder to find good references for KRtheory (which is the relevant thing, when assuming translational symmetry since the symmetries act as involutions on the bundle over momentumspace). Ktheory comes into play in string theory in the problem of classification of stable Dbranes and RamondRamond charges (it seems that there are stable nonBPS Dbranes, these are captured by the Ktheory classification but missed by the SUSY analysis). It is from here Ryu and Takayanagi tries to connect Dbranes to topological insulators/SC's. A review of the string theory side of the story, and basics of Ktheory, is given by Olsen and Szabo (arXiv:hepth/9907140). 


#14
May1512, 01:21 AM

P: 27

Hi element4, thanks for the links. Regarding sources for KRtheory, I've found that a combination of Kitaev's primary reference (the book by Max Karoubi) and the original paper by Atiyah (e.g. www.maths.ed.ac.uk/~aar/papers/atiyahkr.pdf) is fairly comprehensive. Karoubi develops ordinary Ktheory in a rather general (categorical) setting so that it's fairly clear how the theory extends to the category of real vector bundles (he relegates the details to exercises in fact  these are the only places in the book where KR theory is mentioned).
So perhaps I'll try to summarize what I understand of Kitaev's scheme so far, and anybody who's interested can chime in with comments, corrections or questions: The situation is basically that we're given a fermionic system (e.g. a lattice model) and we want to classify its gapped noninteracting phases. In more mathematical words, we want a classification of gapped Hamiltonian operators acting in the Fock space of singleparticle states which satisfy the constraint of being no more than quadratic in the fermionic creation/annihilation operators. If the system has some type of translational symmetry, then it makes sense to talk about Hamiltonians defined on some momentum space (be it a Brillouin zone torus or whatever else). We will further assume that the Hamiltonian is irreducible with respect to nontrivial unitary symmetries (for a system that isn't we'll then obtain a classification for each of its irreducible components). Now at each point on the momentum space we have a vector space of oneparticle states. This defines a family of vector spaces, and I've managed to convince myself that this family should be at least locally trivial (although it's crucial in some cases that global triviality is not guaranteed, as Monkey pointed out earlier). Our Hamiltonian is not exactly a oneparticle operator however (even though we're not including serious interactions) since it can contain terms of the form [tex] a_i a_i, a^{\dag}_i a^{\dag}_i [\tex] (corresponding to paircreation/annihilation presumably?). So it doesn't properly operate on the oneparticle bundle. Instead its natural place is as an operator on the 'Nambu space' or 'particlehole' space defined for e.g. on pg 4 here: http://arxiv.org/abs/1101.1054 (Kitaev doesn't talk about this explicitly but I think it's equivalent to what he's doing with majorana operators). In our case we have a 'Nambu bundle'. Since we want our classification to be stable to continuous deformations, we're only interested talking about Hamiltonians acting on this bundle up to homotopy. We can therefore 'flatten' H's spectrum by taking all positive eigenvalues to 1, and negatives to 1 (so that H^2 = 1). How we proceed from here depends on the presence or absence of any 'unusual' symmetries. The irreducibility of H wrt ordinary unitary symmetries implies that we need only consider at most one 'TimeReversal' type (anticommuting) antiunitary symmetry, and one 'ParticleHole' type (commuting) antiunitary symmetry. If there are no such symmetries then all we have is a complex vector bundle over our momentum space, and we seek to classify automorphisms satisfying H^2 = 1 up to homotopy. There is one final element here in that Ktheory only deals with these questions up to 'stable equivalence', which means that when comparing two systems we're allowed to augment each with an arbitrary trivial system. Whether this should be viewed as a feature of the classification or a defect is unclear to me (I can see that adding a trivial system might have some physical justification in terms of adding a few states with trivial hopping elements, but others have referred to stableequivalence as a limitation of the Ktheory approach). With this caveat though our question is answered precisely by the 'zeroth' Kgroup of the momentum space according to Karoubi's presentation of the groups K^p,q (I won't go into detail about this right away but I'll do my best to answer questions if anybody's interested). Extending this classification to cases where there are additional symmetries to respect (possibly involving involutions on the momentum space e.g. time reversal) is a matter of employing the additional machinery of KR theory. I think I have a handle of most the details involved, but I'm more interested in getting the physical picture right for now. There is more to Kitaev's paper than all this. He gives a classification of discrete systems as well, and talks quite a bit about Dirac operators. I haven't made much progress on understanding these aspects yet, but if my picture of the rest is reasonably complete then they're next. 


#15
May1512, 09:44 PM

Sci Advisor
HW Helper
P: 1,334

As an aside, one other place where K theory has appeared is in a sort of classification of Fermi surfaces due to horava. The real reason why Ktheory appears (in both the Dbrane and condmat contexts) is our interest in stable equivalence. Basically, we want to be able to add "trivial" degrees of freedom without changing anything essential (so long as the energy gap is preserved). In string theory this means braneantibrane pairs which carry vector bundles on them. In the context of free fermion models this means adding arbitrary gapped flat bands carrying trivial bundles of bloch states over momentum space. Another aside, nothing against Shinsei's paper, but one should be aware that the physics is quite different for the cond mat systems we normally think about and the dbrane systems he considers. Roughly speaking, the cond mat system is like a small subset of the degrees of freedom but a lot more is going on. At some level the connection between these two papers is just that 8 = 8. 


#16
May1512, 11:34 PM

P: 27




#17
Feb2514, 05:38 PM

P: 4

It's great this thread is here and hope you guys can see this beacon for help. I'm confused about what the above quote refers to in Kitaev's paper. As far as I understand, Kitaev elaborates on four cases for a generic freefermion system for d=0, which in firstquantized form is just a skewsymmetric matrix A: 1. No symmetries: classifying space R_2 2. A unitary commuting U(1) symmetry, represented by Q with QA = AQ: C_0 3. An antiunitary anticommuting discrete symmetry, represented by T with TA = AT: R_3 4. A combination of cases 2 and 3, which implies another antiunitary anticommuting discrete symmetry: (QT)A = A(QT): R_4 So I don't understand the above quote (and all those other papers that construct these classes in terms of particlehole symmetries). Which operator (Q,T,QT) is the antiunitary commuting particlehole symmetry? Similarly, why is Kitaev's R_2 case (class D) described as having no symmetries while Furusaki's (10.1103/PhysRevB.88.125129) and Ludwig's (doi:10.1088/13672630/12/6/065010) papers state that that class has a particlehole symmetry? I greatly appreciate any and all help; may acknowledge discussions if I ever write up related stuff.  VVA 


#18
Feb2514, 06:58 PM

P: 27

Hi Comrade,
I'm glad to see that this (rather old) discussion is still proving useful to somebody. I started this thread whilst I was (beginning) to write my undergraduate thesis on the subject of topological insulators and their Ktheory classification  out of curiousity may I presume to ask what your interest is in this area? As it turns out I eventually found it helpful to put Kitaev's derivation of the periodic table aside and work out my own using the basic machinery of K and KR (and KH) theory. The result was (I think) a more systematic derivation of the periodic table which cleared up a lot of my confusions about Kitaev's approach. To answer your (boldface) question however: by using a basis of Majorana operators Kitaev has made the "particlehole" symmetry (the one referred to in your other papers) particularly trivial: it's nothing other than complex conjugation itself. So the particlehole symmetry is there in the form of a reality constraint. Another approach would be to represent the freefermion Hamiltonian in terms of a BdG Hamiltonian (I recall that this is what Furusaki and Ludwig did) which makes the PH operation "more obvious". 


Register to reply 
Related Discussions  
What do topological insulators have to do with hall currents?  Atomic, Solid State, Comp. Physics  0  
Why topological insulators are topological?  Atomic, Solid State, Comp. Physics  2  
How start studying Topological Insulators  Academic Guidance  4  
Pointers to start understanding topological insulators  Atomic, Solid State, Comp. Physics  4  
Topological insulators  Atomic, Solid State, Comp. Physics  12 