TEACHING WORK IMPERIAL SEMINARS

Fatimah Rita Ahmadi

I am a postdoctoral researcher at the Department of Mathematics, Imperial College London. I did my DPhil at Quantum Group based at the Department of Computer Science, University of Oxford. During my PhD, I worked on topological quantum computation and category theory. In my thesis, I studied and proposed bicategorical structures for topological quantum computation.

Contact Details: f.ahmadi@imperial.ac.uk | fatimah.rita.ahmadi@gmail.com

Papers

Typing Tensor Calculus in 2-Categories

We define semi-additive 2-categories; 2-categories enriched over the category of semiadditive categories with 2-biproducts between objects. We provide both limit-form and algebraic definitions, and demonstrate both definitions are equivalent. We further propose 2-morphisms of these categories are tensor with 4 indices and demonstrate the details of horizontal and vertical compositions.

Monoidal 2-Categories: A Review

We recover Kapranov and Voevodsky's definition of monoidal 2-categories from the algebraic definition of weak 3-category (or tricategory) by Gurski. Baez and Neuchl reviewed the semi-strict definition of monoidal 2-category. Stay, one the other hand, spelled out the definition but without tensorators. Schommer Pries cited Stay. The combination of both, constructs the full description of a monoidal 2-category. We show two unit polytopes spelled out by Stay are excessive. Stay’s diagrams also need to be revised, as in the presence of tensorators, filling 2-morphisms will be modified based on the modified tensor product

.

Topological Quantum Computation Through the Lens of Categorical Quantum Mechanics Unitary fusion categories formalise the algebraic theory of topological quantum computation. We rectify confusion around a category describing an anyonic theory and a category describing topological quantum computation. We show that the latter is a subcategory of Hilb. We represent elements of the Fibonacci and Ising models, namely the encoding of qubits and the associated braid group representations, with the ZX-calculus and show that in both cases, the Yang-Baxter equation is directly connected to an instance of the P-rule of the ZX-calculus. In the Ising case, this reduces to a familiar rule relating two distinct Euler decompositions of the Hadamard gate as π/2 phase rotations, whereas in the Fibonacci case, we give a previously unconsidered exact solution of the P-rule involving the Golden ratio. We demonstrate the utility of these representations by giving graphical derivations of the single-qubit braid equations for Fibonacci anyons and the single- and two-qubit braid equations for Ising anyons.

Supervision

Rijul Arora (Now Morgan Stanley)

Teaching

Michaelmas; Oct 2018 to Dec 2022. TA-ing Topological Quantum Matter Lectured by Prof Steve Simon. Department of Physics, University of Oxford, Oxford, UK.

Hilary; Jan-March 2019. Tutoring Quantum Mechanics. Mansfield College, University of Oxford, Oxford, UK.

Jan-March 2019. Tutoring Categorical Quantum Mechanics. Department of Computer Science, University of Oxford, Oxford, UK.

Jan-March 2018. Tutoring Category Theory. Department of Computer Science, University of Oxford, Oxford, UK.

Sep 2013-Jan 2014. Lab Demonstrator for General Lab II. Sharif University of Technology, Tehran, Iran.

Others

I write short stories, poems, and essays!

I photograph sometimes this is a collection called The City