Seminars

Oct
02
2017

Computer Science/Discrete Mathematics Seminar I

Crossing the logarithmic barrier for dynamic boolean data structure lower bounds
Omri Weinstein
11:00am

This paper proves the first super-logarithmic lower bounds on the cell-probe complexity of dynamic boolean (a.k.a. decision) data structure problems, a long-standing milestone in data structure lower bounds.We introduce a new method for proving...

Sep
26
2017

Computer Science/Discrete Mathematics Seminar II

Lifting theorems in communication complexity and applications
10:30am

Communication complexity studies the minimal amount of information two parties need to exchange to compute a joint function of their inputs. Results, especially lower bounds in this basic model found applications in many other areas of computer...

Sep
18
2017

Computer Science/Discrete Mathematics Seminar I

Rigorous RG: A Provably Efficient and Possibly Practical Algorithm for Simulating 1D Quantum Systems
Umesh Vazirani
11:00am

One of the great mysteries in computational condensed matter physics is the remarkable practical success of the Density Matrix Renormalization Group (DMRG) algorithm, since its invention a quarter century ago, for finding low energy states of 1D...

Sep
18
2017

Computer Science/Discrete Mathematics Seminar I

Rigorous RG: a provably efficient and possibly practical algorithm for simulating 1D quantum systems
Umesh Vazirani
11:00am

One of the great mysteries in computational condensed matter physics is the remarkable practical success of the Density Matrix Renormalization Group (DMRG) algorithm, since its invention a quarter century ago, for finding low energy states of 1D...