Noncommutative Geometry

Speaker: (Western)

"Matrix integrals and planar diagrams"

Time: 11:00

Room: MC 108

Colloquium

Speaker: Aleks Essex (Electrical Engineering, Western)

"Banks to Ballots: The Mighty Discrete Logarithm and its Many Uses"

Time: 14:30

Room: MC 107

Although crypto systems based on the hardness of solving discrete logarithms date back 40 years, they are more prevalent today than ever. The elliptic curve Diffie-Hellman protocol, for example, accounts for 90% of public-key agreements on the internet, meaning your device probably used discrete log based cryptography to fetch these very words. In this talk we’ll examine some of the more complex applications of discrete logarithm based cryptography, including homomorphic encryption, zero-knowledge proofs, distributed decryption, and secure multi-party protocols. Finally, we’ll tie these cryptographic primitives together with a case study of a cryptographically end-to-end verifiable internet voting system.

Homotopy Theory

Speaker: Christian Sattler (University of Leeds)

"Algebraic model structures via "glueing""

Time: 13:30

Room: MC 107

Consider a Grothendieck topos with a functorial cylinder with connections and a choice of generating cofibrations. Together, this induces a naive notion of fibration. We give sufficient coditions under which this gives rise to an (algebraic) model structure. The key point will be the glueing construction of Cohen et al., a recent combinatorial discovery that allows for constructively extending fibrations along trivial cofibrations without resorting to a theory of minimal fibrations.

Noncommutative Geometry

Speaker: Ali Fathi (Western)

"Feynman-Kac formula 3"

Time: 11:00

Room: MC 108

Colloquium

Speaker: Chris Hall (University of Wyoming)

"Expander and Ramanujan Graphs"

Time: 14:30

Room: MC 107

I will define expander and Ramanujan graphs and give a variety of existence results. Most notably I will state a joint result of D. Puder, W. Sawin, and myself on so-called Ramanujan covers of graphs. Our result generalizes one of several recent celebrated joint results of A. Marcus, D. Spielman, and N. Srivastava.