AIMech AI

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

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 →
CONCEPT KIND Algorithms AIMech:SinkhornDistancesAndEntropicRegularizedOptimalTransport Sinkhorn Distances and... 3 claims · 3 sources AIO GROUNDING AIO:Clustering (1)

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