Scientific

Fast and Somewhat Accurate Algorithms

Speaker: 
Chai Wah Wu
Date: 
Wed, Aug 5, 2015
Location: 
Institute for Mathematics and its Applications
Conference: 
PIMS-IMA Math Modeling in Industry XIX
Abstract: 

In applications such as image processing, computer vision or image compression, often times accuracy and precision are less important than processing speed as the input data is noisy and the decision making process is robust against minor perturbations. For instance, the human visual system (HVS) makes pattern recognition decisions even though the data is blurry, noisy or incomplete and lossy image compression is based on the premise that we cannot distinguish minor differences in images. In this project we study the tradeoff between accuracy and system complexity as measured by processing speed and hardware complexity.

Knowledge of linear algebra, computer science, and familiarity with software tools such as Matlab or Python is desirable. Familiarity with image processing algorithms is not required.

Fig. 1: error diffusion halftoning using Shiau-Fan error diffusion

Fig. 2: error diffusion halftoning using a single lookup table

References:
1. Wu, C. W., "Locally connected processor arrays for matrix multiplication and linear transforms," Proceedings of 2011 IEEE International Symposium on Circuits and Systems (ISCAS), pp.2169,2172, 15-18 May 2011.

2. Wu, C. W., Stanich, M., Li, H., Qiao, Y., Ernst, L., "Fast Error Diffusion and Digital Halftoning Algorithms Using Look-up Tables," Proceedings of NIP22: International Conference on Digital Printing Technologies, Denver, Colorado, pp. 240-243, September 2006.

Class: 

Disconnecting the G_2 Moduli Space

Author: 
Johannes Nordstrom
Date: 
Tue, Jul 7, 2015
Location: 
PIMS, University of British Columbia
Conference: 
PIMS Symposium on the Geometry and Topology of Manifolds
Abstract: 
Little is currently known about the global properties of the $G_2$ moduli space of a closed 7-manifold, ie the space of Riemannian metrics with holonomy $G_2$ modulo diffeomorphisms. A holonomy $G_2$ metric has an associated $G_2$-structure, and I will define a Z/48 valued homotopy invariant of a $G_2$-structure in terms of the signature and Euler characteristic of a Spin(7)-coboundary. I will describe examples of manifolds with holonomy $G_2$ metrics where the invariant is amenable to computation in terms of eta invariants, and which are candidates for having a disconnected moduli space. This is joint work in progress with Diarmuid Crowley and Sebastian Goette.
Class: 

Universal torsion, L^2-invariants, polytopes and the Thurston norm

Author: 
Wolfgang Lück
Date: 
Thu, Jul 2, 2015
Location: 
PIMS, University of British Columbia
Conference: 
PIMS Symposium on the Geometry and Topology of Manifolds
Abstract: 
We introduce universal torsion which is defined for $L^2$-acyclic manifolds with torsion free fundamental group and takes values in certain $K_1$-groups of a skew field associated to the integral group ring. It encompasses well-know invariants such as the Alexander polynomial and $L^2$-torsion. We discuss also twisted $L^2$-torsion and higher order Alexander polynomials which can also be derived from the universal invariant and assign certain polytopes to the universal torsion. This gives especially in dimension 3 interesting invariants which recover for instance the Thurston norm.
Class: 

Introduction to the Farrell-Jones Conjecture

Author: 
Wolfgang Lück
Date: 
Tue, Jul 7, 2015
Location: 
PIMS, University of British Columbia
Conference: 
PIMS Symposium on the Geometry and Topology of Manifolds
Abstract: 

The Farrell-Jones Conjecture identifies the algebraic K- and L-groups for group rings with certain equivariant homology groups. We will give some details of its formulation, its status and indicate some ideas of proofs for certain classes of groups. We will try to convince the audience about its significance by considering special cases and presenting the surprizing large range of its applications to prominent problems in topology, geometry, and group theory.

Class: 

Decision problems, curvature and topology

