[论文解读] A noncommutative De Finetti theorem for boolean independence

Weihua Liu|arXiv (Cornell University)|Mar 7, 2014

Random Matrices and Applications参考文献 15被引用 4

一句话总结

本文通过引入量子半群 $B_s(n)$ 及其在非交换多项式上的协作用，建立了布尔独立性下的非交换 de Finetti 定理。结果表明，联合分布在此特定协作用下不变，当且仅当序列在尾代数下同分布且布尔独立，从而给出了布尔独立性下 de Finetti 经典可交换性结果的非交换类比。

ABSTRACT

We introduce a family of quantum semigroups and their natural coactions on noncommutative polynomials. We present three invariance conditions, associated with these coactions, for the joint distribution of sequences of selfadjoint noncommutative random variables. For one of the invariance conditions, we prove that the joint distribution of an infinite sequence of noncommutative random variables satisfies it is equivalent to the fact that the sequence of the random variables are identically distributed and boolean independent with respect to the conditional expectation onto its tail algebra. This is a boolean analogue of de Finetti theorem on exchangeable sequences. In the end of the paper, we will discuss the other two invariance conditions which lead to some trivial results.

研究动机与目标

• 在不假设态为忠实的情况下，将 de Finetti 定理推广至非交换概率空间。
• 通过量子半群协作用的不变性，刻画条件布尔独立序列。
• 建立基于布尔独立性的非交换概率中分布对称性的框架。
• 阐明布尔独立性在非单位元、非忠实非交换概率空间中的作用。

提出的方法

• 引入量子半群 $B_s(n)$ 及其子半群 $Π_s(n)$，以建模分布对称性。
• 在非交换多项式代数 $\mathbb{C}\langle X_1, \dots, X_n \rangle$ 上定义三种协作用——线性、代数及 $L_n$。
• 利用协作用 $L_n$ 定义非交换随机变量联合分布的不变性条件。
• 通过在 1 维空间上对 $B_s(n)$ 使用平凡表示 $\pi$，以 $\pi(u_{i,j}) = 0$（$i \neq j$）来评估不变性条件。
• 通过对单项式应用不变性条件，推导出矩恒等式，表明混合矩仅依赖于次数。
• 证明 $L_n$ 协作用下的不变性蕴含所有混合矩 $\phi(x_{i_1} \cdots x_{i_k}) = 0$（$k \geq 1$）为零。

实验结果

研究问题

• RQ1 在非忠实非交换概率空间中，何种分布对称性条件可刻画布尔独立性？
• RQ2 如何利用量子半群的协作用定义非交换联合分布的不变性条件？
• RQ3 是否存在类似于经典可交换性结果的布尔独立性非交换 de Finetti 定理？
• RQ4 布尔乘积在构造非忠实非交换概率空间中起何种作用？
• RQ5 其他协作用是否能导致非平凡刻画，而非仅出现平凡的矩坍缩？

主要发现

• 无限个自伴非交换随机变量序列的联合分布，在协作用 $L_n$ 下不变，当且仅当所有次数 $k \geq 1$ 的混合矩为零。
• $\mathcal{B}_s(n)$ 的线性协作用下的不变性意味着同次幂的所有混合矩相等，从而推出对所有 $i \neq j$ 有 $x_i = x_j$。
• $\mathbb{C}\langle X_1, \dots, X_n \rangle$ 上的协作用 $L_n$ 定义为 $L_n(X_i) = \sum_{k=1}^n X_k \otimes u_{k,i}$，且 $L_n$ 满足协作用恒等式 $(L_n \otimes \text{id})L_n = (\text{id} \otimes \Delta)L_n$。
• 通过使用满足 $\pi(u_{i,j}) = 0$ 的平凡表示 $\pi$，不变性条件简化为对所有 $k \geq 1$ 有 $\phi(x_{i_1} \cdots x_{i_k}) = 0$，从而证明了矩的坍缩。
• $\mathcal{B}_s(n)$ 的代数协作用导致与线性协作用相同的矩坍缩，表明其结果为平凡。
• 主要结果表明，$L_n$ 协作用下的不变性等价于序列在尾代数下同分布且布尔独立，从而为布尔独立性建立了非交换 de Finetti 定理。