Logic seminar: Boreal Determinacy VI (Khan)
Nov 9 @ 2:55 pm – 3:55 pm
Analysis Seminar : Timothy Rainone (Arizona State University) @ Keller 402
Nov 14 @ 3:30 pm – 4:30 pm

Title : A dichotomy for groupoid C*-algebras.

Abstract : Notions of paradoxical decompositions appear in the work of Hausdorff, Banach, and Tarski who showed that a discrete group satisfies the amenable/paradoxical divide. In this talk we study paradoxical phenomena in the field of operator algebras; directing our focus to C*-algebras arising from dynamical systems, graphs, and groupoids. Like Tarski, we use the type semigroup construction to move from non-paradoxicality to the existence of means or traces. These semi-groups witness the stably finite/purely infinite nature of the corresponding C*-algebras.

NT Seminar: Malik Younsi @ Keller 301
Nov 15 @ 2:30 pm – 3:30 pm
Analysis Seminar : Alexander Volberg (Michigan State) @ Keller 402
Nov 21 @ 3:30 pm – 4:30 pm

Title : Poincaré type inequalities on Hamming cube via martingale inequalities.

Abstract : Harmonic analysis is intimately related with martingale estimates.
But there is another type of discrete analysis, namely, harmonic analysis on Hamming cube (the math. foundation of Big Data science) that seemed to be disjoint from this relationship. We show how many classical (and some new) estimates on Hamming cube follow from martingale estimates. We also show why this is related to solving certain non-linear PDE of Monge–Ampère type and with classical inequalities in Gaussian spaces.

David Webb’s specialty exam: A new notion of effective dimension @ Keller Hall 402
Nov 30 @ 2:50 pm – 3:40 pm

David Webb will present a new notion of effective dimension, inescapable dimension, which is in a sense dual to complex packing dimension.

The latter was introduced by Freer and Kjos-Hanssen in 2013 in the context of trying to show that the reals of effective Hausdorff dimension 1 are not Medvedev above the bi-immune sets.

Webb will show that the two notions are incomparable, among other results.

Joint Analysis/Logic Seminar @ Keller 402
Dec 7 @ 2:55 pm – 3:45 pm

Speaker : Michael Yampolsky (University of Toronto)

Title : Computability of Julia sets.

Abstract : Informally speaking, a compact set in the plane is computable if there exists an algorithm to draw it on a computer screen with an arbitrary resolution. Julia sets are some of the best-known mathematical images, however, the questions of their computability and computational complexity are surprisingly subtle. I will survey joint results with M. Braverman and others on computability and complexity of Julia sets.