Jul

07/26/02
Olvi Mangasarian  University of Wisconsin, Madison
Newton

07/31/02
Dmitri Zaitsev  University of Tubingen
CR extension near boundaries and corners

07/31/02
Francine Meylan  University of Frieberg
The degree problem for proper holomorphic mappings between balls
Aug

08/12/02
E. Brussel  Emory University
Alternating forms and the Brauer group of a geometric field
Sep

09/26/02
Joe Henson  Queen Mary, University of London
The "Observables" in quantum gravity: Causal set approach
AbstractEvery physical theory has to confront two issues: 1) What are the meaningful questions ("observables")? 2) What do they mean?i.e., what part of the theory purports to correspond to facts in the universe, and how? In quantum gravity (QG) these issuessometimes become particularly entangled. This talk will reviewthe causal set approach to QG and then describe recent advances that go some way toward answering these questions, showing how they find a clear formulation and solution in the case of a toy stochastic model of causal set cosmology, and giving brief prospects for the extension to a quantum theory. The toy stochastic model defines an evolution for posets that is analogous to the dynamical models for the growth of massive random graphs which are of current interest.

09/27/02
Shelly Harvey  UCSD
Higherorder 3manifold invariants and their applications; Parts I
AbstractWe define an infinite sequence of new invariants, $delta_n$, of agroup G that measure the size of the successive quotients of the derivedseries of G. In the case that G is the fundamental group of a 3manifold,we obtain new 3manifold invariants. These invariants are closely relatedto the topology of the 3manifold. They give lower bounds for theThurston norm which provide better estimates than the bound establishedby McMullen using the Alexander norm. We also show that the $delta_n$ giveobstructions to a 3manifold fibering over $S^1$ and to a 3manifold beingSeifert fibered. Moreover, we show that the $delta_n$ give computablealgebraic obstructions to a 4manifold of the form $X x S^1$ admitting asymplectic structure even when the obstructions given by theSeibergWitten invariants fail. There are also applications to theminimal ropelength of knots and links in $S^3$. In addition, wediscuss the applications to the cut number of a 3manifold (this is alsoknown as the corank of the fundamental group of the 3manifold)
Oct

10/01/02

10/01/02
Xiang Yu Zhou  Academia Sinica, China
Extended future tube conjecture

10/01/02
Jeff Ovall  UCSD Graduate Student
Poset, Moebius functions, and the $LDL^ T$Factorization of matrices

10/01/02
David Meyer  UCSD
Quantum learning: introductory seminar

10/02/02
Audrey Terras  UCSD
A new kind of zeta function: When number theorymeets graph theory
AbstractThe most famous zeta function is Riemanns. We will discuss its basicproperties, for example its expression as a product over primes due toEuler. Then we consider the analog for a finite connected graph X. Thatmeans we must discuss primes in X. They will be closed paths. Then it iseasy to figure out what the Iharas zeta function of X is. We use thiszeta function to obtain a graph analog of the prime number theoremcounting the number of primes of a certain length in X. When X isregular, the poles of the Ihara zeta function of X satisfy an analog ofthe Riemann hypothesis iff the graph is Ramanujan (meaning that itprovides a good communication network). We will give examples of graphsfor which the Riemann hypothesis is true and other examples for which itis false.

10/02/02
Hanspeter Kraft  University of Basel, Switzerland
The null cone of a diagonal action

10/02/02
David Glickenstein  UCSD Graduate Student
Precompactness of solutions to the Ricci flow

10/03/02
Audrey Terras  UCSD
Organizing number theory

10/03/02
Hanspeter Kraft  University of Basel, Switzerland
Geometric analogues to the classical fundamental theorems
AbstractLet $V$ be a representation of a (complex) reductive group $G$. A classical theorem due to Weyl says that the simultaneous invariants (and covariants) of any number of copies of $V$ can be seen in $dim V$ copies. This means that the invariants of more than $dim V$ copies are given by polarization, those for less by restriction. (There are stronger results in case the representation is orthogonal or symplectic.)We are studying the question whether certain geometric objects associated to a representation have a similar behavior. A trivial example is the structure of orbits and their closures which can also be seen in $dim V$ copies. Another example is the rationality of the quotients $V^m/G$ in the sense of geometric invariant theory. Again, it is easy to see that if the quotient is rational for $m$ copies then it is also rational for more than $m$ copies.In the talk we are mainly interested in the set of unstable vectors, the socalled nullcone of the representation. We show that for a certain number $m$, calculated from the weight system of $V$, the number of irreducible components of the nullcone is the same for $geq m$ copies, and that all these components have a nice resolution of singularities. Another interesting question here is if the polarizations define the nullcone, since this has important applications to the computation of invariants. This, in turn, is related to the problem of linear subspaces in the nullcone which is widely open, even in very classical situations.(This is joint work with Nolan Wallach from UCSD. It arose from the study of the representations $C^2otimes C^2otimes cdots otimes C^2$ under $SU_2 imes SU_2 imes cdots imes SU_2$ which play a role in some mathematical aspects of quantum computing.)

