量子计算系统知识库 - 语义锚点 (Semantic Anchors)¶
文档版本: 1.0 创建日期: 2026-01-12 维护者: 系统架构组 状态: 活跃
文档目的¶
本文档建立量子计算知识库的核心**语义锚点**，为跨层级、跨技术路线的协作提供统一定义基础，消除灾难性歧义。
语义锚点的核心原则： - 每个术语有**唯一、明确、可验证**的定义 - 区分**物理实现**与**抽象概念** - 明确术语的**适用层级**和**上下文** - 提供**度量标准**和**测试方法**
核心语义锚点¶
1. 量子比特 (Quantum Bit - Qubit)¶
标准定义¶
量子信息的基本单位，是一个二维量子系统，能够在叠加态中存储和处理信息。
关键区分¶
| 术语 | 英文 | 定义 | 示例 |
|---|---|---|---|
| 物理量子比特 | Physical Qubit | 硬件层面实际实现的量子载体 | 超导transmon电路、单个囚禁离子 |
| 逻辑量子比特 | Logical Qubit | 通过纠错编码保护的抽象量子比特 | 表面码逻辑比特、7个物理比特编码1个逻辑比特 |
| 软件量子比特 | Virtual/Abstract Qubit | 算法层面未映射到硬件的抽象比特 | 量子算法中的10个量子比特变量 |
度量标准¶
- 相干时间: T₁ (能量弛豫) / T₂ (退相位)
- 门保真度: 单比特门 / 两比特门
- 读出保真度: 测量结果正确率
使用规范¶
- 描述硬件性能时必须说明"物理量子比特"
- 描述算法资源时必须说明"逻辑量子比特"或"量子比特总数"
- 混合使用场景需明确标注类型
2. 量子门 (Quantum Gate)¶
标准定义¶
对量子比特执行酉变换(Unitary Transformation)的基本操作单元，是量子电路的组成模块。
关键区分¶
| 门类型 | 实现方式 | 典型平台 | 门时间 |
|---|---|---|---|
| 微波门 | 微波脉冲控制 | 超导 | 10-100 ns |
| 激光门 | 激光脉冲操控 | 离子阱、中性原子 | 0.1-10 μs |
| 光学门 | 线性光学元件 | 光量子 | 飞秒-皮秒级 |
| 虚拟Z门 | 软件相位更新 | 全平台 | 0 (虚拟) |
度量标准¶
- 门保真度: 实际操作与理想操作的接近程度
- 门时间: 单次门操作的物理时间
- 相干性: 是否保持量子相干性
使用规范¶
- 报告门性能必须同时说明：保真度、门时间、错误率
- 区分"原生门"(Native Gate)与"编译后门"(Compiled Gate)
- 标注门的物理实现类型
3. 耦合 (Coupling)¶
标准定义¶
量子系统之间建立相互作用以实现量子信息传递和纠缠的机制。
关键区分¶
| 耦合类型 | 物理机制 | 典型平台 | 连接范围 |
|---|---|---|---|
| 电容耦合 | 电容相互作用 | 超导 | 近邻(固定) |
| 电感耦合 | 电感相互作用 | 超导 | 近邻(可调) |
| 库伦耦合 | 库伦力 | 离子阱 | 全连接 |
| 范德瓦尔斯耦合 | 范德瓦尔斯力 | 中性原子 | 可编程 |
| 光纤耦合 | 光子干涉 | 光量子 | 按需连接 |
度量标准¶
- 耦合强度: 相互作用能级 (MHz/GHz)
- 连接拓扑: 全连接 / 近邻 / 可编程
- 可调性: 固定 / 可调 / 动态重构
使用规范¶
- 必须说明耦合的物理机制
- 明确连接拓扑(全连接/近邻)
- 说明是否可调及调节范围
4. 保真度 (Fidelity)¶
标准定义¶
量子态或操作与理想目标状态的接近程度，取值范围为[0,1]，1为完全一致。
关键区分¶
| 保真度类型 | 定义 | 测试方法 | 典型值 |
|---|---|---|---|
| 态保真度 | 制备态与目标态的重叠度 | 量子态层析 | 0.99+ |
| 门保真度 | 实际门与理想门的接近度 | 随机基准测试(RB) | 0.99+ (单门), 0.95+ (两门) |
| 读出保真度 | 测量结果正确率 | 重复测量统计 | 0.95+ |
| 纠缠保真度 | 纠缠态质量 | CHSH不等式/态层析 | 0.90+ |
度量标准¶
- 计算公式: F = |⟨ψ_target|ψ_actual⟩|²
- 错误率: ε = 1 - F
- 基准阈值: 容错计算要求 F > 0.99 (表面码约0.999)
使用规范¶
- 必须明确保真度类型
- 报告测试方法(RB/层析等)
- 提供置信区间和样本数
5. 噪声 (Noise)¶
标准定义¶
导致量子系统偏离理想演化的不期望的干扰和误差。
关键区分¶
| 噪声类型 | 物理来源 | 典型模型 | 影响对象 |
|---|---|---|---|
| 热噪声 | 环境热涨落 | 热库模型 | 相干时间T₁ |
| 控制噪声 | 控制信号抖动 | 高斯噪声/相位噪声 | 门保真度 |
| 测量噪声 | 探测器不完美 | 读出错误混淆矩阵 | 读出保真度 |
| 串扰噪声 | 比特间干扰 | 交叉耦合矩阵 | 多比特门 |
| 漏噪声 | 能级泄漏 | 非计算空间跃迁 | 门保真度 |
度量标准¶
- 噪声谱密度: 单边/双边谱
- 关联时间: 马尔可夫性/非马尔可夫性
- 空间相关性: 独立/相关噪声
使用规范¶
- 明确噪声类型和物理来源
- 说明噪声模型(泡利噪声/去极化/幅度阻尼)
- 提供噪声参数(错误率p₁/p₂)
6. 相干时间 (Coherence Time)¶
标准定义¶
量子态保持量子相干性的特征时间尺度。
关键区分¶
| 参数 | 物理意义 | 测方法 | 典型值(超导) |
|---|---|---|---|
| T₁ | 能量弛豫时间 | 反转恢复 | 50-150 μs |
| T₂ | 退相位时间 | Ramsey干涉 | 20-100 μs |
| T₂* echo | 去环境退相干 | Hahn回波 | 50-200 μs |
| T₂* CPMG | 去低频噪声 | CPMG序列 | 100-300 μs |
度量标准¶
- 测量方法: 指数拟合 F(t) = A·exp(-t/T) + B
- 基准要求: T₂/T₁ > 0.5 (高质量)
- 门时间比: T₁ / t_gate > 1000 (高保真)
使用规范¶
- 必须区分T₁和T₂
- 说明测量方法(Ramsey/回波)
- 标注温度和环境条件
7. 纠错码 (Quantum Error Correction Code)¶
标准定义¶
通过编码将逻辑量子比特分布到多个物理量子比特上，实现错误检测和纠正的数学结构。
关键区分¶
| 纠错码 | 编码距离 | 物理比特数 | 适用平台 | 优势 |
|---|---|---|---|---|
| 表面码 | d | ~2d² | 超导 | 阈值高(~1%), 近邻连接 |
| 量子LDPC码 | d | O(n) | 离子阱 | 高效率, 全连接 |
| 融合码 | d | 可变 | 光量子 | 高速率, 测量free |
| 擦除码 | d | O(d log n) | 中性原子 | 利用已知错误位置 |
度量标准¶
- 编码距离: 可纠正t = ⌊(d-1)/2⌋个错误
- 开销比: 物理比特/逻辑比特
- 阈值: 容错运行的物理错误率要求
- 逻辑错误率: ε_L ∝ (p/p_th)^(d/2)
使用规范¶
- 明确码类型和距离
- 说明物理资源开销
- 报告阈值和运行条件
8. 编译 (Quantum Compilation)¶
标准定义¶
将高级量子程序转换为硬件可执行指令序列的全过程，包括映射、优化和调度。
关键区分¶
| 编译阶段 | 输入 | 输出 | 典型技术 |
|---|---|---|---|
| 算法编译 | 量子算法 | 量子电路 | 门分解、优化 |
| 硬件映射 | 抽象电路 | 拓扑适配电路 | 初始映射、重排序 |
| 脉冲编译 | 门序列 | 脉冲波形 | 脉冲整形、校准 |
| 最优控制 | 哈密顿量 | 时序控制 | GRAPE、CRAB |
度量标准¶
- 编译时间: 秒级(离线)/毫秒级(在线)
- 电路深度: 门层数
- 门数量: 总门数(单门/两门)
- 保真度损失: 编译前后保真度差异
使用规范¶
- 明确编译阶段和层次
- 说明优化目标和约束
- 报告编译时间和质量指标
9. NISQ vs FTQC¶
标准定义¶
| 模式 | 全称 | 核心特征 | 典型应用 |
|---|---|---|---|
| NISQ | Noisy Intermediate-Scale Quantum | 深度电路错误率高, 无纠错, 50-1000物理比特 | 变分算法(VQE/QAOA)、量子机器学习 |
| FTQC | Fault-Tolerant Quantum Computing | 逻辑纠错, 阈值以上, 10⁶+物理比特 | Shor算法、量子化学、大数分解 |
关键区分¶
- 错误率: NISQ (10⁻²-10⁻³) vs FTQC (<10⁻¹⁵ 逻辑错误率)
- 比特需求: NISQ (50-1000物理) vs FTQC (10⁶+物理)
- 算法类型: NISQ (变分/浅电路) vs FTQC (深度电路)
- 应用时间: NISQ (现在-2030) vs FTQC (2035+)
使用规范¶
- 明确使用场景和假设
- 说明物理/逻辑比特数量
- 标注错误率和纠错策略
10. 混合量子-经典计算 (Hybrid Quantum-Classical Computing)¶
标准定义¶
量子处理器和经典处理器协同工作，交替执行量子操作和经典优化以求解问题。
架构类型¶
| 类型 | 量子角色 | 经典角色 | 典型算法 |
|---|---|---|---|
| 变分混合 | 准备态/测量 | 参数优化 | VQE、QAOA |
| 异步混合 | 子程序调用 | 主控制 | 量子蒙特卡洛、QML |
| 流水线混合 | 加速器 | 数据预处理/后处理 | 量子增强求解器 |
度量标准¶
- 通信开销: 量子-经典数据传输延迟
- 收敛速度: 达到最优值的迭代次数
- 加速比: 相比纯经典算法的加速
使用规范¶
- 明确混合架构类型
- 说明量子-经典接口
- 报告通信开销和加速比
跨层级语义映射¶
层级间的术语对应关系¶
| L1-基础设施 | L2-物理比特 | L3-控制 | L4-纠错 | L5-软件 | L6-编程 | L7-算法 |
|---|---|---|---|---|---|---|
| 制冷系统 | transmon | 微波线 | 表面码 | Qiskit | OpenQASM | VQE |
| 真空腔 | 离子 | 激光AOM | LDPC码 | TKET | Q# | QAOA |
| 光纤网络 | 光子 | 相移器 | 融合码 | Cirq | qiskit | Grover |
| 磁体 | 里德堡原子 | SLM/AOD | 擦除码 | qulacs | PennyLane | Shor |
术语使用上下文表¶
| 术语 | L1-2物理 | L3-4系统 | L5-6软件 | L7应用 |
|---|---|---|---|---|
| "比特" | 物理量子比特 | 原子/电路 | 变量名 | 算法资源 |
| "门" | 微波/激光门 | 逻辑门 | 逻辑门指令 | 算法原语 |
| "时间" | 纳秒/微秒 | 门周期/延迟 | 电路深度 | 复杂度 |
| "错误" | 热/控制噪声 | Pauli/漏错误 | 误差模型 | 噪声假设 |
语义验证检查表¶
使用这些语义锚点时，请完成以下检查：
- 术语明确: 使用了本文档中的标准术语
- 类型区分: 明确区分物理/逻辑/软件概念
- 上下文标注: 说明术语的适用层级和平台
- 度量标准: 提供可验证的度量参数
- 对比基准: 与同类系统或理论基准对比
- 歧义消除: 消除了可能导致误解的模糊表述
版本历史¶
| 版本 | 日期 | 修改内容 | 作者 |
|---|---|---|---|
| 1.0 | 2026-01-12 | 初始版本，建立10个核心语义锚点 | 系统架构组 |
扩展指南¶
新增语义锚点的流程: 1. 提出候选术语及使用场景 2. 检索现有文献中的定义冲突 3. 起草标准定义和区分维度 4. 提出度量标准和测试方法 5. 在团队中评审和迭代 6. 发布到本知识库并记录版本
术语争议解决: - 优先参考顶级会议论文(QIP/APS/IEEE) - 不同技术路线应并列说明而非强行统一 - 保持定义的数学严谨性 - 提供具体示例和反例