1 / 36

Quantum Topology, Quantum Physics and Quantum Computing

Quantum Topology, Quantum Physics and Quantum Computing. Zhenghan Wang Microsoft & Indiana Univ. (visiting KITP/CNSI & UCSB) http://www.tqc.iu.edu. Collaborators:. Michael Freedman (MS) Alexei Kitaev (MS & Caltech) Chetan Nayak (MS & UCLA) Kevin Walker (MS) ( Station Q )

ford
Download Presentation

Quantum Topology, Quantum Physics and Quantum Computing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Quantum Topology, Quantum Physics and Quantum Computing Zhenghan Wang Microsoft & Indiana Univ. (visiting KITP/CNSI & UCSB) http://www.tqc.iu.edu

  2. Collaborators: Michael Freedman (MS) Alexei Kitaev (MS & Caltech) Chetan Nayak (MS & UCLA) Kevin Walker (MS) (Station Q) Michael Larsen (Indiana) Richard Stong (Rice) Eric Rowell (Indiana) ……

  3. Chern-Simons Theory • Chern Classes: Given W4, c2(TWC)=p1(W)2 H4(W,Z) • Characteristic Forms and Geometric Invariants Ann. Math. (1974) This work, originally announced in [4], grew out of an attempt to derive a purely combinatorial formula for the first Pontrjagin number of a 4-manifold. … This process got stuck by the emergence of a boundary term which did not yield to a simple combinatorial analysis. The boundary term seemed interesting in its own right and it and its generalizations are the subject of this paper. 3-dim cs form: Tr(AÆ dA+⅔ A3)

  4. The hope was that by integrating the characteristic curvature form (with respect to some Riemannian metric) simplex by simplex, and replacing the integral over each interior by another on the boundary, one could evaluate these boundary integrals, add up over the triangulation, and have the geometry wash out, leaving the sought after combinatorial formula W4 closed, Crane-Yetter state sum invariants: e[-2 i (-6-r-2r2)/24r]p1(W), r=3,4,…

  5. Chern-Simons Theory Topology Algebra 4-dim W4 Integer 3-dim M3 Complex number 2-dim 2 Vector space 1-dim X1 Category 0-dim pts 2-category

  6. Gauge Group G=SU(2) SU(2)-bundle over Y$f: Y! BSU(2) BSU(2)'* [ e4 [ e8 [ dim Y=4, deg(f)2 Z f: Y! S4 indep of a connection A dim Y=3, pick a W4 s.t. W=Y, a connection A and an extension A’ cs(A,W,A’)2 R, depending on A’ and W, but cs(A,W1,A’)-cs(A,W2,A’’)2 Z cs: connections A ! R mod 1

  7. Quantum Chern-Simons Theory Using path integral (Witten) or quantum groups (Reshetikhin-Turaev), define Zk(M3)=sA e2 i k cs(A)DA What is Zk()? A vector space, a typical vector looks like a 3-mfd M s.t.  M= (Atiyah, Segal, Turaev, Walker,…)

  8. Atiyah’s Axioms of (2+1)-TQFT: (TQFT w/o excitations and central charge=0) Surface 2 vector space V() 3-manifold M3 a vector Z(M3)2 V(M3) ● V(;)  C ● V(1t2)  V(1) ­ V(2) ● V(*)  V*() ● Z(£ I)=IdV() ● Z(M1[ M2)=Z(M1)¢Z(M2)

  9. Examples of TQFTs • Z2 homology: V()=C[H1(,Z2)] = d d = d=§ 1

  10. Picture TQFTs: Given a closed surface  and d2 C, S()=vector space generated by isotopy of classes of multicurves Let V() be S() modulo 1. trivial loop=d 2. a local relation supported on a disk A Local Relation: Fix 2n points on the boundary of the disk, and {Di} all different n disjoint arcs connecting the 2n points. A local relation is a formal equation: ii¢ Di=0.

  11. Chern-Simons TQFTs Given a compact Lie group G, and a level k, there is a TQFT (anomaly). For surfaces with boundaries, each boundary component is marked by a label

  12. Reps of the MCGs Each TQFT gives rise to projective representations of the mapping class group of labeled surfaces. When G=SU(2),=n-punctured disk, the resulting reps of Bn are the Jones representations which lead to the Jones polynomial of knots.

  13. Topological quantum system ● A quantum system whose low energy effective theory is described by a TQFT ●Some features: • Ground states degeneracy • No continuous evolution • Energy gap

  14. Topological quantum system Elementary excitations (called quasi-particles or particles) in a topological quantum system are anyons. In general the vector space V() describes the ground states of a quantum system on , and the rep of the mapping class groups describes the evolutions.

  15. Hypothesis: • TQFTs describe the topological properties of quantum media in the thermodynamic limit • Applications: fault-tolerant quantum computers • Questions: • Classification of TQFTs • Find physical realizations of TQFTs, hence build quantum computers

  16. Statistics of Particles In R3, particles are either bosons or fermions Worldlines (curves in R3£R) exchanging two identical particles depend only on permutations = Statisitcs is : Sn! Z2

  17. Braid statistics In R2, an exchange is of infinite order Not equal Braids form groups Bn Statistics is : Bn! U(1) If not 1 or -1, but ei, anyons

  18. Non-abelian anyons Suppose the ground states of n identical particles has a basis e1, e2, …, ek Then after braiding two particles: e1! a11e1+a21e2+…+ak1ek .● ● Particle statistics is : Bn! U(k) Particles with k>1 are called non-abelian anyons In general the statistics of a particle with configuration space X is n:1(Cn(X),p0)! U(kn)

  19. Classical Hall effect E. H. Hall, 1879 On a new action of the magnet on electric currents Am. J. Math. Vol 2, No.3, 287--292 “It must be carefully remembered that the mechanical force which urges a conductor carrying across the lines of the magnetic force, acts, not on the electric current, but on the conductor which carries it” Maxwell, Electricity and Magnetism

  20. Quantum Hall Effect ● 1980 K. von Klitzing ---IQHE (1985 Nobel) ● 1982 H. Stormer, D. Tsui ---FQHE R. Laughlin (1998 Nobel) quasi-particle with 1/3 electron charge and braiding statistics (anyons)

  21. Electrons in a flatland Electron system: e - + + - B I Hall resistance Rxy=-1¢ h/e2,  with precision 10-10 ( is the Landau filling fraction)

  22. =4,3,2,1,2/3,3/5,4/7,2/5,1/3 h/e2 Rxy 3 Rxx 30 Magnetic field T

  23. Read-Rezayi conjecture: =1/3 or 2/3 SU(2) TQFT at r=3 (Laughlin) =5/2 SU(2) TQFT at r=4 (Universal TQC) =12/5 or 13/5 SU(2) TQFT at r=5 (Universal AQC)

  24. Quantuminformation science: ---Storage, processing and communicating information using quantum systems. Three milestones in QIS: 1.Shor's poly-time factoring algorithm (1994) 2. Error-correcting code, thus fault-tolerant quantum computing (1996) 3. Security of private key exchange (BB84 protocol)

  25. How a quantum computer works Given a Boolean map f: {0,1}n! {0,1}n, for any x2 {0,1}n, represent x as a basis |x>2 (C2)­ n, then find a unitary matrix U so that U (|x>) = |f(x)>. |f(x)> Basis of (C2)­ n is in1-1correspondence with n-bit strings or 0,1,…,2n-1 |x>

  26. Factoring is in BQP (Shor's algorithm), but not known in FP (although Primality is in P). Given an n bit integer N» 2n Classically ~ ec n1/3 poly (log n) Quantum mechanically ~ n2 poly (log n) For N=2400, classically » billion years Quantum computer » 1 second BQP Ф? Pspace ♪ ☻ P NP

  27. Can we build a large scale universal QC? The obstacle is mistakes and errors (decoherence) Error correction by simple redundancy 0!000, 1! 111 Not available due to the No-cloning theorem: The cloning map |>­ |0>! |>­|> is not linear. Fault-tolerant quantum computation shows if hardware can be built up to the accuracy threshold ~10-4, then a scalable QC can be built. Solution---Quantum Topology

  28. A topological quantum computer Measurement=annihilating anyons Braiding anyons Creating anyons

  29. Work in progress: • Mathematics Classifications of TQFTs or anyonic systems • Mathematical Physics Hamiltonianization of TQFTs (generalizing Jones’ Baxeterization of link invariants) 3. Physics Search for topological phases of matter

  30. Conjecture: Fix the number of quasi-particle types, there are essentially only finitely many TQFTs. True for 1,2,3,4 (Rowell, Stong, W.) Analogues: • (E. Landau) Finitely many finite groups with a fixed number of irreps 2. (L. Bieberbach) Finitely crytallographic groups in each dimension n, n=3 230 crytals

  31. Modular Tensor Category A MTC is a ribbon category with finitely many isomorphism classes of simple objects and a non-singular S-matrix (a ribbon category is a braided tensor category with compatible duality.) Given a MTC, there associates a TQFT.

  32. Rep of SL(2,Z) There is a trace on morphisms of a MTC: =i sij=1/D Xi D2= di2 s S=(sij) t T=(iij) =di

  33. General Strategy: ● Use RCFT to show there are only finitely many reps of SL(2,Z) from the S,T matrices ● Using number theory to show there are only finitely many possible twists T and S with the same rep of SL(2,Z)

  34. Fault tolerance of TQFTs A pair (V, (C2)­ n) is a (k, n)-code if for every k-local operator, the following composition is a scalar multiple of idV: V! (C2)­ n!(C2)­ n! V Given a TQFT, and a triangulation of a surface , then V() can be constructed as the ground states of a local Hamiltonian on (C2)­ n which is a (k,n)-code ---Quantum medium

  35. Why a believer First Law of Physics (S. Girvin) Whatever is not forbidden is compulsory Non-commutative Chern classes???

More Related