[논문 리뷰] Poincaré type inequalities for group measure spaces and related transportation cost inequalities

Qiang Zeng|arXiv (Cornell University)|2013. 06. 25.

Advanced Operator Algebra Research참고 문헌 25인용 수 5

한 줄 요약

이 논문은 직교군 표현과 관련된 군 측도 공간 $L_\infty(\Omega_H,\gamma)\rtimes G$에 대해 비가환 Riesz 변환과 승수 이론을 사용하여 상수가 $C\sqrt{p}$인 $L_p$ Poincaré 부등식을 수립한다. 비가환 설정에서 날카로운 운반 비용 부등식을 도출하며, Rieffel의 컴팩트 양자 거리 공간의 새로운 예를 제공하고, 혼돈 추정 기법을 확장한다.

ABSTRACT

Let $G$ be a countable discrete group with an orthogonal representation $α$ on a real Hilbert space $H$. We prove $L_p$ Poincaré inequalities for the group measure space $L_\infty(Ω_H,γ) times G$, where both the group action and the Gaussian measure space $(Ω_H, γ)$ are associated with the representation $α$. The idea of proof comes from Pisier's method on the boundedness of Riesz transform and Lust-Piquard's work on spin systems. Then we deduce a transportation type inequality from the $L_p$ Poincaré inequalities in the general noncommutative setting. This inequality is sharp up to a constant (in the Gaussian setting). Several applications are given, including Wiener/Rademacher chaos estimation and new examples of Rieffel's compact quantum metric spaces.

연구 동기 및 목표

• 직교군 표현에서 유도된 군 측도 공간과 관련된 비가환 $L_p$ 공간에 대해 상수가 $C\sqrt{p}$인 $L_p$ Poincaré 부등식을 수립하는 것.
• 이러한 $L_p$ Poincaré 부등식으로부터 일반적인 비가환 설정에서 운반 비용 부등식을 도출하고, 가우시안 경우에서 상수의 차이를 제외하고 날카로움을 보여주는 것.
• 유도된 부등식과 반응 이론을 이용하여 Rieffel의 컴팩트 양자 거리 공간의 새로운 예를 제공하는 것.
• 비가환 프레임워크 내에서 새로운 부등식을 통해 Wiener와 Rademacher 혼돈 추정 기법을 확장하는 것.

제안 방법

• 가산离산군 $G$와 실 힐베르트 공간 $H$ 위의 직교 표현 $\alpha$로부터 군 측도 공간 $L_\infty(\Omega_H,\gamma)\rtimes G$를 구성하고, 자연스러운 추적을 갖춘다.
• 교차 tích 위에서 오르누슈-울렌벡 반응 $T_t = P_t \otimes \text{id}_{\ell_2(G)}$를 정의하며, 이는 군 측도 공간 위에서 표준 반응으로 제한된다.
• 비가환 Riesz 변환 이론과 완전히 유계 승수를 사용하여, $x - E_{\text{Fix}}x$의 $L_p$ 노름을 $C\sqrt{p}$ 배의 $\Gamma_A(x,x)^{1/2}$의 $L_p$ 노름으로 유계화한다.
• 반응 이론과 스펙트럼 추정(예: 빠른 $s$-감쇠 및 길이 함수 $\psi(g)$의 하한)을 적용하여, 해석적 연산자의 컴팩턴스를 증명하고 $L_p$ Poincaré 부등식을 수립한다.
• 이중성과 비가환 $L_p$-노름 추정을 이용하여, $L_p$ 노름의 편차와 기울기 형식 사이의 관계를 통해 $L_p$ Poincaré 부등식으로부터 운반 비용 부등식을 도출한다.
• 기존의 고전적 및 비가환 확률 이론의 결과와 비교하여, 가우시안 설정에서 결과 부등식이 상수의 차이를 제외하고 날카로움을 검증한다.

실험 결과

연구 질문

• RQ1 직교군 표현에서 유도된 군 측도 공간에 대해 상수가 $C\sqrt{p}$인 $L_p$ Poincaré 부등식을 수립할 수 있는가?
• RQ2 이러한 $L_p$ Poincaré 부등식은 비가환 운반 비용 부등식을 유도할 수 있으며, 가우시안 경우에서 이 부등식이 날카로운가?
• RQ3 유도된 부등식을 통해 Rieffel의 컴팩트 양자 거리 공간의 새로운 예를 어떻게 구성할 수 있는가?
• RQ4 이러한 부등식은 비가환 $L_p$-공간에서 Wiener와 Rademacher 혼돈 이론을 어떻게 확장하는가?

주요 결과

• 논문은 군 측도 공간 $L_\infty(\Omega_H,\gamma)\rtimes G$에서 $2 \leq p < \infty$에 대해 $\|x - E_{\text{Fix}}x\|_p \leq C\sqrt{p} \max\{\|\Gamma_A(x,x)^{1/2}\|_p, \|\Gamma_A(x^*,x^*)^{1/2}\|_p\}$ 형태의 $L_p$ Poincaré 부등식을 증명한다.
• 유도된 운반 비용 부등식은 가우시안 설정에서 상수의 차이를 제외하고 날카로우며, 기존의 로그 Sobolev 부등식에서 Poincaré 유형 부등식으로의 확장을 제공한다.
• 빠른 $s$-감쇠 및 양의 길이 함수 조건 하에, 반세미노름 $\|f\|_{\Gamma,\alpha} = \max\{\|\Gamma_A(f,f)^{1/2}\|_\alpha, \|\Gamma_A(f^*,f^*)^{1/2}\|_\alpha\}$를 통해 Rieffel의 컴팩트 양자 거리 공간의 새로운 예를 구성한다.
• 증명은 비가환 Riesz 변환의 유계성과 스펙트럼 추정에 기반하며, $A^{-1/2}: L_p^0 \to L_\infty^0$가 큰 $p$에 대해 컴팩트함을 보여, 양자 거리 위상에서 단위 구의 상대 컴팩턴스를 암시한다.
• 이 결과는 Efraim과 Lust-Piquard의 워시 시스템과 CAR 대수에 대한 $L_p$ Poincaré 부등식을 비가환 군 측도 공간 설정으로 일반화한다.
• 이 프레임워크는 $C\sqrt{p}$ 상수를 갖는 $L_p$ Poincaré 부등식을 사용하여, 비가환 $L_p$-공간에서 Wiener 및 Rademacher 혼돈을 추정하는 체계적인 방법을 제공한다.