izpis_h1_title_alt

Kvantni algebrajski učinki : delo diplomskega seminarja
ID Strah, Luna (Author), ID Pretnar, Matija (Mentor) More about this mentor... This link opens in a new window

.pdfPDF - Presentation file, Download (356,47 KB)
MD5: 2265371BCD0A60D6594EB42C11D216B1

Abstract
V tem delu predstavimo nov pristop do formalizacije kvantnega računalništva, zasnovanem na linearnosti in algebrajskih učinkih. Najprej predstavimo, kaj kvantno računalništvo sploh je in kako ga lahko razumemo iz matematičnega vidika, in definiramo jezik za kvantne programe. Nato razvijemo algebrajsko teorijo z linearnimi parametri in dokažemo, da lahko s to teorijo predstavimo vse kvantne programe (polnost) in da iz nje lahko izpeljemo pravila za enakost kvantnih programov. Na koncu predstavimo še nekaj razširitev jezika in teorije ter demonstriramo, da je mogoče to algebrajsko teorijo uporabiti tudi bolj v splošnem.

Language:Slovenian
Keywords:kvantno računalništvo, algebrajski učinki
Work type:Bachelor thesis/paper
Organization:FMF - Faculty of Mathematics and Physics
Year:2022
PID:20.500.12556/RUL-142620 This link opens in a new window
UDC:004.38
COBISS.SI-ID:129728515 This link opens in a new window
Publication date in RUL:16.11.2022
Views:274
Downloads:48
Metadata:XML RDF-CHPDL DC-XML DC-RDF
:
Copy citation
Share:Bookmark and Share

Secondary language

Language:English
Title:Quantum Algebraic Effects
Abstract:
In this thesis we present a new approach to formalizing quantum computation based on linearity and algebraic effects. First we present what quantum computation is from a mathematical point of view. Then we define a quantum programming language. We develop an algebraic theory with linear parameters. We show that we can use it to represent all quantum programs and that we can extract rules for program equality from them. Finally, we present some extensions to our language and theory. We also demonstrate how to use this algebraic framework in general.

Keywords:quantum computing, algebraic effects

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Back