O(K) Navigation Proof: Spectral Filter + QJL + Anchor-Based Retrieval for Enterprise-Scale Semantic Search

Winnex AI: O(K) Inference Complexity with NDCG Match to Exact Search This record proves that Spectral Filtering (FFT + Hanning + SO(4)), Johnson-Lindenstrauss compression (384D to 128D), and Pi-Prime Anchor Navigation form a mathematically sound retrieval architecture with O(K) inference complexity independent of corpus size N. Key Results O(K) Proof: Navigation time bounded by anchor count K (typical 8-16), independent of N. Verified empirically: 10 chunks = 40ms, 10,000 chunks = 154ms (sub-linear scaling). NDCG Tie: Winnex O(K) with 128D QJL = 0.08886 vs FAISS FlatIP 384D = 0.08886 (delta = 0.00000) on Jena Climate benchmark. flp_bad=0: H4+M10 gate eliminates all false positives in near-tie scenarios across all 6 gap levels (0.002 to 0.100). 83% TCO Reduction: No GPU required, no vector database license, commodity CPU hardware. Enterprise Impact For a 100M-document corpus: O(K) navigation costs ~6K float ops vs 3.8B for FlatIP (ratio 1.6 × 10⁻⁶). 3-year TCO: $22,628 (Winnex) vs $133,140 (HNSW) — saving $110,512 per deployment. Applicable to legal discovery, patent search, medical literature, regulatory compliance, and code retrieval at any scale. BSL 1.1 license. Executable on Kaggle GPU P100 (~2.2 min). Full stack: 22 microservices, 154 scripts, 56K+ LOC.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-06-25
DOI
https://doi.org/10.5281/zenodo.20856138
Primary Topic
Natural Language Processing Techniques
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

O(K) Navigation Proof: Spectral Filter + QJL + Anchor-Based Retrieval for Enterprise-Scale Semantic Search

Klenio Araujo Padilha, WINNEX BRASIL SOLUCOES EMPRESSARIAIS LTDA - ME
Zenodo (CERN European Organization for Nuclear Research)
Natural Language Processing Techniques
article

O(K) Navigation Proof: Spectral Filter + QJL + Anchor-Based Retrieval for Enterprise-Scale Semantic Search

Klenio Araujo Padilha, WINNEX BRASIL SOLUCOES EMPRESSARIAIS LTDA - ME
article en

Abstract

Winnex AI: O(K) Inference Complexity with NDCG Match to Exact Search This record proves that Spectral Filtering (FFT + Hanning + SO(4)), Johnson-Lindenstrauss compression (384D to 128D), and Pi-Prime Anchor Navigation form a mathematically sound retrieval architecture with O(K) inference complexity independent of corpus size N. Key Results O(K) Proof: Navigation time bounded by anchor count K (typical 8-16), independent of N. Verified empirically: 10 chunks = 40ms, 10,000 chunks = 154ms (sub-linear scaling). NDCG Tie: Winnex O(K) with 128D QJL = 0.08886 vs FAISS FlatIP 384D = 0.08886 (delta = 0.00000) on Jena Climate benchmark. flp_bad=0: H4+M10 gate eliminates all false positives in near-tie scenarios across all 6 gap levels (0.002 to 0.100). 83% TCO Reduction: No GPU required, no vector database license, commodity CPU hardware. Enterprise Impact For a 100M-document corpus: O(K) navigation costs ~6K float ops vs 3.8B for FlatIP (ratio 1.6 × 10⁻⁶). 3-year TCO: $22,628 (Winnex) vs $133,140 (HNSW) — saving $110,512 per deployment. Applicable to legal discovery, patent search, medical literature, regulatory compliance, and code retrieval at any scale. BSL 1.1 license. Executable on Kaggle GPU P100 (~2.2 min). Full stack: 22 microservices, 154 scripts, 56K+ LOC.

Zenodo (CERN European Organization for Nuclear Research)
IDEXX Laboratories (France) (FR)
Climate action
Openalex Percentile: Top 4%
Natural Language Processing Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.