The Spring 2017 SASMS will be held on Wednesday, July 5 at 16:00 in MC 4020. If you would like to give a talk, you may do so by clicking "Sign Up" above.

4:00

Wenyi Zheng

TBA

4:30

Nikita Kapustin

Crash course on monoids

5:00

Letian Chen

AMATH

5:30

Sally Dong

The Cap Set Problem

6:00

Pure Math Club

Dinner

6:30

Ilia Chtcherbakov

Nondistributive lattices

7:00

Sean Harrap

Approximately Communicating Equality

7:30

Alexandru Gatea

Introduction to Hardy Spaces

8:00

Quincy Lap-Kwan Lam

Extended formulations of polytopes

8:30

Ifaz Kabir

A model theoretic interpretation of unification

9:00

Stephen Wen

Fermat's Last Theorem and the Riemann Hypothesis

Monoids are the calcium that's missing from your bones.

Undecided. Suggestion needed. - Numerical analysis - Functional analysis - Backward heat equation

¯\_(ツ)_/¯ (basically this: https://canadam.math.ca/2017/abs/pdf/pil-je.pdf)

This is all Sean Harrap's fault.

This is secretly a CS talk with some stats sprinkled in but I plan to say the word "Theorem" once or twice. Certified spicy.

For $1 \leq p \leq \infty$ we define the Hardy space $H^p$ to be the space of analytic functions $f$ on the unit disk with $\lim \limits_{r \rightarrow 1^-}||f_r||_p < \infty$ where $f_r(e^{i\theta}):= f(re^{i\theta})$. In this talk, we will define inner, outer, singular functions and Blaschke products, give precise characterizations for each one and derive the unique factorization of $H^1$ functions. In addition, we will discuss Beurling's complete characterization of the subspaces of $H^2$ tha

The minimum number of facets of an extended formulation is related to the complexity of its slack matrix.

Unification is an algorithm that allows us to figure out what the type of an expression should be, or what an expression should be if the expression itself is a type. In this talk we will look at model theoretic interpretations of the ideas involved in unification.

I WILL PROVE BOTH FERMAT'S LAST THEOREM AND THE RIEMANN HYPOTHESIS IN ONE SHORT TALK (may or may not be over $\mathbb{Z}$, may or may not be over function fields)