자기조립 타일 모델의 프랙털 한계와 가능성

본 논문은 타일 어셈블리 모델(TAM)의 표현력 한계를 탐구하고, 특히 **자기유사(self‑similar) 프랙털**의 자기조립 가능성을 심도 있게 분석한다. 서론에서는 TAM이 1998년 Winfree에 의해 제안된 이후, 무한 구조와 유한 구조 모두에서 강력한 계산 능력을 보였음에도 불구하고, 프랙털과 같은 복합적인 무한 형태에 대한 엄격한 자기조립 여부는 아직 명확히 규명되지 않았다고 지적한다. 저자들은 두 가지 질문을 제시한다. (1) 온도 1 이하에서 자기유사 프랙털이 **완전 약하게** 자기조립될 수 있는가? (2) 어떤 프랙털은 온도와 무관하게 **엄격하게** 자기조립될 수 없는가? **2장**에서는 기본 정의와 기호를 정리한다. 격자 그래프, 결합 함수, τ‑안정성, GTAS(Generalized Tile Assembly System) 등 TAM의 핵심 개념을 수학적으로 엄밀히 정의한다. 특히, **binding graph**와 **τ‑frontier** 개념을 도입해, 타일이 언제 새로운 위치에 안정적으로 부착될 수 있는지를 형식화한다. 또한, **local determinism**(지역 결정성) 정의를 인용해, 로컬 디터미니즘을 만족하는 어셈블리 시퀀스가 **directed**(단일 최종 어셈블리)임을 정리한다. **3장**에서는 **이산 자기유사 프랙털**을 정의한다. 정수 c > 1과 생성 집합 V⊂{0,…,c‑1}²를 이용해 단계별 확장을 X₀={ (0,0) }, X_{i+1}=X_i∪(X_i+c·i·V) 로 구성한다. 여기서 V가 **nice**인 경우, 즉 (0,…,c‑1)×{0}와 {0}×(0,…,c‑1) 를 모두 포함하고 G#V가 연결된 경우를 특별히 다룬다. 그림 1은 nice와 non‑nice 프랙털의 차이를 시각적으로 보여준다. **4장**에서는 **zeta‑dimension**을 도입해 프랙털의 복잡도를 정량화한다. ζ_A(s)=∑_{(m,n)∈A}( |m|+|n| )^{-s} 로 정의하고, Dim_ζ(A)=inf{ s | ζ_A(s)<∞ } 로 차원을 정의한다. 이 차원은 Hausdorff 차원과 일치함을 언급하며, 이후 증명에서 차원 보존성을 활용한다. **5장**은 주요 결과를 제시한다. 1. **정리 2 (완전 약한 자기조립 불가능성)**: 온도 1에서 어떠한 c‑self‑similar 프랙털도 완전 약하게 자기조립될 수 없음을 증명한다. 증명은 결합 그래프의 최소 절단 강도가 온도 1보다 작아, 무한히 반복되는 프랙털 구조가 안정적인 경계 없이 성장하게 됨을 보인다. 2. **정리 3 (엄격한 자기조립 불가능성)**: 특정 클래스(예: 전통적인 Sierpinski 삼각형을 포함) 프랙털은 온도와 무관하게 엄격하게 자기조립될 수 없음을 보인다. 여기서는 V가 특정 비대칭성을 가질 때, 성장 과정에서 발생하는 “충돌”을 피할 수 없으며, 결과적으로 여러 개의 최종 어셈블리가 존재하게 된다. 3. **정리 4 (nice 프랙털의 fiber construction)**: “nice” 프랙털에 대해, 기존 Lathrop 등(2007)의 fiber construction을 확장한다. 각 단계마다 원래 프랙털 셀을 두께 k > 0인 “섬유”로 확장하고, 이 섬유에 맞는 타일 집합 T와 온도 τ를 설계한다. 핵심은 **local determinism**을 만족하도록 타일의 입출력(glue) 방향을 정밀히 배치하는 것이다. 결과적으로, 해당 fibered 프랙털 X′는 **엄격하게** 자기조립되며, 최종 어셈블리는 정확히 X′의 셀 집합과 일치한다. **6장**에서는 구현상의 고려사항을 논의한다. 타일 복잡도(tile complexity)는 프랙털 차원에 비례하게 증가하지만, “nice” 프랙털의 경우 다항식 수준으로 유지될 수 있음을 보인다. 또한, DNA 나노구조 실험에 적용할 경우, 온도 2 이상의 환경에서 결합 강도를 조절하면 제안된 construction을 물리적으로 구현 가능하다는 점을 강조한다. **7장**은 결론으로, TAM이 온도 1에서는 자기유사 프랙털을 완전 약하게 조립할 수 없으며, 구조적 비대칭성은 엄격한 자기조립을 차단한다는 두 가지 절대적 한계를 제시한다. 반면, “nice” 프랙털에 대해선 fiber construction을 통해 제한된 경우에만 엄격한 자기조립이 가능함을 증명한다. 향후 연구는 더 넓은 프랙털 클래스에 대한 “fibered” 변형과, 비대칭 프랙털에 대한 근사적(approximate) 조립 방법을 탐구하는 방향으로 제시한다.