vix.ing · top · new · best · stats · spec

Quantum Fast-Forwarding: Markov Chains and Graph Property Testing

2018/04/06 by Simon Apers, Apers, Simon, Alain Sarlette +1 · 1 citation
Computer Science · Decision Sciences · #05C85 #60G50 #60J10 #68R10 #Advanced Bandit Algorithms Research #Complexity and Algorithms in Graphs #F.2 #FOS: Physical sciences #G.2.2 #Machine Learning and Algorithms #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)

paper · pdf · doi:10.48550/arxiv.1804.02321

openalex publication_date 2018/04/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We introduce a new tool for quantum algorithms called quantum fast-forwarding (QFF). The tool uses quantum walks as a means to quadratically fast-forward a reversible Markov chain. More specifically, with P the Markov chain transition matrix and D = √(P∘ PT) its discriminant matrix (D=P if P is symmetric), we construct a quantum walk algorithm that for any quantum state |v⟩ and integer t returns a quantum state ε-close to the state Dt|v⟩/‖Dt|v⟩‖. The algorithm uses O(‖Dt|v⟩‖-1√tlog(ε‖Dt|v⟩‖)-1) expected quantum walk steps and O(‖Dt|v⟩‖-1) expected reflections around |v⟩. This shows that quantum walks can accelerate the transient dynamics of Markov chains, complementing the line of results that proves the acceleration of their limit behavior. We show that this tool leads to speedups on random walk algorithms in a very natural way. Specifically we consider random walk algorithms for testing the graph expansion and clusterability, and show that we can quadratically improve the dependency of the classical property testers on the random walk runtime. Moreover, our quantum algorithm exponentially improves the space complexity of the classical tester to logarithmic. As a subroutine of independent interest, we use QFF for determining whether a given pair of nodes lies in the same cluster or in separate clusters. This solves a robust version of s-t connectivity, relevant in a learning context for classifying objects among a set of examples. The different algorithms crucially rely on the quantum speedup of the transient behavior of random walks.

Citations

Cited by

Related