Year: 2026
Type: preprint
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 $Θ\!\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 $Θ(\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.
Source: arXiv (Cornell University)
Authors: Banerjee, Niranka, Kawachi, Akinori
Institution: Mie University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: Complexity-Theoretic Approach to Revealing the Efficiency Limits in Secure Computation, Advancing Security Quantification Theory by Integrating Information, Computation, and Cryptography, Foundations of Security Quantification by Integrating Information, Computation, and Cryptography Theories, Foundations of Secure Distributed Quantum Computing on Medium-Scale Quantum Computers, G4627739467, New theory for security analysis: from information inequality to computational inequality, Foundations of Secure Distributed Quantum Computing on Medium-Scale Quantum Computers, プライバシー保護機能を持つマルチエージェント避難支援システム
OpenAlex ID: W7215094938