2022-2023 Seminars

Nov
07
2022

Computer Science/Discrete Mathematics Seminar I

Smoothed Complexity of Local Max-Cut with Two Flips
11:15am|Simonyi 101 and Remote Access

Many algorithms and heuristics that work well in practice have poor performance under the worst-case analysis, due to delicate pathological instances that one may never encounter. To bridge this theory-practice gap, Spielman and Teng introduced the...

Oct
24
2022

Computer Science/Discrete Mathematics Seminar I

Average-Case Computational Complexity of Tensor Decomposition
Alex Wein
11:15am|West Lecture Hall and Remote Access

Suppose we are given a random rank-r order-3 tensor---that is, an n-by-n-by-n array of numbers that is the sum of r random rank-1 terms---and our goal is to recover the individual rank-1 terms. In principle this decomposition task is possible when...

Oct
18
2022

Computer Science/Discrete Mathematics Seminar II

Almost Linear Time Algorithms for Max-flow and More
10:30am|Simonyi Hall 101 and Remote Access

We give the first almost-linear time algorithm for computing exact maximum flows and minimum-cost flows on directed graphs. By well known reductions, this implies almost-linear time algorithms for several problems including bipartite matching...

Oct
17
2022

Computer Science/Discrete Mathematics Seminar I

The Optimal Error Resilience of Interactive Communication over the Binary Alphabet
Rachel Zhang
11:15am|Simonyi 101 and Remote Access

In interactive coding, Alice and Bob wish to compute some function f of their private inputs x and y. They do this by engaging in a non-adaptive (fixed speaking order, fixed length) protocol to jointly compute f(x,y). The goal is to do this in an...

Oct
11
2022

Computer Science/Discrete Mathematics Seminar II

Superfast Derandomization of Interactive Proof Systems
10:30am|Simonyi Hall 101 and Remote Access

The lifeblood of interactive proof systems is randomness, without which interaction becomes redundant. Thus, a natural long-standing question is which types of proof systems can indeed be derandomized and collapsed to a single-message NP-type...

Oct
10
2022

Computer Science/Discrete Mathematics Seminar I

Is Your Distribution in Shape?
Ronitt Rubinfeld
11:15am|Simonyi 101 and Remote Access

Algorithms for understanding data generated from distributions over large discrete domains are of fundamental importance.  In this talk, we consider the sample complexity of *property testing algorithms* that seek to to distinguish whether or not an...

Oct
04
2022

Computer Science/Discrete Mathematics Seminar II

Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification
10:30am|Simonyi Hall 101 and Remote Access

Expander graphs are fundamental objects in theoretical computer science and mathematics. They have numerous applications in diverse fields such as algorithm design, complexity theory, coding theory, pseudorandomness, group theory, etc.

In this talk...

Oct
03
2022

Computer Science/Discrete Mathematics Seminar I

Relative Rank and Regularity
11:15am|Simonyi 101 and Remote Access

The notion of Schmidt rank/strength for a collection of m polynomials plays an important role in additive combinatorics, number theory and commutative algebra; high rank collections of polynomials are “psuedorandom”.  An arbitrary collection of...

Sep
27
2022

Computer Science/Discrete Mathematics Seminar II

Robust Sublinear Expanders, and an Application Towards the Erdos-Gallai Conjecture
10:30am|Simonyi Hall 101 and Remote Access

Expander graphs have been perhaps one of the most widely useful classes of graphs ever considered. In this talk we will focus on a fairly weak notion of expanders called sublinear expanders, first introduced by Komlos and Szemeredi around 25 years...

Sep
26
2022

Computer Science/Discrete Mathematics Seminar I

Making Proofs More Constructive, and Algorithms Less Random
Oliver Korten
11:15am|Simonyi 101 and Remote Access

A central topic in the theory of computation is derandomization: say we have an algorithm which flips coins to achieve some goal, and succeeds with high probability. Can we transform this algorithm into a deterministic procedure, while maintaining...