Kvantni algebrajski učinki : delo diplomskega seminarja

Strah, Luna (avtor), Pretnar, Matija (mentor)

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.

• Jezik: Slovenski jezik
• Ključne besede: kvantno računalništvo, algebrajski učinki
• Vrsta gradiva: Delo diplomskega seminarja/zaključno seminarsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Leto izida: 2022
• PID: 20.500.12556/RUL-142620
• UDK: 004.38
• COBISS.SI-ID: 129728515
• Datum objave v RUL: 16.11.2022

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Quantum Algebraic Effects

Izvleček

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.

• Ključne besede: quantum computing, algebraic effects