机制与记号回顾:单元合同、线段树与检索原语
设待装载矩阵 (复值见推导三),展平为长度 的条目序列 ,目标态是振幅编码
其中 。地址宽 ,输出寄存器 比特。
Berti & Ghisoni 2025 把 BB-QRAM 硬件模型与经典线段树(作者明确指出其与 KP-tree 等价、仅记法不同)结合:兄弟节点对打包进同一 BBQRAM 单元(每单元 比特:符号位+两个 比特平方范数),配合 受控旋转级联完成编码。定理 5:态制备时间 ——把 KP-tree 此前未指明的 收紧为显式 ;BBQRAM 单元数 。引理 2:经流水线路由后,单次或叠加检索均为 ,无流水线则 。整套构造依赖三层检索原语——根值(定标 )、同层兄弟对的一次叠加检索、全体符号位——每层 ,按 个树层求和;若内存布局任意,则每层退化为 开销。
后续工作 Berti & Ghisoni 2026 在同一框架内做两件事:其一,把每步振幅分裂角 经典预计算后直接存入单元,QPU 上不再需要可逆加法器、除法器、平方根与 arcsin;其二,扩展到复值矩阵并给出定点误差界(定理 18:查询时间不变 、查询次数 、QPU 仅需 比特)。规模示例(): 对应 QPU 75 比特、BBQRAM 约 比特、22 次查询; 对应 85 比特、、42 次; 对应 95 比特、、62 次。
推导一:树内地址-数据映射:布局为什么是算法的一部分
权重递推与角度递推:两条恒等式
给二叉树 (深度 )的每个节点 配一个非负平方权重 :叶 取 (实值情形符号 另存一位),内部节点沿树累加
逐层归纳即得根值 ——这是第一条恒等式:树根自动完成弗罗贝尼乌斯定标,QPU 无须单独计算范数,只需一次根值检索。第二条恒等式定义每个内节点的分裂角
即”右子块平方质量占比”的正弦。两条恒等式合起来: 个叶权重决定全部 个角度,自由度恰好收支相抵,没有冗余存储。
值得点破一处等价性(本词条对照):对同一组数据,这里的 与一般态制备电路(边界:态制备电路)递推分解的逐节点旋转角逐位相同——两边都以”右子块模方占比”定角。差别不在角度值,而在角度住在哪里、怎么被消费:态制备电路把角度编译进 Gray 码 CNOT 阶梯(门是电路的一部分,数据一变重新编译),Berti–Ghisoni 把角度存进 BBQRAM 单元(门型固定,数据在存储器里)。“KP-tree 等价、仅记法不同”的实质就在这一存储位置的迁移。
振幅编码的归纳证明
断言:执行到第 层()后,QPU 寄存器处于
其中 遍历长度 的二进制前缀, 是前缀 下方子树的平方权重和, 是前 个地址比特的取值。
基例 :以根对 中取出的角度对首个地址比特作用一次旋转,由 的定义,振幅为 (),断言成立。
归纳步:设 成立。对每个前缀 检索其兄弟对单元、以角度 对第 个地址比特施加以前缀为条件的旋转:
末步代入 的定义,中间因子 精确相消。断言在 层成立。∎
归一性核对: 对每层成立(同层子树权重恰划分全部叶),故 恒归一,无需事后 renormalize。终态: 时前缀即叶指标,
再过符号层()即得 。整个电路的门型与数据无关——每层固定是”一次以取出的 为角度的受控旋转层”,数据只进单元内容;这正是 QRAM 语义”算符数据无关、数据住存储器”在装载问题上的翻版。
层级打包:仿射地址映射与一次叠加检索
现在给”兄弟对单元”定地址。深度 层的前缀 (长 位)之下那对子节点 打包进单元 ,地址取堆式编号
即左子节点的堆编号,二进制写出来恰是”1 后接 “的拼接。关键性质: 是前缀的移位拼接映射——QPU 把当前前缀寄存器左移、末位补 1 即得单元地址, 个可逆操作,无需查表。于是一个树层的工作量是两项:
- 一次叠加检索:把该层全体前缀的地址做成叠加、对 BBQRAM 查询一遍,所有前缀的兄弟对同时相干取出——由引理 2,流水线路由下耗时 ,与叠加宽度无关;
- 一层受控旋转:以取出的 为条件角度的 级联, 层。
按 个树层求和:
这正是定理 5 的账目来源:对数因子一个来自树的深度、一个来自每次检索的路由深度,二者相乘,而 因子整个消失 Berti & Ghisoni 2025。
布局失效的情形:任意置换的代价
设地址映射换成任意置换 , 无闭式。要在叠加中取出”前缀 的对”,QPU 必须先相干地算出 ;只有两条路:
- 存映射表:额外放一张 格的地址表并按 QRAM 方式查询——但表本身的相干寻址又需要对数布局,递归回到原问题,且 格的表把刚省下的存储因子全数吐回;
- 扫描:对 个单元逐一试取,每层 , 层合计 ,对数优势荡然无存。
两难都不是常数级补丁:布局的规律性正是 与 的分界——原文”布局设计本身就是算法的一部分”的准确内容:打包方式是一次性的设计决策,决定此后每次查询的复杂度档位。
单元错误与访问热度:两个逐层账
布局还继承树的噪声几何。均匀叠加地址下,深度 的每个单元只被前缀匹配的 份额分支访问;设单元错误率 ,一个错误只毁所在分支,期望不保真度为
与桶队路由的逐层对消同构(数目与杀伤半径逐层相消;机制推导见 桶队架构 推导四与 误差局域化,不重复)——线性 而非 ,布局本身不引入新的噪声脆弱点。访问热度:根对单元被 100% 分支访问,第 层单元热度 ;若存储分级(顶层驻留快速小存储),前 层共 个单元承揽 的访问份额(、:1023 个单元承揽约 1/3 访问;本词条估算)——“哪些单元是全局热点”的定量答案。
推导二:从原始权重到预计算角度:把算术搬离 QPU
的隐藏账单
QR056 版本单元里存的是原始平方范数 ,角度须在 QPU 上就地合成:
把右端拆开,是三件可逆算术的接力:定点除法 (可逆迭代除法器)、平方根(可逆牛顿迭代)、arcsin(级数或 CORDIC 型可逆逼近)。每一件单独看都是 规模、常数巨大且吃辅助寄存器——“每层一次”的节拍下,三件套的深度才是态制备的真实主导项。Berti & Ghisoni 2026 的第一个改进就是把三件套整体搬回经典侧:装载期算好角度、以 位定点直接存入单元,QPU 每层只剩”取角度—转一次”。代价是摘要明说的那条:QRAM 里存的是预计算定点角度,不是原始子树权重——数据失去了”从叶权重可重算一切”的紧凑性,更新一个元素须沿根-叶路径重算全部角度(摊销账见推导四)。这是”可重算性”换”可查表性”的一笔显式交易。
定点角度误差的望远镜界
模型:各层角度带独立误差 (定点舍入), 门自身实现误差 ;相位层误差 只出现一次。
第一步(单层算符差)。 旋转角平移 的算符差
第 层的多路受控旋转是块对角算符、各块角度误差同受 控制,故整层算符差范数 。
第二步(望远镜求和)。 对两个酉积做逐项拆分:
取范数,两侧因子由酉性消去:
相位层只作用一次,贡献 ;合计
即定理 18 引用的定点误差界。读法:角度误差是”每层摊一点”的小转角,唯一放大器是深度 ——误差界线性于 ,与 无关(相干错误记账惯例见 评价指标)。
第三步(位数反解)。 角度以 个定点小数位存于 ,舍入半径半格:。要求幅值项不超过 :
定理 18 的位数处方由此而来(常数 随舍入约定出入)。数值(本词条核算):、 时 ,取 已够;而 时幅值项仅 ——比预算低五个数量级。这说明该工作点的真实瓶颈在 (受控旋转本身的保真度),不在角度位数:位数给到 32 是工程裕量,不是精度必需。
查询次数 的读法
定理 18 报查询次数 (与 无关、随深度线性)。一种自洽读法(本词条重构;精确分账以原文为准): 层幅值下降各需一次兄弟对检索,角度与叶相位同单元存放使每层再计一次取出口径,末端加根值检索(定标)与相位层前的一次全叠加叶查询。要点不在常数归属,而在量级:振幅编码的 QRAM 访问次数从”逐条目 次”压到 次,每次内部由引理 2 的流水线路由收账 时间——两笔相乘即定理 5 的 。
推导三:复值扩展:幅值-相位两段账
极坐标两段式
复条目取极坐标 。幅值段与实值版完全同构:单元存预计算分裂角(叶相位 同单元并存),受控 级联产出
相位段:一次全叠加查询取全体叶相位,受控相位门级联 :
实值有号情形就是相位 的一比特特例——摘要所谓”the real signed case is naturally subsumed as a one-bit phase specialization”。两篇工作的接口由此对齐:QR056 单元里的符号位,恰是 QR057 相位的一比特量化;单元宽度(实值 、复值 )与寄存器账()在两种读法下各自自洽。
两段式的顺序有语义理由(本词条读法):相位门按叶指标寻址,而叶指标只在幅值段走完、地址展开到全 位后才良定义;先相位后幅值则相位寻址须挂在半成品前缀上,多付一层索引账。误差侧,相位段只过一遍,故 不带因子 ——望远镜界里两段的不对称地位正来自”幅值误差逐层累积、相位误差一次付清”。
推导四:装载策略的形式化:预装载、在线制备与分页换入的摊销账
三种策略的成本模型
把”得到 “的三条途径放进同一套记号(、、算法侧制备/使用 次;货币口径见 成本口径):
| 策略 | 一次性成本 | 每次制备成本 | 持有成本 |
|---|---|---|---|
| 器件预装载(本词条) | 经典构建 | 次查询、 检索时间 | 个相干比特常驻 |
| 在线态制备电路 | 无 | 门(实振幅,见边界词条) | 无(用完即弃) |
| 分页换入 | 经典构建 | 页化后的查询深度(见下) | 同预装载,加页驻留 |
器件构建账 由三部分组成(本词条核算): 次叶模方与沿树累加、 次 arcsin 反解、 个单元写入——全部经典操作,不占相干预算。器件路线把 压进经典一次性构建,量子侧只剩 ,且制备好的 常驻寄存器、后续算法查询零装载成本——制备好的态本身就是缓存。
临界制备次数与两条附注
摊销账:
其中 为器件侧每次制备的操作量级(本词条估算)。解 ,临界制备次数
末步用 (构建与电路门同阶)。结论稳健:只要同一张表要制备的次数超过常数,器件路线在门数货币下就占优——两条路线的 项,一个进了经典账、一个留在量子账。两条诚实附注:其一, 是经典货币、 是量子门货币,跨货币比较须先过 成本口径 那一关(经典预计算由 CPU 付账,不进相干预算,但也不是免费的零);其二,“持有”要求 个逻辑比特的相干寿命覆盖整个算法运行期,这笔持有成本在两文的记账练习里均未计,却是器件路线真正的软肋(容错侧的资源红线见 容错资源红线)。
更新账:根-叶路径重写
改一个元素 :叶权重 变,则根-叶路径上 个节点的平方权重与角度全变——受影响单元恰是路径上每层各一个兄弟对单元,共 次单元重写、 次经典加法与 arcsin。数值:、,每次更新 20 次单元重写 + 20 次角度反解,经典耗时微秒量级, 次/秒的更新流也只是 次/秒的经典写入——经典侧的更新带宽从来不是瓶颈(本词条估算)。真正的约束在量子侧:单元一变,QPU 上持有的旧 即过期,须重新制备(再一次 )。故该架构的自然节奏是”经典侧高频更新、量子侧按批制备”,不适合逐元素相干流式消费——即原文”无动态更新原语”的操作含义。
容量不足时的分页换入
单元数 、位宽 (复值),存储位数 。器件容量以单元计为 时,把叶集切成 页、每页 叶(),只把覆盖当前页的子树连同其上的页骨架驻留 BBQRAM,页号走顺序查询电路——这正是虚拟 QRAM 的页化构造,深度-宽度最优化( 与宽度 的平衡点、load-once 的 T 账指数改进)已在该词条完整推导,见 虚拟 QRAM,不重复。此处只补 Berti–Ghisoni 特有的两条(均为本词条估算):
- 位宽吃容量: 时每页占 比特;给 比特(128 kB)单元预算,,单页至多 万条目。位数 直接从容量预算里扣——“寄存器记账练习”的提醒在此落地:精度位数与可寻址规模共用同一个存储账本。
- 换页无克隆负担: 与 是权重的确定性经典函数,新页角度可现场重算(经典 )或整页拷入;与虚拟 QRAM 的类控 SWAP 换页不同,交换的是经典配置而非量子态,页交换语义更轻。
推导五:算法侧应感知的架构参数
把”QRAM 查询成本 “的 oracle 抽象换成器件账单时,算法侧至少要感知四个参数,每个参数各挂一条账:
- 深度 :查询数 、检索时间 、幅值误差 、受影响更新单元数 ——四条账都线性挂在这一个数上,算法设计者应先算 再谈标度。
- 产率(器件按资源态-工厂方式供给时):制备速率受 限制( 个工厂并行;工厂周期与吞吐的排队账见 QRAM 工厂)。需要反复重制备的算法(数据每次更新后)按 折算墙钟——oracle 抽象里免费的”重新制备”,在器件账单上是产率约束。
- 容量与缓存:单元数 、位数 ;容量不足走分页,深度按虚拟 QRAM 的 重估,精度位数 从容量里扣(推导四)。
- 误差预算:每次制备不保真度 ;算法若制备 次,union bound(一般形式见 评价指标)给 ,代回位数处方:
位数随制备次数只对数增长。数值(、,本词条核算):单次制备()需 ,; 时 ; 时 ——制备次数乘一百、乘一万,位数只加 7 与 13,这是误差线性累积 + 位数对数反解的联合红利。
数值算例
算例 1: 的全套账单
取 ,则 ,。层级打包的七个单元(;地址为左子堆编号”1”)与角度(按第二条恒等式逐格计算)如下:
| 层 | 前缀 | 单元 | 地址 | (rad) |
|---|---|---|---|---|
| 0 | (空) | 1 | 2.352 | |
| 1 | 0 | 2 | 2.300 | |
| 1 | 1 | 3 | 1.875 | |
| 2 | 00 | 4 | 2.214 | |
| 2 | 01 | 5 | 1.855 | |
| 2 | 10 | 6 | 1.749 | |
| 2 | 11 | 7 | 1.705 |
资源账():BBQRAM 比特;QPU 寄存器 比特;查询 次。三条核验:根角 ✓;七个角度与态制备边界词条用同一组数据独立算出的递推角逐位一致 ✓(等价性的实例化);归纳终态振幅 ,符号全正,符号层为恒等 ✓。
算例 2:规模阶梯与存储密度
固定,规模阶梯()上把定理 18 的报告值与本词条核算公式并排:
| QPU | BBQRAM(文献) | (核算) | 折合字节 | 查询 | |
|---|---|---|---|---|---|
| 75 | kB | 22 | |||
| 85 | MB | 42 | |||
| 95 | GB | 62 |
寄存器列与 逐行精确吻合(75/85/95),存储列与 在末位舍入内一致——规模示例即两条公式的取值表。存储密度值得单独说:每条目 比特,约为双精度复矩阵(128 比特/条目; 时 16 GB)的一半;但精度上限同时被 钉死在 ()——比双精度的 粗八个数量级。角度化买的是”可被叠加检索”,付的是定点精度;要双精度就得加大 并按推导四重算容量预算。
算例 3:两条路线的操作量对照
、实振幅:电路路线每次制备 门(一般态制备的最坏情形账;查表电路口径为每查 个 T 门 Babbush 2018);器件路线 次查询、每查 层路由,合计 量级交互步加 层受控旋转(本词条估算)。门数货币下相差约六个数量级,差距的来源就是 与 之差;但墙钟货币下还要乘各自动作速率、纠错开销与经典构建 的摊销——兑换率问题见 成本口径 与 机会成本批判。
算例 4:更新流的节奏核算
设数据流每毫秒更新一个元素、():经典侧每次更新 20 次单元重写 + 20 次角度反解,合计每秒 次重写——比任何现代存储带宽低多个量级,无压力(本词条估算)。量子侧每次更新后若需新鲜 ,重制备一次 = 42 次查询;以检索步速率 步/秒、每查询 层路由估算,单次制备 秒——与更新节奏恰好同量级,即”逐更新重制备”勉强打平,“按批制备”才留有裕量。选型判据:更新率 重制备时间 时器件路线从容,逼近 1 时应改批处理或加大更新间隔(本词条估算)。
讨论:诚实的边界与架构立场
作者的诚实标注值得记录:资源表”应读作 QPU 寄存器与 BBQRAM 内存的记账练习,而非完整可行性估计”——不含开关、纠错、控制硬件与魔法态工厂; 界以”带流水线路由的硬件 BBQRAM”为前提,而电路级 BBQRAM 受 逻辑门下界约束 Jaques & Rattew 2025;无动态更新原语,改一个元素需更新根-叶路径上的全部角度(推导四的更新账)。这种”承认电路下界、只信硬件模型”的立场,恰是 QRAM 假设分歧的缩影:它以 桶队架构器件的存在为先决条件,其可信度与器件路线(如 资源态 QRAM)的进展直接挂钩。与之对照,不依赖 QRAM 的电路式与数据结构式加载见 边界:态制备电路 与 去量子化。
把本词条的推导合起来,可以得到一张三层栈的定位图(本词条综合):布局层(Berti–Ghisoni)回答”数据在器件里怎么摆、检索怎么收账”,其全部收益以器件容量足够为前提;容量层(虚拟 QRAM)回答”器件不够大时怎么页化、深度与宽度怎么换”,其深度账 直接接管分页后的时间预算;供给层(QRAM 工厂)回答”器件按查询消费资源态时谁来做补货”,其吞吐 给推导五的产率参数以物理内容。三层的账目组合时相乘而非相加——推导五的意义,就是把三层参数在设计早期放进同一张预算表。