Prior Knowledge Makes It Possible: From Sublinear Graph Algorithms to LLM Test-Time Methods

View PDF HTML (experimental)

Abstract:Test-time augmentation, such as Retrieval-Augmented Generation (RAG) or tool use, critically depends on an interplay between a model's parametric knowledge and externally retrieved information. However, the theoretical underpinnings of this relationship remain poorly understood. Specifically, it is not clear how much pre-training knowledge is required to answer queries with a small number of augmentation steps, which is a desirable property in practice. To address this question, we formulate multi-step reasoning as an $s$-$t$ connectivity problem on a knowledge graph. We represent a model's pre-training parametric knowledge as a partial, potentially noisy subgraph. We view augmentation as querying an oracle for true edges that augment the model's knowledge. Then, we characterize the necessary and sufficient number of augmentation steps for the model to generate an accurate answer given partial prior knowledge. One key result shows a phase transition: if the prior knowledge graph over $n$ vertices is disconnected into small components, then finding a path via augmentation is inefficient and requires $\Omega(\sqrt{n})$ queries. On the other hand, once the density of correct knowledge surpasses a threshold, forming a giant component, we can find paths with an expected constant number of queries.

Subjects:

Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

Cite as: arXiv:2510.16609 [cs.LG]

(or arXiv:2510.16609v2 [cs.LG] for this version)

https://doi.org/10.48550/arXiv.2510.16609

arXiv-issued DOI via DataCite

Submission history

From: Donya Saless [view email] [v1] Sat, 18 Oct 2025 18:17:25 UTC (489 KB) [v2] Thu, 2 Apr 2026 15:42:23 UTC (489 KB)