[논문 리뷰] The Wasserstein distance between stationary measures associated to iterated function schemes on the unit interval

Italo Cipriano|arXiv (Cornell University)|2016. 11. 01.

Geometric Analysis and Curvature Flows참고 문헌 36인용 수 3

한 줄 요약

이 논문은 단위구간 위의 반복함수계수(IFS)에 의해 생성되는 정적 측도 간의 1차 Wasserstein 거리에 대해 명시적인 공식과 날카운 근사값을 제공한다. k개의 양수 수축, 부호가 반대인 두 수축, 그리고 다양한 IFS 구성 조건을 분석하며, Cantor 계단과 최적 운반 이론의 성질을 활용하여 특정 무게 및 수축 조건 하에서 닫힌 형식의 해를 도출한다.

ABSTRACT

We provide explicit formulaes for the first Kantorovich-Wasserstein distance between stationary measures for iterated function scheme on the unit interval. In particular, we consider two stationary measures with different configurations of the weights associated to the same iterated function schemes with disjoint images composed of: $k$ positive contractions or $2$ contractions of different sign. We also study the case of two stationary measures associated to different iterated function schemes.

연구 동기 및 목표

• 단위구간 상의 반복함수계수(IFS)에 의해 생성되는 정적 측도 간의 1-Wasserstein 거리에 대한 명시적 공식 유도.
• k ≥ 2개의 양수 수축과 상이한 영역을 갖는 IFS를 고려하여 이전의 정적 측도 간 Wasserstein 거리 연구를 확장.
• 양수와 음수 수축이 각각 하나씩 있는 IFS의 경우, 대칭 무게 조건 하에서 상이한 영역을 갖는 두 수축의 조합을 분석.
• 동일한 IFS에 대한 다른 무게가 아닌, 서로 다른 IFS 간의 정적 측도 간 Wasserstein 거리 분석.
• 최적 운반 이론을 활용하여 프랙탈 및 확률적 환경에서 Wasserstein 거리 추정을 위한 프레임워크 제공.

제안 방법

• 주어진 법칙을 갖는 랜덤 변수의 쌍에 대한 기대 거리의 하한으로 Kantorovich-Wasserstein 거리 공식을 활용.
• 1-Wasserstein 거리(W₁)에 중점을 두고 IFS의 정적 측도에 대한 최적 운반 이론 적용.
• 불변 측도의 재귀적 구조와 Cantor 계단 함수를 활용하여 정적 측도의 누적분포함수 특성화.
• 특정 조건 하에서 명시적 공식 유도: 상이한 영역을 갖는 애프린 수축과 대칭 무게 구성.
• Cantor 계단의 교차 분석을 통한 기하학적 및 측도론적 접근으로 Wasserstein 거리의 상한 도출.
• 레마 3.13을 통해 근사 상한을 확립하고, 비아핀형 및 비대칭 케이스에 적용.

실험 결과

연구 질문

• RQ1 k ≥ 2개의 양수 수축, 상이한 영역, 다른 무게 벡터를 갖는 IFS에 대해 1-Wasserstein 거리의 명시적 공식은 무엇인가?
• RQ2 한 개의 양수 수축과 한 개의 음수 수축을 갖는 IFS에서 대칭 무게 조건 하에 정적 측도 간의 1-Wasserstein 거리는 어떻게 행동하는가?
• RQ3 서로 다른 두 IFS의 정적 측도 간 Wasserstein 거리에 대해 닫힌 형식의 표현식을 도출할 수 있는가? (상이한 영역 조건을 만족할 것)
• RQ4 비표준 Cantor 계단의 교차는 Wasserstein 거리 추정에 어떤 역할을 하는가?
• RQ5 결과는 두 개 이상의 수축 또는 비대칭 무게 분포를 갖는 IFS로 어떻게 일반화되는가?

주요 결과

• k개의 양수 애프린 수축, 상이한 영역, 특정 무게 조건 하에서 $ W_1(\nu_p, \nu_q) $에 대한 명시적 공식 도출.
• 양수와 음수 수축 각각 하나씩, 상이한 영역을 갖는 이원수축 IFS에서 대칭 무게 가정 하에 명시적 공식 확보.
• 상이한 영역을 갖는 k개의 양수 수축 IFS에 대해, 비아핀형 케이스를 초월하여 $ W_1(\nu_p, \nu_q) $의 우수한 근사값 제공.
• 서로 다른 두 IFS의 정적 측도 간 Wasserstein 거리가 상이한 영역, 양수 수축, 특정 구조 조건을 만족할 경우 근사화됨.
• 운반 비용을 상한으로 제한하기 위해 비단조화적이고 비미분 가능성을 갖는 Cantor 계단의 교차 분석에 기반.
• 레마 3.13를 통한 이론적 상한 확립; 비정수 수축 매개변수 및 비대칭 무게를 갖는 예시에서 수치적 검증 수행.