![]() |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
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 -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:
|
| 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 | ||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||