ZX-račun : delo diplomskega seminarja

Petrič, Tadej (author), Pretnar, Matija (mentor)

ZX-račun je nov pristop k formalizaciji kvantnega računalništva. Kvantna vezja in procese predstavimo z barvnimi diagrami z dodatnimi pravili za poenostavljanje, kar omogoči opis vsakega kvantnega vezja. Ogledamo si tudi več različic ZX-računa, ki omogočijo predstavitev različnih modelov kvantnega računalništva. Diagrame lahko pretvorimo tudi v matrike. Prikažemo tudi nekaj uporab ZX-računa, na primer kvantno teleportacijo in poenostavljanje vezij.

• Language: Slovenian
• Keywords: Kvantno računalništvo, ZX-račun, graf, kategorična kvantna mehanika
• Work type: Bachelor thesis/paper
• Organization: FMF - Faculty of Mathematics and Physics
• Year: 2022
• PID: 20.500.12556/RUL-138809
• UDC: 004.38
• COBISS.SI-ID: 118612995
• Publication date in RUL: 19.08.2022

Secondary language

• Language: English
• Title: ZX-calculus

Abstract

ZX-calculus is a new approach to the formalization of quantum computing. Quantum circuits are represented with coloured diagrams with added simplification rules. Using ZX-calculus, we can describe any quantum circuit. We also explore several fragments of ZX-calculus and their use in describing different computational models. The diagrams can also be converted to matrices. We also show a few applications, such as the circuit optimisation and quantum teleportation.

• Keywords: Quantum computing, ZX-calculus, graph, categorical quantum mechanics