What Is "Quantum" About Quantum Computing?

on YouTube ↗01h 01m

" summary

Starts from a sound, complete reversible classical language and proves that adding three concrete ingredients — a square root of NOT operator, a finite clock of phases (ζ with ζ^4 = 1) and one algebraic equation relating them — yields a discrete, exact language that is dense in the unitaries. It shows O(log T) bits precision suffices for T-step runs, compiles and runs a Shor-style factor-15 example (slow but functional), and proves universality while acknowledging alternative cube-root axioms and open questions about quantum advantage.

AI-written summary · about

" chapters (15)

1. 0:00Introduction
2. 1:48Classical plus quantum
3. 3:31Quantum algorithms overview
4. 13:51Personal journey
5. 19:49Classical reversibility
6. 23:01Physical computing principles
7. 24:25Reversible programming
8. 32:10What makes quantum unique
9. 35:21Quantum axioms defined
10. 41:08Intuition behind axioms
11. 44:42Quantum primitives in code
12. 48:38Reversibility in classical
13. 50:41Quantum speedup questions
14. 51:46Summary and future
15. 52:29Q&A

" related talks

• 01h 02mQuantum Computing ConceptsJohn Azariah · NDC Copenhagen 2019
• 41mQuantum ComputingJessica Pointing · Devnexus 2020
• 30mQuantum Computing for Programming Languages ResearchersJennifer Paykin · PLanQC 2020
• 22mQbC: Quantum Correctness by ConstructionAnurudh Peduri, Ina Schaefer, Michael Walter · PLanQC 2024
• 43mQuantum Hello World, Understanding Quantum Computing TodayTimothy Serewicz · Open Source Summit Europe 2022
• 13mQbC: Quantum Correctness by ConstructionAnurudh Peduri, Ina Schaefer, Michael Walter · OOPSLA 2025
• 15mToward A Quantum Programming Language for Higher Level Formal VerificationFinn Voichick · PLanQC 2021
• 28mA type-theoretic account of quantum computation (Extended Abstract)Jacques Garrigue, Takafumi Saikawa · TyDe 2023