[Newsletter.]
 

April 2002

Candidate: Donald Yau Abstract: We show that for a large class of torsionfree classifying spaces, K-theory filtered ring is an invariant of the genus. We apply this result in two ways. First, we use it to show that the powerseries ring on n indeterminates over the integers admits uncountably many mutually non-isomorphic [lambda]-ring structures. Second, we use it to study the genus of infinite quaternionic projective space. In particular, we describe spaces in the genus of infinite quaternionic projective space which occur as targets of essential maps from infinite complex projective space, and we compute explicitly the homotopy classes of maps in these cases.
Title: "Localization Genus of Classifying Spaces"
Date: Monday, April 1, 2002
Time: 4:30pm
Location: room 2-131
Committee: Haynes Miller, thesis advisor
Michael Hopkins
Lars Hesselholt

Candidate: Aleksey Zinger Abstract: Enumerative geometry of algebraic varieties is a fascinating field of mathematics that dates back to the nineteenth century. We introduce new computational tools into this field that are motivated by recent progress in symplectic geometry and its influence on enumerative geometry. The most straightforward applications of the methods developed are to enumeration of rational curves with a cusp of specified nature in projective spaces. A general approach for counting positive-genus curves with complex structure fixed is also presented. The applications described include enumeration of rational curves with a (3,4)-cusp, genus-two and genus-three curves with complex structure fixed in the two-dimensional complex projective space, and genus-two curves with complex structure fixed in the three-dimensional complex projective space. Our constructions may be applicable to problems in symplectic geometry as well.
Title: "Enumerative Algebraic Geometry via Techniques of Symplectic Topology and Analysis of Local Obstructions"
Date: Monday, April 15, 2002
Time: 1:30pm
Location: room 2-131
Committee: Tomasz Mrowka, thesis advisor
Gang Tian
Clifford Taubes (Harvard)

Candidate: Francis Poulin Abstract: The central focus of my thesis is to study the instability jets of various complexity by analyzing the linear and nonlinear dynamics. We applied this methodology to four different situations in order to learn the following. First, what asymmetries develop between cyclones and anticyclones because of finite variations in the free surface? Second, how is the stability of a jet flowing along a topographic step altered by the topography beneath? Third, can parametric instability arise in shear flows? Fourth, can an idealized model of a tidally and topographically forced coastal jet develop instabilities, and if so, can these instabilities become turbulent?
Title: "The Instability of Time-Dependent Jets"
Date: Wednesday, April 17, 2002
Time: 1:30pm
Location: room 2-338
Committee: Glenn Flierl, thesis advisor
John Bush
R. Ruben Rosales

Candidate: Tara Holm
Title: "Equivariant Cohomology, Homogeneous Spaces and Graphs"
Date: Thursday, April 18, 2002
Time: 1:00pm
Location: room 2-338
Committee: Victor Guillemin, thesis advisor
Sara Billey
Sue Tolman

Candidate: Tilman Bauer
Title: "p-compact groups as framed manifolds"
Date: Monday, April 22, 2002
Time: 4:30pm
Location: room 2-131
Committee: Michael Hopkins, thesis advisor
Haynes Miller
Lars Hesselholt

Candidate: John Dunagan Abstract: We develop a new understanding of outliers and the behavior of linear programs under perturbation. Outliers are ubiquitous in scientific theory and practice. We analyze a simple algorithm for removal of outliers from a high-dimensional data set and show the algorithm to be asymptotically good. We extend this result to distributions that we can access only by sampling, and also to the optimization version of the problem. Our results cover both the discrete and continuous cases. This is joint work with Santosh Vempala.

       The complexity of solving linear programs has interested researchers for half a century now. We show that an arbitrary linear program subject to a small random relative perturbation has good condition number with high probability, and hence is easy to solve. This is joint work with Avrim Blum, Daniel Spielman, and Shang-Hua Teng. This result forms part of the smoothed analysis project initiated by Spielman and Teng to better explain mathematically the observed performance of algorithms.

