[论文解读] Quantum Margulis expanders

Gross, D., Jens Eisert|ArXiv.org|Oct 3, 2007

Optical Network Technologies被引用 4

一句话总结

本文通过使用离散Wigner函数形式化方法，对经典Margulis展开图进行量子化，提出了一种新颖且显式的量子展开图构造方法。该方法保持了原始图的度数和谱特性，得到一个具有低度Kraus算符的量子通道，能迅速将任意输入态混合为最大混合态，展示了在迭代过程中二阶矩的指数发散。

ABSTRACT

We present a simple way to quantize the well-known Margulis expander map. The result is a quantum expander which acts on discrete Wigner functions in the same way the classical Margulis expander acts on probability distributions. The quantum version shares all essential properties of the classical counterpart, e.g., it has the same degree and spectrum. Unlike previous constructions of quantum expanders, our method does not rely on non-Abelian harmonic analysis. Analogues for continuous variable systems are mentioned. Indeed, the construction seems one of the few instances where applications based on discrete and continuous phase space methods can be developed in complete analogy.

研究动机与目标

• 提供一种简单且显式的量子展开图构造方法，使其在结构和特性上与经典展开图图保持一致。
• 证明离散Wigner函数技术可实现对经典展开图映射的直接量子化，而无需依赖非阿贝尔调和分析。
• 通过幺模表示和相空间方法，将该构造扩展至连续变量系统。
• 表明所得到的量子展开图在重复应用下，其协方差矩阵元素呈现指数增长，显示出强混合特性。
• 建立离散与连续相空间形式化之间量子展开图构造的完整类比。

提出的方法

• 在Z_N × Z_N格点上的经典Margulis展开图映射，通过其在离散Wigner函数上的作用被量子化，保持了原始的四个仿射变换及其逆变换。
• 通过一个完全正映射定义量子通道，包含D=8个Kraus算符，分别对应于四个变换及其逆变换，通过Weyl-Heisenberg位移作用于密度矩阵。
• 利用Wigner函数表示追踪相空间分布的演化，其中该映射在线性作用于相空间分布。
• 对于连续系统，通过幺模表示实现量子展开图，将辛变换映射为量子态上的酉操作。
• 状态的二阶矩在由线性映射f(γ)演化，该映射包含辛变换的贡献以及一个正定矩阵G，用于描述随机游走的方差。
• 关键技术步骤是分析迭代映射g(γ) = T₁γT₁ᵀ + T₁⁻¹γT₁⁻ᵀ + T₂γT₂ᵀ + T₂⁻¹γT₂⁻ᵀ，该映射捕捉了协方差矩阵的主要增长行为。

实验结果

研究问题

• RQ1 能否通过相空间方法系统地将经典Margulis展开图量子化，从而得到具有相同谱特性和度数的量子展开图？
• RQ2 所得到的量子通道是否仅使用少量Kraus算符，即表现出与经典情况类似的快速混合特性？
• RQ3 该构造能否通过辛变换和幺模表示扩展至连续变量系统？
• RQ4 在重复应用量子展开图映射时，二阶矩的长期行为如何？
• RQ5 离散与连续相空间形式化在多大程度上允许量子展开图构造的同构实现？

主要发现

• 通过离散Wigner函数显式构造了量子Margulis展开图，其度数D=8与谱隙与经典版本相同。
• 量子通道作为完全正映射，包含八个Kraus算符，确保了低度实现的同时，能迅速将状态混合为最大混合态。
• 状态的二阶矩在由线性映射f(γ)演化，协方差矩阵γ的主对角线元素随迭代次数n呈指数增长，约为∼3ⁿ。
• 协方差矩阵的迹和行列式的渐近增长速率与3ⁿ对数成正比，证实了指数发散。
• 协方差矩阵上的迭代映射g(γ)产生γ⁽ⁿ⁾ = [3ⁿα + (−1)ⁿβ, b; b, 3ⁿα − (−1)ⁿβ]，表明主对角线元素呈指数增长。
• 该构造在离散与连续量子展开图之间建立了完整的类比，二者均由辛变换和幺模表示所支配。