Conjecture on decomposing CD-affine needles under a zero-mean constraint

From papers

Let f535f535 be a probability measure on f535f535 that is a CD(κ,N+1)CD(\kappa,N+1)-needle, where N(0,+]N\in(0,+\infty] and κ0\kappa\geq0. Let φ:RR\varphi:\mathbb R\to\mathbb R be continuous and μ\mu-integrable, with

Rφdμ=0.\int_{\mathbb R}\varphi\,d\mu=0.

A CD(κ,N+1)CD(\kappa,N+1)-affine needle is a one-dimensional CD(κ,N+1)CD(\kappa,N+1)-needle satisfying the affine equality case described in the source. CD-affine needle decomposition conjecture. There should exist a probability measure ν\nu on a set Ω\Omega and probability measures {μα}αΩ\{\mu_\alpha\}_{\alpha\in\Omega} on R\mathbb R such that μ(A)=Ωμα(A)dν(α)\mu(A)=\int_\Omega\mu_\alpha(A)\,d\nu(\alpha) for every Lebesgue-measurable ARA\subseteq\mathbb R, and, for ν\nu-almost every α\alpha, μα\mu_\alpha is either supported on a singleton or is a CD(κ,N+1)CD(\kappa,N+1)-affine needle satisfying Rφdμα=0\int_{\mathbb R}\varphi\,d\mu_\alpha=0. Such a decomposition would refine one-dimensional CD(κ,N)CD(\kappa,N) localization into explicit affine needles; the source presents it as a proposed extension, and no resolution is supplied.

Progress summary

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

Sources & referencesView supporting material

Primary source

Bo'az Klartag, “Needle decompositions in Riemannian geometry”, arXiv:1408.6322 (2014).

Solutions 0

No solutions have been posted yet.