[논문 리뷰] Complexity, Computation, and Measurement

Christoph Adami, Nicolas J. Cerf|arXiv (Cornell University)|1996. 05. 29.

Computability, Logic, AI Algorithms참고 문헌 9인용 수 8

한 줄 요약

이 논문은 열역학적 튜링 기계에서 계산과 측정의 이원성에 기반하여 물리적 복잡도라는 새로운 복잡도 측정 기준을 제안한다. 이 복잡도는 시스템의 상태와 그 계산 역사를 기반으로 상호정보량으로 정의되며, 게놈과 같은 실제 시스템에 적용 가능한 직관적이고 추정 가능한 측정 기준을 제공한다.

ABSTRACT

We consider the duality between computation and measurement emerging from the thermodynamics of Turing machines. This duality suggests a new measure of complexity (physical complexity) which corresponds to our intuition and appears to be practical enough to estimate the complexity of genomes. From an automata theoretic point of view, this complexity is just the mutual information

연구 동기 및 목표

• 자연 시스템에서의 직관적 복잡도 개념과 일치하는 물리적으로 타당한 복잡도 측정 기준을 수립하기 위해.
• 계산과 측정의 열역학 원리에 기반하여 기존 복잡도 측정 기준의 모호함을 해결하기 위해.
• 유전체와 같은 생물학적 시스템에 적합한 계산 가능하고 경험적으로 추정 가능한 복잡도 측정 기준을 개발하기 위해.
• 계산과 측정의 이원성을 물리적 복잡도 정의의 기초로 체계화하기 위해.

제안 방법

• 열역학적 튜링 기계 모델을 사용하여 계산과 측정의 이원성을 체계화하기 위해.
• 시스템의 상태와 계산 궤적 사이의 상호정보량으로 물리적 복잡도를 정의하기 위해.
• 정보이론적 도구를 사용하여 계산 및 측정 과정의 열역학적 비용을 모델링하기 위해.
• 자동기계 이론을 활용하여 상태 변화와 계산 과정에서의 정보 흐름 간의 관계를 분석하기 위해.
• 일부 계산 변환에 대해 불변이며 물리적으로 의미 있는 복잡도 측정 기준을 유도하기 위해.

실험 결과

연구 질문

• RQ1 물리적 과정과 계산 과정을 모두 반영할 수 있는 방식으로 복잡도를 공식적으로 정의할 수 있는가?
• RQ2 계산의 열역학에서 측정의 역할은 무엇이며, 복잡도와 어떻게 관련되는가?
• RQ3 시스템의 상태와 그 계산 역사 간의 상호정보량이 복잡도의 강력하고 실용적인 측정 기준이 될 수 있는가?
• RQ4 이 새로운 물리적 복잡도 측정 기준은 생물학적 맥락에서 기존 복잡도 측정 기준과 비교해 어떻게 다를 수 있는가?

주요 결과

• 물리적 복잡도는 시스템의 상태와 그 계산 역사 간의 상호정보량으로 공식적으로 정의되며, 열역학적 기반의 측정 기준을 제공한다.
• 제안된 측정 기준은 게놈 구조의 복잡성과 같은 직관적 복잡도 개념과 일치한다.
• 이 프레임워크는 실제 시스템, 특히 생물학적 서열과 같은 시스템의 복잡도를 실용적으로 추정할 수 있게 한다.
• 계산과 측정의 이원성은 일관되고 물리적으로 의미 있는 복잡도 측정 기준을 이끌어낸다.