完整文档¶ English · 简体中文 这一部分解释 oracq 的设计与使用规则。阅读顺序从操作、寄存器和 oracle 开始,再进入算法及领域应用。每章可以独立查阅;详细对象定义见 API 参考。 安装与环境 可选后端 构建文档 操作、寄存器与生成过程 寄存器与视图 模块与未完成的实现 精度与数学前提 源码结构 基础设施 算法库 领域应用 兼容与迁移 Oracle 与算子表示 归一化常数 数据字与幅度 开放 oracle QRAM 数据结构:指针、偏移与随机写 指针与读 多维视图 随机写 能力一览 量子数据结构与 KP 推荐系统 QVector:qsample 向量 QMatrix:sample-and-query 矩阵 KP 量子推荐系统 QFVM 的 QMem 直连路径 算法自己的约定:从一个 gate 开始 1. 协议与算法生成器 2. 一个 gate 同时是 unitary、state preparation 和 LCU 输入 3. QLSS 直接接收这个 gate 作为 b 4. A 的参数从哪里读 5. 不继承 oracq,也可以提供新输入 6. Hermitian、Trotterizable 与 QSP 分别表示什么 7. LCHS、Schrödingerization 各自负责约定 8. requires、报告、绑定各做一件事 9. 运行与工程边界 实现 QPDE/QODE:多种输入范式、可替换 oracle 与 protocol 1. 从 PDE 到线路的分工 2. 三种对象、三个替换位置 3. Given oracle 应当允许哪些 input paradigm 4. LCHS:从输入到完整生成函数 5. Schrödingerization:辅助坐标也保留为寄存器 6. Carleman:把非线性写成多线性输入端口 7. 一个线性 QPDE 如何替换 solver 8. 分批绑定:何时替换 oracle,何时重新生成 9. 输出语义、参数与验证责任 10. 运行与验证 数值验证 普通数学函数自动生成可逆量子模块 已实现的数学范围 近似与状态 中间表示与后端 命令行与案例 数值验证 QFVM 输入模型与求解器替换 数据与量子访问 构造问题 替换 QLSS 输出与范数 实现逐行讲解(含 QRAM 数据结构) 数值验证 QMem 直连并行路径 一般 QHAM 自动生成:PDE → HAM → QCL → QODE 1. “一般性”的明确范围 2. 自动推导到底生成什么 3. 两层可序列化表示 4. 如何降低到 register-level 量子模块 5. 初态不能逐块随便归一化 6. 进入 QODE 的 input model 7. 保留未完成的实现 8. 自动推导小程序 9. 验证与实现边界 10. 数值验证 11. QRAM 数据路径逐行讲解 QCNN 逐行实现讲解 1. 端到端最小示例 2. 经典基底逐行(qcnn.py) 3. 量子构件逐行(qcnn_layer.py) 4. 验证矩阵(全部通过) 导出与执行后端 OriginIR-ext PySparQ 参考执行器 读出 资源估计(Toffoli+Clifford+T+QRAM) 概述 接口 适用边界与已知差距 数值验证 命令行 绑定实现 开放与闭合资源分析 执行 数学函数与 QHAM 导入路径迁移 拆分的旧入口 文件格式 算法接口命名与资源台账 适用范围与验证状态 规模限制 数学声明 结果与读出