10/04/02
Shelly Harvey  UCSD
Higherorder 3manifold invariants and their applications; Part II

10/08/02
Li Yu  UCSD Graduate Student
Division algebras

10/08/02
Randy Bank  UCSD
Superconvergence and asymptotically exact A Posteriori error estimates

10/08/02
David Meyer  UCSD
Grover

10/08/02
Gerry Schwarz  Brandeis University
Invariants associated to a pair of commuting involutions

10/09/02
Jeff Ovall  UCSD Graduate Student
Poset, Moebius functions, and the $LDL^ T$Factorization of matrices
AbstractIn this talk we make a (perhaps) unexpected link between the combinatorialnotion of partially ordered sets (posets) and certain families ofmatrices. Using this link, we give a simple, matrixbased proof of theMoebius Inversion Formula on a poset and a variant of it. It is thisvariant which is really at the heart of the talk, for it will allow us tosimultaneously analyze certain properties (determinant, inertia, etc.) ofentire families of matrices via their $LDL^T$Factorizations.Refreshments will be provided

10/09/02
Gerry Schwarz  Brandeis University
Verma modules for rings of invariant differential operators

10/09/02
Shucheng Chang  UCSD visitor from National Tsing Hua University
Calabi flow on Kaehler surfaces

10/10/02
Ben Morris  UC Berkeley
Heat kernel bounds: a probabilistic approach

10/10/02
Gerry Schwarz  Brandeis University
Representations of invariant differential operators
AbstractLet $G$ be a group and let $V$ be a finitedimensional $G$module. Let $B$ denote the algebra of $G$invariantpolynomial differential operators on $V$. It is natural to pose thefollowing questions:1) What is the representation theory of $B$? What are the primitiveideals of $B$?2) Does $B$ have finite dimensional representations? If so, are theycompletely reducible?medskip
oindentLittle is known about these questions when $G$ is noncommutative. Wegive answers for the adjoint representation of SL$_3(C)$, alreadyan interesting and difficult case. 
10/11/02
Shelly Harvey  UCSD
Higherorder 3manifold invariants and their applications; Part III

10/15/02
Shelly Harvey  UCSD
Clifford algebras and triality

10/15/02
David Meyer  UCSD
Single query quantum learning

10/15/02
Josh Griffin  UCSD Graduate Student
A globally convergent primaldual interiorpoint filtermethod for nonlinear programming

10/15/02
Jozsef Solymosi  UCSD
On a problem of Ron Graham
AbstractWe give a quantitative proof that forsufficiently large N=N(c), every subset of$[N]^2$ of size at least $cN^2$ contains a square, i.e. four pointswith coordinates {(a,b),(a+d,b),(a,b+d),(a+d,b+d)}.

10/16/02
Travis Kowalski  Colorado College
The ties that bind: Ropes, rods and
AbstractCarl Boyer, in the introduction of his 1949 calculus textbook,remarked that "Mathematics is as much an aspect of culture as it is acollection of algorithms." Indeed, any collection of human beings whichone might identify as having the rudiments of society  a spokenlanguage, a sense of spirituality, a rule of law, etc.  have also alwayshad some sense of number as a means of codifying the world around them.In this talk, we will examine how different cultures at different times havedeveloped their sense of number, space and form. We will also look therecurring roles basic tools  such as rope, rods, and rocks  haveplayed in their development and refinement  be it ancient Incaspreadsheets in South America, stone altars built by rope in India, orbroken notched sticks on which the British treasury depended well into the1800s! This talk is aimed at anyone with an interest in culture,language, philosophy, history, ... or, of course, mathematics.REFRESHMENTS WILL BE SERVED!

10/17/02
Pat Fitzsimmons  UCSD
Superposition operators and a coarea formula for Dirichlet spaces

