Math

School of Mathematics

On the Setoid Model of Type Theory

Erik Palmgren
University of Stockholm
October 18, 2012 - 11:00am

Toward a Computational Interpretation of Univalence

Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
October 18, 2012 - 11:00am

Dispersive Estimates for Schroedinger's Equation with a Time-Dependent Potential

Marius Beceanu
Rutgers, The State University of New Jersey; Member, School of Mathematics
January 15, 2013 - 3:15pm

I present some new dispersive estimates for Schroedinger's equation with a time-dependent potential, together with applications.


Simplicial Types

Peter Lumsdaine
Dalhousie University; Member, School of Mathematics
January 16, 2013 - 11:00am

On Bilinear Complexity

Pavel Hrubes
University of Washington
January 14, 2013 - 11:15am

For a set of polynomials F, we define their bilinear complexity as the smallest k so that F lies in an ideal generated by k bilinear polynomials. The main open problem is to estimate the bilinear complexity of the single polynomial $\sum_{i,j}x_i^2 y_j^2$. This question is related to the classical sum-of-squares problem as well as to problems in arithmetic circuit complexity. We will focus on related sets of polynomials and prove some lower and upper bounds on their bilinear complexity.


The SOS (aka Lassere/Positivestellensatz/Sum-of-Squares) System Series

Raghu Meka (1) and Avi Wigderson (2)
DIMACS (1) and Professor, School of Mathematics, IAS (2)
December 18, 2012 - 10:30am

We will give an overview of this system, which has been at the center of recent algorithmic and proof complexity developments. We will give the definitions of the system (as a proof system for polynomial inequalities, and as an SDP-based algorithm), and basic upper and lower bounds for it. In particular we'll explain the recent SOS-proof of the hypercontractive inequality for the noisy hypercube of Barak et al., as well as the degree lower bounds for proving Tseitin and Knapsack tautologies of Grigoriev.


Open-Closed Gromov-Witten Invariants of Toric Calabi-Yau 3-Orbifolds

Chiu-Chu Melissa Liu
Columbia University
December 7, 2012 - 4:30pm

We study open-closed orbifold Gromov-Witten invariants of toric Calabi-Yau 3-orbifolds with respect to Lagrangian branes of Aganagic-Vafa type. We prove an open mirror theorem which expresses generating functions of orbifold disk invariants in terms of Abel-Jacobi maps of the mirror curves. This is a joint work with Bohan Fang and Hsian-Hua Tseng.


Working Group on Univalent Foundations

Daniel Grayson
Member, School of Mathematics, IAS
December 7, 2012 - 11:00am

Nonlinear Long-Range Resonant Scattering and Kink Dynamics

Avy Soffer
Rutgers, The State University of New Jersey
December 7, 2012 - 3:15pm

We study the nonlinear Klein-Gordon equation, in one dimension, with a qudratic term and variable coefficient qubic term. This equation arises from the asymptotic stability theory of the kink solution.Our main result is the global existence and decay estimates for this equation. We discovered a striking new phenomena in this problem: a resonant interaction between the spacial frequencies of the nonlinear coefficient and the temporal oscillations of the solution.


Syndicate content