반평면 비공존 정리 FKG 없이

초록

본 논문은 평면 격자 위의 변 퍼콜레이션 측도 μ에 대해, 번역불변·에르고딕·유한 에너지(또는 무한 클러스터가 유한 개만 존재)라는 최소 가정만으로, 상반평면에서 원래 퍼콜레이션과 그 평면 이중 퍼콜레이션이 동시에 무한 클러스터를 가질 수 없음을 보인다. 기존의 비공존 결과가 요구하던 FKG(양의 상관) 조건을 제거하고, 무작위 클러스터 모델(q<1), 균일 스패닝 트리, 균일 홀수 서브그래프 등에도 적용한다.

상세 분석

논문은 먼저 변 퍼콜레이션 측도 μ를 {0,1}^E(Z²) 위의 확률 측도로 정의하고, μ의 평면 이중 μ와 상반평면 마진 μ_hp, μ_hp를 도입한다. 핵심 가정은 (i) μ가 Z²에 대한 번역불변이며 (ii) 에르고딕하고 (iii) 거의 확실히 무한 클러스터가 유한 개만 존재한다는 점이다. 이러한 가정 하에 두 단계의 논증을 전개한다. 첫 단계에서는 μ_hp가 무한 클러스터를 가질 경우 그 수가 0 또는 1임을 보인다. 이를 위해 각 무한 클러스터가 y좌표가 무한히 크고 작아지는 점들을 포함한다는 Lemma 2.2와, 평면 전체에서 무한 클러스터는 최대 두 개의 끝(end)만 가질 수 있다는 Burton–Keane식 논리를 결합한다. 특히, 만약 μ_hp에 두 개 이상의 무한 클러스터가 존재한다면, 이를 포함하는 전체 평면의 클러스터는 3개의 끝을 가져야 하는데, 이는 전통적인 유한 에너지·에르고딕 조건 하에서 불가능함을 보인다. 두 번째 단계에서는 μ_hp가 유일한 무한 클러스터를 가질 때, μ*_hp는 무한 클러스터를 가질 수 없음을 증명한다. 여기서는 원점 근처의 작은 사각형(플라quette)이 이중 퍼콜레이션에서 무한히 연결되지 못하도록, 양쪽 x축 방향으로 무한 클러스터가 각각 연결되는 구조를 이용한다. 이때 “tenuous” 클러스터(위쪽으로는 무한하지만 일정 높이 이하에서는 유한) 존재를 배제하기 위해 Proposition 2.4와 Lemma 2.5를 사용한다. 결과적으로 μ_hp와 μ*_hp 중 하나만이 무한 클러스터를 가질 수 있거나, 둘 다 없을 뿐이다.

이론적 의의는 기존의 Zhang‑Burton–Keane 비공존 정리가 요구하던 양의 상관(FKG) 가정을 완전히 없앴다는 점이다. 따라서 q<1인 랜덤 클러스터 모델처럼 FKG가 성립하지 않는 경우에도 동일한 비공존 현상이 보장된다. 또한, 균일 스패닝 트리(UST)는 자기 이중성을 가지지만 유한 에너지는 없으며, 본 결과는 UST의 상반평면 마진에서도 무한 클러스터가 존재하지 않음을 새롭게 증명한다. 균일 홀수 서브그래프는 자기 보완성을 이용해 이중 퍼콜레이션 대신 보완 그래프와의 비교를 통해 동일한 결론을 얻는다.

논문은 또한 번역 불변성만으로는 충분하지 않으며, 유한 에너지·에르고딕·무한 클러스터의 유한성이라는 세 가지 조건이 필요함을 강조한다. 예시로, 번역 불변이지만 무한 클러스터가 두 개 존재하는 균일 스패닝 트리의 변형을 제시하여 가정의 필요성을 보여준다. 마지막으로, 결과를 y좌표가 유리수 기울기의 임의의 반평면이나, Z²-번역 불변성을 갖는 다른 평면 그래프에도 확장 가능함을 언급한다.