14.10.2013 Views

SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto

SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto

SCIENTIFIC ACTIVITIES - Fields Institute - University of Toronto

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!