2020-21 Seminars

Oct
27
2020

Computer Science/Discrete Mathematics Seminar II

On the extension complexity of random polytopes
10:30am|Simonyi 101 and Remote Access

Sometimes, it is possible to represent a complicated polytope as a projection of a much simpler polytope. To quantify this phenomenon, the extension complexity of a polytope P is defined to be the minimum number of facets in a (possibly higher...

Oct
26
2020

Computer Science/Discrete Mathematics Seminar I

Fractionally Log-Concave and Sector-Stable Polynomials: Counting Planar Matchings and More
Nima Anari
11:15am|Remote Access - see Zoom link below

We introduce two new notions for polynomials associated with discrete set-valued probability distributions. These notions generalize well-studied properties like real-stability and log-concavity, but unlike them robustly degrade under a number of...

Oct
21
2020

Stability and Testability

Stability and testability - a computational perspective
Jonathan Mosheiff
11:00am|Remote Access

In this talk we survey the recent connection (a joint work with Becker and Lubotzky) between certain group theoretic notions related to stability, and a novel class of problems from the realm of property testing. Consider the computational problem...

Oct
20
2020

Computer Science/Discrete Mathematics Seminar II

The threshold for the square of a Hamilton cycle
10:30am|Remote Access - see Zoom link below

We will talk about a recent result of Jeff Kahn, Bhargav Narayanan, and myself stating that the threshold for the random graph G(n,p) to contain the square of a Hamilton cycle is 1/sqrt n, resolving a conjecture of Kühn and Osthus from 2012. For...

Oct
19
2020

Computer Science/Discrete Mathematics Seminar I

A Parallel Repetition Theorem for the GHZ Game
Justin Holmgren
11:15am|Simonyi Hall 101 and Remote Access - see Zoom link below

We prove that parallel repetition of the (3-player) GHZ game reduces the value of the game polynomially fast to 0. That is, the value of the GHZ game repeated in parallel t times is at most $t^{-\Omega(1)}. Previously, only a bound of roughly 1 /...

Oct
14
2020

Stability and Testability

Introduction to stability and testability
11:00am|Remote Access

The talk will be an introduction and a road map to the various connections the topic has with other areas of math and CS.

Oct
13
2020

Computer Science/Discrete Mathematics Seminar II

Arithmetic progressions and spectral structure
Thomas Bloom
10:30am|Simonyi Hall 101 and Remote Access - see Zoom link below

How dense can a set of integers be while containing no three-term arithmetic progressions? This is one of the classical problems of additive combinatorics, and since the theorem of Roth in 1953 that such a set must have zero density, there has been...

Oct
12
2020

Computer Science/Discrete Mathematics Seminar I

Explicit near-fully X-Ramanujan graphs
Xinyu Wu
11:15am|Simonyi Hall 101 and Remote Access - see Zoom link below

In this talk I will introduce constructions of finite graphs which resemble some given infinite graph both in terms of their local neighborhoods, and also their spectrum. These graphs can be thought of as expander graphs with local constraints in a...

Oct
06
2020

Computer Science/Discrete Mathematics Seminar II

Simplified Lifting Theorems in Communication Complexity via Sunflowers
10:30am|Simonyi Hall 101 and Remote Access - see Zoom link below

In this talk I will first motivate lifting theorems where lower bounds on communication complexity for composed functions are obtained by a general simulation theorem, essentially showing that no protocol can do any better than the obvious "query"...

Oct
05
2020

Computer Science/Discrete Mathematics Seminar I

Splitting Necklaces: Existence, Hardness and Approximation
11:15am|Simonyi Hall 101 and Remote Access - see Zoom link below

It is known that any opened necklace with beads of n types can be partitioned by at most (k-1)n cuts into intervals that can be distributed into k collections, each containing the same number of beads of each type (up to 1). The proof is topological...