**
COLLOQUIUM **

of the

Mathematical Sciences Group

at the Department of Computer
Science

University of Saskatchewan

Colloquium chair: Salma Kuhlmann

Friday, November 30, 2001, 3:30 p.m.

**Professor Gordon
Sarty
Department of Psychology,
Saskatoon**

gave a talk on

This event was organized jointly with the Cognitive and Neurosciences Seminar Department of Psychology.

Friday, January 4, 2002, 3:30 p.m.

**Professor Eric Neufeld
Department of Computer Science,
Saskatoon**

gave a talk on

Friday, January 11, 2002, 4:00 p.m.

**Professor Patrick Browne
Saskatoon**

gave a talk on

This talk gave an overview of results concerning existence and asymptotes of eigenvalues, and oscillation theory for Sturm-Liouville problems of the type

with boundary conditions

at x=0: (py'/y)(0) = cota

at x=1: (py'/y)(1) = g(l)

for various functions g(l).

Friday, January 25, 2002, 3:30 p.m.

**Professor Bruce Watson
University of Witwatersrand, South Africa (presently visiting U of S
and U of C)**

gave a talk on

Friday, March 1, 2002, 3:30 p.m.

**Dr. Roland Auer
Saskatoon**

gave a talk on

The Legendre elliptic curve with parameter l is given by the equation

When considered over a finite field (of odd characteristic), it specifies a finite abelian group containing a 2x2-subgroup. Joint work with Jaap Top revealed that, vice versa, (almost) every possible group order (of an elliptic curve) which is divisible by 4 can be realised by a Legendre model. Since the Legendre family is given by only one parameter, this simplifies the search for elliptic curves with an order suitable for ElGamal's public key cryptosystem.

Another application is to coding theory:

The mentioned result implies the existence of a genus 3 curve with many
points over every finite field having a 3-power number of elements.
Using Goppa's construction then yields an error-correcting code with
good parameters.

Friday, March 15, 2002, 3 p.m.

**Professor Holger Teismann
Saskatoon**

gave a talk on

Optical systems which exhibit bistability - i.e., which respond to a given input by two stable output states - can serve as optical switches and data storage devices and therefore as potential building blocks of all-optical computers. The purpose of this talk is to describe the occurence of optical bistability in a feedback configuration (ring cavity) with a nonlinear optical medium. The mathematical model consists of an infinite-dimensional dynamical system, defined by a sequence of solutions to a nonlinear Schroedinger equation.

Friday, March 22, and Saturday, March 23, 2002

Friday, April 5, 2002, 3:30 p.m.

**Professor
Keith
Promislow
Indiana University**

gave a talk on

The transparency and the weak nonlinear and dispersive properties of fiber optic glass make it ideal for pulse propagation over great distance, but very poor for manipulation of coherent radiation. It is the strong nonlinear and dispersive properties of Chi-2 optical crystals which make them well suited for building the switches and routers of optical networks. The tunability, or optical parametric resonance, afforded by these devices corresponds to a rich class of mathematical models for three-wave interaction. I will give an overview of a rigorus mathematical treatment of pulse-pulse interactions and surprisingly robust transverse pattern formation in these important devices.

Friday, April 19, 2002, 3:30 p.m.

**Professor Murray Marshall
The Mathematical Sciences Group, Department of Computer Science**

gave a talk on

Recently progress has been made (by N.Z. Shor, P.A. Parrilo, P. Parrilo & B. Sturmfels and by J.B. Lasserre) in the development of fast algorithms for optimizing polynomials. The main idea is to relax the problem to a simpler problem (involving sums of squares and moment sequences) which can be solved by semidefinite programming. The method has potential application in control theory, for example. In most cases the method produces exact results and dramatically outperforms existing algebraic methods. The talk, which is a survey of this work, involves a nice mixture of real algebraic geometry, functional analysis and optimization.

Friday, April 26, 2002, 3:30 p.m.

**Professor
Doug
Farenick
University of Regina**

gave a talk on

A variant of the arithmetic-geometric mean inequality is Young's inequality: if p,q are positive real numbers such that 1/p + 1/q = 1, then |ab| is less or equal to 1/p |a|

Friday, May 3, 2002, 3:30 p.m.

**Professor Chris Soteros
The Mathematical Sciences Group, Department of Computer Science**

gave a talk on

Friday, May 10, 2002, 2 p.m.

**Professor Winfried
K. Grassmann
Department of Computer Science,
Saskatoon**

gave a talk on joint work with Dr. Steve Drekic, Department of Statistical and Actuarial Science, University of Waterloo:

The model considered in this paper involves a tandem queue with two waiting lines, and as soon as the second waiting line reaches a certain upper limit, the first line is blocked. Both lines have exponential servers, and arrivals are Poisson. The objective is to determine the joint distribution of both lines in equilibrium. This joint distribution is found by using generalized eigenvalues. Specifically, a simple formula involving the cotangent is derived. The periodicity of the cotangent is then used to determine the location of the majority of the eigenvalues. Once all eigenvalues are found, the eigenvectors can be obtained recursively. The method proposed has a lower computational complexity than all other known methods.

Thursday, May 23, 2002, 3:30 p.m.

**Professor Allen Herman
University of Regina**

gave a talk on

A crossed product algebra over a field K is a special type of central simple algebra over K that comes with a nice presentation in terms of a Galois extension and a cocycle of its Galois group. Being a central simple algebra over K, it follows from the Artin-Wedderburn theorem that each crossed product algebra is isomorphic to M

In this talk we will illustrate this classical theory by working through some Schur index calculations. We will conclude with indications of the connections between these classical ideas and some modern work concerning Brauer groups, Galois cohomology, and G-algebras.

Friday, May 24, 2002, 3:30 p.m.

**Professor Javad Tavakoli
Saskatchewan Indian Federated College (SIFC)**

gave a talk on

In this talk we will show that the class of maps generated by dense subobjects for a given Grothendieck topology on a partially ordered set P consists of maps which are "small" in the Joyal-Moerdijk sense. We use this to construct a dense sup-lattice within P. Then we show that the collection of these sup-lattices is a completion of P.

Friday, May 31, 2002, 3:30 p.m.

**Professor Patrick Browne
The Mathematical Sciences Group, Department of Computer Science**

gave a talk on

Staeckel determinants are determinants of real valued functions which arise in linked systems of ordinary differential equations. They have a special form in that the functions in the ith row of the determinant are functions of the variable x

*Last update: January 26, 2008
--------- created and maintained by Franz-Viktor Kuhlmann
*