跳转至

量子计算系统知识库 - 数学符号与物理单位约定

版本: 1.0 创建日期: 2026-01-12 维护团队: 系统架构组

📚 文档导航

欢迎访问量子计算系统知识库的**数学符号与物理单位约定**模块。本模块建立全系统的数学语言规范，特别关注：

🎯 核心问题

本模块解决了您关注的三个关键问题：

  1. 单位制选择：明确使用国际单位制 (SI) 还是自然单位制 (ħ=1)
  2. Pauli矩阵表示：规定 Pauli 矩阵 σ_x 是否等同于逻辑门 X（相位因子问题）
  3. 旋转方向约定：规定 R_z(θ) 是 e^{-iθσ_z/2} 还是 e^{-iθσ_z}（Qiskit vs 物理教材）

🗂️ 核心文档

文档 核心内容 适用对象 快速链接
01_单位制约定 SI vs 自然单位制(ħ=1)，转换公式，层级化使用规范 全员 查看文档
02_数学符号约定 Pauli矩阵、旋转门、全局相位、算符与门的映射 研究人员/开发者 查看文档
03_符号冲突消解指南 识别冲突、消解流程、实战案例、预防机制 跨团队协作 查看文档

🚀 快速开始

场景1: 我是一名新成员，如何快速上手？

推荐阅读顺序: 1. 02_数学符号约定 - 了解Pauli矩阵和旋转门的定义 2. 01_单位制约定 - 理解何时使用SI或自然单位制 3. 03_符号冲突消解指南 - 学习如何避免常见错误

时间投入: 约1.5小时 目标: 能够正确使用数学符号和单位

场景2: 我遇到了旋转门定义不一致的问题

问题描述: 

文献: R_z(θ) = exp(-iθσ_z/2)
代码: R_z(θ) = exp(-iθσ_z)  (?)
结果: 旋转角度差2倍！

解决步骤: 1. 查阅标准定义: - 02_数学符号约定 - §2.1 - 本知识库采用: R_z(θ) = exp(-iθσ_z/2)

  1. 验证框架一致性:
  2. Qiskit ✅ 一致: qc.rz(theta, qubit) 使用 exp(-iθσ_z/2)
  3. Cirq ✅ 一致: cirq.rz(rads=theta) 使用 exp(-iθσ_z/2)

  4. Qibo ✅ 一致: gates.RZ(qubit, theta) 使用 exp(-iθσ_z/2)

  5. 处理不同文献:

  6. 如果文献使用 R_z(θ) = exp(-iθσ_z)
  7. 转换公式: θ_本知识库 = 2θ_文献

示例: 

# 文献中的角度
theta_paper = np.pi/4  # 文献使用 exp(-iθσ_z)

# 转换为本知识库标准
theta_standard = 2 * theta_paper  # exp(-iθσ_z/2)

# 应用到代码
qc.rz(theta_standard, 0)  # Qiskit

场景3: 我不确定使用SI单位制还是自然单位制

决策树:

你的工作涉及实验测量吗？
├─ 是 → 使用 SI 单位制
│   ├─ L1-L2 层（物理硬件）: 必须用 SI
│   ├─ 实验报告: 必须用 SI
│   └─ 工程文档: 必须用 SI
│
└─ 否 → 使用自然单位制 (ħ=1)
    ├─ L5-L6 层（软件编程）: 用自然单位制
    ├─ 理论推导: 用自然单位制
    └─ 算法分析: 用自然单位制

详细指南: 01_单位制约定 - §2

💡 核心约定速查

1. 旋转门定义（⭐ 最重要）

符号 定义 矩阵形式 与框架的对应
R_x(θ) e^{-iθσ_x/2} [[cos(θ/2), -i·sin(θ/2)], [-i·sin(θ/2), cos(θ/2)]] Qiskit ✅, Cirq ✅, Qibo ✅
R_y(θ) e^{-iθσ_y/2} [[cos(θ/2), -sin(θ/2)], [sin(θ/2), cos(θ/2)]] Qiskit ✅, Cirq ✅, Qibo ✅
R_z(θ) e^{-iθσ_z/2} [[e^{-iθ/2}, 0], [0, e^{iθ/2}]] Qiskit ✅, Cirq ✅, Qibo ✅

关键特性: - θ 单位: 弧度 (rad) - 正 θ: 逆时针旋转（右手定则） - 旋转 2π: 返回 -|ψ⟩（全局相位）

2. Pauli 矩阵 vs 量子门

概念 符号 定义 使用场景
Pauli 算符 σ_x, σ_y, σ_z 物理算符 理论文档
量子门 X, Y, Z 逻辑操作 代码实现
关系 X ≡ σ_x 忽略全局相位 单量子门测量

相位问题: 

✅ 本知识库约定: X ≡ σ_x（忽略全局相位）

理由：
1. 全局相位不影响测量结果
2. 与主流框架一致（Qiskit, Cirq, Qibo）
3. 公式简洁

⚠️ 注意：受控门必须明确定义，不能从单量子门推断

3. 单位制使用

层级 推荐单位制 原因 示例
L1-L2 SI 单位制 与实验仪器一致 f = 5.2 GHz, T = 15 mK
L3-L4 混合使用 控制参数用 SI，纠错参数无量纲 τ = 20 ns, d = 7
L5-L6 自然单位制 (ħ=1) 与框架一致，代码简洁 qc.rz(theta, 0)
L7 自然单位制 + SI 复杂度用自然单位制，运行时间用 SI O(n³), t = 45 μs

