Western Kentucky University

23rd Annual Mathematics Symposium

November 21-22, 2003

Mathematics from Zero to Infinity:

Elementary Topics which Recur in Advanced Settings



ABSTRACTS
All times are Central Standard Time

(The program is also available online.)

The code (U), (G), or (F) after the speaker's affiliation indicates whether the speaker is an Undergraduate, Graduate student, or Faculty member.





Contributed Presentations:

6:00 - 6:20 Friday. TCCW 125 C
Buddy Lagani, Western Kentucky University (U)
On the Cardinality of a Collection of Topologies

A topology may be generated on a finite set by manipulating a quasi-order relation on that set.  We will discuss the relationship between these order
relations and the topologies that may be imposed on a finite set.  Finally, we will describe methods for determining the number of topologies on a given set.

6:00 - 6:20 Friday. TCCW 129
Noah Clemons, Vanderbilt University (U)
From Coarse to Finest Level: An Exploration of Uni/Multi Wavelets

In keeping light of the conference theme, I plan to show how elementary wavelet transforms (i.e. Haar and Daubechies) carry analogous properties that are effective for imaging and computer vision. High resolution data sets will be used to show how these transforms become powerful tools for image analysis. I will then show how the basic properties of Haar and Daubechies wavelets are assumed by the GHM family of multiwavelets. No previous knowledge of wavelet theory is needed, as I plan on making this a very visual demonstration. The premise underlying all visual aids will be how Haar's initial device to study the L2 space has become the cornerstone for one of the "hottest fields" in mathematics today.

6:00 - 6:20 Friday. TCCW 116
Christopher Winfield, Western Kentucky University (F)
Quantum Scattering and the Lippmann-Schwinger Equation

Two-particle potential scattering in the 3-dimensional quantum situation will be introduced by a heuristic derivation of the related Lippmann-Schwinger integral equation. Then, more rigorous connections to scattering wave operators and to the spectrum of the Schroedinger operator involving so-called Rollnik potentials will be discussed. Modifications of techniques for Rollnik potentials to study non-Rollnik potentials will also be discussed.

6:25 - 6:45 Friday. TCCW 125 C
Jonny Groves, Western Kentucky University (G)
Absolutely Flat Idempotents

A real n-by-n idempotent matrix A with all entries having the same absolute value is called absolutely flat. The possible ranks of such matrices are considered along with a characterization of the triples: size, constant, and rank for which such a matrix exists. Possible inequivalent examples of such matrices are also discussed.

6:25 - 6:45 Friday. TCCW 129
Bruce Kessler, Western Kentucky University (F)
Undergraduate Mathematics Never Goes Away: A Differentiable, Orthogonal Scaling Vector

The purpose of the talk is two-fold: I would like to illustrate a new scaling vector I recently developed and its application to digital image compression, and, at the same time, I would like to illustrate the importance of the mathematical content in our undergraduate courses in the discovery. The issues in finding the scaling vector, finding a useful prefilter, and applying the basis to digital images will be discussed and explained. In the course of the explanation, I (possibly we) will identify the undergraduate mathematics content that made the discovery possible. Although reporting on a fairly high-level result, the talk will be at an undergraduate level. Specialized definitions and theorems related to wavelet theory will be illustrated visually, so that no special background in wavelets is required.

6:25 - 6:45 Friday. TCCW 116
Jamie Johnson, Western Kentucky University (G)
Representing Numbers with Continued Radicals.

It is well-known that the golden ratio can be represented as the continued radical; other continued radicals of this form are examined. An algorithm for creating a continued radical to represent any given number is explored, and Mathematica code for approximating such representations is discussed. Further results involving continued radicals are also presented.


7:00 - 7:20 Friday. TCCW 125 C
Anne M. Raymond, Bellarmine University (F)
Prime Numbers, Generalization, and Problem Solving in Mathematics Education

In a mathematics course for people preparing to be elementary teachers, my primary objective is to have students revisit topics that they will ultimately teach at the elementary level. However, they are challenged to revisit these elementary topics from a much more advanced perspective. In keeping with the theme of "elementary topics which recur in advanced settings," I plan to share some of my favorite problem-solving activities from this course related to understanding prime numbers. These activities and problems are specifically designed to have students engage in elementary topics from a more adult,
problem-solving, understanding. They focus on generalizations of prime factorizations, classifications of numbers by prime factorization, and proofs related to primes.

