← All parts of this equation

Equation 9 · Part 3 · Embeddings and the Geometry of Similarity

Symbol D_max^k

lim⁡d→∞E ⁣[Dmax⁡k−Dmin⁡kd1/k−1/2]=C⋅1(k+1)1/k12k+1,\lim_{d \to \infty} \mathbb{E}\!\left[ \frac{D_{\max}^{k} - D_{\min}^{k}}{d^{1/k - 1/2}} \right] = C \cdot \frac{1}{(k+1)^{1/k}} \sqrt{\frac{1}{2k+1}},
Dmax⁡kD_{\max}^{k}

What this part means

DmD_maxkx^k occurs above the fraction bar. The numerator is divided by the entire denominator below it.

Its job in the formula

DmD_maxkx^k occurs above the fraction bar. The numerator is divided by the entire denominator below it.

The passage around this formula

Aggarwal, Hinneburg and Keim then showed the rate depends on the norm. For uniform data under an LkL_k metric, the expected gap between the farthest and nearest distances scales as lim⁡d→∞E ⁣[Dmax⁡k−Dmin⁡kd1/k−1/2]=C⋅1(k+1)1/k12k+1\lim_{d \to \infty} \mathbb{E}\!\left[ \frac{D_{\max}^{k} - D_{\min}^{k}}{d^{1/k - 1/2}} \right] = C \cdot \frac{1}{(k+1)^{1/k}} \sqrt{\frac{1}{2k+1}}. with C constant, while typical distances themselves grow like d1/kd^{1/k} . Relative contrast therefore decays with dimension, and the constant shrinks as k rises — which is why they conclude that L1L_1 is preferable to L2L_2 in high dimensions, L2L_2 to L3L_3 , and that fractional norms preserve contrast better still [ 12 ] .

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the surrounding passage

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