[논문 리뷰] Molecular computers

Marius Buliga|arXiv (Cornell University)|2018. 01. 01.

Origins and Evolution of Life참고 문헌 4인용 수 4

한 줄 요약

이 논문은 변수나 평가 없이 계산을 시뮬레이션하는 국소적 그래프 리라이트 기반의 최소한의 인공화학인 chemlambda를 제안한다. 이는 분자 유사 반응을 통해 Turning 완전성을 입증한다. 또한 이러한 그래프 리라이트를 실질적인 화학 시스템으로 실행할 경우 효소를 통해 매개되는 이방성 변환을 통해 실용적인 분자 컴퓨터를 구현할 수 있을 것이라 주장한다.

ABSTRACT

We propose the chemlambda artificial chemistry, whose behavior strongly suggests that real molecules which embed Interaction Nets patterns and real chemical reactions which resemble Interaction Nets graph rewrites could be a realistic path towards molecular computers, in the sense explained in the article.<br>This is a text version of the article [7]. The original article uses javascript animations, here replaced with links. <br>

연구 동기 및 목표

• 국소적 그래프 리라이트를 통해 계산을 가능하게 하는 최소적이고 형식적으로 정의된 인공화학(chemlambda)을 제안하는 것.
• chemlambda가 변수 전달이나 평가 없이 무형 람다 계산을 시뮬레이션할 수 있음을 입증하는 것.
• chemlambda의 그래프 리라이트 패턴이 실제 화학 반응과 대응될 수 있으며, 이를 통해 물리적 분자 컴퓨터를 실현할 수 있음을 주장하는 것.
• GitHub 리포지터리에 애니메이션, 데모, 427개의 분자 그래프 라이브러리 등을 포함해 완전히 개방된 재현 가능한 구현을 제공하는 것.
• 공개 과학과 바이오해킹을 지지하기 위해 이론 모델을 공유된 코드와 시뮬레이션을 통해 실험적 검증과 연결하는 것.

제안 방법

• chemlambda는 분자를 원자(노드)와 결합(링크)으로 구성된 그래프로 표현하는 그래프 기반 형식론을 사용하며, 화학 반응은 국소적 그래프 리라이트로 모델링된다.
• 핵심 리라이트로는 BETA, FAN-IN, DIST, FO-FOE, COMB 이동이 있으며, 각각 특정한 변환을 시뮬레이션하며 화학 반응과 유사하다.
• 감소 알고리즘은 우선순위 순서에 따라 결정적으로 또는 가중치가 부여된 동전 뒤집기 방식으로 무작위로 적용되며, 국소성과 이방성을 보장한다.
• COMB 사이클은 Arrow 노드를 제거하기 위해 COMB 이동을 반복적으로 적용하여 전역적 조율 없이도 그래프를 단순화한다.
• 시스템은 변수나 평가 단계 없이, 그래프 구조를 통한 신호 전달에 의존하여 작동하며, 생물학적 신호 전달 경로와 유사하다.
• 모델은 JavaScript로 구현되어 GitHub에 호스팅되어 있으며, 독립적인 검증을 위한 애니메이션과 시뮬레이션이 제공된다.

실험 결과

연구 질문

• RQ1 최소적이고 국소적인 그래프 리라이트 시스템이 변수 전달이나 평가에 의존하지 않고 Turning 완전성을 달성할 수 있는가?
• RQ2 chemlambda의 그래프 리라이트 패턴이 분자 수준에서 실현 가능한 실제 화학 반응과 대응되는가?
• RQ3 이방성이고 분산된 감소 알고리즘이 전역 제어 없이도 의미 있는 계산 결과를 도출할 수 있는가?
• RQ4 식별 가능한 분자 성분과 효소를 사용해 실제 화학에서 이러한 시스템을 구현하는 것이 가능한가?
• RQ5 공개 과학 관행, 즉 공개된 코드와 재현 가능한 시뮬레이션을 통해 분자 계산의 이론적 모델을 검증할 수 있는가?

주요 결과

• chemlambda는 국소적 그래프 리라이트를 통해 무형 람다 계산을 시뮬레이션할 수 있음을 증명하여 Turning 완전성을 입증한다.
• 시스템은 변수나 평가 없이도 그래프 구조와 국소적 리라이트를 통한 신호 전달 방식으로 계산을 수행한다.
• 중간 단계가 람다 표현식을 나타내지 않더라도 시스템은 의미 있는 계산 결과를 도출할 수 있으며, 예를 들어 chemlambda 퀸의 경우가 이에 해당한다.
• 결정적 알고리즘과 무작위 알고리즘 모두 복잡하고 비트리비얼한 역학을 보이며, 무작위 버전은 강건성과 급성장하는 행동을 보인다.
• COMB 사이클은 분산적이고 반복적인 방식으로 Arrow 요소를 효과적으로 제거하여 그래프의 구조를 단순화한다.
• 모델의 전체 구현, 427개의 분자 그래프 및 100개 이상의 데모는 GitHub에 공개되어 있어 독립적인 검증이 가능하다.