[논문 리뷰] Majorization, Interpolation and noncommutative Khintchine inequalities

Léonard Cadilhac|arXiv (Cornell University)|2018. 12. 10.

Advanced Banach Space Theory참고 문헌 20인용 수 2

한 줄 요약

이 논문은 오른쪽 및 왼쪽 단조성 성질을 통해 쌍 $(L^p(0,\alpha), L^q(0,\alpha))$에 대한 준바나흐 대칭 보간 공간의 특성화를 수립하며, 레비티나, 수코체프, 자닌이 제기한 수열 공간에 대한 추측을 해결하고 비가환 히친 부등식을 대칭 함수 공간으로 확장한다. 주요 기여는 주요화와 보간 사이의 이중성으로, 이는 비가환 $L^p$-공간에서 히친 유형 부등식을 위한 새로운 충분 조건을 가능하게 한다.

ABSTRACT

Let $0<p<q\leq\infty$ and $\alpha \in (0,\infty]$. We give a characterization of quasi-Banach interpolation spaces for the couple $(L_p(0,\alpha),L_q(0,\alpha))$ in terms of two monotonicity properties, extending known results which mainly dealt with Banach spaces. This enables us to recover recent results of Cwikel and Nilsson on sequence spaces and to solve a conjecture of Levitina, Sukochev and Zanin in the setting of function spaces. We apply the results obtained to characterize symmetric spaces in which the standard forms of the noncommutative Khintchine inequalities hold.

연구 동기 및 목표

• 오른쪽 및 왼쪽 단조성 성질을 사용하여 $(L^p(0,\alpha), L^q(0,\alpha))$에 대한 준바나흐 대칭 보간 공간을 특성화한다.
• 레비티나, 수코체프, 자닌이 제기한 수열 공간이 $\ell^p$와 $\ell^2$ 사이의 보간 공간임을 증명하는 추측을 해결한다.
• 주요화 기법을 통해 비가환 히친 부등식 이론을 대칭 함수 공간으로 확장한다.
• 단조성 성질을 통한 $p$-볼록성, $q$-볼록성, 보간 간의 연결 고리를 설정한다.

제안 방법

• 감소 순서 정렬을 통한 오른쪽 및 왼쪽 주요화를 도입: $f \triangleleft g$ 는 $\int_t^\infty f^* \geq \int_t^\infty g^*$ 를 의미하며, $f \succ g$ 는 $\int_0^t f^* \geq \int_0^t g^*$ 를 의미한다.
• 오른쪽-$q$-단조성 및 왼쪽-$p$-단조성 조건을 정의하여, $|f|^q \triangleleft |g|^q$ 또는 $|f|^p \succ |g|^p$ 이면 $g \in E$ 이고 $\|g\|_E \leq C\|f\|_E$ 가 되도록 보장한다.
• 로렌츠-시모가키 유형 정리를 준바나흐 설정으로 일반화하여 고전적 보간 이론을 확장한다.
• K-함수와 보이드 지수를 사용하여 단조성과 보간 성질 간의 관계를 규명한다.
• 비가환 히친 부등식에 이론을 적용하기 위해, 대칭 공간에서 $G_x = \sum x_i \otimes \xi_i$ 의 노름을 분석한다.
• 히친 부등식과 단조성에 의한 보간 간의 등가성을 수립한다: 예를 들어, 왼쪽-2-단조성 조건 하에 $\|G_x\|_E \approx \|x\|_{R_E + C_E}$ 가 성립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 대칭 준바나흐 함수 공간이 $(L^p, L^q)$ 에 대한 보간 공간이 되는가?
• RQ2 레비티나, 수코체프, 자인이 제기한 바와 같이, 오른쪽-2-단조성이 수열 공간에서 $\ell^p$와 $\ell^2$ 사이의 보간 공간을 특성화하는가?
• RQ3 자유 헤어 유니타리 또는 라데마처 변수에 대해 비가환 히친 부등식이 대칭 함수 공간에서 언제 성립하는가?
• RQ4 대칭 공간에서 $p$-볼록성과 $q$-볼록성은 왼쪽 및 오른쪽 단조성과 어떻게 관련되는가?
• RQ5 히친 부등식을 특성화할 때 파투 성질을 완화하거나 제거할 수 있는가?

주요 결과

• 정리 1.2는 대칭 준바나흐 함수 공간 $E$가 오른쪽-$q$-단조성이 되는 것과 $p \leq q$ 인 $p$ 가 존재하여 $E$ 가 $(L^p, L^q)$ 에 대한 보간 공간이 되는 것 사이의 필요충분조건임을 증명하며, 이는 함수 공간 설정에서의 추측을 해결한다.
• 정리 4.1은 대칭 공간 $E$ 가 $(L^p, L^q)$ 에 대한 보간 공간임과 동시에 왼쪽-$p$-단조성과 오른쪽-$q$-단조성이 성립하는 것 사이의 등가성을 보여준다.
• 정리 6.4는 자유 헤어 유니타리에 대해 $\|G_x\|_E \approx \|x\|_{R_E + C_E}$ 이 성립하는 것은 $E \in \mathrm{Int}(L^2, L^\infty)$ 이고, $\|G_x\|_E \approx \|x\|_{R_E}$ 이 성립하는 것은 $E \in \mathrm{Int}(L^p, L^2)$ 를 만족하는 어떤 $p < 2$ 가 존재하는 것과 동치임을 증명한다.
• 정리 6.6은 라데마처 변수에 대해 $\|G_x\|_E \approx \|x\|_{R_E + C_E}$ 가 성립하는 것은 $E \in \mathrm{Int}(L^2, L^q)$ 를 만족하는 어떤 $q > 2$ 가 존재하는 것과 동치이며, $\|G_x\|_E \approx \|x\|_{R_E}$ 가 성립하는 것은 $E \in \mathrm{Int}(L^p, L^2)$ 를 만족하는 어떤 $p < 2$ 가 존재하는 것과 동치임을 보여준다.
• 보조정리 6.5는 히친 부등식이 $L^\infty(0,\alpha)$ 에서 성립하면 $\alpha_E \neq 0$ 임을 증명하며, 이는 히친 성질과 보이드 지수 사이의 연결 고리를 제공한다.
• 논문은 파투 성질 하에서 $p$-볼록성과 $q$-볼록성이 각각 왼쪽-$p$-단조성과 오른쪽-$q$-단조성과 동치임을 보여주며, 기존의 보간을 위한 충분 조건을 일반화한다.