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

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.

Rijul Arora

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.

I write short stories, poems, and essays!

I photograph sometimes this is a collection called The City