<p><span style="background-color: rgb(255, 255, 255); color: rgb(36, 36, 36);">An important question studied in Ergodic theory is the time average behavior of transformation on a measure space. A generalization of this considers multiple pairwise commuting transformations of a space, for which pointwise convergence is still an open conjecture, but for the weaker notion of norm convergence this is known. Variation estimates of norms give a notion that is weaker than pointwise convergence, but stronger than convergence in norm, and it is an ongoing project to prove variation estimates for commuting transformations.</span></p><p><span style="background-color: rgb(255, 255, 255); color: rgb(36, 36, 36);">This talk describes a preliminary state of the formalization of these variation estimates for commuting transformations. We will discuss tools from analysis needed for this proof, such as multilinear interpolation theory, the Calderón transference principle, and Mathlib refactors.</span></p><p><br></p><p>=== Online talk ===</p><p>
Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8H...
Meeting ID: 898 5609 1954 Passcode: ITPtalk</p>