AI 中文总结
本讲义提出四种量子电路解读方式，从基础示例出发，结合ZX演算、量子纠错等内容，探索为量子电路赋予几何层的方法，无需相关先验知识。
AI 中文摘要
本讲义发展了四种相互关联的量子电路解读方式：对我们而言，电路最初是门的操作组合，之后成为可利用局部等式进行计算的图，在将错误、症候群与逻辑自由度分离后成为受保护的过程，最后在将其连通性、拓扑与边界数据视为物理设计参数时成为几何对象。内容从比特与量子比特层面展开，以Deutsch算法与Grover算法作为量子电路的基础示例。掌握基础后，我们对量子电路进行图解阐释，引出紧致闭弦图与ZX演算。随后，我们考虑如何通过引入Knill–Laflamme条件、同调表面码及相关概念来纠正量子电路，将这些视为对图的操作。讲座最终涉及双曲量子码的性质，以及物理超导电路模拟支撑这些码所需负曲率晶格的前景。这些数学思想与物理实验共同构成了为量子电路赋予几何层的一种方式。最后，我们评估这些器件物理实验在多大程度上实现了早期遇到的基础ZX图，形成闭环。尽管后续内容报告了原创研究，且讨论随章节推进愈发数学，但实际上未要求具备量子信息、量子计算或量子纠错的先验知识。
英文摘要
These notes develop four interconnected ways of reading a quantum circuit. A circuit for us begins as an operational composition of gates; then, it becomes a diagram whose local equalities may be used as calculations; next, it becomes a protected process once errors, syndromes, and logical degrees of freedom are separated; and finally, it becomes geometric when its connectivity, topology, and boundary data are treated as physical design parameters. The development begins at the level of bits and qubits before appealing to Deutsch's and Grover's algorithms as basic examples of quantum circuits. With the basics in hand, we interpret quantum circuits diagramatically, leading us to compact closed string diagrams and the ZX-calculus. After that, we consider how to correct quantum circuits by introducing the Knill--Laflamme condition, homological surface codes, and related concepts with a view towards thinking of these as operations on diagrams. The lectures eventually arrive at the properties of hyperbolic quantum codes and the prospect of physical superconducting circuits emulating the negatively-curved lattices needed to support those codes. These mathematical ideas and physical experiments, taken together, represent one way to impart a geometric layer onto quantum circuits. By the very end, we bring the ideas nearly full circle by assessing the extent to which these device physics experiments operationalize the basic ZX diagrams encountered much earlier in the story. While the later material reports on original research, and while the discussion becomes increasingly mathematical as the sections progress, no prior knowledge of quantum information, quantum computing, or quantum error correction is actually assumed.
Comments75 pages, 26 figures (incl. cover figure), 10 tables; based on a four-lecture series delivered by the author during the Niels Bohr Quantum Summer School in Odense, DK, 10-13 August 2026
