Jan

01/09/06
Irina Kashuba  University of Sao Paulo
Representation types of Jordan algebras

01/10/06
Jeff Viaclovsky  MIT
Moduli spaces in Riemannian geometry
AbstractI will discuss various interesting moduli spaces which arise naturally in Riemannian Geometry, and some examples of how to compactify these moduli spaces. I will then discuss a partial compactification of the moduli space of antiselfdual Riemannian metrics in dimension four.

01/10/06

01/10/06
Introduction and lecture survey
AbstractThe goal is to read the following book: \vskip .1in
\noindent ``A first course in String Theory", by Barton Zwiebach. \vskip .1in
\noindent In the hands of Witten and other mathematical physicists, string theories (and more generally, the techniques of quantum field theory) have had a gigantic impact on geometry and topology over the last twenty years. Though the genuine physical significance of these
subjects is still debatable (many of the mathematicallyinteresting
models are what physicists would call ``toy models") and physicists'
methods often lack adequate mathematical foundations, they have a
strong internal consistency and lead to numerous surprising mathematical conjectures which could scarcely have been contemplated without this insight. \vskip .1in\noindent We want in our seminar to try to understand the way physicists work. This is actually quite a hard task, because their goals, intuition and language are really different from ours, and require continual translation. (I would sum up the distinction by saying that mathematicians deal mostly in nouns, physicists in verbs.) Zwiebach's
book, for an MIT undergraduate physics course, seems to me unusually
readable. Its level of mathematical sophistication is not very high,
so we will probably be able to worry mostly about the actual
physics. Perhaps later on we can try to read some of the rather more
advanced book \vskip .1in\noindent ``String theory", by Joseph Polchinski.

01/10/06
Dr. Wee Liang Gan  MIT
Symplectic reflection algebras and quantum Hamiltonian reduction
AbstractI will speak on a joint work with Etingof, Ginzburg, and Oblomkov,
in which we constructed the spherical subalgebras of symplectic
reflection algebras by quantum Hamiltonian reduction of differential
operators on representation spaces of affine Dynkin quivers. 
01/10/06
V. Futorny  University of Sao Paulo
Galois Algebras

01/17/06
Justin Roberts  UCSD
Mechanics, relativity, electromagnetism

01/17/06
Dr. Joe Dzubiella  UCSD Ctr for Theoretical Biological Physics & Dept of Chemistry & Biochemistry
Coupling nonpolar and polar solvation in implicit solvent models
AbstractRecent studies on the solvation of atomistic and nanoscale solutes indicate that a strong coupling exists between the hydrophobic, dispersion, and electrostatic contributions to the solvation free energy, a facet not considered in current implicit solvent models. We suggest a theoretical formalism, which accounts for coupling by minimizing the Gibbs free energy of the solvent with respect to a solvent volume exclusion function. The resulting differential equation is similar to the LaplaceYoung equation for the geometrical description of capillary interfaces, but is extended to microscopic scales by explicitly considering curvature corrections as well as dispersion and electrostatic contributions. Unlike existing implicit solvent approaches, the solvent accessible surface is an output of our model. The presented formalism is illustrated on spherically or cylindrically symmetrical systems of neutral or charged solutes on different length scales. The results are in agreement with computer simulations and, most importantly, demonstrate that our method captures the strong sensitivity of solvent expulsion and dewetting to the particular form of the solventsolute interactions.

01/17/06
Andrey Raigorodskii  Moscow State University
On the chromatic number of the plane
AbstractIn our talk, we will discuss a classical problem of combinatorial geometry going back to E. Nelson, P. Erd\"os, and H. Hadwiger. The main question is to find the minimum number of colors needed to paint all the points in a space so that the distance between any two points of the same color would not belong to a fixed set of positive reals. We will present a survey of various results concerning the problem. In particular, we will exhibit some amazing connections between this problem and the Borsuk partition problem (which is to determine the minimum number of parts of smaller diameter into which an arbitrary bounded $n$  dimensional set can be partitioned.)

01/18/06
Dr. Amber Puha  California State University, visiting UCSD
Queues with many servers

01/18/06
Dr. Ricardo CastanoBernard  IHES
Examples of piecewise smooth Lagrangian fibrations
AbstractGiven an integral affine manifold one can easily produce a symplectic manifold fibered by Lagrangian tori. When the affine base has singularities of certain type, one should be able to obtain compact symplectic manifolds by means of gluing suitable singular fibres. In this lecture I will give models of Lagrangian fibrations which can be used to produce such compactifictions. These models resemble the singular behaviour expected to appear in ``generic" special Lagrangian fibrations, in particular, our models are given by piecewise smooth maps. This type of nonsmoothness can be encoded into semiglobal symplectic invariants.

01/19/06
Murray Rosenblatt  UCSD
Spectral estimates and processes with almost periodic covariance function
AbstractResults on spectral estimates for stationary processes are discussed. Questions that arise on spectral estimation for the nonstationary class of processes with almost periodic covariance function are considered. Determination of lines of spectral support is of particular interest.

01/19/06
Sean Raleigh  UCSD Graduate Student
Contact geometry: An uneven plane field
AbstractContact geometry has been around, in one form or another, for over two centuries, used primarily in the study of optics and differential equations. But it wasn't until the 1980s that the field of contact topology really came into its own. That is, in the last two decades, mathematicians have made great progress in answering questions about the global nature of spaces equipped with a contact structure. \vskip .1in
\noindent In my talk, I will explain what a contact structure is mostly by drawing pretty pictures. Then I'll explain a bit about doing knot theory in the presence of a contact structure. \vskip .1in
\noindent No knowledge of geometry or topology will be required to understand my talk. Scout's honor! If you know what a vector is, you'll be just fine. Also, I promise that within the first fifteen minutes of my talk, you'll understand the dumb joke I used for the title. And if that doesn't whet your appetite, I'm not sure what will (other than the cryptic hints Maia and Henning are dropping about the possible presence of food).

01/19/06
Cristian Popescu  UCSD
Complexes and special values of $L$functions

01/19/06
Hendrik W. Lenstra Jr.
Searching for good $abc$triples
AbstractAn *$abc$triple* is a triple of pairwise coprime positive integers $a$, $b$, $c$ with $a$ + $b$ = $c$. The *radical* $r$ of such a triple is the product of the distinct prime numbers dividing $abc$, and the *quality* $q$ is defined by $q = (log c)/log r$. For example, the triple given by $a = 5, b = 27, c = 32$ has $r = 30$ and $q = (log 32)/log 30 = 1.018975235$... The *$abc$conjecture* asserts that for any real number $Q > 1$, the number of $abc$triples with quality greater than $Q$ is finite. It is known that there do exist infinitely many $abc$triples with quality greater than $1$. The main subject of the lecture is an algorithm for listing, given a large integer $N$, all $abc$triples with $c$ at most $N$ and quality greater than $1$. As a byproduct, the algorithm yields an upper bound for the number of such triples, as a function of $N$.

01/20/06
Bjorn Gustafsson  Royal Institute of Technology (Stockholm)
The exponential transform in higher dimensions
AbstractTo any domain in the complex plane there can be associated a certain function of two complex variables, called the exponential transform. It first arose in operator theory in the 1970s, and has later been studied for its own sake by Mihai Putinar and myself. It turns out to have quite remarkable and useful properties. \vskip .1in
\noindent More recently we have tried to generalize the exponential transform to higher dimensions (several real variables). The object we come up with, a kind of renormalized Riesz potential at critical exponent,
turns out to have at least some interesting properties. I will give an overview of what we know so far. 
01/20/06
Gabriela Putinar  UC Santa Barbara
Finite jet determination for biholomorphisms of realanalytic hypersurfaces in $mathbb C^N$.

01/23/06
Ivan Shestakov  University of Sao Paulo
Subalgebras and automorphisms of free algebras

01/24/06
Henning Hohnhold  UCSD Graduate Student
Quantum mechanics

01/24/06
Olvi Mangasarian  UCSD and University of Wisconsin, Madison
Nonlinear knowledge in kernel approximation
AbstractPrior knowledge over arbitrary general sets is incorporated into
nonlinear kernel approximation problems in the form of linear
constraints in a linear program. The key tool in this incorporation is
a theorem of the alternative for convex functions that converts
nonlinear prior knowledge implications into linear inequalities
without the need to kernelize these implications. Effectiveness of the
proposed formulation is demonstrated on two synthetic examples and an
important lymph node metastasis prediction problem. All these problems
exhibit marked improvements upon the introduction of prior knowledge
over nonlinear kernel approximation approaches that do not utilize
such knowledge. (Joint work with my PhD student Edward (Ted) W. Wild) 
01/24/06
Miles Reid  University of Warwick
Orbifold RiemannRoch and plurigenera

01/25/06
Dr. Peter Rowat  Institute for Neural Computation, UCSD
The stochastic HodgkinHuxley equations

01/25/06
Jacob Sterbenz  UCSD
Energy propagation for scalr radiation outside of a spherically symmetric black hole
AbstractPieter Blue and myself
concerning the nature of nonspherically symmetric finite energy waves
outside of a Schwarzchild black hole. In particular, I will discuss our
proof of the so called "Morawetz Estimate" which is a kind of monotonicity
bound describing, in a unified way, the strength of wavefronts which form as
an arbitrary burst of radiation splits into two pieces; one piece escaping
to (asymptotically flat) infinity, and the other falling across the event
horizon into the black hole. The main technical obstacle one must overcome
in proving this kind of estimate is to capture (in a mathematical way) how
an arbitrary wave "decides to split up". I will try to discuss this aspect
in detail, in particular how it relates to well established ideas in quantum
potential scattering. 
01/25/06
Jacob Sterbenz  UCSD
Energy propagation for scalr radiation outside ofa spherically symmetric black hole
AbstractPieter Blue and myself concerning the nature of nonspherically symmetric finite energy waves outside of a Schwarzchild black hole. In particular, I will discuss our proof of the so called "Morawetz Estimate" which is a kind of monotonicity bound describing, in a unified way, the strength of wavefronts which form as an arbitrary burst of radiation splits into two pieces; one piece escaping to (asymptotically flat) infinity, and the other falling across the event horizon into the black hole. The main technical obstacle one must overcome in proving this kind of estimate is to capture (in a mathematical way) how an arbitrary wave "decides to split up". I will try to discuss this aspect in detail, in particular how it relates to well established ideas in quantum potential scattering.

01/26/06
Yuzuru Inahama  Osaka University
Laplace's method for differential equations in the rough path theory
AbstractI will prove aymptotic results (large deviation and Laplace's method) for the laws of solutions of (formal stochastic) differential equations in the rough path sense. My result can be regarded as a "rough path version" of famous results for finite dimensional SDEs. However, formulated on a general Banach space, my results contain something new. Examples include: (1) solutions of SDEs on Mtype 2 Banach spaces, and (2) heat processes (or heat kernel measures) on loop spaces.

01/26/06
Nate Eldredge  UCSD Graduate Student
A rough guide to Brownian motion
AbstractMathematical Brownian motion was orginally devised as a model for the random bouncing of pollen grains in a liquid. But these days it's used to model everything from stock prices to atmospheric noise to drunken mathematicians.
In my talk, I'll show you how Brownian motion arises and talk about some of its many weird properties, as well as some applications. I'll discuss how they can help solve PDEs without hard analysis. I'll throw around funnysounding names like Donsker, Wiener, and Doob. Time permitting, I'll also say a little about stochastic calculus, the art of differentiating the nondifferentiable and making sense out of noise.
This talk should be accessible to all and no prior experience with probability is required.

01/26/06
Brooke Feigon  UCLA Graduate Student
Local Relative Trace Formula on GL(2)
AbstractBy comparing the relative and Kuznetsov trace formulas in the global
setting, Jacquet developed a method for characterizing the image of the
base change map associating automorphic representations of $U(2,
{\bf A}_E/{\bf A}_F)$ to automorphic representations of $GL(2,{\bf A}_E)$.
In this talk I will discuss recent work of mine defining, proving and
comparing local versions of the relative and Kuznetsov trace formulas on
GL(2). When evaluated with matching functions, the local Kuznetsov trace
formula and the local relative trace formula are equal and thus there is
an equality between their local distributions on the spectral sides. 
01/26/06
Alon Orlitsky  ECE and CSE, UCSD
Information theory and probability estimation: From Shannon to Shakespeare via Laplace, Good, Turing, Hardy, Ramanujan, and Fisher
AbstractJoint work with Prasad Santhanam, Krishna Viswanathan, and Junan Zhang \vskip .1in
\noindent Standard informationtheoretic results show that data over small, typically binary, alphabets can be compressed to Shannon's entropy limit. Yet most practical sources, such as text, audio, or video, have essentially infinite support. Compressing such sources requires estimating probabilities of unlikely, even unseen, events, a problem considered by Laplace. Of existing estimators, an ingenious if cryptic one derived by Good and Turing while deciphering the Enigma code works best yet not optimally. Hardy and Ramanujan's celebrated results on the number of integer partitions yield an asymptotically optimal estimator that compresses arbitraryalphabet data patterns to their entropy. The same approach generalizes Fisher's seminal work estimating the number of butterfly species and its extension authenticating a poem purportedly written by The Bard. The talk covers these topics and is selfcontained.

01/30/06
Andrew Kresch  University of Warwick, UK
Some results on the geometry of DeligneMumford stacks

01/31/06
Sean Raleigh  UCSD Graduate Student
The classical string

01/31/06
Ryan Szypowski  UCSD Graduate Student
On constrained evolution equations
Feb

02/01/06
Dr. Shirin Handjani  Center for Communications Research
A particle system on the tree with unusual asymptotic behavior

02/02/06
Nevin Kapur  Cal Tech
Additive functionals on multiway search trees
AbstractWe derive asymptotics of moments and limiting distributions, under the
random permutation model on $m$ary search trees on $n$~keys, of
functionals that satisfy recurrence relations of a simple additive
form. Many important functionals including the space requirement,
internal path length, and the socalled shape functional fall under
this framework.The limiting behavior of these functionals exhibit intriguing phase
changes. For suitably ``small'' input (or {\it toll}) sequences we
have asymptotic normality if $m \leq 26$ and typically periodic
behavior otherwise. For ``moderate'' toll sequences we have
convergence to nonnormal distributions if $m \leq m_{0}$ (where
$m_{0} \geq 26$) and typically periodic behavior otherwise. For
``large'' toll sequences we have convergence to nonnormal
distributions for all values of~$m$.Recent research greatly sharpens the understanding of the periodic
cases. For example, Chauvin and Pouyanne have shown that for $m \geq
27$ fixed, the space requirement equals
$$\mu(n+1) + 2 \Re[n^{\lambda_{2}} \Lambda] + \epsilon_{n}
n^{\Re\lambda_{2}},$$
where $\mu \in \bf{R}$ and $\lambda_{2} \in \bf{C}$ are
certain constants, $\Lambda$ is a complexvalued random variable, and
$\epsilon_{n} \to 0$ a.s.\ and in~$L^{2}$ as $n \to \infty$. Using
the elementary but powerful ``contraction method,'' we identify the
distribution of~$\Lambda$.As time and research progress permits, we will show how the
periodiccase result can be extended rather generally to other
additive functionals under the random permutation model, and beyond
those, to generalized P\'olya urn schemes and multitype branching
processes.(This is joint work with Jim Fill.)

02/02/06
Jiri Lebl  UCSD Graduate Student
Several complex variables are better than one
AbstractThe theory of complex analysis in one variable is in some sense the calculus
student's dream come true. No annoying pathological cases, and things
generally just work right. However the zero sets of analytic functions in
one variable are downright boring (isolated points). In this talk I will
talk about the Hartogs Phenomenon which has a coolness factor at least double
that of the Maximum Principle. In particular it will tell us something about
how the zero sets of analytic functions behave when we have more than one
complex variable. You will also find out what the inhomogeneous dbar
equation is, and how to exhibit solutions in certain cases, which should
really come in handy next time you are in a bar and need to show off
something more impressive than flipping ten beer coasters at once.This talk should be accessible to all who have not slept through basic
calculus (or at least not slept through most of it). 
02/02/06
Jon Grice  UCSD Graduate Student
The principle of deferred measurement

02/02/06
Allen Knutson  UCSD
Limits in algebraic geometry: subschemes vs. branchvarieties
AbstractGiven a family of algebraic varieties indexed by $t\neq 0$, one can ask
for the ``limit variety'' at $t=0$. Grothendieck considered the case
that the varieties are all subvarieties of a fixed projective space,
and defined a limit {\it subscheme} which although very natural and
useful is typically not a variety. In particular its geometry can be
quite obscure.I'll give an alternate definition of the limit, which is still a
variety but no longer ``sub''; we call it a {\bf branchvariety} of
projective space, a branched cover of a subvariety. I'll give loads
of examples.Grothendieck defined a moduli space of subschemes, the Hilbert scheme.
I'll talk about the corresponding moduli stacks of branchvarieties,
and the ways in which they're better behaved than Hilbert schemes.This work is joint with Valery Alexeev. {\bf The talk should be accessible
to anyone who's seen e.g. the normalization of an algebraic variety;
no scheme theory will be assumed.} (That's kind of the point.) 
02/02/06
Harold Stark  UCSD
A reciprocity law calculation

02/04/06
William Stein  UCSD
Introduction to SAGE and its components
AbstractThis is the first annual miniconference and workshop about the computer algebra system SAGE: http://modular.ucsd.edu/sage
SATURDAY:
10am William Stein: What is SAGE?
11am David Joyner: SAGE constructions
2pm Kristin Lauter: A Cryptographer's Laundry List
3pm Fernando Perez: IPython
4pm Steven Linton: GAP
5pm Sebastian Pauli: KASH

02/05/06
William Stein  UCSD
Applications and future directions
AbstractThis is the first annual miniconference and workshop about the computer algebra system SAGE:http://modular.ucsd.edu/sage
SUNDAY:
10am Wilson Cheung: SAGE on Solaris
10:30am Kyle Schalm: MPFR
1pm Steven Sivek: Online databases (e.g., Sloane's tables) via SAGE
1:30 George Havas: Proofs in finitely presented groups
2:30 Peter Mayr: Construction and the analysis of nearrings
3:30 Ifti Burhanuddin: Factoring integers and computing elliptic curve rational points
4:00 Jon Hanke: The 290 Theorem
5:00 David Kohel: SAGE Notions of Computing with Schemes

02/06/06
Andrei Zelevinsky  Northeastern University
Cluster algebras and their quantizations
AbstractCluster algebras, introduced jointly with S. Fomin, are a class of
axiomatically defined commutative rings equipped with a distinguished
set of generators (cluster variables) grouped into overlapping subsets
(clusters) of the same finite cardinality. The original motivation for
this theory was to create an algebraic framework for total positivity
and canonical bases in semisimple algebraic groups. Since their
introduction, cluster algebras have found applications in a diverse variety of settings which include quiver representations, Teichmuller theory, Poisson geometry, discrete dynamical systems, tropical geometry, and algebraic combinatorics. We discuss the basics of the theory of cluster algebras and their quantum analogues constructed jointly with A. Berenstein. 
02/07/06
Dave Clark  UCSD Graduate Student
Conservation laws and strings

02/07/06
Dr. Justin Romberg  Applied & Computational Mathematics, Caltech
Signal and image recovery from incomplete and inaccurate measurements
AbstractA common problem in applied science is to recover a signal or
image from a set of indirect measurements. For example, in
Magnetic Resonance Imaging (and many other imaging modes widely
used in medicine, astronomy, and other fields) we wish to reconstruct
an image from samples of its 2D Fourier spectrum. A natural
question arises: How many measurements do we need to recover
the object of interest? In this talk, we will discuss some recent
research that addresses this fundamental question, and present a
recovery framework that performs surprisingly well (both in theory
and in practice).A special instance of this theory yields a novel sampling theorem:
Suppose that a finite N dimensional signal f has only B nonzero
Fourier coefficients at unknown frequencies. Then we can recover f
perfectly from a small number of samples (on the order of B log N)
in the time domain.The recovery procedure is nonlinear, and consists of solving a
tractable convex program. Despite its nonlinearity, the recovery
procedure is exceptionally stable against measurement error.The theory (and the recovery algorithm) can be extended to signals
and images that are sparse in a known representation, and "sampled"
using a specified set of measurement signals. We will show how our
ability to recover a sparse signal depends on the representation and
the measurements system obeying an uncertainty principle.We will close by showing how these ideas can be applied to problems
in tomographic imaging and data compression. 
02/07/06
Andrei Zelevinsky  Northeastern University
Double Bruhat cells and cluster algebras
AbstractWe will discuss geometric properties of double Bruhat cells and their
totally positive parts in complex semisimple groups. The ideas and
results to be discussed were influenced by the work of G.Lusztig and
obtained jointly with A.Berenstein, S.Fomin, B. and M.Shapiro, and
A.Vainshtein. These ideas provided the groundwork for the theory of
cluster algebras. 
02/09/06
Oded Yacobi  UCSD Graduate Student
Representations of the symmetric group
AbstractI will begin with a few basic facts about the representation theory of finite groups and enumerate all the irreducible representations of the symmetric group. Then I’ll discuss the Frobenius characteristic map, which relates the symmetric group to symmetric polynomials. If time permits I will mention a beautiful connection with the representations of the general linear group, known as “SchurWeyl Duality”.

02/09/06
Durdu Guney  UCSD ECE Graduate Student
Conditional teleportation and readout in a photonic crystal

02/09/06
Barry Smith  UCSD Graduate Student
A refinement of the BrumerStark Conjecture

02/09/06
Jinchao Xu  Penn State University
An integrated study of discretization, adaptivity and iterative methods for solving partial differential equations
AbstractThis talk will touch upon three general aspects of
numerical solution of partial differential equations: discretization
(for transforming a continuous problem to a discrete problem), grid
adaptation (for optimizing the discrete scheme) and iterative methods
(for solving the resulting discrete systems). A number of recent
results will be presented in all these different aspects and an
integrated application of these results will be illustrated through
an example from modeling of complex fluids. 
02/10/06
Denis Charles  Microsoft Research
The hardness of computing an eigenform
AbstractComputing the Fourier coefficients of modular forms is
an important problem in computational number theory.
In this talk we give some evidence that this task is likely
to be hard. In particular, we show that computing the
Fourier coefficients of any fixed Hecke eigenform is at
least as hard as factoring integers of the form pq (where
p and q are distinct primes). We will also discuss the
consequence of this result to the problem of computing a
basis of modular forms. This is joint work with Eric Bach. 
02/13/06
Tatyana Bandman  Bar Ilan University
Affine geometry and Engellike identities characterizing finite solvable
AbstractPLEASE NOTE CHANGE OF TIME AND LOCATION

02/14/06
Jeff Rabin  UCSD
Quantum field theory

02/14/06
Dr. Jeff Ovall  Max Planck Institute
Function, gradient and Hessian recovery using quadratic edgebump functions

02/14/06
Arthur Berg and Ben Raphael  UCSD
Brainstorm MathStorm
AbstractWe will give a brief report on MathStorm activities in the past year or
two, and present a couple interesting projects in further details. We
will also outline future plans and welcome all interested graduate
students to participate and brainstorm MathStorm. RoundTable Pizzas will
be provided! 
02/15/06
R. J. Williams  UCSD
Fluid approximation for an Internet congestion control model with fair bandwidth sharing

02/15/06
Dr. Damin Wu  Stanford University
Asymptotics of KahlerEinstein metrics and some
AbstractIn this talk we will discuss a canonical asymptotic expansion up to infinite order of the K\"{a}hlerEinstein metric on a compact complex manifold complement of a simple normal crossings divisor. This work is parallel to the asymptotics of Fefferman, Lee and Melrose on the strictly pseudoconvex domain in $\bf{C}^n$. At the end we will mention some possible applications related to complex geometry and algebraic geometry

02/16/06
Kenneth J. Hochberg  BarIlan University, Israel
Hierarchically structured branchingdiffusing systems
AbstractThe twolevel superprocess is the diffusion limit of a twolevel branching
Brownian motion, where particles are grouped into superparticles which
themselves duplicate or vanish according to a branching dynamic, in
addition to the motion and branching of the individual particles
themselves. We define three classes of initial states for twolevel
superprocesses and describe the corresponding patterns of longtime
behavior, including two very different types of equilibria. Specifically,
we show that two of these classes of initial states lead to longtime
behavioral patterns in high dimensions that do not exist for ordinary,
singlelevel branching systems or superprocesses. (Joint work with
A.Greven.) 
02/16/06
Jason Bandlow  UCSD Graduate Student
Symmetrize it, don't criticize it
AbstractAsk any professional mathematician what they most like to exploit, and the top two answers will most likely be graduate students and symmetry. This talk will feature one of the former speaking about the latter. Specifically, I will be talking about symmetric functions and trying to make the case that if you were stranded on a desert island and could bring only one mathematical object with you, the algebra of symmetric functions would make an excellent choice; one would almost certainly die of thirst/starvation before getting bored. After demonstrating some beautiful (and fundamental) algebraic and combinatorial properties of this algebra, I will show how they can be applied by sketching a proof of the hooklength formula and (if time permits) explaining the basics of Polya enumeration.

02/16/06
Durdu Guney  Graduate student, ECE Department
Conditional teleportation and readout in a photonic crystal (part II)

02/16/06
William Stein  UCSD
Computing Bernoulli numbers
AbstractI will describe a new very efficient algorithms for efficiently computing Bernoulli numbers, both the usual ones and the ones attached to Dirichlet characters. This is joint work with Kevin McGown.

02/17/06
Carles Broto  University of Autonoma, Barcelona
plocal finite groups
AbstractA plocal finite group consists of a finite pgroup S, together with a pair of categories that encode "conjugacy relations" among the subgroups of S, modelled on the fusion in Sylow psubgroups of finite groups. To any plocal finite group, we associate a classifying space. These spaces share many of the same properties of pcompleted classifying spaces of finite groups. In particular, a plocal finite group is characterized by its classifying space. This is a survey talk on the theory, from motivation to recent results.

02/21/06
Michael Hansen  UCSD Graduate Student
The quantum open string

02/21/06
Dr. Maria G. Reznikoff  Princeton University
Thermallydriven rare events and action minimization
AbstractThermal or stochastic effects are prevalent in physical, chemical,
and biological systems. Particularly in small systems, noise can
overpower the deterministic dynamics and lead to ``rare events,''
events which would never be seen in the absence of noise. One
example is the thermallydriven switching of the magnetization in
small memory elements. WentzellFreidlin large deviation theory
is a mathematical tool for studying rare events. It estimates their
probability and also the ``most likely switching pathway,'' which
is the pathway in phase space by which rare events are most likely
to occur. We explain how large deviation theory and concepts from
stochastic resonance may be applied to analyze thermallyactivated
magnetization reversal in the context of the spatially uniform
LandauLifschitzGilbert equations. The timescales of the experiment
are critical. One surprising and physically relevant result is that
in multiplepulse experiments, nonconvential ``shorttime switching
pathways'' can dominate. The effect is dramatic: the usual pathway
(connected with the Arrheniuslaw) underestimates the probability
of switching by an exponential factor.An advantage of the method via large deviation theory is that it
generalizes to systems with spatial variation. To discuss the
complications and richness that emerge when spatial variation is
taken into account, we consider the (simpler) AllenCahn equation.
In this context, the rare event of interest is phase transformation
from $u= 1$ to $u= +1$, and the most likely switching pathway is a
pathway through function space. A natural reduced problem emerges
in the ``sharpinterface limit.'' We give a brief overview of some
results (rigorous in $d=1$, heuristic in $d>1$).The first part of the talk is joint work with Bob Kohn and
Eric VandenEijnden. The second part includes work that is also
joint with Felix Otto and Yoshihiro Tonegawa. 
02/21/06
Jeff Liese  UCSD Graduate Student
Classifying descent and ascents modulo k
AbstractGiven any fixed integer $k > 1$, one can ask to find formulas for the number of permutations whose descent pairs satisfy certain conditions mod k. We will survey a number of results on these type of questions and we will show that number of remarkable identities emerge from this study.

02/22/06
Sumit Bhardwaj  UCSD Graduate Student, ECE Department
Maxweight scheduling in a generalized switch: State space collapse and workload minimization in heavy traffic

02/22/06
Yu Zheng  East China Normal University
Some evolution equations arising in geometry

02/23/06
Ron Getoor  UCSD
Duality for Markov processes

02/23/06
Dave Clark  UCSD Graduate Student
Knotty by Nature (Who's down wid OPP?!)
AbstractOther People's Polynomials, that is. Vaughan Jones came up with his own in 1983 and revolutionized the centuriesold study of knots. Then he got the Fields Medal for it. In this talk, we'll discuss some knot theory basics, construct the Jones Polynomial and prove (!) its invariance, and explore some applications. Prerequisite: middle school algebra.
So, who's down with knot theory? All the homies!

02/23/06
Misha Alekhnovich  UCSD
What makes the search problem computationally hard?
AbstractIn this general talk I will discuss the complexity of NPcomplete
combinatorial search problems for several computational models,
such as DPLL algorithms, Greedy algorithms,
Linear and Semidefinite relaxations. I will survey several lower bounds
for these models and discuss how the expansion of the underlying
graph affects the computational intractability of the search problem. 
02/23/06
Peter Stevenhagen  UCSD
Class invariants: old and new
AbstractComplex multiplication provides a systematic method
to generate class fields using values of modular functions in the complex upper half plane. Using `small' modular functions to reach this goal is an art that goes back to Weber, and for which the
modern machinery was provided by Shimura. In recent years, padic counterparts have been developed for the more traditional complex analytic algorithms. I'll discuss and compare old and new methods. 
02/23/06
Dr. Klaus Boehmer  Philipps Universitat, Fachbereich, Marburg, Germany Mathematik und Informatik
On finite element methods for fully nonlinear elliptic equations of second order
AbstractFor the first time, we present for the general case of
fully nonlinear elliptic differential equations of
second order on $C^2$ domains in $R^n$, a
stability and convergence proof for a non standard
non conforming $C^1$ finite element method and the
variational crimes. Our proof is applicable to Davydov's $C^1$
finite elements on curved domains, available at the moment in
$R^2$ and probably for $R^3$ soon. The general case of elliptic
differential equations and systems of orders $2$ and $2m$ will
not be discussed in the lecture. The method applies to non
divergent quasilinear elliptic problems as well. Algorithms are
formulated to calculate the nonlinear system and to solve it by
a combination of continuation and discrete Newton methods. The
latter converges locally quadratically, essentially independent
of the actual grid size by the mesh independence principle. As
usual for curved domains we have to consider the necessary
quadrature and cubature approximations to avoid difficulties at
the boundary. Essential tools are the interplay between the weak
and strong form of the linearized operator and a new regularity
result for solutions of finite element equations. 
02/24/06
Dr. Michael Westdickenberg  Institute for Applied Mathematics, University of Bonn
The entropy condition for hyperbolic conservation laws
AbstractSince weak solutions of hyperbolic conservation laws may be nonunique,
typically an entropy condition is imposed in order to obtain uniqueness.
We discuss how the entropy condition implies regularity and structure of
solutions of scalar conservation laws. For the onedimensional system of
isentropic Euler equations we show how the entropy condition gives
global existence of solutions with natural bounds. 
02/28/06
Ben Cooper  UCSD Graduate Student
The quantum closed string

02/28/06
John Lott  University of Michigan
Longtime behavior of typeIII Ricci flow solutions

02/28/06
Nicola Garofalo  Purdue Univ.
Minimal surfaces in subRiemannian geometry and the Bernstein problem
AbstractIn any subRiemannian group one can introduce a LeviCivita connection adapted to the socalled horizontal subbundle. This can be used to introduce a horizontal connection on a codimension one submanifold and obtain, among other things, a notion of mean curvature. A smooth hypersurface is called Hminimal if its horizontal mean curvature vanishes everywhere. It is natural to pose an analogue of the classical Bernstein problem, starting with the basic prototype of the Heisenberg group. I will discuss a conjecture of Bernstein type in this setting, and show that, despite the fact that Hminimal surfaces are critical points of an appropriate area functional (the Hperimeter), a new phenomenon occurs: there exists smooth critical points of the Hperimeter which are not local minimizers. This is in striking discrepancy with the classical case. I will also discuss in detail how this pathological minimal surfaces suggest an attack to the Bernstein problem, and some interesting open questions.

02/28/06
A.M. Garsia  UCSD
MacMahon partition analysis and a remarkable diophantine system
AbstractPartition Analysis is a term coined by MacMahon for its algorithmic approach to the construction of explicit solutions of diophantine systems. This algorithm has recently been implemented in MAPLE and MATHEMATICA. After a brief introduction to the algorithm we show its power and limitations in its application to a remarkable diophantine system. Our task is to enumerate the number of ways of assigning weights to the vertices of the Hypercube so that all the maximal faces carry the same weight. Some solutions to this problem are given and its intimate connection to Representation Theory will be also be discussed.

02/28/06
Xiaojun Huang  Rutgers Univ
Isolated complex analytic singularities and CR geometry
Mar

03/02/06
Jason Schweinsberg  UCSD
The looperased random walk and the uniform spanning tree on the fourdimensional discrete torus
AbstractLet x and y be points chosen uniformly at random
from the fourdimensional discrete torus with side length n.
We show that the length of the looperased random walk from
$x$ to $y$ is of order $n^2 (log n)^{1/6},$ resolving a conjecture
of Benjamini and Kozma. We also show that the scaling limit
of the uniform spanning tree on the fourdimensional discrete
torus is the Brownian continuum random tree of Aldous. Our
proofs use the techniques developed by Peres and Revelle,
who studied the scaling limits of the uniform spanning tree
on a large class of finite graphs that includes the
ddimensional discrete torus for $d >= 5$, in combination with
results of Lawler concerning intersections of
fourdimensional random walks. 
03/02/06
Tom Voden  UCSD Graduate Student
The GolodShafarevich Theorem
AbstractThe GolodShafarevich theorem gives a sufficient condition for an associative algebra presented by generators and relators to be infinite dimensional. Immediately upon arrival in 1964, this result had important consequences in various fields of mathematics. Golod used the theorem to construct a finitely generated, infinite, torsion groupthe first counterexample to the general Burnside problem. Shafarevich used it to construct the first infinite tower of class fields. The primary topics of this talk will be the theorem, the Burnside problem and Golod's example.

03/02/06
Wee Teck Gan  UCSD
Nonabelian CFT: introduction to the Langlands program
AbstractThis is an expository talk. I will describe how the local Langlands program gives a generalization of local class field theory to nonabelian extensions. If time permits, I'll describe the role played by nonabelian LubinTate theory.

03/02/06
D. Khavison  Mathematics, Arkansas; NSF
Recent results on valence of certain harmonic mappings and applications to microlensing

03/07/06
Mark Gross  UCSD
$T$duality

03/07/06
John Shopple  UCSD Graduate Student
Moving interface problems and the level set method

03/07/06
Aaron Wong  UCSD Graduate Student
The Gaps Between the Zeros of Zeta(s)
AbstractAssuming the Riemann Hypothesis, one may ask questions about the gaps
between the ordinates of the nontrivial zeros of the Riemann zeta
function. In particular, are the zeros expected to be "close" to each
other often? I will present two analytic techniques that address this
question.Don't eat lunch before the talk, since there will be free bagels!

03/07/06
Jim Haglund  U. of Pennsylvania & Ohio State University
From diagonal harmonics to MacDonald Polynomials

03/08/06
Jason Schweinsberg  UCSD
Mutation patterns in populations with large family sizes
AbstractSuppose we take a sample of size $n$ from a population
and follow the ancestral lines backwards in time until
the most recent common ancestor. Under standard
assumptions, this process can be approximated by Kingman's
coalescent, in which two lineages merge at rate one.
Mutations that have occurred since the time of the most
recent common ancestor will lead to segregating sites,
which are positions in the DNA at which not all
individuals in the sample are the same. If we denote
by $M_k$ the number of mutations that affect k
individuals in the sample, then the sequence
$M_1, ... , M_{n1}$, is called the site frequency
spectrum. We will explain how the site frequency spectrum
would be affected if some individuals have large numbers
of offspring, so that the coalescent process that
describes the genealogy of the population can have
multiple mergers of ancestral lines. This model may
be realistic for certain marine species. This is joint
work with Julien Berestycki and Nathanael Berestycki. 
03/08/06
Dr. Detang Zhou  UCI
Stable constant mean curvature hypersurfaces and applications
AbstractFirst I will give some structure
theorems and nonexistences of complete noncompact weakly stable constant mean curvature hypersurfaces. Then I will explain how stablitiy appears in some geometric problems.

03/09/06
Gady Kozma  Institute for Advanced Study, Princeton
The scaling limit of the looperased random walk in three dimensions
AbstractWe shall describe looperased random walk and
some of its properties and connections to other natural
probabilistic objects. We shall sketch a proof that it
has a scaling limit in three dimensions. 
03/09/06
Henning Hohnhold  Graduate Student, UCSD
We will RiemannRoch you
AbstractThe RiemannRoch theorem, proved in the middle of the nineteenth century, is one of the early highlights of complex geometry. The goal of the talk is to explain its statement, the somewhat enigmatic RiemannRoch formula, and to show, by giving examples and applications, why it is so central to the theory of Riemann surfaces and to algebraic geometry.
We will begin by explaining what a Riemann surface (a.k.a. complex manifold of dimension 1) is and how Riemann came up with the idea. We then move on to see what kinds of functions can naturally be found on a Riemann surface. The RiemannRoch formula makes a statement about the number of linearly independent functions on a (compact) Riemann surface with certain properties. While this sounds somewhat dry, the implications of the formula are quite exciting; we will see several applications to the classification of Riemann surfaces and will also use the theorem to relate Riemann surfaces to algebraic geometry. I will only assume some basic complex analysis and will try to explain
everything else. 
03/09/06
Joseph Traub  Computer Science Department, Columbia University
Qubit complexity of continuous problems
AbstractFor the foreseeable future the number of qubits will be a crucial computational
resource. We show how to lower bound the qubit complexity using the classical
query complexity.We use this result to present a simple problem which cannot be solved on a
quantum computer in the standard quantum setting with deterministic queries
but can be solved on a classical computer using randomized queries (Monte Carlo). This suggests introducing a quantum setting with randomized queries.We apply this setting to high dimensional integration and to path integration.
In particular, there is an exponential improvement in the qubit complexity of
path integration using the quantum setting with randomized queries.We end by discussing future directions and where to learn more.

03/09/06
Jason Colwell  UCSD
The Conjecture of Birch and SwinnertonDyer for elliptic curves with complex multiplication by a nonmaximal order
AbstractGross has refined the BirchSwinnertonDyer Conjecture in the case of an elliptic curve with complex multiplication by a nonmaximal order.
Gross' Conjecture has been reformulated in the language of derived categories and determinants of perfect complexes. Burns and Flach have realized that this immediately leads to a refinement of Gross' Conjecture. The conjecture is now expressed as a statement concerning a generator of the image of a map of 1dimensional modules. This conjecture is proved by a construction which shows it to follow from the Explicit Reciprocity Law and Rubin's Main Conjecture. 
03/10/06
Nam Lee  UCSD Graduate Student
Advancement to candidacy

03/13/06
Ronald G. Douglas  Texas A&M
Models for commuting isometries
AbstractThe von NeumannWold model for isometries on Hilbert space
has been important in many parts of mathematics from prediction theory
for stationary stochastic processes to the function theory of Hardy
spaces. Part of its power lies in its relative simplicity.Various researchers have considered the structure of commuting ntuples
of isometries including BergerCoburnLebow in the mid seventies. In
this talk, I'll discuss some recent joint work with Bercovici and Foias
in which one attempts to obtain more detailed descriptions of ntuples
in special cases. The results relate to canonical models and invariant
subspaces. 
03/14/06
Justin Roberts  UCSD
String interactions

03/14/06
Philip E. Gill  UCSD Department of Mathematics
Iterative solvers for PDE constrained optimization

03/14/06
Jake Wildstrom  UCSD Graduate Student
Cost thresholds for dynamic resource location
AbstractThe traditional dynamic resource location problem attempts to
minimize the cost of servicing a number of sequential requests,
given foreknowledge of a limited number of requests. One artificial
constraint of this problem is the presumption that resource
relocation and remote servicing of requests have identical costs.
Parameterizing the ratio of relocation cost to service cost leads to
two extreme behaviors in terms of dynamic optimizability. The
threshold at which a specific graph transitions between these
behaviors reveals certain characteristics of the graph's
decomposability into cycles. 
03/14/06
Bertram Kostant  Massachusetts Institute of Technology
Cent($U(n)$), the cascade of orthogonal roots and the generalized exponents.
AbstractLet $\frak{b}$ be a Borel subalgebra of a
complex semisimple Lie algebra $\frak{g}$. Let
$\frak{h}\subset\frak{b}$ \ be a Cartan subalgebra and let
$\frak{n}$ be the nilradical of $\frak{b}$. Let
$\Delta_{+}\subset\frak{h}^{\ast}$ be the set of positive roots
corresponding to $\frak{b}$. Then there is a distinguished maximal
set $B\subset\Delta_{+}$ of strongly orthogonal roots called the
cascade of orthogonal roots. The center, Cent($U(\frak{n})$), of
the enveloping algebra of $\frak{n}$ is a module for
$H=\exp\frak{h}$.
\noindent{\bf Theorem.} Cent($U(\frak{n})$) {\it is a polynomial
ring in }$m$ {\it generators} $u_{1},...,u_{m}$ {\it where} $m=$
card$B $. {\it Furthermore, all} $H${\it weights in}
Cent($U(\frak{n})$) {\it are of multiplicity} $1$ {\it and the}
$u_{i}${\it can be chosen so that the weight vectors are all the
monomials} $u_{1}^{k_{1}}\cdots u_{m}^{k_{m}}$. {\it The} $u_{i}$
{\it are characterized up to scalar multiple as the weight vectors
which are also irreducible polynomials}.
We also have
\noindent{\bf Theorem.} {\it The set of weights in} Theorem 1 {\it
is exactly the set} $D_{cas}$ {\it of elements in the semigroup
generated by the linearly independent set} $B$ {\it which are also
dominant.}
The construction of the weight vectors can be given in terms of
matrix units for $U(\frak{g})$. Applications of the results are
given to the determination if minimal generalized exponents and
the proof that a Borel subgroup of $G$ has open coadjoint orbits
when $m=rank{\frak g}$. 
03/14/06
Dr. Guoce Xin  University of Kentucky
A short proof of the ZeilbergerBressoud qDyson theorem
AbstractAndrews' qDyson conjecture asserts that the constant term of a
certain Laurent polynomial is a product of simple factors. It was
proposed by Andrews in 1975 and proved by Zeilberger and Bressoud in
1985. We give the second proof of the theorem by using partial
fractions and iterated Laurent series. The underlying idea is that two
polynomials of degree n agreeing at n+1 points are identical. This is
a joint work with Ira Gessel. 
03/15/06
Tara Javidi  UCSD ECE Department
Cooperative and noncooperative resource sharing: delay prospective
AbstractFrom multidescription/multipath routing to content distribution in
P2P networks to community networking, many forms of resource sharing
have, recently, been proposed to improve the network performance.
From the perspective of any one user and when ignoring the
interaction among users, all such schemes reduce to various forms of
providing parallelism. In this talk, we argue that focusing on
parallelism is by no means sufficient. When considering more users in
the system, these strategies provide forms of statistical
multiplexing advantage, while possibly increasing the network load
via increased redundancy, overhead increase, and even contention
inefficiency.In this talk, we illustrate the issue of resource sharing in the
above context via a multiqueue multiserver problem. Even though
such model might not be perfectly realistic, it does capture some of
the above tradeoffs. We use this model to provide analytical results
in a special case of homogeneous users and servers. Furthermore, we
prove the robustness of a certain locally optimal strategy to non
cooperation in a Nash equilibrium/strategy context. 
03/15/06
Reiner Schaetzle  University of Tuebingen
Estimation of the conformal factor under bounded Willmore energy modulo the Moebius group

03/16/06
Håkan Nordgren  UCSD Graduate Student
Wellposedness of the motion of a selfgravitating Incompressible fluid with free surface boundary

03/16/06
Gabor Pete  UC Berkeley, graduate student
Corner percolation and the square root of 17
AbstractWe consider a dependent bond percolation model on ${\bf Z}^2$,
introduced by Balint Toth, in which every edge is present
with probability 1/2, and each vertex has exactly two incident
edges, perpendicular to each other. We prove that all components
are finite cycles almost surely, but the expected diameter of
the cycle containing the origin is infinite. Moreover, we derive
the following critical exponents: the tail probability
$P($diameter of the cycle of the origin $ > n) \approx n^{\gamma},$
and the expectation $E($length of a cycle conditioned on
having diameter $n) \approx n^\delta.$ We show that
$\gamma=(5\sqrt{17})/4=0.219...$ and $\delta=(\sqrt{17}+1)/4=1.28...$
The relation $\gamma+\delta=3/2$ corresponds to the fact that the
scaling limit of the natural height function in the model is the
Additive Brownian Motion, whose level sets have Hausdorff dimension
3/2. The value of $\delta$ comes from the solution of a singular
sixth order ODE. 
03/16/06
Gregg Musiker  UCSD Graduate Student
From alphas to zetas and two kinds of fields
AbstractWhen a mathematician is faced with a sequence of numbers that one wants to understand, one typically packages them together as a generating function.
For example, if one has an algebraic variety $V$ over a finite field $F_q$, a geometric object defined as the zero locus of a set of equations, one can consider the sequence of cardinalities $N_k$ over higher field extensions $F_{q^k}$. One particular generating function for the $\{N_k\}$, known as the Zeta Function of variety $V$, has lots of remarkable properties. These were conjectured by Weil in the 1940's and proven by Deligne in 1973, work which helped him earn a Fields Medal. In this talk I will give a snapshot of this work, for the case of curves, where the theory is already very rich.

03/16/06
David Meyer  UCSD
Quantum senderreceiver games

03/16/06
Boon P. Yeap  UCSD
On the mock theta functions
AbstractThe mock theta functions were first stated by S.~Ramanujan in his last letter to G.~H.~Hardy in 1920. In a nutshell, these are functions that mimic the behavior of theta functions in some sense, but have asymptotic behaviors that are unlike those of ordinary theta functions. In particular, they are not modular. In this talk, we will provide an overview of the historical development of this subject and discuss works by G.~N.~Watson, G.~Andrews and most recently, K.~Ono.

03/17/06

03/20/06
Eckhard Meinrenken  University of Toronto
Twisted Khomology and Lie groups
AbstractThe twisted Ktheory of a space was introduced by DonovanKaroubi (1970)
for torsion twistings and by Rosenberg (1989) in general. Motivated by
applications in mathematical physics, the theory has attracted a lot of
interest in recent years. In this talk I will review some of the
foundations of twisted Khomology, and outline a new proof of the
FreedHopkinsTeleman theorem describing the twisted equivariant
Khomology of simple, simply connected compact Lie groups. 
03/21/06
Sebastian Cioaba  UCSD
Eigenvalues and factors in graphs
AbstractA factor of a graph G is a spanning subgraph of G. A kfactor is a spanning kregular subgraph. We describe some eigenvalue conditions that imply the existence of a 1factor in a graph and discuss some open
problems. 
03/22/06
Irene Gijbels  Katholieke Universiteit van Leuven, Belgium
Local polynomial fitting and smooth and nonsmooth curve estimation
AbstractIn regression analysis the interest is in exploring the relationship between a response
variable and some explanatory variable(s). Without knowledge about an appropriate
parametric relationship between the variables, one often relies on nonparametric methods.
Local polynomial fitting leads to estimators of the regression function and its derivatives
up to a certain order. We very briefly discuss the basic properties of these estimators
when the regression function is smooth. In particular we pay attention to the behaviour
of the estimators in boundary regions. This local modelling technique is applicable in a
variety of applications.
When the regression function is nonsmooth, e.g. discontinuous, the estimates are
inconsistent in the nonsmooth points. We briefly discuss some available nonparametric
methods. We discuss, among others, a nonparametric estimation method that searches
for compromising between the properties of jumppreserving and smoothing. The method
chooses, in each point, among three estimates: a local linear estimate using only data to
the left of the point, a local linear estimate based on only data to the right, and a local
linear estimate using data in a twosided neighborhood around the point. The datadriven
choice among the three estimates is made by comparing, in some appropriate way, the
weighted residual mean squares of the three fits. This results into a consistent estimate.
We establish asymptotic properties of the estimator, and illustrate its performance via
simulations and examples. 
03/23/06
Hongxin Guo  UCSD Graduate Student
Harnack inequality and spacetime geometry in Ricci flow and mean

03/24/06
Irene Gijbels  Katholieke Universiteit van Leuven, Belgium
Curves and surfaces: changepoints, edgedetection and boundaries
AbstractRegression surfaces can also exhibit nonsmooth or irregular features. To recover e.g.
a nonsmooth behaviour one should avoid using a nonparametric technique that smooths
away this particular behaviour. We discuss how to estimate via local linear fitting a non
smooth regression surface, in case of fixed or random design. The proposed procedure can
also be used for image denoising. Applications to surface estimation and image denoising
are shown.
Sometimes the interest is in estimating the location of the points/curves at which e.g.
a function is nonsmooth, say discontinuous. This relates to the problem of changepoint
estimation or edge detection (or boundary estimation). We discuss how one can use the
previously discussed techniques to some other problems, such as estimating nonsmooth
densities.
These lectures are partly based on joint work with Alexandre Lambert and Peihua Qiu.
Apr

04/04/06
Nitu Kitchloo  UCSD
Introduction to the Seminar on the MadsenWeiss proof of Mumford's conjecture
AbstractThis is the introductory meeting for this quarter's topology learning seminar. The subject of the seminar will be introduced and the talks will be distributed.
The goal of the seminar is to study the MadsenWeiss proof of Mumford's conjecture concerning the cohomology of the stable mapping class group. Knowing the group cohomology of this group means to know the cohomology of the stable moduli space of Riemann surfaces. While Mumford's conjecture deals with the geometry of the moduli space of surfaces, the methods of the proof given by Madsen and Weiss are mostly homotopy theoretic. The proof is a beautiful example for how the rather abstract machinery of homotopy theory can be used to address a concrete geometric question. Also, we think that the techniques used in the proof are interesting by themselves and thus worth studying.
The first couple of talks introduce the main players: moduli spaces of Riemann surfaces, mapping class groups, and Mumford's conjecture. Then we turn some fundamental concepts of homotopy theory. This is necessary in order to understand Ulrike Tillmann's work that identifies the computation of the cohomology of the stable mapping class group as a problem of stable homotopy theory. Based on her work, Madsen formulated a conjecture in the world of stable homotopy theory that implies Mumford's conjecture. Finally, the last third of the seminar will be concerned with giving/outlining the proof of Madsen's conjecture by Madsen and Weiss.

04/04/06
Steve Butler  UCSD
Induceduniversal graphs for graphs with bounded maximum degree
AbstractGiven a family $\digamma$ of graphs, a graph $U$ is universal for $\bf{F}$ if every graph in $\bf{F}$ is a subgraph of $U$. We say that $U$ is induceduniversal for $\bf {F}$ if every graph in $\bf{F}$ is an {\it induced} subgraph of $U$. Recently Alon and Capalbo gave a construction for a universal graph for the family $\bf{F}$ of graphs on $n$ vertices with bounded degree which is within a constant factor of the best possible.
We give a construction for an induceduniversal graph for the family of graphs on $n$ vertices with degree at most $r$, which has $Cn^{\lfloor (r+1)/2\rfloor}$ vertices and $Dn^{2\lfloor (r+1)/2\rfloor 1}$ edges, where $C$ and $D$ are constants depending only on $r$. This construction is nearly optimal when $r$ is even in that such an induceduniversal graph must have at least $cn^{r/2}$ vertices for some $c$ depending only on $r$.
Our construction is explicit in that no probabilistic tools are needed to show that the graph exists or that a given graph is induceduniversal. We extend our construction to multigraphs and directed graphs with bounded degree, and also graphs with bounded arboricity.

04/06/06
Dr. Manuel Tiglio  Louisiana State University
Evolving Einstein's equations through a multiblock approach

04/06/06
Maia Averett  UCSD Graduate Student
Classification of manifolds and the Poincar\'e conjecture
AbstractManifolds arise naturally in areas of mathematics varying from topology to
geometry to analysis, and are important in applications to many fields
outside of math (e.g. physics). In this talk, I'll begin by explaining
what a manfiold is. Then I'll talk a bit about the classification of
manifolds in small dimensions. After that, I'll state the Poincar\'e
conjecture and explain how it is proved (for $n \geq 6$) using the
$h$cobordism theorem. This talk should be accessible to anyone who can
see all the pretty pictures on the board. 
04/06/06
Niall O'Murchadha  Physics, National University of Ireland
The LiuYau quasilocal mass in spherical gravity
AbstractLiu and Yau recently introduced a new quasilocal mass in GR.
It is a function on a 2surface in a 4manifold. They showed that it was
positive. It is the maximum of the BrownYork energy over all 3slicings
containing the given 2surface. The LiuYau mass has unpleasant features, it
looks much more like an energy than a mass. In particular it is unboundedly
large on any solution of the Einstein equations, including Minkowski space!
In spherical symmetry, however, it has a natural physical interpretation.
Consider a regular spherical 3slice filling the interior of the given
2slice. Take the integral of the energy density of the interior. The
LiuYau mass of the boundary is the minimum of this total energy content
over all regular fillings. No other quasilocal mass gives such interior
information. 
04/10/06
Cayley Pendergrass  UCSD
Just infinite algebras
AbstractMuch is known about simple rings and these results are often extended to direct sums of simple rings or to a ring, R, whose factor ring R/I is simple for a suitable ideal I. An alternative approach to extending these results is to loosen the condition simplicity puts on ideals of a ring. Just infinite dimensional algebras are those which, in some sense, contain only few ideals.
I'll start by defining just infinite more precisely. My talk will summarize known results for and examples of just infinite rings. I'll also discuss the results of my dissertation a few properties of just infinite algebras and an example of broadening theorems about simple rings to theorems about just infinite rings.

04/11/06
Hermann Render  Universidad de La Rioja
Fischer pairs and polynomial solutions for the Dirichlet problem
AbstractIt is wellknown that an ellipsoid $G$ has the following property (E) and
(E* resp.):
for any polynomial $f$ (entire function resp.), the
solution of the Dirichlet problem
for the restriction of $f $
to the boundary of the domain $G$, has an polynomial (entire resp.)
extension.In this talk we give a positive answer to the following question of
D. Khavinson and H.S. Shapiro for a large class of domains:
the ellipsoids are the only domains satsifying (E) or (E*) in this class.
The results follow from a more general theorem in the context of socalled
Fischer pairs.Another interesting consequence of our methods is the following result:
if a polyharmonic entire function of order $ k$ vanishes on $k$
distinct ellipsoids then it vanishes
everywhere. This answers a question of W.K.
Hayman. 
04/11/06
Olvi Mangasarian  UCSD, Department of Mathematics
Absolute value equation solution via concave minimization
AbstractThe NPhard absolute value equation (AVE), Ax$x$=b, where
A is an nbyn real matrix and b is an nby1 real vector is solved by a succession of linear programs. The linear programs arise from a reformulation of the AVE as the minimization of a piecewiselinear concave function on a polyhedral set and solving the latter by
successive linearization. A simple MATLAB implementation
of the successive linearization algorithm solved 100 consecutively
generated 1000dimensional random instances of the AVE with only
five violated equations out of a total of 100,000 equations.
Paper is available at: ftp://ftp.cs.wisc.edu/pub/dmi/techreports/0602.pdf 
04/11/06
Jeff Remmel  UCSD
Generating functions for permutations whose descent set contains a prescribed set
AbstractThere are a number of papers in the literature that have proved generating functions for permutations and signed permutations according to the number of descents. We shall show how to generalize many of these type of results to get generating functions for permutations and signed permutations whose descent set contains a prespecified set S according to the number of descents. Our results will generalize previous results of Carlitz, Stanley, Foata, Han, and others.

04/13/06
Toufic Suidan  UC Santa Cruz
Random matrix central limit theorems for nonintersecting random walks
AbstractThis talk will focus on Gaussian Unitary Ensemble central limit
theorems for nonintersecting random walk with general increments. In
certain scaling regimes these walks exhibit Tracy$$Widom and Sine kernel
fluctuations of random matrix theory. This is joint work with Jinho Baik. 
04/13/06
Luis Lehner  Physics, Louisiana State University
Many directions to a black hole
AbstractBlack holes are intimately tied to the strongest gravitational fields
which are in turn responsible for espectacular phenomena both observed
and conjectured. It is in their surrounding where Einstein's theory display
many of its profund implications and present us with a challenge to
understand them. This talk will discuss a few examples &&in 4 and larger
dimensions&& where black holes play a key role and the efforts to unravel
their physical consequences. 
04/13/06
Ross Richardson  UCSD, Graduate Student
Graphs & probability a perfect matching
AbstractErd\H{o}s in 1947 provided a bound on the socalled diagonal Ramsey numbers with a startling
and elegant proof drawn from probability. In 1960 Erd\H{o}s and Renyi published a landmark paper
introducing the notion of a random graph and exploring the rather quirky nature of these objects.
Slowly at first, and now with increasing speed, the probabilistic method in combinatorics has grown from these beginnings into a large and vibrant field with deep connections to many fundamental questions in mathematics and computer science.In this talk, we will give a taste of probabilistic methods, using the subject of random graphs as a foil.
We'll give a whirlwind tour of the properties of random graphs, their applications, and a look at some very large graphs.
This talk should be accessible to anyone with a basic understanding of undergraduate probability, and of interest to all. 
04/13/06
Marvin Minei  University of California Irvine
Block diagonalization method for covering graphs

04/13/06
Qiang Du  Penn State University, Mathematics
Phase field modeling and simulation of biomembranes
AbstractLipid membranes are interesting subjects of biological
studies. In this talk, we report some recent works done by
the Penn State group on the phase field modeling and simulations
of the vesicle membrane deformation under elastic bending
energy and the interaction with background fluid flows.
Connections are made to the well$$known Willmore problem in
differential geometry and the Gamma convergence of nonlinear
functionals in the calculus of variation. We also discuss
how to effectively retrieve topological information within
the phase field framework which may have broad applications 
04/17/06
Gerd Laures  University of Bochum, Germany
The signature is an Einfinity ring mapThe signature can be regarded as a map from oriented topological bordism
AbstractThe signature can be regarded as a map from oriented topological bordism
to symmetric L theory. We investigate its multiplicative properties and
show that there is simplicial model for the signature which is a map of
E symmetric ring spectra. The construction generalizes to a large class
of theories which are bordismlike in a suitable sense. The work is
joint with James McClure. 
04/17/06

04/18/06
Maia Averett  UCSD, Graduate Student
Some nice homotopy theory for MadsenWeiss
AbstractThis talk will build on Nitu$^\prime$'s talk to give some of the homotopy theory used in the MadsenWeiss paper about the cohomology of the stable mapping class group $\Gamma_{\infty, 1+1}$. I will tell you about Quillen's plus construction and about operads as a recognition principle for infinite loop spaces, as well as at least hint at how they will be used in Tillmann's proof that ${\bf Z}\times{B}\Gamma_{\infty,1+1}^+$ is an infinite loop space.

04/18/06
Jiri Lebl  UCSD Graduate Student
Almost minimal CR submanifolds
AbstractIn this talk we investigate what kind of CR manifolds have the following
local uniqueness property: If two holomorphic functions have the same
modulus on the manifold they are equal (up to a constant) in the whole
space. Minimal generic submanifolds have this property.We will investigate the nonminimal case and we will give a sufficient
geometric property which we will call almost minimality. This condition is
related to the manifold being contained in a possibly singular real analytic
Leviflat hypersurface. 
04/18/06
Daniel Robinson  UCSD, Graduate Student
Complications of a positive semidefinite reduced Hessian for augmented Lagrangian methods

04/19/06
Emanuel Todorov  Cognitive Science, UCSD
Stochastic optimal control models of biological movement

04/20/06
JeanFrancois Delmas  Ecole Nationale des Ponts et Chaussees
Fragmentation of the continuous random tree
AbstractWe consider the height process of a Levy process with no negative
jumps, and its associated continuous tree representation. Using
Levy snake tools developed by Duquesne and Le Gall, we construct a fragmentation process (at node and at height), which in the stable case corresponds to the selfsimilar fragmentation (at node and at height) described by Miermont. For the general fragmentation process we compute a family of dislocation measures. We compute also the asymptotic for the number of small fragments at time t. In the case of the fragmentation at node, this limit is increasing in t and discontinuous. In the alphastable case the fragmentation is selfsimilar and the results are close (but still different) to those obtained by Bertoin for general selfsimilar fragmentations under a strong additional assumtion which is not fulfilled here. 
04/20/06
Caleb Emmons  UCSD, Graduate Student
EureQa! an introduction to the padics
AbstractWhether your usual number system is broken down, or simply in need of an Eulchange, you will find plenty of absolute value in this talk. I'll remove that annoying ring from your definition of prime and rollover your infinite odometer. Once your number system is complete, we'll travel localtoglobal, and visit Hensel $&$ Gertrud in a magical 20Dreamland where a series converges if and only if the the terms tend to zero.
This talk should be much more accessible than its abstract. I encourage you to attend, if only for the grapes.

04/20/06
YiKai Liu  UCSD, Graduate Student
Gibbs states and the consistency of local density matrices

04/20/06
Murray Rosenblatt  UCSD Mathematics
Some topics on time series and spectral analysis

04/20/06
Jens Funke  New Mexico State University
Traces of CM values of modular functions
AbstractThe values of the famous jinvariant at quadratic
irrationalities in the upper half plane are known as singular moduli
and are of particular interest in number theory.
Recently, Zagier realized the generating series of the traces of the
singular moduli as a classical meromorphic modular form of weight 3/2.
In this talk, we will discuss this and related results and give a
generalization to modular functions on Riemann surfaces of arbitrary
genus. Furthermore, we realize a certain generating series of arithmetic
intersection numbers and Faltings heights as the derivative of Zagier's
Eisenstein series of weight 3/2. This recovers a result of Kudla,
Rapoport and Yang.This is joint work with Jan Bruinier.

04/24/06
Tom Voden  UCSD
Amenable algebras
AbstractWe will begin with some motivation for the study of amenability
for affine associative algebras, partially based on the better established
theory of amenable groups. Following a paper of G. Elek, we will give three equivalent definitions of amenability for algebras and prove some of the basic algebraic properties of amenable algebras. 
04/25/06
Ana Iontcheva  UCSD, Graduate Student
Multigrid methods for the solution of the obstacle problem

04/25/06
Lauren Williams  Harvard University
Tableaux combinatorics for the asymmetric exclusion process
AbstractThe partially asymmetric exclusion process (PASEP) is an important model
from statistical mechanics which describes a system of interacting
particles hopping left and right on a onedimensional lattice of n sites.
Particles may enter the system from the left with probability alpha, and
exit from the right with probability beta. The model is partially
asymmetric in the sense that the probability of hopping left is q times
the probability of hopping right. In this talk, we will describe a
surprising connection between the PASEP model and the combinatorics of
certain 01 tableaux called permutation tableaux. Namely, we prove that in
the long time limit, the probability that the PASEP is in a particular
configuration tau is a generating function for permutation tableaux of
shape lambda(tau), enumerated according to three statistics.The tableaux in question come from total positivity on the Grassmannian
(via work of Postnikov). 
04/25/06
Christophe Hohlweg  York Univeristy and Fields Insititute
Realizations of the associahedron and cyclohedron
AbstractAbstract: We describe different realizations with integer coordinates for
the associahedron (i.e., the Stasheff polytope) and for the cyclohedron
(i.e., the BottTaubes polytope), and compare them to the permutahedra of
type A and B, respectively.The coordinates are integral and obtained by an algorithm which uses an oriented Coxeter graph of type A or B respectively as the only input and which
specializes to a procedure presented by J.L. Loday for a certain
orientation of the Coxeter graph of An.The described realizations have cambrian fans of type A and B as normal
fans. This settles a conjecture of N. Reading for cambrian fans of these
types.This is a joint work with Carsten Lange

04/26/06
Yoav Freund  UCSD, Computer Science and Electrical Engineering
Boosting and Brownian motion
AbstractThe computational task that lies in the core of many machine learning problems is the minimization of a cost function called the training error. This problem is frequently solved by local search algorithms such as gradient descent. The training error can usually be expressed as a sum over many terms, each corresponding to the loss of the model on a single training example. We show that the iteratively minimizing a cost function of this form by local search is closely related to the following game: Imagine you are a shepherd in charge of a large herd of sheep and your goal is to concentrate the sheep in a particular small area by nightfall. Your influence on the sheep movements is represented by vectors which define the direction in which you want each sheep to move. The lengths of the vectors correspond to the fraction of your ''energy'' that you spend on moving the particular sheep, and these lengths sum to one. The sheep then have to respond by moving in a way that has a slight correlation with the influence direction on average. We characterize the min/max solution to this game and show that by taking the appropriate smallstep/continuoustime limit, this solution can be characterized by a stochastic differential equation. By solving this differential equation we rederive some known boosting as well as design some new ones with desirable properties.

04/27/06
Pat Fitzsimmons  UCSD
Recurrent extensions of selfsimilar Markov processes
AbstractLet $X=(X_t)_{t\ge 0}$ be a selfsimilar Markov process with values in the
nonnegative half line, such that the state $0$ is a trap. We present a
necessary and sufficient condition for the existence of a selfsimilar
recurrent extension of $X$ that leaves $0$ continuously. This condition is
expressed in terms of the L\'evy process associated with $X$ by the Lamperti transformation. 
04/27/06
Julius Borcea  Department of Mathematics, Stockholm University
Classification of hyperbolicity and stability preservers
AbstractClassification of hyperbolicity and stability
preservers
Julius Borcea
Department of Mathematics, Stockholm University, SE106 91, Stockholm, Sweden
julius@math.su.se
A linear operator T on C[z] is called hyperbolicitypreserving or an HPO for short
if T(P) is hyperbolic whenever P 2 C[z] is hyperbolic, i.e., it has all real zeros.
One of the main challenges in the theory of univariate complex polynomials is to
describe the monoid AHP of all HPOs. This outstanding open problem goes back
to P´olyaSchur’s wellknown characterization of multiplier sequences of the first
kind, that is, HPOs which are diagonal in the standard monomial basis of C[z].
P´olyaSchur’s 1914 result generated a vast literature on this subject and related
topics at the interface between analysis, operator theory and algebra but so far only
partial results under rather restrictive conditions have been obtained. In this talk
I will report on the progress towards a complete solution of both this problem and
its analog for (Hurwitz) stable polynomials as well as their multivariate versions
made in an ongoing series of papers jointly with Petter Br¨and´en and Boris Shapiro.
The concepts of hyperbolicity and stability have natural multivariate extensions:
a polynomial f 2 C[z1, . . . , zn] is stable if f(z1, . . . , zn) 6= 0 whenever
=(zj) > 0, 1 j n. A stable polynomial with real coefficients is called real
stable. Hence a univariate real stable polynomial is hyperbolic in the above sense.
We generalize the notion of multiplier sequences to multivariate polynomials and
give a complete characterization of higherdimensional multiplier sequences. We
then classify all operators in the Weyl algebra An of differential operators that
preserve stability and show that real stability preservers in n variables are generated
by real stable polynomials in 2n variables via the symbol map. One of
the key ingredients in the proofs is a natural duality theorem for the FischerFock
spa 
04/27/06
Matthew Cecil  UCSD. Graduate Student
The Feynman path integral isn't fine, man
AbstractThe Feynman path integral interprets quantum amplitudes as sums over
all possible histories which are "weighted'' by the classical
action. In interpreting that statement, I'll review some classical
and quantum mechanics, and then convince you why the Feynman path
integral is reasonable. I'll then convince you that everything I
just said is mathematical nonsense. I'll also try to indicate some
nice math that has come out of attempting to make sense of this over
the past fifty years. I'll try to make the lecture as
selfcontained as possible, but familiarity with basic concepts of
classical and quantum mechanics would be helpful. \textbf{Warning}:
This talk contains lots of hand waving. 
04/27/06

04/27/06
Ameya Pitale  OhioState University
Lifting of cusp forms from \tilde{SL}_2 to GSpin(1,4)
AbstractWe construct liftings of cuspidal automorphic forms from the metaplectic group $\tilde{SL}_2$ to GSpin(1,4) using Maass Converse Theorem. In order to prove the nonvanishing of the lift, we derive Waldspurger's formula for Fourier coefficients of half integer weight Maass forms. We analyze the automorphic representation of the adelic spin group obtained from the lift and show that it is CAP to the SaitoKurokawa lift from $\tilde{SL}_2$ to GSp_4.

04/27/06
Lyle Noakes  School of Mathematics and Statistics, University of Western Australia
Linear Equations and Lie Quadratics
AbstractConsider an ordinary differential equation
dx/dt = x(t)B
for a function x(t) taking values in the space of 3x3 matrices, where B is a skewsymmetric 3x3 matrix affinely dependent on t.The theory of Lie quadratics and Riemannian cubics will be briefly reviewed, then applied to reveal some mathematical structure associated with this elementary linear ODE with (slightly) variable coefficients.
May

05/01/06
Yixiao Sun  UCSD, Economics
Spectral estimation with steep origin kernels without truncation

05/02/06
Jonatan Lenells  Lund University
Traveling wave solutions of the CamassaHolm equation
AbstractWe classify all weak traveling wave solutions of the CamassaHolm equation. It is proved that, in addition to smooth solutions, there are a multitude of traveling waves with singularities: peakons, cuspons, stumpons, and composite waves. The approach is also shown to apply to other related nonlinear wave equations.

05/02/06
Gabriel Nagy  UCSD
A Fluid Model for Black String Instability

05/03/06
J. F. Delmas  Ecole Nationale des Ponts et Chausses
Limit theorems for bifurcating Markov chains and application to the detection of cellular

05/03/06
Yixiao Sun  UCSD, Economics
Robust hypothesis testing with steep origin kernels without truncation

05/04/06
Elizabeth Meckes  Stanford University
Random Matrices and Infinitesimal Rotations
AbstractA theme in studying random matrices from the classical groups is that
Haardistributed matrices are close to Gaussian matrices in many ways; one
way is that linear functions of random orthogonal matrices are
asymptotically normally distributed (as the dimension approaches
infinity). I will discuss an infinitesimal version of Stein's method,
introduced by Stein in 1995, which can be used to obtain a rate of
convergence in this and related theorems. 
05/04/06
Jim Lin, Moderator  UCSD
Finding Academic Jobs
AbstractWe will have a discussion where panelists (Brian Miceli, grad student, Holly Hauschild, Warschawski Assistant Professor, Dan Rogalski, Assistant Professor) will share their personal experiences applying for jobs in academia. We will try to address the following questions.
What should you do before applying for a job? How many applications should I send out? How should I prepare for an interview? What if my spouse is also on the job market?
There will be a question and answer period following the discussion. 
05/04/06
Ludmil Zikatanov  Pennsylvania State University, Department of Mathematics
On the convergence of multilevel methods for elliptic problems
AbstractIn this talk we present results related to the convergence of multilevel/multigrid methods, applied to symmetric positive definite linear systems. The presentation is based on the subspace correction framework. The abstract theory is applied to examples coming from finite element discretizations of scalar elliptic partial differential equations and we show how some of the known estimates of the convergence rate of the multigrid method can be obtained in a straightforward fashion. We also discuss some relations between a multiplicative Schwarz method convergence and the condition number of the corresponding additive Schwarz preconditioner.

05/04/06
Ronald van Luijk  Mathematical Sciences Research Institute
Nontrivial Sha for curves of genus 2 arising from K3 surfaces
AbstractWhen doing a $2$descent on the Jacobian $J$ of a curve of genus $2$, one wishes to determine whether or not certain twists of $J$ have
rational points. As $J$ and its twists are unwieldy, we consider the
quotient $K$ of a twist by the involution induced by multiplication by
$1$ on $J$. We construct an explicit curve $C$ and corresponding twist
for which there is a BrauerManin obstruction to the existence of
rational points on $K$. This yields infinitely many twists of $C$ with
nontrivial TateShafarevich group. This is joint work with Adam Logan
at Waterloo. 
05/04/06
Florian Pop  University of Pennsylvania
On a theme from Grothendieck's Esquisse d'un Programme

05/05/06
Mark Colarusso  UCSD Graduate Student
The Orbit structure of a Group Constructed from the Classical Analogue of the GelfandZeit
AbstractLet $M(n)$ be the algebra (viewed as both a Lie and an associative algebra) of $n\times n$ matrices over $\mathbb{C}$. Let $P(n)$ denote the algebra of polynomials on $M(n)$. The associative commutator on the universal enveloping algebra induces a Poisson structure on $P(n)$. Let $J(n)$ be the commutative Poisson subalgebra of $P(n)$ generated by the invariants $P(m)^{Gl(m)} \text{ for } m=1,\cdots , n$. $J(n)$ gives rise to a commutative Lie algebra of vector fields on $M(n)$; $V=\{ \xi_{f} f\in J(n)\}$. These fields integrate to an action of a commutative, simply connected complex analytic group $A\simeq\mathbb{C} ^{\frac{(n1)n}{2}}$ on $M(n)$. Note that the dimension of this group is exactly half the dimension of the generic coadjoint orbits. Moreover, on the most generic orbits of $A$, the commutative Lie algebra $V$ is an algebra of symplectic vector fields of exactly half the dimension of the generic coadjoint orbits. We will discuss the orbit structure of the action of $A$ on $M(n)$. We will give a description of the work of KostantWallach in the most generic case in such a form that can be used to establish a formalism for dealing with less generic orbits.

05/06/06
Southern California Number Theory Day
AbstractInvited Speakers: Florian Pop (Univ. of Pennsylvania), Niranjan Ramachandran (Univ. of Maryland, College Park), Karl Rubin (Univ. of California, Irvine), Daqing Wan (Univ. of California, Irvine)

05/09/06
Ryan Szypowski  UCSD Graduate Student
Least squares formulations of Maxwell's equations

05/09/06
Alex Postnikov  Massachusetts Institute of Technology
Towards general Schur positivity and higher saturation
AbstractWe prove Schur positivity conjectures due to
FominFultonLiPoon and Okounkov and give several related results.
We show that Schur polynomials satisfy an interesting
Schurlogconcavity property. We discuss a "higher Klyachko
problem" about inequalities between LittlewoodRichardson
coefficients and formulate a general Schur positivity conjecture
involving certain mysterious convex polytopes. The talk is
based on a joint work with Thomas Lam and Pavlo Pylyavskyy. 
05/10/06
Caleb J. Emmons
Higher order integral Starktype conjectures

05/10/06
Murray Rosenblatt  UCSD, Mathematics
Some topics on time series and spectral analysis

05/10/06
Massimo Franceschetti  Electrical and Computer Engineering, UCSD
Random networks for communications
AbstractThe theory of random graphs is a useful mathematical tool to describe many real world systems. Recently, the mathematical and engineering communities have shown a renewed interest in the geometric version of these models. The nodes are geometrically distributed at random, and pairs of nodes are connected by edges, whose presence depends on the random positions of the nodes in the plane. One emerging application is in the field of wireless communications, where radio transmitting stations communicate by radiating electromagnetic waves.
In this talk, first I review several models of random networks for communication that are directly related to continuum percolation. Then, I show some recent results on connectivity of dependent percolation models of interference limited networks. Finally, I introduce the GuptaKumar concept of throughput scaling, and argue how this can be obtained as a natural consequence of the RSW theorem in percolation theory. 
05/11/06
Chris Tiee  UCSD Graduate Student
Index juggling and the GaussBonnet theorem
AbstractWhat gets a lot of geometers and topologists to play well together, besides bringing toroidal pastries to a gathering, is to talk about localtoglobal results. A central result of this kind for surfaces is the GaussBonnet Theorem, which relates the Gaussian curvature of a surface (a local thing) to its Euler characteristic (a global thing). Instead of going into a thoroughly modern definition of Euler characteristic, it is possible to instead relate the total curvature to another closely related concept for which we can draw lots of pretty pictures: singular points of vector fields and their indices.
In this talk, I'll introduce vector fields on surfaces, and the concept of index, via pretty pictures and decorated oranges. Then I'll talk about Gaussian curvature, as intuitively as I can (which will involve some, ahem... handwaving, and I'll try keep another kind of index juggling to a minimum!). Next up is the theorem and its proof via juggling indices. Finally, I'll give a little peek under the hood by mentioning triangulations of surfaces and how it relates to all this (with more handwaving).

05/11/06
Gabriela Putinar  University of California, Santa Barbara
Asymptotics for extremal moments and monodromy of complex singularities
AbstractWe present a finite algorithm for the computation of
any moment of the solution
(= the characteristic function of $\{p < 1\},$ with $p$ a polynomial,
assumed to have isolated (complex) critical points)
of the truncated extremal $n$dimensional $L$moment problem,
linearly in terms of a finite set of generating moments, in the context of dynamic
(i.e. timedependent) moments. We find that a system of such generators is provided by the moments
corresponding to a basis for ${\bf R}[x_1,...,x_n]/ I_{\nabla_p},$ where $I_{\nabla_p}$ is the gradient ideal
of $p.$
From this, based on a wellknown algebraic formalism for asymptotics of the Fourier transform,
we obtain computations for the coefficients of the asymptotic expansions for the moments
in terms of the generators and the monodromy of $p.$ 
05/11/06
Leif Jordan  University of California, Santa Cruz
Vertex Algebras Associated to Even Lattices

05/15/06
René Schoof  Universita' di Roma
Semistable abelian varieties over Q

05/16/06
John Shopple  UCSD Graduate Student
A finite element implementation of the level set method

05/16/06
Reid Andersen  UCSD Graduate student
Communities from seed sets
AbstractExpanding a seed set into a larger community is an important task
for various algorithms that run on the world wide web graph, including
topicsensitive search ranking, community finding, and topic
distillation. We present an algorithm that expands a seed set using
random walks and maximum flow computations. Our algorithm finds a
community with small conductance by adding nodes related to the
seed, while examining only a small neighborhood of the entire graph. 
05/16/06
René Schoof  Dipartimento di Matematica, Universita di Roma
Class Numbers of Cyclotomic Fields
AbstractEven since Kummer's 19th century attempts to prove Fermat's Last Theorem, cyclotomic fields have been at the center of attention. Indeed, in the second half of the 20th century the subject enjoyed a strong revival in the hands of Iwasawa.
Despite tremendous progress, many questions remain. Vandiver's conjecture is perhaps the most outstanding one. In this talk we discuss the problem of calculating class numbers of cyclotomic fields. This is a computational problems that, even using the fastest computers, has only been solved in a handful of cases. We present an experimental approach to determining these class numbers.

05/16/06
Ron Graham  UCSD
Finding your way in a graph

05/17/06
Thomas R. Fleming  UCSD Graduate Student
Generalized link homotopy invariants

05/17/06
Fernando Coda Marques  Stanford University
Blowup analysis for the Yamabe equation in high dimensions.
AbstractIn this talk we will address the problem of analyzing the
blowup behavior of a sequence of solutions to the Yamabe equation in high dimensions. We will show how sharp pointwise estimates can be used to prove that the Weyl tensor vanishes up to order $[\frac{n6}{2}]$ at a blowup point. This gives a proof of the compactness of the set of solutions to the Yamabe problem, a result conjectured by R. Schoen around 15 years ago. This is joint work with Marcus Khuri and Richard Schoen. 
05/17/06
Kristin Jehring  Graduate student, Mathematics Department, UCSD
On genetic networks and queueing theory

05/18/06
Mark Colarusso  UCSD Graduate Student
Lie Groups and their Lie algebras: A linear problem is easier than a nonlinear one !!
AbstractIn this talk, we will discuss some of the fundamental theorems of Lie theory. We will discuss how to associate to a Lie group (i.e. a smooth manifold that is also a group) a linear space, known as its Lie algebra. We will then discuss how we can use Lie algebras to classify different Lie groups. We will discuss the Fundamental Theorem of Sophus Lie which tells us exactly when two Lie groups are locally isomorphic, as well as the equivalence of the categories of real simply connected Lie groups and finite dimensional real Lie algebras. If time permits, we will discuss the study of real compact groups and their classification by certain types of complex Lie algebras. We will also discuss algebraic groups (groups that are algebraic varieties) and algebraic Lie algebras.

05/18/06
Ioan Bejanaru  University of California, Los Angeles Department of Mathematics
New results for the Schroedinger map equation
AbstractBy direct iteration we establish local wellposedness for the subcritical SM in all dimensions $\geqq$ 2 and global wellposedness in all dimensions $\geqq$ 3 assuming smallness of the initial data.

05/18/06
Laura Stevens  The Ohio State University
Selberg's generalization of Euler's beta function

05/18/06
Dino Lorenzini  University of Georgia, Athens
Brauer groups of surfaces over finite fields

05/18/06
Peter Smereka  Department of Mathematics, University of Michigan
Efficent Computation of Epitaxial Growth
AbstractTo begin, I will describe a fast MonteCarlo algorithm for simulating epitaxial surface growth, based on the continuoustime MonteCarlo algorithm of Bortz, Kalos and Lebowitz. When simulating realistic growth regimes, much computational time is consumed by the relatively fast dynamics of the adatoms. To solve this problem, we allow adatoms to take larger steps, determined by the local geometry, effectively reducing the number of transitions required. We achieve nearly a factor of ten speed up,for growth at moderate temperatures and moderate to low deposition rates.
In the second part of the talk, I will discuss the computation of stained heteroepitaxial growth. Elastic effects are incorporated using a ball and spring type model. An efficient method based on combining Fourier and multigrid formulations is presented. The equations for the elastic displacement of atoms in the film are extended to a rectangular region by the use of fictitious atoms and a connectivity matrix, allowing the application of standard multigrid ideas. Except for the top layer, the atoms in the substrate are completely removed and replaced by equivalent forces which can be efficiently evaluated using a fast Fourier transform. This formulation has been implemented in both two and three dimensions.
Finally we introduce various approximations in the implementation of KMC to improve the computation speed. Numerical results show that layerbylayer growth is unstable if the misfit is large enough resulting in the formation of three dimensional islands.

05/18/06
Jeffrey Edward Liese  UCSD
TBA

05/22/06
Mark Shimozono  Virginia Tech
Affine insertion and Schubert calculus on the affine Grassmannian
AbstractBy Bott's work on loop groups on simple Lie groups
and a result of Quillen, the homology of the affine Grassmannian Gr
of SL(k+1) is a ring that is naturally embedded in the ring of symmetric functions.
Since Gr is a KacMoody G/P it is natural to consider the Schubert bases
of its homology and cohomology. The Schubert structure constants of the homology of Gr
are particularly interesting, as they include the genus zero GromovWitten invariants for
Grassmannians, or equivalently the structure constants for the fusion tensor product for
the WeissZuminoWitten conformal field theory model.In the summer of 2004 I conjectured that the Schubert basis of homology
of Gr is given by the kSchur functions of Lascoux, Lapointe, and Morse. This was
recently proved by Thomas Lam. Lapointe and Morse also had a dual basis called the dual
kSchur functions or affine Schur functions; these are the Schubert basis of cohomology
of Gr.The dual kSchur functions may be realized as generating functions for
ktableaux or weak tableaux, which are defined using the weak order on the affine
symmetric group.We introduce strong tableaux, whose definition is based on the strong Bruhat order on the
affine symmetric group. The generating functions of strong tableaux are symmetric
functions,
which we prove are equal to the kSchur functions.We give an algorithm called affine insertion, which maps certain
biwords to pairs of tableaux, one strong and one weak. This bijection
proves an analogue of the Cauchy identity coming from the pairing between the homology
and cohomology of Gr.As k goes to infinity, weak and strong tableaux both converge to semistandard tableaux
and our bijection converges to the usual
row insertion RobinsonSchenstedKnuth correspondence.As corollaries we obtain Pieri rules for the Schubert calculus of
both the homology and cohomology of the affine Grassmannian.
Both of these are new.This is joint work with Thomas Lam, Luc La

05/22/06
Michael G. Schimek  Medical University of Graz, Institute for Medical Informatics, Statistics & Documentation
The support vector machine as a statistical learning tool
AbstractThe main objective of statistical learning is the characterization of an unknown
dependency between observations (measurements) on observational
units and certain properties of these observational units. All the measurements
are assumed to be observable. The dependent properties are only
available for a subset (i.e. the learning set) of observation units. The Support
Vector Machine (SVM), a machine learning concept, has recently attracted
increasing attention in the statistics community. One of the reasons is, that it
can handle the situation of far more variables than observational units as it is
now common in bioinformatics applications. The general problem of estimating
unknown dependencies and to use them for prediction occurs in many
other applications such as environmental sciences, quantitative economics,
and finance.
The SVM (V. N. Vapnik: The nature of statistical learning theory.
Springer, NY, 2000) is a classification method specially suitable for overlapping
classes. It produces nonlinear boundaries by constructing a linear
boundary in a transformed version of the feature space. We discuss the SVM
in the context of statistics under unspecified stochastic assumptions. For
instance complexity control can be achieved in a similar way as in penalized
(regularized) binary regression. Apart from the classical (machine learning)
algorithms statistical estimation concepts are considered. 
05/22/06
Jacek Nowacki  UCSD
The Nullstellensatz in a noncommutative setting
AbstractWe will concentrate on the connection of Hilbert's Nullstellensatz and the Jacobson radical. The talk will focus on PIalgebras and follow a paper of Amitsur.

05/23/06
Nordine Mir  UCSD Visitor  University of Rouen
Finite jet determination of CR mappings

05/23/06
Long Chen  UCSD
Convergence and Optimality of Adaptive Mixed Finite Element Methods
AbstractIn this talk we shall analyze the convergence and optimality of adaptive mixed finite element methods for second order elliptic partial differential equations. The main difficulty for the mixed finite element method is the lack of minimization principle and thus the failure of orthogonality. A quasiorthogonality property is proved using the fact that the error is orthogonal to the divergence free subspace, while the part of the error containing divergence can be bounded by data oscillation.

05/24/06
Arthur Berg  UCSD Graduate Student
TBA

05/24/06
Lei Wu  UCSD
Random Inscribed Polytopes

05/24/06
Ben Raphael  Computer Science and Engineering, UCSD
Models of tumorigenesis

05/24/06
David Glickenstein  University of Arizona
Weighted Delaunay triangulations and discrete Laplacians.
AbstractWe will investigate the use of weighted
triangulations as a discrete analogue of Riemannian geometry. We will then introduce discrete Laplacian operators, which are particularly weighted Laplacians on the 1skeleton of a metric (Euclidean) triangulation in the sense of Laplacians on graphs. We will investigate some of the properties of these Laplacians, including an interesting optimality result for weighted Delaunay triangulations originally proven by Rippa for (unweighted) Delaunay triangulations. 
05/25/06
Rami Atar  Technion, Israel, University of Washington Visitor
On the second Neumann eigenvalue
AbstractI will review results and open problems regarding simplicity of the lowest nonzero Neumann Laplacian eigenvalue on domains, and properties of the corresponding eigenfunctions related to the hot spots conjecture. I'll present a new simplicity result for a family of smooth planar domains, that is based on analysis of mirror couplings. Joint work with K. Burdzy.

05/25/06
Steve Shkoller  UC Davis Department of Mathematics
Wellposedness of the freesurface incompressible Euler equations with surface tension

05/25/06
Michael Gurvich  UCSD
Topology of quasitoric manifolds

05/25/06
Ron Evans  UCSD
Modular forms and character sums

05/26/06
D. Jacob (Jake) Wildstrom  UCSD
Dynamic Location on PowerLaw Graphs

05/30/06
Daniel Reynolds  UCSD
A Fast Wave Preconditioning Approach for Implicit Ideal Magnetohydrodynamics

05/30/06
Brian Miceli  UCSD Graduate Student
A Rook Theory model for product formulas & polystirling numbers

05/31/06
Michael LonguetHiggins  UCSD, Institute for Nonlinear Science
Quasicrystals: growth and form

05/31/06
Matthews S. Cecil  UCSD Graduate Student
The Taylor map on complex path groups

05/31/06
Jun Liu  UCSD, Rady School of Management
LongLived Private Information in a Continuous Time Economy
AbstractPortfolio Choice, Optimal Consumption, and Utility Gain
Abstract: We study the consumptioninvestment problem of an agent with a constant relative risk aversion (CRRA) preference function, who possesses private information about the future prospects of a stock. We examine the value of the information to the agent by comparing the utility equivalent with and without the information of the agent. The value of private information to the agent depends linearly on the wealth of agents and decreases with both the propensity to intermediate consumption and risk aversion. Agents with low coefficients of relative risk aversion value private information more highly. Consistent with the empirical literature, the optimal portfolio holdings of informed agents are correlated with expected returns on the risky asset. Highly risk averse informed agents consume a greater fraction of their wealth when they are informed than when they are uninformed, but the opposite is true of agents with low degrees of risk aversion.
Jun

06/01/06
Cayley A. Pendergrass  UCSD Graduate Student
JustInfinite Algebras and an Extension of a Theorem of Herstein
AbstractMuch is known about simple rings and these results are often
extended to direct sums of simple rings. An alternative approach to extending these results is to loosen the condition simplicity puts on ideals of a ring. Just infinite dimensional algebras are those which, in some sense, contain only few ideals.My talk will begin with examples and a more precise definition of just infinite, after which I will prove the principal results of my dissertation. The first is a theorem that all just infinite algebras are prime;
the second result is an example of broadening theorems about simple rings to theorems about just infinite rings. 
06/05/06
Alon Regev  UCSD
Ultraproducts and applications to ring theory
AbstractWe will define the notions of ultrafilters and ultraproducts, and describe some of their basic properties. We will also discuss a few applications to ring theory.

06/06/06
Jennifer Erway  UCSD Graduate Student
Iterative trust region methods for large scale unconstrained optimization

06/06/06
Jacek Nowacki
Advancement Talk

06/06/06
Joshua Cooper  UCSD
Random linear extensions of grids
AbstractA grid poset  or "grid" for short  is a product of chains. We ask,
what does a random linear extension of a grid look like? In particular,
we show that the average "jump number," i.e., the number of times that
two consecutive elements in a linear extension are incomparable in the
poset, is close to its maximum possible value. The techniques employed
rely on entropy arguments. We mention several interesting questions
about this wideopen area. 
06/07/06
Kate Okikiolu  UCSD
A young spectral invariant on surfaces, with some old rich relatives

06/08/06
Sebastian Cioaba  UCSD
A little algebra goes a long way
AbstractApplying simple algebraic ideas in combinatorics often leads to new and beautiful theorems. I will present some of these results.

06/08/06
Manda Riehl  UCSD Graduate Student
Using Ribbon Schur Functions to Obtain Generating Functions for Permutations Containing Specified Descent Sets

06/08/06
Jeremy M. Greene  UCSD Undergraduate
Noncommutative polynomials with almost positive second derivatives

06/08/06
Eric Shinkai Yin  UCSD Undergraduate
Multilevel iterative methods

06/08/06
William J. Garner  UCSD Undergraduate
Planting the (intellectual) need from which learning grows

06/08/06
John Shopple  UCSD
Finite element based level set method for moving interface problems

06/09/06
Poon Chuan Adrian Lim  UCSD
Path integrals on a compact manifold with nonnegative curvature

06/13/06
Fan Chung Graham  UCSD
Some of my favorite problems in graph theory and combinatorial geometry
Jul

07/06/06
Anne Schilling  University of California, Davis
Demazure structure inside KirillovReshetikhin crystals
AbstractThe conjecturally perfect KirillovReshetikhin (KR)
crystals are known to be isomorphic as classical crystals to
certain Demazure subcrystals of crystal graphs of irreducible
highest weight modules over affine algebras.
Under some assumptions we show that the classical
isomorphism from the Demazure crystal to the KR crystal,
sends zero arrows to zero arrows. This implies that the affine
crystal structure on these KR crystals is unique. 
07/06/06
Steve Butler  Graduate Student UCSD
Enumerating (multiplex) juggling sequences
AbstractWe consider the problem of enumerating periodic $\sigma$juggling sequences of length $n$ for multiplex juggling, where $\sigma$ is the initial state (or $landing ~ schedule$) of the balls. We first show that this problem is equivalent to choosing 1's in a specified matrix to guarantee certain column and row sums, and then using this matrix, derive a recursion. This work is a generalization of earlier work of Fan Chung and Ron Graham. \\
This is joint work with Ron Graham. 
07/10/06
Josh Cooper
Collinear Points in Permutations and the Finite Plane Kakeya Problem
AbstractThe talk will cover some work I’ve done recently on a very interesting
question (the size of the largest finite plane Besicovitch set) that connects
finite geometry, additive combinatorics, and oldfashioned counting. There
are a number of nice problems that are wide open, more or less unexamined,
and quite accessible. 
07/17/06
Ross Richardson  Graduate Student, UCSD
Graph computing and drawing
AbstractI will survey some useful tools, both internal and external, for computing with graphs. In particular, I will discuss some practical strategies for drawing graphs appropriate for papers and slides, and will offer some demonstrations. I will also survey the topic of graph drawing in general, perhaps with some connection to ideas in computational geometry if time permits.

07/18/06
Pieter Blue  University of Toronto
Global wellposedness in Sobolev space implies global existence for weighted $L^2$ initial data for $L^2$ critical NLSThe $L^2$critical defocusing NLS
AbstractThe $L^2$critical defocusing NLS initial value problem on $\Bbb{R}^d$ is known to be locally wellposed for initial data in $L^2$. Hamiltonian conservation and the pseudoconformal transformation show that global wellposedness holds for initial data $u_0$ in Sobolev $H^1$ and in the weighted space $(1+x) u_0 \in L^2$. For the $d=2$ problem, it is known that global wellposedess also holds for data in $H^s$ and also for data in the weighted space $(1+x)^{\sigma} u_0 \in L ^2$ for certain $s$, $\sigma < 1$. The talk will presents a new result: If global wellposedness holds in $H^s$ then global wellposedness and scattering holds in the weighted space with $\sigma = s$.

07/24/06
Sebi Cioaba  UCSD
Eigenvalues and eigenvectors of irregular graphs
AbstractThe eigenvalues of regular graphs have been well studied. They have
strong connections with the expansion constant (AlonMilman, Tanner), diameter
(Chung), chromatic and independence number (Hoffman) of a graph.
In this talk, I will discuss the eigenvalues of irregular graphs. One of the first
results of spectral graph theory due to Collatz and Sinogowitz (1957) states
that the spectral radius of a graph is between the average degree and the
maximum degree of a graph with equality iff the graph is regular. When the
graph is irregular, I will show how can we improve these inequalities. I will
conclude with a list of open problems.
This is based on joint work with David Gregory (Queen’s University at
Kingston, Canada) and Vlado Nikiforov (University of Memphis, USA). 
07/31/06
Kevin Costello  Graduate Student, UCSD
The rank of random graphs
AbstractThe Erdos Renyi random graph G(n,p) is generated by independently
and randomly choosing whether or not to draw an edge between each pair
of points, with p being the probability the edge is included. We consider the
adjacency matrix of this graph, or equivalently a random symmetric matrix
where each entry above the diagonal is independently chosen to be either 1
(with probability p), or 0 (with probability 1p). We are primarily interested
in the following two questions:
1. Is this matrix likely to be nonsingular?
2. If the matrix is singular, how close will it be to full rank?
I will discuss answers to both of these questions in the range 0.5 ln
n/n<p<1/2, along with conjectured answers for smaller p.
This talk is based on joint work with Professor Van Vu
Aug

08/08/06
Moshe Goldberg  Deapartment of Mathematics \\ Technion \\ Institute of Technology
Minimal polynomials and radii of elements in finitedimensional powerassociative algebras
AbstractWe begin by revisiting the definition and some of the properties of the minimal polynomial of an element of a finitedimensional powerassociative algebra $\cal A$ over an arbitrary field $\mathbb{F}$. Our main observation is that $p_a$, the minimal polynomial of $a\in\cal A$, may depend not only on
$a$, but also on the underlying algebra. Restricting attention to the case where $\mathbb{F}$ is either $\mathbb{R}$ or $\mathbb{C}$, we proceed to define $r(a)$, the {\it radius} of an element $a$ in $\cal A$, to be the largest root in absolute value of the minimal polynomial of $a$. As it is, $r$ possesses some of the familiar properties of the classical spectral radius. In particular, $r$ is a continuous function on $\cal A$. In the third part of the talk we discuss stability of subnorms acting on subsets of finitedimensional powerassociative algebras. Following a brief survey, we enhance our understanding of the subject with the help of our findings about the radius $r$.
Our main new result states that if $\cal S$, a subset of an
algebra $\cal A$, satisfies certain assumptions, and $f$ is a
continuous subnorm on $\cal S$, then $f$ is stable on $\cal S$ if and only if $f$ majorizes the radius \nolinebreak$r$. 
08/14/06
Paul Horn  Graduate Student, UCSD
The chromatic number of random graphs
AbstractThe chromatic number $\chi(G)$ of a graph $G$ is one the most important graph invariants. It is known, due to Bollob\'as as well as Luczak, that for the random graph $G(n,p)$, $\chi(G(n,p)) \sim d/2\ln d$ where $d = np$ is the expected average degree. Similarly, Frieze and Luczak showed that for a random $d$regular graph that $\chi(G_{n,d}) \sim d/2\ln d$. What can we say in the case where, instead of a $d$regular graph, we instead look at a random graph with a given degree sequence ${\bf d} = (d_1,\dots,d_n)$ with average degree $d$? In this talk, I look at a recent preprint of Frieze, Krivelevich, and Smyth who show under a condition on ${\bf d}$ that $\chi(G_{n,{\bf d}}) = \Theta(d/\ln d)$. I also look some at the problem of translating this result to a random graph with a given expected degree sequence.
Sep

09/05/06
Harvey Friedman  Department of Mathematics, Ohio State University
Foundational adventures
AbstractWe give a general overview of progress and expectations in three directions.
1. What kind of mathematical results can we prove only by going beyond the
usual axioms for mathematics (ZFC)? (Some systematic investigations in the
integers). Buzzwords: templates, Boolean Relation Theory, Order Calculus.2. Is there a relationship between ordinary commonsense naive thinking and
abstract mathematics? (They are unexpectedly close, and in some sense even
equivalent). Buzzwords: interpretation, Concept Calculus.3. In what sense and to what extent can we achieve certainty, at least in
mathematics? (With the use of existing computer technology, we can, in
various senses). Buzzwords: proof assistants, certificates. 
09/21/06
Dmitri Zaitsev  Trinity College, Dublin
Boundaries of Leviflat hypersurfaces
AbstractIn this joint work with Pierre Dolbeault and Giuseppe Tomassini
we consider the problem of characterizing compact real submanifolds of $C^n$ that bound Levi flat hypersurfaces. The problem is well studied in $C^2$ but surprisingly little is known in higher dimension. In this talk I will, in particular, explain the fundamental difference between $n=2$ and higher dimension
showing why the known methods in $C^2$ do not apply. 
09/26/06
Bo Li  UCSD Mathematics
Highorder surface relaxation vs. the EhrlichSchwoebel effect in thinfilm growth
AbstractThe surface of an epitaxially growing thin film often exhibits a
moundlike structure with its characteristic lateral size increasing in time. In this talk, we consider two competing mechanisms for such a coarsening process: (1) surface relaxation described by highorder gradients of the surface profile; and (2) the EhrlichSchwoebel (ES) effect which is the upperlower terrace asymmetry in the adatom attachment and detachment to and from atomic steps. We present a theory based on a class of continuum models that are mathematically
gradientflows of some effective freeenergy functionals describing these mechanisms. This theory consists of two parts: (1) variational properties of the energies, such as ``ground states'' and their largesystemsize asymptotics, showing the unboundedness of surface slope and revealing the relation between some of the models;
(2) rigorous bounds for the scaling law of the roughness, the rate of increase of surface slope, and the rate of energy dissipation, all of which characterize the coarsening process. Predictions on scaling laws made by our theory agree well with experiments. 
09/27/06

09/28/06
David Meyer  UCSD Mathematics Department
Winning elections with pointset topology

09/28/06
Oct

10/02/06
M. Vidyasagar  Executive Vice President \\ Tata Consultancy Services Limited \\ Hyderabad INDIA
Stochastic modelling methods for gene finding
AbstractIn this talk, the problem of finding genes from the genome (DNA
sequence) is formulated as a problem in stochastic modelling and
classification. No prior knowledge of biology is assumed and the talk
will be completely selfcontained in this respect. A new classification
algorithm, called Mixed Memory Markov Model (4M) algorithm, is presented,
and its significance (probability of generating an incorrect
classification) is analyzed using sound statistical principles. It is
also shown that, on nearly 70 bacterial genomes, the 4M algorithm performs
as well or better than the currently most popular algorithm, known as
Glimmer2. (But the emphasis of the talk is on the statistical aspects.) 
10/02/06
Said Sidki  University of Brasilla, Brasil
Virtual endomorphisms of groups

10/03/06
Justin Roberts  UCSD
Filtered complexes and spectral sequences

10/03/06
Joshua Griffin  Computational Sciences and Mathematics Research \\ Sandia National Laboratories
An asynchronous parallel derivativefree optimization algorithm for handling general constraints

10/05/06
Nitya Kitchloo  UCSD
Fun with spaces

10/05/06
Gregg Musiker  UCSD Graduate Student
Chipfiring games
AbstractA chipfiring game is a game played by $n$ players where each player is alotted a certain set of neighbors and a certain number of tokens, here called
chips. (In mathspeak this would be a graph $G=(V,E)$ with $n$ vertices $v \in V$ with nonnegative integer weights, and the edges $e\in E$ determine
which vertices are adjacent.) During the course of each round, starting with player $1$, every player whose chipstack is greater than his/her number of
neighbors must give a chip to each of them. If a player's chipstack is too small, play skips over to the next player. Once everyone has played,
player $1$ goes again if possible, and play continues this way.
In this talk, we will discuss several mathematical questions that come up from this model:
\begin{enumerate}
\item For what initial configurations will play eventually stop?
\item Does the order of the players matter?
\item Which initial configurations will appear again and again?
\end{enumerate}
We then consider a new game, called the dollar game as defined by N. Biggs, where an additional player, the bank, is added. The bank takes chips
from the players as above, but can only give all of his/her neighbors chips if play would stop otherwise. However the bank player
is allowed to go into debt and thus can give his/her neighbors chips whenever play would stop. We will discuss how this new game gives
rise to a group structure, and applications. If there is time we will discuss the MatrixTree Theorem which lies at the nexus between Algebraic
Combinatorics and Graph Theory.\vspace{1em}
All are welcome. Even if you do not know what a graph is, all will be explained.

10/05/06
Ron Evans  UCSD
Conjectures on Kloosterman sums in statistics and number theory

10/05/06
John McCleary  Vassar College
Tricks with spectral sequences
AbstractSpectral sequences present a fairly complicated algebraic gadget with which to study some interesting geometric questions. In this talk, the goal is to show how certain methods that depend on the structure of a spectral sequence lead to satisfying results. Examples will abound.

10/06/06
Daniel Rogalski  UCSD
An introduction to GelfandKirillov dimension

10/09/06
Ruvim Lipyanski  Ben Gurion University of the Negev, Israel
Automorphisms of the semigroup of endomorphisms of free algebras of homogeneous varieties.
AbstractLet $F=F(x_1,..x_n)$ be a free algebra of a homogeneous variety of linear algebras freely generated by $X={x_1,...x_n}$ , $End F$ be the semigroup of endomorphisms of $F$ and Aut End $F$ be the group of automorphisms of the semigroup $End F$.
We investigate the structure of the group Aut End $F$ for the variety of Lie algebras, the variety of $m$nilpotent associative algebras, the variety of commutative algebras over socalled $R_1MF$domains. These domains contain, in particular, Bezout domain, unique factorization domains. As a consequence, a complete description of the group of automorphisms of the full matrix semigroup of nxn matrices over $R_1MF$domains !
is obtained. 
10/10/06
Neeraj Pradhan
The Serre spectral sequence  I

10/10/06
Gabriel Nagy  UCSD
Stability reversal in nonhomogeneous static fluids in highdimensional spaces
AbstractFluid models have been used as toymodels of event horizons in general relativity and its generalizations to more than four spacetime dimensions. We study here a fluid model for the GregoryLaflamme instability in black strings. With consider a Newtonian, incompressible, static, axiallysymmetric fluid with surface tension, in n dimensions plus one periodic dimension. The fluid configurations are those that minimize the
fluid surface area for fixed volume. Homogeneous fluid configurations are known to be stationary solutions of this functional, and they are stable in a dynamical sense above a critical value of the fluid volume. Below that value PlateauRayleigh instabilities occur. We show in this
article that at this critical value of the volume there is a pitchfork bifurcation point. We prove that there are infinitely many other pitchfork bifurcation points at smaller values of the fluid volume. Each bifurcation solution represents a nonhomogeneous static fluid configuration and its
stability depends on the space dimension. By stability we mean in the sense of minimum of the above functional. We show that the nonhomogeneous configurations are all unstable if n less or equal 10, and they all become stable if n bigger or equal 11. This stability inversion for high space dimensions could be of interest in gravitational theories in more than four dimensions and in string theory. 
10/10/06
Andrew Linshaw  UCSD
Chiral equivariant cohomology
AbstractI will discuss a new cohomology theory that extends $H$. Cartan's cohomology theory of $G^*$ algebras. The latter is an algebraic abstraction of the topological equivariant cohomology theory for $G$spaces, where $G$ is a compact Lie group. Cartan's theory, discovered in the 50s and further developed by others in the 90s, gave a de Rham model for the topological equivariant cohomology, the same way ordinary de Rham theory does for singular cohomology in a geometric setting. The chiral equivariant cohomology takes values in a vertex algebra and includes Cartan's cohomology as a subalgebra. I will give a brief introduction to vertex algebras, and then discuss the construction of the new cohomology and some of the basic results and examples. This is a
joint work with Bong Lian and Bailin Song. 
10/10/06
John Hall  UCSD
Counting Descents with Prescribed Tops and Bottoms
AbstractGiven sets $X$ and $Y$ of positive integers and a permutation
$\sigma = \sigma_1 \sigma_2 \cdots \sigma_n$, an $X,Y$\emph{descent}
of $\sigma$ is a descent pair $\sigma_i > \sigma_{i+1}$ whose ``top''
$\sigma_i$ is in $X$ and whose ``bottom'' $\sigma_{i+1}$ is in $Y$. We give two formulas for the number $P_{n,s}^{X,Y}$ of $\sigma \in S_n$ with
$s$ $X,Y$descents. $P_{n,s}^{X,Y}$ is also shown to be a hit number of a certain Ferrers board. This work generalizes results of Kitaev and Remmel on counting descent pairs whose top (or bottom) is equal to 0 mod $k$.
(This is joint work with Jeff Remmel.) 
10/12/06
Youri Davydov  University of Lille I, France
Ergodic properties of crystallization processes
AbstractWe are interested in a birthandgrowth process where germs are born according to a Poisson point process with invariant under translation (in space) intensity measure. The germs can be born in free space and then start growing until occupying the available space. In this general framework, the crystallization process can be characterized by the random field giving for a point in the space state the first time this point is reached by a crystal. We prove under general conditions on speed growth and geometrical shape of free crystals that this random field is mixing
in the sense of ergodic theory and obtain estimates for the absolute regularity coefficient. 
10/12/06
Lawrence Frank  Department of Radiology, UCSD
Mathematical challenges in magnetic resonance imaging

10/12/06
David Scheinker  UCSD, Graduate Student
Fractal strings, hearing the sound of a drum, and the Riemann hypothesis
AbstractWhat do compact curves of infinite length, continuous, nowhere
differentiable functions, and uncountable sets of measure zero have in
common? It's not that they don't exist. The Koch Curve, the Weierstrass
Function, and the Cantor Middle Thirds Set are all fractal sets and
respective examples of each of the above. What do they have to do with
Mark Kac's famous question: ``Can one hear the shape of a drum?"
This talk is about how this question, Spectral Geometry, and
Fractal sets come together in the work of Michel Lapidus and others to
formulate a statement equivalent to the Riemann hypothesis. The talk
will go roughly as follows: \\1. Pictures of fractals and a definition of nonintegral, fractal, dimension.
2. A statement of the Riemann hypothesis.
3. ``One can hear the shape of a fractal string" if and only if the
Riemann hypothesis holds. \\The talk will involve mostly proofs by pictures and should be
completely accessible. 
10/12/06
Eliot Brenner  Ben Gurion Universitiy, Israel
Heat Eisenstein series and applications
AbstractI will define the heat Eisenstein series and sketch some of their theory, as developed by Jorgenson and Lang in the 90s and early 00s. Then, I will describe their role in an ongoing project to generalize theta relations and spectral zeta functions to arithmetic quotients of real Lie groups in higher rank. Finally, I will state some of my results on exact fundamental domains and explain how they are used or are expected to be used in this program.

10/12/06
Benny Sudakov  Princeton University \\ (Hiring Candidate)
Pseudorandom graphs: properties and applications
AbstractAn $(n,d,\lambda)$graph is a dregular graph on $n$ vertices so that the absolute value of each eigenvalue of its adjacency matrix, besides the largest one, is at most $\lambda$. I will survey some of the remarkable pseudorandom properties of such graphs in which $\lambda$ is much smaller than $d$, describe various constructions, and present several applications of these graphs in the solution of problems in Extremal Combinatorics, Geometry and and Complexity.

10/16/06
Alexander Mikhalev  Moscow State University
Lie algebras with one defining relation
AbstractIn the talk we consider Lie algebras with one defining relation.
Starting with an analog of Freiheitssatz (Shirshov's theorem), we give an example of a Lie algebra over a field of prime characteristic with cohomological dimension one which is not a free Lie algebra (this gives a counterexample to a hypothesis that the analog of StallingsSwan theorem takes place for Lie algebras; the problem in the case of field of zero
characteristic is still open, we formulate some related conjectures).
For a finitely generated free Lie algebra L we construct an example of two elements $u$ and $v$ of $L$ such that the factor algebras $L/(u)$ and $L/(v)$ are
isomorphic, where $(u)$ and $(v)$ are ideals of L generated by $u$ and $v$, respectively, but there is no automorphism $f$ of $L$ such that $f(u)=v$.
We consider also the situation where a Lie algebra with one defining relation is a free Lie algebra. 
10/17/06
Karl Fredrickson
The Serre spectral sequence  II

10/17/06
Jianwei Che  Genomics Institute of the Novartis Research Foundation
High throughput docking  How can mathematics help?
AbstractIn this presentation, I will briefly introduce the concept
of
high throughput docking (HTD) and how it is used in pharmaceutical and
biotech industries. A successful HTD requires not only accurate
description of molecular interactions, but also efficient numerical
algorithms. A couple of computational methods that we have developed
for
docking will be discussed. They demonstrate how this practical problem
can greatly benefit from relatively simple mathematical methods. I
will
also discuss some challenges ahead for further improving HTD and
general
high throughput virtual screening. 
10/19/06
Samuel Kou  Harvard University \\ Department of Statistics
Stochastic modeling in single molecule biophysics
AbstractRecent advances in nanotechnology allow scientists for the first time to follow a biochemical process on a single molecule basis. These advances also raise many challenging dataanalysis problems and call for a sophisticated statistical modeling and inference effort.
First, by zooming in on single molecules, recent singlemolecule experiments revealed that many classical models derived from oversimplified assumptions are no longer valid. Second, the stochastic nature of the experimental data and the presence of latent processes much complicate the inference. In this talk we will use the modeling of subdiffusion phenomenon in enzymatic reaction to illustrate the statistics and probability challenges in singlemolecule biophysics.This talk is based on joint work with Sunney Xie.
\bigskip
\bf
\it
Jointly sponsored by the Department of Mathematics and the Division
of Biostatistics and Bioinformatics 
10/19/06
Russell Quong  Google
Treating data like vodka: hashing, mashing and distributing

10/19/06
Dan Budreau  UCSD, Graduate Student
The geometry of schemes (and other tall tales!)
AbstractThis talk will motivate the use of schemes in understanding varieties. Schemes are notorious for their lack of transparency. In order to motivate the practicality of schemes, I will discuss the basics of varieties: specifically coordinate rings (the ring you get from a variety) and the various properties that they have.
After that, schemes will be (roughly) defined and I will come to the heart of the talkexamples of what happens when we relax various conditions on coordinate rings. Very strange phenomena come up: we can get extremely local information, we can get points on varieties with tangent vectors, we can describe some strange varieties over the reals, etc. If time permits, I will talk about schemes as they pertain to number theory and give an example or two.
This talk is meant to introduce schemes in a geometric sense. Most importantly, I want to brush aside the technical baggage that comes with highend commutative algebra, sheaves, etc. in order to get at the heart of the geometry. Those with a penchant for pictures will be none too displeased.

10/19/06
Barry Smith  UCSD
Brumer's conjecture for extensions of degree 2p

10/19/06
Dimitri Gioev  University of Rochester, Rochester, New York
Universality questions in random matrix theory
AbstractThis talk is addressed to a wide audience.
One of the main features of Random Matrix Theory (RMT) is that it provides
accurate models for correlated quantities that describe various complex
systems arising in a broad variety of problems in physics, pure and
applied mathematics, and in other branches of knowledge.
We will start by presenting various examples of such quantities.A mathematical reason for a wide applicability of RMT is that there should
be certain versions of the Central Limit Theorem but now for certain
classes of correlated random variables.
In particular, the limiting behavior of the eigenvalues of a large random
matrix should be independent of the details of the distribution of the
matrix elements. This loose statement is known as the Universality Conjecture.We then introduce the three classical types of invariant random matrix
ensembles. For the technically simplest case of the socalled unitary
ensembles, we explain how all the statistical quantities of interest can
be expressed in terms of orthogonal polynomials on the real line.The Universality Conjecture in the bulk of the spectrum for the unitary
ensembles was established by DeiftKriecherbauerMcLaughlinVenakidesZhou
in 1999. The other two classes of invariant ensembles, orthogonal and
symplectic, are more difficult to analyze. In the end of the talk, we will
describe our recent work with Deift where we prove the Universality
Conjecture both in the bulk and at the edge of the spectrum for the
remaining two classes of invariant ensembles in great generality. 
10/19/06
Alexander Volberg  Michigan State University
Nonhomogeneous CalderonZygmund operators, capacities with signed kernels, and Geometric Measure Theory: some solved and unsolved problems
AbstractThere was a huge progress in understanding the geometric nature of removable singularities for some subtle classes of analytic and harmonic functions. This progress culminated in the solution of several problems of Vitushkin from the 50's. A 100 year old problem of Painlevé asking for ``geometric" description of removable sets for bounded analytic functions was solved by Xavier Tolsa. The progress was based on essentially several ingredients including: 1. very nontrivial connection between Geometric Measure Theory and CalderonZygmund operators and 2. a theory of CalderonZygmund operators in ``bad environment". The talk will present this story, which unites the methods of Complex Analysis, Harmonic Analysis, Geometric Measure Theory and Probability. Some unsolved problems will be listed.

10/20/06
John Farina  UCSD, Graduate Student
Growth of monomial algebras

10/23/06
Daniel Goldstein  UCSD
Principal ideals of the exterior algebra
AbstractLet $F$ be a field and $n>0$ a positive integer.
Let $A = A_0 + A_1 + ...+ A_n$ be the exterior algebra of
dimension $2^n$ over $F$ with its natural grading.Then a homogenous element w in $A_s$ generates a homogeneous
principal ideal $wA$. What is the maximum value of
$\dim_F(wA \cap A_r)$ for given $s,r,n$ as $w$ varies in $A_s$?We state a conjecture. The (most interesting?) case
$(s,r,n) = (3,6,9)$ (where the max is 84) is directly
related to the exceptional Lie algebra $E_8$.(By definition, A is generated by elements $e_1,...,e_n$
that satisfy $(1) e_i^2 =0$ and $(2) e_ie_j +e_je_i=0$ for
$1<=i,j<= n$. The generators $e_i$ all lie in $A_1$.
By definition, $A_s$ is the $Fspan$ of all
$sfold$ products $e_{j_1} ... e_{j_s}.)$ 
10/24/06
Maia Averett
The EilenbergMoore and bar spectral sequences

10/24/06
Joachim Dzubiella  Physics Department, Technical University of Munich, Germany
Classical dynamic density functional theory: Correlated Brownian motion in colloidal systems
AbstractClassical density functional theory (DFT) has been proven to be a
powerful mathematical tool to describe the equilibrium structure and
phase behavior of correlated manybody systems (e.g., dense colloidal
or
biological fluids) in bulk or under the action of external potentials.
Using the equilibrium functional a dynamic DFT can be constructed
which
accurately reproduces the strongly inhomogeneous steadystate or even
timedependent structure of systems in nonequilibrium. This talk aims
at a pedagogical introduction exemplified by simple colloidal systems
out of equilibrium, such as colloidal sedimentation,
diffusioncontrolled reactions, and driven polymer solutions. 
10/24/06
Jeff Remmel  UCSD
${\tensy p,q}$analogues of generalized derangement numbers

10/26/06
Michael Kinnally  UCSD, Graduate Student
On

10/26/06
Jamie Pommersheim  Reed College
Is infinity plus one prime? (Or: Factorization in the omnific integers)
AbstractIn the 1970s, John Horton Conway introduced the {\sl surreal numbers}, a
number system that contains not only the real numbers, but contains many
infinite numbers as well. Among the elements of this field, one finds $\omega$
(the first infinite ordinal), $\omega + 1$ (``infinity plus one''), $\omega  1$
(``infinity minus one''), $\frac{1}{\omega}$ (an infinitesimal) and as well as
numbers like $\frac{\omega^{\omega}}{\sqrt{\omega^2  \pi}} +
\omega^{\frac{1}{\omega}}$. Within the surreal numbers, there is also a
natural generalization of the integers, called the {\sl omnific integers},
denoted $\mathbb{O}\mathbb{Z}$. The first three numbers listed above are
omnific integers, while the last two are not. With this new notion of integer,
one can revisit many of the classical questions of number theory. Most
immediately, what are the prime numbers? Can every omnific integer be factored
uniquely into omnnific prime numbers? In this talk, after introducing the
surreal numbers, we'll explore some questions about primes in the land of
$\mathbb{O}\mathbb{Z}$. 
10/26/06
Manda Riehl  UCSD, Graduate Student
Combinatorial paella
AbstractQ:
What do ring homomorphisms, homogeneous and elementary symmetric functions, brick tabloids, and involutions have in common?A:
If you mash them all together and stir them around, you can get some nice results for generating functions for various permutation statistics.In this talk, we'll define all the stuff we'll need to use. Then we will prove some famous results, as well as mention some notsofamous results. It will be an example of how combinatorial objects can take a problem out of its current context (e.g. the ring of symmetric functions, or representation theory, or any number of other areas) to prove theorems in an accessible way.

10/26/06
Samit Dasgupta  Harvard University
Shintani zetafunctions and GrossStark units for totally real fields
AbstractLet $F$ be a totally real number field and let
$p$ be a finite prime of $F$, such that $p$ splits
completely in the finite abelian extension $H$ of $F$.
Stark has proposed a conjecture stating the existence
of a $punit$ in $F$ with absolute values at the places
above $p$ specified in terms of the values at zero of
the partial zeta functions associated to $H/F$. Gross
proposed a refinement of Stark's conjecture which
gives a conjectural formula for the image of Stark's
unit in $F_p^\times/ \widehat E$, where $F_p$ denotes the completion
of $F$ at $p$ and $\widehat E$ denotes the topological closure of the
group of totally positive units of $F$. We propose a
further refinement of Gross' conjecture by proposing a
conjectural formula for the exact value of Stark's
unit in $F_p^\times$. 
10/26/06
Samit Dasgupta  Harvard University
Which primes are the sum of two rational cubes
AbstractIn the 19th century, Sylvester conjectured that every prime
which is congruent to 4, 7, or 8 modulo 9 can be expressed as the sum
of two rational cubes. In the 1950s, Selmer restated the conjecture
as part of a more general study of rational points on elliptic curves.
Later, the conjecture was seen to be a very special case of the conjecture of Birch and SwinnertonDyer. However, an unconditional proof remained elusive until Elkies announced a proof in the early 1990s for the case where $p$ is 4 or 7 modulo 9. We will describe how special values of modular forms allow one to attack Sylvester's conjecture and other similar problems concerning elliptic curves. We will conclude with current research, joint with John Voight, which uses these methods
to study the remaining open case, where $p$ is 8 modulo 9. 
10/27/06
Alon Regev  UCSD
Rings of GK one are PI

10/31/06
Maia Averett
The EilenbergMoore spectral sequence II

10/31/06
Yongcheng Zhou  UCSD
High order numerical methods for elliptic interface problems
AbstractElliptic or parabolic equations with discontinuous coefficients are
seen
in many disciplines such as
electromagnetic, fluid dynamics and biophysics. For the accurate
numerical
solutions of these equations,
it is important to enforce the known jumps in the solution and/or its
gradient on the internal interfaces.
Failing to do this would result in solutions of low accuracy and
convergence of low order, or even divergence
of the computation. In this talk I will briefly review the elliptic
interface problems and their numerical
algorithms. I will then introduce a novel matched interface and
boundary
(MIB) method and its applications
to the solution of the electrostatic potential of macromolecules. 
10/31/06
Hanspeter Kraft  University of Basel, Switzerland
Galois correspondences for reductive groups and first fundamental theorems

10/31/06
Jacques Verstraete  McGill University
Regular subgraphs of random graphs
AbstractThe $k$core of a graph is the largest subgraph of minimum degree at least
$k$. In this talk, we will be discussing the appearance of $k$regular
subgraphs of random graphs in the $ErdosR \acute e nyi$ model of random graphs. Pittel, Spencer and Wormald
determined very precisely when the $k$core of a random graph appears.
The $k$core of a graph is revealed by performing a greedy
vertexdeletion algorithm, whereas no simple algorithm exists for
finding $k$regular subgraphs when $k > 2$. I will present a
combination of algebraic, probabilistic and structural techniques
which pin down the point of appearance of a $k$regular subgraph in
a random graph with edgeprobability $p$ to a window for $p$ of
width roughly $2/n$. To introduce these techniques, a more
general discussion of degree constrained subgraphs will be given,
including a proof of a recent conjecture on generalized factors of
graphs. Recently published empirical evidence using statistical
physical methods supports our conjecture of a sharp threshold for
the appearance of $k$regular subgraphs of random graphs, while this
conjecture, nevertheless, remains open.
Nov

11/02/06
Priscilla Greenwood  Arizona State University
Autonomous stochastic resonance produces epidemic oscillations of fluctuating size
AbstractIt is known from simulations that stochastic epidemic models such as SIR, SIRS produce sustained oscillations, whereas the corresponding deterministic models produce damped oscillations. We use multiscale analysis to identify a parameter range in which stochastic SIR is approximated by a stochastic combination of sinusoids, where the coefficient processes run on a slow time scale. OrnsteinUhlenbeck excursions form an envelope of the epidemic oscillations.

11/02/06
Wee Teck Gan  UCSD
To modularity and beyond
AbstractIn the past decade or so, several big conjectures in number theory have been proven, starting with Fermat's Last Theorem and including the recent proof of the socalled SatoTate conjecture.
All these advances involve proving that something is modular. I will try to explain what some of these conjectures/theorems say and what it means for something to be modular. 
11/02/06
Jake Wildstrom  UCSD Graduate Student
Linear algebra in tropical semirings
AbstractTropical algebras are semirings with operations $a\oplus
b=\max(a,b)$ (or $a\oplus b=\min(a,b)$) and $a\otimes b=a+b$. Tropical
algebra is usually approached as a subtopic of algebraic geometry. But
what if we take traditional linear algebraic problems and ask them
using tropical operations instead? We'll find that these problems are
frequently solvable, although not always in the same ways as they're
solved in conventional algebras. These problems have surprising
relevance to industrial systems control and operations research
problems. 
11/02/06
Brett Tangedal  College of Charleston
Continued Fractions, Special Values of the Double Sine Function, and Stark Units over Real Quadratic Fields
AbstractIn this talk we will present new results showing that every existent Stark unit over a real quadratic field may be expressed as a product of double sine function values in a compact and canonical form using a continued fraction approach due to Zagier and Hayes.

11/02/06
Herbert Heyer  University of Tuebingen, Germany
Negativedefinite functions on the dual of a hypergroup
AbstractHypergroups are locally compact spaces for which the space of bounded measures
can be made a Banach algebra by introducing an axiomatically determined
convolution. Prominent constructions of such convolutions over $\mathbb {Z}_+$ and $\mathbb {R}_+$ are
performed via polynomials or special functions respectively.
In order to establish canonical representations of convolution semigroups of
probability measures on a commutative hypergroup $K$ (in the sense of Schoenberg
correspondence and LevyKhintchine decomposition) one needs to study
negativedefinite functions on the dual $K$ $\hat{}$ of $K$ which in general is not a hypergroup.
With appropriate definition of negativedefiniteness on $K$ $\hat{}$ some harmonic
analysis can be developed, and for large classes of (Euclidean) hypergroups
the structure of negativedefinite functions and of the corresponding
convolution semigroups can be illuminated. 
11/03/06
Larissa Horn  UCSD Graduate Student
Growth of graded Noetherian rings

11/06/06
Tullio CeccheriniSilberstein  UCSD
Linear cellular automata, sofic groups and stable finiteness of group rings
AbstractIn this talk I'll first recall the notion of a "cellular automaton over a group" (also presenting celebrated
Conway's "Game of Life") and then consider the linear version
of the socalled "Garden of Eden Theorem" and Gottshalk's
"Surjunctivity problem" which arise from symbolic dynamics.
After recalling the notion of "amenability" for groups, I'll discuss the
GromovWeiss notion of a "sofic group".
Finally, I'll discuss Kaplansky's conjectures on the nonexistence of
idempotents and on stable finiteness of group rings and relate these
problems to the theory of linear cellular automata. 
11/07/06
Nitu Kitchloo  UCSD
The EilenbergMoore and bar spectral sequences  III

11/07/06
Axel Malqvist  UCSD
Error estimation and adaptive computation for elliptic problems with randomly perturbed coefficients
AbstractWe develop and analyze an efficient numerical method for computing
the response of the solution of an elliptic problem with randomly
perturbed coefficients. We use a variational analysis based on the
adjoint
operator to deal with the perturbations in data. To deal with
perturbations in the diffusion coefficient, we construct a piecewise
constant approximation to the random perturbation then use domain
decomposition to decompose the problem into subproblems on which
the diffusion coefficient is constant. To compute local solutions of
the subproblems, we use the infinite series for the inverse of a
perturbation of an invertible matrix to devise a fast way to compute
the effects of variation in the parameter. Finally, we derive a
posteriori error estimates that take into account all the sources
of error and derive a new adaptive algorithm that provides a
quantitative way to distribute computational resources between all
of the sources. 
11/07/06
Hanspeter Kraft  University of Basel, Switzerland
Galois correspondences for reductive groups and first fundamental theorems II

11/09/06
Jomy Alappattu  UC Berkeley Graduate Student
Fragmentation and coalescence of conditioned GaltonWatson forests
AbstractGiven a GaltonWatson forest of $k$ trees with some offspring
distribution conditioned to have n total vertices, suppose that an edge is
deleted uniformly at random from this forest. For what offspring
distributions is it true that the resulting forest is distributed like a
GaltonWatson forest of $k+1$ trees with the same offspring distribution
conditioned to have n vertices?This question is related to recent work on fragmentation of partitions of
the set $[n]= {1,2,...,n}$. After reviewing the
known results about partitions, we show how to use generating functions to
pass from partitions to forests and determine the offspring distributions
for which this fragmentation model works. We will also discuss certain
interesting combinatorial interpretations of some of the offspring
distributions. Finally, we describe how to go in the reverse direction, and
determine how trees in a conditioned GaltonWatson forest should coalesce in
order to preserve the conditioned structure.This is joint work with N. Berestycki and J. Pitman.

11/09/06
Dan Rogalski  UCSD
The projective plane: Or, how to make ends meet
AbstractWe discuss the problem of how to find the number of simultaneous solutions to two polynomial equations in two variables. This amounts to calculating the number of intersection points of two curves in the plane. We discuss why this question has a much nicer answer if one is wily enough to replace the usual $(x,y)$plane with something else.

11/09/06
Henning Hohnhold  UCSD
What is a noncommutative space?
AbstractAn important aspect of quantum mechanics is that it introduces noncommutative phenomena into physics: Heisenberg's uncertainty principle reflects the fact of mathematical life that matrices don't necessarily commute. Over the last 80 years the study of noncommutative structures has become an increasingly popular activity in many branches of mathematics. The two examples I will talk about are noncommutative topology and noncommutative measure theory. My main goal will be to explain what people mean when they use these words and why the terminology is justified. I hope this will be interesting for geometers and analysts alike. The main ingredients in noncommutative geometry are noncommutative rings, so if you're an algebraist, maybe you'll find something to like as well. Time permitting I'll describe some examples and theorems relating to the classification of noncommutative measure spaces (a.k.a. von Neumann algebras).

11/09/06
Jonathan Sands  University of Vermont and UCSD
Lfunctions for multiquadratic extensions of number fields at s=1 and annihilation of the tame kernel
AbstractBrumer's conjecture uses abelian Lfunctions at $s=0$ to produce groupring elements which should annihilate class groups of number fields.
We consider the analogous conjecture at $s=1$, and give evidence in the setting of a number field obtained as the composite of several relative quadratic extensions of the base field. 
11/09/06
Noam Elkies  Harvard University
Ranks of elliptic curves and surfaces

11/10/06
Grigory Mikhalkin  University of Toronto
Amoebae and algae of real algebraic curves
AbstractAmoebae and algae are two natural objects that can be associated to a
projective algebraic variety $V$. The amoeba is the logarithmic
projection of $V$ to ${\bf R}^n$ while the alga is the complementary
projection to the argument torus $(S^1)^n$.It turns out that that the topology of a plane real algebraic curve
is intrinsically related to the geometry of its amoeba and alga.
The talk will survey known instances of this relation. 
11/13/06
Victor Panaretos  Statistics Department, UC Berkeley
Random Tomography, Structural Biology, Shape Diffusions
AbstractSingle particle electron microscopy is a powerful method that biophysicists employ to learn
about the structure of biological macromolecules. In contrast to the more traditional crystallographic
methods, this method images "unconstrained" particles, thus posing a variety of statistical problems. We
formulate and study such a problem, one that is essentially of a random tomographic nature. Although
unidentifiable (illposed), this problem can be seen to be amenable to a statistical solution, once strict
parametric assumptions are imposed.It can also be seen to present challenges from a data analysis point of
view (e.g. uncertainty estimation and presentation). In addition, motivated by the "physics" involved in
the datacollection process, we define and explore a new type of diffusions in D.G. Kendall's shape space.
These diffusions arise as the stochastic evolution of the orbits (under a group action) of a projected
motion. 
11/13/06
Filippo Tolli  Universita Roma Tre
Harmonic analysis of finite lamplighter random walks
AbstractRecently, a lot of papers have been devoted to the analysis of lamplighter random walks, in particular when the underlying graph is the infinite path $\mathbb{Z}$. In the present talk, we develop a spectral analysis for lamplighter random walks on finite graphs. In the general case, we use the $C_2$symmetry to reduce the spectral computations to a series of eigenvalue problems on the underlying graph.
In the case the graph has a transitive isometry group $G$, we also describe the spectral analysis in terms of the representation theory of the wreath product $C_2\wr G$. We apply our theory to the lamplighter random walks on the complete graph and on the discrete circle. These examples were already studied by Haggstrom and Jonasson by probabilistic methods. 
11/14/06
Ben Cooper
Spectral sequences in algebra

11/14/06
Zeyun Yu  UCSD
Biomedical image processing and geometric modeling
AbstractThis talk includes three parts. In Part I, I will briefly
introduce a number of imaging techniques for 3D structure
reconstructions at different scales (including tissue, cellular,
subnanometer, and atomic levels). In Part II, a couple of image
processing algorithms will be presented, in order to extract features
of interest for geometric modeling. Part III is mesh generation, an
essential step for finite element method. I will introduce two
approaches for mesh generation: Delaunay triangulation and
Octreebased method. 
11/14/06
Sergey Kitaev  Reykjavik University
Representable graphs
AbstractA graph $G=(V,E)$ is representable if there exists a word $W$ over
the alphabet $V$ such that letters $x$ and $y$ alternate in $W$ if
and only if $(x,y) \in E$ for each $x \neq y$. If $W$ is $k$uniform
(each letter of $W$ occurs exactly $k$ times in it) then $G$ is
called $k$representable.The notion of representable graphs appears in study, by Seif and
later by Kitaev and Seif, of the Perkins semigroup which has played
central role in semigroup theory since 1960. Thus, the objects in
question being on border between combinatorics on words and graph
theory, come from needs in algebra.In my talk, I will discuss some properties of representable graphs.
In particular, I will give examples of nonrepresentable graphs and
will discuss certain wide classes of graphs that are 2 and
3representable. I will conclude with a number of open problems in
this direction of research.This is a joint work with Artem Pyatkin.

11/15/06
Richard Stanley  MIT
Unimodality and real zeros of PEulerian polynomials
AbstractThe $P$Eulerian polynomial $W_P(x)$ of a finite naturally
labelled poset $P$ is the generating function for linear extensions of $P$ by
number of descents. We will discuss some recent work related to the
question of whether the coefficients of $W_P(x)$ are unimodal and
whether $W_P(x)$ has real zeros. In particular we will explain the
beautiful work of Branden on signgraded posets. 
11/16/06
Michael Cranston  University of California, Irvine
Large deviations for parabolic Anderson and other random media models
AbstractMany random media models involve random variables attached to sites in a state space
such as $Z^d$ or $ R^d$. In these models, the sums of values of these random variables
(or integrals) along paths through the state space are are of great interest. In many cases,
the supremum or infimum of these sums are physically relevant. Examples of this are
first passage percolation and the parabolic Anderson model.
The growth of these extrema are generally linear in the path length and satisfy a law of
large numbers. In this talk we examine deviations above the mean and below the mean for
a variety of models and show they are generally very unbalanced. 
11/16/06
Lily Xu  UCSD
An introduction to biostatistics

11/16/06
Aaron Wong  UCSD, Graduate Student
A primer in analytic number theory
AbstractThis talk is an introduction to analytic number theory via two very classical results. We will start with a discussion of the Riemann zeta function, including a quick proof of the functional equation and some discussion of the location of the zeros. Then we will go through Dirichlet's proof that there are infinitely many primes congruent to a modulo $q$ when $(a, q) = 1$.
To keep the talk at a survey level, some results will be stated without proof. (Translation: I'm going to avoid long, techincal calculations as much as possible.)

11/16/06
Dihua Jiang  University of Minnesota
Nonvanishing of the Central Value of Certain Lfunctions
AbstractBased on the recent progress in the Langlands functoriality
for classical groups, we establish the relation between the central
value of the RankinSelberg Lfunctions for GL(n) x GL(m) and certain
periods of automorphic forms on classical groups. Such a relation is
a natural generalization of GrossPrasad conjecture made about 10 years ago. The lecture is based on the joint work with Ginzburg and Rallis. 
11/16/06
Dihua Jiang  University of Minnesota
On the Langlands functoriality for classical groups
AbstractThe Langlands functoriality conjecture is one of the basic problems in the theory of automorphic forms and representations. In the past four decades, there was essentially no progress made until a few years ago when the Langlands functoriality was established for generic cuspidal automorphic representations from classical groups
to general linear groups in a series of papers by Cogdell$$Kim$$Piatetski$$Shapiro$$Shahidi, Ginzburg$$Rallis$$Soudry,
and JiangSoudry. Many important applications were found afterwards. The problem of establishing the theory for general cuspidal automorphic representations remains a big open problem. In this talk, I will report on some recent progress on this problem, based on my work and my work with Soudry 
11/17/06
Jacek Nowacki  UCSD
Primitive algebras with arbitrary GKdimension

11/20/06
Ross Richardson  UCSD, Graduate Student
Advancement Talk

11/21/06
Henning Hohnhold
The Adams spectral sequence

11/21/06
Emre Mengi  UCSD
Measuring degree of controllability of a linear dynamical system
AbstractA linear timeinvariant dynamical system is
controllable if its trajectory can be adjusted
to pass through any pair of points by the proper selection of an
input.
Controllability can
be equivalently characterized as a rank
problem and therefore cannot be verified
reliably numerically in finite precision.
To measure the degree of controllability of a system
the <em>distance to uncontrollability</em> is introduced as the
spectral or
Frobenius norm of the
smallest perturbation yielding an uncontrollable system.
For a first order system we present a polynomial time
algorithm to find the nearest uncontrollable system
that improves the computational costs of the previous techniques.
The algorithm locates the global
minimum of a singular value optimization problem
equivalent to the distance to uncontrollability.
In the second part for higherorder systems we derive a singularvalue
characterization and exploit
this characterization for the computation of the higherorder distance
to
+uncontrollability to low
precision. 
11/21/06
Amit Trehan
Lifting of characters over metaplectic covers of ${\tensy SL(n)}$ over a ${\tensy p}$adic field
AbstractWe generalize the approach of Adams by obtaining a character fornula relating the irreducible characters of $PGL(n)$ with those of certain covers of $SL(n)$. We then study the lifting of functions between covers of $SL(n)$ and $PGL(n)$. We use orbital integrals to obtain a formula for the lifting of characters as a dual to the formula relating the characters. This is based on the approach of Kazhdan and Flicker.

11/21/06
Dennis White  Department of Mathematics, University of Minnesota
The cyclic Sieving phenomenon: A midwest tradition
AbstractIn work in the mid90's, John Stembridge noted that several combinatorial statistic generating functions carried enumerative information when the variable was set to $1$. He dubbed this the "$q=1$ phenomenon. In joint work with Vic Reiner and Dennis Stanton, we have noted that Stembridge's phenomenon generalizes to when $q$ is an appropriate root of unity. We called this the "cyclic sieving phenomenon." I will describe several instances of this phenomenon and some open problems.

11/27/06
V. K. Kharchenko  UNAM, Mexico
Braided version of Shirshov  Witt Theorem

11/27/06
Alexander I. Bufetov  Rice University
Existence and uniqueness of the measure of maximal entropy for the Teichmuller flow on the moduli space of abelian differentials \\ \small [joint work with B.M. Gurevich]
AbstractThe moduli space of abelian differentials carries a natural Lebesgue measure class, and, by the Theorem of H.Masur and W.Veech, the
Teichmueller flow on the moduli space of abelian differentials
preserves a finite ergodic measure in the Lebesgue measure
class. The entropy of the flow with respect to the absolutely
continuous measure has been computed by Veech in 1986.The main result of this talk, obtained by B.M. Gurevich and the
speaker, is that the absolutely continuous measure is the
unique measure of maximal entropy for the Teichmueller flow.The first step of the proof is an observation that the absolutely
continuous measure has the Margulis property of uniform expansion
on unstable leaves. After that, the argument proceeds in Veech's
space of zippered rectangles. The flow is represented as a
symbolic flow over a countable topological Bernoulli chain
and with a Hoelder roof function depending only on the future.
Following the method of Gurevich, the flow is then approximated
by a sequence of flows whose suspension functions depend on only
one coordinate in the sequence space. For these, conditions for
existence and uniqueness of the measure of maximal entropy are
known by theorems of Gurevich and Savchenko. Since the roof function
of our initial flow is Hoelder, the approximation is rapid enough
and yields maximality of entropy for the smooth measure as well
as the uniqueness of the measure of maximal entropy. 
11/27/06
John Farina
Stability Properties in Ring Theory

11/28/06
Henning Hohnhold
The Adams Spectral sequence, II

11/28/06
Thomas Voden
Subalgebras of GolodShafarevich algebras

11/28/06
Dan Reynolds  UCSD
Reformulation of the resistive MHD system for ensuring discrete preservation of constraints
AbstractWe investigate the system of partial differential equations used in
resistive magnetohydrodynamic modeling of fusion plasmas. This system
couples the Euler and Maxwell equations for evolution of a charged
fluid
in an electromagnetic field, hence the magnetic field in the resulting
PDE system must evolve on a divergencefree constraint manifold. As
traditional numerical solution approaches often violate these
constraints, we investigate a reformulation of the resistive MHD
system
to allow for accurate evolution of the continuumlevel equations,
while
simultaneously ensuring that the solution satisfies the solenoidal
constraint. 
11/28/06
Kouji Yano  Research Institute for Mathematical Sciences, Kyoto Japan
Convergence of excursion measures of onedimensional diffusion processes with an exit boundary
AbstractConvergence of excursion measures is discussed by means of time change of the Brownian excursion measure. As an application an invariance principle of meanders of positive recurrent diffusion process is obtained. (Based on a joint work with P. J. Fitzsimmons.)

11/28/06
Craig Westerland  University of Wisconsin
String topology and moduli spaces of Riemann surfaces
AbstractString topology (defined by Chas and Sullivan) is the study of
the topology of the space of loops (or strings) in a manifold. Chas and
Sullivan's work, as well as recent work by Cohen, Jones, Godin, and others
focuses on defining various algebraic operations on the space of loops (or
its homology). One can phrase many of these constructions in the language
of field theories used by physicists (though our approach will be purely
mathematical). I'll give an introduction to these sort of field theories
from the point of view of algebraic topology, and explain how various
flavors of string topology fit into this framework. 
11/28/06
Sergey Lysenko  Institute for Advanced Studies
Moduli of metaplectic bundles on curves and Thetasheaves
AbstractWe give a geometric analog of the Weil representation of the metaplectic
group, placing it in the framework of the geometric Langlands program.
For a smooth projective curve $X$ we introduce an algebraic stack
Bun$\backsim$G of metaplectic bundles on $X$. We give a
tannakian description of the Langlands dual to the metaplectic group.
Namely, we introduce a geometric version Sph of the (nonramified)
Hecke algebra of the metaplectic group and describe it as a tensor
category. The tensor category Sph acts on the derived category
D(Bun$\backsim$G) by Hecke operators.
Further, we construct a perverse sheaf on Bun$\backsim$G corresponding
to the Weil representation and show that it is a Hecke eigensheaf with
respect to Sph. 
11/28/06
Edward Frenkel  University of California, Berkeley
Langlands correspondence for loop groups
AbstractThe classical Langlands correspondence relates representations
of a reductive algebraic group over a local nonarchimedian field $F$ and
representations of the Galois group of $F$. If we replace $F$ by the field
$C((t))$ of complex Laurent power series, then the corresponding group
becomes the (formal) loop group. It is natural to ask: is there an
analogue of the Langlands correspondence in this case? It turns out that
the answer is affirmative, and there is an interesting theory which may be
viewed as both "geometrization" and "categorification" of the classical
theory. I will explain the general setup for this new theory and give
some examples using representations of affine KacMoody algebras. 
11/30/06
Stanislav Molchanov  The University of North Carolina at Charlotte\\ \it visiting\\UC Irvine
On the class of the differentialfunctional equations
AbstractThe central topic of the talk is the class of Markov processes associated with the random walk on the group of the affine
transformations of the real line. The corresponding generators L have a form of the functionaldifferential operators with
the linearly transformed argument. These or similar operators were studied by Poincare, Birkhoff, Kato and other classics from the pure analytical point of view. We will present the complete analysis of the bounded Lharmonic functions (i.e. Martin
boundary of our Markov processes). 
11/30/06
Yves LE JAN  Probabilities and Random Models Laboratory  Paris 11
Dynkin isomorphism and loops

11/30/06
Kristin Lauter  Microsoft Research
Cryptography and expander graphs
AbstractThis talk will explain one of the basic building blocks of cryptography, cryptographic hash functions, and
relate them to another beautiful mathematical object: expander graphs. 
11/30/06
Raul Gomez
The Symmetry Group of Differential Equations
AbstractWhile he was studying partial differential equations, Sophus Lie came up with the idea of trying to solve them by using their symmetry group. His idea was to apply Galois Theory to differential equations instead of polynomials. Lie's key observation was that these symmetry groups are locally determined by their Lie algebras.
Normally Lie groups of differential equations are only locally defined , i.e. they are only defined in a neighborhood of the identity element. However if we enlarge the manifold where the group is acting we can find a globally defined group action whose restriction to the original manifold is the original action.
In this talk we will calculate the symmetry group of the line equation $y''=0$ and see that, despite the simplicity of this equation, the symmetry group is not globally defined! However, the action can be enlarged to a well defined action on $RP^2$. We will do the same with Maxwell's equations obtaining, in this way, a conformal model of the universe where the symmetry group of Maxwell's equations is well defined.

11/30/06
Shuichiro Takeda  UCSD
On the nonvanishing of global theta lifts from even orthogonal groups
AbstractWe will discuss the nonvanishing problem of global theta
lifts from even orthogonal groups to symplectic groups, especially
focusing on the first occurrence conjecture of the global theta lifts. 
11/30/06
Nathan Dunfield  Mathematics, Caltech
Surfaces in finite covers of 3manifolds: the Virtual Haken Conjecture
AbstractAs with many areas of topology and geometry, a starting point in the study of 3manifolds is to try to understand codimension one objects in them, namely embedded surfaces. A particularly useful class of surfaces are the "incompressible" ones which are topologically essential; a 3manifold containing such a surface is called a Haken manifold. There are many 3manifolds which are not Haken, but if we ask about immersed, rather than embedded, surfaces the situation becomes much more mysterious. A closely related question is this: Suppose M is a 3manifold with infinite fundamental group, does M have a finite cover which is Haken? The Virtual Haken Conjecture posits that the answer to this question is yes.
This talk will survey some recent results in this area, focusing on my work with (variously) William Thurston, Dylan Thurston, and Frank Calegari. From the point of view of Thurston's Geometrization Conjecture, this is really a question about hyperbolic 3manifolds, that is, lattices in PSL(2, C). This opens the door to a rich array of tools that might seem quite surprising in light of the purely topological description of the problem above. Indeed, some unlikelysounding terms that I will probably mention in my talk are "the Classification of Finite Simple Groups" and "the Langlands Conjecture", as well as such topological oddities as "random 3manifolds"!
Dec

12/01/06
Nate Eldredge  UCSD, Graduate Student
Heat kernel inequalities on Lie groups

12/01/06
Maia Averett  UCSD
Obstructions to Thom classes in complex cobordism

12/04/06
Koji Yano  Research Institute for Mathematical Sciences, Kyoto, Japan
Density formula of the occupation time of onedimensional diffusion processes
AbstractFor the density of the occupation time of general onedimensional diffusion processes, continuity and its asymptotic behaviors at extremal points are studied. \\
(Based on a joint work with S. Watanabe and Y. Yano.) 
12/04/06
Ken Ono  University of Wisconsin, Madison
Modular forms, infinite products, singular moduli

12/05/06
Atsushi Ichino  Osaka City University and University of Toronto
On the periods of automorphic forms on special orthogonal groups and the GrossPrasad conjecture
AbstractA period of an automorphic form on a reductive group $G$ over anumber fieldis defined by its integral over a subgroup $H$ of $G$. Suchperiods are often related to special values of automorphic $L$functions.In this talk, we present a conjecture in the case of special orthogonalgroups, which can be regarded as a refinement of the global GrossPrasadconjecture about the restriction of automorphic representations of $SO(n+1$) to $SO(n)$. If time permits, we also discuss a relation of ourconjecture to Arthur's conjecture on the multiplicity of representationsin the space of automorphic forms. This is a joint work with Tamotsu Ikeda.

12/05/06
Ken Ono  University of Wisconsin, Madison
Freeman Dyson's challenge for the future: The mock $\tensy \theta$ functions
AbstractRamanujan's legacy to mathematics is well documented with connections to some of the deepest subjects in modern number theory: Deligne's proof of the Weil Conjectures, the proof of Fermat's Last Theorem, the birth of probabilistic number theory, the introduction of the "circle method" among others. Although most of Ramanujan's mathematics is now well understood, one baffling enigma remained. In his last letter to Hardy (written on his death bed), Ramanujan gave 17 examples of functions he referred to as "mock $\theta$ functions". Over the next fifty years, ad hoc works by many number theorists (such as Andrews, Atkin, Cohen, Dyson, Selberg, SwinnertonDyer, Watson...) clearly pointed to the importance of these strange functions. Their work motivated Freeman Dyson to proclaim:
"Mock $\theta$functions give us tantalizing hints of a grand synthesis still to be discovered. Somehow it should be possible to build them into a coherent grouptheoretical structure ... This remains a challenge for the future."  Freeman Dyson, 1987
Over the last year, Kathrin Bringmann and I have written a series of three papers on this enigma. Extending recent work of Zwegers, we solve Dyson's challenge in terms of harmonic Maass forms. We fully developed the arithmetic (i.e. padic and Galois theoretic) and analytic properties of all such forms, and we have applied these results to solve open problems in additive number theory.

12/06/06
Nathanael Berestycki  University of British Columbia
Random walks, geometry and comparative genomics
AbstractWe will see how a problem in genome rearrangement leads to describe a new
kind of phase transition for random walks on graphs. This phase transition
is related to the wellknown ErdosRenyi double jump phenomenon for random
graphs. I will particularly try to describe the effect that the scale of
mutations may have on the analysis of the problem, and will outline two
possible approaches: one borrowing ideas from hyperbolic geometry and the
other based on cheating and using branching random walks. 
12/07/06
Nathanael Berestycki  University of British Columbia
Hydrodynamic limits of spatially structured coalescents
AbstractWe are motivated by a question arising in population genetics, and
try to describe the effect of migratory fluxes and spatial
structure on the genealogy of a population. This leads to the
study of systems of particles performing simple random walk on a
given graph, and where particles coalescence according to a
certain mechanism (typically, Kingman's coalescent) when they are
on the same site. We obtain various asymptotic results for this
process, at both small and large time scales, which are of
intrerest to population genetics. We will also discuss some
related conjectures. 
12/07/06
Malcolm Bovey  Graduate Student, King's College London
A congruence for Sunits of a totally real field
AbstractLet $p$ be a prime number, $K$ a $CM$ field containing a primitive $p^(n)th$ root of unity and k the maximal real subfield of $K$. We show that
a special case of a conjecture of Solomon gives rise to a (conjectural)
congruence mod $p^n$, relating certain $S$units of $k$ to the principal
semilocal units of $K$, via the use of local Hilbert symbols.
We will discuss the progress made in proving this conjecture and (briefly) some computational verifications. 
12/07/06
Sebastian Cioaba  UCSD
Covering hypergraphs with cuts
AbstractCovering a graph with subgraphs of certain type has a long history in graph theory and it goes back to Boole, Ore and M.Hall. The problem of covering a graph by cliques or bicliques has been studied by many researchers including Erdos, Goodman, Posa, Chung, Graham, Pollak, Alon etc. Few of the results obtained for graphs extend to hypergraphs. In this talk, I will present some of these results and show some new results
regarding the covers of an $r$uniform hypergraph by $k$cuts such that the total size of the cuts (the sum of the number of edges of
all cuts) is minimum. This is joint work with Andr$\rm\acute e$ K$\rm\ddot u$ndgen
(Cal.State San Marcos). 
12/07/06
Nicholas Proudfoot  Columbia University
Toric and hypertoric combinatorics
AbstractI will discuss three classes examples in which the geometry of an
algebraic variety illuminates a certain combinatorial object. The first
example will involve the classical relationship between toric varieties and
polytopes. The next two examples will deal with a relatively new class of
spaces called hypertoric varieties. These may be thought of as
quaternionifications of toric varieties, and they interact richly with the
combinatorics of matroids, or of finite collections of hyperplanes in a
vector space.