[논문 리뷰] The class of languages recognizable by 1-way quantum finite automata is not closed under union

Māris Valdats|ArXiv.org|2000. 01. 04.

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

한 줄 요약

이 논문은 1방향 양자 유한 상태 기계(1QFA)가 인식할 수 있는 언어의 집합이 합집합에 대해 닫혀 있지 않음을 보여준다. 심지어 기본 부울 연산에 대해서도 그렇다. L1 = a*bb*a(b*ab*a)b* + a*로 구성된 언어를 통해, 저자들은 기하학적 및 선형 대수적 분석을 통해, 상태 도달 가능성과 수용 확률 제약 조건 간의 불일치로 인해 어떤 1QFA도 L1을 인식할 수 없음을 증명한다. 이는 L1이 정규 언어임에도 불구하고 성립한다. 주요 기여는 1QFA의 근본적인 한계를 규명한 것이다: 이는 고전적 유한 상태 기계와 달리, 인식 가능한 언어들의 임의의 합집합을 처리할 수 없다.

ABSTRACT

In this paper we develop little further the theory of quantum finite automata (QFA). There are already few properties of QFA known, that deterministic and probabilistic finite automata do not have e.g. they cannot recognize all regular languages. In this paper we show, that class of languages recognizable by QFA is not closed under union, even not under any Boolean operation, where both arguments are significant.

연구 동기 및 목표

• 1-way 양자 유한 상태 기계(1QFA)가 인식하는 언어의 닫힘 성질을 조사하기 위해.
• 1QFA로 인식 가능한 언어의 집합이 부울 연산, 특히 합집합에 대해 닫혀 있는지 여부를 규명하기 위해.
• 모든 1QFA로 인식할 수 없는 특정 정규 언어 L1을 구성하기 위해. 이 언어는 일반적으로 인식 불가 조건을 만족하지만, 정리 1.2의 조건 5는 만족하지 않는다.
• 합집합에 대한 닫힘 실패가 양자 상태 진동과 측정 확률의 내재된 구조적 제약에서 기인하는지 보여주기 위해.

제안 방법

• 1QFA를 (Q; Σ; V; q0; Qacc; Qrej)의 튜플로 정의하며, 유니터리 전이 매핑과 정지 상태에 대한 투영 기반 측정을 사용한다.
• 입력어를 읽은 후 초위상의 진동을 추적하기 위해 비정지 상태의 진동 연산자 V′_w = V′_an...V′_a1를 사용한다.
• 상태 공간을 E1(정지 상태)과 E2(비정지 상태)로 분해하고, 비정지 성분의 행동에 집중한다.
• 긴 입력어를 통해 비정지 성분의 노름을 임의로 작게 만들 수 있음을 증명함으로써, E2에서의 조밀한 도달 가능성(dense reachability)을 의미한다.
• 수용 확률 함수 pw와 A(ψ)를 정의하고, 도달 가능한 상태를 R1(수용), R2(모호함), R3(기각) 영역으로 분할한다.
• 변환의 연속성과 유니터리 성질을 이용하여, E1에서의 도달 가능성의 대칭성과 추이성을 증명함으로써, 동치 관계를 형성한다.

실험 결과

연구 질문

• RQ1 1-way 양자 유한 상태 기계가 인식하는 언어의 집합은 합집합에 대해 닫혀 있는가?
• RQ2 L1 = a*bb*a(b*ab*a)b* + a*라는 정규 언어는, 대부분의 알려진 인식 불가 조건을 만족하지만 정리 1.2의 조건 5는 만족하지 않는 바, 1QFA로 인식할 수 있는가?
• RQ3 어떤 구조적 또는 확률적 제약 조건이 정규성에도 불구하고 일부 정규 언어를 인식하지 못하게 하는가?
• RQ4 합집합에 대한 닫힘 실패는 상태 도달 가능성의 제약 때문인가, 수용 확률 제어의 제약 때문인가?

주요 결과

• 언어 L1 = a*bb*a(b*ab*a)b* + a*는 어떤 1-way 양자 유한 상태 기계로도 인식될 수 없다.
• L1의 인식 불가능성은 정리 1.2의 조건 5(역행 단어 존재) 때문이 아니라, 상태 도달 가능성과 수용 확률 균형 간의 깊은 구조적 갈등 때문이므로, 이는 더 깊은 원인을 지닌다.
• 1QFA로 인식 가능한 언어의 집합은 비트리비어, 중요한 언어에 대해서도 합집합에 대해 닫혀 있지 않다.
• 이 증명은 R2(모호한 수용 상태) 집합이 공집합이어야 한다는 점을 보여주며, 이는 'a'와 'b'를 읽었을 때의 수용 확률 영역에 영향을 미치는 분석에서 모순을 초래한다.
• 분석 결과, bw와 bwa(또는 abw와 abwa)와 같은 단어들 사이의 수용 확률 차이가 어떤 1QFA 설계에서도 조율될 수 없으며, 최소 2ε의 확률 갭이 요구되는 조건을 위반함을 보여준다.
• 이 결과는 근본적인 제한을 규명한다: 1QFA는 모든 정규 언어를 인식할 수 없으며, 그 닫힘 성질은 고전적 유한 상태 기계보다 엄격히 약하다.