2024/03/29 by Simon M. Huttegger, Sean Walsh, Huttegger, Simon M. +3
Computer Science · #03A10 #03D32 #03D78 #03F60 #60A10 #60B05 #60G48 #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Probability (math.PR)
paper · pdf · doi:10.48550/arxiv.2403.19978
openalex publication_date 2024/03/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Lévy's Upward Theorem says that the conditional expectation of an integrable random variable converges with probability one to its true value with increasing information. In this paper, we use methods from effective probability theory to characterise the probability one set along which convergence to the truth occurs, and the rate at which the convergence occurs. We work within the setting of computable probability measures defined on computable Polish spaces and introduce a new general theory of effective disintegrations. We use this machinery to prove our main results, which (1) identify the points along which certain classes of effective random variables converge to the truth in terms of certain classes of algorithmically random points, and which further (2) identify when computable rates of convergence exist. Our convergence results significantly generalize earlier results within a unifying novel abstract framework, and there are no precursors of our results on computable rates of convergence. Finally, we make a case for the importance of our work for the foundations of Bayesian probability theory.