自由概率与迹态 W* 代数的模型论

自由概率中 *-律或 *-分布的概念，在 Farah、Hart 和 Sherman 关于迹态冯·诺依曼代数的模型论框架中亦称为无量词类型。然而，全类型也可被视为经典概率分布的类似物（事实上，Ben Yaacov 证明了在经典情形下，无原子概率空间允许量词消去，因此全类型与无量词类型并无区别）。因此，我们为全类型发展了 Voiculescu 自由微态熵的概念，并证明：若 $\mathbf{X}$ 是 $\mathcal{M}$ 中的一个 $d$ 元组，且对给定超滤子 $\mathcal{U}$ 有 $\chi^{\mathcal{U}}(\mathbf{X}:\mathcal{M}) > -\infty$，则存在 $\mathcal{M}$ 到 $\mathcal{Q} = \prod_{n \to \mathcal{U}} M_n(\mathbb{C})$ 的嵌入 $\iota$，满足 $\chi(\iota(\mathbf{X}): \mathcal{Q}) = \chi(\mathbf{X}:\mathcal{M})$；特别地，由 Voiculescu 的结果，此类嵌入将满足 $\iota(\mathbf{X})' \cap \mathcal{Q} = \mathbb{C}$。此外，我们概述了发展自由独立性与自由 Gibbs 律的模型论版本的一些开放问题与挑战。