[논문 리뷰] Quantum Bit Strings and Prefix-Free Hilbert Spaces

Markus P. Mueller, Caroline Rogers|arXiv (Cornell University)|2008. 03. 31.

semigroups and automata theory인용 수 4

한 줄 요약

이 논문은 길이가 다른 고전적 비트 문자열의 초위상으로서 일반적인 양자 비트 문자열 프레임워크를 제안하며, 길이가 다른 비트 문자열의 초위상으로서의 초위상 공간 ℋ_{\{0,1\}^*}에서 직접 접두사, 연결, 텐서곱과 같은 연산을 제로 확장 형태에 의존하지 않고 정의한다. 이는 임의의 접두사 자유 힐버트 공간에 대해 양자 크래프트 부등식을 증명함으로써 기존 연구를 일반화하며, 길이 고유상태 기저의 가정을 제거하고 손실 없는 양자 압축을 위한 기초를 마련한다.

ABSTRACT

We give a mathematical framework for manipulating indeterminate-length quantum bit strings. In particular, we define prefixes, fragments, tensor products and concatenation of such strings of qubits, and study their properties and relationships. The results are then used to define prefix-free Hilbert spaces in a more general way than in previous work, without assuming the existence of a basis of length eigenstates. We prove a quantum analogue of the Kraft inequality, illustrate the results with some examples and discuss the relevance of prefix-free Hilbert spaces for lossless compression.

연구 동기 및 목표

• 길이가 다른 고전적 비트 문자열의 초위상으로서 길이가 정해지지 않은 양자 비트 문자열을 제로 확장 형태에 의존하지 않고 수학적 프레임워크를 개발하기 위해.
• 양자 비트 문자열의 초위상 공간 ℋ_{\{0,1\}^*}에서 접두사, 조각, 텐서곱, 연결과 같은 연산을 정의하고 체계화하기 위해.
• 길이 고유상태 기저를 갖는 제한을 초월하여 접두사 자유 힐버트 공간을 일반화하기 위해.
• 더 일반적인 설정에서, 길이 고유상태 기저가 없는 경우에도 고전적 크래프트 부등식의 양자 버전을 증명하기 위해.
• 이러한 구조가 손실 없는 양자 압축과 어떻게 관련되어 있는지 확립하기 위해.

제안 방법

• 논문은 모든 n-qubit 공간의 직합으로서 초위상 공간 ℋ_{\{0,1\}^*}를 정의하여, 길이가 다른 문자열의 초위상 상태를 허용한다.
• 기저 벡터에 대해 Λ|s⟩ = ℓ(s)|s⟩로 작용하는 비유계 연산자인 길이 관측량 Λ를 도입한다.
• 고전적 문자열의 초기 부분에 대응하는 부분공간에 대한 투영을 통해 양자 비트 문자열의 접두사를 정의한다.
• 클래식 문자열 연결의 선형 확장을 통해 양자 비트 문자열의 연결을 정의하며, 첫 번째 문자열이 길이 고유상태일 경우에만 연결이 텐서곱으로 축소됨을 조건으로 제시한다.
• 접두사 자유 양자 비트 문자열 집합을 연결된 상태와의 내적 값이 0이 되는 조건을 포함한 네 가지 동치 조건을 통해 정의한다.
• 힐베르트 부분공간 ℋ가 접두사 자유임과 동시에 접두사 자유 정규직교 기저를 갖는 것과 동치임을 증명하며, 이러한 공간에 대해 양자 크래프트 부등식을 수립한다.

실험 결과

연구 질문

• RQ1 길이 고유상태 기저의 가정 없이도 양자 접두사 코드를 정의할 수 있는가?
• RQ2 길이가 변하는 양자 비트 문자열의 초위상 상태에서 연결 및 접두사 추출과 같은 연산을 엄밀하게 어떻게 정의할 수 있는가?
• RQ3 길이 고유상태 기저가 없는 상황에서 고전적 크래프트 부등식의 양자 버전은 무엇인가?
• RQ4 접두사 자유 힐베르트 공간은 손실 없는 양자 압축과 어떻게 관련되어 있는가?
• RQ5 이러한 연산과 정의를 뒷받침하는 초위상 공간 ℋ_{\{0,1\}^*}의 수학적 구조는 무엇인가?

주요 결과

• 논문은 길이 고유상태 기저의 제약 없이도 임의의 접두사 자유 힐베르트 공간에 대해 양자 크래프트 부등식을 증명하며, 고전 결과를 일반화한다.
• 힐베르트 부분공간 ℋ ⊂ ℋ_{\{0,1\}^*}가 접두사 자유임과 동시에 접두사 자유 정규직교 기저를 갖는 것과 동치이며, 이러한 부분공간의 모든 정규직교 기저가 접두사 자유임을 증명한다.
• 두 양자 비트 문자열 |ψ⟩와 |φ⟩의 연결이 그들의 텐서곱 |ψ⟩⊗|φ⟩과 동일한 것은 |ψ⟩가 길이 고유상태일 때에만 성립한다.
• 이 프레임워크는 ℋ_{\{0,1\}^*}의 원소로서 길이가 정해지지 않은 양자 비트 문자열을 자연스럽게 다룰 수 있게 하며, 인위적인 제로 확장을 피할 수 있다.
• 모든 비어 있지 않은 고전적 문자열 s에 대해 ⟨φ|ψ∘s⟩ = 0이 되는 것은 양자 비트 문자열 집합이 접두사 자유임과 동치임을 보이며, 엄밀한 작동 기준을 제공한다.
• 결과적으로 이는 길이 고유상태 기저가 필요 없이 더 넓은 범위의 힐베르트 공간으로 양자 접두사 코드를 일반화함으로써 손실 없는 양자 압축을 위한 기초를 마련한다.