Carnot 군 경로공간에서의 Talagrand 전송 부등식

초록

본 논문은 Carnot 군 위에 정의된 브라운 운동(특히 그 러프 경로 형태)의 법칙에 대해 Talagrand‑type T₂ 전송 부등식을 구축한다. 직접적인 Föllmer 드리프트와 수축 원리를 이용한 경로공간 접근, 그리고 열핵 측도에 대한 로그‑Sobolev 부등식으로부터 유도하는 bottom‑up 방법을 제시한다. 또한 적응형 커플링에서의 등식 성립, 비용 함수 C_H의 Γ‑수렴, 그리고 Heisenberg 군의 리만 근사에서 나타나는 상위‑하위 투사 실패 현상을 분석한다.

상세 분석

이 연구는 두 차원 이상의 비가환 서브리만지안 구조인 step‑2 Carnot 군 G 위에 정의된 강화된 브라운 운동(즉, 자유 단계‑2 닐포텐트 군으로의 리프트) µ 에 대해 Talagrand‑type T₂ 전송 부등식 µ ∈ T₂(Ω_G, C_H, α) 를 증명한다. 여기서 비용 함수 C_H는 전통적인 Cameron–Martin 거리와 동일하게, 경로 ω가 Cameron–Martin 변위 T_h 에 의해 얻어질 경우 ‖h‖_H 로 정의되고, 그 외에는 무한대로 설정한다. 이는 rough path 이론에서 자연스럽게 등장하는 shift 연산 T_h와 일치한다.

첫 번째 증명은 Föllmer의 내재 드리프트를 이용한다. G‑값 브라운 운동 B_t에 대해 Girsanov 정리를 적용해 µ와 임의의 절대연속 측도 ν 사이의 최적 커플링을 구성하고, 비용 C_H와 엔트로피 H(ν‖µ) 사이에 정확히 2배 관계가 성립함을 보인다. 특히 적응형 커플링(시간에 따라 필터링된 커플링)만을 허용하면 등식이 달성됨을 확인한다. 이는 기존 유클리드 경우와 달리 비가환 구조에서도 적응형 최적 전송이 의미를 갖는다는 중요한 통찰을 제공한다.

두 번째 접근은 수축 원리(contraction principle)를 활용한다. 표준 유클리드 브라운 운동의 Wiener 측도는 이미 T₂(c_H, 1) 를 만족한다는 것이 알려져 있다. 이를 Carnot 군으로의 리프트 연산 ψ: C₀(