## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

Wednesday, June 3, 2015 — 1:30 PM EDT

**Adam Dor On, Department of Pure Mathematics, University of Waterloo **

“K1 of a C*-algebra, continued”

Friday, May 29, 2015 — 12:30 PM EDT

**Sam Harris, Department of Pure Mathematics, University of Waterloo **

“K1 of a C*-algebra”

Having defined K0 of a C*-algebra, we now define K1 as well as provide examples and basic properties.

Thursday, May 28, 2015 — 2:00 PM EDT

**Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo **

“Ramsey’s Theorem”

We have seen with Sam two proofs of Ramsey’s Theorem. This time we give a third proof of that uses Konig’s Lemma but can be carried out in RCA0.

M3-4206

Thursday, May 28, 2015 — 1:30 PM EDT

**Igor Shparlinski, University of New South Wales **

“Effective Hilbert’s Nullstellensatz and Finite Fields”

Wednesday, May 27, 2015 — 1:30 PM EDT

Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo

“K0 of a C*-algebra, continued”

Tuesday, May 26, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Pure Mathematics Department, University of Waterloo **

“Differential Analysis III: The Kuranishi Model and the Sard-Smale Theorem”

Tuesday, May 26, 2015 — 8:57 AM EDT

**Shuntaro Yamagishi, Department of Pure Math, University of Waterloo **

“Diophantine equations in the primes”

In their paper ”Diophantine equations in the primes”, Cook and Magyar give a condition for a system of polynomials to be soluble in primes via the Hardy-Littlewood circle method. I would like to describe their method.

MC 5479

Friday, May 22, 2015 — 1:30 PM EDT

**Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo **

“Classification of simple graph algebras”

Abstract

Wednesday, May 20, 2015 — 2:30 PM EDT

**Stanley Yao Xiao, Department of Pure Math, University of Waterloo **

“Rational points on algebraic varieties repel each other”

In this talk I will a powerful ”point repulsion” principle for rational points lying on algebraic varieties, also known as the ‘determinant method’.

MC 5479

Wednesday, May 20, 2015 — 1:30 PM EDT

**Raymond Cheng, Pure Math Department, University of Waterloo **

“Bundles over Complex Tori, Continued”

I will tie up some loose ends on the classification of vector bundles on elliptic curves from last time and discuss some of Atiyah’s techniques in the classification. After that, I will comment on the progress made on classifying vector bundles over higher dimensional tori.

M3 2134

Wednesday, May 13, 2015 — 1:30 PM EDT

**Raymond Cheng, Pure Math Department, University of Waterloo **

“Bundles over Complex Tori”

Tuesday, May 12, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo **

“Differential Analysis II: The Banach space implicit function theorem”

Tuesday, May 5, 2015 — 1:30 PM EDT

**Spiro Karigiannis, Department of Pure Mathematics, University of Waterloo **

“Differential Analysis I: The Banach space implicit function theorem”

Thursday, April 9, 2015 — 1:30 PM EDT

**Dmitry Badziahin, Durham University**

"On a generalised Thue-Morse generating function and its continued fraction expansion"

Tuesday, March 31, 2015 — 4:30 PM EDT

**Alan Arroyo, Combinatorics & Optimization, University of Waterloo**

"Jordan Curve Theorem: a proof using graphs."

Jordan Curve Theorem states that every non-self-intersecting closed

Tuesday, March 31, 2015 — 3:30 PM EDT

**Sam Eisenstat, Department of Pure Mathematics, University of Waterloo **

“Ramsey’s Theorem in Reverse Mathematics”

Monday, March 30, 2015 — 1:00 PM EDT

**Jason Bell and Rahim Moosa, Department of Pure Mathematics, University of Waterloo **

“Finale”

We wrap up proof of the approximate group theorem.

Monday, March 30, 2015 1:00 pm MC 5479

** Please note Day and Room**

Friday, March 27, 2015 — 3:30 PM EDT

**Jaspar Wiart, Department of Pure Math, University of Waterloo**

“Operator algebras arising from number theory.”

Friday, March 27, 2015 — 2:30 PM EDT

**Geoffrey Scott, University of Toronto **

“Integrable Systems on Log-Symplectic Manifolds”

Thursday, March 26, 2015 — 4:30 PM EDT

Kamyar Moshksar, Pure Mathematics, University of Waterloo

"Decentralized Communications Networks"

After a brief introduction to the concept of channel capacity and reliable transmission over noisy environments, we focus on a class of interference channels known as decentralized networks. By definition, these are networks with no central controller or direct coordination among existing parties. We show how separate transmitter-receiver pairs learn about the parameters in the underlying affine system model and discuss fundamental limits of communication in this framework.

Tuesday, March 24, 2015 — 3:30 PM EDT

**Michael Deveau, Department of Pure Mathematics**

"Weak König's Lemma over RCA_0"

Since the addition of Konig's Lemma to RCA_0 presented last time proved to be too strong, we will next investigate the addition of Weak Konig's Lemma to RCA_0. To show that this will have strength strictly between RCA_0 and ACA_0, we will spend some time discussing the PA degrees, including an important application of the Low Basis Theorem.

Tuesday, March 24, 2015 — 2:30 PM EDT

**Ian Payne, Department of Pure Mathematics, University of Waterloo **

“A CSP algorithm and some work towards a better one”

Tuesday, March 24, 2015 — 1:00 PM EDT

Jason Bell, Department of Pure Mathematics, University of Waterloo

"Approximate Groups: IX"

We continue to follow van den Dries’ Seminaire Bourbaki article entitled "Approximate Groups [after Hrushovski, and Breuillard, Green, Tao]". The subject involves the interaction of additive combinatorics and model theory.

Monday, March 23, 2015 — 4:00 PM EDT

**Chantal David, Concordia University **

“Zeroes and Zeta Functions and Symmetry: One level density for families of L-functions attached to elliptic curves”

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1