### MTAT.04.004

# Quantum Seminar

The topic areas:

1. `(Post-)quantum crypto`

2. `Quantum programming / logic`

3. `Quantum AI`

4. `Quantum algorithms and mathematics of quantum computation`

5. `Noisy intermediate-scale quantum (NISQ) computing`

### (Post-)Quantum Crypto

Supervisor for all of these topics: Dominique Unruh

#### Quantum Money

Quantum money protocols are protocols that implement unforgeable coins using quantum effects. These can be used offline (no need to interact with a server or the net like, e.g., with Bitcoin). The task of this seminar topic is to pick and describe one quantum money protocol (paper) in detail.

**Required background:** Crypto I or comparable, Quantum Crypto

#### Relativistic commitments

Relativistic commitments are protocols where a commitment scheme is implemented that is secure based on the assumption that the speed of light is bounded (i.e., to break it, you would have to communicate faster than light). Those can be made information-theoretically secure (i.e., no computationally unlimited or quantum attacker can break them).

The task of this topic is to give a short overview of the existing results, and to study and describe a quantum-secure one of them in more detail.

**Required background:** Crypto I or comparable, Quantum Crypto or some quantum lecture

### Quantum programming / logic

Supervisor for all of these topics: Dominique Unruh

#### Quantum programming languages

The task of the seminar topic is to pick a quantum programming language (a "practical" one or a theoretical one), and to describe it (and possibly show some examples in it).

**Required background:** Some quantum lecture

#### Quantum verification

How can we use the computer to verify the security of quantum programs and/or quantum cryptography. What are suitable logical foundations for this. Etc. A specific result/paper would be agreed upon with the supervisor.

**Required background:** Some quantum lecture

### Quantum AI

Prerequisites for this topic are:

- both
**Quantum Computing I**and**Quantum Crypto**(it's ok if you're taking them in this spring) - a basic understanding of neural network shit.

You should combine a topic in this area with taking the course **LTAT.00.008 Theoretical Informatics Project**: In the *seminar*, you read and present the paper; in the *project* you implement and reproduce the results on IBM Q or a quantum computing simulator and run it.

**Topics**

Supervisor for all of these topics: Assoc. Prof. Dirk Oliver Theis

*Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms*(Advanced Quantum Technologies, 2019)(sorry, mistake)*Parameterized quantum circuits as machine learning models**Quantum Generative Adversarial Networks for learning and loading random distributions*(NPJ Quantum Information, 2019)*Learning to learn with quantum neural networks via classical neural networks*(preprint, https://research.google/pubs/pub48325/)- Quantum learning with noise and decoherence: a robust quantum neural network Quantum Machine Intelligence 2020.

### Quantum algorithms and mathematics of quantum computation

Supervisor Rafieh Mosaheb:

- Learning-with-errors problem is easy with quantum samples (Phys-Rev A 2019)

Supervisor Dirk Oliver Theis:

*A Short Introduction to Topological Quantum Computation*(arXiv:1705.04103)*Introduction to topological quantum computation with non-Abelian anyons*(arXiv:1802.06176)*Topological quantum information, virtual Jones polynomials and Khovanov homology*(New Journal of Physics (13) 2011)

### Computing with noisy (but existing!) quantum computing devices

The topics in this topic area are either about reducing the effect of quantum noise on computations run on quantum devices, or about simulation of quantum systems on quantum computers, and mostly in the intersection of the two. The topics are given out by Uni Tartu spin-off **Ketita Labs OÃœ**.

*Repeated Quantum Error Detection in a Surface Code*(arXiv:1912.09410)*Majorana Loop Stabilizer Codes for Error Correction of Fermionic Quantum Simulations**Application of fermionic marginal constraints to hybrid quantum algorithms*(arXiv:1801.03524)*Quantum computation of electronic transitions using a variational quantum eigensolver*(arXiv:1901.01234)*Quantum imaginary time evolution, quantum lanczos, and quantum thermal averaging*(arXiv:1901.07653)*Low-cost error mitigation by symmetry verification**Error mitigation by symmetry verification on a variational quantum eigensolver*(arXiv:1902.11258)*Strategies for Quantum Computing Molecular Energies Using the Unitary Coupled Cluster Ansatz**Quantum Chemistry Calculations on a Trapped-Ion Quantum Simulator**Quantum Simulation of Electronic Structure with Linear Depth and Connectivity**Low-Depth Quantum Simulation of Materials*

It is desired to combine the topics in this list with taking the course **LTAT.00.008 Theoretical Informatics Project**: In the *seminar*, you read and present the paper; in the *project* you implement and reproduce the results on IBM Q or a quantum computing simulator and run it.