#### LTAT.04.004

## Quantum Seminar

Kick-off session: `Fri, Feb 22`

### Topics by Prof. Dominique Unruh

The topics will be given out merit-based. If there are several students interested in the same topic, academic background and grades will be used for the selection.

#### 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

#### 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

#### 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 if a quantum secure variant is studied

### Topics by Assoc. Prof. Dirk Oliver Theis

*Quantum algorithms & mathematics of quantum computation*

Topics are sorted Qalgo âž¡ Qmath

- Quantum Supremacy through the Quantum Approximate Optimization Algorithm arXiv:1602.07674
- Quantum approximate optimization is computationally universal arXiv:1812.11075
- Quantum computational finance: quantum algorithm for portfolio optimization arXiv:1811.03975
- Efficient implementation of unitary transformations arXiv:1901.03431
`TAKEN`

Several complex variables and parameterized quantum circuits. This topic can be extended to a MSc thesis. It requires background in analytic functions of several variables, and algebraic/differential topology would probably help, too.

### Topics by companies

#### Ketita Labs

*Near-term quantum computing*

Our topics generally require a deeper understanding of quantum mechanical concepts than quantum algorithms.

- Variational quantum generators: Generative adversarial quantum machine learning for continuous distributions arXiv:1901.00848
- Variational quantum simulation of general processes arXiv:1812.08778
- Using Hoare logic for quantum circuit optimization arXiv:1810.00375
- Variational Quantum Factoring arXiv:1808.08927
- A Quantum Algorithm for the Hamiltonian NAND Tree arXiv:0702144
- Optimal Quantum Measurements of Expectation Values of Observables arXiv:0607019

#### Your quantum company?

Contact Dominique Unruh to offer your quantum computer science topics in the seminar.