[논문 리뷰] Poincaré type inequalities on the discrete cube and in the CAR algebra

L. Ben Efraim, F. Lust-Piquard|ArXiv.org|2007. 02. 08.

Advanced Operator Algebra Research참고 문헌 12인용 수 19

한 줄 요약

이 논문은 Riesz 변환 기법과 비가환 대응을 사용하여 이산 큐브 \{-1,1\}^n 및 CAR 대수에서 차원에 종속되지 않는 L^p Poincaré 부등식을 수립한다. L^p 노름 | abla f|가 f - \mathbb{E}f의 L^p 노름과 그 일반화를 수치 연산자 N을 통해 통제함을 증명하며, 측도 집중 및 \alpha > 1/2인 \Delta^\alpha f에 대한 반대 부등식을 고전적 및 비가환 설정 모두에서 응용한다.

ABSTRACT

We prove Lp Poincare inequalities for functions on the discrete cube and their discrete gradient. We thus recover an exponential inequality and the concentration phenomenon for the uniform probability on the cube first obtained by Bobkov and Gotze. Inequalities involving the discrete gradient and powers of the discrete Laplacian are also considered, for the Lp norm or more general ones. Similar results hold true, replacing functions on the cube by elements of the CAR algebra and considering the annihilation operators and the number operator.

연구 동기 및 목표

• 이산 큐브 \{-1,1\}^n 상의 함수에 대해 최적의 상수를 갖는 차원에 종속되지 않는 L^p Poincaré 부등식을 수립하는 것.
• p-凸성 및 q-여백 조건을 통해 L^p 및 대칭 함수 공간을 포함하는 일반화된 함수 공간 E로 이러한 부등식을 확장하는 것.
• Schatten 노름 C_p 및 페르미온 연산자들을 사용하여 CAR 대수에서 이러한 부등식의 비가환 대응을 개발하는 것.
• \alpha > 1/2인 \Delta^\alpha f를 포함한 반대 부등식을 증명하여 고전적 및 비가환 Poincaré 유형 경계를 일반화하는 것.
• GNS 표현과 연산자의 독립 복사본을 통한 접근 통합을 통해 가우시안 도구를 베르누이 및 페르미온 변수로 대체하는 것.

제안 방법

• 이산 기울기 | abla f|와 수치 연산자 N = \Delta/4를 통한 L^p(\Omega_n) 상의 Riesz 변환 사용.
• L^\infty(\Omega_n)의 GNS 표현에서 좌표 행렬 (Q_1, ..., Q_n)의 독립 복사본 (P_1, ..., P_n) 도입.
• \cos^N \theta(f)를 통한 스펙트럼 사영과 f의 관계를 설정하기 위해 코사인 변환 e^{\theta \mathcal{D}} 적용.
• 부분 집합의 좌표에 대한 노름을 통제하기 위해 추적 보존 자동형사상 T \mapsto \mathcal{R}_{\theta,\mathcal{J}}^* T \mathcal{R}_{\theta,\mathcal{J}} 활용.
• UMD 공간 성질과 쌍대성의 활용을 통한 일반적인 대칭 함수 공간 E로의 결과 확장, K_E 및 K_{E^*} 상수 활용.
• 비가환 L^p 이론을 통해 가우시안 설정에서의 Maurey-Pisier 유형 추론을 이산 및 페르미온 케이스로 적응하는 것.

실험 결과

연구 질문

• RQ1 이산 큐브 \{-1,1\}^n 상의 함수에 대해 명시적이고 균일한 상수를 갖는 차원에 종속되지 않는 L^p Poincaré 부등식을 수립할 수 있는가?
• RQ2 0 < \alpha < 1/2 및 \alpha > 1/2일 때, 이산 기울기 | abla f|의 L^p 노름과 스펙트럼 사영 \Delta^\alpha f의 노름은 어떻게 관련되어 있는가?
• RQ3 p-凸성 및 q-여백 조건을 통해 고전적 Poincaré 부등식을 일반적인 대칭 함수 공간 E로 확장할 수 있는가?
• RQ4 CAR 대수에서 Poincaré 부등식의 비가환 대응은 무엇이며, 페르미온 시스템의 측도 집중과 어떻게 관련되어 있는가?
• RQ5 \alpha > 1/2인 경우 고전적 및 비가환 설정 모두에서 | abla f|와 \Delta^\alpha f 사이의 반대 부등식을 유도할 수 있는가?

주요 결과

• 논문은 임의의 대칭 함수 공간 E에 대해 \|f - \mathbb{E}f\|_E \leq \frac{\pi}{4} K_E \||\nabla f|\|_E 를 증명하며, K_E는 p-凸성 또는 q-여백 상수에 따라 달라진다.
• L^p 공간에 대해 \|f\|_p \leq C\sqrt{p} \||\nabla_{\mathcal{J}} f|\|_p + \|\mathcal{P}_{\bar{\mathcal{J}}} f\|_p 라는 부등식이 전역 상수 C를 갖는다. 이는 모든 1 \leq p < \infty 에 대해 성립한다.
• 이등분 정수 p에 대해 차원에 종속되지 않는 상수 C_p를 갖는 부등식 \||\nabla f|\|_p \leq C_p \|f - \mathbb{E}f\|_p 가 성립하며, Bobkov-Götze 측도 집중을 복원한다.
• \alpha > 1/2일 때 반대 부등식이 수립된다: \||\nabla f|\|_E \leq K_{\alpha,E} \|\Delta^\alpha f\|_E 로서, 고차 라플라스 연산자가 기울기를 통제함을 보여준다.
• CAR 대수에서 Poincaré 부등식 \|T - \mathbb{E}T\|_{C_p} \leq C_p \||\nabla_s T|\|_{C_p} 가 차원에 종속되지 않는 상수를 갖는다. 이는 비가환 설정에서의 측도 집중을 암시한다.
• 정밀화된 부등식 \|\mathcal{V}_{\mathcal{J}} f\|_E \leq \frac{\pi}{4} K_E \||\nabla_{\mathcal{J}} f|\|_E 는 임의의 부분집합 \mathcal{J} \subset \{1,\dots,n\} 에 대해 성립하며, \mathcal{J} 상의 푸리에 계수를 갖는 함수의 국소적 통제를 가능하게 한다.