Sinkhorn Distances and Entropic Regularized Optimal Transport
Algorithms AIMech:SinkhornDistancesAndEntropicRegularizedOptimalTransport DRAFT
Aliases: Sinkhorn Distance, Dual-Sinkhorn Entropic Optimal Transport, Cuturi Lightspeed Optimal Transport via Sinkhorn-Knopp Matrix Scaling
Sinkhorn Distances and Entropic Regularized Optimal Transport is a scalable optimal transport framework introduced by Cuturi (2013) that replaces the unregularized O(d^3 log d) network-simplex linear program d_M(r, c) = min_{P in U(r, c)} <P, M> over the transport polytope U(r, c) = {P in R_+^{d x d} : P 1_d = r, P^T 1_d = c} with the strictly convex entropic-regularized Dual-Sinkhorn problem d_M^lambda(r, c) = <P^lambda, M> where P^lambda = argmin_{P in U(r, c)} {<P, M> - (1/lambda) h(P)} and h(P) = -sum_{i,j} P_{ij} log P_{ij} is the Shannon entropy (Equations 2-3). By strict convexity and KKT optimality (Lemma 2), the unique optimal coupling has the diagonal-scaling form P^lambda = diag(u) K diag(v) of the Gibbs kernel K_{ij} = exp(-lambda M_{ij}), which is computed at linear convergence rate via the Sinkhorn-Knopp alternating row- and column-normalization iteration u <- r ./ (K v), v <- c ./ (K^T u) using vectorized matrix-vector multiplications in O(d^2) operations per iteration (Algorithm 1).
Identity Notes & Concept Scope
Distinct from 1-Wasserstein discriminator critic maximization in Wasserstein GANs (AIMech:WassersteinGANAndKantorovichRubinsteinDualityCritic) and from classical combinatorial auction / network-simplex linear programming solvers. Specifically captures Cuturi's (2013) Primal-Sinkhorn entropy ball constraint U_alpha(r, c) (Definition 1 and Equation 1), the Dual-Sinkhorn entropic Lagrangian d_M^lambda(r, c) = <P^lambda, M> (Equation 2), the metric symmetry and triangle-inequality proof via conditional gluing of transport plans and strong data-processing inequality I(X; Z) <= min(I(X; Y), I(Y; Z)) (Theorem 1 and Lemma 1), the Gibbs kernel diagonal scaling characterization P^lambda = diag(u) exp(-lambda M) diag(v) (Lemma 2), and the vectorized Sinkhorn-Knopp algorithm (Algorithm 1).
Claims & Grounded Evidence
3 Claims
Mechanism
#claim-01
For any cost matrix M in R_+^{d x d}, marginals r, c in Delta_d, and entropic regularization parameter lambda > 0, Lemma 2 proves via KKT multipliers alpha, beta that the unique minimizer P^lambda of <P, M> - (1/lambda) h(P) over U(r, c) has entries P_{ij}^lambda = u_i exp(-lambda M_{ij}) v_j for unique up-to-scalar nonnegative scaling vectors u, v >= 0, reducing optimal transport computation to Sinkhorn-Knopp alternating projections u <- r ./ (K v), v <- c ./ (K^T u) on the positive Gibbs kernel K = exp(-lambda M).
Scope
#claim-02
Whenever M is a metric matrix, Theorem 1 and Lemma 1 prove that the Primal-Sinkhorn divergence d_{M,alpha}(r, c) = min_{P in U_alpha(r, c)} <P, M> over the KL/mutual-information constrained polytope U_alpha(r, c) = {P in U(r, c) : KL(P || r c^T) <= alpha} is symmetric and satisfies the triangle inequality d_{M,alpha}(x, z) <= d_{M,alpha}(x, y) + d_{M,alpha}(y, z) because the conditionally glued coupling S = P diag(1/y) Q in U(x, z) satisfies the data-processing mutual-information bound I(X; Z) <= min(I(X; Y), I(Y; Z)) <= alpha.
Limitation
#claim-03
Unlike unregularized optimal transport d_M(r, c), both d_{M,alpha}(r, r) and d_M^lambda(r, r) violate identity of indiscernibles (d_M^lambda(r, r) > 0 whenever lambda < infinity and r is not a Dirac delta, requiring indicator correction 1_{r != c} to form a true metric), and taking very large lambda to approach the unregularized LP solution causes numerical underflow in K = exp(-lambda M) and slows Sinkhorn's Hilbert-metric contraction factor.
⚠️ Curated Limitations & Negative Results
- Suffers from entropic bias (d_M^lambda(r, r) > 0 for finite lambda unless explicitly debiased) and numerical underflow of exp(-lambda M_{ij}) coupled with slower Sinkhorn-Knopp convergence when the regularization weight 1/lambda approaches zero.
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:Clustering
Clustering
|
related_match | Sinkhorn distances provide fast entropic-regularized optimal transport geometry for histogram clustering and barycenter computation. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r324-primary-pdf
|
Marco Cuturi
|
primary paper
full_text
|
ID: https://papers.nips.cc/paper/2013/hash/af21d0c97db2e27e13572cbf59eb343d-Abstract.html
sha256:f666b9bce6bb…
|
r324-arxiv-abs
|
Marco Cuturi
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/1306.0895v1
sha256:af40e4e68f04…
|
r324-metadata-cr
|
Marco Cuturi
|
primary paper
abstract_only
|
ID: https://papers.nips.cc/paper/2013/hash/af21d0c97db2e27e13572cbf59eb343d-Abstract.html
sha256:bef913c6effc…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T06:40:00Z
Updated: 2026-10-19T06:40:00Z
Source File:
data/curated/SinkhornDistancesAndEntropicRegularizedOptimalTransport.yaml
· Schema:
curated_concept.yaml
Explore across X-Mech
Related computational & biological Mechs:
Embedding Map
Network Graph
ProteinTraitsMech (ESM-2 pLM)
DUFMech (Domain pLM)
TraitMech
CultureMech
All 14 X-Mech Repositories