Stationary states in quantum walk search

Krišjanis Prusis, Jevgenijs Vihrovs, Thomas Wong

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state closest to the initial uniform state of the walk. We further prove theorems on the existence of stationary states, with them conditionally existing if the marked vertices form a bipartite connected component and always existing if nonbipartite. These results utilize the standard oracle in Grover's algorithm, but we show that a different type of oracle prevents stationary states from interfering with the search algorithm.

Original languageEnglish (US)
Article number032334
JournalPhysical Review A
Volume94
Issue number3
DOIs
StatePublished - Sep 29 2016
Externally publishedYes

Fingerprint

apexes
eigenvectors
theorems
operators
optimization
configurations

All Science Journal Classification (ASJC) codes

  • Atomic and Molecular Physics, and Optics

Cite this

Stationary states in quantum walk search. / Prusis, Krišjanis; Vihrovs, Jevgenijs; Wong, Thomas.

In: Physical Review A, Vol. 94, No. 3, 032334, 29.09.2016.

Research output: Contribution to journalArticle

Prusis, Krišjanis ; Vihrovs, Jevgenijs ; Wong, Thomas. / Stationary states in quantum walk search. In: Physical Review A. 2016 ; Vol. 94, No. 3.
@article{962647d3976e48908c1d1b5838aa2229,
title = "Stationary states in quantum walk search",
abstract = "When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state closest to the initial uniform state of the walk. We further prove theorems on the existence of stationary states, with them conditionally existing if the marked vertices form a bipartite connected component and always existing if nonbipartite. These results utilize the standard oracle in Grover's algorithm, but we show that a different type of oracle prevents stationary states from interfering with the search algorithm.",
author = "Krišjanis Prusis and Jevgenijs Vihrovs and Thomas Wong",
year = "2016",
month = "9",
day = "29",
doi = "10.1103/PhysRevA.94.032334",
language = "English (US)",
volume = "94",
journal = "Physical Review A - Atomic, Molecular, and Optical Physics",
issn = "1050-2947",
publisher = "American Physical Society",
number = "3",

}

TY - JOUR

T1 - Stationary states in quantum walk search

AU - Prusis, Krišjanis

AU - Vihrovs, Jevgenijs

AU - Wong, Thomas

PY - 2016/9/29

Y1 - 2016/9/29

N2 - When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state closest to the initial uniform state of the walk. We further prove theorems on the existence of stationary states, with them conditionally existing if the marked vertices form a bipartite connected component and always existing if nonbipartite. These results utilize the standard oracle in Grover's algorithm, but we show that a different type of oracle prevents stationary states from interfering with the search algorithm.

AB - When classically searching a database, having additional correct answers makes the search easier. For a discrete-time quantum walk searching a graph for a marked vertex, however, additional marked vertices can make the search harder by causing the system to approximately begin in a stationary state, so the system fails to evolve. In this paper, we completely characterize the stationary states, or 1-eigenvectors, of the quantum walk search operator for general graphs and configurations of marked vertices by decomposing their amplitudes into uniform and flip states. This infinitely expands the number of known stationary states and gives an optimization procedure to find the stationary state closest to the initial uniform state of the walk. We further prove theorems on the existence of stationary states, with them conditionally existing if the marked vertices form a bipartite connected component and always existing if nonbipartite. These results utilize the standard oracle in Grover's algorithm, but we show that a different type of oracle prevents stationary states from interfering with the search algorithm.

UR - http://www.scopus.com/inward/record.url?scp=84991687884&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84991687884&partnerID=8YFLogxK

U2 - 10.1103/PhysRevA.94.032334

DO - 10.1103/PhysRevA.94.032334

M3 - Article

VL - 94

JO - Physical Review A - Atomic, Molecular, and Optical Physics

JF - Physical Review A - Atomic, Molecular, and Optical Physics

SN - 1050-2947

IS - 3

M1 - 032334

ER -