Computing logical X and Z gates for stabilizer codes

Abstract

Quantum error correction is an inseparable part of making quantum computing viable for real-life use cases. The field heavily relies on experimentation, thus it is important that useful research software in the area exists and is openly available. This thesis introduces an algorithmic method for calculating logical X and Z operators given a set of Pauli group elements. The aim of the thesis is to analyse and implement this method in the Python programming language. Results and performance of the implemented program are given through experiments.