[论文解读] Mana in Haar-random states

Christopher D. White, Justin H. Wilson|arXiv (Cornell University)|Nov 27, 2020

Quantum Computing Algorithms and Architecture参考文献 2被引用 10

一句话总结

本文计算了哈尓随机纯态与混合态的保真度——一种非 Clifford 资源的度量——表明平均保真度随希尔伯特空间维数近乎对数增长，与最大值之间的差异为常数修正项 $\ln \pi / 2$。该结果揭示了大多数哈尓态需要大量非 Clifford 资源，从而将其与近 Clifford 近似 $t$-设计区分开来。

ABSTRACT

Mana is a measure of the amount of non-Clifford resources required to create a state; the mana of a mixed state on $\ell$ qudits bounded by $\le \frac 1 2 (\ell \ln d - S_2)$; $S_2$ the state's second Renyi entropy. We compute the mana of Haar-random pure and mixed states and find that the mana is nearly logarithmic in Hilbert space dimension: that is, extensive in number of qudits and logarithmic in qudit dimension. In particular, the average mana of states with less-than-maximal entropy falls short of that maximum by $\ln π/2$. We then connect this result to recent work on near-Clifford approximate $t$-designs; in doing so we point out that mana is a useful measure of non-Clifford resources precisely because it is not differentiable.

研究动机与目标

• 量化使用魔法单调量 '保真度' 准备哈尓随机量子态所需的非 Clifford 资源。
• 理解此资源成本对基于近 Clifford 动力学的热化模型与量子计算的影响。
• 阐明保真度作为区分哈尓态与近似 $t$-设计的度量的作用，尤其在量子复杂性与模拟的背景下。
• 研究保真度的解析性质，特别是其不可微性，作为其能够检测量子态分布高阶矩特征的关键特性。

提出的方法

• 利用不等式 $\mathcal{M} \leq \frac{1}{2}(\ell \ln d - S_2)$（其中 $S_2$ 为第二阶 R\'enyi 熵）计算 $\ell$ 个维度为 $d$ 的 qudit 上哈尓随机纯态与混合态的平均保真度。
• 采用 Wigner 函数表示及其切比雪夫展开，分析支撑保真度计算的 Wigner 范数。
• 通过 Wigner 范数分布的高斯近似推导平均保真度，数值验证适用于 $d \gtrsim 5$ 的情况。
• 以修改形式应用 Levy 引理，尽管 Wigner 范数对态的依赖关系非光滑，仍可证明其测度集中性。
• 分析 $|\cos \theta|$ 的切比雪夫展开，表明 Wigner 范数在高阶多项式上具有显著权重，反映出对非高斯特征的敏感性。
• 将结果与近似 $t$-设计进行比较，强调保真度可检测低阶设计所无法捕捉的高阶矩差异。

实验结果

研究问题

• RQ1 在 $\ell$ 个维度为 $d$ 的 qudit 上，准备一个哈尓随机量子态需要多少以保真度度量的非 Clifford 资源？
• RQ2 为何保真度比可微函数更适合作为区分哈尓态与近 Clifford 近似 $t$-设计的度量？
• RQ3 复合系统的保真度在多大程度上反映了子系统间的关联性，而非局域性质？
• RQ4 平均保真度中的常数修正项 $\ln \pi / 2$ 是否可普遍适用于所有哈尓随机态，其有限尺寸修正为何？
• RQ5 保真度的不可微性如何使其能够检测量子态分布的高阶矩特征，例如 $t$-设计中的特征？

主要发现

• 哈尓随机态的平均保真度约为 $\frac{1}{2}(\Delta - \ln \pi / 2)$，其中 $\Delta = \ell \ln d - S_2$ 为与最大熵的熵亏损。
• 当 $d \gg 1$ 时，几乎所有哈尓随机态的保真度均非常接近由不等式 $\frac{1}{2}(\ell \ln d - S_2)$ 所允许的最大值，仅相差 $\ln \pi / 2$。
• 哈尓态的 Wigner 范数集中在其平均值附近，从而支持对未接近最大混合度的态使用 $\langle \mathcal{M} \rangle \approx \ln \langle W \rangle$ 的近似。
• 由于 $|\cos \theta|$ 的尖点，保真度对 Wigner 函数的高阶矩极为敏感，导致在高次谐波上产生显著的傅里叶系数。
• 该结果意味着，大多数哈尓态需要大量非 Clifford 门才能准备，而近似 $t$-设计仅需常数量级的非 Clifford 门即可构造。
• 保真度最好被理解为非局域关联的度量，因为即使在子系统具有高局域熵时，其保真度在纠缠系统中仍显著高于其约化子系统。