ZX-račun

delo diplomskega seminarja

Tadej Petrič (Author), Matija Pretnar (Mentor)

Abstract

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.

Keywords

matematika;kvantno računalništvo;ZX-račun;grafi;kategorična kvantna mehanika;

Data

Language:	Slovenian
Year of publishing:	2022
Typology:	2.11 - Undergraduate Thesis
Organization:	UL FMF - Faculty of Mathematics and Physics
Publisher:	[T. Petrič]
UDC:	004.38:530.145
COBISS:	118612995
Views:	1004
Downloads:	50
Average score:	0 (0 votes)
Metadata:

Other data

Secondary language:	English
Secondary title:	ZX-calculus
Secondary 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.
Secondary keywords:	mathematics;quantum computing;ZX-calculus;graphs;categorical quantum mechanics;
Type (COBISS):	Final seminar paper
Study programme:	0
Thesis comment:	Univ. v Ljubljani, Fak. za matematiko in fiziko, Oddelek za matematiko, Matematika - 1. stopnja
Pages:	37 str.
ID:	16216884