0610235v2

related topics
{let, theorem, proof}
{algorithm, log, probability}
{measurement, state, measurements}
{classical, space, random}
{state, algorithm, problem}
{qubit, qubits, gate}
{phase, path, phys}
{operator, operators, space}
{information, entropy, channel}
{cos, sin, state}

BQP-complete Problems Concerning Mixing Properties of Classical Random Walks on Sparse Graphs

Dominik Janzing, Pawel Wocjan

abstract: We describe two BQP-complete problems concerning properties of sparse graphs having a certain symmetry. The graphs are specified by efficiently computable functions which output the adjacent vertices for each vertex. Let i and j be two given vertices. The first problem consists in estimating the difference between the number of paths of length m from j to j and those which from i to j, where m is polylogarithmic in the number of vertices. The scale of the estimation accuracy is specified by some a priori known upper bound on the growth of these differences with increasing m. The problem remains BQP-hard for regular graphs with degree 4. The second problem is related to continuous-time classical random walks. The walk starts at some vertex j. The promise is that the difference of the probabilities of being at j and at i, respectively, decays with O(exp(-\mu t)) for some \mu>0. The problem is to decide whether this difference is greater than a exp(-\mu T) or smaller than b exp(-\mu T) after some time instant T, where T is polylogarithmic and the difference a-b is inverse polylogarithmic in the number of vertices. Since the probabilities differ only by an exponentially small amount, an exponential number of trials would be necessary if one tried to answer this question by running the walk itself. A modification of this problem, asking whether there exists a pair of nodes for which the probability difference is at least a exp(-\mu T), is QCMA-complete.

oai_identifier:
oai:arXiv.org:quant-ph/0610235
categories:
quant-ph
comments:
24 pages, 1 figure
arxiv_id:
quant-ph/0610235
created:
2006-10-27
updated:
2006-10-28

Full article ▸

related documents
0401053v1
0109038v1
0308151v2
0605090v1
0212096v1
0003070v1
0302022v1
0503159v2
0702212v1
0701037v2
0410229v1
0207131v1
9905026v1
0605239v4
0703061v1
0405081v1
0505007v3
0201152v1
0612052v2
0703243v2
0511272v1
0611058v2
0307139v1
0610214v3
0701198v1