Change-of-variable conjecture for the entropic measure under diffeomorphisms

Let MM be the underlying multidimensional space, let P\mathcal{P} denote the space of probability measures on MM, and let Pβ\mathbb{P}^\beta be the entropic measure with parameter β\beta. For a φ2\varphi^2-diffeomorphism h:MMh:M\rightarrow M, write hμh_*\mu for the pushforward of μ\mu and let U:PRU:\mathcal{P}\rightarrow\mathbb{R} be a bounded Borel function. Change-of-variable conjecture. For every φ2\varphi^2-diffeomorphism h:MMh:M\rightarrow M, there exists a function Yhβ:PRY_h^\beta:\mathcal{P}\rightarrow\mathbb{R} such that

U(hμ)Pβ(dμ)=U(μ)Yhβ(μ)Pβ(dμ).\int U(h_*\mu)\,\mathbb{P}^\beta(d\mu)=\int U(\mu)Y_h^\beta(\mu)\,\mathbb{P}^\beta(d\mu).

It suffices to consider functions of the form U(μ)=u(μ(M1)),,μ(MN))U(\mu)=u(\mu(M_1)),\ldots,\mu(M_N)) for measurable partitions M=MiM=\bigcup M_i and bounded measurable u:RNRu:\mathbb{R}^N\rightarrow\mathbb{R}. Moreover, the density should have the form

Yhβ(μ)=exp(βMlogdetDh(x)μ(dx))Yh0(μ),Y_h^\beta(\mu)=\exp\left(\beta\int_M\log\det Dh(x)\,\mu(dx)\right)\cdot Y_h^0(\mu),

where Yh0(μ)Y_h^0(\mu) is independent of β\beta. The conjecture seeks a change-of-variable formula for the entropic measure on the space of probability measures; the existence and stated factorization of the density are not established in the supplied text.

Sources & referencesView supporting material

Primary source

Karl-Theodor Sturm, “Entropic Measure on Multidimensional Spaces”, arXiv:0901.1815 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.