Events

Jitendra Prakash, Department of Pure Mathematics, University of Waterloo

"Bell's Theorem"

Bell's theorem is one of the celebrated cornerstones in physics, being described as "the most profound discovery of science". In this talk we shall discuss this theorem from a mathematical perspective, and as an example we shall derive the CHSH inequality. We shall also see what more general questions this theorem raises. Knowledge of physics is not required, however some basic linear algebra will be used.

MC 5501

Simon Myerson, University College London

"Forms in many variables: an iterative approach"

Ákos Nagy, University of Waterloo and The Fields Institute

"Vortex-like instantons on the Euclidean Schwarzschild manifold"

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Borel Reducibility and Linear Orderings"

We define Borel reducibility introduced by Friedman and Stanley between classes of countable structures. We will define what it means for a class of structures to be complete with respect to Borel reducibility and then we will go through their proof of the fact that the class of countable linear orderings is complete with respect to Borel reducibility.

MC 5413

Dennis The, The University of Tromso

"Exceptionally simple PDE"

Hongdi Huang, Department of Pure Mathematics, University of Waterloo

"Quantum Groups and Hopf Algebras"

Faustin Adiceam, Department of Pure Mathematics, University of Waterloo

"How far can you see in a forest?"

We will be answering the following question raised by Christopher Bishop: 'Suppose we stand in a forest with tree trunks of radius r > 0 and no two trees centered closer than unit distance apart. Can the trees be arranged so that we can never see further than some distance V < \infty, no matter where we stand and what direction we look in? What is the size of V in terms of r?'

MC 5417

Levon Haykazyan, Department of Pure Mathematics, University of Waterloo

"Groups and Geometries"

The question whether groups with homogeneous pregeometries need to be commutative has been around for some time. I will give a partial positive answer to it. I will explain what is a pregeometry and when is it homogeneous.

MC 5403

Ross Willard, Department of Pure Mathematics, University of Waterloo

"Boolean algebras, part I"

I will present Stone’s classical result that every Boolean algebra is embeddable into a power set algebra, and describe the equivalence of Boolean algebras with Boolean rings.  Subsequent lectures will develop ultrafilters and Stone duality, on the way to explaining ultraproducts and proving a celebrated lemma of Jonsson.

MC 5403

Chadi Hamzo, Department of Pure Mathematics, University of Waterloo

"Classification of Finitely Generated Operator Systems"