Quantum Algorithms for Connectivity and Related Problems

by   Michael Jarret, et al.

An important family of span programs, st-connectivity span programs, have been used to design quantum algorithms in various contexts, including a number of graph problems and formula evaluation problems. The complexity of the resulting algorithms depends on the largest positive witness size of any 1-input, and the largest negative witness size of any 0-input. Belovs and Reichardt first showed that the positive witness size is exactly characterized by the effective resistance of the input graph, but only rough upper bounds were known previously on the negative witness size. We show that the negative witness size in an st-connectivity span program is exactly characterized by the capacitance of the input graph. This gives a tight analysis for algorithms based on st-connectivity span programs on any set of inputs. We use this analysis to give a new quantum algorithm for estimating the capacitance of a graph. We also describe a new quantum algorithm for deciding if a graph is connected, which improves the previous best quantum algorithm for this problem if we're promised that either the graph has at least kappa > 1 components, or the graph is connected and has small average resistance, which is upper bounded by the diameter. We also give an alternative algorithm for deciding if a graph is connected that can be better than our first algorithm when the maximum degree is small. Finally, using ideas from our second connectivity algorithm, we give an algorithm for estimating the algebraic connectivity of a graph, the second largest eigenvalue of the Laplacian.


page 1

page 2

page 3

page 4


Span programs and quantum time complexity

Span programs are an important model of quantum computation due to their...

Span Programs and Quantum Space Complexity

While quantum computers hold the promise of significant computational sp...

An Incremental Span-Program-Based Algorithm and the Fine Print of Quantum Topological Data Analysis

We introduce a new quantum algorithm for computing the Betti numbers of ...

Improved Quantum Query Complexity on Easier Inputs

Quantum span program algorithms for function evaluation sometimes have r...

Applications of the quantum algorithm for st-connectivity

We present quantum algorithms for various problems related to graph conn...

Span Program for Non-binary Functions

Span programs characterize the quantum query complexity of binary functi...

Leveraging Unknown Structure in Quantum Query Algorithms

Quantum span program algorithms for function evaluation commonly have re...

Please sign up or login with your details

Forgot password? Click here to reset