2022-2023 Seminars

May
09
2023

Computer Science/Discrete Mathematics Seminar II

Using Expanders for Fast Graph Algorithms
Thatchaphol Saranurak
10:30am|Simonyi Hall 101 and Remote Access

In the last few years, expanders have been used in fast graph algorithms in different models, including static, dynamic, and distributed algorithms. I will survey these applications of expanders, explain the expander-related tools behind this...

May
08
2023

Computer Science/Discrete Mathematics Seminar I

Graph Vertex Expansion
Theo McKenzie
11:15am|Simonyi 101 and Remote Access

In a vertex expanding graph, every small subset of vertices neighbors many different vertices. Random graphs are near-optimal vertex expanders; however, it has proven difficult to create families of deterministic near-optimal vertex expanders, as...

May
02
2023

Computer Science/Discrete Mathematics Seminar II

Fitting Various Metrics with Minimum Disagreements
Euiwoong Lee
10:30am|Simonyi Hall 101 and Remote Access

Let C be a class of metric spaces. We consider the following computational metric embedding problem: given a vector x in R^{n choose 2} representing pairwise distances between n points, change the minimum number of entries of x to ensure that the...

May
01
2023

Computer Science/Discrete Mathematics Seminar I

A Constant Lower Bound for Frankl's Union-Closed Sets Conjecture
Justin Gilmer
11:15am|Simonyi 101 and Remote Access

A finite set system is union-closed if for every pair of sets in the system their union is also in the system.  Frankl in 1979 conjectured that for any such system there exists an element which is contained in ½ of the sets in that system (the only...

Apr
25
2023

Computer Science/Discrete Mathematics Seminar II

A Unified Approach to Discrepancy Minimization
Nikhil Bansal
10:30am|Simonyi Hall 101 and Remote Access

Discrepancy theory provides a powerful approach to improve upon the bounds obtained by a basic application of the probabilistic method. In recent years, several algorithmic approaches have been developed for various classical results in the area. In...

Apr
24
2023

Computer Science/Discrete Mathematics Seminar I

Approximating Iterated Multiplication of Stochastic Matrices in Small Space
Dean Doron
11:15am|Simonyi 101 and Remote Access

Matrix powering, and more generally iterated matrix multiplication, is a fundamental linear algebraic primitive with myriad applications in computer science. Of particular interest is the problem’s space  complexity as it constitutes the main route...

Apr
18
2023

Computer Science/Discrete Mathematics Seminar II

Existence of Subspace Designs
Ashwin Sah
10:30am|Simonyi Hall 101 and Remote Access

We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility...

Apr
17
2023

Computer Science/Discrete Mathematics Seminar I

Unit and Distinct Distances in Typical Norms
11:15am|Simonyi 101 and Remote Access

Erdős' unit distance problem and his related distinct distances problem are arguably the best known open problems in discrete geometry.

They ask for the maximum possible number of unit distances, and the minimum possible number of distinct...

Apr
11
2023

Computer Science/Discrete Mathematics Seminar II

Updates on the Lipschitz Extension Problem
10:30am|Simonyi Hall 101 and Remote Access

The Lipschitz extension problem is the following basic “meta question” in metric geometry:  Suppose that X and Y are metric spaces and A is a subset of X. What is the smallest K such that every Lipschitz function f:A\to Y has an extension F:X\to Y...

Apr
10
2023

Computer Science/Discrete Mathematics Seminar I

Quantum Error Correction, Systolic Geometry, and Probabilistic Embeddings
Elia Portnoy
11:15am|Simonyi 101 and Remote Access

A CSS quantum code $\mathcal{C} = (W_1, W_2)$ is a pair of orthogonal subspaces in $\mathbb{F}_2^n$. The distance of $\mathcal{C}$ is the smallest hamming weight of a vector in $W_1^{\perp}-W_2$ or $W_2^{\perp}-W_1$. A large distance roughly means...