Events and Activities

Explore current and upcoming events and activities happening at the Institute for Advanced Study.

Sep
23
2024

Computer Science/Discrete Mathematics Seminar I

An Improved Line-Point Low-Degree Test
Prahladh Harsha
11:00am|Simonyi 101 and Remote Access

In this talk, I'll show that the most natural low-degree test for polynomials over finite fields is ``robust'' in the high-error regime for linear-sized fields. This settles a long-standing open question in the area of low-degree testing, yielding...

Sep
24
2024

Computer Science/Discrete Mathematics Seminar II

A New Approach to Strong Convergence
10:30am|Simonyi 101 and Remote Access

It was conjectured by Alon in the 1980s that random d-regular graphs have the largest possible spectral gap (up to negligible error) among all d-regular graphs. This conjecture was proved by Friedman in 2004 in major tour de force. In recent years...

Sep
30
2024

Computer Science/Discrete Mathematics Seminar I

Sorting Using Partial Information
Robert Tarjan
11:00am|Simonyi 101 and Remote Access

We consider the problem of sorting a set of items having an unknown total order by doing binary comparisons of the items, given the outcomes of some pre-existing comparisons. We present a simple new algorithm with a running time of O(m + n + log T)...

Oct
07
2024

Computer Science/Discrete Mathematics Seminar I

Subgroup Tests and the Aldous--Lyons Conjecture
Michael Chapman
11:00am|Simonyi 101 and Remote Access

A common theme in mathematics is that limits of finite objects are well behaved. This allows one to prove many theorems about finitely approximable objects, while leaving the general case open --- examples for this are Gottschalk's conjecture...

Oct
08
2024

Computer Science/Discrete Mathematics Seminar II

Subgroup Tests and Tailored Non-local Games
Michael Chapman
10:30am|Simonyi 101 and Remote Access

In the previous talk, we defined Subgroup Tests and the interactive proof system induced by them. In addition, we showed that if the Aldous--Lyons conjecture was true, then this interactive proof system contains only decidable languages. In this...