10/17/02
Keith Conrad  UCSD
A nonanalogy between number fields and function fields
AbstractAnalogies between number fields and function fields have inspired newdevelopments in number theory for a long time. We will discuss asurprising nonanalogy related to the distribution of primes. Forinstance, it is expected that any irreducible in ${mathbf Z}[t]$ havingat least two relatively prime values will take prime values infinitelyoften. (An example is $t^2+1$, while a nonexample is $t^2+t+2$, since$n^2+n+2$ is always even.) The analogue in ${mathbf F}_p[x][t]$ isfalse, e.g., $t^8+x^3$ is irreducible in ${mathbf F}_2[x][t]$ but$g(x)^8+x^3$ is reducible in ${mathbf F}_2[x]$ for every $g(x)$.

10/17/02
Peter Thomas  Salk Institute
The other side of the bioinformatics mountain: Quantitativebiophysical modeling of cellular signaling networks
AbstractWholegenome expression experiments provide the building blocks forunderstanding cellular control mechanisms underlying health anddisease, from cardiac function to learning and memory to oncogenesis.To put postgenomic information to work requires buildingbiophysically detailed, quantitative models for the biochemicalinteractions controlling cell behavior. Such biochemical signalingnetworks form a class of highdimensional, stochastic nonlineardynamical systems, analytical and numerical techniques for the studyof which are only in the early stages of development. I will presentsome approaches to reducing the complexity of cellular signalingnetworks and to extending the classical deterministic approximationsfor these systems to include fluctuation effects. I will focus onapplications to biophysical systems currently under investigation at UCSD, Scripps and Salk Institute.

10/18/02
Mark Gross  UCSD
Affine manifolds and CalabiYau manifolds

10/22/02
Graham Hazel  UCSD
Octonion projective spaces

10/22/02

10/22/02
David Meyer  UCSD
Quantum learning beyond concepts

10/22/02
Mark Gross  UCSD
Affine manifolds and Calabi Yau manifolds II

10/22/02
Josh Cooper  UCSD
Abstract Line Configurations and the MilnorThom Theorem
AbstractWe discuss applications of the MilnorThom Theorem, a result from AlgebraicGeometry concerning signs of polynomials, to the combinatorics of geometricconfigurations. In particular, we define an {it abstract lineconfiguration}, modelled on line configurations in $mathbb{R}^3$, and showthat there are many forbidden subconfigurations. We discuss theimplications for unavoidable "stacked" sets of lines via theErdH{o}sHajnal conjecture, and pose several open questions. Joint workwith Uli Wagner of ETH Z"{u}rich.

