期刊
THEORETICAL COMPUTER SCIENCE
卷 736, 期 -, 页码 62-75出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.tcs.2018.03.017
关键词
Quantum exact algorithms; Quantum query complexity; Computational complexity; Analysis of algorithms; Design of algorithms
资金
- CAPES [23038.007220/2012-84]
- FAPERJ [E-26/203.235/2016]
- CNPq [306231/2013-1]
The Quantum Query Model is a framework that allows us to express most known quantum algorithms. Algorithms represented by this model consist of a set of unitary operators acting over a finite Hilbert space, and a final measurement step consisting of a set of projectors. In this work, we prove that the application of these unitary operators before the measurement step is equivalent to decomposing a unit vector into a sum of vectors and then inverting some of their relative phases. We also prove that the vectors of that sum must fulfill a list of properties and we call such vectors a Block Set. If we define the measurement step for the Block Set Formulation similarly to the Quantum Query Model, then we prove that both formulations give the same Gram matrix of output states, although the Block Set Formulation allows a much more explicit form. Therefore, the Block Set reformulation of the Quantum Query Model gives us an alternative interpretation of how quantum algorithms work. Finally, we apply our approach to the analysis and complexity of quantum exact algorithms. (C) 2018 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据