[论文解读] Random Walks on Finite Quantum Groups: Diaconis-Shahshahani Theory for Quantum Groups

J.P. McCarthy|arXiv (Cornell University)|Sep 27, 2017

Advanced Operator Algebra Research参考文献 13被引用 7

一句话总结

本文通过利用量子群表示理论推广上界引理，将迪亚科尼斯-沙希尼的有限群上随机游走理论扩展至有限量子群。建立了量子迪亚科尼斯-沙希尼上界引理，使对量子群上遍历随机游走的收敛速率分析成为可能，包括卡克-帕尔朱金和塞金量子群，其不可约表示通过特征积分确认，范数为1。

ABSTRACT

The concept of a random walk on a finite group converging to random - and a way of measuring the distance to random after $k$ transitions - is generalised from the classical case to the case of random walks on finite quantum groups. A central tool in the study of ergodic random walks on finite groups is the Upper Bound Lemma of Diaconis and Shahshahani. The Upper Bound Lemma uses the representation theory of the group to generate upper bounds for the distance to random and thus can be used to determine convergence rates for ergodic walks. The representation theory of quantum groups is very well understood and is remarkably similar to the representation theory of classical groups. This allows for a generalisation of the Upper Bound Lemma to an Upper Bound Lemma for quantum groups. The Quantum Diaconis--Shahshahani Upper Bound Lemma is used to study the convergence of ergodic random walks on classical groups $\mathbb{Z}_n$, $\mathbb{Z}_2^n$, the dual group $\widehat{S_n}$ as well as the `truly' quantum groups of Kac & Paljutkin, and Sekine.

研究动机与目标

• 将经典迪亚科尼斯-沙希尼的有限群上随机游走理论推广至有限量子群的框架。
• 利用量子群表示理论，发展上界引理的量子类比，以在有限步内界定随机游走与均匀分布的距离。
• 分析经典群和真正量子群（包括卡克-帕尔朱金和塞金量子群）上遍历随机游走的收敛速率。
• 通过量子设置下的特征积分验证表示的不可约性，确保理论框架的一致性。

提出的方法

• 通过量子群表示理论，将经典上界引理推广至有限量子群，其结构与经典群高度相似。
• 通过函数代数上状态的卷积定义量子群上的随机游走，其转移由量子群上固定的分布决定。
• 利用表示的矩阵元构造量子傅里叶变换的类比，实现对随机游走的谱分析。
• 应用有限量子群的特征理论，特别是积分条件 ∫χ(κ)*χ(κ) = 1，以检验表示的不可约性。
• 计算卡克-帕尔朱金量子群上二维表示 κᵘ,ᵛ 的特征范数，通过积分条件验证其不可约性。
• 通过显式计算矩阵元和余乘法，确认表示 κᵘ,ᵛ 满足余乘法规则 Δ(ρᵢⱼᵘ,ᵛ) = ∑ₖ ρᵢₖᵘ,ᵛ ⊗ ρₖⱼᵘ,ᵛ。

实验结果

研究问题

• RQ1 如何将经典迪亚科尼斯-沙希尼上界引理推广至有限量子群的框架？
• RQ2 在有限量子群上，何种条件可确保随机游走收敛至均匀分布？
• RQ3 如何利用量子群的表示理论在有限步内界定与均匀分布的距离？
• RQ4 卡克-帕尔朱金量子群上的二维表示 κᵘ,ᵛ 是否不可约，如何验证？
• RQ5 塞金量子群上随机游走的行为如何？与经典群相比有何异同？

主要发现

• 通过有限量子群的表示理论成功构建了量子迪亚科尼斯-沙希尼上界引理，使收敛速率分析成为可能。
• 卡克-帕尔朱金量子群上的二维表示 κᵘ,ᵛ 是不可约的，由特征积分 ∫χ(κᵘ,ᵛ)*χ(κᵘ,ᵛ) = 1 确认。
• κᵘ,ᵛ 的特征为 χ(κᵘ,ᵛ) = ∑ᵢ,ⱼ∈ℤₙ (ζₙⁱᵘʲᵛ + ζₙⁱᵘ⁻ʲᵛ)eᵢ,ⱼ，其范数通过在量子群上对迹积分计算得出。
• 对于 v ∈ {1, ..., (n−1)/2}，求和 ∑ⱼ₌₀ⁿ⁻¹ cos(4πjv/n) 为零，导致 ∫χ(κᵘ,ᵛ)*χ(κᵘ,ᵛ) = 1，从而确认不可约性。
• 表示 κᵘ,ᵛ 被证明在余乘法 Δ 下封闭，其中 Δ(ρ₁₂ᵘ,ᵛ) = ρ₁₁ᵘ,ᵛ⊗ρ₁₂ᵘ,ᵛ + ρ₁₂ᵘ,ᵛ⊗ρ₂₂ᵘ,ᵛ，验证了其张量结构。
• 当限制在交换子代数时，该框架恢复经典结果，确保与经典随机游走理论的一致性。