Joseph Marchand | arXiv Science

arXiv2025

Exponential Quantum Advantage for Message Complexity in Distributed Algorithms

We investigate how much quantum distributed algorithms can outperform classical distributed algorithms with respect to the message complexity (the overall amount of communication used by the algorithm). Recently, Dufoulon, Magniez and Pandurangan (PODC 2025) have shown a polynomial quantum advantage for several tasks such as leader election and agreement. In this paper, we show an exponential quantum advantage for a fundamental task: routing information between two specified nodes of a network. We prove that for the family of ``welded trees" introduced in the seminal work by Childs, Cleve, Deotto, Farhi, Gutmann and Spielman (STOC 2003), there exists a quantum distributed algorithm that transfers messages from the entrance of the graph to the exit with message complexity exponentially smaller than any classical algorithm. Our quantum algorithm is based on the recent "succinct" implementation of quantum walks over the welded trees by Li, Li and Luo (SODA 2024). Our classical lower bound is obtained by ``lifting'' the lower bound from Childs, Cleve, Deotto, Farhi, Gutmann and Spielman (STOC 2003) from query complexity to message complexity.

quant-ph↗

arXiv2025

Finding Minimum Matching Cuts in $H$-free Graphs

A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We investigate the differences in complexity between Minimum Matching Cut, its counterpart Maximum Matching Cut, and the decision problem Matching Cut. Our polynomial-time algorithms for $P_8$-free, $S_{1,1,3}$-free and $(P_6 + P_4)$-free graphs extend the cases where Minimum Matching Cut and Maximum Matching Cut are known to differ in complexity. In addition, they solve open cases for the well-studied problem Matching Cut. The NP-hardness proof for $3P_3$-free graphs implies that Minimum Matching Cut and Matching Cut, which is polynomial-time solvable even for $sP_3$-free graphs, for any $s \geq 1$, differ in complexity on certain graph classes. Further, we give complexity dichotomies for both general and bipartite graphs of bounded radius and diameter.

math.CO↗