10/23/02
Jason Lee  UCSD
Mathematics in baseball  sabermetrics in action (or: Who
AbstractBaseball is a sport whose statistics are ingrained in the collectiveconsciousness of their fans. Ask any baseball fanatic to identify thesenumbers, and the response should be immediate: 56, 2130, 2632, 61 in 61,73, 4191, 4256, .406, 714, 755, 5714, 511, 7. Baseball fans also like toargue about which player or team is better, and the extensive history andrich landscape of numbers in the sport lends itself to spirited chats overa hot stove as well as mathematical analyses. It is not quite the HotStove season, but we will chat about some of the mathematics used toanalyze baseball statistics  the study of baseball statistics is knownas "sabermetrics." Mathematical ideas like Markov chains, Monte Carlosimulation, and linear regression are used to shed new light on Americas sporting pastime. Some rudimentary knowledge of baseball and baseballstatistics is probably helpful, but not absolutely necessary.

10/23/02
Jiaping Wang  U. of Minnesota, Visiting UCSD
Harmonic functions and applications to geometry I

10/24/02
Natella O Bryant  UC Irvine
A noisy problem with a degenerate Hamiltonian and multiple time scales
AbstractWe consider a twodimensional weakly dissipative dynamical system withtimeperiodic coefficients. Their time average is governed by a degenerateHamiltonian whose set of critical points has an interior. The dynamics ofthe system is studied in the presence of three time scales. Using themartingale problem approach and separating the involved time scales, weaverage the system to show convergence to a Markov process on a stratifiedspace. The corresponding strata of the reduced space are a twosphere, apoint, and a line segment. Special attention is given to the domain of thelimiting generator, including the analysis of the gluing conditions at thepoint where the strata meet. The gluing conditions resulting from thehierarchy of the time scales are similar to the conditions on the domain ofskew Brownian motion.

10/24/02
Ron Evans  UCSD
Determination of primality

10/25/02
Ko Honda  UCSD
Knots and contact geometry
AbstractIn this talk I will present joint work with John Etnyre on classificationand structure theorems for Legendrian knots in the standard contact3space. I will describe some of the unexpected phenomena that arise alongthe way.

10/28/02
Laurent Bartholdi  University of California, Berkeley
Algebras and Growth in Branch Groups
AbstractWe compute the structure of the Lie algebras associated to twoexamples of branch groups, and show that one has finite width whilethe other, the "GuptaSidki group", has unbounded width(Corollary~
ef{cor:gamma:rk}). This answers a question by Sidki.We then draw a general result relating the growth of a branch group,of its Lie algebra, of its graded group ring, and of a naturalhomogeneous space we call emph{parabolic space}, namely thequotient of the group by the stabilizer of an infinite ray. Thegrowth of the group is bounded from below by the growth of itsgraded group ring, which connects to the growth of the Lie algebraby a productsum formula, and the growth of the parabolic space isbounded from below by the growth of the Lie algebraFinally we use this information to explicitly describe the normalsubgroups of $G$, the "Grigorchuk group". All normal subgroupsare characteristic, and the number $b_n$ of normal subgroups of$G$ of index $2^n$ is odd and satisfies${limsup,liminf}b_n/n^{log_2(3)}={5^{log_2(3)},frac29}$. 
10/28/02
Laurent Bartholdi  University of California, Berkeley
Algebras and Growth in Branch Groups
AbstractWe compute the structure of the Lie algebras associated to twoexamples of branch groups, and show that one has finite width whilethe other, the \"GuptaSidki group\", has unbounded width(Corollary~
ef{cor:gamma:rk}). This answers a question by Sidki.We then draw a general result relating the growth of a branch group,of its Lie algebra, of its graded group ring, and of a naturalhomogeneous space we call emph{parabolic space}, namely thequotient of the group by the stabilizer of an infinite ray. Thegrowth of the group is bounded from below by the growth of itsgraded group ring, which connects to the growth of the Lie algebraby a productsum formula, and the growth of the parabolic space isbounded from below by the growth of the Lie algebraFinally we use this information to explicitly describe the normalsubgroups of $G$, the \"Grigorchuk group\". All normal subgroupsare characteristic, and the number $b_n$ of normal subgroups of$G$ of index $2^n$ is odd and satisfies${limsup,liminf}b_n/n^{log_2(3)}={5^{log_2(3)},frac29}$. 
10/29/02
Graham Hazel  UCSD Graduate Student
Octonionic projective spaces

10/29/02
Jiaping Wang  U. of Minnesota, Visiting UCSD
Harmonic functions and applications to geometry II

10/29/02
Beate Winkelmann  UCSD Graduate Student
Preconditioners for KarushKuhnTucker Matrices Arising in the Optimal Control of Distributed Systems

10/29/02
Markus Hunziker  University of Georgia
Query Complexity of Quantum Algorithms for Structured Search Problems: A Geometric Approach

10/29/02
Kevin O Bryant
The Permutation that Orders Fractional Parts and Nearly PeriodicWords
AbstractThe permutation $pi$ of $1,2,ldots,n$ that satisfies> $$0 < { pi(1) alpha } < { pi(2) alpha } < cdots < { pi(n)alpha} < 1$$ ($alpha$ is any irrational) has been studied from a combinatorialviewpoint (S—s, Boyd) and from an analytic viewpoint (Schoi§engeier). I will present some results on algebraic properties of this permutation, the most significant being a mysterious appearance in the study of nearly periodic binary words (a.k.a., Sturmian words) with the representation theory of symmetric groups.

10/30/02
Peter Ebenfelt  UCSD
The equivalence problems and rigidity of CR manifolds embedded in hyperquadrics

10/31/02
Weining Kang  UCSD Graduate Student
On "SDEs with oblique reflection in nonsmooth domains", following Dupuis and Ishii.

10/31/02

10/31/02
Markus Hunziker  University of Georgia
Hilbert series and resolutions of determinantal varieties
AbstractThe Hilbert series of the graded ring associated to a projective variety contains a lot of information about the variety, {it e.g./}, dimension, degree, arithmetic genus etc. If the projective variety is nice then the Hilbert series can be (uniquely) writtenin the form $h(t)=f(t)/(1t)^n$, where $f(t)$ is a polynomial with nonnegative integer coefficients and $f(1)
ot =0$.In this talk we consider the Hilbert series of determinantal varieties (including symmetric and skewsymmetric determinantal varieties). These varieties arise naturally in many branches of mathematics, {it e.g.}, in classical invariant theory. We give an interpretation of the coefficients of the numerator $f(t)$ of the Hilbert series as dimensions of representations of certain compact Lie groups. (The presented work is joint work with Enright and is an extension of previous work by Enright and Willenbring.)
Nov

