量子有限自动机对语言的接受概率

Probabilities to accept languages by quantum finite automata

Andris Ambainis, Richard Bonner, Rusins Freivalds, Arnolds Kikusts

备注：: 14 pages, to appear in COCOON'99

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们构造了一个层次结构的正规语言，使当前的语言层次结构中可以接受的1路量子有限自动机的概率小于相应的概率在层次结构中的前一种语言。这些概率收敛到1/2。

英文摘要：

We construct a hierarchy of regular languages such that the current language in the hierarchy can be accepted by 1-way quantum finite automata with a probability smaller than the corresponding probability for the preceding language in the hierarchy. These probabilities converge to 1/2.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

量子自动机接受概率的精确结果

Exact results for accepting probabilities of quantum automata

量子有限自动机（QFA）的Kondacs-Watrous模型的一个性质是不能任意放大QFA正确答案的概率。在本文中，我们确定了几种语言的QFA实现的最大概率。特别是，我们表明，任何语言是不承认的RFA（可逆有限自动机）可以识别的概率最多为0.7726的QFA。

2002-03-11quant-ph

单向量子有限自动机的特征

Characterizations of 1-Way Quantum Finite Automata

Kondacs和Watrous提出的双向量子有限自动机可以在多项式时间内接受具有有界错误的非正则语言。如果我们限制自动机的头经典地移动，并且只在一个方向上移动，那么这个单向量子有限自动机的接受能力就被减少到正则语言的一个真子集。本文研究了两种不同的单向量子有限自动机模型。第一个模型，称为测量一次量子有限自动机，由Moore和Crutchfield介绍，第二个模型，称为测量多量子有限自动机，由Kondacs和Watrous介绍。我们描述了测量一次模型时，它被限制为接受有界误差，并表明，没有这种限制，它可以解决自由组的字的问题。我们还表明，它可以模拟的概率有限自动机和描述的算法，确定两个测量一次自动机是等价的。我们证明了测度多自动机所接受的语言类的几个闭包性质，包括逆同态，并提供了一个新的必要条件，一个语言被接受的测度多模型有界误差。最后，我们表明，分段可测试的语言可以接受有界误差的测量多量子有限自动机，在这个过程中引入新的量子自动机的建设技术。

2000-10-30quant-ph

量子自动机无法检测有偏见的硬币，即使在极限情况下也是如此。

Quantum automata cannot detect biased coins, even in the limit

Aaronson和Drucker（2011）询问是否存在一种量子有限自动机，可以通过在给定无限抛硬币序列的情况下平均花费更多的时间来接受状态来区分公平的抛硬币和有偏见的抛硬币。我们对这个问题的回答是否定的。

2016-10-11cs.CCquant-ph

具有精确接受的量子有限自动机的势

Potential of quantum finite automata with exact acceptance

精确量子信息处理的潜力是一个有趣、重要和有趣的问题。例如，人们认为量子工具可以提供显着的，即大于多项式，仅在精确量子计算的情况下，或主要是对于具有非常特殊结构的问题。我们将证明情况并非如此。在本文中，量子有限自动机产生的结果不仅具有（高）概率，但与确定性（所谓的确切）的潜力进行了探讨的背景下，他们的使用解决承诺的问题，并相对于自动机的大小。它示出，为解决特定类别的$\{A^n\}_{n=1}^{\infty}$的承诺问题，即使那些没有一些非常特殊的结构，简洁的确切的量子有限自动机正在考虑中，相对于（基础）状态的数量，可以是非常小的（和常数），但它的增长成正比于$n$的情况下，确定性有限自动机（DFA）的相同的权力使用。这里也证明了这种情况下，组件语言的承诺问题可解决的DFA是非正规的。该方法可用于寻找更精确的量子有限自动机或求解其它Promise问题的量子算法。

2014-11-25cs.CCcs.FLquant-ph

关于最小可用空间的新结果

New Results on the Minimum Amount of Useful Space

我们提出了几个新的结果，最小的空间要求，以识别非正规语言：（i）实时非确定图灵机可以在弱$\log\log n$空间内识别非正则一元语言，（ii）$\log\log n$是弱实时下推自动机上接受一般非正则语言的紧空间下界，（iii）在弱$\log n$空间中存在被实时交替单计数器自动机接受的一元非正则语言，（iv）在强$\log\log n$空间中，存在双向确定下推自动机可接受的非正则语言;（v）在具有中间$\log n$空间和有界误差的量子态和经典态下，存在双向单计数器自动机可接受的一元非正则语言.

2015-08-04cs.CCcs.FLquant-ph

定常空间量子计算的复杂性界

Complexity Bounds of Constant-Space Quantum Computation

我们通过测量多双向量子有限自动机实现了定空间量子计算，并通过分析其奇异行为模式和探索其结构特性来评估其语言识别能力。特别是，我们表明，当自动机停止“在有限的步骤”沿所有的计算路径，他们必须终止在最坏情况下的线性时间。在有界错误概率的情况下，自动机的接受仅取决于在指数级许多步骤内终止的计算路径，即使不是所有的计算路径都可以终止。我们还提出了一个经典的模拟，这些自动机的双向多头概率有限自动机与割点。此外，我们讨论了自动机的识别能力如何变化的自动机的验收标准的变化，错误的自由，片面的错误，有界的错误，和无界的错误，通过比较它们的计算能力的复杂性。我们进一步注意到，使用任意的复跃迁振幅，双向无界错误量子有限自动机和双向有界错误2头量子有限自动机可以识别某些非递归语言，而双向无错量子有限自动机只能识别递归语言。

2016-06-28cs.CCcs.FLquant-ph