일반 장벽 위의 진정 자기반발 운동

본 논문은 “진정 자기반발 운동(True Self‑Repelling Motion, TSRM)”이라는 연속시간 확률 과정을 일반적인 장벽 위에 확장하는 연구이다. 원래 TSRM은 토스와 베르너(1998)가 제시했으며, x축(즉, λ(t)=0)을 장벽으로 삼아, 모든 (x,h)∈ℝ×(0,∞)에서 시작하는 반사·흡수 브라운 운동(RAB)을 무수히 많이 배치하고, 이들 간에 만나면 공융(coalesce)하도록 설계하였다. 이러한 구조는 “전방 라인(forward line)”과 “뒤쪽 라인(backward line)”이라는 두 개의 무한 시스템을 통해 정의되며, 특정 면적 조건을 만족하는 유일한 (x,h) 를 찾아 그 x 를 TSRM의 위치 X_t 로 설정한다. 저자는 이 기본 틀을 크게 일반화한다. 장벽을 임의의 연속 함수 λ:ℝ→ℝ 로 두고, 추가 파라미터 χ∈ℝ 를 도입해 (λ, χ)-RAB를 정의한다. (λ, χ)-RAB는 시작점 (x,h) 가 λ 위에 있을 경우에만 정의되며, x<χ 구간에서는 λ에 대해 반사, x≥χ 구간에서는 λ에 흡수되는 브라운 운동이다. 이 정의는 기존의 x축 장벽을 χ=0, λ≡0인 경우와 일치한다. 다음 단계는 무수히 많은 (λ, χ)-RAB들을 동시에 구성하는 것이다. 저자는 먼저 “유한 독립 공융 RAB”(λ, χ)-FICRAB를 정의한다. 이는 n개의 시작점에 대해 각각 독립적인 (λ, χ)-RAB를 생성하고, 각 경로가 기존 경로와 만나면 그 뒤부터는 만난 경로를 따라가도록 하는 절차이다. 이 과정은 순서에 독립적이며, 각 경로는 거의 확실히 정의된다. 그 후, dyadic rational 집합 D²를 열거하고, 각 (ẋ_n,ĥ_n)∈D²에 대해 FICRAB를 할당한다. 임의의 (x,h)∈ℝ²에 대해서는 supremum 연산을 이용해 Λ(x,h)(y)=sup{Λ(ẋ_n,ĥ_n)(y) | ẋ_n0에 대해, 전방·뒤쪽 라인으로 형성된 영역의 “면적”(즉, Λ와 Λ* 사이의 적분값)이 정확히 t가 되도록 하는 유일한 (x,h) 를 찾고, 그 x 를 X_t 로 정의한다. 이 정의는 기존 TSRM의 “면적‑시간 대응”을 그대로 유지하면서, λ와 χ에 따라 복잡한 반사·흡수 구조를 포함한다. 저자는 X_t 가 연속이며, 마르코프성, 자기반발성(현재 위치가 과거 방문 횟수에 의해 밀려나는 성질) 등을 증명한다. 또한, λ가 브라운 운동인 경우에도 정의가 정상적으로 작동함을 확인해, 기존 연구에서 다루지 못했던 “브라운 장벽 위의 TSRM”을 최초로 구축한다. 논문 전반에 걸쳐 사용된 주요 기법은 (i) 무수히 많은 브라운 경로를 다루는 “무계산(coalescing) 구조”의 정밀한 확률적 구축, (ii) dyadic rational 기반의 근사와 supremum 연산을 통한 전역 정의, (iii) “nice” 조건을 통한 불규칙 장벽 제어, (iv) 전방·뒤쪽 라인 사이의 대칭성 이용이다. 이러한 기법들은 기존 Brownian web 이론과는 차별화되며, 특히 장벽이 임의의 연속 함수일 때도 공융성을 유지할 수 있음을 보여준다. 결과적으로, 이 연구는 (a) 일반적인 연속 장벽 위에서의 (λ, χ)-RAB 존재와 공융성, (b) 전방·뒤쪽 라인 시스템을 통한 (λ, χ)-TSRM 정의, (c) 불규칙 장벽에 대한 최소한의 “nice” 조건 제시라는 세 가지 주요 기여를 제공한다. 이는 자기반발 확률 과정, 인터랙티브 입자 시스템(TASEP, lifted TASEP 등), 그리고 스케일링 한계 이론 등 다양한 분야에서 새로운 모델링 도구로 활용될 가능성을 열어준다.