Till 1956, i.e., during 18 years of existence of the new mathematical economic theory, L.V. and his coauthors published less than 10 papers on this subject (I remember G. Sh. Rubinshtein making up, at my request, the complete list of these papers in autumn 1956). Surely, not because texts dealing with these problems were not written. L.V. had already prepared a whole book on economics, whose destiny is an exact and gloomy illustration of the system's attitude to scientific studies that do not keep within obligatory schemes, rigid and hence fruitless. A revised version of the book was not published till almost twenty years later ([13]).
In 1955–56, L.V. decided to “open” this topic; he began to give public and special lectures, to popularize his theory. The moment was chosen quite well. However, the wide distribution and acknowledgment of these studies were still a long way off. One can read about all these events in the book [16] (in particular, in my paper [26]), but a detailed account of the whole story is still to be written.
Let us return to the transportation problem. The third important paper on this subject was the paper [15] by L.V. and his pupil and coauthor G. Sh. Rubinshtein. It is this paper that contained an explicit definition of the norm in the space of measures related to the transportation metric. The main observation was that the conjugate space to the space of measures with this norm is the space of Lipschitz functions, and the optimality criterion is nothing more than the dual definition of the norm as a supremum over the sphere of the conjugate space. Before this paper it was not known whether the space of Lipschitz functions is conjugate to any Banach space. At that time (1956–57) I was interested in mathematical economics and maintained close contacts with L.V. and G. Sh. Rubinshtein, and G. Sh. described me in detail the stages of their work; in particular, he said that L.V. was very satisfied by this interpretation of the transportation problem. After this paper, the metric is often called the
Kantorovich–Rubinshtein metric.
Here it is worthwhile to make two remarks. Of course, the idea of duality was contained from the very beginning both in the booklet
of 1939 (the method of resolving multipliers) and in the note by L.V. in Doklady Akad. Nauk SSSR [9] – the first paper devoted to comprehending the relations between functional analysis and nonclassical linear extremal problems (calculation of norms and extrema); it is worth noting that this was one more example showing the utility of functional analysis for applications; see the paper [14], devoted to applications of linear programming to computational mathematics, and the classical work by L.V. on the Newton method [12]. On the other hand, the technique that consists in taking the objective function as the norm in the space of righthand sides of an extremal problem (exactly this was suggested in [15]) can be successfully applied to many extremal problems (see, for example, [19, 28]). It was noted more than once that both classics of mathematical economics of the 20th century – von Neumann and Kantorovich – came from functional analysis.
We cannot but mention that eventually, in course of development of the theory of nonclassical extremal problems, other relations became obvious: to the theory of linear inequalities and separability theory, Chebyshev approximations and Krein's
$L$
moment problem, Weyl's studies on convex polytopes and convex geometry as a whole, Bourbaki's theory of polars and combinatorics, etc. ^{2 }
Today we would include in this list “tropical” mathematics, or maxplus algebra and impetuious developement of the applications to differential equations, in particualr to MongeAmpere equation, hydrodynamics and so on (see references). We will not discuss here those illuminated applications.
2 Basic definitions
The transportation problem has been always holding a prominent position among all problems of linear programming due to its general formulation and methods of solution. In what follows, I would like to present several littleknown applications of the transportation metric; but first let us recall the formulation of the transportation problem.
Definition 1.
Let
$(X,r)$
be a compact metric space, and let
${\mu}_{1}$
and
${\mu}_{2}$
be two probability Borel measures on
$X$
. Consider the Monge–Kantorovich variational problem (MKproblem for short):
set
$${k}_{r}({\mu}_{1},{\mu}_{2})={inf}_{L}\int r({x}_{1},{x}_{2})dL,$$
where
$L$
runs over all Borel measures on
$X\times X$
with marginal measures
${\mu}_{1}$
and
${\mu}_{2}$
.
The quantity
${k}_{r}({\mu}_{1},{\mu}_{2})$
determines a metric on the simplex
$V\left(X\right)$
of all probability measures on the compact space
$X$
; it is called the Kantorovich (or transportation) metric ([10]).
Remark. The measure
$L$
is a “plan of transportation” of the distribution
${\mu}_{1}$
to the distribution
${\mu}_{2}$
; the integral means the cost of a given transportation plan, and the infimum (the Kantorovich metric) is achieved at the optimal plan.
Theorem 1.
(Kantorovich–Rubinshtein [15]) (1) Consider the vector space
${V}_{0}\left(X\right)$
of all (not necessarily positive) Borel measures
$\nu $
with zero charge and finite variation (i.e., the positive part,
${\nu}^{+}$
, and the negative part,
${\nu}_{}$
, of
$\nu $
have the same finite variation) and define the Kantorovich–Rubinshtein norm
$\left\right\nu {}_{k}$
of an element
$\nu \in {V}_{0}\left(X\right)$
as the Kantorovich distance between the positive and negative parts of
$\nu $
:
$$\left\right\nu {}_{k}={k}_{r}({\nu}_{+},{\nu}_{}).$$
Then the space of Lipschitz (up to additive constant) functions with the Lipschitz norm is the conjugate normed space to the space
${V}_{0}\left(X\right)$
with the norm
$\left\right.{}_{k}$
.
(2) A plan
$L$
in (1) is optimal if and only if there exists a Lipschitz function
$U$
with Lipschitz constant
$1$
such that
$$U\left(x\right)U\left(y\right)=r(x,y)$$
almost everywhere with respect to the plan
$L$
.
We will omit the index
$r$
in the notation
${k}_{r}$
if the metric
$r$
is fixed, as well as the index
$k$
in the notation
$\left\right.{}_{k}$
.
Remark 1. The Kantorovich metric induces the weak topology on the simplex of probability measures on the compact space
$X$
([15]).
Remark 2. In the framework of solution of the finitedimensional transportation problem, the optimal Lipschitz function
$U$
is nothing more than the Kantorovich–Gavurin potential from [6].
There is a huge number of difficult problems related to explicit calculation of the Kantorovich metric for a given compact space. For
${\mathbb{R}}^{2}$
, this is the classical Monge's problem on transportation of sand.
For
${\mathbb{R}}^{1}$
, there is a good answer: let
${\nu}_{1}$
and
${\nu}_{2}$
be two probability measures on
$[0,1]$
, and let
$r$
be the ordinary (Euclidean) metric; then
${k}_{r}({\nu}_{1},{\nu}_{2})={\int}_{0}^{1}\left{\nu}_{1}\right([0,t]){\nu}_{2}([0,t]\left)\rightdt$
, i.e., the Kantorovich metric is just the
${L}^{1}$
metric for distribution functions. Apparently, there are no explicit formulas for
${\mathbb{R}}^{n}$
,
$n\ge 2$
. Many papers are devoted to this problem; we will mention only the recent surveys [29, 30, 5].
However, it makes sense to mention an essential idea, which has appeared recently and which plays a very important role in modern applications to hydrodynamics, differential equations, and other areas (see [4,5,30] and references there); I mean the
$p$
Kantorovich norms (see [2]). Namely, the original definition of the Kantorovich metric (and Kantorovich norm) resembles the definition of the
${L}^{1}$
norm; but we can also define an analog of the
${L}_{p}$
norm
$${k}_{p}({\nu}_{1},{\nu}_{2})={inf}_{L}{\left[\int r({x}_{1},{x}_{2}{)}^{p}dL\right]}^{1/p},$$
where the infimum is taken, as before, over all transportation plans
$L$
for a pair of probability measures
$({\nu}_{1},{\nu}_{2})$
, and the corresponding norm
$$\left\right\nu {}_{p}={k}_{p}({\nu}_{+},{\nu}_{})$$
for all
$p\ge 1$
. Of course, the original Kantorovich metric (the case
$p=1$
) has more physical significance, but the case
$p=2$
is much more convenient from the technical and geometric point of view. The corresponding variational problem and Euler equation are simpler than in the case
$p=1$
, and the results of [2] show that for a certain geometric transportation problem, the Euler equation is the wellknown Monge–Ampère equation (which a priori has nothing to do with the Monge–Kantorovich problem).
Let us mention another important special case, which is sometimes also called the MKproblem; we will call it the
strong MKproblem.
Namely, with the above notation, it is formulated as follows:
to find
$$\overline{k}({\mu}_{1},{\mu}_{2})\equiv {inf}_{T}\int r(x,Tx)d{\mu}_{1}\left(x\right),$$
where the infimum is taken over all measurable mappings
$T$
such that
$T{\mu}_{1}={\mu}_{2}$
.
The existence of minimum in (2) is a very subtle question. Of course,
$\overline{k}({\mu}_{1},{\mu}_{2})\ge k({\mu}_{1},{\mu}_{2})$
, and the question of when the inequality becomes an equality is difficult and very important. In the last section, we will present a new approach to both problems.
Among a huge number of applications of the Kantorovich metric, I would like to mention only three examples, which are little known to specialists in applications of this metric, yet are very important in dynamical systems and functional analysis.
3 The iterated Kantorovich metric and the tower of measures
We will begin with the notion of tower of measures, which was defined in [20] and considered in more detail in [23], [39] Let
$(X,r)$
be an arbitrary compact metric space (say, the unit interval with the Euclidean metric). We can consider a new compact space
$V\left(X\right)$
, the space of all probability Borel measures on
$X$
, and supply it with the Kantorovich metric. Thus we have defined a functor
$F$
from the category of metric compact spaces to itself:
$F:X\mapsto V\left(X\right)$
,
$r\mapsto {k}_{r}$
; it is clear that
$F$
sends each homeomorphism of a compact space
${X}_{1}$
to a compact space
${X}_{2}$
to a homeomorphism of
$V\left({X}_{1}\right)$
to
$V\left({X}_{2}\right)$
.
Obviously,
$(X,r)$
can be isometrically embedded into
$\left(V\right(X),{k}_{r})$
via the mapping
$x\mapsto {\delta}_{x}$
.
Let us iterate this procedure:
$$(X,r)\u27f6\left(V\right(X),{k}_{r})\u27f6\left(V\right(V\left(X\right)),{k}_{{k}_{r}})\u27f6....$$
Set
${V}^{n}=V\left({V}^{n1}\right(X\left)\right)$
and
${k}_{r}^{n}={k}_{{k}_{r}^{n1}}$
and introduce the notation
${F}_{n}$
for the mapping
$({V}^{n1},{k}_{r}^{n1})\u27f6({V}^{n},{k}_{r}^{n})$
.
We can consider the
inductive limit of this sequence of metric spaces with isometric embeddings:
$$({V}^{\infty},{k}_{r}^{\infty})\equiv {\text{indlim}}_{n}\left(\right({V}^{n},{k}_{r}^{n}),{F}_{n}).$$
This inductive limit (a metric space) is called the infinite tower of measures; it plays a crucial role in the theory of filtrations of
$\sigma $
fields generated by random processes and its various applications.
On the other hand, for
$n\ge 2$
there is a natural projection
$${P}_{n}:{V}^{n}\u27f6{V}^{n1},{P}_{n}\left(\mu \right)=\overline{\mu},$$
where
$\overline{\mu}$
is the barycenter of the measure
$\mu $
, which is well defined for measures on affine compact spaces (thus the projection is defined for
${V}^{n}$
,
$n\ge 2$
), and we have the sequence
$$\left({V}^{1}\right(X),{k}_{r})\u27f5\left({V}^{2}\right(X),{k}_{r}^{2})\u27f5....$$
Thus we obtain the projective limit
$${\overline{V}}^{\infty}\equiv {\text{projlim}}_{n}\left({V}^{n}\right(X),{P}_{n}).$$
Since
${P}_{n}{F}_{n}={I}_{n1}$
, the inductive limit
${V}^{\infty}$
is naturally embedded into the projective limit:
$${V}^{\infty}\subset {\overline{V}}^{\infty};$$
but, in contrast to the case of inductive limit, on the projective limit there is no natural metric.^{3 }
The main application of this tower of measures is as follows. Assume that we have a “metric triple”
$(X,r,\mu )$
, i.e., a measure space with a metric or semimetric, and a decreasing sequence of measurable partitions of this space (discrete filtration)
$\left\{{\xi}_{n}\right\}$
,
$n=0,1,...$
; here
${\xi}_{0}$
is trivial and
${\xi}_{n}>{\xi}_{n+1}$
.
First consider one partition
$\xi $
; for almost all points
$a\in X/\xi $
of the quotient space with respect to this partition, there is a welldefined conditional measure on the element of
$\xi $
corresponding to
$a$
. We regard it as a measure on
$(X,r)$
; thus we have a mapping
${f}_{\xi}:X/\xi \to V(X,r)$
, which sends almost every point
$a\in X/\xi $
to a (conditional) measure on
$(X,r)$
. It is convenient to regard this mapping as a function from
$(X,\mu )$
to
$V\left(X\right)$
.
Now define a metric (or semimetric) on
$X/\xi $
as follows: for almost all pairs of points
$a,b\in X/\xi $
, define the distance between them as the Kantorovich distance between the corresponding conditional measures.
Thus we have defined a metric (or semimetric) on a subset of full measure in the quotient space
$X/\xi $
; it can also be regarded as a semimetric on the original space
$(X,\mu )$
.
Apply this process to the decreasing sequence of partitions
$\left\{{\xi}_{n}\right\}$
:
start from
${\xi}_{1}$
, then define a metric on
$X/{\xi}_{1}$
, a mapping
${f}_{1}:X\to V(X,r)$
, and a partition
${\xi}_{2}/{\xi}_{1}$
; now we have a mapping from
$X/{\xi}_{2}$
to
${V}^{2}\left(X\right)$
, a new metric on
$X/{\xi}_{2}$
, and a map
${f}_{2}:\to {V}^{2}(X,r)$
.
Continuing this process, we obtain mappings
${f}_{n}$
from
$(X,\mu )$
to the iterated spaces
${V}^{n}(X,r)$
, or to the inductive limit
$({V}^{\infty},{k}_{r}^{\infty})$
.
One of the main results of the theory of decreasing sequences ([20], [23]) is the following theorem.
Theorem 2.
A decreasing homogeneous sequence of measurable partitions is standard (see [20, 23] for definitions) if and only if the sequence of measures
${f}_{n}*\mu $
(in other words, the sequence of the distributions of the mappings
${f}_{n}$
with respect to the measure
$\mu $
), regarded as a sequence of measures on the inductive limit
$({V}^{\infty},{k}_{r}^{\infty})$
, tends to a
$\delta $
measure.
A discussion of these subjects can be found in [23] and in forthcoming papers.
4 The Kantorovich metric in Ornstein's theory
In the early 70s, Donald Ornstein solved a longstanding problem in ergodic theory: he gave necessary and sufficient conditions on a discretetime stationary random process under which the shift in the space of trajectories of this process is isomorphic to a Bernoulli shift; using this result, he proved that the Kolmogorov entropy is a complete invariant of Bernoulli shifts ([17]). We will formulate the main theorem of Ornstein's theory in order to illustrate the role of the Kantorovich metric, which was rediscovered by Ornstein (he called it the
$\overline{d}$
metric).
Assume that the state space
$S$
of a stationary process is finite and
$\mu $
is the stationary measure on
${S}^{\mathbb{Z}}$
generated by this process. The question is formulated as follows: when there exists an isomorphism (in the measuretheoretic sense) of the Bernoulli space
${{S}^{\prime}}^{\mathbb{Z}}$
with product measure and the space
$({S}^{\mathbb{Z}},\mu )$
that commutes with the shift. This is the wellknown isomorphism problem in ergodic theory. It is clear that the criterion of existence of such an isomorphism must be expressed in terms of the rate of decrease of the correlation between the past and the future of the process. There are many known conditions of this type, which are sometimes called “mixing conditions.” Most of such conditions known in the theory of stationary processes are too strong (Kolmogorov's, Rozenblatt's, Ibragimov's conditions, etc.). It turned out that the right notion is related to the Kantorovich metric on the space of words with the Hamming metric – this was discovered by D. Ornstein. Our interpretation slightly differs from the original one, but is closer to the previous context (see [29]).
Let
$\left\{{\xi}_{n}\right\}$
,
$n\in \mathbb{Z}$
, be a stationary random process with finite state space
$S$
and shiftinvariant measure
$\mu $
on
${S}^{\mathbb{Z}}$
. Consider the “past” of the process:
$\mathcal{P}={\prod}_{\infty}^{0}S$
; the projection of
$\mu $
to
$\mathcal{P}$
will be denoted by
${\mu}^{}$
. Fix a point
${x}^{}=({x}_{0},{x}_{1},{x}_{2},...)\in \mathcal{P}$
and consider the conditional distribution on the
$n$
future given a fixed past
${x}^{}$
:
$${P}_{n}({x}_{1},{x}_{2},...,{x}_{n}{x}^{});$$
this is a measure on the
$n$
future
${S}^{n}$
defined for almost all points
${x}^{}\in \mathcal{P}$
; it is an element of
$V\left({S}^{n}\right)$
, thus we have a mapping
${F}_{n}:\mathcal{P}\to V\left({S}^{n}\right)$
defined almost everywhere.
Consider the Hamming metric on
${S}^{n}$
:
$${h}_{n}(x,y)=\frac{1}{n}\#\{i\in (1,...,n):{x}_{i}\ne {y}_{i}\},$$
where
$x=({x}_{1},...,{x}_{n}),y=({y}_{1},...,{y}_{n})\in {S}^{n}$
and
$\#$
stands for the number of points in a set; and let
${k}_{{h}_{n}}$
be the Kantorovich metric on the space
$V({S}^{n},{h}_{n})$
of measures on the
$n$
future.
Theorem 3.
[17, 24] Consider a stationary process
$\left\{{\xi}_{n}\right\}$
,
$n\in \mathbb{Z}$
, and the right shift in the space of realizations generated by this process. An invertible encoding of this shift into a Bernoulli shift (in other words, a measurepreserving isomorphism of the shift in the space of realizations of the process and a Bernoulli shift) exists if and only if
$${lim}_{n\to \infty}\int {\int}_{{x}^{}\in \mathcal{P},{y}^{}\in \mathcal{P}}{k}_{{h}_{n}}\left(P\right(*\left{x}^{}\right),P(*{y}^{}\left)\right)d{\mu}^{}\left({x}^{}\right)d{\mu}^{}\left({y}^{}\right)=0$$
(the integral of the value of the Kantorovich metric for the pair of conditional measures corresponding to a pair of points from
$\mathcal{P}\times \mathcal{P}$
with respect to the product measure
${\mu}^{}\times {\mu}^{}$
).
The literal meaning of the above condition is very transparent: it means that the conditional distribution on the future given a fixed past asymptotically does not depend on the past; roughly speaking, there is only one type of distribution on the future; but a more precise sense of these words essentially depends on the choice of a metric on the space of realizations of the process (we should take the Hamming metric) and a metric on the spaces of measures (here we should use the Kantorovich metric); in general, the conclusion of the theorem will be false if we replace the Kantorovich metric by some other one (for example, by the variation metric).
The last formulation also motivates the definition of the socalled
secondary entropy of a stationary process (see [24]). Define
${M}_{n}^{+}$
as the image of the measure
${\mu}^{}$
(see above) under the mapping
${F}_{n}:\mathcal{P}\to V({S}^{n},{h}_{n})$
; this is a measure on
$V({S}^{n},{h}_{n})$
. In the case of Bernoulli automorphisms, by Ornstein's theorem, the measure
${M}_{n}^{+}$
tends to a
$\delta $
measure as
$n\to \infty $
. But for a general Kolmogorov stationary process (Kautomorphism), this is not the case. More precisely, if the automorphism is not a Bernoulli automorphism, then the limit exists, but is not a
$\delta $
measure. Thus it is natural to introduce a characteristic of the limiting measure. Namely, we may consider the socalled
$\varepsilon $
entropy of the measure
${M}_{n}^{+}$
. This notion also uses the Kantorovich metric. For an arbitrary Borel probability measure
$\nu $
on a metric space
$(X,d)$
, the
$\varepsilon $
entropy
${h}_{\varepsilon}\left(\nu \right)$
(as a function of
$\varepsilon $
) is defined as follows:
$${h}_{\epsilon}\left(\nu \right)=inf\left\{H\right(l):{k}_{d}(l,\nu )<\epsilon \},$$
where the infimum is taken over all discrete measures
$l$
on
$(X,d)$
and
$H\left(l\right)$
is the ordinary entropy of a discrete measure:
$H\left(l\right)=\sum {l}_{i}log{l}_{i}$
,
$l=({l}_{1},...,{l}_{n})$
,
${\sum}_{i}{l}_{i}=1$
,
${l}_{i}\ge 0$
,
$i=1,...,n$
.
The asymptotic of
${h}_{\varepsilon}\left({M}_{n}^{+}\right)$
with respect to
$n$
is called the secondary entropy of the process. An open problem: what kind of asymptotic behavior can appear? Presumably, the secondary entropy is a metric invariant of Kautomorphisms.
5 Application to the classification of metric spaces
Consider a Polish (=metric, complete, separable) space with a Borel probability measure. We call such a space a metric triple (another term is an
$mm$
space [7]). Two triples
$(X,\rho ,\mu )$
and
$({X}^{\prime},{\rho}^{\prime},{\mu}^{\prime})$
are isomorphic if there exists a mapping
$T:X\to {X}^{\prime}$
that is an isometry and preserves the measures:
${\rho}^{\prime}(Tx,Ty)=\rho (x,y)$
and
$T\mu ={\mu}^{\prime}$
.
We regard the metric as a measurable function of two variables:
$$\rho :X\times X\u27f6\mathbf{R}.$$
(The theorem below is true for an arbitrary symmetric measurable function
$\rho $
, not necessarily a metric.) Let
${X}^{\infty}$
be the product of infinitely many copies of the space
$X$
.
Define a mapping
$$F:{X}^{\infty}\u27f6{M}_{\infty}(\mathbb{R})$$
from
${X}^{\infty}$
to the set of symmetric matrices as follows:
$F(x,y)=\{{r}_{i,j}{\}}_{i,j=1}^{\infty}$
, where
$x=({x}_{1},{x}_{2},\dots )$
and
${r}_{i,j}=\rho ({x}_{i},{x}_{j})$
.
Let us denote the image of the measure
${\mu}^{\infty}$
under the mapping
$F$
by
$F\left(\mu \right)\equiv {D}_{\rho}$
; the measure
${D}_{\rho}$
on
${M}_{\infty}(\mathbf{R})$
will be called the matrix distribution of the function
$\rho $
.
In [25], we considered and classified general (nonsymmetric) measurable functions
$f(x,y)$
of two variables on the space
$(X\times X,\mu \times \mu )$
up to mappings of the form
${T}_{1}\times {T}_{2}$
, where
${T}_{1}$
and
${T}_{2}$
are measurepreserving automorphisms of
$(X,\mu )$
. We also defined the notion of matrix distribution for this case; it is a complete invariant for socalled pure functions.
But now we need another classification. We also consider arbitrary measurable (nonsymmetric) functions
$f$
on the space
$(X\times X,\mu \times \mu )$
, where
$(X,\mu )$
is a Lebesgue space with continuous measure, but we classify them up to mappings of the form
$T\times T$
, where
$T$
is an automorphism of
$(X,\mu )$
(in other words,
${T}_{1}={T}_{2}$
). Namely, define a mapping
$${F}_{f}:{X}^{\infty}\u27f6{M}_{\infty}(\mathbb{R}),$$
where
${F}_{f}\left(x\right)=\left\{f\right({x}_{i},{x}_{j}){\}}_{i,j=1}^{\infty}$
and
$x=({x}_{1},{x}_{2},...)\in {X}^{\infty}$
; here
${M}_{\infty}(\mathbb{R})$
is the set of arbitrary (not necessarily symmetric) matrices.
The
${F}_{f}$
image of the measure
$\mu \times \mu $
, which is a measure on
${M}_{\infty}(\mathbb{R})$
, is called the symmetric matrix distribution of the function
$f$
and denoted by
${D}_{f}^{s}$
.
Theorem 4.
(Gromov [7], Vershik [25]) (1) Two metric triples
$(X,\rho ,\mu )$
and
$({X}^{\prime},{\rho}^{\prime},{\mu}^{\prime})$
are isomorphic if and only if their matrix distributions coincide:
$${D}_{\rho}^{s}={D}_{{\rho}^{\prime}}^{s}.$$
In other words, the matrix distribution of the metric is a complete invariant of a metric triple.
(2) (Vershik [25]). The symmetric matrix distribution
${D}_{f}^{s}$
of a measurable function
$f(\cdot ,\cdot )$
of two variables is a complete metric invariant of the function regarded up to automorphisms of the form
$T\times T$
, where
$T$
is an automorphism of
$(X,\mu )$
.
Now we apply this classification to MKproblems. Let
$X$
be a compact metric space with metric
$\rho $
; we want to “transport” a Borel probability measure
${\mu}_{1}$
to another Borel probability measure
${\mu}_{2}$
. Thus we have two metric triples:
$(X,\rho ,{\mu}_{1})$
and
$(X,\rho ,{\mu}_{2})$
. It is more convenient to reduce the problem to a more symmetric form and to have one metric triple. Let us consider only continuous measures; then we can choose a measurepreserving isomorphism
$S:(X,{\mu}_{2})\to (X,{\mu}_{1})$
. Let
$f(x,y)=\rho (x,Sy)$
, so that
$f$
is a nonnegative measurable (in general, nonsymmetric) function of two variables – the “shifted metric.” Now we can consider only one measure
${\mu}_{1}\equiv \mu $
and the function
$f$
on the space
$(X\times X,\mu \times \mu )$
.
In terms of the shifted metric, the MKproblem can be formulated as follows:
to find
$$k\equiv {inf}_{L}\int f({x}_{1},{x}_{2})dL,$$
where
$L$
runs over all Borel measures on the product
$X\times X$
with both marginal measures equal to the measure
$\mu $
; thus
$L$
belongs to the set of bistochastic measures, or, in other words,
$L$
is an element of the semigroup of polymorphisms with invariant continuous measure
$\mu $
(see [22]) for definitions). Thus the MKproblem turns into a variational problem on the convex set of bistochastic measures (or on the semigroup of polymorphisms).
The strong MKproblem reads as follows:
to find
$$\overline{k}\equiv {inf}_{T}\int f(x,Tx)d\mu \left(x\right),$$
where
$T$
runs over all
$\mu $
preserving transformations of
$(X,\mu )$
. In this case, we have a variational problem on the group of measurepreserving transformations.
Now we can apply the abovedefined symmetric matrix distribution
${D}_{f}^{s}$
of the function
$f$
regarded as a measurable function (shifted metric) on the space
$(X\times X,\mu \times \mu )$
. Since
${D}_{f}^{s}$
is a complete invariant of the triple
$(X,f,\mu )$
, all properties of the (ordinary and strong) MKproblem can be expressed in terms of
${D}_{f}^{s}$
as a measure on the space of matrices
${M}_{\infty}(\mathbb{R})$
. But this means that we have a random matrix with distribution
${D}_{f}^{s}$
, which we can use for analysis of the problem. Here we describe only one example of applying this approach.
Let
$r=\{{r}_{i,j}{\}}_{i,j=1}^{\infty}$
be a random matrix with distribution
${D}_{f}^{s}$
. The new version of the MKproblem reads as follows. Choose a random matrix
$r$
, for each
$n$
consider the ordinary finite transportation problem, and define
$${k}_{n}\left(r\right)\equiv {inf}_{l}{\sum}_{i,j=1}^{n}{l}_{i,j}{r}_{i,j},$$
where
$l=\{{l}_{i,j}{\}}_{i,j=1}^{n}$
is a bistochastic matrix (i.e.,
${\sum}_{i=1}^{n}{l}_{i,j}={\sum}_{j=1}^{n}{l}_{i,j}=1$
,
${l}_{i,j}\ge 0$
for all
$i,j=1,...,n$
) and
${r}_{n}=\{{r}_{i,j}{\}}_{i,j=1}^{n}$
is the
$n$
fragment of
$r$
(the random matrix constructed from the shifted metric as described above). Thus
${k}_{n}\left(r\right)$
is a random variable that depends on the random matrix
$r$
.
Theorem 5.
In the previous notation,
$${lim}_{n\to \infty}{k}_{n}\left(r\right)=k\text{in measure}{D}_{f}^{s},$$
where
$k$
is the solution of the original MKproblem, i.e., the sequence of random variables
${k}_{n}\left(r\right)$
converges in measure
${D}_{f}^{s}$
to the solution of the MKproblem.
A natural conjecture: for almost every choice of the matrix
$r=\left\{{r}_{i,j}\right\}$
with respect to the measure
${D}_{f}^{s}$
, the same assertion is true:
$${D}_{f}^{s}\{r:{lim}_{n\to \infty}{k}_{n}(r)=k\}=1,$$
which means that
${k}_{n}\left(r\right)$
converges to
$k$
with probability one with respect to the choice of the matrix
$r$
according to the measure
${D}_{f}^{s}$
.
Note that we approximate the MKproblem with the simplest finitedimensional problem of linear programming – the allocation problem. By the Birkhoff–von Neumann theorem, the solution of this problem is a permutation, i.e., an element of the symmetric group, or an extreme point of the convex set of bistochastic matrices (the socalled Hungarian polytope).
Nevertheless, the question of when the strong MKproblem has a solution and how it can be approximated by permutations is more involved.
The theorem and conjecture given above are typical for applications of our method to various problems with integral kernel: we obtain a probabilistic approximation of a functional or variational problem using a random choice of values of the function. We will return to this elsewhere.
Partially supported by the RFBR, project 020100093, and the President of Russian Federation grant for support of leading scientific schools NSh2251.2003.1. Translated by A. M. Vershik and N. V. Tsilevich. References

