The skew Brownian permuton: a new universality class for random constrained permutations

기술 요약: 스큐 브라운ian 퍼뮤턴 (The Skew Brownian Permuton)

문제 정의
무작위 순열의 극한에 대한 연구는 특정 통계량(예: 반전, 최장 증가 부분 수열)을 분석하는 것에서부터, 순열 자체를 단위 정사각형 위의 무작위 측량으로 수렴시키는 '퍼뮤턴 극한(permuton limits)'이라는 기하학적 접근법으로 진화해 왔다. 제약된 순열의 다양한 모델들이 특정 무작위 프랙탈 퍼뮤턴으로 수렴함이 밝혀졌는데, 가장 대표적인 것이 브라운ian 분리 가능 퍼뮤턴(separable permuton, 분리 가능 순열의 극한)과 백스터 퍼뮤턴(Baxter permutons, 백스터 순열의 극한)이다. 이러한 대상들은 이전까지 서로 별개의 보편성 클래스(universality classes)로 이해되어 왔다. 본 논문이 다루는 핵심 문제는 이러한 극한 대상들 사이의 관계를 규명하고, 이들을 포괄하며 다른 신규 등장 모델들을 아우를 수 있는 통합된 프레임워크를 구축하는 것이다.

방법론
본 논문은 상관관계가 있는 브라운ian 익스커션(Brownian excursion)에 의해 구동되는 연속 코알레센트-워크 프로세스(continuous coalescent-walk process)를 통해 구축된 새로운 형태의 무작위 퍼뮤턴 군인 **스큐 브라운ian 퍼뮤턴(skew Brownian permuton)**을 소개한다.

1. SDE를 통한 구축: 구축의 핵심은 $u \in [0, 1]$에 의해 인덱싱되고, 비음수 영역에서의 2차원 상관 브라운ian 익스커션 $E_\rho = (X_\rho, Y_\rho)$에 의해 구동되는 SDE들의 가족이다. **스큐 변형 타나카 방정식(skew perturbed Tanaka equations)**이라 불리는 이 식은 다음과 같다:
   $$dZ^{(u)}_{\rho,q}(t) = \mathbb{1}_{\{Z^{(u)}_{\rho,q}(t)>0\}} dY_\rho(t) - \mathbb{1}_{\{Z^{(u)}_{\rho,q}(t)\le0\}} dX_\rho(t) + (2q - 1) \cdot dL^{Z^{(u)}_{\rho,q}}_t$$
   여기서 $L$은 0에서의 대칭 로컬 타임(local time)이며, $\rho \in (-1, 1]$은 상관 매개변수, $q \in [0, 1]$은 스큐니스(skewness) 매개변수이다.
2. 존재성 및 유일성: 저자는 이 SDE들의 존재성과 경로적 유일성(pathwise uniqueness)을 증명한다. $\rho \in (-1, 1)$인 경우, 이는 상관 브라운ian 모션에 의해 구동되는 대응 방정식에 대한 경로적 유일성을 확립함으로써(절대 연속성 논증 및 변형된 타나카 방정식에 관한 문헌 결과 활용) 달성된다. 퇴화된 경우인 $\rho = 1$에서, 구동 프로세스가 1차원 브라운ian 익스커션으로 축소될 때, 저자는 하지리(Hajri)와 르 잠-레이몽(Le Jan–Raimond)에서 영감을 얻은 확률적 맵의 흐름(stochastic flows of maps)에 기반한 구성을 사용하여, 구동 프로세스만으로는 측정될 수 없는 추가적인 무작위성을 필요로 하는 해를 정의한다.
3. 퍼뮤턴 정의: 프로세스 집합 $\{Z^{(u)}_{\rho,q}\}_{u \in [0,1]}$로부터, "연속 순열"을 나타내는 확률 과정 $\phi_{Z_{\rho,q}}$가 정의된다. 스큐 브라운ian 퍼뮤턴 $\mu_{\rho,q}$는 사상(mapping) $(\text{Id}, \phi_{Z_{\rho,q}})$를 통한 르베그 측도의 푸시포워드(push-forward)로 정의된다.

주요 기여 및 결과

