두 글자 단어의 확률적 뒤집기

초록

본 논문은 두 글자로 이루어진 문자열에 대해 인접한 서로 다른 문자쌍을 교환하는 ‘플립’ 연산을 무작위로 수행하는 마코프 과정을 정의한다. 플립은 연속된 동일 문자쌍의 개수를 증가시키지 않는 경우에만 허용되며, 이 과정의 고정점은 완전히 교차하는 교대 문자열이다. 저자는 최악의 초기 문자열에 대해 수렴까지 필요한 기대 플립 횟수가 O(n³), 평균적인 초기 문자열에 대해서는 O(n^{5/2}\ln n) 으로 상한을 잡는다.

상세 분석

논문은 먼저 “플립”이라는 기본 연산을 정의한다. 길이 n 의 이진 문자열 w = w₁…wₙ 에서 인덱스 i (1 ≤ i < n) 가 선택되면, wᵢ ≠ wᵢ₊₁ 인 경우에만 wᵢ와 wᵢ₊₁ 를 교환한다. 이때 ‘허용 플립’은 교환 후 연속된 동일 문자쌍의 수, 즉 에너지 E(w) = |{i : wᵢ = wᵢ₊₁}| 가 감소하거나 그대로 유지되는 경우만 허용한다. 따라서 마코프 체인은 비증가적인 에너지 함수를 갖는 편향된 랜덤 워크가 된다. 고정점은 E(w)=0 인 교대 문자열, 즉 “0101… ” 혹은 “1010… ” 형태이다.

수렴 시간 분석을 위해 저자는 두 개의 잠재 함수(잠재적 에너지)를 도입한다. 첫 번째는 전체 ‘볼륨’ V(w) = Σ_{i=1}^{n} (i·1_{wᵢ=1}) 로, 이는 문자열을 1‑차원 격자 위의 경로로 해석했을 때 면적에 해당한다. 두 번째는 ‘불균형’ D(w) = |#0 - #1| 로, 이는 경로의 시작점과 끝점 사이의 수직 거리이다. 허용 플립은 V와 D 를 동시에 감소시키는 경우가 많으며, 특히 V는 플립당 평균적으로 O(1) 만큼 감소한다는 점을 보인다.

최악의 경우 분석에서는 V가 최대인 “000…0111…1” 형태를 고려한다. 이 경우 V = Θ(n²) 이며, 한 번의 플립이 V 를 감소시키는 기대량은 Θ(1/n) 로 추정된다. 따라서 전체 수렴에 필요한 기대 플립 수는 Θ(n³) 가 된다. 평균 경우 분석에서는 초기 문자열을 균등 무작위로 가정한다. 이때 V 의 기대값은 Θ(n²) 이지만, 플립이 선택되는 확률이 현재 에너지에 따라 가중되므로, 마코프 체인의 믹싱 속도가 크게 향상된다. 저자는 마코프 체인의 전이 행렬에 대한 스펙트럼 분석과, ‘볼륨’이 감소하는 마팅게일 경계(Martingale bound)를 이용해 기대 수렴 시간을 O(n^{5/2}\log n) 으로 상한한다.

또한, 저자는 이 모델이 1‑차원 퀘이시크리스털 성장 과정과 유사함을 언급한다. 퀘이시크리스털에서는 원자들이 에너지 장벽을 넘지 않는 한에서만 재배열되며, 여기서의 ‘허용 플립’은 그 물리적 제약을 이산적으로 모사한다. 따라서 본 연구는 물리적 현상을 이해하기 위한 이산 확률 모델의 한 사례로서 의미가 크다.

마지막으로, 실험적 검증을 위해 저자는 다양한 n 값에 대해 시뮬레이션을 수행했으며, 관측된 평균 수렴 시간은 이론적 상한과 매우 근접함을 보고한다. 특히 n=10⁴ 정도에서 O(n^{5/2}\log n) 형태의 로그‑선형 곡선을 확인하였다.