[論文レビュー] De Finetti theorems for a Boolean analogue of easy quantum groups

Tomohiro Hayase|arXiv (Cornell University)|Jul 20, 2015

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

本稿は、区間分割から導かれる新しいクラスの量子半群に関するブールのデ・フィネッティ定理を確立し、簡単な量子群のブール版を導入する。これらの構造に一意なハール状態を構成することで、著者らは、量子半群のコアクションに関する不変性が、ブール独立同一分布系列を特徴づけることを証明している。特に、テイル代数上での中心化ベルヌーイ、偶数分布の独立同一分布、シフトされたベルヌーイ族に対して、明確に異なる特徴づけがなされる。

ABSTRACT

We show an organized form of quantum de Finetti theorem for Boolean independence. We define a Boolean analogue of easy quantum groups for the categories of interval partitions, which is a family of sequences of quantum semigroups. We construct the Haar states on those quantum semigroups. The proof of our de Finetti theorem is based on the analysis of the Haar states. [Modified]Definition of the Boolean quantum semigroups on categories of interval partitions [Delete]Classification of categories of interval partitions [Add]Proof of the positiveness of the Haar functionals (in particular they are Haar states)

研究の動機と目的

• ブール独立性を用いた非可換確率の枠組みを、量子対称性を用いて構築すること。
• 区間分割に基づく簡単な量子群のブール版を定義し、分析すること。
• ブール量子半群にハール状態を構成し、それらを用いてデ・フィネッティ定理を証明すること。
• これらの量子対称性に関して不変な確率変数の系列が、条件付きブール独立同一分布または関連族として特徴づけられることを示すこと。
• 自由量子群におけるデ・フィネッティ定理の体系的戦略を、ブールの設定へと拡張すること。

提案手法

• ブールのコマーレントに結びつく区間分割のカテゴリーを定義し、ブール前量子半群の基礎を築く。
• これらの分割カテゴリーからユニタルな*-代数とコプロダクトを構成し、C*-完備化によってブール量子半群を形成する。
• Beq_s(n)、Beq_o(n)、Beq_h(n)、および前量子半群 A_p[I_b] に、ハール状態の存在と一意性を証明する。
• ハール状態を用いて、量子半群のコアクションに関する結合分布の不変性を分析する。
• 修正されたマルティングール収束とコマーレント展開を用い、不変性が条件付きブール独立同一分布および同一分布にどのように関係するかを明らかにする。
• 代数的コアクションに関する不変性と、非ユニタルなテイル代数上での条件付き独立同一分布または構造的ブール独立性との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 区間分割に基づく簡単な量子群のブール版とは何か？
• RQ2 どのブール量子半群が一意なハール状態を有し、それらはどのように構成できるか？
• RQ3 ブール量子半群のコアクションに関する不変性が、確率変数系列の結合分布をどのように特徴づけるか？
• RQ4 これらの対称性に関して不変な系列の明確な分布的性質（例：独立同一分布、中心化ベルヌーイ、偶数分布）は何か？
• RQ5 前量子半群上のハール状態と、完成化された量子半群上のハール状態との関係は何か？

主な発見

• ブール量子半群 Beq_s(n)、Beq_o(n)、Beq_h(n) は、それぞれ一意なハール状態 h_s、h_o、h_h を有する。
• 系列 (x_j) が Beq_s-不変であることは、非ユニタルなテイル von Neumann 代数 M_nut 上でのブール独立同一分布であることと同値である。
• 系列 (x_j) が Beq_o-不変であることは、M_nut 値ブール中心化ベルヌーイ族を形成することと同値である。
• 系列 (x_j) が Beq_h-不変であることは、M_nut 上でブール独立であり、偶数分布かつ同一分布の周辺分布を持つことと同値である。
• カテゴリー I_b に対して、前量子半群 A_p[I_b] は一意なハール状態を有し、そのコアクションに関する不変性は、M_nut 値ブールシフトベルヌーイ族を特徴づける。
• 証明は、条件付き期待値の収束と区間分割を含むコマーレント展開に依拠しており、E_nut[x_j1...x_jk] が、ker j に含まれる区間分割 σ に関する、ブールコマーレント K^E_nut_σ[x1,...,x1] の和に等しいことを示している。