[论文解读] The Grothendieck Inequality Revisited

Ron C. Blei|arXiv (Cornell University)|Nov 30, 2011

Advanced Topology and Set Theory参考文献 37被引用 11

一句话总结

本文通过构造一个从 l²(A) 到 L²(Ω_A, ℙ_A) 的非线性、连续映射 Φ，将经典的格罗滕迪克不等式推广到连续设定，使得内积 ⟨x,y⟩ 等于 Φ(x)Φ(ȳ) 关于 ℙ_A 的积分，且 Φ 在 L∞-范数下有界。该结果建立了多重线性帕塞瓦尔型公式，并通过积分表示刻画了希尔伯特空间上投影连续的多重线性泛函，将格罗滕迪克型不等式推广至高维及拓扑定义域。

ABSTRACT

The classical Grothendieck inequality is viewed as a statement about representations of functions of two variables over discrete domains by integrals of two-fold products of functions of one variable. An analogous statement is proved, concerning continuous functions of two variables over general topological domains. The main result is a construction of a continuous map $Φ$ from $l^2(A)$ into $L^2(Ω_A, P_A)$, where $A$ is a set, $Ω_A = {-1,1}^A$, and $P_A$ is the uniform probability measure on $Ω_A$, such that $$\sum_{α\in A} x(α) \bar{y}(α)} = \int_{Ω_A} Φ(x)Φ(\bar{y})dP_A, x \in l^2(A), y \in l^2(A),$$ and $$ |Φ(x)|_{L^{\infty}} \leq K |x|_2, x \in l^2(A),$$ for an absolute constant $K > 1$. ($Φ$ is non-linear, and does not commute with complex conjugation.) The bilinear Parseval-like formula above is obtained by iterating the usual Parseval formula in a framework of harmonic analysis on dyadic groups. A modified construction implies a similar integral representation of the dual action between $l^p$ and $l^q$, \ $1/p + 1/q= 1$. Parseval-like formulas are derived in higher dimensions. These variants involve representations of functions of $n$ variables in terms of functions of $k$ variables, $0 < k < n$. Multilinear extensions of the Grothendieck inequality are obtained, and are used to characterize the feasibility of integral representations of multilinear functionals on a Hilbert space.

研究动机与目标

• 通过积分表示，将经典的格罗滕迪克不等式从离散情形推广至连续拓扑域。
• 构造一个非线性映射 Φ: l²(A) → L²(Ω_A, ℙ_A)，通过积分保持内积，并满足帕塞瓦尔型恒等式。
• 通过乘积空间上的核测度，刻画希尔伯特空间上投影有界且连续的多重线性泛函。
• 利用分数阶笛卡尔积与覆盖序列，推导格罗滕迪克不等式的多重线性推广。
• 研究多重线性泛函分析中投影有界性与连续性之间的关系。

提出的方法

• 利用二进制群上的调和分析，并迭代应用经典帕塞瓦尔公式，构造非线性映射 Φ。
• 采用雷米歇尔与沃尔什特征函数，表示康托群 Ω_A = {−1,1}^A 上的函数，并通过沃尔什级数定义 Φ。
• 利用里斯积确保 Φ 在 L² 与 L∞ 范数下的测度收敛性与连续性。
• 应用投影有界性与连续性准则，通过乘积空间上的积分核刻画多重线性泛函。
• 通过将双线性恒等式 ∑x(α)ȳ(α) = ∫Φ(x)Φ(ȳ) dℙ_A 推广至 n-线性型，推导出多重线性帕塞瓦尔型公式。
• 引入分数阶笛卡尔积与覆盖序列 (S₁,…,Sₙ)，以建模多重线性泛函并有界其算子范数。

实验结果

研究问题

• RQ1 能否通过积分表示，将经典的格罗滕迪克不等式推广至一般拓扑域上的连续函数？
• RQ2 是否存在一个非线性、连续的映射 Φ: l²(A) → L²(Ω_A, ℙ_A)，使得对所有 x,y ∈ l²(A)，内积 ⟨x,y⟩ 等于 ∫Φ(x)Φ(ȳ) dℙ_A？
• RQ3 希尔伯特空间上多重线性泛函的投影有界性与投影连续性之间存在何种关系？
• RQ4 利用覆盖序列与分数阶笛卡尔积，格罗滕迪克型不等式如何推广至高阶多重线性型？
• RQ5 一个多重线性泛函的核能否表示为康托群上复测度的傅里叶变换？这是否意味着投影有界性？

主要发现

• 存在一个连续的非线性映射 Φ: l²(A) → L²(Ω_A, ℙ_A)，使得对所有 x,y ∈ l²(A)，有 ⟨x,y⟩ = ∫Φ(x)Φ(ȳ) dℙ_A，并满足帕塞瓦尔型恒等式。
• 映射 Φ 满足 ‖Φ(x)‖_{L∞} ≤ K‖x‖₂，其中 K > 1 为绝对常数，确立了其在essential sup-范数下的有界性。
• 该构造导出了 n-线性泛函的多重线性帕塞瓦尔型公式，将双线性情形推广至高维。
• 希尔伯特空间上投影连续的多重线性泛函可通过康托群 Ω_A^n 上的存在表示测度来刻画。
• 覆盖序列的格罗滕迪克常数至多呈指数增长，最优界为 O(K^{kn})，其中序列大小为 k，共 n 个部分。
• 对于拓扑空间，有 G₂(X×Y) = ˜V₂(X×Y) 成立，暗示在连续设定下存在一个改进的格罗滕迪克定理，但常数 K_GC(X×Y) 的确切作用尚待澄清。