[논문 리뷰] Computing in continuous space with self-assembling polygonal tiles

Oscar Gilbert, Jacob Hendricks외 2명|arXiv (Cornell University)|2015. 03. 01.

DNA and Biological ComputingBiochemistry, Genetics and Molecular Biology참고 문헌 24인용 수 18

한 줄 요약

이 논문은 연속 공간에서 온도 1에서 다각형 타일을 사용하여 자가조립 시스템에서 계산의 보편성을 입증한다. 이는 정사각형 타일이 사용되는 추상 타일 조립 모델(aTAM)에서 온도 1일 때는 비보편성일 것으로 추측되는 영역이다. 여섯 개 이상의 변을 가진 정다각형 또는 특정 비정규 다각형을 사용함으로써, 저자들은 연속적인 공간 배치를 통해 보편 계산을 달성하는 타일 시스템을 설계하였다. 이는 이산적인 정사각형 타일의 한계를 극복한다.

ABSTRACT

In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM) which not only allows for square tiles (as in the aTAM) but also allows for tile shapes that are polygons. Although a number of self-assembly results have shown computational universality at temperature 1, these are the first results to do so by fundamentally relying on tile placements in continuous, rather than discrete, space. With the square tiles of the aTAM, it is conjectured that the class of temperature 1 systems is not computationally universal. Here we show that the class of systems whose tiles are composed of a regular polygon P with n > 6 sides is computationally universal. On the other hand, we show that the class of systems whose tiles consist of a regular polygon P with n <= 6 cannot compute using any known techniques. In addition, we show a number of classes of systems whose tiles consist of a non-regular polygon with n >= 3 sides are computationally universal.

연구 동기 및 목표

• 연속 공간에서 다각형 타일을 사용한 자가조립이 온도 1에서 계산의 보편성을 달성할 수 있는지 조사한다.
• 비정사각형 다각형 타일을 사용할 경우, 정사각형 타일 대비 온도-1 시스템의 계산 능력이 향상되는지 확인한다.
• 정규 또는 비정규 다각형 타일 중 어떤 유형이 연속 공간에서 보편 계산을 가능하게 하는지 규명한다.
• 연속적인 공간 배치에서 기능하는 타일 조립 메커니즘, 예를 들어 비트 읽기 기구 등을 개발하고 검증한다.

제안 방법

• 추상 타일 조립 모델(aTAM)을 확장하여 연속 공간에서 정규 및 비정규 다각형을 포함한 다각형 타일 형상을 허용한다.
• 온도 1에서 비협력적 조립을 통해 보편 계산을 달성하기 위해 변 수 n > 6인 정다각형을 사용한 타일 시스템을 설계한다.
• 연속적 구성에서 신호 전달 및 논리 연산을 가능하게 하기 위해 다각형 타일을 사용해 비트 읽기 기구를 도입하고 구현한다.
• 기하학적 제약 조건과 타일 형상 설계를 활용하여 연속 공간에서 안정적이고 결정적인 성장 패턴을 보장한다.
• n ≤ 6인 정다각형 타일을 사용한 시스템의 계산 능력을 분석하여, 온도 1에서 계산을 가능하게 하는 알려진 기법이 없음을 보여준다.
• 연속 공간에서 다각형 타일을 사용해 보편 튜링 기계를 구축함으로써 보편성을 검증한다.

실험 결과

연구 질문

• RQ1 연속 공간에서 다각형 타일을 사용한 자가조립이 온도 1에서 계산의 보편성을 달성할 수 있는가? 이는 aTAM에서 정사각형 타일이 비보편성일 것으로 추측되는 영역이다.
• RQ2 정규 또는 비정규 다각형 타일 중 어떤 특정 유형이 연속 공간에서 보편 계산을 가능하게 하는가?
• RQ3 다각형 타일의 기하학적 성질, 예를 들어 변의 수와 정규성 등이 온도 1 시스템에서의 계산 능력에 어떤 영향을 미치는가?
• RQ4 비트 읽기 기구와 같은 기능적 구성 요소를 다각형 타일을 사용해 연속 공간에서 구현할 수 있는가? 이는 보편 계산을 지원할 수 있는가?

주요 결과

• 여섯 개 이상의 변을 가진 정다각형 타일을 사용하는 시스템은 온도 1에서 연속 공간에서 계산의 보편성을 달성한다(n > 6).
• 온도 1에서 여섯 개 이하의 변을 가진 정다각형 타일(n ≤ 6)을 사용할 경우, 알려진 기법으로는 계산을 수행할 수 없다.
• 세 개 이상의 변을 가진 비정규 다각형 타일은 연속 공간에서 계산의 보편성을 달성하도록 설계할 수 있다.
• 논문은 다각형 타일을 사용해 완전한 비트 읽기 기구의 예시를 제시하며, 연속적 구성에서 신호 전파 및 논리 연산이 가능함을 입증한다.
• 결과적으로, 연속 공간에서 타일 형상과 기하학적 제약 조건의 선택은 이산 공간에서의 정사각형 타일이 불가능한 보편 계산을 본질적으로 가능하게 한다.