Stanford University

Upcoming Events

Monday, February 26, 2024
11:30 AM
|
384H
Ben Church (Stanford)

We will show how to differentiate computer programs (lambda-expressions, Turing machines, etc) by encoding them in a new system called linear logic that endows the space of programs/proofs with the structure of a differential k-algebra. We will discuss this theory from the perspective of the…

Monday, February 26, 2024
2:30 PM
|
383N
Andrew Granville (Montreal)

Abstract

It has long been known how many integers are the sum of two squares, one of which is the square of a prime. However researchershave been frustrated in obtaining a good error term in this seemingly innocuous problem. Recently we discovered the reasons for this difficulty:  …

Monday, February 26, 2024
2:30 PM
|
384I
Josef Greilhuber (Stanford)

We will kick off our reading of Guillemin and Sternberg's monumental set of lecture notes about "Semiclassical Analysis", with a discussion of the textbook's introduction, and some additional motivating examples. Among these will be another "proof" of the Weyl law, as well as a "Weyl law" for…

Monday, February 26, 2024
4:00 PM
|
Sequoia 200
Dingding Dong (Harvard)

We study the distribution of the maximum gap size in one-dimensional hard-core models. First, we sequentially pack rods of length 1 into an interval of length L at random, subject to the hard-core constraint that rods do not overlap. We find that in a saturated packing, with high probability…

Monday, February 26, 2024
4:00 PM
|
383N
Alex Pieloch (MIT)

An exact Lagrangian L in a cotangent bundle T*Q is a nearby fibre if it agrees with a cotangent fibre at infinity and it is disjoint from another cotangent fibre.  The projection from T*Q to Q induces a map from L/\partial L to Q.  We will show that this map is null-homotopic after…

Tuesday, February 27, 2024
4:00 PM
|
383N
Aliakbar Daemi (WUSTL)

Yang--Mills gauge theory with gauge group SU(2) has played a significant role in the study of the topology of 3- and 4-manifolds. However, there is not much known about applications of gauge theory with other gauge groups in the study of low dimensional manifolds. In this talk, I will discuss a…

Wednesday, February 28, 2024
12:00 PM
|
384H
Michael Lindsey (UC Berkeley)

I will present fast practical algorithms for approximate semidefinite programming (SDP) based on regularization by the von Neumann entropy. These approaches are based on a dual formulation of the regularized problem, and dual updates are computed using randomized trace estimators.…

Wednesday, February 28, 2024
1:00 PM
|
383N
Benjamin Bedert (Oxford)

Abstract: In 1970, Erdos and Sarkozy wrote a joint paper studying sequences of integers a1 < a2 < . . . having what they called property P, meaning that no a_i divides the sum of two larger a_j , a_k. In the paper, it was stated that the authors believed that a subset A ⊂ [n]…

Wednesday, February 28, 2024
3:00 PM
|
384H
Stepan Kazanin (Stanford)
Thursday, February 29, 2024
3:00 PM
|
384H
Dingding Dong (Harvard)

A system of linear equations is Sidorenko over F_p if any subset of F_p^n contains at least as many solutions to it as a random set of the same density, asymptotically as n->infty. A system of linear equations is common over F_p if any 2-coloring of F_p^n gives at least as many monochromatic…