Hardness of Pathfinding in a Welded Tree
Abstract
Starting from the entrance of a welded tree, a quantum walk algorithm can find its exit vertex exponentially faster than any classical algorithm. However, it has been an open question whether any quantum algorithm is able to efficiently find a path from the entrance to the exit. We answer this by proving an exponential quantum query lower bound for finding such path. Specifically, for trees of height n, any quantum query algorithm requires at least Ω(2n/24) queries in order to succeed with constant probability. Our proof uses the compressed permutation oracle technique in order to construct databases which track the graph information an algorithm has learned and forgotten, and show that no efficient quantum algorithm can build an entrance-to-exit path in these records.
Related
- Algorithmic Wave-Particle Duality: Pathfinding in Welded Trees is Hard
- A quantum lower bound for path finding in welded trees
- Identification of Local Elasto-Plastic Properties in Multi-Material Thin Aluminum Welded Structures through Experimental Methods, Modeling, and AI
- Phase stability and mechanical response of Ag-interlayered Al/Cu resistance spot-welded joints
- Average-case hardness of Betti number estimation
BibTeX
@misc{miloschewsky2026hardness,
title = {{Hardness of Pathfinding in a Welded Tree}},
author = {David Miloschewsky and Supartha Podder},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.20651},
eprint = {2609.20651},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.20651},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Hardness of Pathfinding in a Welded Tree
AU - David Miloschewsky
AU - Supartha Podder
PY - 2026
DA - 2026/09/17
PB - arXiv
DO - 10.48550/arxiv.2609.20651
UR - https://arxiv.org/abs/2609.20651
AB - Starting from the entrance of a welded tree, a quantum walk algorithm can find its exit vertex exponentially faster than any classical algorithm. However, it has been an open question whether any quantum algorithm is able to efficiently find a path from the entrance to the exit. We answer this by proving an exponential quantum query lower bound for finding such path. Specifically, for trees of height n, any quantum query algorithm requires at least Ω(2^n/24) queries in order to succeed with constant probability. Our proof uses the compressed permutation oracle technique in order to construct databases which track the graph information an algorithm has learned and forgotten, and show that no efficient quantum algorithm can build an entrance-to-exit path in these records.
ER -