Events

Mohammad Mahmoud, Pure Mathematics, University of Waterloo

"Algorithmic Randomness: Introduction to Kolmogorov Complexity"

Last time we saw why the Kolmogorov complexity $K$ can be better than the plain complexity $C$ as it is subadditive and complexity doesn't dip. This time we are going to see more properties showing that $K$ matches our intuition. More precisely, (a) Incompressible (in the sense of $K$) strings have only short runs of zeros (i.e. blocks only consisting of zeros), and (b) Zeros and ones occur balancedly.

MC 5403

Rahim Moosa, Pure Mathematics, University of Waterloo

"More on definable functors, and imaginaries"

Ian Payne, Pure Mathematics, University of Waterloo

"A result on constraint satisfaction problems: part 3"

In this talk, I will begin going through Bulatov's proof that a nonempty standard $(2,3)$-system with potatoes from a variety of $2$-semilattices has a solution. It should take two lectures to complete the proof.

Omar Leon Sanchez, McMaster University

"Statement of the Main Theorem"

Se-Jin Sam Kim, Pure Mathematics, University of Waterloo

"Crossed products and Morita equivalence"

The talk will consist of three parts. Firstly, we will establish some basic notions of crossed product $C^*$-algebras, with a focus on the irrational rotation algebras.

Dylan Butson, Pure Mathematics, University of Waterloo

"Factorization Algebras from Quantum Field Theory"

I will survey the construction of factorization algebras, a type of algebraic-topological data on a space, using methods from quantum field theory, following the work of Kevin Costello and Owen Gwilliam.

Adam Dor On, Pure Mathematics, University of Waterloo

"Absolute continuity and wandering vectors in Free semigroup algebras"

Thomas Parker, Michigan State University

“Paths of holomorphic curves and the GV conjecture”

Wentang Kuo, Pure Mathematics, University of Waterloo

"On a problem of Sidon"

Christopher Hawthorne, Pure Mathematics, University of Waterloo

We begin chapter 4 of Goldblatt. (Category theory background from chapter 3 will be assumed.) We introduce subobjects and subobject classifiers; time permitting, we will get to the definition of a topos.