Proofs in Mathematics and Computer Science

Zeit: Di 16-17:30 Uhr, Seminarraum 1 während des Semesters,
Themenverteilung 11.10.2022, erster Vortrag voraussichtlich am 15.11.

Vortragsplan:
2 Testing a qubit
Vortragende: Anton Pagel, Mona Meyer
Termin 1. Vorbesprechung: 8.11. (10 Uhr)
Termin 2. Vorbesprechung: 15.11. (11 Uhr)
Termin Vortrag: 22.11.

3 Testing a qubit under spatial assumptions
Vortragende: Niklas Viertel, Carina Scharf
Termin 1. Vorbesprechung: 15.11. (10 Uhr)
Termin 2. Vorbesprechung: 22.11. (11 Uhr)
Termin Vortrag: 29.11.

4 Testing a qubit under computational assumptions
Vortragende: Julia Wieja, Alexandra Schäfer
Termin 1. Vorbesprechung: 22.11. (10 Uhr)
Termin 2. Vorbesprechung: 29.11. (11 Uhr)
Termin Vortrag: 6.12.

8 Multiprover interactive proof systems
Vortragende: Dennis Köhn, Felipe Santillan
Termin 1. Vorbesprechung: 13.12. (10 Uhr)
Termin 2. Vorbesprechung: 20.12. (11 Uhr)
Termin Vortrag: 10.1.

9 Compression of nonlocal games
Vortragende: Arian Joharian, Simon Rottmann
Termin 1. Vorbesprechung: 10.1. (10 Uhr)
Termin 2. Vorbesprechung: 17.1. (11 Uhr)
Termin Vortrag: 24.1.

10 A test for n qubits
Vortragende: Arne Heimendahl, Frank Vallentin
Termin 1. Vorbesprechung: 17.1. (10 Uhr)
Termin 2. Vorbesprechung: 24.1. (11 Uhr)
Termin Vortrag: 31.1.

Literatur:
Sanjeev Arora and Boaz Barak: Computational Complexity: A Modern Approach
Michael Nielsen, Isaac Chuang: Quantum Computation and Quantum Information
Urmila Mahadev: Classical Verification of Quantum Computations
Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright and Henry Yuen: MIP* = RE
(alles online verfügbar)
Thomas Vidick: Interactions with Quantum Devices ( Lecture notes)

Videos:

https://www.youtube.com/watch?v=cnhGLCtf8PA&list=PL5DZ45amUsqIaqE9EIemfc9LzeWzXnGY_&index=119

Cours FSMP: Interactive proofs with quantum devices

Quantum Protocols: Testing & Quantum PCPs (Simons Workshop)

https://simons.berkeley.edu/workshops/schedule/10562

Spielregeln

  • 30 Minuten Präsentation pro Teilnehmer, Themen werden in Zweiergruppen bearebeitet.
  • Besprechen der Präsentation in zwei Besprechungen: 1. Konzept muss vier Wochen vor dem Vortrag vorgestellt werden; 2. Vollständige Version muss eine Woche vor dem Vortrag vorgestellt werden.
  • Nach dem Vortrag muss eine Ausarbeitung von 5-10 Seiten abgegeben werden.
  • Zur Bewertung des Seminars werden folgende Kriterien herangezogen: Verständnis (40%), Eigenleistung (z.B. eigene Erklärungen, eigene Beispiele) (25%), Sorgfalt (25%), Präsentationstechnik (10%)

Kein Tafelvortrag, die Vorträge sollen über Slides mit einer Software Ihrer Wahl erstellt werden.