A. Barvinok, A Course in Convexity, Amer. Math. Soc., Providence, Rhode Island (2002).

Y. Brennier,”Extended Monge–Kantorovich theory”, Lecture Notes in Math., 1813, 91–122 (2003).

M. Émery, “Espaces probabilisés filtrés: de la théorie de Vershik au mouvement brownien, via les idées de Tsirelson,” Séminaire BOURBAKI, No. 882 (2000).

U. Frish, Turbulence. The Legacy of A. N. Kolmogorov, Cambridge Univ. Press, Cambridge (1995).

W. Gangbo and R. J. McCann, “The geometry of optimal transportation,” Acta Math., 177, No. 2, 113–161 (1966).

M. L. Gavurin and L. V. Kantorovich, “Application of mathematical methods to problems of analysis of freight flows,” in: Problems of Raising the Efficiency of Transport Performance [in Russian], Moscow–Leningrad (1949), pp. 110–138.

M. Gromov, Metric Structures for Riemannian and NonRiemannian Spaces, Birkhäuser, Boston (1999).

L. V. Kantorovich, Mathematical Methods in the Organization and Planning of Production [in Russian], Leningrad (1939).

L. V. Kantorovich, “On an efficient method of solving some classes of extremal problems,” Dokl. Akad. Nauk SSSR, 28, No. 3, 212–215 (1940).