11/01/02
Markus Hunziker  University of Georgia
Chebyshev polynomials over finite fields and twodimensional additive cellular automata

11/01/02
Rob Kirby  UC Berkeley
Foliations and almost complex structures on 4manifolds

11/05/02
Henning Hohnhold
Ktheory and division algebras

11/05/02
Jiaping Wang  U. of Minnesota
Harmonic functions and applications to geometry III

11/05/02
Roummel Marcia  UCSD Post Doc
Convex Quadratic Approximations

11/05/02
Igor Rodnianski  Princeton University/Clay Institute
Dispersion in linear and nonlinear Schrodinger equation

11/06/02

11/07/02
Rabi Bhattacharya  Indiana University
Multiscale diffusions and their phase changes withtime

11/07/02
Deirdre Haskell  McMaster University
Valued fields and elimination of imaginaries
AbstractIn model theory, we study the definable sets in a structure.This becomes applicabe to another field of mathematics ifthe definable sets are the objects of study in that field.For example, the definable sets in an algebraically closed field are precisely the constructible sets, and hence thetools of model theory can be used in algebraic geometry.Mathematically, one also studies quotients, but this canbe a problem modeltheoretically, as the quotient by a definable equivalence relation in general cannot be expected to be definable. If every quotient can be identified with a definable set, we say that the structure eliminates imaginaries.Algebraically closed fields do eliminate imaginaries, but valued fields in general do not, at least in the simplest language for studying them. In this talk, I will explain the above ideas more precisely, discuss the obstacles to eliminatingimaginaries in valued fields, and describe the richer languagein which valued fields do eliminate imaginaries, as provedin recent work by myself, Ehud Hrushovski and Dugald Macpherson.

11/07/02
Harold Stark  UCSD
Stickelberger's Theorem for Gaussian Sums

11/07/02
Ilia Zharkov  Duke University
Integral affine structures on CalabiYau degenerations.

11/07/02
Walter Craig  McMaster University
Traveling water waves
AbstractI will describe an existence theorem for traveling waves in water. Thisis aproblem of the dynamics of a free surface of an incompressible fluid.The first suchresult in two dimensional settings is due to T. LeviCivita and D.Struik in the 1920's.In a recent paper we prove a general result for three dimensions (well,for anynumber of dimensions), when there is surface tension. The approach issurprisinglyclose to the Lyapunov center theorem of A. Weinstein, using the fact due toV. E. Zakharov that the water waves problem is a Hamiltonian system.Withoutsurface tension the problem exhibits small divisors, and is more difficult.

11/08/02
Ken Bromberg  Caltech
TBA

11/12/02
Rino Sanchez  UCSD Graduate Student
G_2 and F_4

11/12/02
Julie Mitchell  San Diego Super Computer
Constructing Rotation Sets that are Uniform Relativeto the Haar Measure on So(3)

11/12/02
Antony Wassermann  CNRS, Marseille/Luminy
Gkernels, borel cocycles, ergodic flows and loop groups

11/12/02
Dennis Bell  University of North Florida
Infinitely Degenerate Hypoelliptic Operators
AbstractWe give a criterion for the hypoellipticity of a class of differentialoperators of Hormander type$$L = 1/2sum_{i = 0}^n X_i^2 + X_0.$$Our criterion is weaker than the usual finitetype Hormander condition and allows for decencies of $L$ of exponential order on hypersurfaces in the ambient space. The methods of proof are probabilistic, being based upon an analysis of the regularity of the diffusion process driven by $L$. These methods are also used to study the Dirichlet problem associated with exponentially degenerate operators $L$.

11/12/02
Eric Rowell  UCSD Graduate Student
On the Decomposition Rules for $E_9$
AbstractWe consider the decomposition rules for the tensor powers of thesmallest representations of quantum groups of type E. For the caseswhere the rank is not 9, H. Wenzl has found uniform combinatorialbehavior for decomposing certain summands of the tensor powers usingLittelmann paths. From this he describes generators of part of thecentralizer algebras of these summands in terms of Rmatrices acting onpath spaces and thus obtains a 2parameter family of representations ofArtin's braid group that generalizes the BMWalgebras. In currentresearch, with an eye towards extending the results to the affine (rank9) case, we find a submodule of the tensor power whose simpledecomposition follows the same pattern as in the cases considered byWenzl. The summands we define have a finite decomposition, and we showthat the inclusion rules for these summands behave well with respect tothe Littelmann path formalism. We also note that the eigenvalues of theaction of the Rmatrices are predicted by Wenzl's formulas and we can safely follow his program for describing the centralizer algebra.

