On perturbations that preserve the connectivity properties in tree percolations

기술 요약: 트리 퍼콜레이션에서의 연결성 특성을 보존하는 섭동에 관하여

문제 정의
본 논문은 무한하고 국소 유한한 트리(locally finite trees) 상에서 정의된 일반적인 결합 퍼콜레이션(bond percolation) 모델의 연결성 특성에 대한 안정성을 조사한다. 저자들은 에지 유지 확률 $p_e$가 레벨 의존적 섭동(level-dependent perturbation)을 받을 때, 무한 클러스터의 존재 여부가 어떻게 영향을 받는지 검토한다. 이 섭동은 원래의 확률 $p_e$를 $\{q_n\}_{n \ge 1}$인 양의 인수를 사용하여 $\min\{1, q_{|e|}p_e\}$로 대체하며, 여기서 $|e|$는 루트로부터 에지의 그래프 거리이다.

이 연구는 두 가지 구별되는 체제를 다룬다:

1. 부재의 안정성 (Stability of Absence): 원래 모델이 무한 클러스터를 허용하지 않는다면($P_p(I)=0$), 연결성을 강화하는 섭동 $q_n \ge 1$ 하에서도 시스템이 무한 클러스터가 없는 상태를 유지하기 위한 조건은 무엇인가?
2. 존재의 안정성 (Stability of Existence): 원래 모델이 무한 클러스터(구체적으로, 양의 확률을 가진 비가산 경계 클러스터)를 갖는다면, 연결성을 희석하는 섭동 $0 < q_n \le 1$ 하에서도 무한 클러스터의 존재가 지속되기 위한 조건은 무엇인가?

저자들은 자명한 섭동(곱 $\prod q_n$이 0이 아닌 유한한 극한으로 수렴하는 경우)은 단순히 확률을 재조정할 뿐이지만, "진정으로 흥미로운" 경우는 발산하는 섭동($\prod q_n = 0$인 누적 희석 또는 $\prod q_n = \infty$인 누적 강화)을 포함한다는 점에 주목한다. 단순한 반례들은 특정 구조적 조건이 트리나 퍼콜레이션 모델에 주어지지 않는 한 안정성이 보장되지 않음을 보여준다.

방법론
증명은 이산 잠재 이론(discrete potential theory)의 결과인 **리온스(Lyons)의 용량 특징화(capacity characterisation)**에 크게 의존한다. 핵심 방법론은 다음과 같다:

• 용량 및 에너지 (Capacity and Energy): 집합 $E \subseteq \partial T$로의 퍼콜레이션 확률과 집합의 용량 $capp(E)$사이의 관계를 활용한다. 이 용량은 게이지 함수$\Psi_p(x) = 1/P_p[o \to x]$와 관련된 에너지 범함수$E_p(\mu)$를 통해 정의된다.
• 리온스의 정리 (Lyons' Theorem): 확률적 연결성을 잠재론적 용량과 연결하는 부등식 $capp(E) \le P_p[o \to E] \le 2capp(E)$를 적용한다.
• 섭동 분석 (Perturbation Analysis): 섭동된 확률 $qp$하에서 에너지 범함수가 어떻게 변하는지 분석한다. 저자들은 특정 섭동 수열${q_n}$을 구성하고, 특정 발산 조건 하에서 섭동된 에너지 범함수의 유한성(및 따라서 양의 용량)이 보존됨을 입증한다.
• 보조 정리 (Auxiliary Lemmas): 증명에는 합산 가능한 수열에 관한 기초적인 보조 정리들이 사용되며, 이를 통해 섭동된 에너지 범함수의 수렴을 보장하는 엄격하게 증가하는 수열 $\{Q_n\}$(누적 곱과 관련된)을 구성한다.

주요 기여 및 결과
본 논문은 최소한의 가정 하에서 퍼콜레이션 체제의 견고함을 확립하는 **정리 A (Theorem A)**를 제시한다:

1. 무한 클러스터의 부재에서의 안정성 (Part i):
   원래 모델이 거의 확실하게(almost surely) 무한 클러스터를 갖지 않고, 섭동 수열 $q_n \ge 1$이 다음 조건을 만족한다면:
   $$\liminf_{n \to \infty} \left( \prod_{i=1}^n q_i \right) \cdot P_p[o \to V_n] = 0$$
   (여기서 $V_n$은 거리 $n$에 있는 정점들의 집합), 섭동된 모델 또한 거의 확실하게 무한 클러스터를 갖지 않는다. 저자들은 $\prod q_n = \infty$인 경우에도 그러한 섭동 수열이 항상 존재함을 보여준다.

2. 비가산 클러스터의 안정성 (Part ii):
   원래 모델이 양의 확률로 비가산 경계 클러스터를 갖는다면($P_p[o \xrightarrow{u} \partial T] > 0$), $\lim_{n \to \infty} q_n = 1$을 만족하는 섭동 수열 $q_n \in (0, 1)$이 존재하여 비가산 클러스터의 거의 확실한 존재가 보존된다.

   • 조건의 필요성: 논문은 비가산 클러스터를 갖는다는 조건이 필요하다고 언급한다. 만약 클러스터가 가산(예: 단일 레이/ray)이라면, 발산하는 희석 섭동이 퍼콜레이션을 파괴할 수 있다(예제 1.1 참조).
   • 균질한 경우 (Homogeneous Case): 균질한 퍼콜레이션($p_e = p$)의 경우, 섭동된 모델이 퍼콜레이션된다면 저자들은 트리의 분기수(branching number)와 섭동 인자를 포함하는 필요 조건을 도출한다:
     $$\sum_{n=1}^\infty \frac{1 - q_n p}{p^n (\# E_n) \prod_{i=1}^n q_i} < \infty$$
     여기서 $\# E_n$은 레벨 $n$에 있는 정점의 수이다.

의의 및 응용
저자들은 자신의 결과가 시스템이 "취약"(즉, 단일 레이에 의존하는 경우)하지 않은 한, 비자명하고 발산하는 섭동에 대해 퍼콜레이션 체제가 "상당히 견고함(rather robust)"을 보여준다고 주장한다.

주요 응용 사례로는 칸토어 집합(Cantor set)에 대한 **에르되시 유사성 추측(Erdős similarity conjecture)**이 논의된다. 저자들은 이진 트리(dyadic tree)의 부분 트리 $T_C$로서 칸토르 집합 $C \subset [0, 1]$를 인코딩함으로써, 정리 A (ii)를 사용하여 임의의 아핀 복사본 $\lambda C + t$를 코딩하는 트리에 대한 레벨 의존적 가중치 $\{q_n\}$ ($\prod q_n = 0$인 경우)를 구성한다.

• 이는 **따름정리 4.2 (Corollary 4.2)**로 이어지며, 모든 $\lambda, t$에 대해 $B \cap (\lambda C + t) \neq \emptyset$인 르베그 측도 0인 집합 $B$가 모든 $\lambda, t$에 대해 거의 모든 경우에 존재함을 나타낸다.
• 논문은 이를 에르되시 유사성 문제를 연구하기 위한 하나의 경로로 위치시킨다. 비록 교집합의 "크기(largeness)"는 확립되었으나, 이 성질의 $(\lambda, t)$에 대한 연속성은 추측의 완전한 해결을 위한 미해결 과제로 남아 있다고 언급한다.

이 연구는 더 기초적이지만 번거로운 조합론적 방법들을 피하면서, 잠재 이론적 특징화를 사용하여 매우 일반적인 범위에서 간결한 증명을 제공한다는 점에서 차별화된다.