2026
CLM-SIGNAL-003413<= m = O(epsilon^(-2) log N)UPPER BOUNDThe cited theorem establishes m = O(epsilon^(-2) log N) under the recorded model.Source: Extensions of Lipschitz mappings into a Hilbert space — Johnson–Lindenstrauss embedding dimension ↗
PROVEN