Institut for Matematik og Datalogi

Speaker: Ben Brown (​IBM).Abstract:In seminal work (arXiv:quant-ph/9707021) Alexei Kitaev proposed topological quantum computing (arXiv:cond-mat/0010440, arXiv:quant-ph/9707021, arXiv:quant-ph/0001108, arXiv:0707.1889), whereby logic gates of a quantum computer are conducted by creating, braiding and fusing anyonic particles on a two-dimensional plane. Furthermore, he showed the proposal is inherently robust to local perturbations (arXiv:cond-mat/0010440, arXiv:quant-ph/9707021, arXiv:1001.0344, arXiv:1001.4363) when anyons are created as quasiparticle excitations of a topologically ordered lattice model prepared at zero temperature. Over the decades following this proposal there have been considerable technological developments towards the construction of a fault-tolerant quantum computer. Rather than maintaining some target ground state at zero temperature, a modern approach is to actively correct the errors a target state experiences, where we use noisy quantum circuit elements to identify and subsequently correct for deviations from the ideal state. We present an error-correction scheme that enables us to carry out robust universal quantum computation by braiding anyons. We show that our scheme can be carried out on a suitably large device with an arbitrarily small failure rate assuming circuit elements are below some threshold level of local noise. The error-corrected scheme we have developed therefore enables us to carry out fault-tolerant topological quantum computation using modern quantum hardware that is now under development.

Shomrik Bhattacharya forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “The Fundamental Group of the Complement of the Wobbly Divisor in the Intersection of Two Quadrics”.Lektor Fabian Haiden vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i IMADA Konferencelokale (Ø18-509-2).Alle er velkomne.

Yuki Matsubara forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “A Study of Moduli Spaces of Parabolic Connections and Geometric Langlands Correspondence”.Lektor Fabian Haiden vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i U146 (Ø15-501a-2).Alle er velkomne.

Jonas Vistrup forsvarer sin ph.d.-afhandling ved et offentligt foredrag: “Explainable AI and the Law: Expert Systems for Danish Traffic Law”.Lektor Tariq Yousef vil være ordstyrer ved arrangementet. Ph.d.-forsvaret finder sted i U48A (Ø4-602-2).Alle er velkomne.

Poster Session og oplæg

Kom og vær med til 2 x 20 min. inspirerende foredrag, mens du nyder en gratis "afslappet after-work" øl med dine medstuderende, kollega eller lærer.Til denne IMADA Talk kan du møde postdoc Xueying Qin (emne: Using LLMs in Lean 4: The Next Stage of Proof Automation) og lektor Lars Rohwedder (emne: AI for Math and TCS Research: A User's Perspective).

Speaker: Pallav Goyal (​University of Southern Denmark).Abstract: TBA

Speaker: Shing Tak Lam (​University of Warwick).Abstract: TBA

Studerende udvikler en bred vifte af kompetencer gennem deres uddannelse, men de er ikke altid selv bevidste om alt det, de bliver bedre til undervejs.