Big update: the EC Zoo is now a handbook. It spans codes, sphere packings, lattices, designs, groups, and phases of matter. Extensively checked, but not perfect—feedback very welcome:
arxiv.org/abs/2606.11484
I signed this today. I'm sceptical of the blind trust of people in LLMs, and I don't think LLMs will replace me as a researcher, teacher, and mentor. At the same time, I want to be open to new technologies and see whether and how we can use them fruitfully in our research and teaching.
New blog post out! ✨
I give here a visual introduction to algebraic topology in the context of quantum error correction. You will learn about manifolds, cellulations, chain complexes, and their relation to CSS codes like the surface code. Enjoy! :)
arthurpesah.me/blog/2026-05...
Lecturer/Senior Lecturer/Associate Professor in Quantum Computing Theory at University of Bristol www.bristol.ac.uk/jobs/find/de...
This terrific article by Siobhan Roberts could help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. www.nytimes.com/2026/06/02/s...
Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Er...
PhD opportunity in QIT in Grenoble.
I am advertising a project through the QuanG2 call, at the interface of nonlocality, self-testing, computationally bounded devices, complexity, and crypto.
My project is among the topics offered:
phdquantumgrenoble.univ-grenoble-alpes.fr/phd-applicat...
Error Correction Zoo
Two thoughtful write-ups about AI & math:
* "Use of AI in mathematical research: A guide for young mathematicians" by Pavel Etingof
math.mit.edu/~etingof/aiu...
* "What does AI do for the working mathematician?" by Krystal Guo
krystalguo.com/blog/ai-math...
The goal was to expose them to some of the quantum nonsense that's out there (thank you @dulwichquantum.bsky.social), help them understand the incentives of all the parties involved, and teach them critical thinking skills. I hope this will be helpful in their future careers!
I've been running a Lean seminar at CWI/UvA for some time. We now started formalizing Appleby's result on the structure of the single-qudit Clifford group. Here's the blueprint and GitHub repository in case you're interested.
marozols.github.io/clifford-pro...
github.com/marozols/cli...
