[논문 리뷰] The Grothendieck Inequality Revisited

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

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 내적 ⟨x,y⟩가 Φ(x)Φ(ȳ)의 ℙ_A에 대한 적분과 일치하는 비선형 연속 사상 Φ: l²(A) → L²(Ω_A, ℙ_A)가 존재하는가?
• RQ3 힐버트 공간 위의 다중선형 함수형에서 프로젝티브 유계성과 프로젝티브 연속성 사이의 관계는 무엇인가?
• RQ4 커버링 수열과 분수적 카르테시안 곱을 사용하여 그로텐디크 유형 부등식은 고차원 다중선형 형식으로 어떻게 일반화되는가?
• RQ5 다중선형 함수형의 커널은 캔터 군 위의 복소측도의 푸리에 변환으로 표현될 수 있으며, 이는 프로젝티브 유계성을 암시하는가?

주요 결과

• 모든 x,y ∈ l²(A)에 대해 ⟨x,y⟩ = ∫Φ(x)Φ(ȳ) dℙ_A를 만족하는 연속적 비선형 사상 Φ: l²(A) → L²(Ω_A, ℙ_A)가 존재하며, 이는 파르세발 유사 항등식을 만족한다.
• Φ는 ‖Φ(x)‖_{L∞} ≤ K‖x‖₂를 만족하며, 절대 상수 K > 1에 대해 L∞-노름에서 유계이다.
• 이 구성은 이차형의 경우를 고차원으로 확장한 다중선형 파르세발 유사 공식을 유도한다.
• 힐버트 공간 위에서 프로젝티브로 연속적인 다중선형 함수형은 캔터 군 Ω_A^n 위의 표현 측도의 존재성으로 특성화된다.
• 커버링 수열을 위한 그로텐디크 상수는 최대 지수적으로 증가하며, 크기 k와 n개의 부분으로 구성된 수열에 대해 최적의 유계는 O(K^{kn})이다.
• 위상공간에 대해 G₂(X×Y) = ˜V₂(X×Y)가 성립하며, 이는 연속적 설정에서 개선된 그로텐디크 정리의 가능성을 시사하지만, 상수 K_GC(X×Y)의 정확한 역할은 아직 미해결이다.