[논문 리뷰] Boolean logic gate design principles in unconventional computers: an NMR case study

Matthias Bechmann, Angelika Sebald외 1명|arXiv (Cornell University)|2011. 09. 01.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 비표준 계산 기반에서 조절 가능한 파라미터를 식별하기 위한 일반적 프레임워크를 제시한다—핵자기공명(NMR)을 통해 구현된 바와 같이, 모든 2입력 부울 논리 게이트를 구현할 수 있도록 한다. 펄스 지속시간, 위상, 결합상수와 같은 NMR 파라미터를 체계적으로 분석함으로써, 전체 논리 기능을 가능하게 하는 특정 제어 노브를 규명하였으며, 전통적이지 않은 계산 시스템에서 논리 설계를 위한 청사진을 확립한다.

ABSTRACT

We present a general method for analysing novel computational substrates to determine which of their parameters can be manipulated to exhibit the complete set of 2-input boolean logical operations. We demonstrate this approach with an NMR-based case study, showing which NMR parameters can be used to perform boolean logic.

연구 동기 및 목표

• 비표준 계산 기반에서 전체 부울 논리 기능을 지원하는 파라미터를 식별하기 위한 일반적 방법을 개발하는 것.
• 기존의 트랜지스터 기반 설계가 적용되지 않는 비전통적 기반에서 논리 게이트를 설계하는 데 도전하는 문제를 해결하는 것.
• 사례 연구로 핵자기공명(NMR) 시스템을 사용하여 이 방법의 실현 가능성을 입증하는 것.
• 모든 2입력 부울 연산(AND, OR, NOT 등)을 실현하기 위해 조절할 수 있는 NMR 파라미터를 특정화하는 것.

제안 방법

• 2입력 부울 논리 게이트의 논리적 출력을 물리적 시스템의 관측 가능한 상태에 매핑함으로써, NMR 스핀 시스템을 기반으로 하는 방법을 적용한다.
• 논리 상태(0과 1)를 NMR 시스템 내의 특정 스핀 분포 또는 극화 상태로 정의한다.
• RF 펄스 지속시간, 위상, J-결합 진화 시간과 같은 제어 파라미터를 체계적으로 변화시켜 상태 전이를 조작한다.
• 펄스 및 지연의 시퀀스 후 최종 스핀 상태를 측정함으로써 논리 연산을 검증하고, 기대되는 진리표 출력과 비교한다.
• 시뮬레이션과 이론적 분 析를 통해 물리적 제어 파라미터와 논리 게이트 행동 간의 공식적 매핑을 수립한다.
• 상태 전이에 영향을 주는 유사한 제어 가능한 물리적 변수를 식별함으로써, 이 방법을 다른 기반으로 일반화한다.

실험 결과

연구 질문

• RQ1 어떤 NMR 파라미터를 조절하여 모든 2입력 부울 논리 게이트를 실현할 수 있는가?
• RQ2 NMR과 같은 양자 스핀 시스템에서 논리 연산은 어떻게 인코딩하고 제어할 수 있는가?
• RQ3 비전통적 기반에서 전체 부울 기능을 제한하거나 가능하게 하는 물리적 제약 조건은 무엇인가?
• RQ4 다양한 비전통적 계산 플랫폼에서 타당한 제어 파라미터를 식별하기 위한 체계적 방법을 개발할 수 있는가?

주요 결과

• NMR 시스템에서 펄스 지속시간과 위상은 스핀 상태 전이를 조작함으로써 모든 2입력 부울 논리 게이트를 실현할 수 있다.
• J-결합 진화 시간은 NAND 및 NOR과 같은 논리에 필수적인 얽힘 연산을 가능하게 한다.
• 논리 연산이 측정 가능한 스핀 극화 상태에 성공적으로 매핑되어, 정확한 진리표 행동이 확인되었다.
• 특정 펄스 시퀀스와 지연 조합은 고정밀도로 전체 2입력 부울 함수 집합을 재현한다.
• 유사한 제어 가능한 물리적 파라미터를 식별함으로써, 이 프레임워크는 다른 기반으로도 이식 가능하다.
• 본 연구는 NMR 시스템이 보편적인 고전적 논리 구현을 위한 실현 가능한 플랫폼임을 입증한다.