奧恩斯坦-烏倫貝克半群與超收縮性（Ornstein-Uhlenbeck semigroup, hypercontractivity）
/ OR-n-stine OO-len-bek; hyper-con-TRAK-tiv-it-ee /
在高斯測度上有一個典範動力學，在任意函數與其平均之間內插——奧恩斯坦-烏倫貝克半群。它是高斯世界的熱流，而其最驚人的單一性質，超收縮性（Nelson），是它不僅平滑函數，更實際「改善其可積性」：在適當時間下，它把 L^p 函數映入嚴格更高的 L^q。這是高斯分析中最深的泛函不等式之一，與對數索伯列夫不等式等價。
設 gamma 為標準高斯測度。OU 半群依 Mehler 公式作用：(P_t f)(x) = integral f( exp(-t) x + sqrt(1 - exp(-2t)) y ) gamma(dy)，它把 f 對一個高斯重隨機化求平均，該重隨機化以 exp(-t) 衰減輸入並補上新鮮的獨立噪音。當 t -> 0 它是恆等；當 t -> infinity 它把每個 f 送到其高斯平均 E_gamma[f]；它是每個 L^p(gamma) 上的壓縮半群，平穩（不變且可逆）測度為 gamma。其生成元是 OU 算子 L f = Delta f - x . grad f，特徵函數為厄米多項式：L H_n = -n H_n，故 P_t 在第 n 維納混沌上作用為乘以 exp(-n t)——混沌分解把半群對角化。Nelson 超收縮性定理：對 1 < p <= q < infinity，映射 P_t : L^p(gamma) -> L^q(gamma) 的範數恰為 1（壓縮入較大空間），「當且僅當」exp(2t) >= (q - 1)/(p - 1)。故等待時間 t 為你換來從 p 到那個銳利不等式所容許的最大 q 的可積性升級。
重要性：超收縮性等價（Gross）於高斯對數索伯列夫不等式，並經由它控制特徵函數估計、集中、混合速率、布林函數分析（經離散立方體類比）、以及 Nelson 的原始用途——證明量子場論中的穩定性界。誠實的細節：閾值 exp(2t) >= (q-1)/(p-1) 是「銳利」的，且在 p = 1 處失效（L^1 無改善）；且超收縮性確實強於普通收縮性（P_t 免費縮小 L^p 範數）——其內涵是從 p 「向上」跳到 q，這對如高斯這類對數凹測度才成立。
取 p = 2 並問時間 t 可達的最大 q：閾值給出 q = 1 + exp(2t)。故 P_t 把 L^2(gamma) 壓縮地映入 L^(1 + exp(2t))(gamma)。在單一厄米模上，P_t H_n = exp(-n t) H_n 顯示衰減率隨混沌階 n 增長——高頻（高次）分量被最快平滑掉。
超收縮性：在時間 t，只要 exp(2t) >= (q-1)/(p-1)，OU 半群便把 L^p 提升至 L^q；混沌 H_n 以速率 exp(-nt) 衰減。
超收縮性是從 L^p 「跳」到嚴格更大的 L^q，帶有銳利的時間閾值；它在 p = 1 處失效，並與高斯對數索伯列夫不等式等價。