[논문 리뷰] Field-measure correspondence in Liouville quantum gravity almost surely commutes with all conformal maps simultaneously

Scott Sheffield⋆, Menglu Wang|arXiv (Cornell University)|2016. 05. 19.

Black Holes and Theoretical Physics참고 문헌 20인용 수 10

한 줄 요약

이 논문은 리우빌 양자 중력에서 장-측도 대응이 거의 확실히 모든 동형사상과 동시에 가환함을 입증하며, 양자 중력 이론의 오랜 기초적 문제를 해결한다. 모리파이어 기반 정규화와 동형사상 불변성 기법을 사용하여, 저자들은 거의 확실히 모든 동형사상 하에서 양자 측도가 올바르게 변환됨을 증명하며, 양자 표면을 동형사상에 대한 동치류로 정의하는 데 일관성을 확보한다.

ABSTRACT

In Liouville quantum gravity (or $2d$-Gaussian multiplicative chaos) one seeks to define a measure $μ^h = e^{γh(z)} dz$ where $h$ is an instance of the Gaussian free field on a planar domain $D$. Since $h$ is a distribution, not a function, one needs a regularization procedure to make this precise: for example, one may let $h_ε(z)$ be the average value of $h$ on the circle of radius $ε$ centered at $z$ (or an analogous average defined using a bump function supported inside that circle) and then write $μ^h = \lim_{ε o 0} ε^{\frac{γ^2}{2}} e^{γh_ε(z)} dz$. If $ϕ: ilde D o D$ is a conformal map, one can write $ ilde h = h \circ ϕ+ Q \log |ϕ'|$, where $Q = 2/γ+ γ/2$. The measure $μ^{ ilde h}$ on $ ilde D$ is then a.s.\ equivalent to the pullback via $ϕ^{-1}$ of the measure $μ^h$ on $D$. Interestingly, although this a.s.\ holds for each extit{given} $ϕ$, nobody has ever proved that it a.s.\ holds extit {simultaneously} for all possible $ϕ$. We will prove that this is indeed the case. This is conceptually important because one frequently defines a extit{quantum surface} to be an equivalence class of pairs $(D, h)$ (where pairs such as the $(D,h)$ and $( ilde D, ilde h)$ above are considered equivalent) and it is useful to know that the set of pairs $(D,μ^{h})$ obtained from the set of pairs $(D,h)$ in an equivalence class is itself an equivalence class with respect to the usual measure pullback relation.

연구 동기 및 목표

• 리우빌 양자 중력에서 장-측도 대응이 거의 확실히 모든 동형사상과 동시에 가환하는지 여부라는 열린 문제를 해결하기 위해.
• 양자 측도가 거의 확실히 모든 동형사상 하에서 정확히 변환됨을 입증하여, 양자 표면의 정의에 일관성을 확보하기 위해.
• 개별 동형사상에 대해 알려진 거의 확실한 결과를 모든 동형사상에 걸쳐 균일하고 거의 확실한 결과로 확장하기 위해.
• 양자 표면을 동형사상 동치와 측도 당김 관계에 대한 동치류로 정의하는 이론에 엄밀한 기초를 제공하기 위해.

제안 방법

• 반경 대칭 모리파이어를 사용한 컨볼루션 기반 정규화를 통해 약한 극한으로 리우빌 양자 중력 측도를 정의한다.
• 카한의 가우시안 곱혼돈 이론을 적용하여 극한 측도의 수렴성과 유일성을 보장한다.
• 혼합 또는 자유 경계 조건을 가진 도메인에서 가우시안 자유 장의 반사 확장을 사용하여 경계 행동을 다룬다.
• 반사된 GFF의 마코프 성질을 활용하여 조건부 분포를 제어하고 모멘트 추정을 도출한다.
• 변수 변경 및 좌표 변환 기법을 사용하여 동형사상 하에서의 측도 간 관계를 분석한다.
• 모든 동형사상에 걸쳐 균일 수렴을 제어하기 위해 $\epsilon$ 값의 이진 수열(2의 음의 거듭제곱)을 사용한다.

실험 결과

연구 질문

• RQ1 리우빌 양자 중력에서 장-측도 대응이 거의 확실히 모든 동형사상과 동시에 가환하는가?
• RQ2 개별 동형사상 하에서의 양자 측도의 거의 확실한 수렴을 모든 동형사상에 걸쳐 균일 수렴으로 강화할 수 있는가?
• RQ3 도메인 $D$ 상의 양자 측도 $\mu^h$가 임의의 동형사상 $\phi$ 하에서 $\tilde{D}$ 상의 측도의 당김과 거의 확실히 동치인가?
• RQ4 가우시안 자유 장의 분포적 성격을 감안할 때, 측도의 동형사상 불변성이 모든 동형사상에 걸쳐 균일하게 어떻게 확립될 수 있는가?

주요 결과

• 모리파이어 정규화를 통해 정의된 양자 측도 $\mu^h$는 거의 확실히 모든 동형사상과 동시에 가환한다.
• 모든 동형사상 $\phi: \tilde{D} \to D$에 대해, $\tilde{D}$ 상의 측도 $\mu^{\tilde{h}}$는 거의 확실히 $\phi^{-1}$에 의한 $\mu^h$의 당김과 같다.
• 반사된 GFF와 그 마코프 성질을 사용하여 자유 경계 조건과 혼합 경계 조건 모두에 대해 결과가 성립한다.
• 증명은 다양한 동형사상 하에서 정규화된 장 간의 차이에 대한 균일한 모멘트 추정에 의존하며, 이는 이진 수열을 통한 $\epsilon$ 제어로 이루어진다.
• 수렴은 법적 수렴이 아니라 거의 확실한 수렴이며, 모리파이어의 선택과 무관하다.
• 결과는 표준 측도 당김 관계 하에서 동치류로 정의된 양자 표면이 잘 정의되어 있음을 확인한다.