 |
Vanderbilt Mathematics |
|
July 27.
Edray Goins, of the
Institute
for Advanced Study, School of Mathematics.
On the Multiplicative Properties of the Sums of Squares.
The product of any two integers which are sums of two
squares is again the sum of two squares, and, similarly, the product of
any two integers which are sums of four squares is again the sum of
four squares. We give some thoughts on where these formulas come
from; we also discuss the multiplicative properties of the polynomials
ax2+bxy+cy2
by considering the product of three integers
expressed in such a form. --
This talk will be elementary and accessible to undergraduates.
May 16. Doron
Lubinsky, of the
University
of Witwatersrand,
Johannesburg, South Africa.
A Pade Look at Continued Fractions: Some old, some new.
Every formal power series admits a formal continued fraction
expansion. This is the function theoretic analogue of the continued
fraction expansion of a positive real number. We discuss why they
are of practical and theoretical interest.
-- The convergents to the continued fraction are also Pade
approximants, and we examine the convergence of the continued
fraction from a Pade perspective. In particular, we survey old and
new convergence results, and the status of the Baker-Gammel-Wills
Conjecture. Will it be killed by Ramanujan's continued fraction?
May 12.
Quintang Jiang,
of the
University of Alberta.
The Design of Multiwavelets with Optimum Time-Frequency
Resolution.
In this talk first we will discuss the procedure to design
orthogonal multiwavelets with good time-frequency resolution.
Next, we give formulas to compute the time-durations and
the frequency-bandwidths of scaling functions and multiwavelets.
Later on we discuss the parameterization of symmetric orthogonal
multifilter banks. Finally, we show some results of image
compression with the optimal multiwavelets.
May 4.
Shinnosuke
Oharu, of
Hiroshima University.
Continuous and discrete models of phenotype evolution in
the ecosystem of red tide plankton.
Heterocapsa circularisquama are vegetative
plankton and form red tides because of active
proliferation in summer. Such red tides cause
mass mortality of bivalves. The coastal ocean is
considered complex multi-component fluid in
which the ecology of Heterocapsa is supported
by other living things and the physical states
depending strongly upon seasonal variations of
air-sea interactions, weather, water temperature,
salinity and water currents. Therefore it is not
straightforward to elucidate the ecosystem of
Heterocapsa in the ocean from the point of view
of a sole field of biology as well as other separate
fields of natural science.
April 27.
Bernd Schroeder, of
Louisiana
Tech University.
Using probabilistic formulas to predict the behavior of
search algorithms.
Many problems in mathematics and in applications can be
formulated as constraint satisfaction problems. Among these
problems are the question if a given ordered set has a fixed point
free self-map, the question if a graph has a Hamiltonian Cycle,
the n-queens problem, scheduling problems, etc. In particular,
constraint satisfaction problems (we will give a general definition)
are NP-complete and thus any known solution procedure
potentially requires exponential effort. ---
The standard search algorithms that are used to solve such problems
are backtracking and forward checking. In addition to these main
paradigms there are refinements of each algorithm, which may
have shorter search times. The problem now is that if a constraint
satisfaction problem is presented, one would like to know in advance
which algorithm is the fastest to solve the problem. In this fashion
one could automatically choose the "right" algorithm and save
computation time. ---
There are many approaches to this idea. The three main approaches
the speaker is aware of are
April 21.
Sigurd Angenent,
of the
University of Wisconsin, Madison.
Knot types of Closed Geodesics on surfaces via Curve Shortening.
Closed Geodesics on two dimensional surfaces trace out curves
which look like knot projections. One can ask which particular knot
projections must occur for a given metric, and it turns out that Curve
Shortening (a nonlinear heat equation) allows one to give a partial answer
to this question. In particular one can prove a global version of the
Poincare Birkhoff thoerem for area preserving twistmaps.
April 13.
Rong-Qing Jia, of
University of Alberta.
Wavelet Frames Generated by Multiresolution Analysis.
A multiresolution of the space of square integrable functions consists
of a family of scaled shift-invariant subspaces. The difference of two
consecutive shift-invariant subspaces is generated by a finite number of
wavelets. Under a very mild condition we show that these wavelets generate
an affine frame for the whole space. Our results are based on a study of
dual wavelet frames with compact support.
April 11.
Richard
Arenstorf,
Professor Emeritus at Vanderbilt University.
A Representation of the Riemann Zeta Function in Terms of
Parabolic Cylinder Functions.
April 7. Yurij Kryakin, of Odessa State Polytech
University (I.I. Mechnikov, Institute of Mathematics, Economics and
Mechanics), Ukraine, and
University
of Wroclaw, Poland.
Local approximation by polynomials.
The remarkable Whitney Theorem states that for each continuous on [0,1]
function f(x) there exists an algebraic polynomial of degree at most
n-1 such that the uniform norm of difference |f(x) - P(x)|
is dominated by the norm of nth divided differences with
some constant W(n) for n=1,2,.... --
Since 1957, a lot of research was done on estimating the values of
W(n). However, at the moment only asymptotic behaviors and exact
values for n<3 are known.
Recent progress in estimating of W(n) is connected with the
special methods of approximations ("approximation on the average").
The current status of the problem, open questions and the applications in
Approximation Theory, will be discussed.
April 6.
Palle Jorgensen, of
University of Iowa.
Construction of new wavelet filters, and their classification.
It is well known that wavelet filters satisfy a set of algebraic axioms, but
there aren't so far systematic ways of constructing examples that are dictated
by applications. Also when examples are constructed, it is often not clear
whether they are minimal. If they are given by a system of numbers, are there
redundancies, and can a given example be further decomposed in elementary
"building blocks". We first describe all the wavelet filters as a certain
infinite-dimensional unitary group, and we describe how that is effective in
constructing new examples, for example getting high-pass filters consistent
with a given low pass filter. We also provide a harmonic analysis which
resolves the question of equivalence, and elementary building blocks,
making precise the notion of irreducible cases. The theory will apply also
to scaling in several dimensions.
March 30.
Songmu Zheng, of the
University of Minnesota.
Maximal Attractors for Some Nonlinear PDEs.
In this talk I will report some recent progress in the study of the dynamics
for some nonlinear partial differential equations, including the coupled
Cahn-Hilliard equations, the phase-field equations of Penrose-Fife type arising
from the study of phase transitions, and also the system of nonlinear PDEs
describing the motion of a one-dimensional viscous and heat-conductive ideal
gas. These problems have the following new features regarding their dynamics:
March 28.
Derek Smith,
of
Lafayette College.
Factorization in the Composition Algebras.
This broadly-accessible talk will present some arithmetical and geometrical
results concerning the composition algebras, including new results based on a
nonassociative factorization algorithm appropriate for computations involving
the integral octonions. After introducing the composition algebras and some of
their geometrical properties, I will focus on the problem of understanding and
describing the factorizations of elements within certain rings of integers in
these algebras. In particular, if O is a maximal set of integers
in
a composition algebra and
r Î O
has norm [r] = m.n, I
will present an algorithm that leads to a precise geometrical description of
the set of all factorizations of
r
as r = ab, where
[a] = m and
[b] = n.
(Part of this work is joint with J. H.
Conway.)
March 22.
Laci Lovasz, of
Microsoft Research.
Critical graphs and facets of the
stable set polytope.
A graph is called alpha-critical
if deleting any edge
increases the number of independent nodes. Such graphs
have a very nice and tight structure, which was studied
in detail in the 70's. Another important notion is the stable
set polytope, the convex hull of incidence vectors of
independent sets of nodes. --
The starting point of this talk is the fact that
alpha-critical graphs give rise to facets of the stable set
polytope, and that several of their basic properties
can be generalized to facets. In particular, a known
classification of alpha-critical graphs with fixed "defect"
leads to a classification of facets with fixed
"integrality gap." --
The talk will survey the theory of alpha-critical graphs,
and then the new results on facets, which are joint work
with László Liptak.
March 16.
Archil
Gulisashvili, of Ohio University.
On the heat equation with a time-dependent potential.
The initial value problem for the heat equation with a
time dependent potential describes the time-evolution of
some quantity, diffusing in Rn in the presence of
time-dependent sources and sinks. We will discuss the
weak solvability problem for the heat equation with a
potential, the smoothing properties of the weak propagator,
and the integral representation formulas for the solutions,
including the celebrated Feynman-Kac formula.
March 15.
Oleg Davydov,
of the
University of Giessen, Germany.
Smooth Piecewise Polynomial
Multiresolution Analysis on Irregular Triangulations.
Both hierarchical bases and wavelets have as a prerequisite
a multiresolution analysis on the underlying nested sequence of
triangulations. The spaces of
piecewise polynomials are a natural tool for the construction of the
multiresolution analysis. In particular, if the bases are only required
to be continuous, usual finite-element spaces can be used.
In contrast to this, smooth conforming finite elements, such as Argyris
element, are not suitable due to the fact that the corresponding spaces of
piecewise polynomials are not nested.
--
The idea to make use of
the basis of the full space of C1-splines
Sd1(D) instead is
due to Dahmen, Oswald & Shi (1994). However, the Morgan-Scott basis
for Sd1(D)
used in their work appears to be instable
if the triangulations have so-called near-degenerate edges and
near-singular vertices. Therefore, the triangulation has to be refined
in such a way (e.g., uniformly) that these geometrical configurations do not
appear.
--
We discuss a recent construction (joint work with L. L. Schumaker)
of a stable local basis for C1 and, more general,
Cr-splines, r³1,
which can be used to build stable multiresolution
analyses on arbitrary nested sequences of triangulations, with the only
restriction that the smallest angle of the triangles is controlled.
In particular, this construction applies to adaptively refined
triangulations.
February 17.
Qiyu Sun, of the
National University of Singapore.
Finitely Generated Shift-Invariant Spaces.
For any vector-valued compactly supported function
F = (f1,...
fr)T,
define the corresponding semi-convolution
F*¢ on
(l)r by
In this talk we will focus on the probabilistic analysis of the constraint
network and how it can be used to predict search time. The probabilistic
analysis would also allow us to give an estimate how likely it is that the
problem has a solution at all. ---
We will exhibit the ideas behind a probabilistic analysis, the need to
generalize these ideas and combine them with heuristic (or other)
analysis of related problems and some experimental data on randomly
seeded constraint satisfaction problems using different seeding mechanisms.
The talk connects Mathematics and Computer Science and should be
understandable to graduate and advanced undergraduate students in
either field.
In this talk I will present a new approach to deal with the above
difficulties. Then we will focus our attention to the coupled
Cahn-Hilliard equations and show that for any given constants b1 > 0,
b2, a
sequence of closed subspaces
U(b1,b2) is found, and the existence of a compact
maximal attractor in U(b1,b2) is proved.
![[insert equation here]](00_02_17.gif)
January 27. Emmanuele DiBenedetto, of Northwestern University. On the local behavior of solutions of some degenerate/singular parabolic equations. Models of flow of multiple immiscible fluids in a porous matrix and/or phenomena of multiple transitions of phase, result into quasi-linear parabolic equations, with measurable coefficients and exhibiting multiple singularities and/or degeneracies. -- I will discuss the problem of the continuity of the transition parameters, for example saturation in the flow of immiscible fluids or temperature in isothermal phase transitions. -- We review and summarize the main points of the theory and will present some recent results in this direction, pointing to the new mathematical tools generated by these investigations.
January 17. Peter Jipsen, of University of Cape Town and Vanderbilt University. Computer assisted research in universal algebra and logic. In this talk I will present some of the tools that I have used in my research and discuss some of the results that have been proved using them. In the first part I will consider general purpose tools that are currently available for mathematical research, such as automated/interactive theorem provers and computer algebra packages. After a few examples illustrating their use in recent research topics, I will examine some special purpose algorithms and approaches in universal algebra and logic that I have used over the past decade (e.g. searching for finite algebras, completing partial algebras and sandwich structures, searching for winning strategies in logical games, calculating free algebras in finitely generated varieties). If time permits, I will demonstrate a few programs that I have written.
January 12. Paul Edelman, of the School of Mathematics, University of Minnesota. The Poset of Cellular Strings of a Polytope. Let P be a polytope and l a linear functional that takes on distinct values on the vertices of P. A monotone path in P (with respect to l) is a sequence of vertices such that