[논문 리뷰] On the class of languages recognizable by 1-way quantum finite automata

Andris Ambainis, Arnolds Ķikusts외 1명|ArXiv.org|2000. 09. 01.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 1-방향 양자 유한 오토마타(1-QFA)에 의해 인식 가능한 정규 언어의 클래스를 특성화하며, 최소 결정론적 오토마타에서의 금지된 구조적 조각들에 기반한 인식을 위한 필수 및 필요조건을 규명한다. 이는 유니언에 대한 닫힘 성질이 아님을 증명하여 Brodsky와 Pippenger의 추측을 반박하고, 인식 불가능한 언어를 위한 일반적인 금지 구조 기준을 제공한다.

ABSTRACT

It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of regular languages we get a condition which is necessary and sufficient. Also, we prove that the class of languages recognizable by a QFA is not closed under union or any other binary Boolean operation where both arguments are significant.

연구 동기 및 목표

• 1-방향 양자 유한 오토마타(1-QFA)에 의해 인식 가능한 정규 언어의 클래스를 특성화함으로써 양자 오토마타 이론에서 열려 있는 문제를 다루는 것.
• 특히 연속적인 사이클이 없는 부분집합에 대해, 정규 언어가 1-QFA에 의해 인식 가능한 데 필요한 필수 조건과 충분 조건을 규명하는 것.
• Brodsky와 Pippenger의 추측을 반박하는 것: 모든 부분 순서 조건을 만족하는 정규 언어는 1-QFA에 의해 인식 가능하다는 것.
• 1-QFA에 의해 인식 가능한 언어의 클래스가 유니언 또는 기타 중요한 이진 부울 연산에 대해 닫혀 있지 않음을 보여주는 것.
• 1-QFA 인식에 대한 구조적 장애를 포괄하는 일반적인 금지 구조 기준을 개발하는 것.

제안 방법

• 단위 변환, 중첩 상태, 측정 기반 정지 상태를 사용하여 1-방향 양자 유한 오토마타(1-QFA)를 정의한다.
• 1-QFA에 의한 인식을 방해하는 최소 결정론적 오토마타 내의 '금지된 구성' 개념을 도입하며, 이는 단위성과의 구조적 불일치에 기반한다.
• 특정 언어 L의 최소 오토마타를 수준별 상태 분할 및 단어 수락 패턴 분석을 통해 분석하여 금지된 조각의 부재를 확인한다.
• 각 경로를 통해 수락 및 거부 상태로의 단어 통과 횟수가 일관된 n-레벨 구조로 금지된 구성의 일반화를 수행한다.
• 일반적 구성에서 각 Dij 집합 내 수락 및 거부 상태의 수가 동일할 경우, 1-QFA에 의해 인식 불가능하다는 조건을 사용한다.
• 유니언에 대한 닫힘 성질을 반박하기 위해, 두 개의 인식 가능한 언어의 합집합으로 이루어진 언어를 구성함으로써 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 최소 결정론적 오토마타의 어떤 구조적 성질이 1-방향 양자 유한 오토마타에 의해 언어를 인식하는 것을 방해하는가?
• RQ2 1-QFA에 의해 인식 가능한 언어의 클래스는 유니언 또는 기타 이진 부울 연산에 대해 닫혀 있는가?
• RQ3 Brodsky와 Pippenger가 제안한 부분 순서 조건은 1-QFA 인식에 대해 필수적이며 충분한가?
• RQ4 1-QFA 제약 조건 하에서 언어 인식이 불가능하게 만드는 오토마타 내의 일반적인 금지된 구성의 형태는 무엇인가?
• RQ5 어느 정규 언어의 부분집합에서, 식별된 금지된 조각 조건이 1-QFA 인식에 대해 필수적이며 충분한가?

주요 결과

• 유니언에 대한 닫힘 성질이 아님을 입증함으로써, 두 개의 인식 가능한 언어의 합집합으로 이루어진 언어가 자체적으로는 인식 불가능한 경우를 제시함으로써, 1-방향 양자 유한 오토마타에 의해 인식 가능한 언어의 클래스는 유니언에 대해 닫혀 있지 않다.
• n-레벨 상태 구조와 일관된 단어 통과 횟수를 가진 일반적인 금지된 구성이 규명되었으며, 각 Dij 집합 내 수락 및 거부 상태의 수가 동일할 경우 1-QFA에 의해 인식 불가능하다는 조건을 포함한다.
• 연속적인 사이클이 없는 정규 언어의 부분집합(그림 3 참조)에 대해서는, 금지된 조각 조건이 1-QFA 인식에 대해 필수적이며 충분하다.
• 그림 11의 언어 L의 최소 오토마타에는 정리 2.1의 금지된 구성이 포함되어 있지 않지만, 여전히 1-QFA에 의해 인식 불가능하다. 이는 정리 4.1의 금지된 구성이 더 강력한 장애 요소임을 시사한다.
• 정리 4.1의 금지된 구성이 존재한다고 해서 정리 2.1의 금지된 구성이 존재하는 것은 아니며, 이는 두 조건이 동치가 아님을 보여준다.
• Brodsky와 Pippenger의 추측(모든 부분 순서 조건을 만족하는 정규 언어는 1-QFA에 의해 인식 가능하다)을 반박하기 위해, 부분 순서 조건에 의해 포괄되지 않는 금지된 조각을 가진 반례를 구성함으로써 이를 반박한다.