2025-11-23T08:25:15.809780

Reweighting metric measure spaces and Onsager-Machlup

Selk

Given a metric measure space $M:=(X,d,Î¼)$ the Onsager-Machlup (OM) functional is a real valued function that has been seen as a generalized notion of a probability density function. The effect of reweighting the measure on OM functionals has been studied, however analogous reweightings of the metric to the best of our knowledge remain open. In this short note, we prove a transformation formula for OM functionals on geodesic metric measure spaces under reweighting of both the metric and the measure.

academic

메트릭 측도 공간의 재가중치 부여와 Onsager-Machlup

기본 정보

논문 ID: 2510.10591
제목: Reweighting metric measure spaces and Onsager-Machlup
저자: Zachary Selk (Florida State University)
분류: math.PR (확률론), math.MG (메트릭 기하학)
발표 시간: 2025년 10월 14일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.10591

초록

메트릭 측도 공간 $M:=(X,d,\mu)$ 이 주어졌을 때, Onsager-Machlup (OM) 범함수는 확률 밀도 함수의 일반화된 개념으로 간주되는 실수값 함수이다. 측도의 재가중치 부여가 OM 범함수에 미치는 영향은 이미 연구되었지만, 저자의 지식으로는 메트릭의 유사한 재가중치 부여 문제는 여전히 미해결 상태이다. 본 논문은 측지 메트릭 측도 공간에서 메트릭과 측도를 동시에 재가중치 부여할 때 OM 범함수의 변환 공식을 증명한다.

연구 배경 및 동기

문제 배경

무한차원 확률의 어려움: 확률 과정의 자연적 설정인 무한차원 확률에서, 확률 밀도 함수를 정의하기 위한 Lebesgue 측도의 부재는 근본적인 어려움이다.
OM 범함수의 의의: Onsager-Machlup 범함수는 확률 밀도 함수의 일반화된 개념으로, 작은 공의 측도 비율의 극한을 통해 정의된다: $\lim_{r \to 0^+} \frac{\mu(B(r,x))}{\mu(B(r,y))} = \exp(OM(y) - OM(x))$
기존 연구의 한계: 측도 재가중치 부여 하에서의 OM 범함수 변환은 충분히 연구되었지만, 메트릭 재가중치 부여의 영향은 여전히 미지의 영역이다.

연구 동기

OM 이론은 일반 메트릭 측도 공간의 연구 틀 내에 위치할 수 있으므로, 메트릭 변화의 영향을 연구하는 것은 자연스럽다
동등한 메트릭도 서로 다른 OM 범함수를 초래할 수 있음이 알려져 있지만, 메트릭과 측도의 결합 재가중치 부여에 대한 변환 공식이 부족하다
이러한 이론적 공백을 채우는 것은 OM 범함수의 기하학적 성질을 이해하는 데 중요하다

핵심 기여

메트릭-측도 결합 재가중치 부여의 변환 공식 수립: 메트릭 측도 공간 $(X, e^{-U}d_0, e^{-V}\mu_0)$ 에 대해 OM 범함수의 명시적 표현식을 제시
유한차원과 무한차원 경우의 구분: 작은 공 추정 조건을 만족하는 유한차원 공간에서 OM 범함수가 존재하고 명시적 공식을 가짐을 증명; 무한차원 공간에서는 상수가 아닌 메트릭 재가중치 부여가 OM 범함수의 존재성을 파괴함을 증명
구체적인 응용 제공: Riemann 다양체, 가우스 과정 등 중요한 예제의 처리 포함
기하학과 확률의 심층적 연관성 규명: "차트 투영" 유추를 통해 기하학적 변형이 확률 이론에서 하는 역할을 시연

방법론 상세 설명

문제 정의

메트릭 측도 공간 $M_0 = (X, d_0, \mu_0)$ 위에서 다음의 변환을 동시에 수행할 때 OM 범함수가 어떻게 변하는지 연구:

메트릭 변환: $d_0 \mapsto e^{-U}d_0$
측도 변환: $\mu_0 \mapsto e^{-V}\mu_0$

여기서 $U, V: X \to \mathbb{R}$ 는 국소 균일 연속 함수이다.

핵심 정리

정리 1.3 $M_0 := (X, d_0, \mu_0)$ 를 OM 범함수 $OM_0$ 를 갖는 측지 메트릭 측도 공간이라 하자.

(a) 상수 메트릭 재가중치 부여: $U$ 가 상수이면, $OM = OM_0 + V$

(b) 유한차원 경우: 점 $q \in Z$ 가 존재하여 $\lim_{r \to 0^+} \frac{\mu_0(B_0(Cr, q))}{\mu_0(B_0(r, q))} = C^p$ 이면 $OM = OM_0 - pU + V$

(c) 무한차원 경우: 작은 공 추정 $\lim_{r \to 0^+} r^\alpha \log \mu_0(B_0(r, q)) = -C$ 이 존재하고 $U$ 가 상수가 아니면, OM 범함수는 $Z$ 위에서 존재하지 않는다.

기술적 혁신점

메트릭 재가중치 부여의 기하학적 처리: 절대 연속 경로의 적분을 통해 새로운 메트릭 정의: $d(x,y) = \inf\left\{\int_0^1 e^{-U(\gamma(t))}|\dot{\gamma}(t)|dt : \gamma \in AC([0,1], X), \gamma(0)=x, \gamma(1)=y\right\}$
국소 균일 연속성의 활용: $U, V$ 의 국소 균일 연속성을 핵심적으로 활용하여 작은 공의 포함 관계와 측도 추정 제어
작은 공 추정의 분류: 서로 다른 작은 공의 거동(멱법칙 vs 지수 감소)에 따라 유한차원과 무한차원 경우 구분