The Mathematics of Topological Quantum Computing
Eric Rowell
Texas A&M University
Abstract: In topological quantum computing, information is encoded in “knotted” quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of and harnessed to stabilize quantum memory. In these lectures, we will discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Our focus is on computing and physical motivations, basic mathematical notions and results, open problems and future directions related to and/or inspired by topological quantum computing.
Here are resources for the lectures, ordered roughly in difficulty/required dedication:

An Invitation to the Mathematics of Topological Quantum Computation, By Eric C. Rowell. ( Journal of Physics: Conference Series 698 (2016) 012012., Short survey, meant for Physics people that are not in condensed matter.)

Local unitary representations of the braid group and their applications to quantum computing. By Colleen Delaney, Eric C. Rowell, Zhenghan Wang. (Revista Colombiana de Matemáticas Lecture notes, it will be using these mostly. Also available in https://arxiv.org/abs/1604.06429. )

Mathematics of Topological Quantum Computing. By Eric C. Rowell and Zhenghan Wang. (BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY).

Topological Quantum Computation By Zhenghan Wang. ( CBMS Regional Conference Series in Mathematics, vol. 112.)
Lecture notes
Notes by Harshit Yadav
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Problem session
In charge of Qing Zhang, Texas A&M
First lecture

Let and .
(a) Show that if then is a finite group. (Hint: show that has order 3 modulo scalars, and deduce the relations , projectively. This is an index 2 subgroup of the triangle group , which is finite).
(b) Show that if then is infinite. ( Hint: show that the eigenvalues of are not roots of unity. )
(c) In the latter case, conclude that .
(d) Challenging: show (perhaps using the theorem of BrylinskiBrylinski) that is universal.
(e) Challenging: show that the group of qubit gates composed from is finite.
(f) Assuming is a root of unity of finite order, when is finite?

Determine the dimension of the Hilbert spaces associated with the disk with trivial boundary label and identical punctures of type 1 for
(a) the Fibonacci theory,
(b) the Ising theory,
(c) what is the asymptotics of the dimensions?

Determine the dimension of the Hilbert spaces associated with the holed torus for
(a) the Fibonacci theory,
(b) the Ising theory,
(c) what are the asymptotics of the dimensions?