← Back to article

Equation 9 · Embeddings and the Geometry of Similarity

What does this equation mean?

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}},

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Start with1
Divide by(k+1)^1/k
This relates tolim_d to infty E[ fracD_max^k - D_min^kd^1/k - 1/2 ]
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

dd

Symbol d

d occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

E\mathbb{E}

Symbol E

The expected value operator: the probability-weighted average of the quantity inside its brackets.

Understand this part →

Dmax⁡kD_{\max}^{k}

Symbol D_max^k

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

Understand this part →

Dmin⁡kD_{\min}^{k}

Symbol D_min^k

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

Understand this part →

d1/k−1/2d^{1/k - 1/2}

Symbol d^1/k - 1/2

d1d^1/k - 1/2 occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

CC

Symbol C

C is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

kk

Symbol k

k is part of the quantity the equation computes from the expression on the right.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
fraction

fraction

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

Understand this part →

See an illustrated explanation →
√

√

Take a square root.

Understand this part →

multiplication

multiplication

Multiply the quantities on either side.

Understand this part →

addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →
Dmax⁡k−Dmin⁡kD_{\max}^{k} - D_{\min}^{k}

Numerator: D_max^k - D_min^k

The complete quantity above the fraction bar.

Understand this part →

11

Numerator: 1

The complete quantity above the fraction bar.

Understand this part →

(k+1)1/k(k+1)^{1/k}

Denominator: (k+1)^1/k

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

11

Numerator: 1

The complete quantity above the fraction bar.

Understand this part →

2k+12k+1

Denominator: 2k+1

The complete quantity below the fraction bar; it must be nonzero for this division.

Understand this part →

How to interpret it

With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

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 the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to Embeddings and the Geometry of Similarity

See this formula across 1 published context →

Browse the mathematical compendium →