Kullback–Leibler divergence compares probability distributions by measuring how closely an approximation matches measured or original probabilities. In t-SNE, it compares similarity probabilities from high-dimensional and low-dimensional spaces. section 6.4 section 6.4.1
A KL divergence of zero means the two distributions are identical. The measure therefore supplies the cost that t-SNE seeks to reduce while mapping data into fewer dimensions. section 6.4.1
The t-SNE workflow applies KL divergence after constructing two probability distributions:
- Represent nearby high-dimensional points with high conditional similarity probabilities and distant points with very small probabilities. section 6.4
- Construct low-dimensional probabilities using the Cauchy distribution. section 6.4
- Compare the two distributions and minimize the resulting KL cost function with gradient descent. section 6.4.1
Preserving neighborhood similarity
If two points are nearby in the original space, their conditional similarity probability should remain high in the embedding. KL divergence penalizes differences between those high-dimensional and low-dimensional probabilities. section 6.4 section 6.4.1
Figure 6.13 Comparison of Gaussian distribution vs. Cauchy distribution. (Image source: Quora)
Compare the Gaussian and Cauchy distributions used when forming the high- and low-dimensional probability representations. section 6.4.1