4. 常见陷阱（⚠️ 必读）

陷阱 错误示例 正确做法 影响
旋转门参数顺序 gates.RZ(np.pi/2, 0) (Qibo) gates.RZ(0, np.pi/2) 程序崩溃或静默错误
量子比特顺序 直接复制多量子比特态 明确大端序/小端序 态表示相反
单位混用 H = ωσ_z/2 (SI) H = ħωσ_z/2 (SI) 或 H = ωσ_z/2 (自然) 数值差 10³⁴ 倍
全局相位 CX 从 X 推断 CX 必须明确定义 受控门错误
旋转门定义 混用不同定义 统一使用 exp(-iθσ_z/2) 角度差 2 倍

🔍 详细索引

按问题类型查找

单位制问题: - 01_单位制约定 - §1 单位制定义 - 01_单位制约定 - §3 单位转换规则 - 03_符号冲突消解指南 - §2.2

Pauli矩阵与门: - 02_数学符号约定 - §1 Pauli矩阵与量子门的约定 - 02_数学符号约定 - §1.4 相位因子问题

旋转门问题: - 02_数学符号约定 - §2 旋转门的约定 - 02_数学符号约定 - §2.2 与主流框架的对比 - 03_符号冲突消解指南 - §1.1 旋转门定义冲突

全局相位问题: - 02_数学符号约定 - §3 全局相位约定 - 03_符号冲突消解指南 - §2.1 全局相位处理冲突

按框架查找

Qiskit: - 02_数学符号约定 - §5.1 Qiskit 符号 - 01_单位制约定 - §5.1 Qiskit 单位约定

Cirq: - 02_数学符号约定 - §5.2 Cirq 符号

Qibo: - 02_数学符号约定 - §5.3 Qibo 符号

PennyLane: - 02_数学符号约定 - §5.4 PennyLane 符号

按层级查找（L1-L7）

L1-L2: 物理硬件层: - 01_单位制约定 - §2.2 L1-L2 层 - 单位: SI（f=GHz, T=μs, T=mK, B=T）

L3-L4: 控制与纠错层: - 01_单位制约定 - §2.2 L3-L4 层 - 单位: 混合（控制参数用 SI，纠错参数无量纲）

L5-L6: 软件与编程层: - 01_单位制约定 - §2.2 L5-L6 层 - 单位: 自然单位制（ħ=1），角度用弧度

L7: 算法应用层: - 01_单位制约定 - §2.2 L7 层 - 单位: 自然单位制（复杂度）+ SI（运行时间）

📊 快速参考表

单位转换

转换类型 公式 示例
能量 → 频率 ω = E/ħ E=5.27×10⁻²⁵ J → ω=5 GHz
频率 → 能量 E = ħω ω=5 GHz → E=5.27×10⁻²⁵ J
能量 → 温度 T = E/k_B E=5.27×10⁻²⁵ J → T≈240 mK
温度 → 能量 E = k_B T T=15 mK → E≈0.33 GHz×ħ
时间 → 频率 f = 1/(2πτ) τ=100 μs → f≈1.6 kHz

符号对照

概念 理论符号 代码表示 Qiskit Cirq Qibo
Pauli-X σ_x / X X() x() X X()
Z 旋转 R_z(θ) RZ() rz() rz() RZ()
量子态 ψ⟩ psi Statevector -
密度矩阵 ρ rho DensityMatrix -
张量积 ⊗ np.kron() ^ * -

🛠️ 使用检查清单

文档编写检查

□ 开头明确说明单位制（SI 或自然单位制）
□ 旋转门定义明确（R_z = exp(-iθσ_z/2)）
□ Pauli 矩阵与门的关系说明
□ 全局相位约定说明
□ 所有物理量标注单位
□ 角度单位为弧度（或明确说明）
□ 多量子比特态说明顺序（大端序/小端序）
□ 跨框架代码说明参数顺序

代码编写检查

□ 文档字符串说明使用的约定
□ 参数顺序与框架一致
□ 单位制明确（SI 或自然单位制）
□ 角度使用弧度
□ 变量名清晰（omega 不是 omega_times_hbar）
□ 转换函数有明确注释
□ 关键数值验证合理性

🔄 版本历史

版本 日期 更新内容
1.0 2026-01-12 初始版本发布，建立3核心文档框架

🤝 贡献指南

如何报告符号冲突？

如果您发现新的符号冲突或不一致: 1. 记录冲突场景、涉及的文献或框架 2. 说明实际影响（计算错误/理解偏差等） 3. 提出消解建议 4. 提交到符号管理团队

如何申请新约定？

  1. 检查现有文档是否已有相关规定
  2. 准备约定定义、使用场景、与现有约定的关系
  3. 说明重要性和必要性
  4. 提交给符号管理团队评审

📞 联系方式

符号管理团队: notation-standards@quantum-kb.example.com 冲突提交: https://github.com/quantum-kb/notation/issues 定期讨论会: 每月第一个周三, 15:00-16:00

📚 外部参考

标准

  • IEEE Standard for Quantum Computing Notation (讨论中)
  • SI Brochure: https://www.bipm.org/en/si-brochure/
  • NIST CODATA: https://physics.nist.gov/cuu/Constants/

框架文档

  • Qiskit: https://qiskit.org/documentation/
  • Cirq: https://quantumai.google/cirq
  • Qibo: https://qibo.readthedocs.io/
  • PennyLane: https://pennylane.ai/

让符号清晰，让计算正确！

如有任何问题或建议，欢迎联系符号管理团队。