[논문 리뷰] Closed Systems of Invertible Maps

Tim Boykett|arXiv (Cornell University)|2015. 12. 21.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 6

한 줄 요약

이 논문은 Toffoli의 역행성 계산 프레임워크를 다중가치 논리로 일반화하여, 역행성 사상의 닫힘 시스템을 도입함으로써, 홀수 차수의 알파벳에 대해 모든 역행성 매핑이 네 개의 Toffoli 유형 게이트로부터 생성될 수 있음을 보여준다. 이 작업은 일반화된 클론 이론을 임의의 매핑 $A^n \to A^m$로 확장하고, 역행성 사상에 대한 닫힘 연산을 수립하며, 홀수 알파벳에서는 이진 시스템보다 더 적은 생성자로 보편적인 역행성 계산이 가능하다는 것을 입증한다.

ABSTRACT

We generalise clones, which are sets of functions $f:A^n ightarrow A$, to sets of mappings $f:A^n ightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have connections to reversible computation, which is important for physical (e.g. quantum computation) as well as engineering (e.g. heat dissipation) reasons. We generalise Toffoli's seminal work on reversible computation to arbitrary arity logics. In particular, we show that some restrictions he found for reversible computation on alphabets of order 2 do not apply for odd order alphabets. For $A$ odd, we can create all invertible mappings from the Toffoli 1- and 2-gates, demonstrating that we can realise all reversible mappings from four generators. We discuss various forms of closure, corresponding to various systems of permitted manipulations. These correspond, amongst other things, to discussions about ancilla bits in quantum computation.

연구 동기 및 목표

• 이진 시스템을 초월하여, 대수적 구조를 사용하여 Toffoli의 역행성 계산 모델을 다중가치 논리로 확장하는 것.
• 일반화된 클론 이론과 닫힘 연산을 사용하여 역행성 사상 $A^n \to A^m$의 체계를 수학적으로 형식화하는 것.
• 유한 집합 위에서 모든 역행성 매핑이 작은 기본 게이트 집합으로부터 생성될 수 있는 조건을 조사하는 것.
• 특히 양자 및 물리적 계산 환경에서 앤실라 비트와 닫힘 유형이 역행성 계산에 미치는 영향을 명확히 하는 것.
• 역행성 Toffoli 대수와 다중클론 격자에 대한 기초를 마련하며, 이는 양자 논리 설계에 잠재적인 응용을 가진다.

제안 방법

• $(n,m)$-사상의 개념을 도입하고, $A^n \to A^m$인 모든 함수의 집합을 $M_{n,m}(A)$로 정의하며, 전단사 사상의 부분집합을 $B_{n,m}(A)$로 표기한다.
• 사상 생성에 대한 다양한 구성 및 구조적 제약 조건을 모델링하기 위해 $C(F)$, $T(F)$, $T_S(F)$, $K(F)$, $KC(F)$, $SC(F)$, $RC(F)$ 등의 닫힘 연산 계층을 정의한다.
• 기본 집합 $F$로부터 새로운 사상을 생성하기 위해 변수 순열($\tau$, $\zeta$), 변수 통합($\Delta$), 더미 변수 삽입($\nabla$), 그리고 합성($*$) 등의 연산을 적용한다.
• 사상들을 고차원 시스템에 통합하기 위해 $\kappa(i,a,f)$ 구조를 사용하며, 이는 재귀적 닫힘을 가능하게 하고 $KC_{\Delta} = C_{\Delta}K$를 증명한다.
• 이론을 적용하여 홀수 $|A|$에 대해 Toffoli 1- 및 2-게이트가 모든 역행성 매핑을 생성함을 보이며, 네 개의 생성자가 보편성에 충분함을 입증한다.
• 특히 역행성 시스템에서의 닫힘 불변성과 집합 $F$와 그 닫힘 클래스 사이의 갈로아 연결을 분석한다.

실험 결과

연구 질문

• RQ1 Toffoli의 역행성 계산 프레임워크는 이진 시스템을 초월하여 다중가치 논리로 일반화될 수 있는가?
• RQ2 유한 집합 $A$ 위에서 모든 역행성 매핑을 생성하기 위해 필요한 최소한의 닫힘 연산은 무엇인가?
• RQ3 이진 알파벳에 적용되는 역행성 계산 제약 조건이 홀수 차수의 알파벳에서는 성립하지 않는 이유는 무엇인가?
• RQ4 앤실라 비트와 $T_S(F)$, $RC(F)$와 같은 닫힘 유형은 어떻게 역행성 사상의 실현 가능성에 영향을 미치는가?
• RQ5 주어진 집합 위에서 다중클론 격자와 역행성 Toffoli 대수의 기초가 되는 대수적 구조는 무엇인가?

주요 결과

• 유한 집합 $A$의 차수가 홀수일 경우, $A^n$ 위의 모든 역행성 매핑은 네 개의 Toffoli 유형 게이트로부터 생성되며, 최소한의 생성자로 보편성을 입증한다.
• $KC_{\Delta}(F)$ 닫힘 연산은 변수 치환과 통합을 결합한 것으로, $C_{\Delta}K(F)$와 동치임을 보이며, 중요한 대수적 이중성을 확립한다.
• 이진 시스템과는 달리, 홀수 차수의 알파벳에서는 추가 제어 메커니즘이 필요 없이 Toffoli 1- 및 2-게이트만으로도 역행성 계산의 보편성이 달성된다.
• $F \subseteq B(A)$일 경우, 닫힘 클래스 $RC(F)$, $RT(F)$, $RT_S(F)$는 각각 $C(F)$, $T(F)$, $T_S(F)$와 일치하며, 이는 역행성 경우의 닫힘 격자를 단순화한다.
• 그림 1의 포함도표는 $|A|$가 짝수일 경우 $C(F) \subset T_S(F)$임을 보여주며, 대칭 합성에 대한 닫힘은 표준 닫힘보다 엄격히 강력함을 시사한다.
• $F \subseteq B(A)$일 때 $SC(F) \cap KC(F) = C(F)$임을 입증하여, 역행성 사상 대수학에서의 기본 교차 성질을 밝혀낸다.