核心概念
本文將 Bufetov 關於自由群作用下偶數半徑球面平均的逐點遍歷定理推廣到更一般的非交換 Orlicz 空間,並證明了非交換 Rota 定理。
摘要
自由群作用下非交換球面平均的收斂性
這篇研究論文探討了與自由群或自由半群 Fm 的作用相關的平均算子的遍歷定理,特別是在非交換空間(量子設定)中的應用。
遍歷理論起源於古典測度空間,由 Birkhoff 和 von Neumann 於 1930 年代開創。非交換遍歷定理則最早出現在 Lance (1976) 的研究中。Yeadon (1977, 1980) 獲得了關於半有限馮諾伊曼代數的前對偶上的正減法、子酉映射作用的最大遍歷定理,並證明了與非交換 L1 空間相關的逐點遍歷定理。Junge 和 Xu (2007) 使用插值技術將 Yeadon 的弱類型 (1, 1) 最大遍歷不等式推廣到非交換 Lp 空間,並用它證明了 Dunford-Schwartz 算子在 1 < p < ∞ 的非交換 Lp 空間中的個體遍歷定理。
本文的主要結果是建立了非交換 Bufetov 逐點遍歷定理。具體來說,作者不僅證明了自由群作用在非交換 L log L 空間上的 Bufetov 逐點遍歷定理,還將其推廣到更一般的非交換 Orlicz 空間。
定理 1.4 (非交換 Bufetov 遍歷定理) 令 M 為一個配備了忠實正半有限跡 τ 的馮諾伊曼代數,Φ : [0, ∞) 是一個 Orlicz 函數,使得 [0, ∞) ∋ t → (Φ(t))^(1/p) 對於某個 p > 1 是凸的。對於每個 1 ≤ i ≤ m,假設 αi : (M, τ) → (M, τ) 是一個因子化 τ 保持馬爾可夫算子。那麼我們有以下結果:
(1) 對於任何 x ∈ LΦ(M, τ),序列 (S2n(x)) 雙邊幾乎一致收斂到 E(2)(x)。
(2) 此外,假設函數 eΦ(t) = Φ(√t) 對於 t ∈ [1, ∞) 也是 p-凸的。那麼對於任何 x ∈ LΦ(M, τ),序列 (S2n(x)) 幾乎一致收斂到 E(2)(x)。
其中 E(2) 是在定理 4.4 之前定義的。特別是,(1) 對於所有 x ∈ L log L(M, τ) 都成立,即序列 (S2n(x)) 對於所有 x ∈ L log L(M, τ) 都雙邊幾乎一致收斂。
為了證明這個定理,作者遵循了 Anantharaman-Delaroche 的方法,並證明了 Rota 的“交替過程”定理的非交換版本。然後用它來建立非交換 Orlicz 空間中的 Bufetov 遍歷定理。