Author: 
Martin Birdson
Date: 
Tue, Jul 7, 2015
Location: 
PIMS, University of British Columbia
Conference: 
PIMS Symposium on the Geometry and Topology of Manifolds
Abstract: 

I shall discuss a range of problems in which groups mediate between topological/geometric constructions and algorithmic problems elsewhere in mathematics, with impact in both directions. I shall begin with a discussion of sphere recognition in different dimensions. I'll explain why there is no algorithm that can determine if a compact homology sphere of dimension 5 or more has a non-trivial finite-sheeted covering. I'll sketch how ideas coming from the study of CAT(0) cube complexes were used by Henry Wilton and me to settle isomorphism problems for profinite groups, and to settle a conjecture in combinatorics concerning the extension problem for sets of partial permutations.

Class: 

Nassif Ghoussoub Receives Honorary Degree from the University of Victoria

Speaker: 
Nassif Ghoussoub
Date: 
Fri, Jun 12, 2015
Location: 
University of Victoria
Abstract: 

Dr. Nassif Ghoussoub received the honorary degree of DSc at UVic's convocation ceremonies on June 12, 2015.

Ghoussoub is a world-leading mathematician who has played a critical role in building Canadian networks for the support of education and research in mathematical sciences. He is the founder of the Pacific Institute for Mathematical Sciences (PIMS), the Banff International Research Station (BIRS) and a co-founder of Mathematics of Information Technology and Complex Systems (MITACS). PIMS has transformed mathematics among research universities in western Canada by encouraging regional research initiatives. BIRS has gained an international reputation as a premier venue for mathematics conferences. MITACS, an offshoot of PIMS, promotes collaboration among mathematicians working in industry and academia. Ghoussoub, a math professor at the University of British Columbia, is a world leader in the field of partial differential equations.

Class: 
Subject: 

Climate Change – does it all add up?

Speaker: 
Chris Budd
Date: 
Tue, May 5, 2015
Location: 
PIMS, University of Victoria
Conference: 
PIMS-UVic Distinguished Lecture
Abstract: 

Climate change has the potential to affect all of our lives. But is it really happening, and what has maths got to do with it?

In this talk I will take a light hearted view of the many issues concerned with predicting climate change and how mathematics and statistics can help make some sense of it all. Using audience participation I will look at the strengths and weaknesses of various climate models and we will see what the math can tell us about both the past and the future of the Earth's climate and how mathematical models can help in our future decision making.

Class: 

A topological look at the vector (cross) product in three dimensions

Speaker: 
Peter Zvengrowski
Date: 
Sat, May 9, 2015
Location: 
PIMS, University of Lethbridge
Conference: 
Alberta Mathematics Dialog
Abstract: 

The vector product (or cross product) of two vectors in 3-dimensional real space $\mathbb{R}^3$ is a standard item covered in most every text in calculus, advanced calculus, and vector calculus, as well as in many physics and linear algebra texts. Most of these texts add a remark (or “warning”) that this vector product is available only in 3-dimensional space.

In this talk we shall start with some of the early history, in the nineteenth century, of the vector product, and in particular its relation to quaternions. Then we shall show that in fact the 3-dimensional vector product is
notthe only one, indeed the Swiss mathematician Beno Eckmann (a frequent visitor to Alberta) discovered a vector product in 7-dimensional space in 1942. Further-
more, by about 1960 deep advances in topology implied that there were no further vector products in any other dimension. We shall also, following Eckmann, talk about the generalization to r-fold vector products for
$r\geq 1$ (the familiar vector product is a 2-fold vector product), and give the complete results for which dimensions n and for which $r$ these can exist.

In the above work it is clear that the spheres $S^3$, $S^7$ play a special role (as well as their “little cousin” $S^1$). In the last part of the talk we will briefly discuss how these special spheres also play a major part in the recent solution of the Kervaire conjecture by Hill, Hopkins, and Ravenel, as well as their relation to the author’s own research on the span of smooth manifolds.

Subject: 

Pages