마코프 볼록성 및 왜곡된 거리의 지역 강직성

본 논문은 Banach 공간의 p‑볼록성(모듈러스가 p‑형태를 갖는 균등 볼록성)과 마코프 p‑볼록성 사이의 정확한 동치성을 증명함으로써, 리베 프로그램의 중요한 부분을 완성한다. 먼저, p‑볼록성을 정의하고, 이를 만족하는 Banach 공간이 Markov p‑볼록성을 갖는다는 기존 결과를 재확인한다. 이어서, Pisier의 비선형 변형 기법을 활용해, 마코프 체인에 대한 불평등 (3)을 만족하는 상수 Π가 존재함을 보이며, 반대로 Markov p‑볼록성을 가정하면 p‑볼록성을 얻을 수 있음을 증명한다(정리 1.3). 이 과정에서 마코프 체인의 시간‑스케일 변환과 비선형 평균값 불평등을 정교히 다루어, 선형 이론을 비선형 메트릭 환경에 성공적으로 옮긴다. 다음으로, 마코프 p‑볼록성이 Lipschitz quotient에 의해 보존된다는 정리(정리 1.4)를 제시한다. Gromov가 정의한 Lipschitz quotient는 거리 보존뿐 아니라 “열린성” 조건을 만족하는 사상으로, 원공간의 마코프 볼록성 상수가 그대로 이미지 공간에 전이됨을 보인다. 이는 기존에 Banach 공간에 대해서만 알려졌던 결과를 일반 메트릭 공간으로 확장한다. 핵심적인 반례는 두 가지 주요 섹션에서 제시된다. 첫 번째는 ‘doubling’ 메트릭 공간을 구성하여, 모든 p∈(0,∞)에 대해 마코프 p‑볼록성을 만족하지 않음에도 불구하고 이진 트리 Bₙ의 임베딩 왜곡 c_X(Bₙ)이 무한히 커지는 경우를 만든다(정리 1.5). 이 공간은 Laakso 그래프의 변형으로, 그래프의 전이 확률을 조절해 마코프 체인의 평균 거리 감소를 억제한다. 결과적으로, 트리 메트릭이 마코프 볼록성의 ‘이분법’ 성질을 위반한다는 것을 보인다. 두 번째 반례는 이진 트리 자체에 대한 지역 강직성 부정이다(정리 1.12). 임의의 D>4에 대해 원래의 최단 경로 거리와 D‑동등한 새로운 거리 d를 정의하고, 이 거리 하에서 무한 이진 트리 B_∞의 모든 유한 깊이 부분트리 B_m이 D‑ε 이하의 왜곡으로 임베딩될 수 없음을 보인다. 이는 기존의 ‘트리 이분법’(정리 1.7)이 Banach 공간에만 적용되는 특수한 현상임을 강조한다. 또한, Laakso 그래프의 n‑점 버전에 대해 p‑볼록 Banach 공간으로의 임베딩 왜곡이 Ω((log n)^{1/p}) 이하가 될 수 없다는 하한을 증명한다(정리 1.6). 이는 p>2인 경우에도 2‑볼록성만으로는 얻을 수 없던 새로운 하한이며, 마코프 p‑볼록성의 응용 가능성을 확대한다. 논문은 마지막으로 여러 열린 문제를 제시하며, 마코프 볼록성의 더 넓은 범위와 그 보존 성질, 그리고 트리와 같은 특수 메트릭 구조에 대한 추가 연구의 필요성을 강조한다. 전체적으로, 마코프 볼록성이라는 비선형 지표가 Banach 공간 이론과 메트릭 기하 사이를 연결하는 핵심 다리임을 확인하고, 그 한계와 보존 성질을 정밀히 분석함으로써 리베 프로그램의 중요한 부분을 완성한다.