L. V. Kantorovich, “On the translocation of masses,” Dokl. Akad. Nauk SSSR, 37, Nos. 7–8, 227–229 (1942).

L. V. Kantorovich, “On a problem of Monge,” Uspekhi Mat. Nauk, 3, No. 2, 225–226 (1948).

L. V. Kantorovich, “Functional analysis and applied mathematics,” Uspekhi Mat. Nauk, 3, No. 6, 89–185 (1948).

L. V. Kantorovich, Economical Calculation of the Best Use of Resources [in Russian], Moscow (1960).

L. V. Kantorovich, “On new approaches to computational methods and processing of observations,” Sib. Mat. Zhurn., 3, No. 5, 701–709 (1962).

L. V. Kantorovich and G. Sh. Rubinshtein, “On a space of totally additive functions,” Vestn Lening. Univ., 13, No. 7, 52–59 (1958).

Leonid Vitalievich Kantorovich: Man and Scientist, vol. 1, Novosibirsk (2002).

D. Ornstein, Ergodic Theory, Randomness, and Dynamical Systems, Yale Univ. Press, New Haven–London (1974).

S. T. Rachev, Probability Metrics and the Stability of Stochastic Models, Wiley, Chichecter (1991).

A. M. Vershik, “Some remarks on infinitedimensional problems of linear programming,” Uspekhi Mat. Nauk, 25, No. 5, 117–124 (1970).

