[논문 리뷰] Non-causal computation avoiding the grandfather and information antinomies.

Ämin Baumeler, Stefan Wolf|arXiv (Cornell University)|2016. 01. 25.

Quantum Computing Algorithms and Architecture참고 문헌 12인용 수 3

한 줄 요약

이 논문은 계산에서 전통적으로 요구되는 고정된 인과적 순서를 완화시켜 논리적 일관성으로 대체하는 비인과적 회로를 소개한다. 국소적으로는 인과성이 유지되지만 전반적으로는 비인과적 구조를 允허함으로써, 모든 인과적 대체물보다 뛰어난 논리적 일관성을 갖춘 회로를 가능하게 한다. 이는 모순을 피하는 것이 순환 구조를 완전히 제거하는 것보다 제약이 적음을 보여준다.

ABSTRACT

Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order. We address a novel computing paradigm, replacing this assumption by mere logical consistency: We study non-causal circuits, where a fixed time structure within a gate is locally assumed whilst the global causal structure between the gates is dropped. We present examples of logically consistent non-causal circuits outperforming all causal ones; they imply that suppressing loops entirely is more restrictive than just avoiding the contradictions they can give rise to. That fact is already known for correlations as well as for communication, and we here extend it to computation.

연구 동기 및 목표

• 알고리즘 설계에서 전통적으로 가정되는 고정된 인과적 순서를 완화시킴으로써 계산이 향상될 수 있는지 조사하기 위해.
• 비인과적 시스템에서 발생하는 할아버지 역설과 정보 역설을 인과적 구조 대신 논리적 일관성으로 강제함으로써 해결하기 위해.
• 논리적 일관성이 유지될 경우 비인과적 회로가 인과적 회로보다 뛰어난 계산 성능을 달성할 수 있음을 보여주기 위해.
• 이미 관련성과 통신 분야에서 알려진 원리인 '모순을 피하는 것'이 순환 구조 제거보다 제약이 적다는 원리를 계산 분야로 확장하기 위해.

제안 방법

• 국소 게이트 연산은 고정된 시간 순서를 가정하지만, 게이트 간 전반적인 순서는 제약이 없도록 계산을 회로로 모델링하기 위해.
• 전반적인 인과적 구조를 제거하지만, 모든 계산 단계에서 논리적 일관성이 요구되는 비인과적 회로를 정의하기 위해.
• 유효한 계산 결과를 결정하는 데 인과적 순서 대신 논리적 일관성을 주요 제약 조건으로 삼기 위해.
• 논리적으로 일관되며, 모든 가능한 인과적 회로보다 뛰어난 성능을 보이는 비인과적 회로의 예를 구성하기 위해.
• 논리적 일관성이 유지된 비인과적 회로의 성능을 모든 인과적 대안과 비교함으로써 계산적 우월성을 분석하기 위해.
• 이미 알려진 양자 상관관계와 통신 분야의 결과를 계산 모델로 확장하여, 순환 구조를 완전히 제거하는 것보다 모순을 피하는 것이 덜 제약이 된다는 것을 보여주기 위해.

실험 결과

연구 질문

• RQ1 고정된 전역 인과적 순서의 요구 조건을 완화함으로써 계산을 더 효율적으로 수행할 수 있는가?
• RQ2 논리적 일관성이 어떻게 회로 설계에서 인과적 순서의 대체로 사용될 수 있는가?
• RQ3 논리적으로 일관되지만 전역적으로는 인과적이지 않은 비인과적 회로의 계산적 이점은 무엇인가?
• RQ4 왜 순환 구조를 완전히 차단하는 것이, 그것이 초래할 수 있는 모순을 피하는 것보다 더 제약이 심한가?
• RQ5 논리적 일관성이 확보될 경우 비인과적 계산은 얼마나 더 뛰어난 성능을 낼 수 있는가?

주요 결과

• 논리적으로 일관된 비인과적 회로는 모든 인과적 회로보다 뛰어나며, 계산적 우월성을 보여준다.
• 순환 구조의 억제는 논리적 일관성이 유지된다면 필요 이상으로 제약이 심하다.
• 논리적 일관성만으로도 고정된 인과적 순서가 없더라도 할아버지 역설과 정보 역설을 피할 수 있다.
• 이 프레임워크는 이미 양자 상관관계와 통신 분야에서 알려진 원리를 계산 분야로 확장한다.
• 결과적으로, 모순을 피하는 것이 순환 구조를 제거하는 것보다 제약이 적다는 점을 보여주며, 향후 계산 모델의 설계 공간을 넓게 한다.
• 이 모델은 논리적 일관성이 인과적 순서를 대체하는 기본 제약 조건이 되는 새로운 계산 철학을 제공한다.