# 283｜用布尔预言机合成任意幺正：把量子操作编码成经典查询

> 官方问题族 283；本版含 1 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：`adc7f1241b42`，核对日期：2026-10-07。

## A. 历史问题及直觉

制备一个给定量子态，只需要从一个已知初态得到目标；实现任意幺正 $U$ 则必须正确作用于**所有未知输入**，包括与外部参考系统纠缠的输入，因此要求更强。

Aaronson–Kuperberg 的幺正合成问题问：如果给量子算法一个可相干查询的布尔函数，能否把任意幺正变换的实现，归约为多项式数量的这种经典函数查询？[Lombardi–Ma–Wright](https://arxiv.org/abs/2310.08870)证明一次查询不够，突出了状态制备和一般过程合成之间的差别。

## B. 稿件的量词与误差标准

原文声称存在一个仅由比特数 $n$ 决定、可在经典多项式时间生成的量子电路 $A_n$，其比特数、普通门数、预言机调用次数和查询长度均为 $\operatorname{poly}(n)$。普通门来自固定集合 $H,T,T^\dagger,\mathrm{CNOT}$。

对每个 $n$ 比特幺正 $U$，存在一个依赖 $U$ 的布尔函数 $f$，使使用可逆查询

```math
O_f|x,b\rangle=|x,b\oplus f(x)\rangle
```

后得到的输出信道 $\Phi_{n,f}$ 满足

```math
\|\Phi_{n,f}-\mathcal U\|_\diamond\le\frac12,
\qquad\mathcal U(\rho)=U\rho U^\dagger.
```

这是完整钻石范数约定，控制包括参考系统在内的最坏信道误差。量词是“存在统一电路，使对每个 $U$ 存在适配的 $f$”；不是一个固定布尔函数同时实现所有 $U$。

## C. 它怎样避开一般幺正的指数参数数量

预言机输入长度为多项式，不代表真值表长度为多项式。若输入长 $m$，真值表可有 $2^m$ 位；任意复杂目标的信息可以藏在这张巨大表里。原文明确不声称高效构造、存储或实现这个目标依赖的布尔预言机。

因此它研究的是资源之间的归约：当某类经典函数访问被当作基本资源时，量子过程还需要多少额外资源。它不是日常门编译器，可把任意指数描述的矩阵变成无预言机的多项式大小电路。

## D. 对物理及量子计算研究的影响

**潜在积极影响：**厘清经典函数访问与量子过程控制之间的能力关系，为预言机复杂性、量子密码和过程合成建立新的结构性工具。钻石范数保证也使结果比“某些输入上近似正确”更有组合意义。

但常数误差 $1/2$ 仍然较大，不能直接当成容错门的高精度实现；一般未知幺正的过程误差也不能像多数投票放大一个判定答案那样自动降低。高精度版本、预言机实际构造代价和具体物理 $U$ 的特殊结构，才是把这类结果转化为算法的下一步。

## 原稿及配套材料

- **O283-01** [Polynomial-Time Unitary Synthesis from a Boolean Oracle](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Polynomial-Time-Unitary-Synthesis-from-a-Boolean-Oracle-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Polynomial-Time-Unitary-Synthesis-from-a-Boolean-Oracle-October-5-2026`。

[返回总览](../README.md) · [来源与核验记录](../sources.md)