7:00 - 7:20 Friday. TCCW 129
Matt Estes, Tennessee Technical University (G)
An Introduction to the Theory of Formal Languages and Parsing

The notion of Formal Languages and their grammars will be introduced and defined and their relevance to mathematics and other fields explained. The topic of parsing will be introduced as an algorithmic method of exploiting the information contained in the grammar to reconstruct a particular sentence from the Language.  This talk will be based on material in the first three chapters of "Parsing Techniques: A Practical Guide" by Grune, et al. freely available online at: http://www.cs.vu.nl/~dick/PTAPG.html.  Material will also be presented from "Grammars for Programming Languages" by Cleaveland as well as "A Decidability Criterion for van Wijngaarden Grammars" by P. Deussen, Acta Informatica, vol. 5, pg. 353-375.


7:00 - 7:20 Friday. TCCW 116
Mark P. Robinson, Western Kentucky University (F)
Taylor's Theorem for Functions of Several Variables

Taylor's Theorem for functions of a single variable is a standard topic in undergraduate calculus. In this presentation we review the single-variable case and then consider the higher-dimensional analogue, Taylor's Theorem for functions of several variables. The basic theory, illustrative examples, and an application of interest will be examined.

7:25 - 7:45 Friday. TCCW 125 C
Amber De More, Austin Peay State University (U)
Mathematics as a Language Course.

In this paper, we discuss mathematics as a language course. The necessity for such a course through examples of discrepancies between mathematics and English is emphasized. Furthermore, it is revealed that the average student on today's college campus misses these discrepancies and an attempt is made to raise the level of awareness of the content of such a course. In particular, we will address specifically the ideas to be taught, methods for teaching such a course and a suggestion for the way it ought to be graded. Finally, we will conclude with statistics on the effectiveness of this course and include a few quotations from students of this course as well as from those who have taught it.

7:25 - 7:45 Friday. TCCW 129
Deane Arganbright, University of Tennessee at Martin (F)
Mathematical Modeling with Excel: Creative Models Linking Fundamental Mathematics and Stimulating Applications

We give a brief presentation of how fundamental mathematical ideas are incorporated into significant modeling procedures through Microsoft Excel. Illustrative models are designed using difference equations and incorporating animated spreadsheet graphics. Illustrations will come from growth and related models with a brief look at chaos examples.

7:25 - 7:45 Friday. TCCW 116
Nick Newman, Troy State University (U)
New Harmonious Labelings of Graphs

Let G = (V,E) be a simple graph in which |V| = n and |E| = m. G is said to be harmonious if there is an injection f:V -> { 0,1, . . . , m-1 } such that for two adjacent vertex-pairs x,y and u,v, [f(x) + f(y)] mod(m) * [f(u) + f(v)] mod(m). When trees or graphs involving trees are under consideration, it is permissible for the function to map exactly one pair of vertices to the same number. In this work, we demonstrate such a function for the disjoint union of an odd cycle and a path on three vertices, thus proving that it is a harmonious graph.




Invited Lecture
8:05 - 8:55 TCCW 129

Paul Sally, Jr., University of Chicago
Triangles, Polygons, and Shmuzzles

We discuss the general concept of tessellation and some of the more interesting results.


Contributed Presentations Saturday, November 22

8:30-8:50 Saturday. TCCW 125 C
Chris Christensen, Northern Kentucky University (F)
Blowing-up Points?

We begin with the problem of integrating functions f(z) that have multiple branches--a problem that Riemann solved (1851) by means of the introduction of the Riemann surface. Riemann imagined the surface being a number of sheets lying above the complex plane. On each of the sheets, the function would have only one value. That problem connects with algebraic geometry in 1863 with Cremona's investigation of birational transformations of algebraic curves f(x, y)=0. Algebraic geometers desired to have an algebraic method of separating points. This is often referred to as "blowing-up points."