Title: "A Geometric Theory of Outliers and Perturbation"
Date: Monday, April 22, 2002
Time: 1:00pm
Location: room NE43-518
Committee: Santosh Vempala, thesis advisor
Daniel Spielman
Shang-Hua Teng (BU, Computer Science)

Candidate: Adam Klivans Abstract: This thesis details a new vantage point for attacking longstanding problems in machine learning. We use tools from computational complexity theory to make progress on problems from computational learning theory. Our methods yield the fastest and most expressive algorithms to date for learning several fundamental concept classes:
  1. We show that any s-term DNF over n variables can be computed by a polynomial threshold function of order O (n¹/³ log s). As an immediate consequence we obtain the fastest known DNF learning algorithm which runs in time 2 Õ (n¹/³).
  2. We give the first polynomial time algorithm to learn an intersection of a constant number of halfspaces under the uniform distribution to within any constant error parameter. As a corollary we can learn any neural network in which there a k bottom level gates (threshold functions) that the inputs feed into in time nO(k²/[epsilon]²). We also give the first quasipolynomial time algorithm for learning any function of a constant number of halfspaces with polynomial bounded weights under any distribution.
  3. We give an algorithm to learn constant-depth polynomial-size circuits augmented with majority gates under the uniform distribution using random examples only. For circuits which contain a polylogarithmic number of majority gates the algorithm runs in quasipolynomial time. Under a suitable cryptographic assumption we show that these are the most expressive circuits which will admit a non-trivial learning algorithm.
Our approach relies heavily on giving novel representations of well known concept classes via complexity theoretic reductions. We exploit the fact that many results in computational learning theory have a complexity theoretic analogue or implication. As such, we also obtain new results in computational complexity including (1) a proof that the 30 year old lower bound due to Minsky and Papert on the degree of a perceptron computing a DNF formula is tight and (2) improved constructions of pseudo-random generators, mathematical objects which play a fundamental role in cryptography and derandomization.
Title: "A Complexity Theoretic Approach to Learning"
Date: Friday, April 26, 2002
Time: 1:30pm
Location: *** note room change ***
         room 26-168
*** note room change ***
Committee: Daniel Spielman, thesis advisor
Michael Sipser
Santosh Vempala
   
   
   
   
   
   

Candidate: William Bradley Abstract: I analyze packet routing on unidirectional ring networks, with an eye towards establishing bounds on the expected length of the queues. Suppose we route packets by a greedy "hot potato" protocol. If packets are inserted by a Bernoulli process and have uniform destinations around the ring, and if the nominal load is kept fixed, then I can construct an upper bound on the expected queue length per node that is independent of the size of the ring. If the packets only travel one or two steps, I can calculate the exact expected queue length for rings of any size.

       I also show some stability results under more general circumstances. If the packets are inserted by any ergodic hidden Markov process with nominal loads less than one, and routed by any greedy protocol, I prove that the ring is ergodic.

Title: "Running in Circles: Packet Routing on Ring Networks"
Date: Friday, April 26, 2002
Time: 3:30pm
Location: room 2-139
Committee: Tom Leighton, thesis advisor
Richard Dudley
John Tsitsiklis (EECS)

Candidate: Xiaodong Cao
Title: "Ricci Flow on 3-manifolds with Symmetry"
Date: Monday, April 29, 2002
Time: 12:30pm
Location: room 2-338
Committee: Gang Tian, thesis advisor
Tomasz Mrowka
Jeffrey Viaclovsky

Candidate: Daniel Biss
Title: "The Homotopy Type of the Matroid Grassmannian"
Date: Monday, April 29, 2002
Time: 4:30pm
Location: room 2-131
Committee: Michael Hopkins, thesis advisor
Haynes Miller
Lars Hesselholt

