这个站在做什么
量子算术不是一个孤立的子领域，而是量子计算里唯一一个每个方向都要用到的公共设施。Shor 需要模幂，于是需要模加法、模归约、进位链；振幅放大需要相位估计，于是需要受控旋转的精确合成；哈密顿量模拟需要时间演化，于是需要指数化；量子机器学习需要内积，于是需要 Hadamard 检验的算术实现。不同方向的人各写各的算术线路，各用各的记法，各报各的成本口径，于是”这个加法器到底贵不贵”这种本该简单的问题，反而成了一个需要读十篇论文才能对齐口径的难题。
本站的目标是把这些线路放到同一套表示、同一套约定下，让跨论文的成本比较重新变得可能。
内容边界
收录：数态量子算术线路的构造与资源分析（加法、模运算、乘法、模幂、QFT 家族），这些算术的数值格式层——定点与浮点编码如何决定四则运算的线路形状（见数值格式卷）——以及支撑它们的经典可逆计算理论：可逆门集、Bennett 嵌入与折中、可逆逻辑综合（见经典可逆计算与编译卷）。此外还包括这些算术在线路层面如何被下游算法消费（振幅放大、计数、模拟、机器学习），以及连续变量 / 玻色子架构提供的算术原语与它们与线路之间的差距。
不收录：量子纠错码本身的理论（见量子纠错码百科）、面向具体硬件的通用编译器与脉冲层话题（见量子计算百科；本站只在”可逆编译”这一层收录与算术直接相关的部分）、以及任何非公开文献。
取材与引用纪律
本站有一条比”多收论文”更重要的原则：宁可少收，也不写错。
调研阶段发现，凭记忆写出的 arXiv 编号有相当高的比例是错的——实测中，一个常见的玻色量子加法器文献编号实际指向一篇认知无线电论文；一个 Karatsuba 乘法器的编号实际是一篇高分子物理的能带重整化论文；一篇被广泛引用的”无界 fan-out 与乘法除法线路”论文，真实标题其实是”Quantum Fan-out is Powerful”。这些错误在二手综述里被反复复制，传播了十几年。
因此本站的流程是：
- 每一条文献都通过 arXiv API、Crossref 或 DataCite 的实时响应确认标题、作者、年份、期刊与编号；
- 调研底稿分”已核验”与”未核实”两栏，后者不得进入正文；
- 正文里遇到重要但无法核实的说法，就直接讲那个数学事实而不给引用，并在该卷里标明这是文献空白。
按这条规则，本站会明确写出”文献里减法就是 negadd，没有独立的减法线路论文”、“连续变量的量子加法器论文实质不存在”、“精确 Newton–Raphson 整数模除法本轮未能核实”——把空白写清楚，比用一篇似是而非的引用填满更有用。
线路图的约定
全站线路图由本站自建的统一量子线路表示渲染，不贴外部图片。这个表示是一个 JSON 对象，配套一个通用 SVG 渲染器，在构建期编译成静态图——文章本身不携带任何线路相关的客户端脚本，浏览器里 Ctrl+F 能搜到图中的门标签，明暗主题切换不需要重绘。
同一份渲染器代码也驱动一个交互式试验台（/static/qcircuit/playground.html）：左栏编辑、右栏实时渲染。因此试验台里画得出来的线路，构建一定画得出来。
全站统一采用大端线序（最上面的线是最高位），进位从低位向高位传播。读图自检清单见比特序与寄存器约定。
站群
本站与量子计算百科、量子纠错码百科、量子点百科、中性原子百科、QRAM 百科、量子 CFD 百科同属 chenzhaoyun.com 站群，内容相互独立。