Events

Melissa Emory, University of Toronto

"On the global Gan-Gross-Prasad conjecture for general spin groups"

I will define the general spin groups, and discuss the Gan-Gross-Prasad conjecture including the global GGP conjecture for GSpin groups. I will show that the conjecture is verified in several low-rank cases.

MC 5417

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"Brute Force"

For a finite algebraic structure M, we still haven't settled the issue of whether any topological structures yield a duality. We will continue to not answer this question, but we will find a necessary candidate for such: the titular brute force construction. We'll say a few things about this, and (if we have time) cover some material for the following week.

MC 5403

John Dykes, Department of Pure Mathematics, University of Waterloo

"Propositional Logic"

In this week's meeting of the homotopy type theory seminar, we begin by discussing how homotopy equivalence behaves with certain common types. We talk about the difference between classical and intuitionistic logic and introduce propositional truncation. We then prove that univalence implies function extensionality.

MC 5413

Yin Zhi, Harbin Institute of Technology

"Random and free observables saturate the Tsirelson bound for CHSH inequality"

Michael Coons, University of Newcastle

"Mahler’s methods: theorems, speculations and variations"

Ertan Elma, Department of Pure Mathematics, University of Waterloo

"The Pólya-Vinogradov Inequality"

Eli Shamovich, Department of Pure Mathematics, University of Waterloo

"The isomorphism problem"

We will continue the discussion of the isomorphism problem for subvarieties of the free ball. We will prove that the algebras of bounded nc functions on two subvarieties are completely isometrically isomorphic if and only if the varieties are ball-biholomorphic. We will then discuss the homogeneous case and talk a bit about other isomorphism types.

MC 5479

Justin Laverdure, Department of Pure Mathematics, University of Waterloo

"Duality Compactness Theorem"

One more building block on the way to establishing some nice theorems: if a finite structure of finite signature dualizes every finite member of ISP(M), then it dualizes the entirety of the class. If we have time, we'll also see that brute force does dualize the finite members! Unfortunately, these two facts don't mesh yet.

MC 5403

Daniel Perales, Department of Pure Mathematics, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

Christopher Hawthorne, Department of Pure Mathematics, University of Waterloo

"Stable Regularity Lemma"