[论文解读] Quantum structures from association schemes

Radhakrishnan Balu|arXiv (Cornell University)|Feb 22, 2019

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

一句话总结

本文从有限群导出的关联方案构造量子马尔可夫链（QMCs）与相互作用福克空间（IFS），利用玻色-梅斯纳代数与交数。提出纠缠QMCs，并为格拉斯曼方案建立量子中心极限定理，显示收敛至具有显式渐近参数的乘积测度。

ABSTRACT

Starting from an association scheme induced by a finite group and the corresponding Bose-Mesner algebra we construct quantum Markov chains (QMC), their entangled versions, and interacting Fock spaces (IFS) using the quantum probabilistic approach. Our constructions are based on the intersection numbers and their duals Krien parameters of the schemes with examples focused on regular (distance-regular and distance-transitive) graphs.

研究动机与目标

• 在由有限群导出的关联方案的对偶超群上发展量子马尔可夫链（QMCs）。
• 将QMCs扩展为可自然嵌入经典马尔可夫链的纠缠版本，通过创建、湮灭与保持算子（CAPs）。
• 基于距离正则图的玻色-梅斯纳代数，利用广义雅可比参数构造相互作用福克空间（IFS）。
• 通过量子中心极限定理（QCLT）建立格拉斯曼方案的渐近收敛至乘积测度，实现收敛。
• 支持在增长图上构建具有多模态、分层自由度的量子行走模型，适用于量子信息与模拟应用。

提出的方法

• 使用关联方案的玻色-梅斯纳代数作为在矩阵乘法下封闭的*-代数，其基矩阵对应邻接关系。
• 利用交数 $p^n_{j;1,n}$ 与对偶克雷因参数，定义代数上的创建、湮灭与保持算子（CAPs）。
• 将IFS构造为由模态态的乘积向量张成的预希尔伯特空间，真空态为 $\Phi_0 = 1_{\mathcal{P}}$，并通过 $\Phi_{j,n} = a^{+}_{jn} \cdots a^{+}_{j1} \Phi_0$ 递归生成态。
• 应用量子中心极限定理（QCLT）以证明格拉斯曼方案 $J_q(n,d)$ 中单个模态测度在极限下收敛至乘积测度。
• 推导出显式渐近参数：$p^{n-1}_{j;1,n} = (2-n)(v-n)$，$p^n_{j;1,n} = n(v-2)$，$p^n_{j;1,n} = n(v-2n)$，以及当 $n \leq \min\{d, v-d\}$ 时 $p^0_{1,1} = d(n-d)$。
• 通过雅可比关系 $B_j P_n = P_{n+1} B_j P_n + P_n B_j P_n + P_{n-1} B_j P_n$ 定义IFS的递归结构。

实验结果

研究问题

• RQ1 如何从有限群导出的关联方案的对偶超群构造量子马尔可夫链？
• RQ2 交数与克雷因参数在量子概率框架中定义创建、湮灭与保持算子时起何作用？
• RQ3 如何系统地构造QMCs的纠缠版本，以在保持量子关联的同时自然嵌入经典马尔可夫链？
• RQ4 相互作用福克空间（IFS）如何推广多模态图上量子行走的量子谐振子福克空间？
• RQ5 在大图极限下出现何种渐近行为，特别是对格拉斯曼方案而言，量子中心极限定理如何适用？

主要发现

• 在关联方案对偶超群上构造QMCs，可获得一个量子概率框架，其中经典马尔可夫链作为交换子代数的限制出现。
• 纠缠QMCs通过利用交数导出的CAP算子，将经典链自然嵌入非交换代数结构中实现。
• 相互作用福克空间（IFS）从玻色-梅斯纳代数递归构建，态向量通过作用于真空态 $\Phi_0 = 1_{\mathcal{P}}$ 的创建算子生成。
• 对于格拉斯曼方案 $J_q(n,d)$，IFS的渐近参数被显式推导：$p^{n-1}_{j;1,n} = (2-n)(v-n)$，$p^n_{j;1,n} = n(v-2)$，以及当 $n \leq \min\{d, v-d\}$ 时 $p^n_{j;1,n} = n(v-2n)$。
• 量子中心极限定理（QCLT）确保单个模态测度的乘积收敛至极限态，其中 $p^0_{1,1} = d(n-d)$ 为基态参数。
• 该框架支持在IFS上构造非经典量子态，如薛定谔猫态与压缩态，其类比于量子谐振子福克态。