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
higher-order 3-manifold 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 3-manifold,we obtain new 3-manifold invariants. these invariants are closely relatedto the topology of the 3-manifold. 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 3-manifold fibering over $s^1$ and to a 3-manifold beingseifert fibered. moreover, we show that the $delta_n$ give computablealgebraic obstructions to a 4-manifold of the form $x x s^1$ admitting asymplectic structure even when the obstructions given by theseiberg-witten 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 3-manifold (this is alsoknown as the corank of the fundamental group of the 3-manifold)
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 so-called 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
higher-order 3-manifold 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, matrix-based 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
shu-cheng 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
higher-order 3-manifold 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 primal-dual interior-point 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 co-area formula for dirichlet spaces
-
10/17/02
keith conrad - ucsd
a non-analogy 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 non-analogy 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
abstractwhole-genome expression experiments provide the building blocks forunderstanding cellular control mechanisms underlying health anddisease, from cardiac function to learning and memory to oncogenesis.to put post-genomic information to work requires buildingbiophysically detailed, quantitative models for the biochemicalinteractions controlling cell behavior. such biochemical signalingnetworks form a class of high-dimensional, 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 calabi-yau manifolds
-
10/22/02
-
10/22/02
graham hazel - ucsd
octonion projective spaces
-
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 milnor-thom theorem
abstractwe discuss applications of the milnor-thom 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 sub-configurations. we discuss theimplications for unavoidable "stacked" sets of lines via theerdh{o}s-hajnal 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 two-dimensional weakly dissipative dynamical system withtime-periodic 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 two-sphere, 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 contact3-space. 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 \"gupta-sidki 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 product-sum 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 "gupta-sidki 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 product-sum 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
jiaping wang - u. of minnesota, visiting ucsd
harmonic functions and applications to geometry ii
-
10/29/02
graham hazel - ucsd graduate student
octonionic projective spaces
-
10/29/02
beate winkelmann - ucsd graduate student
preconditioners for karush-kuhn-tucker 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 non-smooth 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)/(1-t)^n$, where $f(t)$ is a polynomial with non-negative integer coefficients and $f(1)
ot =0$.in this talk we consider the hilbert series of determinantal varieties (including symmetric and skew-symmetric 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 two-dimensional additive cellular automata
-
11/01/02
rob kirby - uc berkeley
foliations and almost complex structures on 4-manifolds
-
11/05/02
henning hohnhold
k-theory 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 model-theoretically, 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 calabi-yau 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. levi-civita 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
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 finite-type 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
antony wassermann - cnrs, marseille/luminy
g-kernels, borel cocycles, ergodic flows and loop groups
-
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 r-matrices acting onpath spaces and thus obtains a 2-parameter family of representations ofartin's braid group that generalizes the bmw-algebras. 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 r-matrices 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 so-called "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 five-fold 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 2022年亚洲世界杯预选赛 know that $sum_{n=1}^infty frac 1n$diverges and that $sum_{n=1}^infty frac{(-1)^n}{n}$ converges. ourvery good 2022年亚洲世界杯预选赛 can even explain why $sum_{n=1}^infty frac{(-1)^{lfloor n /3
floor}}{n}$ converges. our stellar calculus2022年亚洲世界杯预选赛 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 amaximum-likelihood framework using an e-m 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
gromov-hausdorff convergence of calabi-yau 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 bi-invariants inside the associated quantized function algebra. under the obvious restriction map, the space of bi-invariants is proved isomorphic to the weyl group invariants of the character group ring associated to the restricted roots. the quantum peter-weyl decomposition and the classification of finite-dimensional spherical modules associated to u,b implies that this space of bi-invariants is a direct sum of one-dimensional 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 2022年亚洲世界杯预选赛 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
abstractlarge-scale 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, nonzero-sum 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 well-known 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/(k-1)$-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 k-turan if one needs to delete at least a $1/(k-1)$- fraction of the edges of g in order to destroy all k-cliques in g. which graphs are k-turan ? for instance, is the paley graph 5-turan ? 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 k-turan. we discovered a surprising connection between the k-turan property and the spectral of the graph: if the second eigenvalue of g is sufficiently small compared to the degree, then g is k-turan. in particular, good expanders have the turan properties. the proof is completely elementary.
-
12/04/02
yana mohanty - teaching visitor
construction of 3/4-ideal 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/4-idealhyperbolic 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 weil-petersson geometry of calabi-yau moduli spaces
-
12/05/02
magdalena musat - ucsd
non-commutative $bmo$ and inequalities for non-commutative martingales
abstractnon-commutative conditional expectations and martingales arise inthe setting of von neumann algebras, which are the naturalframework for non-commutative measure theory and integration.analogues of classical martingale inequalities such asburkholder-gundy's square function inequalities and doob'sinequality have recently been established for martingales innon-commutative $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 ofnon-commutative $bmo$ and show that it is a natural substitute for$l_infty,.$ as an application we establish boundedness ofnon-commutative 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 on-archimedean local field, and of groups associated to kac-moody 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 invariant-theoreticviewpoint, provide a novel representation of nonnegative symmetricpolynomials. this alternative approach has as attractive features itscomputational efficiency and the natural connections with therepresentation-based approach developed earlier.finally, the computational savings of the techniques are demonstrated insome large-scale 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
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/06/02
john baez - university of california, riverside
the vector cross product in dimensions 0, 1, 3 and 7
-
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!