[논문 리뷰] It's a Tough Nanoworld: in Tile Assembly, Cooperation is not (strictly) more Powerful than Competition

Florent Becker, Pierre-Étienne Meunier|arXiv (Cornell University)|2015. 02. 19.

DNA and Biological Computing참고 문헌 5인용 수 3

한 줄 요약

이 논문은 타일 자가조립에서, 동시에 성장하는 부분이 항상 일치해야 하는 '일치하지 않는 시스템'(mismatch-free systems)이 협동을 필요로 하는 시스템보다 엄격히 덜 강력하지 않음을 입증한다. 내재적 보편성(intrinsic universality)을 사용하여, 오류 없이 어떤 일치하지 않는 타일 조립 시스템 T를 시뮬레이션할 수 있는 3D 타일셋을 구성함으로써, 협동과 경쟁(mismatches)이 계산 능력에서 상호 비교가 불가능하다는 것을 증명한다: 상호 간에 시뮬레이션은 불가능하다.

ABSTRACT

We present a strict separation between the class of "mismatch free" self-assembly systems and general aTAM systems. Mismatch free systems are those systems in which concurrently grown parts must always agree with each other. Tile self-assembly is a model of the formation of crystal growth, in which a large number of particles concurrently and selectively stick to each other, forming complex shapes and structures. It is useful in nanotechnologies, and more generally in the understanding of these processes, ubiquitous in natural systems. The other property of the local assembly process known to change the power of the model is cooperation between two tiles to attach another. We show that disagreement (mismatches) and cooperation are incomparable: neither can be used to simulate the other one. The fact that mismatches are a hard property is especially surprising, since no known, explicit construction of a computational device in tile assembly uses mismatches, except for the recent construction of an intrinsically universal tileset, i.e. a tileset capable of simulating any other tileset up to rescaling. This work shows how to use intrinsic universality in a systematic way to highlight the essence of different features of tile assembly. Moreover, even the most recent experimental realizations do not use competition, which, in view of our results, suggests that a large part of the natural phenomena behind DNA self-assembly remains to be understood experimentally.

연구 동기 및 목표

• 협동과 경쟁(mismatches)이 타일 자가조립 모델에서 상대적인 계산 능력에 대해 연구한다.
• 동시 성장이 항상 일치해야 하는 일치하지 않는 시스템(mismatch-free systems)이 일반 aTAM 시스템보다 엄격히 덜 강력한가를 판단한다.
• 내재적 보편성을 사용하여 타일 조립 모델의 기본적 특징을 체계적으로 비교한다.
• 일치하지 않는 시스템이 일반 타일 조립 시스템을 시뮬레이션할 수 있음을 입증함으로써, 완전한 계산 능력을 위해 일치하지 않는 요소가 반드시 필요하지 않다는 것을 시사한다.
• 자기조립에서 협동이 경쟁보다 본질적으로 더 강력하다는 가정을 도전하며, 이 둘이 상호 비교가 불가능하다는 것을 보여준다.

제안 방법

• 모든 일치하지 않는 타일 조립 시스템 T를 재스케일링을 통해 내재적으로 시뮬레이션할 수 있는 보편적인 3D 타일셋 U를 구성한다.
• 각 입력면 조합(north, south, east, west)을 처리하는 16개의 논리 기구로 이루어진 매크로타일을 설계한다.
• 이웃하는 수퍼타일로부터 입력 데이터(타일 유형, 접착력 값, 스케일 요소)를 전송하기 위해 수평(H-wireboard) 및 수직(V-wireboard) 웨이브보드를 사용하는 라우팅 체계를 구현한다.
• 각 매크로타일의 중심에 위치한 선택 레이어를 사용하여 네 방향에서 온 입력에 기반해 올바른 타일 유형을 비결정적으로 선택한다.
• 접합하는 면들 간에 출력 접착력을 일관되게 인코딩하여 오류를 방지하기 위해, 중복되고 이방향인 와이어를 사용한다.
• 2D 구조를 3D로 확장하기 위해, 아래쪽(nadir)과 위쪽(zenith)에서의 입력/출력 라우팅을 추가하고, 각 방향에 대해 4개 대신 6개의 와이어를 사용한다.

실험 결과

연구 질문

• RQ1 일치하지 않는 타일 자가조립 시스템은 협동을 포함하는 일반 aTAM 시스템을 시뮬레이션할 수 있는가?
• RQ2 협동은 타일 자가조립에서 경쟁(mismatches)보다 엄격히 더 강력한가?
• RQ3 내재적 보편성을 사용하여, 일치하지 않는 요소와 협동이 계산 능력에서 상호 비교가 불가능하다는 것을 보일 수 있는가?
• RQ4 DNA 자가조립의 실험적 실현은 경쟁과 협동의 이론적 잠재력 전부를 반영하고 있는가?
• RQ5 표현력 측면에서 협동과 일치 기반 조립 간에 본질적인 비대칭성이 존재하는가?

주요 결과

• 모든 일치하지 않는 타일 조립 시스템 T를 오류 없이 내재적으로 시뮬레이션할 수 있는 3D 타일셋 U가 존재한다.
• 이 시뮬레이션은 16개의 논리 기구로 구성된 매크로타일 아키텍처를 통해 달성되며, 각 기구는 고유한 입력면 조합을 처리한다.
• 라우팅 체계는 이웃하는 수퍼타일로부터 입력 데이터(타일 유형, 접착력 값, 스케일 요소)를 전용 웨이브보드를 사용해 신뢰성 있게 전송함을 보장한다.
• 비결정적 타일 선택에도 불구하고, 접합하는 면들 간에 출력 접착력이 일관되게 인코딩되어 오류가 발생하지 않는다.
• 이 구성은 협동과 경쟁(mismatches)이 상호 비교가 불가능하다는 것을 입증한다: 상호 간에 시뮬레이션은 불가능하다.
• 결과적으로, 일치하지 않는 시스템이 일반 aTAM 시스템보다 엄격히 약하지 않다는 것을 시사하며, 협동이 완전한 계산 능력을 위해 필수적이라는 가정을 도전한다.