# Mathematics

## Small Number and the Basketball Tournament

Speaker:

Veselin Jungic
Speaker:

Mark Maclean
Speaker:

Rena Sinclair
Date:

Tue, May 1, 2012
Location:

Simon Fraser University, Burnaby, Canada
Location:

University of British Columbia, Vancouver, Canada
Conference:

BIRS First Nations Math Education Workshop Abstract:

The mathematical context of the third story, Small Number and the Basketball Tournament, contains some basic principles of combinatorics. The plot of the story and the closing question are structured in a manner that allows the moderator to introduce the notion of permutations and combinations. Since the numbers used in the story are relatively small, this can be used to encourage the young audience to explore on their own. Mathematics is also present in the background. Small Number and his friends do mathematics after school in the Aboriginal Friendship Centre. He loves playing the game of Set and when he comes home his sister is just finishing her math homework. Small Number and his friend would like to participate in a big half-court tournament, and so on.

For more details see http://mathcatcher.irmacs.sfu.ca/content/small-number

For more details see http://mathcatcher.irmacs.sfu.ca/content/small-number

## Mathematical Cell Biology Summer Course Lecture 2

Speaker:

Raibatak (Dodo) Das
Date:

Tue, May 1, 2012
Location:

PIMS, University of British Columbia
Conference:

Mathematical Cell Biology Summer Course Abstract:

- Cell biology imaging techniques
- 1. Introduction: Basic optics | Phase contrast | DIC | Mechanism of fluorescence | Fluorophores
- 2. Fluorescence microscopy: Fluorescent labelling biological samples |
Epifluorescence microscopy |

Confocal fluorescence microscopy - 3. Advanced techniques: FRAP | FRET | TIRF | Super-resolution imaging (time permitting)
- 4. FRAP data and modelling integrin dynamics

## Introduction

Speaker:

Leah Edelstein-Keshet
Date:

Tue, May 1, 2012
Location:

PIMS, University of British Columbia
Conference:

Mathematical Cell Biology Summer Course Abstract:

This opening lecture lists some of the questions and issues propelling current research in Cell Biology and modelling in this field. I introduce basic features of eukaryotic cells that can crawl, and explain briefly the role of the actin cytoskeleton in cell motility. I also introduce the biochemical signalling that regulates the cytoskeleton and the concept of cell polarization. By simplifying the
enormously complex signalling networks, and applying tools of mathematics (nonlinear dynamics, scaling, bifurcations), we can hope to get some understanding of a few of the basic mechanisms that areresponsible for symmetry breaking, robustness, pattern formation, self-assembly, and other cell-level phenomena.

## Alan Turing and Enigma

Speaker:

John R. Ferris
Date:

Tue, Mar 27, 2012
Location:

PIMS, University of Calgary
Conference:

Alan Turing Year Abstract:

Central to Alan Turing's posthumous reputation is his work with British codebreaking during the Second World War. This relationship is not well understood, largely because it stands on the intersection of two technical fields, mathematics and cryptology, the second of which also has been shrouded by secrecy. This lecture will assess this relationship from an historical cryptological perspective. It treats the mathematization and mechanization of cryptology between 1920-50 as international phenomena. It assesses Turing's role in one important phase of this process, British work at Bletchley Park in developing cryptanalytical machines for use against Enigma in 1940-41. It focuses on also his interest in and work with cryptographic machines between 1942-46, and concludes that work with them served as a seed bed for the development of his thinking about computers.

### Turing 2012 - Calgary

This talk is part of a series celebrating the Alan Turing Centenary in Calgary. The following mathtube videos are part of this series- Alan Turing and the Decision Problem,
*Richard Zach*. - Turing's Real Machine,
*Michael R. Williams*. - Alan Turing and Enigma, John R. Ferris.

## Turing's Real Machines

Speaker:

Michael R. Williams
Date:

Tue, Feb 28, 2012
Location:

PIMS, University of Calgary
Conference:

Alan Turing Year Abstract:

While Turing is best known for his abstract concept of a "Turing Machine," he did design (but not build) several other machines - particularly ones involved with code breaking and early computers. While Turing was a fine mathematician, he could not be trusted to actually try and construct the machines he designed - he would almost always break some delicate piece of equipment if he tried to do anything practical.
The early code-breaking machines (known as "bombes" - the Polish word for bomb, because of their loud ticking noise) were not designed by Turing but he had a hand in several later machines known as "Robinsons" and eventually the Colossus machines.
After the War he worked on an electronic computer design for the National Physical Laboratory - an innovative design unlike the other computing machines being considered at the time. He left the NPL before the machine was operational but made other contributions to early computers such as those being constructed at Manchester University.
This talk will describe some of his ideas behind these machines.

