저전류 결함에서도 살아남는 셀룰러 오토마톤

초록

본 논문은 2차원 정규 테셀레이션 위에서 다수결 규칙을 이용한 셀룰러 오토마톤이 낮은 결함률 하에서 비트 저장을 얼마나 안정적으로 수행할 수 있는지를 조사한다. 전통적인 순간 결함 모델과 제조 결함을 포함한 복합 결함 모델을 모두 고려하여, 각 테셀레이션이 (1) 복합 결함을 견디는가, (2) 순간 결함만 견디는가, (3) 순간 결함조차 견디지 못하는가를 완전히 분류한다.

상세 분석

이 연구는 셀룰러 오토마톤(CA)의 가장 기본적인 오류 정정 메커니즘인 ‘다수결 규칙’을 중심으로 전개된다. 다수결 규칙은 각 셀의 다음 상태를 자신과 이웃 셀들의 현재 상태에 대한 다수결 결과로 결정한다. 이때 이웃 구조는 정규 2차원 테셀레이션에 의해 정의되며, 테셀레이션은 슐라피(symbol) {p,q} 로 표기된다. 여기서 p는 각 면의 변 수, q는 각 정점에 모이는 면의 수이다. 예를 들어, 정삼각형 테셀레이션은 {3,6}, 정사각형은 {4,4}, 정육각형은 {6,3}이다.

논문은 두 가지 결함 모델을 정의한다. 첫 번째는 전통적인 순간 결함(transient fault) 모델로, 각 셀은 매 시간 단계마다 독립적으로 결함이 발생할 확률 ε을 가진다. 두 번째는 제조 결함(manufacturing fault)을 포함한 복합 모델(combined fault model)이다. 제조 결함은 공간적으로 독립적으로 발생하지만 일단 결함이 발생하면 해당 셀은 영원히 오류 상태에 머문다. 복합 모델에서는 순간 결함과 제조 결함이 동시에 존재한다.

주요 기술적 기여는 다음과 같다.

1. 임계 결함률 도출: 다수결 규칙이 정상 작동하려면 이웃 셀들의 올바른 상태가 결함 셀보다 많아야 한다. 이를 확률론적 불등식으로 전개하면, ε가 충분히 작을 경우(특히 ε < ½·(1−1/Δ) where Δ는 셀당 이웃 수) 다수결이 올바른 비트를 유지한다는 것을 보인다. 제조 결함이 존재하면 영구적인 오류 셀 비율이 θ라 할 때, 전체 결함률은 ε+θ가 되며, 이 값이 위 임계값을 넘지 않아야 한다.
2. 정규 테셀레이션 별 분류: Δ = p·q/(p+q−2) 로부터 각 테셀레이션의 이웃 수를 계산한다. Δ가 크면 다수결이 더 강인해지므로 복합 결함을 견디는 가능성이 높다. 논문은 모든 정규 테셀레이션을 조사하여 세 가지 카테고리로 완전 분류한다.
   • 복합 결함 허용 테셀레이션: {3,6} (정삼각형), {6,3} (정육각형) 등 Δ≥5인 경우. 이들은 제조 결함이 일정 비율 이하(θ < (Δ−2)/2Δ)일 때도 안정적으로 비트를 기억한다.
   • 순간 결함만 허용 테셀레이션: {4,4} (정사각형)와 {3,12}, {12,3} 등 Δ=4인 경우. 순간 결함률 ε가 충분히 낮으면 정상 작동하지만, 영구적인 제조 결함이 하나라도 존재하면 오류 전파가 억제되지 않는다.
   • 불가능 테셀레이션: Δ≤3인 경우, 예를 들어 {5,5} (정오각형) 등은 이웃 수가 적어 다수결 자체가 불안정해 순간 결함조차 견디지 못한다.
3. 증명 기법: 논문은 퍼콜레이션 이론과 마코프 체인 수렴 분석을 결합한다. 순간 결함에 대해서는 ‘부정적인 전이’가 확률적으로 소멸함을 보이고, 제조 결함에 대해서는 ‘고정된 결함 클러스터’가 전체 격자에 미치는 영향을 상한한다. 특히, 복합 모델에서는 결함 클러스터가 임계 퍼콜레이션 임계값(p_c)보다 작아야 함을 보이며, 이는 Δ와 직접적인 함수 관계임을 증명한다.
4. 실험적 검증: 시뮬레이션을 통해 이론적 임계값과 실제 오류 복구율을 비교하였다. Δ≥5인 테셀레이션에서는 ε=0.02, θ=0.01 수준에서도 99.9% 이상의 비트 보존율을 기록했으며, Δ=4인 경우는 θ>0이면 급격히 복구율이 떨어지는 것을 확인했다.

이러한 결과는 셀룰러 오토마톤 기반 하드웨어 설계 시, 물리적 제조 결함을 고려한 토폴로지 선택이 필수적임을 시사한다. 특히, 다수결 규칙만을 사용하더라도 적절한 격자 구조를 선택하면 매우 낮은 결함률 하에서 신뢰성 있는 기억소자를 구현할 수 있다.