11/13/02
Justin Roberts  Professor, UCSD
Mathematical crystallography
AbstractA crystal is a shape which tessellates the plane (or space) in a periodicway, so that the pattern repeats at regular intervals in all directions.The group of symmetries (translational, rotational, reflectional) of sucha tessellation is called a crystallographic group. In two dimensions thereare exactly 17 different kinds of symmetry, the socalled "wallpapergroups", which I'll describe. I'll also talk about what happens in threedimensions, in hyperbolic space, and how you can make "quasiperiodic"tessellations (Penrose tilings) with fivefold symmetry.

11/13/02
Louis Nirenberg  Courant Institute, NYU
On the distance function to the boundary, cut locus and some Hamilton Jacobi equations

11/14/02
Murray Rosenblatt  UCSD
Some extended results in spectral analysis

11/14/02
Trung Ngo  MSRI and Hanoi Institute of Mathematics
Lattice polytopes and triangulations
AbstractLattice polytopes are polytopes with lattice vertices (points with integral coordinates). One can associate with lattice polytopes algebraic and geometric structures such as affine semigroup rings and toric varieties. The aim of this talk is to explain this relationship between combinatorics, algebra and geometry by means of triangulations which involve only the lattice points of the polytop

11/14/02
Kevin O'Bryant  UCSD
Almost Alternating Sums
AbstractOur good calculus students know that $sum_{n=1}^infty frac 1n$diverges and that $sum_{n=1}^infty frac{(1)^n}{n}$ converges. Ourvery good students can even explain why $sum_{n=1}^infty frac{(1)^{lfloor n /3
floor}}{n}$ converges. Our stellar calculusstudents may even be able to explain why $sum_{n=1}^infty frac{(1)^{lfloor log n
floor}}{n}$ diverges. In joint work withBruce Reznick and Monika Serbinowska, we show that $$sum_{n=1}^infty frac{(1)^{lfloor n sqrt{2}
floor}}{n}$$converges. Our proofs rely on Diophantine properties of $sqrt{2}$, and donot apply (for example) if $sqrt{2}$ is replaced by$frac{sqrt{5}+1}{2}$. 
11/14/02
Uli Wagner  (ETHZ)
On the Rectilinear Crossing Number of Complete Graphs

11/14/02
Chiara Sabatti  University of California, Los Angeles
Genomewide motif recognition with a dictionary model
AbstractBussemaker et al. (2000, PNAS) proposed the simple idea ofmodeling DNA non coding sequence as a concatenation of words and gavean algorithm to reconstruct deterministic words from an observedsequence. Moving from the same premises, we consider words that canbe spelled in a variety of forms (hence accounting for varying degreesof conservation of the same motif across genome locations).These ``words'' correspond to binding sites of regualtory proteins. Theoverall frequency of occurrence of each word in the sequence and theparameters describing the random spelling of words are estimated in amaximumlikelihood framework using an EM gradient algorithm. Once these parameters are estimated, it is possible toevaluate the probability with which each motif occurs at a givenlocation in the sequence. These conditional probabilities can be used to predict whichgenes experience similar transcription regulations. Gene expression data can be used tovalidate/refine such predictions.

11/15/02
Ralph Cohen
Loop spaces and string homology

11/19/02
Rino Sanchez  UCSD Graduate Student
F_4

11/19/02
Mark Gross  UCSD
GromovHausdorff convergence of CalabiYau manifolds

11/19/02
Liz Fenwick  UCSD Graduate Student
Tetrahedral mesh generation by Delaunay refinement

11/19/02
Gail Letzer  UCSD Visitor/Virginia Tech
Quantum zonal spherical functions and Macdonald polynomials
AbstractGiven a semisimple Lie algebra and one of its involutions, it is possible to construct a coideal subalgebra B in the Êquantized enveloping algebra U which is a quantum analog of the classical enveloping algebra of the fixed Lie subalgebra. We study the space of B biinvariants inside the associated quantized function algebra. Under the obvious restriction map, the space of biinvariants is proved isomorphic to the Weyl group invariants of the character group ring associated to the restricted roots. The quantum PeterWeyl decomposition and the classification of finitedimensional spherical modules associated to U,B implies that this space of biinvariants is a direct sum of onedimensional eigenspaces for the action of the center of U. When the restricted root system is reduced, we show that the zonal spherical functions, i.e. representations of each eigenspace, correspond to Macdonald polynomials under a standard

