[论文解读] On computation with 'probabilities' modulo k

Niel de Beaudrap|arXiv (Cornell University)|May 28, 2014

Quantum Computing Algorithms and Architecture参考文献 39被引用 7

一句话总结

本文将概率和量子态形式化推广至任意幺半环，重点研究模k下的'概率'计算。它将张量积结构和狄拉克符号扩展至幺半环值分布，实现了对有限环上概率系统的代数操作，关键结果表明在模算术下通过克罗内克积实现的一致分解与组合。

ABSTRACT

We propose a framework to study models of computation of indeterministic data, represented by abstract "distributions". In these distributions, probabilities are replaced by "amplitudes" drawn from a fixed semi-ring $S$, of which the non-negative reals, the complex numbers, finite fields $\mathbb F_{p^r}$, and cyclic rings $\mathbb Z_k$ are examples. Varying $S$ yields different models of computation, which we may investigate to better understand the (likely) difference in power between randomised and quantum computation. The "modal quantum states" of Schumacher and Westmoreland [arXiv:1010.2929] are examples of such distributions, for $S$ a finite field. For $S = \mathbb F_2$, Willcock and Sabry [arXiv:1102.3587] show that UNIQUE-SAT is solvable by polynomial-time uniform circuit families consisting of invertible gates. We characterize the decision problems solvable by polynomial uniform circuit families, using either invertible or "unitary" transformations over cyclic rings $S = \mathbb Z_k$, or (in the case that $k$ is a prime power) finite fields $S = \mathbb F_k$. In particular, for $k$ a prime power, these are precisely the problems in the class $\mathsf{Mod}_k\mathsf P$.

研究动机与目标

• 将标准概率和量子态形式化推广至任意幺半环，包括模算术环。
• 在幺半环值设定下定义独立分布和张量积分解。
• 为在有限环（如Z_k）上表示和操作概率系统，提供一致的代数框架。
• 将狄拉克符号适配至幺半环值态，以提升可读性和抽象性，同时避免依赖复杂数值向量表示。
• 确保张量积构造在基分解和分区块系统下保持一致，即使比特位置不连续。

提出的方法

• 将分布表示为幺半环S上的向量，基态|x⟩对应于二进制字符串x ∈ {0,1}^n。
• 使用系数向量的克罗内克积定义张量积，保持在分区块系统下的结构。
• 使用狄拉克符号|ψ⟩表示幺半环值分布，其中|x⟩代表标准基向量。
• 通过ket的连接表示张量积，省略⊗符号以简洁表达：|α⟩|β⟩ = |α⟩⊗|β⟩。
• 通过因式分解ψ(x) = α(x_A)β(x_B)建模独立子系统A和B，从而在向量形式下得到ψ = α ⊗ β。
• 通过置换不变的张量积构造处理非连续比特分区，保持代数一致性。

实验结果

研究问题

• RQ1 如何将标准概率和量子形式化推广至任意幺半环（包括Z_k）？
• RQ2 幺半环值系统中表示独立分布的正确代数结构是什么？
• RQ3 当子系统在比特位置上不连续时，如何一致地定义和计算张量积分解？
• RQ4 狄拉克符号能否在幺半环值态上安全扩展，而不会产生歧义或结构损失？
• RQ5 在模算术环境下，克罗内克积用于张量组合有何影响？

主要发现

• 本文成功将张量积结构推广至幺半环值分布，实现了联合态向独立子系统的稳定分解。
• 即使子系统在比特位置上不连续，幺半环上的张量积仍保持克罗内克积结构，仅需对基向量进行置换。
• 使用狄拉克符号表示幺半环值态，可在不引入新向量表示的前提下实现紧凑且直观的表达。
• 当ψ(x) = α(x_A)β(x_B)时，形式化支持ψ = α ⊗ β的因式分解，将条件独立性推广至幺半环值分布。
• 该框架通过将模k下的'概率'视为幺半环Z_k中的元素，支持模算术下的计算，且代数运算定义明确。
• 零向量始终记为0，标准基态表示为|x⟩，在结构上与量子形式化兼容（尽管解释上不一致）。