2020-21 Seminars

Mar
29
2021

Computer Science/Discrete Mathematics Seminar I

Approximating Max Cut with Subexponential Linear Programs
Tselil Schramm
11:15am|Remote Access - see Zoom link below

In the max cut problem, we are given an n-vertex graph and we are asked what is the maximum fraction of edges "cut" by any partition of the vertices? This problem can be reformulated as an optimization problem over the cut polytope, which has...

Mar
24
2021

Stability and Testability

Why was Connes' embedding conjecture refuted and there are still no known non-hyperlinear groups?
Michael Chapman
11:00am|Remote Access

In [MIP*=RE by JNVWY] the authors construct a non-local game that resolves Tsirelson's problem to the negative and by that refute Connes' embedding conjecture (CEC). The game *-algebra (see e.g. [KPS]) enables one to construct a finitely presented *...

Mar
23
2021

Computer Science/Discrete Mathematics Seminar II

Amortized circuit complexity, formal complexity measures, and catalytic algorithms
10:30am|Simonyi Hall 101 and Remote Access - see Zoom link below

Some of the central questions in complexity theory address the amortized complexity of computation (also sometimes known as direct sum problems). While these questions appear in many contexts, they are all variants of the following: 

Is the best...

Mar
22
2021

Computer Science/Discrete Mathematics Seminar I

The abstract chromatic number
Leonardo Nagami Coregliano
11:15am|Remote Access - see Zoom link below

What edge density of a graph guarantees that that it will contain a particular subgraph? Or one of a given family $\mathcal{F}$ of subgraphs? The celebrated Erdős--Stone--Simonovits Theorem characterizes the maximum edge density in $\mathcal{F}$...

Mar
17
2021

Stability and Testability

Approximate representations of symplectomorphisms via quantization
Leonid Polterovich
11:00am|Remote Access
We argue that quantization, a mathematical model of the quantum classical correspondence, gives rise to approximate unitary representations of symplectomorphism groups. As an application, we get an obstruction to symplectic action of Lubotzky...
Mar
16
2021

Computer Science/Discrete Mathematics Seminar II

Polynomial systems and mixed volumes
10:30am|Simonyi Hall 101 and Remote Access - see Zoom link below

Bernstein's theorem (also known as the Bernstein-Khovanskii-Kushnirenko theorem) gives a bound on the number of nonzero solutions of a polynomial system of equations in terms of the mixed volume of its Newton polytopes. In this talk, we will give...

Mar
15
2021

Computer Science/Discrete Mathematics Seminar I

Local Proofs with Arbitrarily Small Encoding Overhead
11:15am|Remote Access - see Zoom link below

The celebrated PCP theorem from the 90's shows that any mathematical proof can be encoded in such a way that its correctness can be verified locally by reading only a tiny number of bits from the encoding. This foundational result has had a...

Mar
10
2021

Stability and Testability

Constraint metric approximation and constraint stability
Liviu Paunescu
11:00am|Remote Access
Constraint metric approximation is about constructing an approximation of a group $G$, when the approximation is already given for a subgroup $H$. Similarly, constraint stability is about lifting a representation of a group $G$, when the lift is...
Mar
09
2021

Computer Science/Discrete Mathematics Seminar II

Random k-out subgraphs
10:30am|Simonyi Hall 101 and Remote Access - see Zoom link below

Random sampling a subgraph of a graph is an important algorithmic technique.  Solving some problems on the (smaller) subgraph is naturally faster, and can give either a useful approximate answer, or sometimes even give a result that can be quickly...

Mar
08
2021

Computer Science/Discrete Mathematics Seminar I

Strong refutation of semi-random Boolean CSPs
11:15am|Remote Access - see Zoom link below

For a fixed integer k > 1, the Boolean k-XOR problem consists of a system of linear equations mod 2 with each equation involving exactly k variables. We give an algorithm to strongly refute *semi-random* instances of the Boolean k-XOR problem on n...