A. M. Vershik, “Decreasing sequences of measurable partitions and their applications,” Sov. Math. Dokl., 11, No. 4, 1007–1011 (1970).

A. M. Vershik, “On D. Ornstein's papers, weak dependence conditions and classes of stationary measures,” Theory Probab. Appl., 21 (1977), 655–657.

A. M. Vershik, “Multivalued mappings with invariant measure (polymorphisms) and Markov operators,” J. Sov. Math., 23, 2243–2266 (1983).

A. M. Vershik, “Theory of decreasing sequences of measurable partitions,” St. Petersburg Math. J., 6, No. 4, 705–761 (1994).

A. M. Vershik, “Dynamic theory of growth in groups: entropy, boundaries, examples,” Russian Math. Surveys, 55, No. 4, 667–733 (2000).

A. M. Vershik, “Classification of measurable functions of several arguments, and invariantly distributed random matrices,” Funct. Anal. Appl., 36, No. 2, 93–105 (2002).

A. M. Vershik, “About L. V. Kantorovich and linear programming,” in: Leonid Vitalievich Kantorovich: Man and Scientist, vol. 1, Novosibirsk (2002), pp. 130–152.

A. Vershik, “Polymorphims, Markov processes, quasisimilarity of Kautomorphisms,” to appear in Discrete Contin. Dyn. Syst.

A. M. Vershik and M. M. Rubinov, “General duality theorem in linear programming,” in: Mathematical Economics and Functional Analysis [in Russian], Nauka, Moscow (1974), pp. 35–55.

C. Villani, Topics in Optimal Transportation, Amer. Math. Soc., Providence, Rhode Island (2000).

Optmal Transportation and Applications. Springer Lecture Notes in Mathematics. Edit.L.A.Cafarelli, S.Salsa. v. 1813 (2003).
Mathematical Institute of Russian Ac.Sci. St.Petersburg branch, Fontanka 27, St.Petersburg, 191023, Russia. Email address : vershik@pdmi.ras.ru