Tulane Math Colloquium: Fall 2005

Colloquium: Spring 2006

Time & location: All talks are in Gibson 414 at 3:30 P.M. unless otherwise noted. Refreshments in Gibson 426 after the talk.

Spring 2006

Comments indicating vacations, special lectures, or change in location or time are made in red.

January 19

Speaker, Institution

"Title"

Abstract:

January 26

Thomas A. Garrity, Willians University

"On Writing Numbers: Multidimensional Continued Fractions and the Hermite Problem"

Abstract:
What is the best way of writing numbers? In particular, are there ways of writing real numbers as sequences of integers so that special properties of the real numbers can be easily seen from the sequence? For example, most of us usually express real numbers in terms of their decimal expansions. Here, a real number will be rational precisely when its decimal expansion is eventually periodic. One can also write a real number in terms of its continued fraction expansion, associating to each real number another sequence of integers. A number?s continued fraction expansion will be eventually periodic precisely when the number is a quadratic irrational (i.e., a number involving a square root). But what about other types of numbers, such as cube roots, fourth roots and other algebraic numbers? Is there some way of expressing real numbers as a sequence of integers such that periodicity is equivalent to being a cubic irrational or some other type of algebraic number? This is the Hermite Problem, which, in 1848, Hermite posed to Jacobi. While there have been many attempts to develop algorithms to solve this problem over the years, it is still quite open, and is, in fact, related to a number of different areas of mathematics. This talk will be about some recent geometric attempts to solve the Hermite Problem.

February 2

Dana S. Scott, Carnegie Mellon University

"Parametric sets and virtual classes"

Abstract:
In an axiomatic development of geometry, there is much convenience to be found in treating various loci as sets. Thus, a line corresponds to the set of all points lying on the line; a circle, to the set of all points on the circumference. Moreover, sets of sets are natural, say in considering pencils of lines or circles or conics. And families of pencils are used as well. Does geometry need a full set theory, therefore? In giving a negative answer, we shall consider higher-type sets introduced by parametric definitions with just finite lists of points as parameters. We will show how to formulate a simple axiomatization for such sets together with a notation for virtual classes. The objective is to have the USE of set-theoretical notations without the ONTOLOGY of higher-type logic or Zermelo- Fraenkel set theory.

February 9

Hans Weinberger, University of Minnesota,

"Some models for ecological invasions"

Abstract:
This lecture will introduce some properties of the solutions of a class of multispecies systems which model ecological invasions. The basic form of the system is a discrete-time recursion

u_n+1 = Q [u_n] Here Q is a translation-invariant monotone nonlinear operator on the class of continuous nonnegative vector-valued functions u(x) on an infinite habitat. If there is only one space dimension, then under a few conditions on Q it is shown that such a system has two asymptotic spreading speeds c^* ≤ c₊^* with the property that for any solution un whose initial data u₀ vanish for all sufficiently large x no component spreads more slowly than c^*, no component spreads more rapidly than c₊^*, and these bounds are sharp. The existence of traveling wave solutions w(x-nc) for every c ≥ c^* and the extension to higher space dimensions will also be discussed.

February 15
Wednesday
special day!

Carlos Castillo-Chavez, Arizona State University

"Mathematical Models and the Transmission Dynamics of Tuberculosis"

Abstract:
This lecture focuses on the joint research that I have carried out on the transmission dynamics of tuberculosis (TB) over the past 15 years. First a brief review on the use of models in the evaluation of epidemiological factors on the transmission dynamics (at the population level) of TB is provided. Efforts to explain the observed high levels of of latent TB and relatively low levels of active TB (using mathematical models) are presented. The presentation concludes with a quick glance at optimal vaccination strategies in the context of the study of communicable diseases like TB.

February 16

speaker, institution

"title"

Abstract:

February 23

Speaker, Institution

"Title"

Abstract:

March 2

Mardi Gras break

March 9

Speaker, Institution

"Title"

Abstract:

March 13
Special
"Pi Days"
Colloquium

Michael Joyce, Tulane University

"Approximating Pi"

Abstract:
People are often fascinated by pi. Learning the digits of pi is an obsession for some. But just how do we figure out the digits in pi's decimal expansion? And what about other ways to approximate pi? In this talk we will go over just some of the many ways that mathematicians have thought about pi and tried to wrap their minds around this enigmatic transcendental number.

March 16

Tom Beale, Duke University

"The Accuracy of Finite Difference Methods for Problems with Interfaces"

Abstract:
For problems formulated with differential equations, it is convenient to find numerical solutions at points on a regular rectangular grid. However, often the region of interest is irregular or changing. Some methods try to retain the simplicity of rectangular grids by making special corrections at a boundary. We will describe certain methods of this type, introduced by A. Mayo, R. LeVeque, Z. Li and others, for problems with interfaces, e.g., transmission through different media or a boundary separating two fluids. We will describe error analysis of these methods using an approach based on a discrete version of basic ideas in the theory of elliptic partial differential equations. We will review these ideas as needed. With grid spacing h, the error in the solution can be uniformly of order h², even if the error in the problem near the interface is of order h. We will see where this gain comes from. A few applications will be discussed.

March 23

Achim Jung, The University of Birmingham

"Classical Stone duality for classical spaces"

Abstract:

In 1936/37 Marshall Stone published his now-famous papers on therepresentation of Boolean algebras as fields of sets. In order to capture algebra homomorphisms as well, he equipped the representing set with a topology, thus demonstrating that point-set topology had applications outside analysis.

Surprising and fruitful as this discovery proved to be, one cannot deny that the topological spaces that arise as duals of Boolean algebras are rather "unusual", to be precise, they are totally disconnected (and compact Hausdorff). If one is interested in linking more common topological spaces with algebra then locale theory is the answer but the algebraic structures ("frames") are infinitary.