Candidate: Ana-Maria Castravet
Title: "Rational Families of Vector Bundles on Curves"
Date: Tuesday, April 30, 2002
Time: 3pm, Harvard-MIT Algebraic Geometry Seminar
Location: Harvard University, Science Center, Room 507
Committee: Joseph Harris (Harvard), thesis advisor
Steven Kleiman
Johan De Jong

May 2002

Candidate: Adrian Vetta Abstract: The task of finding low-cost subgraphs of a prescribed connectivity is a fundamental problem in network optimisation. Within this broad framework there is much variation. The underlying graphs may be undirected or directed and induce diverse cost structures. The connectivity constraints may concern edge or vertex connectivity, and the prescribed connectivity requirements may be low or high. I will present some techniques that have proved useful, in a range of these problems, for designing efficient algorithms with good theoretical performance. These include: graph decomposition methods, techniques from matching theory, LP based connectivity augmentation methods, and the iterative rounding of LPs. The results presented are based upon a collection of work, including work with Joseph Cheriyan and Santosh Vempala.

Title: "Graph Connectivity: Relaxations and Algorithms"
Date: Wednesday, May 1, 2002
Time: 2:30pm
Location: room 5-234
Committee: Santosh Vempala, thesis advisor
Michel Goemans
Dimitris Bertsimas (OR/Sloan)

Candidate: Kevin McGerty
Title: "Affine quantum algebras, Weyl groups and constructible functions"
Date: Thursday, May 2, 2002
Time: 4:30pm
Location: room 2-135
Committee: George Lusztig, thesis advisor
David A. Vogan, Jr.
Victor Ostrik

Candidate: Tong (Tony) Wen Abstract: Support Vector Machines (SVMs) have attracted recent attention as a learning technique to attack classification problems. The goal of my thesis work is to improve computational algorithms as well as the mathematical understanding of SVMs, so that they can be easily applied to real problems.

       SVMs solve classification problems by learning from training examples. From the geometry, it is easy to formulate the finding of SVM classifiers as a linearly constrained Quadratic Programming (QP) problem. However, in practice its dual problem is actually computed. An important property of the dual QP problem is that its solution is sparse. The training examples that determine the SVM classifier are known as Support Vectors (SVs).

       Motivated by the geometric derivation of the primal QP problem, we investigate how the dual problem is related to the geometry. This investigation leads to a geometric interpretation of the scaling property of SVMs and an algorithm to further compress SVs. The randomness of the training examples connects the Hessian matrix of the dual QP problem to Wishart matrices. After deriving the distributions of the elements of the inverse Wishart matrix Wn-1 (n,nI ), we give a conjecture about the summation of the elements of Wn-1 (n,nI ). It becomes challenging to solve the dual QP problem when the training set is large. We develop a fast algorithm for solving this problem. Numerical experiments show that the MATLAB implementation of this projected Conjugate Gradient algorithm is competitive with benchmark C/C++ codes such as SVM light and SvmFu. Furthermore, we apply SVMs to time series data. In this application, SVMs are used to predict the movement of the stock market. Our results show that SVMs have the potential to outperform the geometric Brownian motion model of stock prices.

Title: "Support Vector Machine Algorithms: Analysis and Applications"
Date: Tuesday, May 14, 2002
Time: 4:00pm
Location: room 2-338
Committee: Alan Edelman, thesis advisor
Gilbert Strang
Dan Stefanica
   
   
   
   

Other Thesis Defenses

Current Term Thesis Defenses
 
Summer 2005 Thesis Defenses
 
Spring 2005 Thesis Defenses
 
Fall 2004 Thesis Defenses
 
Summer 2004 Thesis Defenses
 
Spring 2004 Thesis Defenses
 
Fall 2003 Thesis Defenses
 
Summer 2003 Thesis Defenses
 
Spring 2003 Thesis Defenses
 
Fall 2002 Thesis Defenses
 
Spring 2002 Thesis Defenses