11/20/02
John Wavrik  UCSD
Groups 32  a group theory calculator
AbstractGroups 32 was developed to illustrate an approach to writing mathematical research software. It has also proved useful in helping students understand group theory and learn to become better at proving theorems.

11/21/02
Uri Keich  UCSD
On designing seeds for similarity search in genomic DNA
AbstractLargescale similarity searches of genomic DNA are of fundamental importance in annotating functional elements in genomes. To perform large comparisons efficiently, BLAST and other widely used tools use seeded alignment, which compares only sequences that can be shown to share a common pattern or "seed" of matching bases. The choice of seed substantially affects the sensitivity of seeded alignment, but designing and evaluating optimal seeds is computationally challenging. In this talk I will address some of the computational and mathematical problems arising in seed design.The talk will rely on joint work with: Ming Li, Bin Ma and John Tromp Jeremy Buhler and Yanni Sun

11/22/02
Ted Stanford  NMSU
TBA

11/25/02
Don Barkauskas  UC Berkeley
Centralizers in fundamental group of a graph of groups
AbstractThe fundamental group of a graph of groups is a concept thatgeneralizes both amalgamated free products and HNN extensions, twofundamental constructions in geometric group theory. Understanding thestructure of these constructions based on the structure of the componentgroups is an important topic. The centralizer of an element $gin G$ is the subgroup $Z_{G}(g) = { g'in G mid gg'=g'g}$, the set of all elements which commute with $g$. In this talk, I will introduce both algebraic methods (based on normal forms of elements) and geometric methods (based on actions ofthe group on graph theoretic trees) for computing the centralizers in thecases of amalgamated free products and HNN extensions.I also hope to indicate what we might expect to happen in the generalcase of fundamental groups of graphs of groups and to talk about somepossible generalizations of my work.

11/26/02
Justin Roberts  UCSD
E_8

11/26/02
David Meyer  UCSD
Quantum perceptrons?

11/27/02
Tucker McElroy  UCSD
Noise or Trend? Studies in Time Compression
AbstractTime compression affects the interpretation of data as either noise ortrend; hence by examining multiple time compressions of data streamssimultaneously, one may smooth out noise. This talk discusses some topicsrelated to time compression: noise versus trend, speed, fractality, nonzerosum game trading, a calculus of risky assets, and stochasticityversus complexity perspectives.

11/27/02
Kate Okikiolu  UCSD
Spectral zeta functions on Riemannian manifolds
Dec

12/03/02
Justin Roberts  UCSD
E_8

12/03/02
Jennifer Erway  UCSD Graduate Student
Preconditioning for indefinite linear systems

12/03/02
Van Vu  UCSD
Generalizing Turan
AbstractTuran's theorem is probably one of the most wellknown theorem in graph theory. Let k be a small integer, say 5, and n be a large integer. Turan showed that one must delete at least a $1/(k1)$fraction of the edges of the complete graph $K_n$ in order to destroy all cliques of size k. For instance, one must delete at least half of the edges to destroy all triangles. It is natural to study the problem for graphs other than $K_n$. A graph G on n vertices is called kTuran if one needs to delete at least a $1/(k1)$ fraction of the edges of G in order to destroy all kcliques in G. Which graphs are kTuran ? For instance, is the Paley graph 5Turan ? Despite the long and rich history of Turan's theory, which spans several decades, not much has been known about this question. Recently, Sudakov, Szabo, and Vu, based on earlier results of the last two researchers, found a general sufficient condition for a regular graph to be kTuran. We discovered a surprising connection between the kTuran property and the spectral of the graph: if the second eigenvalue of G is sufficiently small compared to the degree, then G is kTuran. In particular, good expanders have the Turan properties. The proof is completely elementary.

12/04/02
Yana Mohanty  Teaching Visitor
Construction of 3/4ideal tetrahedron out of ideal tetrahedra
AbstractI will start with an introduction to hyperbolic space and hyperbolictetrahedra. I will then show how to construct an arbitrary 3/4idealhyperbolic tetrahedron out of 10 ideal tetrahedra. There will be lots ofpictures and not many equations in this talk!

12/04/02
Zhiqin Lu  University of California, Irvine
On the WeilPetersson Geometry of CalabiYau moduli spaces

12/05/02
Magdalena Musat  UCSD
Noncommutative $BMO$ and inequalities for noncommutative martingales
AbstractNoncommutative conditional expectations and martingales arise inthe setting of von Neumann algebras, which are the naturalframework for noncommutative measure theory and integration.Analogues of classical martingale inequalities such asBurkholderGundy's square function inequalities and Doob'sinequality have recently been established for martingales innoncommutative $L_p$spaces by Junge, Pisier and Xu. They alsoproved the analogue of the classical duality between $H^1$ and$BMO$ of martingales. We will discuss interpolation properties ofnoncommutative $BMO$ and show that it is a natural substitute for$L_infty,.$ As an application we establish boundedness ofnoncommutative martingale transforms.

12/05/02
Lisa Carbone  Rutgers University
Trees and group actions
AbstractIf a group G acts on a tree X we may determine the precise structure of G byapplying machinery of Bass and Serre for reconstructing the group action. We use this to give structure theorems for certain subgroups of $SL_2 $ over a onarchimedean local field, and of groups associated to KacMoody Lie algebras over finite fields. Of special interest are lattice subgroups and their congruence subgroups.

12/06/02
Pablo A. Parrilo  ETH Zurich
Symmetry groups, semidefinite programs, and sums of squares
AbstractWe explore the geometric, algebraic, and computational implications of thepresence of continuous and discrete symmetries in semidefinite programs(SDPs). It is shown that symmetry exploitation allows a significantreduction in both matrix size and number of decision variables. To this end,we define a class of SDPs, that are invariant under the action of a finiteor continuous symmetry group. Using group averaging and linearrepresentation theory, it is shown that the feasible set can be restrictedto a specific invariant subspace, thus reducing the problem to a collectionof coupled semidefinite programs of smaller dimensions.We focus particularly on SDPs arising in the sum ofsquares/Positivstellensatz framework, where the group representation isinduced by an action on the space of monomials. It is shown that thecomplexity is significantly reduced, and the techniques are illustrated withnumerous examples. The results, reinterpreted from an invarianttheoreticviewpoint, provide a novel representation of nonnegative symmetricpolynomials. This alternative approach has as attractive features itscomputational efficiency and the natural connections with therepresentationbased approach developed earlier.Finally, the computational savings of the techniques are demonstrated insome largescale problems. It is shown how the symmetry reduction techniquesenable the numerical solution of complicated instances, otherwisecomputationally infeasible to solve.The material in the talk is based on joint work with Karin Gatermann (ZIBBerlin).

12/06/02
John Baez  University of California, Riverside
The vector cross product in dimensions 0, 1, 3 and 7

12/06/02
Pablo A. Parrilo  ETH Zurich
Informal discussions: Quantum entanglement and systems applications
AbstractWe explore the group of 2x2 determinant 1 matrices with coefficients inthe ring of integers Z as well as an analog obtained by replacing Z by thering of polynomials F[t] where F is a finite field. Decomposition theoremsfor these groups will be obtained using the actions of the groups ontrees, which are connected graphs having no cycles, such as that of degree3 a part of which is pictured above.REFRESHMENTS WILL BE SERVED!

12/10/02
Jamie Pommersheim  UCSD
Lower bounds on quantum query complexity

12/10/02
Csaba D. Toth  UC Santa Barbara
Binary space partitions for orthogonal fat rectangles
AbstractThe binary space partition (BSP) is a recursive cutting scheme for aset of n disjoint polygonal scenes in the Euclidean space. We split thespace along a plane into two parts and then we partition recursivelyboth parts until the interior of every space fragment is disjointfrom the polygonal scenes. The size of a BSP is the number of splitsmade. The efficiency of applications (in computer graphics andcomputational geometry) vitally depends on the size of the BSPs.Paterson and Yao proved that the size of the smallest BSP for nrectangles is $Theta(n^2)$ in the worst case; and $Theta(n^{3/2})$ if allrectangles are orthogonal. Later, Agarwal et al. showed that for northogonal fat rectangles there is a BSP of size n $2^{(log n)^{1/2}}$.(A rectangle is fat if its aspect ratio is bounded by a constant.) Inthis talk, I show that one can generate a BSP of size $O(n log^8 n)$ forn orthogonal fat rectangles, improving the bound of Agarwal et al.,using the new technique of overlays of BSP

12/11/02
Lisa Carbone  UCSD Visitor from Rutgers University
2x2 Matrix groups and trees
AbstractWe explore the group of 2x2 determinant 1 matrices with coefficients inthe ring of integers Z as well as an analog obtained by replacing Z by thering of polynomials F[t] where F is a finite field. Decomposition theoremsfor these groups will be obtained using the actions of the groups ontrees, which are connected graphs having no cycles, such as that of degree3 a part of which is pictured above.REFRESHMENTS WILL BE SERVED!