## Quantum query complexity of edge connectivity

### AI-generated Key Points

- The paper studies the quantum query complexity of computing edge connectivity in simple graphs.
- Edge connectivity is defined as the minimum number of edges whose removal disconnects the graph.
- Lower bounds of $\Omega(n^2)$ and $\Omega(m)$ are known for classical randomized algorithms in adjacency matrix and adjacency array models, respectively.
- Upper bounds of $\tilde O(n^{3/2})$ and $\tilde O(\sqrt{mn})$ are presented for quantum query complexity in adjacency matrix and adjacency array models, respectively.
- Quantum sparsification algorithm is used to obtain these upper bounds by combining a lemma on near-minimum cuts.
- For weighted graphs, no quantum speedup is possible for computing minimum cut weights in both models as $\Omega(n^2)$ queries can be needed in worst-case scenarios.
- Five open problems related to their work are presented, including finding tight lower bounds on computing minimum cut weights and similar time complexity bounds for computing edge connectivity.

**Authors:**
Simon Apers,
Troy Lee

**Abstract:** The edge connectivity of a simple graph is the least number of edges whose removal disconnects the graph. We study the quantum query complexity of computing the edge connectivity of a simple graph with $n$ vertices and $m$ edges in both the adjacency matrix and adjacency array models. For classical randomized algorithms, $\Omega(n^2)$ and $\Omega(m)$ lower bounds are known for these models, respectively, showing that the trivial algorithm is optimal in terms of query complexity for both cases. In contrast, we show upper bounds of $\tilde O(n^{3/2})$ and $\tilde O(\sqrt{mn})$ on the quantum query complexity of computing edge connectivity in the adjacency matrix and adjacency array models, respectively. Our upper bound is tight up to logarithmic factors for the adjacency matrix model, while for the adjacency array model the best quantum query lower bound we know is $\Omega(n)$. Our upper bounds follow by combining a lemma on the structure of near-minimum cuts due to Rubinstein, Schramm and Weinberg (ITCS 2018) with a quantum sparsification algorithm by Apers and de Wolf (FOCS 2020). For a weighted graph, instead of edge connectivity the relevant notion is the weight of a minimum cut, i.e. the minimum total weight of a set of edges whose removal disconnects the graph. For weighted graphs we show that in the worst case $\Omega(n^2)$ queries can be needed to compute the weight of a minimum cut by a quantum algorithm in both the adjacency matrix and adjacency array models, thus no quantum speedup is possible in this case.

### Ask questions about this paper to our AI assistant

You can also chat with multiple papers at once here.

Assess the quality of the AI-generated content by voting

Score: 0

**Why do we need votes?**

Votes are used to determine whether we need to re-run our summarizing tools. If the count reaches -10, our tools can be restarted.

The previous summary was created more than a year ago and can be re-run (if necessary) by clicking on the Run button below.

## Similar papers summarized with our AI tools

Navigate through even more similar papers through a

tree representation**Look for similar papers (in beta version)**

By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.

**Disclaimer:** The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.