Disintegration of Gaussian measures and average-case optimal algorithms (Q2465308)

The paper deals with the problem of the existence of a disintegration of a given probability measure relative to a measurable mapping and its use for the study of average-case optimal algorithms. Precisely, the authors study disintegration of measures in Banach spaces with respect to continuous linear operators. The main result is the following. Let \(X\), \(Y\) be separable Banach spaces, \(B(X)\) the Borel \(\sigma\)-algebra of \(X\), \(\mu\) a Gaussian measure in \(X\) and \(\eta: X\to Y\) a continuous linear operator. Then there exists a disintegration \(q: B(X)\times Y\to [0,1]\) of \(\mu\) with respect to \(\eta\) and, moreover, the measures \(q(\cdot, y)\), \(y\in Y\) are Gaussian. The authors also show that, by using this result, it is possible to prove the existence and to find an explicit form of average-case optimal algorithms.