8:30-8:50 Saturday. TCCW 129
Sheena Richards, Troy State University (U)
Strategies for Another Variation of Nim

In this talk the speaker generalizes a variation of the game called Nim, and then examines winning strategies for each player. Among the topics discussed are:
1. For what number of pebbles can the players be guaranteed a "fair game?"
2. For what number of pebbles are the outcomes of the game predetermined?
3. Upper and lower bounds for the size of the largest pile.
4. Patterns, conjectures, and counter-examples for generating "closed sets."

8:30-8:50 Saturday. TCCW 116
Jean-Claude Evard, Western Kentucky University (F)
Polynomials Whose Roots and Critical Points Are Integers

The problem of finding properties, characterizations, and methods of construction of polynomials whose coefficients, roots, and critical points are integers is on the list of unsolved problems published in the December 1999 issue of The American Mathematical Monthly. Such polynomials are called nice polynomials. The earliest paper on this subject was published by Karl Zuser in 1963. The most important paper was published by Ralph Buchholz and James MacDougall in the Journal of Number Theory in January 2000. Their paper contains a comprehensive bibliography on the subject, where we just need to add the most recent continuation of their work published by Eugene Flynn in 2001, and the paper published by Johann Walter in 1987.

In this talk, we will present a new method to deal with nice polynomials, and we will present new properties and examples obtained with our method. While there is still a long way to go to find a complete description of the set of nice polynomials, we have obtained a lot of new results in a short time, thanks to our new method, and it seems that many more results can be obtained in the near future. Copies of our paper, submitted for publication last July, will be available after the talk.

8:30-8:50 Saturday. TCCW 125 B
Christopher McMahan, Austin Peay State University (U)
A Collocation Method for a Special Class of Higher Order Differential Equations

In this paper, a collocation method constructed using canonical polynomials as basis functions is studied for a special class of higher order differential equations. The method is applied iteratively to solve initial value problems, for instance, the nonlinear pendulum problem that is otherwise solved by linearization. Pertaining to boundary value problems, the method is applied directly using Gaussian elimination with partial pivoting for linear boundary value problems and the modified Newton-Raphson method for nonlinear boundary value problems. The convergence analysis of the method is discussed and numerical examples are given which shows the accuracy of the method.

8:55-9:15 Saturday. TCCW 125 C
Jesse Pratt, Northern Kentucky University (U)
Symmetry Analysis of a Generalized KdV Equation

Symmetry analysis is a very powerful method for solving nonlinear partial differential equations. The KdV equation is one of the more celebrated of these equations. This talk will discuss symmetries of this equation and a reduction for a special case.

8:55-9:15 Saturday. TCCW 129
Kathy Cash, Brescia University (U)
Probabilities in the Game of Monopoly

Using the ideas of steady state probability, I have attempted to calculate the probability of landing on each of the spaces of a Monopoly game board. By using the rules of the game and making a few assumptions, I wrote state equations for each of the spaces and used Mathematica to solve these equations. Finally, I take a look at the assumptions that I made and the problems these may have caused my answer and I also touch on some other ways in which I could extend the problem.


8:55-9:15 Saturday. TCCW 116
Haslinda Ibrahim, Southern Illinois University at Carbondale (G)
Orthogonal Latin Squares

The study of orthogonal latin squares goes back to 1782 when Euler considered the famous Euler Officer Problem. This famous problem has inspired mathematicians to further investigate orthogonal latin squares. Recently Gary L. Mullen suggested that the orthogonal latin squares will be a possible candidate for the "next Fermat problem". Thus, in this paper we will explore diverse aspects of orthogonal latin squares.




Invited Lecture
9:30 - 10:20 Saturday. TCCW 129

Bernd Schröder, Louisiana Tech

Order from 0 to w + 1

Order relations abound in mathematics. Yet order is often taken for granted. The natural, rational and real numbers as well as the integers are linearly ordered. Order properties are often used in passing (such as when proving the squeeze theorem) and when order is mentioned, one usually thinks of a linear order in which all elements are comparable to each other.

