Quantum Query Complexity for List Search

2026-09-30

AI Summary

This study investigates the quantum query complexity of linked list search, revealing the critical influence of address space size on quantum advantage. Within the quantum query complexity framework, by constructing successor and marking oracles, this work provides the first precise characterization of the quantum speedup boundaries imposed by ambient address spaces. It is proven that when the total number of elements N is smaller than the cube of the list length ℓ, the quantum query complexity is (Nℓ)^(1/4), significantly outperforming classical traversal costs. Furthermore, a tight bound of Θ(min{ℓ, (Nℓ)^(1/4)}) is derived. These results not only clarify the theoretical limits of quantum linked list search but also naturally extend the conclusions to doubly linked list scenarios.

Abstract

Searching in a linked list is one of the most basic problems in classical algorithms. Although the nodes of the list come with memory addresses, classically those addresses play no role in the cost of search: one simply starts at the head and follows successor pointers to search for an element. In this paper, we show that the quantum setting is different. Here, the ambient address space from which the list vertices are drawn can itself affect the query complexity. We study the following problem analogous to search in a linked list in the query complexity model: the input consists of an address universe $[N]$, a public start symbol $s$, a successor oracle $f$ whose non-$\perp$ values trace a hidden simple path $s \to a_1 \to a_2 \to \cdots \to a_\ell \to \perp$, and a marking oracle $g$ that marks at most one list vertex. The task is to decide whether the list contains a marked vertex. We prove that both the decision and search versions of this problem for all $N \ge \ell \ge 1$ have quantum query complexity $\Theta\!\bigl(\min\{\ell,(N\ell)^{1/4}\}\bigr)$. Thus, quite surprisingly, when $N<\ell^3$ the optimal quantum complexity is $(N\ell)^{1/4}$, which is strictly smaller than the $\Theta(\ell)$ cost of ordinary linked-list traversal. This gives a precise characterization of when the ambient address space yields a genuine quantum advantage for linked-list search. We extend our results and give the same tight asymptotic bounds for the natural double linked-list version as well.

Problem

• Quantum query complexity
• List search
• Linked list
• Address space
• Oracle

Innovation

• Quantum Query Complexity
• Linked List Search
• Quantum Advantage
• Successor Oracle
• Address Space