2005-2006 seminars

Feb
14
2006

Computer Science/Discrete Mathematics Seminar II

Quantum Computing and Finite Permutation Groups
Aner Shalev
10:30am|S-101

We shall discuss Quantum Computing, and the so called Hidden Subgroup Problem, which in the abelian case was the basis for Shor's celebrated factorization algorithm. The solution for non-abelian groups, and symmetric groups in particular, is one of...

Feb
13
2006

Computer Science/Discrete Mathematics Seminar I

Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity
Joel Friedman
11:15am|S-101

Counting connected components and Betti numbers was a known technique in algebraic complexity theory in the late 1970's and early 1980's. Speculation arose as to whether such methods could attack lower bounds in Boolean complexity theory (e.g., P vs...

Jan
31
2006

Lie Groups, Representations and Discrete Mathematics

Paley Graphs and the Combinatorial Topology of the Bruhat Decomposition
Ron Livnè
2:00pm|S-101

Paley graphs are well-known combinatorial objects which have many interesting properties. Many of these properties come from their symmetry under the automorphisms x-->ax+b of the affine line over a finite field F with q elements (q=4m+1). We...

Jan
31
2006

Computer Science/Discrete Mathematics Seminar II

Cryptography and the P vs NP Question
10:30am|S-101

A fundamental question in cryptography is whether the existence of hard on average problems can be based solely on the assumption that P not equal to NP (more precisely, NP not in BPP). The commonly held belief that average-case hardness requires...

Jan
30
2006

Computer Science/Discrete Mathematics Seminar I

From Trees to General Graphs: Counting Independent Sets up to the Tree Threshold
11:15am|S-101

We present a novel tree representation for the hard-core lattice gas model (weighted independent sets) on a general graph. We use this representation to show that for any graph of maximum degree D, the Gibbs measure is unique (the influence of any...

Jan
24
2006

Lie Groups, Representations and Discrete Mathematics

The Classification of Finite Simple Groups: Aspects of the Second Generation Proof
Inna Korchagina
2:00pm|S-101

The classification of finite simple groups is widely acknowledged to be one of the major results in modern mathematics. The successful completion of its proof was announced in the early 1980's by Daniel Gorenstein. The original proof occupied...

Jan
24
2006

Computer Science/Discrete Mathematics Seminar II

Random Discrete Matrices: A Survey
10:30am|S-101

Random matrices is a large area in mathematics, with connections to many other areas, such as mathematical physics, combinatorics, and theoretical computer sience, to mention a few. There are, by and large, two kinds of random matrices. The first...

Jan
23
2006

Computer Science/Discrete Mathematics Seminar I

Dispersion of Mass and the Complexity of Randomized Algorithms
Santosh Vempala
11:15am|S-101

Perhaps the most appealing conjectures in asymptotic convex geometry are (i) slicing (or isotropic constant) and (ii) variance. Together, they imply that for a random point X from an isotropic convex body in \R^n, the variance of |X|^2 is O(n). We...