[论文解读] Quantum Bit Strings and Prefix-Free Hilbert Spaces

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

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\}^*} 上定义并形式化前缀、片段、张量积和连接等操作。
• 将前缀自由希尔伯特空间的定义推广至超越长度本征态基限制的范畴。
• 在更一般的设定下证明量子克劳夫不等式的量子类比，适用于任意前缀自由希尔伯特空间。
• 建立这些结构与无损量子压缩的相关性。

提出的方法

• 本文将字符串空间 ℋ_{\{0,1\}^*} 定义为所有 n-qubit 空间的直和，允许不同长度字符串的叠加。
• 引入长度可观测量 Λ 作为无界算符，作用于基向量时满足 Λ|s⟩ = ℓ(s)|s⟩。
• 通过投影到对应于经典字符串初始段的子空间，定义量子位串的前缀。
• 通过经典字符串连接的线性扩张定义量子位串的连接，当第一个字符串为长度本征态时，该操作退化为张量积。
• 通过涉及与连接态内积为零的四个等价条件，定义量子位串的前缀自由集合。
• 证明了希尔伯特子空间是前缀自由的充分必要条件是其存在前缀自由正交基，并为这类空间建立了量子克劳夫不等式。

实验结果

研究问题

• RQ1 能否在不假设长度本征态基的前提下定义量子前缀码？
• RQ2 如何在可变长度量子位串叠加上严格定义连接和前缀提取等操作？
• RQ3 在缺乏长度本征态基的情况下，经典克劳夫不等式的量子类比是什么？
• RQ4 前缀自由希尔伯特空间与无损量子压缩有何关联？
• RQ5 支持这些操作与定义的字符串空间 ℋ_{\{0,1\}^*} 的数学结构是什么？

主要发现

• 本文为任意前缀自由希尔伯特空间建立了量子克劳夫不等式，将经典结果推广至超越长度本征态基限制的范畴。
• 证明了希尔伯特子空间 ℋ ⊂ ℋ_{\{0,1\}^*} 是前缀自由的充分必要条件是其具有前缀自由正交基，且此类子空间的所有正交基均为前缀自由。
• 当且仅当 |ψ⟩ 是长度本征态时，两个量子位串 |ψ⟩ 和 |φ⟩ 的连接等于其张量积 |ψ⟩⊗|φ⟩。
• 该框架允许自然地将可变长度量子位串视为 ℋ_{\{0,1\}^*} 中的元素，避免了人为的零扩展。
• 本文表明，对所有非空经典字符串 s，内积 ⟨φ|ψ∘s⟩ 为零，当且仅当该量子位串集合是前缀自由的，从而提供了严格的可操作判据。
• 这些结果通过将量子前缀码推广至无需长度本征态基的更广泛希尔伯特空间类，为无损量子压缩奠定了基础。