← All parts of this equation

Equation 6 · Part 11 · Embeddings and the Geometry of Similarity

fraction

lim⁡m→∞var⁡ ⁣(dm(Pm,Qm)pE[dm(Pm,Qm)p])=0    ⟹    lim⁡m→∞Pr⁡ ⁣[Dmax⁡(m)≤(1+ε) Dmin⁡(m)]=1\lim_{m \to \infty} \operatorname{var}\!\left( \frac{d_m(P_m, Q_m)^p}{\mathbb{E}\left[ d_m(P_m, Q_m)^p \right]} \right) = 0 \;\;\Longrightarrow\;\; \lim_{m \to \infty} \Pr\!\left[ D_{\max}^{(m)} \le (1 + \varepsilon)\, D_{\min}^{(m)} \right] = 1
fraction

What this part means

Divide the expression above the line by the one below it.

Its job in the formula

The expression above the fraction bar is divided by the complete expression below it. The denominator must not be zero.

The passage around this formula

Beyer and colleagues proved the canonical result. Under broad conditions on the data and query distributions — much broader than independence and identical distribution across dimensions — as dimensionality rises the distance to the nearest data point approaches the distance to the farthest. Formally, writing dmd_m for the distance function in m dimensions, PmP_m for a data point and QmQ_m for a query point: lim⁡m→∞var⁡ ⁣(dm(Pm,Qm)pE[dm(Pm,Qm)p])=0    ⟹    lim⁡m→∞Pr⁡ ⁣[Dmax⁡(m)≤(1+ε) Dmin⁡(m)]=1\lim_{m \to \infty} \operatorname{var}\!\left( \frac{d_m(P_m, Q_m)^p}{\mathbb{E}\left[ d_m(P_m, Q_m)^p \right]} \right) = 0 \;\;\Longrightarrow\;\; \lim_{m \to \infty} \Pr\!\left[ D_{\max}^{(m)} \le (1 + \varepsilon)\, D_{\min}^{(m)} \right] = 1. for every ε\varepsilon > 0 [ 11 ] . The condition is on the relative variance of the distance distribution: when distances stop varying much relative to their own mean, the nearest neighbour stops being distinguishable from everything else. The authors call such a query…

Read this part in the article →

Learn the underlying idea

A fraction a/b means a divided by b. The top number is the numerator; the bottom number is the denominator, and it cannot be zero.

Open the illustrated fractions: division written vertically guide →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.