×

Compositions of conditional expectations, Amemiya-Andô conjecture and paradoxes of thermodynamics. (English) Zbl 1379.46024

The present paper deals with the study of conditional expectations. The motivation of the paper is given by the so-called Amemiya-Andô conjecture, which can be explained as follows. If \(H\) is a real Hilbert space, \(x\) is an element of \(H\) and \(P_1,\dots, P_k\) are orthogonal projections in \(H\), consider any sequence \(E_1, E_2,\dots \in \{P_1,\dots, P_k\}\). The question is: is it true that the sequence of iterations \((E_n \dots E_2 \, E_1 \, x)_n\) is convergent? As Amemiya and Andô showed, such a sequence of iterations is weakly convergent. Several counterexamples for the conjecture that it is also convergent in the norm of \(H\) are due to Paszkiewicz, Kopecká and Müller. In this paper, a new counterexample is shown using \(H=L^2(\Omega,\mathcal F,\mu)\) for a measure space \((\Omega,\mathcal F,\mu)\), \(P_1,\dots,P_k\) being conditional expectations, using some recent results connecting orthogonal projections on Hilbert spaces and conditional expectations on \(L^2(\Omega,\mathcal F,\mu)\).
After extending the definition of conditional expectation to non-finite measures the author proves in Theorem 20 the following result: There are five conditional expectations \(P_1,\dots,P_5\) on the Lebesgue measure space \((\mathbb R, \text{Borel }(\mathbb R), \lambda)\) – that is not a probability space –, a function \(f \in L^1(\mathbb R) \cap L^2(\mathbb R)\) and a sequence \(E_1, E_2,\dots \in \{P_1,\dots,P_5\}\) such that the sequence \((E_n\dots E_2 \, E_1 \, x)_n\) diverges in \(L^2(\mathbb R)\).
As explained in the paper, the results can also be interpreted in terms of classical thermodynamics in a way that they seem to contradict the second principle of thermodynamics.

MSC:

46C05 Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
46E30 Spaces of measurable functions (\(L^p\)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.)
46B09 Probabilistic methods in Banach space theory
80A20 Heat and mass transfer, heat flow (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Amemiya, I.; Andô, T., Convergence of random products of contractions in Hilbert space, Acta Sci. Math. (Szeged), 26, 239-244 (1965) · Zbl 0143.16202
[2] Blackwell, D., Equivalent comparisons of experiments, Ann. Math. Stat., 24, 265-272 (1953) · Zbl 0050.36004
[3] Burkholder, D. L., Successive conditional expectations of an integrable function, Ann. Math. Stat., 33, 887-893 (1962) · Zbl 0128.12602
[4] Burkholder, D. L.; Chow, Y. S., Iterates of conditional expectation operators, Proc. Amer. Math. Soc., 12, 490-495 (1961) · Zbl 0106.33201
[5] Cherny, A. S.; Grigoriev, P. G., Dilatation monotone risk measures are law invariant, Finance Stoch., 11, 2, 291-298 (2007) · Zbl 1144.91008
[6] Fitzsimmons, P. J., Converse Jensen inequality, Rocky Mountain J. Math., 39, 6, 1905-1906 (2009) · Zbl 1180.60017
[7] Gordon, A. Y.; Quinn, J. E., Iterated conditional expectations, J. Math. Anal. Appl., 367, 699-704 (2010) · Zbl 1197.60002
[8] Halperin, I., The product of projection operators, Acta Sci. Math. (Szeged), 23, 96-99 (1962) · Zbl 0143.16102
[9] Hardy, G. H.; Littlewood, J. E.; Pólya, G., Some simple inequalities satisfied by convex functions, Messenger Math., 58, 145-152 (1928/29)
[10] Hardy, G. H.; Littlewood, J. E.; Pólya, G., Inequalities (1952), Cambridge University Press · Zbl 0047.05302
[11] Karamata, J., Sur une inéqualité relative aux fonctions convexes, Publ. Math. Univ. Belgrade, 1, 145-148 (1932) · JFM 58.0211.01
[12] Komisarski, A.; Paszkiewicz, A., On the geometry of conditional expectations treated as projections on the \(L^2\)-space, Math. Slovaca, 66, 4, 959-966 (2016) · Zbl 1399.46030
[13] Kopecká, E.; Müller, V., A product of three projections, Studia Math., 223, 2, 175-186 (2014) · Zbl 1314.46031
[14] Kopecká, E.; Reich, S., A note on the von Neumann alternating projections algorithm, J. Nonlinear Convex Anal., 5, 3, 379-386 (2004) · Zbl 1066.46019
[15] Kuczma, M., An Introduction to the Theory of Functional Equations and Inequalities. Cauchy’s Equation and Jensen’s Inequality (2009), Birkhäuser Verlag: Birkhäuser Verlag Basel · Zbl 1221.39041
[16] Meyer, P.-A., Probability and Potentials (1966), Blaisdell Publishing Co. Ginn and Co.: Blaisdell Publishing Co. Ginn and Co. Waltham, Mass.-Toronto, Ont.-London · Zbl 0138.10401
[17] Netyanun, A.; Solmon, D., Iterated products of projections in Hilbert space, Amer. Math. Monthly, 113, 7, 644-648 (2006) · Zbl 1154.46011
[18] von Neumann, J., On rings of operators. Reduction theory, Ann. of Math. (2), 50, 401-485 (1949) · Zbl 0034.06102
[19] Ornstein, D., On the pointwise behavior of iterates of a self-adjoint operator, J. Math. Mech., 18, 473-477 (1968/1969) · Zbl 0182.47103
[20] Paszkiewicz, A., On distributions of conditional expectations, Probab. Math. Statist., 20, 2, 287-291 (2000) · Zbl 0987.60021
[21] Paszkiewicz, A., The Amemiya-Ando conjecture falls
[22] Paszkiewicz, A., In the Amemiya-Ando problem 3 is enough
[23] Popoviciu, T., Notes sur les fonctions convexes d’ordre supérieur. III, Mathematica (Cluj), 16, 74-86 (1940) · JFM 66.0241.03
[24] Rota, G.-C., An “alternierende Verfahren” for general positive operators, Bull. Amer. Math. Soc., 68, 95-102 (1962) · Zbl 0116.10403
[25] Schur, I., Über eine Klasse von Mittelbildungen mit Anwendungen auf die Determinantentheorie, Sitzungsber. d. Berl. Math. Gsellsch., 22, 9-20 (1923) · JFM 49.0054.01
[26] Stein, E. M., On the maximal ergodic theorem, Proc. Natl. Acad. Sci. USA, 47, 1894-1897 (1961) · Zbl 0182.47102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.