2004-2005 seminars

Jan
17
2005

Computer Science/Discrete Mathematics Seminar I

Multicommodity flow, well-linked terminals, and routing problems
Chandra Chekuri
11:15am|S-101

A fundamental problem in combinatorial optimization is the edge-disjoint paths problem (EDP). We are given a graph G=(V,E) and a set of pairs of vertices (s_1,t_1), (s_2,t_2), ..., (s_k,t_k). The objective is to decide if all the pairs can be...

Dec
14
2004

Computer Science/Discrete Mathematics Seminar II

Variance/Entropy Decomposition Techniques for Proving Fast Mixing of the Glauber Dynamics
10:30am|S-101

The Glauber dynamics is a simple Markov chain algorithm for sampling from distributions that arise in models from statistical physics. In each step of this dynamics the value (or spin) of a random site is updated according to some rule which is...

Dec
13
2004

Computer Science/Discrete Mathematics Seminar I

On Learning Random Decision Trees and DNF Formulas
Rocco Servedio
11:15am|S-101

The problem of average-case learning for decision trees is as follows: a decision tree T (over Boolean features x1,...,xn) is chosen at random from some natural distribution over decision trees. The learner is given access to uniform random examples...

Dec
07
2004

Computer Science/Discrete Mathematics Seminar II

Variance/Entropy Decomposition Techniques for Proving Fast Mixing of the Glauber Dynamics
10:30am|S-101

The Glauber dynamics is a simple Markov chain algorithm for sampling from distributions that arise in models from statistical physics. In each step of this dynamics the value (or spin) of a random site is updated according to some rule which is...

Dec
06
2004

Computer Science/Discrete Mathematics Seminar I

Several Geometric Applications of Chernoff Estimates: A Zigzag Approximation for Balls and Some Random Matrices
Shiri Artstein
11:15am|S-101

I will present recent joint work with O. Friedland and V. Milman, where we use simple probabilistic estimates on Bernoulli random variables, together with tools from convex geometric analysis, to arrive at some new results. The first result has to...

Nov
30
2004

Computer Science/Discrete Mathematics Seminar II

On Random Bernoulli Matrices: Singularity and Determinant
10:30am|S-101

We study properties of random Bernoulli matrices. In particular, we determine the typical value of the determinant. We also obtain a new bound on the probability that the matrix is singular. Joint work with T. Tao.

Nov
29
2004

Computer Science/Discrete Mathematics Seminar I

An Unconditional Study of Computational Zero Knowledge
11:15am|S-101

We prove a number of general theorems about CZK, the class of problems possessing computational zero-knowledge proofs. Our results are *unconditional*, in contrast to most previous works on CZK which rely on the assumption that one-way functions...

Nov
23
2004

Computer Science/Discrete Mathematics Seminar II

Learnability and Automatizability
Michael Alekhnovich
10:30am|S-101

We consider the complexity of properly learning concept classes, i.e. when the learner must output a hypothesis of the same form as the unknown concept. We present the following new upper and lower bounds on well-known concept classes: 1. We show...

Nov
22
2004

Computer Science/Discrete Mathematics Seminar I

Using Nondeterminism to Amplify Hardness
11:15am|S-101

The goal of hardness amplification is to take a function f : {0,1}^n --> {0,1} that is mildly average-case hard (i.e., very "small" circuit fails to compute f on at least a 1/poly(n) fraction of inputs), and produce a new function f' that is very...

Nov
16
2004

Computer Science/Discrete Mathematics Seminar II

Slow Mixing of Local Dynamics for Colourings and Independent Sets
David Galvin
10:30am|S-101

We consider "local-update" Markov chains for sampling from independent sets and proper 3-colourings of a graph. An example of such a chain is the well-known Glauber dynamics, which updates the state of at most one vertex of the graph at each step...