[論文レビュー] 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

ひとこと要約

この論文は、有限量子群におけるランダムウォークの理論を、量子群表現論を用いて上界補題を一般化することで、有限群におけるDiaconis-Shahshahani理論を有限量子群へと拡張する。量子Diaconis-Shahshahani上界補題を確立し、Kac-PaljutkinおよびSekine量子群を含む、非可換性を有する量子群におけるエルゴディックなランダムウォークの収束速度解析を可能にする。表現の非可約性は、特性積分によって確認され、ノルムが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.

研究の動機と目的

• 有限群におけるランダムウォークの古典的Diaconis-Shahshahani理論を、有限量子群の設定へ一般化すること。
• 量子群の表現論を用いて、上界補題の量子アナログを構築し、ランダムウォークにおける一様分布への距離を評価すること。
• Kac-PaljutkinおよびSekine量子群を含む、古典的および真に量子的な群におけるエルゴディックなランダムウォークの収束速度を解析すること。
• 量子設定における特性積分を用いて表現の非可約性を検証し、理論的枠組みの整合性を保証すること。

提案手法

• 量子群の表現論を用いて、古典的上界補題を有限量子群へ一般化し、これは古典群と類似した構造を持つ。
• 関数代数上の状態の畳み込みを用いて、量子群上のランダムウォークを定義し、移動は量子群上に固定された分布によって支配される。
• 表現の行列要素を用いて、量子フーリエ変換のアナログを構築し、ランダムウォークのスペクトル解析を可能にする。
• 特に、積分条件 ∫χ(κ)*χ(κ) = 1 を用いて、有限量子群の特性理論を応用し、表現の非可約性をテストする。
• Kac-Paljutkin量子群における2次元表現 κᵘ,ᵛ の特性のノルムを計算し、積分条件を用いて非可約性を検証する。
• 行列要素およびコプロダクトの明示的計算を実施し、表現 κᵘ,ᵛ がコマルチプライケーション則 Δ(ρᵢⱼᵘ,ᵛ) = ∑ₖ ρᵢₖᵘ,ᵛ ⊗ ρₖⱼᵘ,ᵛ を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 古典的Diaconis-Shahshahani上界補題は、どのように有限量子群の設定へ一般化できるか？
• RQ2 有限量子群上のランダムウォークが一様分布へ収束するための条件は何か？
• RQ3 量子群の表現論は、有限ステップで一様分布への距離を評価するためにどのように利用できるか？
• RQ4 Kac-Paljutkin量子群における2次元表現 κᵘ,ᵛ は非可約であるか？その確認方法は何か？
• RQ5 Sekine量子群におけるランダムウォークの挙動は何か？古典群との比較においてどのような特徴を示すか？

主な発見

• 有限量子群の表現論を用いて、量子Diaconis-Shahshahani上界補題が成功裏に構築され、収束速度解析が可能となった。
• Kac-Paljutkin量子群における2次元表現 κᵘ,ᵛ は、特性積分により ∫χ(κᵘ,ᵛ)*χ(κᵘ,ᵛ) = 1 が得られ、非可約であることが確認された。
• κᵘ,ᵛ の特性は χ(κᵘ,ᵛ) = ∑ᵢ,ⱼ∈ℤₙ (ζₙⁱᵘʲᵛ + ζₙⁱᵘ⁻ʲᵛ)eᵢ,ⱼ と与えられ、量子群上のトレース積分を用いてノルムが計算された。
• v ∈ {1, ..., (n−1)/2} のとき、和 ∑ⱼ₌₀ⁿ⁻¹ cos(4πjv/n) は消えるため、∫χ(κᵘ,ᵛ)*χ(κᵘ,ᵛ) = 1 が得られ、非可約性が裏付けられた。
• 表現 κᵘ,ᵛ がコプロダクト Δ に関して閉じていることが示され、Δ(ρ₁₂ᵘ,ᵛ) = ρ₁₁ᵘ,ᵛ⊗ρ₁₂ᵘ,ᵛ + ρ₁₂ᵘ,ᵛ⊗ρ₂₂ᵘ,ᵛ が成り立つことから、テンソル構造が検証された。
• 可換部分代数に制限した場合、枠組みは古典的結果を回復し、古典的ランダムウォーク理論と整合性を持つことが保証された。