SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto
SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto
SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
OCTOBER 2010 | VOLUME 11:1<br />
FIELDS<br />
NOTES<br />
<strong>SCIENTIFIC</strong><br />
<strong>ACTIVITIES</strong><br />
Workshop on Modelling,<br />
Understanding, and Managing<br />
River Ecosystems<br />
Affine Schubert Calculus<br />
Summer School and Workshop<br />
First Montreal Spring School in<br />
Graph Theory<br />
<strong>Fields</strong>-Carleton Finite <strong>Fields</strong><br />
Workshop<br />
Workshop on Random Matrix<br />
Techniques in Quantum<br />
Information Theory<br />
Brain Neuromechanics<br />
LECTURE SERIES<br />
Jeremy Quastel on Directed<br />
Polymers and Random Growth<br />
Jianqing Fan on Vastdimensionality<br />
and Sparsity<br />
FIELDS-MITACS<br />
SUMMER<br />
UNDERGRADUATE<br />
RESEARCH PROGRAM
In Memory <strong>of</strong> Jerrold E. Marsden<br />
We are deeply saddened by the death <strong>of</strong> Jerry Marsden, September 21 at his home in Pasadena,<br />
after a battle with cancer. Jerry was a founder and true friend <strong>of</strong> the <strong>Fields</strong> <strong>Institute</strong>. He served as<br />
our first Director from 1992 to 1994, and organized several <strong>of</strong> our major programs over the years.<br />
Our prestigious Marsden Postdoctoral Fellowship is named in his honour.<br />
Jerry Marsden was a friend and mentor <strong>of</strong> many people in the Canadian mathematics community<br />
and around the world. His ideas and inspiration will live on in his mathematical works and those <strong>of</strong><br />
his students and colleagues. A press release about Jerry and information about making donations in<br />
his memory can be found at www.cds.caltech.edu/~marsden/remembrances<br />
Modelling, Understanding, and<br />
Managing River Ecosystems<br />
RIVERS AND THEIR ASSOCIATED ECOSYSTEMS<br />
are in danger from human use and alterations, despite<br />
their essential contribution to human society—namely<br />
freshwater and food supply, hydroelectric energy,<br />
transportation, and recreation. Effective and efficient<br />
management <strong>of</strong> these systems requires deep understanding<br />
and sophisticated models. Complex hydrological models<br />
that feature little or no biological mechanisms have long<br />
dominated river management. Recently, the biological<br />
dynamics <strong>of</strong> river ecosystems under simplified hydrological<br />
and geomorphological assumptions have become a focus<br />
<strong>of</strong> attention in spatial ecology modelling. The workshop<br />
on Modelling, Understanding, and Managing River Ecosystems<br />
brought together, for the first time, experts and young<br />
researchers from different areas—hydrologists, engineers,<br />
ecologists, mathematicians, and managers—and provided<br />
an opportunity for participants to discuss recent advances<br />
in all related fields as well as future integration <strong>of</strong> different<br />
approaches.<br />
The theme <strong>of</strong> the first morning session was Biology<br />
and Data. Donald Baird (Canadian River <strong>Institute</strong>) spoke<br />
about available and non-available Canadian river data in his<br />
talk, Down by data: Data poverty in Canadian river ecosystem<br />
research, and how and why we can enrich it. The second invited<br />
speaker, Les Stanfield (Ministry <strong>of</strong> Natural Resources,<br />
Canada), spoke about Challenges and opportunities for<br />
quantifying the cumulative effects to stream conditions. Stanfield<br />
focused particularly on fish habitat and the impact <strong>of</strong> new<br />
2 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
housing developments. The afternoon topic, Transport<br />
and Flow, concentrated more on the geophysical aspects <strong>of</strong><br />
rivers. Peter Steffler (Alberta) presented elaborate s<strong>of</strong>tware<br />
for 2D computation and visualization <strong>of</strong> realistic flows and<br />
biological mechanisms in his talk entitled Computational<br />
modelling <strong>of</strong> stream hydrodynamics and ecological processes. Rob<br />
Runkel (U.S. Geological Survey) presented his work in<br />
Characterizing metal transport using OTEQ, an equilibriumbased<br />
model for streams and rivers.<br />
The second day morning session was devoted to the<br />
topic <strong>of</strong> Population Dynamics. It began with a presentation<br />
by Frank Hilker (Bath), Predator-prey systems in streams and<br />
rivers. The afternoon focused on Synthesis and Policy.<br />
Roger Nisbet (UCSB) gave a presentation on Population<br />
response length: theory and applications; Shannon O’Connor<br />
(Montreal) talked on NSERC’s new HydroNet, a national<br />
research network to promote sustainable hydropower and<br />
healthy aquatic ecosystems, and Ed McCauley (NCEAS)<br />
closed the workshop with his outlook and future research<br />
directions, entitled Big problems—Productive solutions: Insight<br />
from a broad range <strong>of</strong> modelling approaches.<br />
The workshop schedule allowed for many informal<br />
discussions, over lunch and during the evening reception,<br />
that participants enjoyed as much as the lectures. Students<br />
and postdoctoral fellows were excited to meet some <strong>of</strong> the<br />
leading researchers in the field, who in turn were inspired<br />
by the younger generation and their enthusiasm.<br />
Frithj<strong>of</strong> Lutscher (Ottawa)
This summer, 20 undergraduate students spent eight weeks at the<br />
<strong>Fields</strong> <strong>Institute</strong> carrying out research on applied mathematics projects.<br />
Topics ranged from placenta growth and dysfunction detection methods<br />
to high dimensional combinatorial games.<br />
FIELDS-MITACS<br />
UNDERGRADUATE SUMMER<br />
RESEARCH PROGRAM<br />
Group supervisors came from the principle sponsoring universities and<br />
affiliates <strong>of</strong> the <strong>Fields</strong> <strong>Institute</strong>. The students found the program<br />
to be a unique experience, and many have developed new research<br />
interests as a result.<br />
Compiled by Richard Cerezo<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 3
Thin Films Equations Group<br />
4 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
Daniel Badali (<strong>Toronto</strong>), Alexandra Kulyk (National Technical <strong>University</strong> at Kharkiv<br />
Polytechnical <strong>Institute</strong>), Steven Pollock (McGill); Supervisors: Marina Chugunova<br />
(<strong>Toronto</strong>), Dmitry Pelinovsky (McMaster)<br />
We wanted to look at the stability <strong>of</strong> the thin-film PDE<br />
More specifically, we wanted to investigate what was going on with the steady-state<br />
solutions to the PDE. In other words, we were dealing with the equation<br />
The first week was spent getting us up to speed on a boat-load <strong>of</strong> linear algebra, ODEs, and Numerical Methods. For the first<br />
few weeks, a lot <strong>of</strong> the time was spent building the appropriate s<strong>of</strong>tware to search for solutions to the above ODE, given varied<br />
, q and the mass, M, <strong>of</strong> the system.<br />
We had some challenges building plots for q vs. M for various , since the curve was neither a legitimate function in q or M<br />
We needed to build s<strong>of</strong>tware that could intelligently overcome the multiple turning points and loops in the q − M plane. The<br />
main goal behind this s<strong>of</strong>tware suite was to automate the generation <strong>of</strong> these curves as we let tend to 0. We quickly learned<br />
−<br />
that no matter how intelligent our turning-point algorithm was, ≤10<br />
4 created a graph which was too difficult for our s<strong>of</strong>tware.<br />
−<br />
Thus, we could build 3D plots <strong>of</strong> our q vs. M vs. for all with automation, but for ≤10<br />
4 ht<br />
− h h x h hx hxxx<br />
x<br />
, we ended up having to<br />
guide the code by hand. Playing with the code and building these graphs dominated the first four weeks <strong>of</strong> our project.<br />
At this point, the goal shifted from qualitatively investigating our ODE to performing bifurcation analysis. We realized<br />
we had some serious bifurcation as became smaller, since our qualitative analysis would return more intricately knotted loops<br />
the smaller we pressed . Since our ODE was non-linear, we spent a lot <strong>of</strong> time trying to gain some insight into the bifurcation<br />
process through linearization, and projection into “truncated Fourier spaces.” That is, we assumed our ODE’s solutions had the<br />
form h( x) = a0 + a1 cos( x) + a2 cos( 2x) + b1 sin ( x) + b2 sin ( 2x)<br />
, and tried to see if we could recreate any form <strong>of</strong> bifurcation in this new,<br />
smaller, and more easily understandable space.<br />
This is where our project came to an end. We’re sitting on some qualitative information about h, when projected into this<br />
Fourier space, but we’re not sure if we can see any bifurcation in this space, or in the space spanned by { 1,cos ( x) ,sin ( x)<br />
}.<br />
—Steven Pollock<br />
∂ ⎛<br />
⎞<br />
⎜ − ( ) + ( + ) ⎟<br />
∂ ⎝<br />
⎠<br />
=<br />
1 3 1 3<br />
cos <br />
0 .<br />
3 3<br />
1 3 1 3<br />
h − h cos( x) + h<br />
( hx + hxxx ) = q .<br />
3 3<br />
.<br />
−4 −2<br />
∈ ⎡⎣ 10 , 10 ⎤⎦ Combinatorial Games Group #1<br />
Qiu Hua Tian (<strong>Toronto</strong>), Hera Yu (<strong>Toronto</strong>); Supervisors: Peter Danziger<br />
(Ryerson), Eric Mendelsohn (<strong>Toronto</strong>), Brett Stevens (Carleton)<br />
During the program, I worked on problems concerning combinatorial game theory under<br />
the supervision <strong>of</strong> Peter Danziger (Ryerson), Eric Mendelsohn (<strong>Toronto</strong>), and Brett<br />
Stevens (Carleton). While Brett guided us through the first week to give us some insight<br />
on the theory <strong>of</strong> combinatorics, Eric and Peter provided us with frequent and weekly help<br />
on technical questions and gave us great emotional support during the entire program.<br />
My partner Yu He, an exchange student from Nanjing <strong>University</strong>, and I worked on<br />
proving that the tick-tack-toe game on an affine plane <strong>of</strong> order 5 always ends in second<br />
player draw. This problem has been previously tackled by stepwise analysis, which is extremely long and therefore impractical.<br />
We tried to find a simpler pro<strong>of</strong>. We took two different approaches, one from proving the existence <strong>of</strong> a blocking set and one<br />
from finding an algorithm that suited the game. However, we were unable to find a valid pro<strong>of</strong> through these approaches.<br />
By definition, an affine plane <strong>of</strong> order 5 has 30 winning lines from 5 parallel classes. X is the first player and O the second.<br />
We first tried to prove that it is possible to form a blocking configuration that contains a line with 4 O’s on it, and the<br />
minimal blocking set <strong>of</strong> each configuration always consists <strong>of</strong> 9 O’s. Once the blocking configuration is formed, X cannot win.<br />
Nonetheless, we were not able to prove that the blocking configuration will always form before X wins. We spent the second<br />
month trying to find an algorithm for the game. The basic idea that guided our research was the weight function that assigns a<br />
value to each possible winning line. In the weight function defined by Erdős and Selfridge, the base <strong>of</strong> the weight function was<br />
defined to be 2. A weight function with base 2 proves that tick-tack-toe on an affine plane <strong>of</strong> order 6 or higher is second player<br />
draw, but it draws no conclusion on an affine plane <strong>of</strong> order 5. We first tried to modify the base, but it turns out that base 2 is<br />
the only valid base. We then tried to prove that the best move for X would be to follow the weight function step by step. Even<br />
so, he cannot win. We were unable to finish this pro<strong>of</strong> because it is hard to predict the behaviour <strong>of</strong> the whole game.<br />
—Qiu Hua Tian
Combinatorial Games Group #2<br />
Matthew Patrick Conlen<br />
(Michigan), Juraj Milcak<br />
(<strong>Toronto</strong>); Supervisor: Brett<br />
Stevens (Carleton)<br />
During the <strong>Fields</strong>-MITACS<br />
Undergraduate Research<br />
program, I was engaged in<br />
research in combinatorial game<br />
theory led by Brett Stevens<br />
(Carleton). In the first week <strong>of</strong> the program we were lectured daily in<br />
this field. From then on we had meetings with our supervisors, who<br />
guided us throughout our research. Brett gave us a list <strong>of</strong> about 20<br />
unsolved problems, all <strong>of</strong> which were accessible to undergraduates.<br />
From this long list, my colleague Matthew Conlen, from the<br />
<strong>University</strong> <strong>of</strong> Michigan, and I chose a problem concerning a winning<br />
strategy for the first player for a game <strong>of</strong> tick-tack-toe played on an<br />
affine plane <strong>of</strong> order four. We found no previous results regarding<br />
this problem. We only used properties <strong>of</strong> the affine plane and Latin<br />
squares, which describe the winning lines <strong>of</strong> the game board. A 4x4<br />
Latin square contains entries from / 4 ,<br />
where equal numbers<br />
represent a line in the affine plane. We also considered two other<br />
non-Latin squares that represent the trivial horizontal and vertical<br />
winning lines. Altogether, this gave us a representation <strong>of</strong> the 5<br />
parallel classes <strong>of</strong> our geometry. We used mappings Ψi that map a<br />
point <strong>of</strong> the game board to / 4 .<br />
We can use Ψi ( A)<br />
to determine<br />
which line the point A belongs to in the i th parallel class. We then<br />
considered sets <strong>of</strong> four points that have no three points on a line.<br />
We proved that creating such sets always allows the first player to<br />
win. We defined p to be a set as above also satisfying the following<br />
property: there exist two parallel classes i and j such that<br />
We found that p is the set the first player wishes to make the<br />
most <strong>of</strong>ten, depending on some other particulars. After proving<br />
that the first player can always create such a set with the first four<br />
moves, we carefully examined all possibilities, classified them up to<br />
isomorphisms, and proved that the first player can win by extending<br />
the lines generated by the set. —Juraj Milcak<br />
Pattern Avoiding Group<br />
∪ Ψi ( P) = ∪ Ψ j ( P)<br />
= ℤ / 4ℤ<br />
P∈<br />
p P∈<br />
p<br />
Placenta Modelling Group<br />
Gaole Chen<br />
(Rochester),<br />
Liudmyla<br />
Kadets (Kharkiv<br />
National<br />
V.N. Karazin<br />
<strong>University</strong>),<br />
Johnathan<br />
Wagner (Hebrew<br />
<strong>University</strong> <strong>of</strong><br />
Jerusalem), Zheng Wang (<strong>Toronto</strong>); Supervisor:<br />
Michael Yampolsky (<strong>Toronto</strong>)<br />
Established on the assumption that evolution seeks<br />
to achieve energy minimization, Murray’s law relates<br />
the radii <strong>of</strong> a parent vessel to that <strong>of</strong> the daughter<br />
vessels in a biological piping system. Over the years,<br />
new mathematical models for blood flow have been<br />
created to explain Murray’s law. Large numbers <strong>of</strong><br />
experiments have been conducted to verify this law<br />
in nature. Our objective was to determine if Murray’s<br />
law is universal by reviewing current literature with<br />
experimental data, summarizing their findings and<br />
determining the validity <strong>of</strong> their results. In addition,<br />
we presented and discussed some <strong>of</strong> the prominent<br />
mathematical models that incorporate the physics <strong>of</strong><br />
pulsatile flow and non-Newtonian fluids.<br />
We also studied the human placenta to verify<br />
Murray’s law in this organ. We studied pictures <strong>of</strong><br />
the human placenta in which the blood vessels had<br />
been traced pr<strong>of</strong>essionally. We wrote a program in<br />
C which processed these pictures and returned data<br />
such as vessel dimensions and the type <strong>of</strong> branching<br />
point. Finally, assuming Murray’s law is correct, we<br />
constructed a “Murray’s Grade,” which is used to<br />
rank different branching points in a vascular system<br />
based on their deviation from optimality. This will<br />
enable us to investigate how deviation from Murray’s<br />
law affects the performance <strong>of</strong> organs such as the<br />
placenta in future studies. —Liudmyla Kadets<br />
Chris Berg (York), Samer Doughan (<strong>Toronto</strong>), Steven Karp (Waterloo); Supervisor:<br />
Mike Zabrocki (York)<br />
We started with the idea from combinatorics <strong>of</strong> enumerating permutations which avoid a<br />
pattern. A permutation ‘contains’ a pattern if there is a subsequence <strong>of</strong> the permutation which<br />
has the same relative order as the pattern and ‘avoids’ it otherwise. For example, 541632<br />
contains the pattern 231 because, for instance, 462 is a subsequence <strong>of</strong> the permutation and<br />
has the same relative order as 231. However, this same permutation 541632 avoids the pattern<br />
123.<br />
With this idea in mind, we considered a different notion <strong>of</strong> pattern avoidance when the permutation is thought <strong>of</strong> as a<br />
minimal length word written in terms <strong>of</strong> the Coxeter group generators (elements s i which exchanges i and i +1). Every permutation<br />
can be written (non-uniquely) as a minimal length word in the generators s i . We then considered the problem <strong>of</strong> enumerating<br />
permutations whose reduced words did not contain subsequences that had a relative order that matched a pattern. Along the way<br />
we found relationships with the Bruhat order, juggling sequences, and Hopf algebras. —Mike Zabrocki<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 5
Infectious Disease Modelling Group<br />
Cameron Davidson-Pilon<br />
(Wilfrid Laurier), Preeyantee<br />
Ghosh (Hyderabad), Yueh-<br />
Ning Lee (National Taiwan);<br />
Supervisor: Jianhong Wu<br />
(York)<br />
After a disease outbreak,<br />
we can plot a curve for the<br />
cumulative number <strong>of</strong> infected individuals and fit it to a curve.<br />
Often, and with enough frequency to raise curiosity, the outbreak<br />
will follow the Richard’s model, which is the solution to the<br />
differential equation<br />
a<br />
⎛ ⎛ C<br />
′(<br />
( t)<br />
⎞ ⎞<br />
C t) = rC ( t)<br />
⎜1−<br />
⎜ ⎟ ⎟<br />
⎜ ⎝ K ⎠ ⎟<br />
⎝ ⎠<br />
where C ( t)<br />
is the cumulative number <strong>of</strong> infectives at time t.<br />
The model is very similar to the logistic model but possesses the<br />
parameter a, an index <strong>of</strong> the inhibitory effect <strong>of</strong> the deviation <strong>of</strong><br />
growth from the exponential relationship.<br />
The problem presented to us was to mathematically derive<br />
the Richard’s model from first principles. In particular, we were to<br />
give epidemiological reasons for the characteristic growth <strong>of</strong> the<br />
accumulated infected. We started by reading the current literature<br />
on disease models. The most popular model is the deterministic,<br />
compartmental SIR model or a derivative <strong>of</strong> it. The most<br />
important feature <strong>of</strong> the standard SIR model is it gives relations<br />
between the number <strong>of</strong> infected and susceptibles and their rate <strong>of</strong><br />
change in the form <strong>of</strong> differential equations. We started our task<br />
by abandoning this assumption and left the rate as an unknown<br />
and then assumed a priori that the cumulative total infected,<br />
followed the Richard’s model. Using a very creative idea, Yueh-<br />
Ning derived a closed form expression for the incidence rate. An<br />
alternate novel approach to the problem, derived by Cameron, was<br />
to look at an outbreak as a branching process. Using a dynamic<br />
expected number <strong>of</strong> secondary infections per infection, Cameron<br />
could derive the expected number <strong>of</strong> accumulated total infected in<br />
terms <strong>of</strong> the mean duration <strong>of</strong> infection and a certain integration<br />
<strong>of</strong> the expected number <strong>of</strong> infectives up to the time <strong>of</strong> interest.<br />
Assuming the accumulated total follows the Richard’s model, we<br />
could numerically examine how the disease spread.<br />
Both methods show a defining characteristic <strong>of</strong> a disease<br />
following the Richard’s model. Since the Richard’s model <strong>of</strong>ten fits<br />
real life outbreaks, we decude with confidence that the outbreak<br />
will have a constant number <strong>of</strong> secondary infections, but then<br />
quite rapidly decrease to almost zero.<br />
Preeyantee’s work focused on the appearance <strong>of</strong> multiple<br />
strains or species <strong>of</strong> diseases in a single host, called a superinfection.<br />
She noticed that during treatment, it is possible to<br />
mistake resistance with super-infection, where the non-vanishing<br />
symptoms are caused by the other diseases and not the treated<br />
one. This idea led to a system <strong>of</strong> differential equations examining<br />
how resistance may evolve under such circumstances. This idea<br />
arose from discussions with several participants <strong>of</strong> the 2010<br />
Summer Thematic Program on Mathematics for Drug Resistance<br />
<strong>of</strong> Infectious Disease that took place during our summer research<br />
program. We are trying to put everything together and submit it<br />
for possible publication.<br />
—Cameron Davidson-Pilon<br />
6 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
Cancer Stem Cell Modelling Group<br />
Abhishek<br />
Deshpande (IIIT<br />
Hyerabad), Joy<br />
Jing Liu (Ottawa),<br />
Philip Marx<br />
(Tulane), Tian An<br />
Wong (Vassar);<br />
Supervisors:<br />
Matthew Scott<br />
(Waterloo) Mohammad Kohandel (Waterloo),<br />
Sivabal Sivaloganathan (Waterloo)<br />
On the first day, we met with our advisers, who<br />
introduced us to two potential paths for research—<br />
modelling <strong>of</strong> hydrocephalus and stochastic<br />
simulations <strong>of</strong> brain tumour growth. As both were<br />
novel concepts to all <strong>of</strong> the group members, we<br />
spent the first few days reading papers to improve<br />
our understanding and decide which topic to pursue.<br />
After choosing the brain tumour problem, we read<br />
recent biology papers in the field, with the goal <strong>of</strong><br />
formulating simple yet descriptive mathematical<br />
models, then testing them using MATLAB and C++.<br />
Testing included setting parameters to fit the<br />
given data and, in the case that conclusions in<br />
the biology papers were inexplicable through the<br />
mathematical models, the addition and testing <strong>of</strong><br />
additional assumptions about cell hierarchies and<br />
dynamics.<br />
We ended up focusing on a specific paper,<br />
A Hierarchy <strong>of</strong> Self-Renewing Tumor-Initiating<br />
Cell Types in Glioblastoma by Chen et. al, which<br />
provided its own hypothesis on the still poorly<br />
understood tumour cell hierarchy. We focused<br />
on mathematically replicating the paper’s data<br />
on neurosphere formation (through stochastic<br />
simulations) and CD133 percentages (using the<br />
system <strong>of</strong> deterministic equations). In order to<br />
explain the high CD133 percentages reported in the<br />
paper, we then inserted an element <strong>of</strong> dynamic dedifferentiation,<br />
in which progenitor cells are able to<br />
“de-differentiate” to cells with stem-like properties,<br />
for example through the process <strong>of</strong> epithelialmesenchymal<br />
transition (EMT). In a field where<br />
the cell hierarchy is still not well understood, this<br />
could yield interesting insight on current models and<br />
provide ideas for future biological experiments.<br />
The dynamic evolution <strong>of</strong> the population can<br />
be described deterministically or stochastically.<br />
Stochastic models are appropriate for small cell<br />
populations during earlier stages <strong>of</strong> tumour growth.<br />
In later periods, when the cell number increases,<br />
stochastic fluctuations are minimized allowing a<br />
deterministic description <strong>of</strong> the dynamics. The<br />
great advantage <strong>of</strong> a deterministic framework is its<br />
analytic tractability allowing a larger perspective <strong>of</strong><br />
the population growth and a facilitated estimate <strong>of</strong><br />
parameter-sensitivity in the model.<br />
—Philip Marx and Tian An Wong
First Montreal Spring School<br />
in Graph Theory<br />
MUCH OF MATHEMATICS IS DRIVEN BY<br />
conjectures, and this is particularly true <strong>of</strong> graph theory. Two<br />
<strong>of</strong> the great conjectures, which drove, stretched, and teased a<br />
generation <strong>of</strong> graph theorists, were Wagner’s Conjecture and<br />
The Strong Perfect Graph Conjecture (due to Berge). In the past<br />
decade both have been proved, the former by Robertson and<br />
Seymour and the latter by Chudnovsky, Robertson, Seymour and<br />
Thomas. Both pro<strong>of</strong>s (and this is especially true <strong>of</strong> the former)<br />
represent the culmination <strong>of</strong> a grand project <strong>of</strong> research that<br />
has built up a whole structural theory surrounding the required<br />
result.<br />
For a new generation <strong>of</strong> graph<br />
theorists, these results may be taken<br />
as given. However, that does not mean<br />
their pro<strong>of</strong>s should be ignored. The<br />
wealth <strong>of</strong> knowledge and techniques<br />
built up in proving these results is a<br />
bounty that the new generation is<br />
lucky to inherit. The First Montreal<br />
Spring School in Graph Theory was an<br />
opportunity for young researchers<br />
from Canada and around the world<br />
to learn <strong>of</strong> this bounty from<br />
three top academics in the<br />
field. In all we had over 50<br />
participants at the school,<br />
coming from 15 countries.<br />
In 1937, Wagner<br />
proved that a graph G<br />
is planar if and only if it<br />
contains neither K5 nor<br />
K as a minor. He then<br />
3, 3<br />
considered the more abstract<br />
problem: does there exist,<br />
for each surface Σ, a similar characterization (a finite list <strong>of</strong><br />
excluded minors) for graphs embeddable in Σ? Wagner noticed<br />
that to ensure the existence <strong>of</strong> such characterizations, it suffices<br />
to prove that in every infinite sequence <strong>of</strong> graphs there is one<br />
that is a minor <strong>of</strong> another. It is this latter statement that became<br />
known as Wagner’s Conjecture. Wagner’s Conjecture was<br />
proved by Robertson and Seymour as part <strong>of</strong> their grand project<br />
on graph minors. Results from this entire project were covered<br />
in the lecture course Structural results obtained from excluding<br />
graph minors given by Bruce Reed. Bruce is currently in the final<br />
stages <strong>of</strong> completing a book on the graph minors project. The<br />
key structural theorem <strong>of</strong> the course states (approximately) that<br />
all graphs without a fixed graph H as a minor can be obtained<br />
by gluing together (in an appropriate way) certain ‘topologically<br />
simple’ graphs. At the end <strong>of</strong> the course we turned to Wagner’s<br />
Conjecture. It is by no means trivial to deduce Wagner’s<br />
Conjecture from the structure theorem; however, the structure<br />
theorem does allow us to get a grip on the problem, which is<br />
essential to its resolution.<br />
One colours a graph by assigning a colour to each vertex in<br />
such a way that no two adjacent vertices receive the same colour.<br />
If there is a set <strong>of</strong> ω vertices which are all mutually adjacent (a<br />
clique), then it is clear that at least ω colours will be needed to<br />
colour the graph. It is a somewhat interesting property <strong>of</strong> a graph<br />
if this number <strong>of</strong> colours suffices (i.e. if the number <strong>of</strong> colours<br />
needed is equal to the size <strong>of</strong> the largest clique). It is much more<br />
interesting still if this property<br />
holds not only for G, but also for<br />
all induced subgraphs (graphs that<br />
can be obtained from G by deleting<br />
vertices). If this is the case then<br />
we say G is perfect. It is easy to<br />
find graphs that are not perfect.<br />
For example, odd cycles <strong>of</strong> length<br />
at least five are imperfect, and so<br />
are their complementary graphs<br />
(i.e. those obtained by switching<br />
edges and non-edges). Thus, for a<br />
graph to be perfect it is certainly<br />
necessary that it contains neither<br />
an odd cycle <strong>of</strong> length at least five,<br />
Clockwise from<br />
top left: Maria<br />
Chudnovsky; Paul<br />
Seymour; workshop<br />
participants.<br />
(Photos by Juraj<br />
Stacho)<br />
nor the complement <strong>of</strong> such a<br />
cycle, as an induced subgraph. The<br />
Strong Perfect Graph Conjecture,<br />
due to Berge (1960), states that this<br />
trivial necessary condition is also<br />
sufficient. The other course in the<br />
school, Structural results obtained by<br />
excluding induced subgraphs, included<br />
a pro<strong>of</strong> <strong>of</strong> the Strong Perfect Graph Conjecture. The course<br />
was taught jointly by Maria Chudnovsky (Columbia) and Paul<br />
Seymour (Princeton). In Paul’s lectures we were introduced to<br />
a structure theorem for graphs (now known as Berge graphs)<br />
that have neither odd cycles <strong>of</strong> length at least five nor their<br />
complements as induced subgraphs. The structure theorem<br />
shows that such graphs either belong to one <strong>of</strong> a few families <strong>of</strong><br />
basic graphs or admit one <strong>of</strong> a few types <strong>of</strong> decomposition. Since<br />
the families <strong>of</strong> basic graphs are known to be perfect, and graphs<br />
admitting such decompositions cannot be minimal imperfect<br />
graphs, the pro<strong>of</strong> <strong>of</strong> the Strong Perfect Graph Conjecture<br />
follows. Maria’s lectures focused on newer results and open<br />
conjectures, including recent advances related to the Erdős-<br />
Hajnal Conjecture (a conjecture that is still open).<br />
Simon Griffiths (McGill)<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 7
Random Matrix Techniques in<br />
Quantum Information Theory<br />
THE FIELDS–PERIMETER<br />
joint workshop on Random<br />
Matrix Techniques in Quantum<br />
Information Theory was held at<br />
the Perimeter <strong>Institute</strong> from July<br />
4-6, 2010. It was organized jointly<br />
by Benoît Collins (Ottawa), Patrick<br />
Hayden (McGill/Perimeter) and<br />
Ion Nechita (Ottawa).<br />
The aim <strong>of</strong> this workshop<br />
was to bring together researchers<br />
from the areas <strong>of</strong> probability<br />
theory and random matrix theory<br />
in mathematics with specialists from quantum information theory.<br />
Over the last decade it was discovered that in order to tackle<br />
important questions in quantum information theory, such as<br />
additivity problems, and probabilistic methods, random matrix<br />
methods could be <strong>of</strong> crucial help.<br />
A deeper level <strong>of</strong> interaction between the quantum<br />
information theory community and mathematics had already been<br />
recognized as fundamental, and joint events were organized with<br />
the operator algebra and operator space communities. However,<br />
bringing together mathematicians working in probability theory<br />
and quantum information theorists with an interest in statistical<br />
methods had not yet been accomplished, and we believe that our<br />
workshop quite efficiently filled that gap.<br />
It was important to bring together people from probability<br />
and random matrices with those from quantum information,<br />
as huge breakthroughs have been achieved over the last few<br />
years concerning the additivity <strong>of</strong> the minimum output entropy,<br />
especially by Matthew B. Hastings (Micros<strong>of</strong>t), Hayden, and<br />
Andreas Winter (Bristol).<br />
The motivation for the workshop was the recent resolution<br />
<strong>of</strong> quantum information theory’s best-known conjecture using<br />
random matrix techniques. Updates on further developments<br />
surrounding this additivity conjecture provided some <strong>of</strong> the<br />
highlights <strong>of</strong> the workshop. The additivity conjecture was first<br />
stated by Christopher King (Northeastern) and Mary Beth<br />
Ruskai (Tufts), who were both present at the workshop. After<br />
several classes <strong>of</strong> channels were shown to satisfy the conjecture,<br />
Hayden and Winter showed that a stronger version <strong>of</strong> it, widely<br />
believed to hold at the time, was false. They used a random<br />
construction and their pro<strong>of</strong> relied on concentration <strong>of</strong> measure<br />
techniques, developed earlier in joint work with Debbie Leung<br />
(Waterloo), also a workshop participant. The counterexample<br />
for the original conjecture was constructed by Hastings in 2009,<br />
his pro<strong>of</strong> also relying on random matrix techniques. Talks on this<br />
subject occupied a whole day <strong>of</strong> the schedule. King and Motohisa<br />
Fukuda (UC Davis) gave an introduction to the conjecture and<br />
8 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
Hastings’ pro<strong>of</strong>. Fernando Brandao<br />
(UFMG) presented an alternative<br />
approach to the problem, using<br />
concentration <strong>of</strong> measure<br />
techniques. Stanislaw Szarek (Paris<br />
6) spoke about very recent joint<br />
work <strong>of</strong> his, Guillaume Aubrun’s<br />
(Camille Jordan) and Elisabeth<br />
Werner’s (Case Western Reserve)<br />
on another pro<strong>of</strong> <strong>of</strong> the Hastings<br />
result using Dvoretzky’s theorem.<br />
Collins introduced free probability<br />
techniques, helpful in studying<br />
random quantum channels that can be used to give precise<br />
results on the minimal output entropies. Finally, the Additivity<br />
Problem Day was concluded by Aram Harrow’s (Bristol) talk on<br />
the computational complexity <strong>of</strong> approximating entropies <strong>of</strong><br />
channels. This session was emblematic <strong>of</strong> the workshop, with<br />
mathematicians and quantum theorists alternating on the podium,<br />
presenting their research to a large audience.<br />
The workshop was attended by over 40 participants, including<br />
more than a dozen students. Twenty lectures were delivered.<br />
As the audience members’ backgrounds were extremely diverse,<br />
every speaker split their talk into two parts. The first half had to<br />
be completely accessible to the other community, and the second<br />
addressed research questions relevant to the conference. For the<br />
mathematicians, this was a unique chance to learn firsthand about<br />
the quantum information techniques and important problems. For<br />
the quantum information community, it was a unique opportunity<br />
to learn about recent and more classical techniques in random<br />
matrix theory.<br />
Time was set aside to allow for discussions between the<br />
participants. In particular, there was a problem session that gave<br />
rise to many new and interesting questions, providing material<br />
for future research work. Audience members participated<br />
enthusiastically in these sessions, <strong>of</strong>fering problems, suggestions<br />
and even making a start on some solutions.<br />
This collaboration between the <strong>Fields</strong> <strong>Institute</strong> and the<br />
Perimeter <strong>Institute</strong> enjoyed national media coverage when<br />
Canadian Prime Minister Stephen Harper unexpectedly invited<br />
himself to our conference. He took this occasion to greet Stephen<br />
Hawking (who was visiting the PI at the time) and to make an<br />
important announcement about the funding <strong>of</strong> postdoctoral<br />
fellowships in Canada, as well as to share Ontario wine with the<br />
participants.<br />
The workshop was very timely, and the organizers hope it<br />
will prove to be a first milestone on the road towards a fruitful and<br />
intensive collaboration between the two communities.<br />
Benoît Collins (Ottawa)
Extended Workshop on Groups and Group<br />
Actions in Operator Algebra Theory<br />
THE WORKSHOP TOOK PLACE AT THE UNIVERSITY<br />
<strong>of</strong> Ottawa from July 12–16, 2010. It was the first in a series <strong>of</strong> joint<br />
events between the mathematics departments <strong>of</strong> the Universidade<br />
Federal de Santa Catarina, Florianópolis, Brazil, and the <strong>University</strong><br />
<strong>of</strong> Ottawa, and was the result <strong>of</strong> a recent agreement between the<br />
two universities, initiated by the Mathematics departments. The<br />
workshop was open to everybody, and the majority <strong>of</strong> speakers and<br />
participants came from outside <strong>of</strong> the two signatory Universities.<br />
Operator algebras originated in the work <strong>of</strong> John von<br />
Neumann (in particular in his search for a natural mathematical<br />
framework for quantum mechanics), Isreal Gelfand and Mark<br />
Naǐmark. Von Neumann algebras incorporate the noncommutative<br />
versions <strong>of</strong> measure theory, topology and differential geometry.<br />
The theory <strong>of</strong> operator algebras is undoubtedly one <strong>of</strong> the domains<br />
in mathematics most notable for the depth <strong>of</strong> its problems, the<br />
richness <strong>of</strong> its ideas, its connections to many different fields, and its<br />
great potential as a unifying language and source <strong>of</strong> illumination.<br />
This area is recognized as being among a few major fields <strong>of</strong><br />
research strength <strong>of</strong> both the Canadian and Brazilian schools <strong>of</strong><br />
mathematics. There is an internationally recognized research group<br />
in operator algebras in Canada and a strong subgroup in Ottawa.<br />
The department <strong>of</strong> mathematics <strong>of</strong> the Universidade Federal de<br />
Santa Catarina is building a large group <strong>of</strong> researchers in operator<br />
algebras, led by Ruy Exel (UFSC).<br />
The workshop consisted <strong>of</strong> two three-hour minicourses, as<br />
well as a number <strong>of</strong> one-hour and 45-minute invited talks. The first<br />
mini-course was given by Vadim Kaimanovich, who was recently<br />
appointed as a Canada Research Chair Tier I at the <strong>University</strong><br />
<strong>of</strong> Ottawa. Kaimanovich’s course, entitled Markov Chains and<br />
Groupoids, was devoted to various probabilistic models generalizing<br />
random walks on groups (random walks in random environment<br />
and with internal degrees <strong>of</strong> freedom, along classes <strong>of</strong> equivalence<br />
NOTED<br />
We note with great regret the death<br />
<strong>of</strong> Richard Kane <strong>of</strong> the <strong>University</strong> <strong>of</strong><br />
Western Ontario on October 1.<br />
Richard died <strong>of</strong> cancer at the age <strong>of</strong><br />
66. Richard is well-known for his<br />
work in algebraic topology and is the<br />
author two highly-regarded books,<br />
on the homology <strong>of</strong> Hopf spaces and<br />
on reflection groups and invariant<br />
theory.<br />
Richard has a remarkable history<br />
<strong>of</strong> service to the mathematical<br />
community in Canada, for which he<br />
was honoured by the inaugural David<br />
Borwein Distinguished Career Award<br />
and the Distinguished Service Award<br />
<strong>of</strong> the Canadian Mathematical<br />
relations etc.).<br />
Main attention was paid to the problem <strong>of</strong> triviality <strong>of</strong><br />
the Poisson boundary for invariant Markov operators and its<br />
application to amenability <strong>of</strong> groupoids.<br />
The second mini-course, entitled Cartan Subalgebras, Fell<br />
Bundles and Twisted Actions <strong>of</strong> Inverse Semigroups, was given by Exel.<br />
The course focused on the rich interplay between C*-algebras<br />
and dynamical systems, beginning with the seminal work <strong>of</strong> Jean<br />
Renault (Orléans) on groupoid C* -algebras and the description<br />
<strong>of</strong> Cartan subalgebras in terms <strong>of</strong> twisted étale groupoids and the<br />
non-commutative generalization obtained by the speaker using Fell<br />
bundles over inverse semigroups.<br />
Workshop participants.<br />
Invited lectures were given by Alcides Buss (UFSC), Benoît<br />
Collins (Ottawa), George Elliott (<strong>Toronto</strong>), Ilijas Farah (York),<br />
Daniel Gonçalves (UFSC), David Kerr (Texas A&M), Ion Nechita<br />
(Ottawa), Volodymyr Nekrashevych (Texas A&M), Matthias<br />
Neufang (Carleton/<strong>Fields</strong>), Ping Wong Ng (Louisiana), Zhuang<br />
Niu (Memorial), Catalin Rada (Ottawa), Renault, and Benjamin<br />
Steinberg (Carleton).<br />
A special afternoon session was dedicated to David<br />
‘Groups’ continued on page 21<br />
Society in 2006. He was a Fellow<br />
<strong>of</strong> the Royal Society <strong>of</strong> Canada and<br />
a Fellow <strong>of</strong> the <strong>Fields</strong> <strong>Institute</strong>.<br />
Richard was a loyal and gracious<br />
friend to his colleagues and students.<br />
DONALD A. DAWSON, Pr<strong>of</strong>essor<br />
Emeritus and Distinguished<br />
Research Pr<strong>of</strong>essor at the School<br />
<strong>of</strong> Mathematics and Statistics at<br />
Carleton <strong>University</strong> and Adjunct<br />
Pr<strong>of</strong>essor at McGill, has been<br />
inducted into the Royal Society.<br />
MIROSLAV LOVRIC, Pr<strong>of</strong>essor<br />
<strong>of</strong> Mathematics and Statistics<br />
at McMaster <strong>University</strong>, is the<br />
recipient <strong>of</strong> the 2010 Adrien<br />
Pouliot Award for his significant<br />
contributions to Canadian<br />
mathematics education.<br />
JOHN MIGHTON, founder <strong>of</strong> JUMP<br />
Math, has been awarded the Order<br />
<strong>of</strong> Canada in recognition <strong>of</strong> his work<br />
with JUMP.<br />
CHRISTIANE ROUSSEAU, Pr<strong>of</strong>essor<br />
<strong>of</strong> Mathematics and Statistics at<br />
the <strong>University</strong> <strong>of</strong> Montreal, has<br />
been elected a Vice President <strong>of</strong> the<br />
International Mathematical Union<br />
for the 2011-2014 term. She is the<br />
first Canadian to hold this position.<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 9
GAP 2<br />
Conn<br />
CLASSICALLY, IT WAS IMPOSSIBLE<br />
to distinguish between theoretical physics<br />
and pure mathematics. For example,<br />
consider Newton, Lagrange, and Hamilton.<br />
Were they physicists or mathematicians?<br />
In later years, however, as research in both<br />
disciplines became more specialized, the<br />
two sides began to drift apart. Since the<br />
1950s and 1960s there has been a gradual<br />
reconciliation, resulting in spectacular<br />
success both in physics and in mathematics,<br />
particularly in geometry and topology. More<br />
recently, the unexpected phenomenon<br />
<strong>of</strong> “mirror symmetry” <strong>of</strong> Calabi-Yau<br />
manifolds was predicted by string theorists,<br />
and in many cases verified rigorously by<br />
mathematicians. Many aspects <strong>of</strong> the<br />
current research in differential and algebraic<br />
geometry are being fueled by predictions<br />
from theoretical physics, opening new and<br />
exciting rigourous mathematical roads that<br />
may otherwise have been left undiscovered.<br />
In order to take advantage <strong>of</strong> this<br />
symbiotic relationship between geometry<br />
and physics, on May 7–9, 2010, the<br />
Perimeter <strong>Institute</strong> hosted the second<br />
Connections in Geometry and Physics (GAP)<br />
conference, with major financial support<br />
from the <strong>Fields</strong> <strong>Institute</strong> and the Faculty<br />
<strong>of</strong> Mathematics <strong>of</strong> the <strong>University</strong> <strong>of</strong><br />
Waterloo. The organizers <strong>of</strong> this year’s<br />
conference were Jaume Gomis (Perimeter),<br />
Marco Gualtieri (<strong>Toronto</strong>), Spiro<br />
Karigiannis (Waterloo), Ruxandra Moraru<br />
(Waterloo), Rob Myers (Perimeter), and<br />
McKenzie Wang (McMaster.) As was<br />
the case during the 2009 conference, this<br />
meeting was an opportunity to increase<br />
the interaction, both locally and globally,<br />
between theoretical physicists and<br />
mathematicians, particularly those working<br />
in differential and algebraic geometry.<br />
The list <strong>of</strong> principal speakers included<br />
a healthy mixture from all three themes,<br />
10 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
both mathematicians and physicists, and<br />
also consisted <strong>of</strong> both local area researchers<br />
and international experts. In particular, we<br />
had a significantly increased international<br />
participation this time.<br />
Every year, the organizers <strong>of</strong> GAP<br />
choose three main themes for the<br />
conference, emphasizing areas where<br />
physics and geometry have enjoyed much<br />
recent mutual benefit. Here is a short<br />
overview <strong>of</strong> this year’s three themes:<br />
MATHEMATICAL RELATIVITY<br />
Although General Relativity was<br />
formulated over 90 years ago, its impact on<br />
mathematical research has only increased<br />
steadily with time. This is due largely to<br />
the tremendous progress made during the<br />
last four decades in our understanding <strong>of</strong><br />
non-linear partial differential equations<br />
and global differential geometry. The<br />
Hawking and Penrose singularity<br />
theorems result from formulating causal<br />
relationships in topological terms and<br />
exploiting the relationship between<br />
curvature and focal points. The pro<strong>of</strong><br />
<strong>of</strong> the positive mass theorem by Schoen<br />
and Yau uses 3-manifold theory and the<br />
theory <strong>of</strong> minimal surfaces, while the<br />
pro<strong>of</strong> by Witten relies on the existence <strong>of</strong><br />
asymptotically constant harmonic spinors.<br />
More recent highlights include the pro<strong>of</strong><br />
by Christodoulou and Klainerman <strong>of</strong> the<br />
global stability <strong>of</strong> Minkowski space, the<br />
pro<strong>of</strong> <strong>of</strong> the Riemannian Penrose inequality<br />
by Huisken-Illmanen and Bray, and the<br />
on-going analysis <strong>of</strong> black-hole dynamics<br />
and stability by Finster-Kamran-Smoller-<br />
Yau. Here the mathematical tools came<br />
from geometric flows (mean curvature<br />
and inverse mean curvature flows), Fourier<br />
analysis, and the theory <strong>of</strong> hyperbolic<br />
equations. Intense efforts are currently<br />
devoted to such topics as the unique<br />
continuation <strong>of</strong> the Einstein equation<br />
(Alexakis, Anderson, Herzlich), stability<br />
<strong>of</strong> the Kerr solution (Alexakis-Ionescu-<br />
Klainerman), the Einstein constraint<br />
equation (Butscher, Chrusciel, Corvino,<br />
Isenberg, Pacard, Pollack, Schoen),<br />
concepts <strong>of</strong> quasi-local mass (M. Liu,<br />
M.T. Wang, S. T. Yau), Poincaré-Einstein<br />
manifolds (Anderson, Biquard, Chrusciel,<br />
Chang-Gursky-Qing-Yang, Graham,<br />
Fefferman, J. Lee, Mazzeo), and higherdimensional<br />
black hole geometry (Gibbons-<br />
Hartnoll-Page-Pope, Myers-Perry). The<br />
last two topics are related to the AdS/CFT<br />
(anti-de-Sitter space/conformal field theory)<br />
correspondence in conformal field theory.<br />
Many more exciting research directions<br />
come into focus if one ventures beyond<br />
the Lorentzian setting to the Riemannian<br />
setting: for example, metrics with special<br />
holonomy, Sasakian-Einstein geometry, and<br />
quasi-Einstein metrics.<br />
Mathematical Relativity is an area in<br />
which historically there has been substantial<br />
Canadian representation. Besides current<br />
contributors such as Niky Kamran<br />
(McGill), Richard Mann (Waterloo), Robert<br />
Myers (Perimeter), Don Page (Alberta), one<br />
should note the classical works <strong>of</strong> W. Israel<br />
and J. L. Synge.<br />
GAUGE THEORY<br />
As the fundamental basis <strong>of</strong> the<br />
theory <strong>of</strong> elementary particles, gauge<br />
theory in the guise <strong>of</strong> Yang-Mills theory<br />
is at the center <strong>of</strong> theoretical physics.<br />
Since the end <strong>of</strong> the 1970s, however, it<br />
has been a central topic in mathematics<br />
as well, especially influencing differential<br />
and algebraic geometry as well as lowdimensional<br />
topology. The successes <strong>of</strong><br />
gauge theory in uncovering deep structure<br />
in these fields are too numerous to list.<br />
They include the understanding <strong>of</strong> flat
010<br />
ections in Geometry and Physics<br />
connections on surfaces by Atiyah and<br />
Bott; the breakthroughs <strong>of</strong> Donaldson<br />
concerning smooth 4-dimensional<br />
manifolds using instantons; various<br />
flavours <strong>of</strong> knot invariants starting<br />
with Witten’s understanding <strong>of</strong> the<br />
Jones polynomial; recent progress in<br />
understanding 3-manifolds by Kronheimer,<br />
Mrowka, and Taubes using monopoles;<br />
and finally the recent revitalizing <strong>of</strong> the<br />
geometric Langlands program by Gukov,<br />
Kapustin, and Witten, using topological<br />
supersymmetric 4-dimensional Yang-Mills<br />
theory. The general pattern in all <strong>of</strong> these<br />
developments (and many others in gauge<br />
theory) is that gauge theory provides us<br />
with natural moduli spaces which then<br />
yield invariants, which we may associate to<br />
the original objects <strong>of</strong> study. The resulting<br />
invariants are, in many cases, extremely<br />
deep.<br />
Recently, there has also been a surge<br />
<strong>of</strong> progress in our understanding <strong>of</strong> gauge<br />
theory itself; in particular, the work <strong>of</strong><br />
Kontsevich and Soibelman, as well as<br />
Nakajima, on stability conditions for gauge<br />
theories, as well as the work <strong>of</strong> Costello<br />
on the mathematical understanding <strong>of</strong><br />
renormalization in 4-dimensional Yang-<br />
Mills theory. Finally there are spectacular<br />
developments using twistor theory to<br />
calculate amplitudes in supersymmetric<br />
Yang-Mills theory.<br />
MIRROR SYMMETRY<br />
Discovered by physicists as a duality<br />
between string theories with spacetimes<br />
associated to different Calabi-Yau<br />
manifolds, mirror symmetry has evolved<br />
into a rich field within mathematics which<br />
involves algebraic geometry, symplectic<br />
geometry, and homological algebra. Mirror<br />
symmetry is essentially a series <strong>of</strong> surprising<br />
relationships between the complex and<br />
Workshop participants<br />
symplectic geometry <strong>of</strong> different Calabi-<br />
Yau manifolds, surprising because they<br />
seem to be quite indirect and lack an<br />
obvious geometric explanation. The<br />
relationships are even more remarkable<br />
because they enable the calculation <strong>of</strong> deep<br />
and difficult combinatorial and enumerative<br />
data that were previously thought to be<br />
inaccessible.<br />
The first mathematical explanation<br />
<strong>of</strong> mirror symmetry was proposed by<br />
Strominger, Yau, and Zaslow, who outlined<br />
a way <strong>of</strong> establishing the duality using<br />
special Lagrangian fibrations <strong>of</strong> Calabi-Yau<br />
manifolds, and involving both the Legendre<br />
and Fourier transforms. This has led to a<br />
very successful program, starting with the<br />
results <strong>of</strong> Batyrev-Borisov for Calabi-Yau<br />
hypersurfaces in Fano toric varieties, and<br />
culminating with the work <strong>of</strong> Gross and<br />
Siebert which involves the use <strong>of</strong> affine<br />
geometry, tropical geometry and the<br />
degeneration <strong>of</strong> Calabi-Yau manifolds to<br />
establish a construction <strong>of</strong> mirror manifolds<br />
with the required properties.<br />
Another approach was suggested by<br />
Kontsevich, and is known as homological<br />
mirror symmetry. He proposed that a<br />
large part <strong>of</strong> the mirror symmetry relations<br />
could be explained as an equivalence <strong>of</strong><br />
categories between derived categories <strong>of</strong><br />
coherent sheaves (for a complex manifold)<br />
and Fukaya categories (for symplectic<br />
manifolds). The conjectured equivalence<br />
<strong>of</strong> categories was then established in many<br />
cases by Fukaya and Seidel, and has also led<br />
to the use <strong>of</strong> tropical geometry in the study<br />
<strong>of</strong> Floer theory in symplectic geometry.<br />
The homological mirror symmetry<br />
approach is notable for its introduction <strong>of</strong><br />
powerful algebraic techniques in symplectic<br />
geometry, which have been used to great<br />
effect in many other fields, including<br />
categorification and differential topology.<br />
We were very fortunate to attract<br />
many excellent world-renowned researchers<br />
to GAP 2010, including Shing-Tung Yau<br />
(<strong>Fields</strong> Medal 1982, Wolf Prize 2010);<br />
David Morrison (Clay Mathematics<br />
<strong>Institute</strong> Senior Scholar 2005); and<br />
Nikita Nekrasov (Hermann Weyl Prize<br />
2004). We were also pleased once again<br />
to have heavy participation by local area<br />
graduate students in both mathematics<br />
and physics. At least one third <strong>of</strong> the<br />
registered participants were students. GAP<br />
2010 featured six short talks by local area<br />
postdoctoral fellows, intending to showcase<br />
these promising young researchers to help<br />
them succeed in the next stage <strong>of</strong> their<br />
pr<strong>of</strong>essional careers.<br />
Spiro Karigiannis (Waterloo)<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 11
<strong>Fields</strong>-Carleton Finite <strong>Fields</strong> Workshop<br />
THE FIELDS-CARLETON FINITE FIELDS WORKSHOP<br />
is held in order to partially supplement the larger series <strong>of</strong><br />
conferences, Finite <strong>Fields</strong> and their Applications, which occur in<br />
odd-numbered years. It focused on three areas <strong>of</strong> finite fields<br />
research: pseudo-random sequences, irreducible and primitive<br />
polynomials, and special functions over finite fields. All three<br />
topics have applications to digital communications, including<br />
coding theory and cryptography.<br />
The spirit <strong>of</strong> the workshop centres around promoting<br />
collaborations between finite fields researchers and fostering<br />
new and innovative ideas in each area <strong>of</strong> research. The<br />
workshop attracted 35 participants, <strong>of</strong> which 17 were students<br />
and post-docs from Canada, Iran, Ireland, and Singapore. In<br />
addition to twelve talks by eight invited speakers, there were<br />
eight contributed talks (mostly by graduate students) on current<br />
research.<br />
Invited lectures and mini-courses were given by Stephen<br />
D. Cohen (Glasgow), Theo Garefalakis (Crete), Guang Gong<br />
MATHEMATICIANS WORKING IN THE FIELDS OF<br />
geometry, algebraic combinatorics and mathematical physics met at<br />
the <strong>Fields</strong> <strong>Institute</strong> and the <strong>University</strong> <strong>of</strong> <strong>Toronto</strong> campus this July<br />
for a summer school and workshop on the topic <strong>of</strong> Affine Schubert<br />
Calculus.<br />
The first four days <strong>of</strong> this event consisted <strong>of</strong> expository<br />
lectures, and were followed by an additional four days <strong>of</strong> talks<br />
highlighting recent research in this area. This meeting was the<br />
closing event associated to an NSF Focused Research Group<br />
(FRG) grant where the members’ research was concentrated on<br />
mathematics related to this subject.<br />
Schubert calculus refers to manipulations <strong>of</strong> subsets <strong>of</strong><br />
12 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
(Waterloo), Gary McGuire (UCD Dublin), Gary Mullen (Penn<br />
State), Arne Winterh<strong>of</strong> (Austrian Academy <strong>of</strong> Sciences), Qing<br />
Xiang (Delaware) and Joe Yucas (South Illinois Carbondale).<br />
Speakers presented talks and mini-courses which outlined the<br />
current state-<strong>of</strong>-the art in each <strong>of</strong> these topics and provided<br />
open problems and new avenues <strong>of</strong> research in each talk.<br />
Winterh<strong>of</strong> presented a three-part mini-course on<br />
Research methods for pseudo-random sequences. The methods<br />
presented included the computation <strong>of</strong> linear complexities<br />
and the evaluation <strong>of</strong> special exponential sums and measures<br />
<strong>of</strong> randomness. In addition, Gong introduced some new<br />
constructions <strong>of</strong> pseudo-random sequences.<br />
Mullen opened the mini-course on Primitive and irreducible<br />
polynomials with a survey <strong>of</strong> the state-<strong>of</strong>-the-art. Cohen followed<br />
with an exposition <strong>of</strong> the main techniques in the area, which<br />
centre around character sums and a new p-adic method.<br />
In addition to the mini-course, Garefalakis presented new<br />
results on self-reciprocal irreducible polynomials given some<br />
prescribed coefficients over finite fields.<br />
Highly nonlinear functions over finite fields are necessary<br />
in the implementation and analysis <strong>of</strong> modern cryptosystems.<br />
Mullen gave a survey <strong>of</strong> basic results on permutation<br />
polynomials and value sets <strong>of</strong> polynomials over finite fields.<br />
McGuire gave an in-depth analysis <strong>of</strong> various nonlinearity<br />
properties <strong>of</strong> functions over finite fields, and their relations<br />
with cryptography and coding theory. Xiang examined the<br />
relationship between highly nonlinear functions and special<br />
types <strong>of</strong> graphs.Yucas presented a generalization <strong>of</strong> the socalled<br />
Dickson polynomials <strong>of</strong> the first and second kind to any<br />
positive k kind, and outlined some research avenues for the<br />
classical Dickson polynomials.<br />
Daniel Panario (Carleton)<br />
Affine Schubert Calculus Summer<br />
School and Workshop<br />
Grassmann varieties called Schubert cells. Schur functions<br />
are an algebraic realization <strong>of</strong> the cohomology classes <strong>of</strong> the<br />
Grassmannians. The title <strong>of</strong> the workshop and summer school,<br />
Affine Schubert Calculus, refers to an extension <strong>of</strong> Schubert calculus<br />
to affine Grassmannians. The algebraic realization corresponding<br />
to Schur functions are the k-Schur functions <strong>of</strong> Lapointe-Lascoux<br />
and Morse (where the ‘k’ here represents an affine grading).<br />
k-Schur<br />
functions were first discovered because <strong>of</strong> their relationship<br />
to Macdonald symmetric functions. Later, Thomas Lam showed<br />
that the k-Schur functions were connected to the geometry and<br />
topology <strong>of</strong> the affine Grassmannian.<br />
‘Schubert Calculus’ continued on page 21
Directed Polymers and Random Growth<br />
JEREMY QUASTEL IS PROFESSOR AND ASSOCIATE CHAIR OF<br />
mathematics at the <strong>University</strong> <strong>of</strong> <strong>Toronto</strong>. He was one <strong>of</strong> the delegates<br />
representing Canada at the International Congress for Mathematicians in<br />
Hyderabad this year (where he presented his work in Section 13: Probability<br />
and Statistics) and is co-organizer <strong>of</strong> the Thematic Program on Dynamics and<br />
Transport in Disordered Systems starting January 2011 at the <strong>Fields</strong> <strong>Institute</strong>.<br />
His talk at the <strong>Fields</strong> <strong>Institute</strong>’s 2010 Annual General Meeting was<br />
titled Directed polymers and random growth, a topic <strong>of</strong> probability theory and<br />
stochastic differential equations. He spoke <strong>of</strong> the relationship between the<br />
process <strong>of</strong> ballistic aggregation and discrete and continuum directed random<br />
polymer models.<br />
What does a random surface look like after a long period <strong>of</strong> time?<br />
Ballistic aggregation is meant to answer this question, a discrete model in<br />
one-dimension for blocks falling and building up on the 1D integer lattice.<br />
The relevance <strong>of</strong> this theory to science is that understanding this process will<br />
allow engineers to develop new tools to build materials by spraying atoms onto<br />
a surface. Understanding <strong>of</strong> this and analogous models are one <strong>of</strong> the central<br />
themes Quastel would like to see develop in his thematic program. He reports<br />
that there have been a number <strong>of</strong> significant advances in the study <strong>of</strong> these<br />
models and will certainly add excitement to the activity at <strong>Fields</strong> next year.<br />
His lecture was split into two parts, background and recent results. The<br />
directed random polymer models about which Quastel spoke were in the 2D<br />
randomly weighted integer lattice. Each point in the lattice is represented by<br />
W with an imposed random walk X that goes through the lattice collecting<br />
i , j<br />
i<br />
the random values W and sums up the values. Taking the expectation<br />
i , j<br />
(summing all the possible paths and taking the logarithm <strong>of</strong> the sum) gives<br />
us the free energy on the lattice. Physicists predict that the free energies <strong>of</strong><br />
the discrete random polymer model will give valuable information about the<br />
object.<br />
Quastel spoke about some reformulation <strong>of</strong> the GUE Tracy-Widom<br />
models from random matrix theory in terms <strong>of</strong> the rescaled distribution <strong>of</strong> the<br />
principle eigenvalue <strong>of</strong> a randomly chosen matrix from the GUE-TW. To his<br />
surprise, these results are useful for the continuum directed polymer models.<br />
In the context <strong>of</strong> the discrete model, Quastel mentioned his interest in<br />
the behaviour emering from the strong coupling between the random walks<br />
and the random lattice. The KPZ (Kardar-Parisi-Zhang) model governs<br />
anything that experiences growth governed by randomness at different<br />
sites, with added non-linearity. These models are extremely general. Quastel<br />
mentioned his interest in having the theoretical tools to make robust<br />
predictions over the KPZ universality class. In models studied in the past, as<br />
the dimension increases, randomness behaviour undergoes a phase transition<br />
1<br />
3<br />
where the n and Tracy-Widom distributions are replaced with normal<br />
Gaussian behaviour and random walks.<br />
The results obtained in work done with Gideon Amir and Ivan Corwin<br />
are contained in a recent paper concerning the continuum directed random<br />
polymer. The paper contains all the necessary formulas to construct a<br />
distribution for the model. Quastel stated some results about solutions that<br />
locally look like Brownian Motion, which start with smooth initial conditions.<br />
Motivation for this problem comes from results in the field <strong>of</strong> liquid crystal<br />
turbulence in which experiments were carried out in December 2009.<br />
‘Jeremy Quastel’ continued on page 20<br />
LECTURES<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 13
Distinguished Lecture Series in Statistical Sciences<br />
JIANQING FAN IS WELL-KNOWN FOR HIS WORK<br />
in financial econometrics, computational biology, semiparametric<br />
and nonparametric modeling, and other aspects <strong>of</strong> statistical<br />
theory and methodologies. He is the Frederick I. Moore Class<br />
<strong>of</strong> 1918 Pr<strong>of</strong>essor in Finance, Director <strong>of</strong> the Committee <strong>of</strong><br />
Statistical Studies at Princeton, the Past President <strong>of</strong> the <strong>Institute</strong><br />
<strong>of</strong> Mathematical Statistics, and winner <strong>of</strong> the 2000 COPSS<br />
Presidents’ Award.<br />
In early May,<br />
Jianqing gave the<br />
Distinguished Lecture<br />
Series in Statistical<br />
Science at the <strong>Fields</strong><br />
<strong>Institute</strong>. His two<br />
lectures, titled Vastdimensionality<br />
and<br />
sparsity and ISIS:<br />
A vehicle for the<br />
universe <strong>of</strong> sparsity,<br />
focused primarily on<br />
high-dimensional statistical modelling and feature selection.<br />
These aspects became important with the advent <strong>of</strong> mass data<br />
collection, advances in computation, and the discovery <strong>of</strong> new<br />
interplay between various natural and social sciences. In his public<br />
lecture, Fan outlined the problem <strong>of</strong> high dimensionality in fields<br />
Coxeter Lecture Series<br />
THE 2010 SUMMER THEMATIC PROGRAM ON THE<br />
Mathematics <strong>of</strong> Drug Resistance in Infectious Diseases was held at<br />
the <strong>Fields</strong> <strong>Institute</strong> during July and August. In association with<br />
this thematic program, Pr<strong>of</strong>essor Neil Ferguson was invited to<br />
the <strong>Fields</strong> <strong>Institute</strong> to deliver the Coxeter Lecture Series on<br />
Mathematical modelling <strong>of</strong> emerging infectious disease epidemics and their<br />
control.<br />
Ferguson, a Pr<strong>of</strong>essor <strong>of</strong> Mathematical Biology in the<br />
Division <strong>of</strong> Epidemiology, Public Health, and Primary Care <strong>of</strong> the<br />
Medical School at Imperial College, is a world leader in the use <strong>of</strong><br />
mathematical models in infectious disease epidemiology. He is the<br />
Director <strong>of</strong> the MRC Centre for Outbreak Analysis and Modelling.<br />
In the first lecture, Ferguson reviewed the development <strong>of</strong><br />
outbreak modelling over the last two decades and discussed the<br />
drivers which lead to more complex computational simulations<br />
being increasingly used replacing simpler compartmental models <strong>of</strong><br />
disease transmission. The second lecture discussed ways in which<br />
modelling can be optimally used to assist public health policymakers<br />
in their planning for and reaction to emerging infectious disease<br />
threats—an issue on which Ferguson is an expert, and which was<br />
14 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
Vast-dimensionality and Sparsity<br />
as diverse as bioinformatics, genetics, physics, and economics,<br />
discussing the twin challenges <strong>of</strong> noise accumulation and<br />
spurious correlations. The notion <strong>of</strong> sparsity or, more generally,<br />
homogeneity, was methodically described for feasible inference<br />
to high-dimensional problems. After an overview <strong>of</strong> the penalized<br />
likelihood approach for variable selection, Fan communicated the<br />
idea <strong>of</strong> large-scale screening and moderate-scale selection together<br />
with conditional inference as an effective solution to highdimensional<br />
problems. Using this approach in an analysis <strong>of</strong> U.S.<br />
housing price indices over a 30-year period, Fan demonstrated<br />
impressive prediction improvements.<br />
His second presentation was meant for a more specialized<br />
audience. Exploiting sparsity, Fan outlined a unified framework<br />
for solving high-dimensional variable selection problems. He<br />
applied iterative vast-scale screening followed by moderate-scale<br />
variable selection, resulting in a process called ISIS. Applying this<br />
process to multiple regression, generalized linear models, survival<br />
analysis, and machine learning, Fan demonstrated its overall<br />
reach via marginal variable screening and penalized likelihood<br />
methods. With tailored simulation studies and manipulation <strong>of</strong><br />
empirical data from disease classifications and survival analyses,<br />
Fan demonstrated the advantages <strong>of</strong> a folded-concave over convex<br />
penalty method on sure screening properties, false selection sizes<br />
and model selection consistency.<br />
Elif Fidan Acar (<strong>Toronto</strong>)<br />
Mathematical Modelling <strong>of</strong> Emerging Infectious Diseases<br />
<strong>of</strong> great interest to the thematic program participants. The third<br />
lecture focused on the potential impact <strong>of</strong> antiviral resistance<br />
during an influenza pandemic. He <strong>of</strong>fered several explanations<br />
for new findings that show the degree to which previous risk<br />
assessments concerning antiviral resistance in influenza pandemics<br />
have been over-pessimistic. In the lecture, Ferguson touched on<br />
the critical issue <strong>of</strong> the dependence <strong>of</strong> the final impact <strong>of</strong> resistance<br />
during a closed epidemic on the transmissibility <strong>of</strong> a sensitive<br />
and resistant virus, the mutation rate from one type to the other,<br />
and the level <strong>of</strong> seeding <strong>of</strong> both viral types at the beginning <strong>of</strong><br />
the epidemic. He argued that resistance is not likely to entail a<br />
substantial reduction <strong>of</strong> effectiveness <strong>of</strong> antivirals during the start<br />
<strong>of</strong> a pandemic, but that intensive drug use in this phase can lead<br />
to a higher degree <strong>of</strong> resistance in later epidemics. His concluding<br />
remark that “simple models suggest antiviral resistance could be a<br />
major issue in the first wave <strong>of</strong> a new pandemic, but allowing for<br />
spatial heterogeneity reduces speed <strong>of</strong> resistance” strongly echoed<br />
the theme <strong>of</strong> transmission heterogeneity <strong>of</strong> the two-week block <strong>of</strong><br />
this entire thematic program on mathematics for drug resistance.<br />
Jianhong Wu (York)
Optimization and Data Analysis<br />
in Biomedical Informatics<br />
CENTRE FOR<br />
MATHEMATICAL<br />
MEDICINE<br />
DATA MINING AND BIOMEDICAL SCIENCE ARE TWO<br />
<strong>of</strong> the fastest growing areas <strong>of</strong> engineering and scientific computing.<br />
Modern data acquisition protocols have generated vast amounts<br />
<strong>of</strong> data that require fast and rigorous analysis methods. New<br />
challenges and problems are being posed for applied mathematicians,<br />
statisticians, computer scientists, and engineers.<br />
The workshop on Optimization and Data Analysis in Biomedical<br />
Informatics explored recent progress in the field. Several challenges<br />
and roadblocks in biomedical informatics with reference to the<br />
application <strong>of</strong> data mining were discussed, and new computing<br />
technologies and paradigms in optimization and control, as well as<br />
systems engineering were presented.<br />
During the two days <strong>of</strong> the workshop distinguished speakers<br />
from universities in Canada, the U.S., and Europe gave presentations<br />
about the state-<strong>of</strong>-the-art in data analysis methodologies.<br />
Specific talks related to machine learning (e.g.<br />
support vector machines, biclustering, generalized<br />
eigenvalue classification), optimization, biomedical<br />
information systems, biomedical imaging, and<br />
signal processing were given. The applications<br />
presented at the conference covered a large part<br />
<strong>of</strong> biomedicine and included DNA microarray<br />
analysis, Raman spectroscopy, biomarkers,<br />
electroencephalogram analysis, and<br />
radiation therapy treatment.<br />
The conference attracted the interest<br />
<strong>of</strong> many local faculty members and students<br />
from both the <strong>University</strong> <strong>of</strong> <strong>Toronto</strong> and the<br />
<strong>University</strong> <strong>of</strong> Waterloo. The organizers were<br />
very satisfied with the high quality <strong>of</strong> the talks.<br />
This workshop provided an excellent chance<br />
to meet and interact with scientists from<br />
very diverse backgrounds ranging from<br />
mathematics, electrical engineering,<br />
and industrial and systems<br />
engineering, to biology,<br />
medicine and information<br />
technology.<br />
Selected papers<br />
based on the talks<br />
given at the workshop<br />
will be published as a <strong>Fields</strong><br />
Communications volume by the<br />
American Mathematical Society.<br />
Tom Coleman (Waterloo)<br />
FIELDS<br />
FIELDS<br />
INSTITUTE<br />
INSTITUTE<br />
Research<br />
Research<br />
in<br />
in<br />
Mathematical<br />
Mathematical<br />
Sciences<br />
Sciences |<br />
FIELDSNOTES<br />
FIELDSNOTES<br />
15<br />
15
Brain<br />
Neuromechan<br />
BRAIN TISSUE IS AN INHOMOGENEOUS, MULTIscaled,<br />
multi-layered, and inter-connected set <strong>of</strong> neurons, glial<br />
cells, and vascular networks. So far, the biophysics and dynamics<br />
<strong>of</strong> the cell types within these networks have been studied<br />
individually, as well as their network interactions.<br />
On the other hand, the macroscopic mechanical response<br />
<strong>of</strong> the brain to traumatic injuries has also been the object <strong>of</strong><br />
intense experimental and computational studies. However, a<br />
full understanding <strong>of</strong> brain physics and dynamics can only be<br />
achieved by linking biomechanical and biochemical processes<br />
taking place in the brain at different length and time scales, and<br />
by accounting for the interactions <strong>of</strong> and feedback among the<br />
brain’s networks.<br />
The aim <strong>of</strong> this first interdisciplinary workshop on<br />
Brain Neuromechanics was to bring together experts from<br />
different areas <strong>of</strong> brain research, such as applied mathematics,<br />
neuroscience, engineering, neurosurgery, to present the latest<br />
developments in their fields and discuss opportunities for longterm<br />
research collaborations.<br />
The first speaker, James Drake, Chief Neurosurgeon<br />
at the Hospital for Sick Children in <strong>Toronto</strong>, set the tone<br />
for the workshop by delivering a talk on the inseparability<br />
<strong>of</strong> neurosurgery and neuromechanics. Improved medical<br />
diagnoses, treatment strategies and clinical protocols can be<br />
achieved only through discoveries in fundamental brain science.<br />
In particular, hydrocephalus, a brain condition known from<br />
the time <strong>of</strong> Hippocrates and characterized by an abnormal<br />
accumulation <strong>of</strong> spinal fluid within the fluid-containing<br />
spaces <strong>of</strong> the brain, remains a puzzle for neurosurgeons even<br />
today; the two surgical treatments currently used display no<br />
statistical difference with regard to the efficacy <strong>of</strong> treating<br />
hydrocephalus. Some <strong>of</strong> the subsequent talks showed<br />
promising new advances in the understanding <strong>of</strong> the underlying<br />
mechanisms that give rise to hydrocephalus. Miles Johnston<br />
(Sunnybrook) showed that, in the rat brain, interstitial fluid<br />
pressures increased after antibody administration into a lateral<br />
16 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
ventricle, suggesting that capillary absorption might play a<br />
pivotal role in the onset <strong>of</strong> hydrocephalus. This finding provides<br />
the exciting possibility that some forms <strong>of</strong> hydrocephalus<br />
may be treatable with pharmacological agents rather than<br />
through surgical interventions. Richard Penn (Chicago)<br />
presented a novel macroscopic biomechanical model <strong>of</strong><br />
fluid-structure interactions in the brain which could explain<br />
the onset <strong>of</strong> hydrocephalus. So far, the model appears to be<br />
in agreement with preliminary experiments on dog brains.<br />
Kathleen Wilkie (Waterloo) introduced a new age-dependent<br />
fractional viscoelastic model for the brain and showed that the<br />
natural pulsations <strong>of</strong> the brain cannot be the primary cause<br />
<strong>of</strong> either infant or adult hydrocephalus. Almut Eisentrager<br />
(Oxford) presented a novel multi-fluid poro-elastic model<br />
<strong>of</strong> hydrocephalus which incorporates blood pulsations on<br />
the cardiac cycle time scale and thus can be used to simulate<br />
spinal fluid pressure fluctuations in clinical infusion tests.<br />
Finally, Corina Drapaca (Penn State) presented the first<br />
neuro-mechanical models that couple the biomechanics and<br />
biochemistry <strong>of</strong> the brain. One model, based on the triphasic<br />
theory, shows that normal pressure hydrocephalus (NPH) can<br />
be caused by an ionic imbalance in the absence <strong>of</strong> increased<br />
intracranial pressure. This represents a significant finding in<br />
NPH research, opening the door to the possibility <strong>of</strong> treating<br />
hydrocephalus using pharmaceutical agents. The other model<br />
can incorporate non-invasive neuro-imaging measurements<br />
and can then be used to investigate the brain’s mechanics<br />
under different clinical scenarios. Although Martin Ostoja-<br />
Starzewski’s (Urbana-Champaign) talk did not focus on<br />
hydrocephalus, his MRI-based finite element approach to<br />
study traumatic brain injuries could also be used in computer<br />
simulations <strong>of</strong> hydrocephalus. In addition, a novel extension <strong>of</strong><br />
continuum mechanics to fractal porous media was introduced to<br />
address the random fractal geometry <strong>of</strong> the brain.<br />
The talks given by Alan Wineman (UMichigan) and<br />
Katerina Papoulia (Waterloo) served to remind the audience
ics<br />
<strong>of</strong> the continuum mechanics framework and some important<br />
mathematical concepts that any researcher should be aware <strong>of</strong><br />
when designing biomechanical models <strong>of</strong> the brain. Another<br />
talk <strong>of</strong> pedagogical nature was given by K. Unnikrishnan<br />
(UMichigan) on computational methods and associated<br />
statistical significance tests used to detect patterns in multineuronal<br />
spike trains which can uncover the functional<br />
connectivity <strong>of</strong> the underlying neuronal networks.<br />
Whilst the talks given by Joseph Francis (SUNY<br />
Downstate) and Jürgen Germann (<strong>Toronto</strong> Phenogenomics)<br />
presented novel experimental approaches to investigate<br />
the plasticity <strong>of</strong> the brain, the lectures given by Paul<br />
Janmey (UPenn) and Kristian Franze (Cambridge) focused<br />
on the mechanosensitivity <strong>of</strong> healthy and diseased brain<br />
cells and the experimental settings required to estimate<br />
mechanical parameters at such small length and time scales.<br />
The mechanics <strong>of</strong> individual cells and their networks are<br />
essential in understanding the brain damage seen in deep<br />
brain stimulation studies performed on animal brains. The<br />
talks <strong>of</strong> Bruce Gluckman (Penn State) and Andrew Sharp<br />
(Southern Illinois) served to raise awareness in the neuroscience<br />
community <strong>of</strong> the damaging effects <strong>of</strong> electrode implants. In<br />
particular, Gluckman’s experimental results showed not only<br />
local damage near insertion locations, but also unexpected<br />
non-local damage <strong>of</strong> brain tissue. Patrick Drew (Penn State)<br />
presented a novel technological approach <strong>of</strong> imaging single<br />
vessel vascular dynamics in the mouse cortex that provides<br />
the first non-controversial link between functional signals and<br />
their vascular origin. The talk <strong>of</strong> Leslie Loew (Connecticut<br />
Health Center) presented yet another technological discovery<br />
that uses voltage sensitive dyes to image neuronal physiology.<br />
Loew also introduced briefly the Virtual Cell, a s<strong>of</strong>tware system<br />
used to simulate neuronal cell biology. All these technological<br />
advancements can provide valuable data for mathematical<br />
models <strong>of</strong> the brain.<br />
Corina Drapaca (Penn State)<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 17
IN CONVERSATION<br />
IN LATE MAY, LEAH KESHET (UBC) PRESENTED<br />
a lecture at the Centre for Mathematical Medicine entitled<br />
Adventures in Mathematical Biology. She spoke mainly about<br />
recent progress in cell motility modelling using a systems biology<br />
approach. (Cells typically move by a process called chemotaxis,<br />
and proteins regulate cell movement by enabling this process.)<br />
Keshet described the progression <strong>of</strong> her model from inception,<br />
using three simple partial differential equations to model the<br />
protein dynamics, to a more robust model including proteins that<br />
stay relatively dormant during movement. This expansion led to<br />
the addition <strong>of</strong> three differential equations to the model.<br />
Keshet’s lecture outlined the symmetry breaking that occurs<br />
during initiation <strong>of</strong> cell polarization, as well as the related cell<br />
signaling systems. She summarized her research, presented the<br />
mathematical models she has developed, and hypothesized<br />
underlying biological mechanisms produced from the insight she<br />
has gained from her models.<br />
The key points <strong>of</strong> her talk were related to the relevant<br />
developments in biotechnology and their implications for<br />
the modelling and understanding <strong>of</strong> cell motility. After her<br />
introduction she showed movies made through microscopes<br />
that illustrated cell motility. She then gave a general description<br />
<strong>of</strong> the approach to understanding cell motility mechanisms.<br />
She noted that using genetic circuit diagrams to identify the<br />
relevant proteins involved in the process is the only way to study<br />
it. After this, she explained the process <strong>of</strong> research in this field<br />
18 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
Leah Keshet<br />
and the importance <strong>of</strong> interactions between mathematicians and<br />
biologists.<br />
From making initial biological observations and producing a<br />
preliminary model, Keshet was able to validate it and make the<br />
necessary modifications to produce more accurate explanations.<br />
Her preliminary model consisted <strong>of</strong> three coupled partial<br />
differential equations corresponding to the active proteins:<br />
phosphoinositides, GTPases, and the actin cytoskeleton. To<br />
capture the characteristic wave movement <strong>of</strong> the cells, she<br />
improved the preliminary model by including inactive proteins.<br />
Keshet noted that her understanding <strong>of</strong> the phenomenon<br />
has been produced from the ground up and that it has taken<br />
<strong>of</strong>f to a great start. Keshet has given follow-up directions to<br />
some <strong>of</strong> her collaborators, graduate students, and post-doctoral<br />
fellows. They are creating a stochastic version <strong>of</strong> the model to<br />
include inherent biological instabilities, a scheme <strong>of</strong> fluid based<br />
computations to study the motion <strong>of</strong> shapes, and some biological<br />
directions to study the cell’s ability to diffuse and re-orient itself.<br />
Keshet was a student <strong>of</strong> applied mathematician Lee Segal.<br />
In the 1960s, Segal pioneered many <strong>of</strong> the asymptotic and<br />
quasi-steady state methods used to study complex mathematical<br />
models in a more tractable format.<br />
Following her lecture, Keshet sat down with Sivabal<br />
Sivaloganathan, Co-Director <strong>of</strong> the Center for Mathematical<br />
Medicine, to answer a few general questions about mathematical<br />
biology.
Richard Cerezo: From my understanding<br />
<strong>of</strong> the lecture, you characterized cell<br />
motility by its activity with three proteins.<br />
Leah Keshet: That was one aspect <strong>of</strong> a<br />
bigger project in which the three proteins<br />
play a major role, this is absolutely true.<br />
When I give this lecture to biologists, I<br />
tend not to do it quite in the same order…<br />
Since I am giving the talk at the <strong>Fields</strong><br />
<strong>Institute</strong> I wanted to have a centerpiece<br />
which was more mathematical.<br />
RC: Are you a biologist or mathematician<br />
by training, or both?<br />
Siv Sivaloganathan: Her mother was a<br />
pure mathematician and her father was a<br />
biologist, so it was inevitable that she was…<br />
LK: …stuck in between.<br />
RC: I guess that comes across when you<br />
have to tailor your talks to different<br />
audiences.<br />
LK: I try to, although you sometimes get<br />
the opposite attitude and some people<br />
say that to be in a field like this, you need<br />
to be able to sit in two chairs, and you<br />
need to have a very big bottom, because<br />
biologists will say, ‘This is completely too<br />
simplified’ and there is nothing biological<br />
here. And mathematicians will come along<br />
and say, ‘This is too s<strong>of</strong>t, there is nothing<br />
mathematically interesting here.’ So it’s<br />
tricky.<br />
SS: When you’re looking at a problem<br />
that is essentially biological, how do<br />
you go about thinking ‘what’s the crux<br />
<strong>of</strong> the mathematical problem?’ How<br />
do you go about formulating a problem<br />
mathematically?<br />
LK: Well it’s not trivial. It took many<br />
years before we got to even asking the right<br />
questions. We were stumped for a while<br />
at the point where we saw, ‘these are the<br />
three proteins, and these are the reactions.<br />
We’ve simulated them but we don’t get<br />
polarization. What’s going on here? Why<br />
don’t we get what we want?’ To begin to<br />
see what was happening took a long time.<br />
To begin to formulate a simpler problem<br />
that we could pursue analytically took even<br />
more time. It’s been a total <strong>of</strong> seven or<br />
eight years from when we began thinking<br />
about these proteins.<br />
SS: Would you say that apart from<br />
experience, it’s a whole universe <strong>of</strong> things<br />
outside the realm <strong>of</strong> mathematics that you<br />
need to feel through to get a handle on the<br />
problem?<br />
LK: For the first five or six years, a lot<br />
<strong>of</strong> the work is reading the literature and<br />
figuring out what it means, rather than<br />
having a biologist to work with directly.<br />
This is because biologists rarely see the<br />
value <strong>of</strong> models. The biologists who have<br />
these values are rare and it takes a while for<br />
us to build up enough <strong>of</strong> a background to<br />
publish. I have collaborations with Condilis<br />
in New York, which arose because I gave<br />
a similar talk in Minnesota and he was one<br />
<strong>of</strong> the people in the audience. He could<br />
see that there was some value in those<br />
directions.<br />
RC: Was this approach to the problem out<br />
<strong>of</strong> necessity or was this something that you<br />
were trained during your PhD?<br />
LK: I think it’s more a matter <strong>of</strong> luck.<br />
That is, having the right people come<br />
together at the right time. So when I began<br />
thinking about this, I had a postdoc Stan<br />
Moray [...] and he was a person who already<br />
had these two dimensional simulations for<br />
moving cell platforms—not so much as for<br />
many cells interacting with each other, but<br />
he could immediately see that this could be<br />
done. While some students were working<br />
out the biochemistry, we could then go to<br />
them and say, ‘Here’s what we found,’ and<br />
he could go then and make 2D simulations.<br />
If we had to do everything from scratch, it<br />
would have taken a long time.<br />
RC: For the future generation <strong>of</strong> math<br />
biologists, what attitude should we foster?<br />
Since this is a highly non-traditional field<br />
in mathematics.<br />
LK: The good thing is that the field has<br />
become more central and nowadays,<br />
biologists typically have to show some<br />
type <strong>of</strong> modelling component in their<br />
grant proposals. They cannot simply<br />
apply for NIH or NSF funding without<br />
this balance. They have to show that they<br />
have some way <strong>of</strong> taking that data from<br />
their experiments and making sense <strong>of</strong><br />
it by working with theorists. Therefore,<br />
they have much more motivation to be<br />
connected to young people who’ve got<br />
quantitative techniques. So I think it’s<br />
important both to get the good math<br />
background, which means PDEs, ODEs,<br />
numerical simulation, a bit <strong>of</strong> computer<br />
programming, knowing how to use<br />
MATLAB, as well as taking the necessary<br />
background courses in biology that you’re<br />
interested in like immunology <strong>of</strong> cell<br />
biology in my case, and then being very<br />
open to talking to and finding people in<br />
those fields to talk to.<br />
SS: Because in many ways, biology up<br />
until now has been just observation and<br />
acquiring <strong>of</strong> lots <strong>of</strong> data. But trying to do<br />
mathematics with objects that are not in<br />
your chemical equations is something that<br />
is just slowly sinking in.<br />
RC: In what way, if any, did Pr<strong>of</strong>essor<br />
Lee Segal influence your work, your<br />
approach, and your philosophy?<br />
LK: Good question. I think first <strong>of</strong> all<br />
that he was a great applied mathematician.<br />
And I have to say that, despite all his<br />
good intentions, he did not get me all<br />
excited about asymptotic analysis. But<br />
I did appreciate its usefulness, so other<br />
people working with me deal with those<br />
things. He had a way <strong>of</strong> taking problems<br />
and saying, ‘How can we simplify this as a<br />
first cut? How can we take something very<br />
complicated and try and write down what<br />
are the key things that we’ll go after as a<br />
first version? Once we understand that,<br />
we’ll add extra details.’ He was very good<br />
at that.<br />
[...] there are many scientists in every<br />
area who are extremely possessive and have<br />
the attitude <strong>of</strong> saying ‘this is my idea, this<br />
is how it works’, ‘everybody else is a fool’,<br />
‘this is the only way’. Segal was very much<br />
willing to see all kinds <strong>of</strong> points <strong>of</strong> view and<br />
debate, ‘well this kind <strong>of</strong> model can explain<br />
this, the other kind <strong>of</strong> model is not so good<br />
at explaining that’ and vice versa. He was<br />
known in the field as being a great man,<br />
almost a father figure, and I think that is<br />
really important.<br />
RC: So a human aspect was very<br />
important, as well as his ability to relate<br />
to other people, not only his ability to be<br />
solely a scientist?<br />
LK: To bridge between different<br />
perspectives and not be too put <strong>of</strong>f if<br />
someone thought that ‘no actually, things<br />
work a different way’, to be tolerant <strong>of</strong><br />
different points <strong>of</strong> view and be open.<br />
SS: This is interesting because we<br />
had a workshop a couple <strong>of</strong> weeks ago<br />
on Mathematical Oncology and one<br />
<strong>of</strong> the students <strong>of</strong> Weinberg at MIT<br />
was speaking and I was talking to him<br />
afterwards and he was saying how he got<br />
to work with Weinberg. Weinberg said to<br />
him ‘anybody could be a great scientist, I<br />
want you to be a great human being’ and I<br />
thought that was a wonderful thing to say.<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 19
New <strong>Fields</strong> <strong>Institute</strong> Publications<br />
<strong>Fields</strong> <strong>Institute</strong> Communications, Volume 57<br />
GANITA Seminars on Algebraic Curves and Cryptography<br />
Edited by V. Kumar Murty, <strong>University</strong> <strong>of</strong> <strong>Toronto</strong><br />
In 2001, the GANITA Lab was founded at the <strong>University</strong> <strong>of</strong><br />
<strong>Toronto</strong> to study the applications <strong>of</strong> mathematics to problems<br />
in Information Technology. The Sanskrit word ganita means<br />
computation or calculation which is one <strong>of</strong> the themes <strong>of</strong> the<br />
research activities in the lab. GANITA is also an acronym for<br />
Geometry, Algebra, Number Theory and their Information<br />
Technology Applications. Over the past nine years, the lab has<br />
mostly concentrated on applications related to information<br />
security. Part <strong>of</strong> the mandate <strong>of</strong> the lab was to contribute to<br />
the training <strong>of</strong> students and postdoctoral fellows interested in<br />
entering the area. For this purpose, a weekly seminar was held<br />
to discuss background material as well as to learn about recent<br />
research. This volume is a small selection <strong>of</strong> some <strong>of</strong> those<br />
seminar talks. They are arranged around the theme <strong>of</strong> point<br />
counting on various classes <strong>of</strong> abelian varieties over finite<br />
fields. The presentations are mostly suitable for independent<br />
study by graduate students who wish to enter the field, both in<br />
terms <strong>of</strong> introducing basic material as well as providing a guide<br />
to the literature.<br />
<strong>Fields</strong> <strong>Institute</strong> Communications, Volume 58<br />
New Perspectives in Mathematical Biology<br />
Edited by Siv Sivaloganathan, <strong>University</strong> <strong>of</strong> Waterloo<br />
This volume provides a glimpse <strong>of</strong> the vibrancy and<br />
excitement felt in mathematical biology and medicine as<br />
it emerges from its period <strong>of</strong> infancy in the last century.<br />
Recently, the field has taken centre stage as a major theme<br />
<strong>of</strong> modern applied mathematics with strong links to the<br />
empirical biomedical sciences, and has become one <strong>of</strong> the<br />
most rapidly growing areas <strong>of</strong> modern science.<br />
The lectures on which the book is based were delivered at<br />
the Society for Mathematical Biology (SMB) Conference held<br />
in <strong>Toronto</strong> in 2008, and reflect the broad spectrum <strong>of</strong> current<br />
research interests and activity in the field. The conference<br />
The <strong>Fields</strong> <strong>Institute</strong> for Research in Mathematical Sciences<br />
publishes FIELDSNOTES three times a year.<br />
Director: Edward Bierstone<br />
Deputy Director: Matthias Neufang<br />
Managing Editor: Andrea Yeomans<br />
Scientific Editor: Carl Riehm<br />
Distribution Coordinator: Tanya Nebesna<br />
Cover Photo: Mike MacLeod<br />
Additional Photos: Richard Cerezo (pages 4, 5, 6, 13); Ruy<br />
Exel (page 9); Spiro Karigiannis (page 11); Mike MacLeod<br />
(page 2); Juraj Stacho (page 6).<br />
20 FIELDSNOTES | FIELDS INSTITUTE Research in Mathematical Sciences<br />
brought together a group <strong>of</strong> world-renowned scientists,<br />
researchers, postdoctoral fellows and graduate students for<br />
four days <strong>of</strong> cutting edge talks and lectures.<br />
<strong>Fields</strong> <strong>Institute</strong> Monographs, Volume 27<br />
Polyhedral and Semidefinite Programming Methods in<br />
Combinatorial Optimization<br />
By Levent Tunçel, <strong>University</strong> <strong>of</strong> Waterloo<br />
Since the early 1960s, polyhedral methods have had a central<br />
role to play in both the theory and practice <strong>of</strong> combinatorial<br />
optimization. Since the early 1990s, a new technique,<br />
semidefinite programming, has been increasingly applied to<br />
some combinatorial optimization problems. The semidefinite<br />
programming problem refers to optimizing a linear function<br />
<strong>of</strong> matrix variables, subject to finitely many linear inequalities<br />
and the positive semidefiniteness condition on some <strong>of</strong> the<br />
matrix variables. On certain problems, such as maximum cut,<br />
maximum satisfiability, maximum stable set and geometric<br />
representations <strong>of</strong> graphs, semidefinite programming<br />
techniques yield new and important results. This monograph<br />
provides the necessary background to work with semidefinite<br />
optimization techniques, usually by drawing parallels to the<br />
development <strong>of</strong> polyhedral techniques and with a special focus<br />
on combinatorial optimization, graph theory and lift-andproject<br />
methods.<br />
The core <strong>of</strong> this book is based on ten lectures given at the<br />
<strong>Fields</strong> <strong>Institute</strong> during the academic term Fall 1999, as part<br />
<strong>of</strong> the <strong>Fields</strong> <strong>Institute</strong> Thematic Program on Graph Theory and<br />
Combinatorial Optimization. These lectures were expanded and<br />
developed by the author in several courses at the <strong>University</strong><br />
<strong>of</strong> Waterloo, evolving over the past 10 years into the present<br />
monograph.<br />
As prerequisites for this monograph, a solid background<br />
in mathematics at the undergraduate level and some exposure<br />
to linear optimization are required. Some familiarity with<br />
computational complexity theory and the analysis <strong>of</strong><br />
algorithms would also be helpful.<br />
‘Jeremy Quastel’ continued from page 13<br />
With a special set <strong>of</strong> initial conditions, Quastel presented<br />
a visual corner growth model and the exact formula for ASEP<br />
(Asymmetric Simple Exclusion Process) by Tracy and Widom<br />
(published in 2008). Results were found independently by<br />
Sasawoto-Spohn. Some cases were resolved for specific initial<br />
conditions. If p = q,<br />
we can estimate the KPZ solution.<br />
Techniques for other exclusion processes can be extrapolated<br />
from these special cases.<br />
The formula obtained proved a long standing scaling<br />
conjecture. The lecture was a glimpse into the world <strong>of</strong> polymer<br />
models and the upcoming thematic program.<br />
Richard Cerezo (<strong>Toronto</strong>)
‘Schubert Calculus’ continued from page 12<br />
One <strong>of</strong> the motivating open problems<br />
<strong>of</strong> this subject is to understand the algebra<br />
<strong>of</strong> k-Schur functions well enough to<br />
develop a combinatorial model <strong>of</strong> the<br />
structure constants. It is known that the<br />
Gromov-Witten invariants appear as special<br />
cases <strong>of</strong> the structure constants <strong>of</strong> the<br />
k-Schur functions; answering this particular<br />
aspect <strong>of</strong> the affine Schubert calculus would<br />
help answer long standing open problems<br />
in the area <strong>of</strong> mathematical physics and<br />
geometry.<br />
The summer school opened with a talk<br />
by Jennifer Morse (Drexel) who, in the first<br />
<strong>of</strong> three presentations, gave an explanation<br />
<strong>of</strong> Schur symmetric functions and the Pieri<br />
rule, which she generalized in later talks.<br />
She showed in her second and third talks<br />
how changing one element <strong>of</strong> the definition<br />
<strong>of</strong> Schur functions gives a definition <strong>of</strong><br />
k-Schur functions, and changing it in a<br />
different way gives a definition <strong>of</strong> dual<br />
k-Schur functions.<br />
Her three lectures gave background<br />
that was used in the presentations by Luc<br />
Lapointe (Talca). His first leture told the<br />
story about how the k-Schur functions were<br />
originally discovered as the ‘largest’ basis<br />
<strong>of</strong> a subspace <strong>of</strong> Macdonald’s symmetric<br />
functions for which the Macdonald<br />
symmetric functions were positive. In<br />
the second lecture he outlined a list <strong>of</strong><br />
properties, conjectures, and open problems.<br />
Thomas Lam (UMichigan) gave a series<br />
<strong>of</strong> lectures for which he had produced<br />
lecture notes in advance <strong>of</strong> the summer<br />
school, covering a very useful array <strong>of</strong><br />
mathematics for algebraic combinatorics.<br />
He showed the definition <strong>of</strong> Stanley<br />
symmetric functions that are a generating<br />
function for the reduced words <strong>of</strong> a<br />
permutation and then generalized them<br />
to affine Stanley symmetric functions and<br />
showed how they were related to k-Schur<br />
functions.<br />
A portion <strong>of</strong> the FRG grant was<br />
dedicated to computational aspects <strong>of</strong><br />
affine Schubert calculus. Jason Bandlow<br />
(UPenn) and Nicolas Thiéry (Paris Sud<br />
11) gave a number <strong>of</strong> tutorials on the open<br />
source mathematics s<strong>of</strong>tware Sage which<br />
has programs to compute with<br />
k-Schur functions and an extensive<br />
algebraic combinatorics toolbox. Mark<br />
Shimozono (Virginia Tech) gave a<br />
series <strong>of</strong> lectures laying out an explicit<br />
method for computing affine Stanley<br />
symmetric functions for all types and made<br />
connections between the geometry and<br />
the algebra in detail. Lenny Tevlin (NYU)<br />
gave an introductory lecture on the last day<br />
<strong>of</strong> the summer school on quasi-symmetric<br />
functions.<br />
Participants had a day <strong>of</strong>f and the<br />
workshop portion <strong>of</strong> the event was held<br />
in the following four days. It was a really<br />
pleasant experience to hold this meeting<br />
during the summer. We had a beautiful day<br />
between the summer school and workshop;<br />
a few <strong>of</strong> the participants took the ferry to<br />
see the <strong>Toronto</strong> islands.<br />
The topics <strong>of</strong> the workshop were more<br />
focused on recent research results and<br />
opened with a presentation by Sami Assaf<br />
(MIT). She spoke about joint work with<br />
Sara Billey (MIT) that showed the k-Schur<br />
functions were Schur positive. Bandlow<br />
spoke about joint work with Anne Schilling<br />
(UC Davis) and myself on the Murnaghan-<br />
Nakayama rule for k-Schur functions which<br />
gives an expansion <strong>of</strong> k-Schur functions in<br />
the power sum generators <strong>of</strong> the algebra.<br />
Jonah Blasiak (Chicago) spoke about<br />
the representation theory <strong>of</strong> graded S n<br />
modules which are conjectured to have<br />
a decomposition into S n representations<br />
given by k-Schur functions.<br />
Some <strong>of</strong> the talks presented<br />
constructions concerning problems related<br />
to Affine Schubert Calculus, and others<br />
discussed closely related topics such as<br />
crystals and quantum Schubert Calculus.<br />
Hugh Thomas (New Brunswick) gave<br />
an interesting talk about how to derive<br />
Littlewood-Richardson rules using Pieri<br />
rules and jeu-de-taquin. Luis Serrano<br />
(UMichigan) spoke on work to generalize<br />
non-commutative Schur functions <strong>of</strong> the<br />
methods by Fomin and Greene to other<br />
types. Thomas Lam had used similar<br />
techniques to define non-commutative<br />
k-Schur functions.<br />
Mike Zabrocki (York)<br />
‘Groups’ continued from page 9<br />
Handelman (Ottawa) on the occasion <strong>of</strong> his<br />
forthcoming 60th birthday.<br />
Many animated mathematical<br />
discussions took place. New research<br />
collaborations are certainly expected to<br />
result from this event, and a conference<br />
sequel (Brazilian Operator Algebra<br />
Symposium) will be held in Florianópolis<br />
from January 31 to February 4, 2011.<br />
Thierry Giordano and Vladimir Pestov (Ottawa)<br />
THANKS<br />
to our<br />
SPONSORS<br />
MAJOR SPONSORS<br />
Government <strong>of</strong> Ontario—<br />
Ministry <strong>of</strong> Training, Colleges,<br />
and Universities; Goverment <strong>of</strong><br />
Canada—Natural Sciences and<br />
Engineering Research Council<br />
(NSERC)<br />
PRINCIPAL SPONSORING<br />
UNIVERSITIES<br />
Carleton <strong>University</strong>, McMaster<br />
<strong>University</strong>, <strong>University</strong> <strong>of</strong> Ottawa,<br />
<strong>University</strong> <strong>of</strong> <strong>Toronto</strong>, <strong>University</strong><br />
<strong>of</strong> Waterloo, <strong>University</strong> <strong>of</strong><br />
Western Ontario, York <strong>University</strong><br />
AFFILIATED UNIVERSITIES<br />
Brock <strong>University</strong>, <strong>University</strong> <strong>of</strong><br />
Guelph, <strong>University</strong> <strong>of</strong> Houston,<br />
Iowa State <strong>University</strong>, Lakehead<br />
<strong>University</strong>, <strong>University</strong> <strong>of</strong> Manitoba,<br />
<strong>University</strong> <strong>of</strong> Maryland, Nipissing<br />
<strong>University</strong>, <strong>University</strong> <strong>of</strong> Ontario<br />
<strong>Institute</strong> <strong>of</strong> Technology, Queen’s<br />
<strong>University</strong>, Royal Military College,<br />
Ryerson <strong>University</strong>, <strong>University</strong> <strong>of</strong><br />
Saskatchewan, Trent <strong>University</strong>,<br />
Wilfrid Laurier <strong>University</strong>,<br />
<strong>University</strong> <strong>of</strong> Windsor<br />
CORPORATE SPONSORS<br />
Algorithmics General Motors,<br />
QWeMA, R 2 Financial<br />
Technologies, Sigma Analysis and<br />
Management<br />
The <strong>Fields</strong> <strong>Institute</strong> receives<br />
and welcomes donations and<br />
sponsorships from individuals,<br />
corporations, or foundations, and is<br />
a registered charity.<br />
The <strong>Fields</strong> <strong>Institute</strong> is grateful to all<br />
its sponsors for their support.<br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 21
Call for Proposals,<br />
Nominations, and Applications<br />
For detailed information on making proposals or nominations, please see the website: www.fields.utoronto.ca/proposals<br />
CRM-<strong>Fields</strong>-PIMS Prize — Submission deadline November 1, 2010<br />
The CRM-<strong>Fields</strong>-PIMS Prize is the premier Canadian award in recognition <strong>of</strong> exceptional research achievement in the<br />
mathematical sciences. Nominations for this joint prize are solicited. The candidate’s research should have been conducted<br />
primarily in Canada or in affiliation with a Canadian university. Please send nominations to<br />
crm-fields-pims-prize@fields.utoronto.ca. Nominations for the CRM-<strong>Fields</strong>-PIMS prize should reach the <strong>Fields</strong> <strong>Institute</strong> no<br />
later than November 1, 2010. For further details, please visit www.fields.utoronto.ca/proposals/crm-fields-pims_prize.html.<br />
General Scientific Activities<br />
Proposals for short scientific events in the mathematical sciences should be submitted by October 15, February 15, or June<br />
15 <strong>of</strong> each year, with a lead time <strong>of</strong> at least one year recommended. Activities supported include workshops, conferences,<br />
seminars, and summer schools. If you are considering a proposal, we recommend that you contact the Director or Deputy<br />
Director (proposals@fields.utoronto.ca). For further details, please visit www.fields.utoronto.ca/proposals/other_activity.html.<br />
Thematic Programs<br />
Letters <strong>of</strong> intent and proposals for semester-long programs at the <strong>Fields</strong> <strong>Institute</strong> are considered in the spring and fall each<br />
year and should be submitted preferably by March 15 or September 30. Organizers are advised that a lead time <strong>of</strong> several<br />
years is required, and are encouraged to submit a letter <strong>of</strong> intent prior to preparing a complete proposal. The <strong>Fields</strong> <strong>Institute</strong><br />
has started a new series <strong>of</strong> two-month long summer thematic programs focusing on interdisciplinary themes. Organizers<br />
should consult the directorate (proposals@fields.utoronto.ca) about their projects in advance to help structure their proposal.<br />
<strong>Fields</strong> Research Immersion Fellowships<br />
This program supports individuals with high potential to re-enter an active research career after an interruption for special<br />
personal reasons. To qualify, candidates must have been in a postdoctoral or faculty position at the time their active<br />
research career was interrupted. The duration <strong>of</strong> career interruption should be at least one year and no more than eight<br />
years. Examples <strong>of</strong> qualifying interruptions include: a complete or partial hiatus from research activities for child rearing;<br />
an incapacitating illness or injury <strong>of</strong> the candidate, spouse, partner, or a member <strong>of</strong> the immediate family; or relocation to<br />
accommodate a spouse, partner, and/or other close family member. The Research Immersin Fellow will participate fully in<br />
the thematic program, with the expectation that this will allow candidates to enhance their research capabilities and establish<br />
or re-establish a career as a productive, competitive researcher. The award is to be held at the <strong>Fields</strong> <strong>Institute</strong>, but there are<br />
no restrictions on the nationality or country <strong>of</strong> employment <strong>of</strong> the candidate.<br />
For programs in a given program year (which runs July to June) the closing date will be the preceding March 31.<br />
Applications should be sent by email to the Director. Late applications will be considered if the position has not yet been<br />
filled. For further details, please visit www.fields.utoronto.ca/proposals/research_immersion.html.<br />
Outreach Proposals<br />
The <strong>Fields</strong> <strong>Institute</strong> occasionally provides support for projects whose goal is to promote mathematical culture at all levels and bring<br />
mathematics to a wider audience. Faculty at <strong>Fields</strong> sponsoring universities or affiliates who consider organizing such an activity<br />
and seek <strong>Fields</strong> <strong>Institute</strong> support, are invited to submit a proposal to the <strong>Fields</strong> Outreach Competition. There are two submission<br />
deadlines each year, June 1 and December 1, with the second competition scheduled for December 1, 2010. Proposals should<br />
include a detailed description <strong>of</strong> the proposed activity as well as <strong>of</strong> the target audience. A budget indicating other sources <strong>of</strong> support<br />
is also required. Submissions should be sent to proposals@fields.utoronto.ca. Questions about this program may be directed to the<br />
Director or Deputy Director.
FIELDS <strong>ACTIVITIES</strong><br />
Bridging Research, Education, and Industry<br />
Current and Upcoming Thematic Programs<br />
ASYMPTOTIC GEOMETRIC ANALYSIS,<br />
JULY TO DECEMBER 2010<br />
Organizers: V. Milman (Tel Aviv), V. Pestov (Ottawa),<br />
N. Tomczak-Jaegermann (Alberta)<br />
SEPTEMBER 13–17, 2010<br />
Workshop on Asymptotic Geometric Analysis and<br />
Convexity<br />
SEPTEMBER 14–16, 2010<br />
Distinguished Lecture Series: Avi Wigderson (IAS)<br />
SEPTEMBER 17, 20, 21, 2010<br />
Coxeter Lecture Series: Shiri Artstein-Avidan (Tel Aviv)<br />
OCTOBER 12–16, 2010<br />
Workshop on the Concentration Phenomenon,<br />
Transformation Groups and Ramsey Theory<br />
NOVEMBER 1–5, 2010<br />
Workshop on Geometric Probability and Optimal<br />
Transport<br />
DYNAMICS AND TRANSPORT IN DISORDERED<br />
SYSTEMS , JANUARY TO JUNE 2011<br />
Organizers: D. Dolgopyat (Maryland), K. Khanin (UTM),<br />
R. de la Llave, (UT Austin), A. Neishtadt (IKI), J. Quastel<br />
(<strong>Toronto</strong>), B. Tóth (BME)<br />
FEBRUARY 14–19, 2011<br />
Workshop on Disordered Polymer Models<br />
APRIL 4–8, 2011<br />
Workshop on the Fourier Law and Related Topics<br />
JUNE 13–17, 2011<br />
Workshop on Instabilities in Hamiltonian Systems<br />
FEBRUARY 22–24, 2011<br />
Distinguished Lecture Series: Yakov Sinai<br />
(Princeton)<br />
APRIL 13–15, 2011<br />
Coxeter Lecture Series:<br />
Srinivasa Varadhan (Courant)<br />
General Scientific Activities — October 2010 to January 2011<br />
All activities take place at <strong>Fields</strong> unless otherwise stated. Detailed informaiton: www.fields.utoronto.ca/programs<br />
OCTOBER 8, 2010<br />
4th Symposium on Health Technology<br />
at the <strong>University</strong> <strong>of</strong> Waterloo<br />
OCTOBER 9–10, 2010<br />
RECOMB Satellite Workshop on<br />
Comparative Genomics<br />
at the <strong>University</strong> <strong>of</strong> Ottawa<br />
OCTOBER 20, 2010<br />
Computational Neuroscientists in Upper<br />
Canada (CNUCs) Workshop<br />
OCTOBER 22, 2010<br />
CRM-<strong>Fields</strong>-PIMS Prize Lecture:<br />
Gordon Slade (UBC)<br />
OCTOBER 25, 2010<br />
Big Ideas in Mathematics Symposium<br />
OCTOBER 28, 2010<br />
2010 IFID Conference on Models<br />
for Lifecycle Finance, Insurance and<br />
Economics<br />
OCTOBER 29, 2010<br />
Workshop on Technology Integration in<br />
Teaching Undergraduate Mathematics<br />
Students<br />
NOVEMBER 6-7, 2010<br />
Workshop on Algebraic Varieties<br />
DECEMBER 6-10, 2010<br />
Workshop on Discrete and<br />
Computational Geometry<br />
at Carleton <strong>University</strong><br />
FIELDS<br />
DECEMBER 8-10, 2010<br />
First Joint North American Meeting<br />
on Industrial and Applied Mathematics<br />
SMM-SIAM-CAIMS<br />
at the Universidad del Mar, Huatulco,<br />
Mexico<br />
DECEMBER 9, 2010<br />
Computational Neuroscientists in Upper<br />
Canada (CNUCs) Workshop<br />
JANUARY 21-23, 2011<br />
Combinatorial Algebra meets Algebraic<br />
Combinatorics Conference<br />
at Lakehead <strong>University</strong><br />
FIELDS INSTITUTE Research in Mathematical Sciences | FIELDSNOTES 23
Message from the Director<br />
Thoughts on the IMU General Assembly<br />
Many <strong>of</strong> our readers will know that the <strong>Fields</strong> <strong>Institute</strong><br />
has been in a competition with two other research<br />
institutes to host a Stable Office <strong>of</strong> the International<br />
Mathematical Union (IMU). The competing institutions<br />
were the Instituto Nacional de Matemática Pura e Aplicada<br />
(IMPA) in Rio de Janeiro, and the Weierstrass <strong>Institute</strong> for<br />
Applied Analysis and Stochastics (WIAS) in Berlin. A decision<br />
in favour <strong>of</strong> WIAS was made by a majority vote <strong>of</strong> the IMU<br />
General Assembly meeting in Bangalore, India, August 16–17.<br />
I participated in the General Assembly as a member <strong>of</strong> the<br />
Canadian delegation, and also to present the <strong>Fields</strong> <strong>Institute</strong><br />
bid.<br />
Much <strong>of</strong> my time and energy during the past year, as<br />
well as dedicated efforts by staff and friends <strong>of</strong> the <strong>Fields</strong><br />
<strong>Institute</strong> went into the development <strong>of</strong> our bid. I would like<br />
to express my heartfelt appreciation to all who contributed.<br />
Particular thanks are due to City <strong>of</strong> <strong>Toronto</strong> Mayor David<br />
Miller, <strong>University</strong> <strong>of</strong> <strong>Toronto</strong> President David Naylor and<br />
Canadian Mathematical Society President Tony Lau for their<br />
support. Invest <strong>Toronto</strong> provided expert help in preparing our<br />
presentations.<br />
My opinions on the result are <strong>of</strong> course partisan! But<br />
it is certain that the host institution and community will<br />
create a perception <strong>of</strong> the Stable Office that will mark the<br />
future development <strong>of</strong> IMU activity. I believe that the<br />
<strong>Fields</strong> <strong>Institute</strong> and the City <strong>of</strong> <strong>Toronto</strong> <strong>of</strong>fered the IMU<br />
a unique opportunity, in terms <strong>of</strong> openness to people and<br />
ideas, diversity <strong>of</strong> the <strong>Institute</strong>’s scientific activities, and its<br />
global outreach (both to traditional centres <strong>of</strong> mathematics<br />
excellence and to the developing world). Neither we nor<br />
IMPA, however, were able to <strong>of</strong>fer the same amount <strong>of</strong><br />
government financial support as WIAS.<br />
Our participation in the competition for the IMU Stable<br />
Office has helped raise the international pr<strong>of</strong>ile <strong>of</strong> the <strong>Fields</strong><br />
<strong>Institute</strong> and the Canadian mathematical community. It<br />
has opened opportunities for continuing collaboration with<br />
the IMU that I hope to report further on in future issues <strong>of</strong><br />
the <strong>Fields</strong> Notes. As a part <strong>of</strong> our bid for the Stable Office,<br />
the <strong>Fields</strong> and Perimeter <strong>Institute</strong>s <strong>of</strong>fered the IMU to<br />
jointly fund a <strong>Fields</strong>–IMU–Perimeter Fellowship to bring young<br />
researchers from Africa to participate in <strong>Fields</strong> or Perimeter<br />
programs. We plan to implement this initiative as the <strong>Fields</strong>–<br />
Perimeter Fellowship.<br />
The amount <strong>of</strong> government support that would have<br />
been needed to produce a winning bid was extremely modest<br />
in relation to higher-pr<strong>of</strong>ile government initiatives and the<br />
potential benefits to Canada <strong>of</strong> hosting the headquarters <strong>of</strong><br />
international scientific organizations. A prominent German<br />
senator enthusiastically described WIAS’s winning bid as<br />
“an accolade for Berlin as an excellent place for science. [...]<br />
Mathematics in the region has established itself as a major<br />
factor that strengthens the link between science and the<br />
economy.”<br />
It is impossible to avoid a comparison also with South<br />
Korea’s winning bid for the next International Congress <strong>of</strong><br />
Mathematicians (ICM 2014). South Korea’s presentation<br />
to the General Assembly was an eloquent testimony to a<br />
successful twenty-year initiative to become a world power in<br />
mathematics. The effort was sustained by Korea’s traditional<br />
reverence for mathematics, and confidence that an investment<br />
in the development <strong>of</strong> mathematical talent represents perhaps<br />
both the most effective and the least expensive way to build<br />
an economy based on innovation and technological advances,<br />
with pay<strong>of</strong>f within a generation. At the ICM, I heard that<br />
more than half <strong>of</strong> South Korea’s Olympic athletes go on to get<br />
degrees in Medicine or PhDs in Mathematics!<br />
On July 6 at the Perimeter <strong>Institute</strong>, Prime Minister<br />
Stephen Harper announced 20 million dollars in government<br />
funding to speed the growth <strong>of</strong> science in Africa by<br />
establishing a network <strong>of</strong> five centres <strong>of</strong> the African <strong>Institute</strong><br />
for Mathematical Sciences across Africa within the next few<br />
years. The Canadian government is to be congratulated on<br />
this investment in a vast pool <strong>of</strong> potential mathematical and<br />
scientific talent, and for heeding the vision <strong>of</strong> the nations <strong>of</strong><br />
Africa who recognize the value to their societies <strong>of</strong> nurturing<br />
the scientific culture <strong>of</strong> their young people.<br />
What about Canadian society and young people in our<br />
country? Canada is slipping in its competitiveness ranking<br />
by the World Economic Forum, particularly when it comes<br />
to measurement <strong>of</strong> innovation factors. NSERC seems<br />
to be losing its way — under-funded, micro-managed by<br />
the government, less and less responsive to the scientific<br />
community. Funding <strong>of</strong> the Canadian mathematics institutes<br />
seems under threat. A worrying number <strong>of</strong> Canada’s best<br />
young mathematicians are leaving, after taking university<br />
positions here just a few years ago because <strong>of</strong> Canada<br />
Research Chairs or other opportunities. Our provinces badly<br />
need plans to improve the quality <strong>of</strong> mathematics education at<br />
all levels.<br />
It is a reasonable working assumption that human<br />
scientific potential is evenly distributed in the world’s<br />
population. I believe that we in Canada have a lot to learn<br />
from policies <strong>of</strong> rising economic powers like China, India and<br />
South Korea on the development <strong>of</strong> this potential. Are we<br />
leaving our own children behind?<br />
Edward Bierstone<br />
FIELDS INSTITUTE Research in Mathematical Science<br />
222 COLLEGE STREET, TORONTO, ONTARIO, CANADA M5T 3J1<br />
Tel 416 348.9710 Fax 416 348.9714 WWW.FIELDS.UTORONTO.CA