酉线性量子元胞自动机的判定过程

Christoph Durr; Miklos Santha

酉线性量子元胞自动机的判定过程

量子物理 2008-02-03 v5 计算复杂性

作者: Christoph Durr , Miklos Santha

摘要

线性量子元胞自动机近来作为量子计算模型之一被引入。量子力学的基本公设对任何量子机器施加了强约束：它必须是酉的，即其时间演化算符必须是酉变换。本文给出一种高效算法以判定线性量子元胞自动机是否为酉的。若自动机具有大小为 r 的连续邻域，其中 $n$ 为输入大小，则该算法在代数计算模型中的复杂度为 O(n^((3r-1)/(r+1))) = O(n^3)。

关键词

酉线性量子元胞自动机判定过程量子计算时间演化算符算法复杂度

引用

@article{arxiv.quant-ph/9604007,
  title  = {A decision procedure for unitary linear quantum cellular automata},
  author = {Christoph Durr and Miklos Santha},
  journal= {arXiv preprint arXiv:quant-ph/9604007},
  year   = {2008}
}

备注

Updated for submission to SIAM Journal on Computing. Improved slightly the algorithm

酉线性量子元胞自动机的判定过程

摘要

关键词

引用

备注

相关论文