Skip to content
nonconvexcard

The maximum of N distractor similarities

ProofAdvanced⏱ 30 minRAGmaximumsub-gaussianunion boundretrieval

Problem

Prove Emax⁡j≤N⟨q,zj⟩≤2log⁡N/d\E\max_{j\le N}\langle q,z_j\rangle\le\sqrt{2\log N/d} for independent uniform directions zjz_j, and derive the high-probability version. Then compute the required query–document alignment for top-1 retrieval at d=768d = 768 and N=103,106,109N = 10^3,10^6,10^9.

Write a complete argument. Every inequality you use should be one you could state precisely.

Solution

Opening this before you have a real attempt on paper is the fastest way to feel like you understand something you cannot reproduce.

Related problems

All problems
SolvedProblemFieldTypeDifficultyTime
Three similarities agree on the unit sphereRAGProofFoundation15 min
When is the union bound tight?ProbabilityProofFoundation15 min
Generalisation for a finite classLearning TheoryProofBeginner30 min
A sufficient condition for correct retrievalRAGProofIntermediate30 min
Measure anisotropy in an embedding space runRAGCodingIntermediate1 hour