This talk shall give a flavor of the theory that arises once incomparability of (pairs of) elements is allowed. (Nonlinear) order relations occur, for example, whenever (set) containment is investigated. Via Zorn's Lemma (and via the continuum hypothesis, which is about linear orders), order-theoretical notions are near the heart of set theory. Simple-sounding tasks, such as counting the number of possible order relations for an n-element set, are actually quite hard (there still is no exact formula). In analysis, the ordering of function spaces allows the proof of existence theorems for solutions of certain types of integral equations. This list of observations about orders can and will be extended, in a coherent fashion, as close to w as the speaker's ability and the audience's patience will allow.


Contributed Presentations Saturday, November 22


10:30 - 10:50 Saturday. TCCW 125 C
Ben Harwood, Northern Kentucky University (U)
Extensions and Enlargements of Groups

Group extensions play a pivotal role in group theory, even though most people don't realize they are working with them. In this talk, we will give a quick intorduction to group extensions, then generalize the concept to a group enlargement, and finally show that extensions and enlargements of quasi p-groups by quasi p-groups are again quasi p-groups.

10:30 - 10:50 Saturday. TCCW 129
Mark Walters, Miami University (U)
Arc Length and Surface Area - Are We on the Same Page?

In calculus textbooks, formulas are developed for the length of a curve in the plane and for the area of a surface in three-space. Many textbooks, including Stewart's calculus book that we use at Miami University, take different approaches to these two very similar mathematical situations. One approach connects the dots along a curve to get a polygonal approximation, while the other approximates via tangential considerations. This raises the question of why we don't take the same approach in both situations. We shall look at these differing approaches, compare them, and prove that each leads to the expected mathematical conclusions. Upon doing so, we remain with the curiosity of this common inconsistency in many calculus textbooks.

10:30 - 10:50 Saturday. TCCW 116
Jeffrey L. Overbey, Southeast Missouri State University (U)
The Order of GL(d, Z/mZ) and Its Involutory Subset

The group GL(d, Z/mZ) arises frequently, particularly in applications such as the Hill cipher. We develop a proof of the order of this group using only undergraduate mathematics, considering first the case of a prime modulus, then the cases of prime power and composite moduli. We briefly review results from the literature on the order of this group's involutory subset. Finally we observe the effects of change in dimension and modulus on the numbers of involutory, invertible and general matrices.

10:55 - 11:15 Saturday. TCCW 125 C
Jason Harrington, Western Kentucky University (U)
Distances in Cantor-Like Sets

It is well-known that any number in [0,1] can be realized as the distance between two points of the Cantor set. We investigate whether every number in [0,1] can be realized as the distance between points of Cantor-like sets formed by removing sections other than middle thirds.

10:55 - 11:15 Saturday. TCCW 129
Claus Ernst, Western Kentucky University (F)
What Kind of Knot Can You Tie with a Rope of Fixed Length?

Given a rope of fixed length and a fixed knot K, a natural question one can ask is: Can I tie the given knot K with the given rope? How do I know whether my rope is too short to tie the knot K? There will be lots of nice pictures and no proofs. The talk is intended to give you an overview. This problem is easy to state but it is actually very difficult to solve for even the simplest knot.

10:55 - 11:15 Saturday. TCCW 116
Jerzy Wojdylo, Southeast Missouri State University (F)
The Density of Invertible Matrices Over Zm

Following the formula for the cardinality of GL(d, Z/mZ), we define a function that expresses the "density" of the invertible d¥d matrices in the ring of all d¥d matrices over Zm. We investigate properties of this function, in particular its behavior when the modulus m is prime or many prime divisors, when dimension d of the matrices is large and suggest some further investigations of the graph of this function.




Invited Lecture
11:25 - 12:15 TCCW 129

Paul Sally, Jr., University of Chicago

Problems in Mathematics from Zero to Infinity

We begin with some very elementary problems in mathematics which lead to very sophisticated ideas in a short period.


The Department of Mathematics gratefully acknowledges funds from the MAA NSF-RUMC (NSF Grant DMS-0241090) for support of student speakers.


The Department of Mathematics wishes to thank the following companies for their support and participation. Please visit their displays in TCCW 125 A

Brooks/Cole

Addison Wesley

W. H. Freeman

McGraw-Hill

Birkhauser