• 보편성 클래스의 통합: 본 논문의 주요 기여는 스큐 브라운ian 퍼뮤턴을 더 큰 새로운 보편성 클래스로 식별한 것이다. 본 논문은 다음을 증명한다:

  • 백스터 퍼뮤턴은 $\rho = -1/2$ 이고 $q = 1/2$ 인 특수한 경우에 해당한다.
  • 편향된 브라운ian 분리 가능 퍼뮤턴(치환 폐쇄 클래스의 균등 순열의 극한)은 $\rho = 1$ 이고 $q = 1-p$ ($p$는 편향 매개변수)인 경우에 해당한다.
    이는 이전에 별개였던 두 가지 극한 대상을 단일 매개변수 가족 아래로 통합한다.

• 이산 모델의 수렴: 본 논문은 스큐 브라운ian 퍼뮤턴이 여러 특정 무작위 제약 순열 가족의 극한임을 입증한다. 특히, 다음을 인용하는 동반 연구 [Bor22]를 언급한다:

  • 강한 백스터(Strong-Baxter) 순열은 비퇴화 매개변수($\rho \approx -0.2151, q \approx 0.3008$)를 가진 스큐 브라운ian 퍼뮤턴으로 수렴한다.
  • 세미 백스터(Semi-Baxter) 순열은 $\rho = (-1+\sqrt{5})/4$ 이고 $q = 1/2$ 인 스큐 브라운ian 퍼뮤턴으로 수렴한다.
    이는 이 가족이 기존에 알려진 순열 모델들에 의해 실현되지 않았던 범위의 매개변수들을 포괄함을 보여준다.

• 리우빌 양자 중력(LQG) 및 SLE와의 연결: 본 논문은 스큐 브라운ian 퍼뮤턴과 두 개의 결합된 슐람-로너웨 과정(SLE) 곡선으로 장식된 **리우빌 양자 중력(LQG) 구(sphere)**의 기하학 사이의 직접적인 연결을 확립한다. 구체적으로, $\gamma$-LQG 구 위에서 두 개의 공간 충전(space-filling) SLE 곡선의 상호작용에 의해 유도된 퍼뮤턴이 스큐 브라운ian 퍼뮤턴임을 증명한다. 매개변수 $\rho$와 $q$는 LQG 매개변수 $\gamma$ 및 SLE 각도 $\theta$와 연결된다. 이 결과는 이산 조합 모델(제약된 순열)과 연속 무작위 기하학(장식된 평면 맵) 사이의 가교 역할을 한다.

• 수학적 엄밀성: 본 논문은 허용 가능한 모든 매개변수 $(\rho, q) \in (-1, 1] \times [0, 1]$에 대해 스큐 브라운ian 퍼뮤턴의 잘 정의됨을 엄밀하게 증명하며, 특히 표준적인 의미에서 경로적 유일성이 실패하는 $\rho=1$ 케이스의 기술적 처리를 포함한다.

의의
본 논문은 백스터 퍼뮤턴과 편향된 브라운ian 분리 가능 퍼뮤턴을 하나로 묶는 새로운 보편성 클래스를 식별하고, 단일 구성을 통해 그 관계를 설명한다고 주장한다. 이산적인 순열 모델과 이산적인 평면 맵 모델 사이의 수렴 결과를 전이할 수 있는 강력한 도구를 제공한다. 또한, SLE로 장식된 LQG 구와 관련된 양들에 대한 새로운 SDE 해석을 제공하는데, 이는 기존의 리우빌 양자 중력 문헌에서 명시적으로 활용되지 않았던 연결점이다.

미해결 문제
논문은 다음과 같은 몇 가지 열린 문제들을 제시하며 마무리된다:

• 스큐 브라운ian 퍼뮤턴의 강도 측도(intensity measure)와 하우스도르프 차원 결정.
• 기저가 되는 확률 과정 $\phi_{Z_{\rho,q}}$의 성질 분석.
• 퍼뮤턴 내 패턴 출현의 극한 분포 계산.
• 이 극한으로 수렴하는 순열의 최장 증가 부분 수열 길이 조사.
• $\rho = -1$ 케이스로의 확장 및 편향된 브라운ian 분리 가능 퍼뮤턴과 임계 2-LQG 구 사이의 연결 확립.