### Turing 2012 - Calgary

This talk is part of a series celebrating The Alan Turing Centenary in Calgary. The following mathtube videos are also part of this series- Alan Turing and the Decision Problem,
*Richard Zach*. - Turing's Real Machine,
*Michael R. Williams*. - Alan Turing and Enigma,
*John R. Ferris*.

## Alan Turing and the Decision Problem

Speaker:

Richard Zach
Date:

Tue, Jan 24, 2012
Location:

PIMS, University of Calgary
Conference:

Alan Turing Year Abstract:

Many scientific questions are considered solved to the best possible degree when we have a method for computing a solution. This is especially true in mathematics and those areas of science in which phenomena can be described mathematically: one only has to think of the methods of symbolic algebra in order to solve equations, or laws of physics which allow one to calculate unknown quantities from known measurements. The crowning achievement of mathematics would thus be a systematic way to compute the solution to any mathematical problem. The hope that this was possible was perhaps first articulated by the 18th century mathematician-philosopher G. W. Leibniz. Advances in the foundations of mathematics in the early 20th century made it possible in the 1920s to first formulate the question of whether there is such a systematic way to find a solution to every mathematical problem. This became known as the decision problem, and it was considered a major open problem in the 1920s and 1930s. Alan Turing solved it in his first, groundbreaking paper "On computable numbers" (1936). In order to show that there cannot be a systematic computational procedure that solves every mathematical question, Turing had to provide a convincing analysis of what a computational procedure is. His abstract, mathematical model of computability is that of a Turing Machine. He showed that no Turing machine, and hence no computational procedure at all, could solve the Entscheidungsproblem.

### Turing 2012 - Calgary

This talk is part of a series celebrating the Alan Turing Centenary in Calgary. The following mathtube videos are also part of this series- Alan Turing and the Decision Problem,
*Richard Zach*. - Turing's Real Machine,
*Michael R. Williams*. - Alan Turing and Enigma,
*John R. Ferris*.

## Time and chance happeneth to them all: Mutation, selection and recombination

Speaker:

Steven Evans
Date:

Sat, Oct 15, 2011
Location:

PIMS, University of Washington
Conference:

Pacific Northwest Probability Seminar Abstract:

Many multi-cellular organisms exhibit remarkably similar patterns of aging and mortality. Because this phenomenon appears to arise from the complex interaction of many genes, it has been a challenge to explain it quantitatively as a response to natural selection. I survey attempts by me and my collaborators to build a framework for understanding how mutation, selection and recombination acting on many genes combine to shape the distribution of genotypes in a large population. A genotype drawn at random from the population at a given time is described in our model by a Poisson random measure on the space of loci, and hence its distribution is characterized by the associated intensity measure. The intensity measures evolve according to a continuous-time, measure-valued dynamical system. I present general results on the existence and uniqueness of this dynamical system, how it arises as a limit of discrete generation systems, and the nature of its equilibria.

## Gauge Theory and Khovanov Homology

Speaker:

Edward Witten
Date:

Fri, Feb 17, 2012
Location:

PIMS, University of Washington Abstract:

After reviewing ordinary finite-dimensional Morse theory, I will explain how Morse generalized Morse theory to loop spaces, and how Floer generalized it to gauge theory on a three-manifold. Then I will describe an analog of Floer cohomology with the gauge group taken to be a complex Lie group (rather than a compact group as assumed by Floer), and how this is expected to be related to the Jones polynomial of knots and Khovanov homology.

## Summer at the HUB Britiania Summer Camp

Speaker:

Melania Alvarez
Date:

Fri, Jul 1, 2011
Location:

Britiannia Centre
Conference:

Summer at the HUB Abstract:

PIMS was proud to support the 'Summer at the HUB' camp which took place in July-August 2011. Focus camps included Lego Simple Machines and Math, iPad Camp and Robo Meccano. Many thanks to Britannia Centre for providing this video.

## Ranks of elliptic curves

Speaker:

Brian Conrey
Date:

Wed, Jun 1, 2011
Location:

PIMS, University of Calgary
Conference:

Analytic Aspects of L-functions and Applications to Number Theory
CRG:

L-functions and Number Theory (2010-2013) Abstract:

We show how to use conjectures for moments of L-functions to get insight into the frequency of rank 2 elliptic curves within a family of quadratic twists.