Against this well-established background, it is perhaps surprising that it is possible to link all compact Hausdorff spaces to finitary algebraic structures, very similar to Stone's original work. Even more surprising, perhaps, is the fact that this was discovered by working on the denotaional semantics of programming languages.

In this talk, I will re-trace the line of research that led to this and other Stone-type dualities, and also explain the link to locale theory, logic, and computer science. Time permitting, I will report on more recent joint work with Drew Moshier on dualizing objects for these dualitieswhich suggests that the correct general setting ought to be that of bitopological spaces.

March 30

Bob DeVaney, Boston University

"Cantor and Serpinski, Julia and Fatou: Crazy Topology and Complex Dynamics "

Abstract:

Topologists are used to looking at such complicated planar sets as Cantor bouquets, indecomposable continua, and Sierpinski curves. Each of these spaces has some very interesting and almost counter-intuitive properties. Often these spaces are considered as ``exceptions'' or counterexamples to specific topological constructions.

In this talk we will describe how each of these sets arise naturally and very often as the Julia sets of complex dynamical systems. We give specific examples of how infinitely many types of each of these sets arise in certain families of complex exponentials and rational maps. We also describe the rich dynamics that occur on each of these sets.

April 6

Jean-Luc Guermond, Texas A & M

"Nonlinear finite element approximation for first-order PDEs in L^₁"

Abstract:
An approximation technique for solving ﬁrst-order PDE’s in L^p,1 _≤p< +_∞is proposed. The method is a generalization of the Least-Squares method to non-Hilbertian settings. A priori and a posteriori error estimates are proven for well-posed linear problems. The results are extended to linear problems equipped with ill-posed boundary conditions.

The method extends to Hamilton-Jacobi as well. It is shown that for convex a Hamiltonian, the L1-approximate solution converges to the unique viscosity solution. This result holds on regular ﬁnite element meshs in dimension two using piecewise polynomials of arbitrary degree.

Numerical tests on nonlinear transport equations in L1 show that this type of technique can handle discontinuities without resorting to limiting procedures or upwinding.

April 13

Speaker, Institution

"Title"

Abstract:

April 20

Speical Colloquium

Gerard East, Southwestern Oklahoma State University

"The Writing Gambit in Math: A Small Success Story"

Abstract:

In a Technology in Math class at a regional university in western Oklahoma, the use of TeX had some unanticipated results in improving students' math writing skills. This example serves to illustrate several ideas in working with students in the setting of a regional university.

April 24

Speical Colloquium

Gregg Turner, Boise State University

"Creating a Curriculum in a Vacuum: The Strange and Terrible Saga of an Innovative, New Minority Mathematics Program Doomed to Failure in the Land of Enchantment"

Abstract:

In the fall of 2000, I was hired as an assistant professor in the mathematics department at New Mexico Highlands University, a small, regional public Hispanic-serving university in Las Vegas, New Mexico. Despite two competing offers from two other colleges at that time, I was attracted to the challenge of devising a rigorous, new high-level mathematics program at NMHU with the intent of recruiting talented Hispanic students in California and throughout the southwest (the local public school system in San Miguel County serving Highlands inadequately prepared its students for any semblance of continued study of science and math at the college level; when I arrived at Highlands we had only 4 math majors on board). I have a background in mathematics education as well as specialization in curriculum development in support of students of under-represented populations. Four years of arduous planning, creation of numerous new course syllabi, uncountable meetings with the school’s presidents (there were four, if you can believe, over a five year period !) and the Board of Regents, as well as close collaboration with a valued mentor, Professor Uri Treisman (Director of the Charles A. Dana Center in Austin, TX and one of the most respected mathematics education authorities in the country), paved the way for an auspicious debut, targeted for the Fall of 2005. We called the program, Computer and Mathematical Modeling. It was designed as a five-year interdisciplinary course of study culminating in a Bachelor of Science degree in both computer science and mathematics. I cemented commitment from the Los Alamos National Laboratory to sign on as an active partner; they enthusiastically agreed to sponsor paid student summer internships. And the NSF had indicated approval of a $2 million grant in support of the program. I recruited affiliation from over 15 community colleges throughout the southwest and (at last count) 120 Hispanic students with mathematical and/or computer science aptitude in California had expressed interest in jumping ship from suddenly pricey UC campuses and giving our curriculum a try.

And then Governor Bill Richardson nudged the appointment of a 30-year political crony in the state legislature with no academic background in his past to become the school’s president in the summer of 2004.

April 27

Math Month
Colloqiuim
Talk

Catherine Meadows, NRL

"Deriving Secrecy and Authentication in Key Establishment Protocols"

Abstract:
A key establishment protocol is a communication protocol by which principals obtain cryptographic keys in order to communicate securely. They are difficult to design correctly; one of the reasons is the mutually dependent nature of secrecy and authentication. Every authentication is based on some secrets, and every secret must be authenticated. This interdependency is a significant source of complexity in reasoning about security. We describe a method to simplify it, by encapsulating the authenticity assumptions needed in the proofs of secrecy and the secrecy assumptions needed in the proofs of authentication. While logically straightforward, this idea of encapsulation in general, and the present treatment of secrecy and authentication in particular, allow formulating scalable and reusable reasoning patterns about the families of protocols of practical interest. The approach came about as a design detail in an ongoing development effort towards Protocol Derivation Assistant (Pda), a semantically based environment and toolkit for derivational approach to security.

Links to other archived years...

Mathematics Department
Tulane University
6823 St. Charles Ave
New Orleans, LA 70118
phone: (504) 865-5727
fax: (504) 865-5063

Last Updated:August 29, 2006