2005-2006 seminars

Dec
05
2005

Computer Science/Discrete Mathematics Seminar I

Rational Secure Computation and Ideal Mechanism Design
Silvio Micali
11:15am|S-101

We prove a general result bridging the fields of Secure Protocols and Game Theory. We show that ANY mediated game with incomplete information can be perfectly simulated by the players alone, essentially by means of an extensive-form game in which...

Nov
30
2005

Lie Groups, Representations and Discrete Mathematics

Uniform Kazhdan Groups
Denis Osin
10:00am|S-101

For a discrete group G and a finite subset X of G, let K(G, X) denote the Kazhdan constant of G associated to X. We define the uniform Kazhdan constant of G by K(G) = min { K(G,X) | X is finite and generates G }. Obviously K(G)>0 for any finite...

Nov
29
2005

Computer Science/Discrete Mathematics Seminar II

Szemeredi's Regularity Lemma in Analysis
10:30am|S-101

We give three different analytic interpretations of Szemeredi's famous Regularity Lemma. The first one is a general statement about Hilbert spaces. The second one presents the Regularity Lemma as the compactness of a certain metric space. The third...

Nov
28
2005

Computer Science/Discrete Mathematics Seminar I

Almost Orthogonal Linear Codes are Locally Testable
11:15am|S-101

A code is said to be locally testable if an algorithm can distinguish between a codeword and a vector being essentially far from the code using a number of queries that is independent of the code's length. The question of characterizing codes that...

Nov
22
2005

Lie Groups, Representations and Discrete Mathematics

The Comparison Between Kac-Moody and Arithmetic Groups
Bertrand Remy
2:00pm|S-101

The talk will be introductory. We will first explain what Kac-Moody groups are. These groups are defined by generators and relations, but they are better understood via their actions on buildings. The involved class of buildings is interesting since...

Nov
22
2005

Computer Science/Discrete Mathematics Seminar II

Euclidean Embeddings of Finite Metric Spaces: Distortion and Expansion
10:30am|S-101

Bi-lipschitz embeddings of finite metric spaces into Hilbert space have become an increasingly important tool in discrete mathematics and theoretical computer science. For example, this theory is intimately related to the algorithmic problem of...

Nov
08
2005

Lie Groups, Representations and Discrete Mathematics

Spectra of Laplacians of Buildings
2:00pm|S-101

Consider an affine building of type $A_n$-tilde, which is a simplicial compex of dimension $n$. For $n=1$, this is a tree, which we will require to be homogeneous. Consider the space of complex valued functions on the vertices of the building, and...