The simulation of quantum circuits still remains a major challenge in quantum computing. This is due to the different structure of qubits in comparison to classical qubits. While classical bits can be described by a binary value, the state of a qubit is described by two complex numbers, representing the probability of measuring each value from one qubit. In a quantum circuit, the state of one qubit can also influence the state of other qubits within the circuit. Therefore, the simulation of quantum circuits is typically very intensive in both complexity and memory usage, with it commonly growing exponentially regarding the number of qubits used. The stabilizer formalism provides a way to efficiently simulate quantum circuits that only use Clifford gates by utilizing a tableau representation. While the set of Clifford gates suffices for a number of common quantum circuits, it is not universal. A universal set of gates can be reached by adding T-gates to a set of Clifford gates. By utilizing stabilizer decomposition, one can implement T-gates, leading to an exponential growth in complexity and memory regarding used T-gates. This thesis implements a Clifford+T simulator using the already-implemented Clifford sim- ulator Stim and expands it by allowing for the use of T-gates within quantum circuits, which provides for a universal set of gates. This simulator is also able to be run by shared memory systems using MPI, due to utilizing the nature of stabilizer decomposition.
Aufgabensteller:
Prof. Dr. D. Kranzlmüller
Dauer der Arbeit:
Anzahl Bearbeiter: 1
Betreuer: