Spring 2017

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.

Talks

Time
Speaker
Talk Title
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

Abstracts

Crash course on monoids

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

AMATH

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

Nondistributive lattices

This is all Sean Harrap's fault.

Approximately Communicating Equality

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

Introduction to Hardy Spaces

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

Extended formulations of polytopes

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

A model theoretic interpretation of unification

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.

Fermat's Last Theorem and the Riemann Hypothesis

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)