No-go theorems for sublinear-depth group designs
West, García-Martín, Diaz, Cerezo, Larocca · quant-ph · 2026-09-08 · 原文
Constructing ensembles of circuits which efficiently approximate the Haar measure over various groups is a long-standing and fundamental problem in quantum information theory. Recently it was shown that one can obtain approximate designs over the unitary group with depths scaling logarithmically in the number of qubits, but that no sublinear-depth approximate designs exist over the orthogonal group. Here we derive, for any group G possessing an invariant state G^{\otimes k} \lvertΨ\rangle= \lvertΨ\rangle, a lower bound on the diamond distance between the k\textsuperscript{th} moment operator of any ensemble of elements of G, and that of the Haar measure over G. We then use this bound to prove that for many groups of interest, no subset of G consisting of sublinear-depth one-dimensional circuits with local gates can form an approximate k-design over G. More generally, on a D-dimensional lattice, our results imply that such group designs require depths scaling at least as n^{1/D}. Moreover, for most of the groups we consider we find that such ensembles can, with high probability, be distinguished from k-designs by a single shot of a constant-depth measurement. A
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Constructing ensembles of circuits which efficiently approximate the Haar measure over various groups is a long-standing and fundamental problem in quantum information theory.
Recently it was shown that one can obtain approximate designs over the unitary group with depths scaling logarithmically in the number of qubits, but that no sublinear-depth approximate designs exist over the orthogonal group.
2. 领域脉络
本文类目：quant-ph，属于其所在研究脉络的最新进展。
3. 机制拆解
Here we derive, for any group G possessing an invariant state G^{\otimes k} \lvertΨ\rangle= \lvertΨ\rangle, a lower bound on the diamond distance between the k\textsuperscript{th} moment operator of any ensemble of elements of G, and that of the Haar measure over G.
We then use this bound to prove that for many groups of interest, no subset of G consisting of sublinear-depth one-dimensional circuits with local gates can form an approximate k-design over G.
4. 证据与数字
More generally, on a D-dimensional lattice, our results imply that such group designs require depths scaling at least as n^{1/D}.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。