This section provides basic theoretical details on the log-Sinkhorn operator and its convergence results. Then, we define the functional F(Al): C2(M)/R R, as follows: F(Al) = Z Sl A(x)dµθt(x)+ Z Hϵµ[Sl A](y)dνt(y). The log-Sinkhorn iteration S has the a point in C2(M)/R. This fixed point is determined up to an additive constant, and minimizes the functional F uniformly: F(S Al) F(Al+1) F(Al). Then, the function Al L is approximated to the d2/2-Legendre transformation (11) of the function Bm M. [Al L] If A is a fixed point of the log-Sinkhorn operator S on C2(M)/R, 36th Conference on Neural Information Processing Systems (NeurIPS 2022).