New Directions
Program
New Directions Short Course:
Applied Algebraic Topology
June
15 - 26, 2009
| Instructors: |
|
Gunnar Carlsson
|
Mathematics, Stanford University |
|
Robert Ghrist
|
Mathematics/Electrical and
Systems Engineering, University of Pennsylvania |
From June 15-26, 2009 the IMA will host an intensive short
course designed to efficiently provide researchers in the
mathematical sciences and related disciplines the basic
knowledge prerequisite to undertake research in applied
algebraic topology. The course will be taught
by Gunnar Carlsson, Department of
Mathematics, Stanford University and Robert
Ghrist, Department of Electrical and Systems Engineering,
Department of Mathematics, University of Pennsylvania.
The primary audience
for the course is mathematics faculty. No prior background
in applied algebraic topology is expected. Participants will
receive full travel and lodging support during the workshop.
Description: Technological progress in data
collection and storage brings with it
the challenge of comprehension — to know the data is by no
means
the same as to understand the data. The 'big picture' requires
an
understanding that is global, as opposed to local. Such
challenges are
manifest across various disciplines: the difficulties of
aggregating
readings over a large sensor network, routing messages in a
large
communications network, finding periodic behavior in biological
systems, or determining beliefs over a large social network,
are all
global in nature, requiring a degree of understanding that
transcends
local or combinatorial data.
Many of these same questions about the transition from local to
global were asked in different guise a century ago at the dawn
of
algebraic topology. In this realm, one wishes to discern the
global
properties of a space given its local features (e.g., charts
and
overlaps, in the case of a manifold; cells and attaching maps
in the
case of a cell complex). The 20th century saw the creation of
vast,
elegant machinery for answering global questions. Recent
developments in mathematics have made this machinery a useable
computational tool, as well as a valuable tool for theoretical
investigations. Spurred by advances in computation, classical
and
contemporary ideas in algebraic topology are emerging as tools
for
global problems in data analysis (in biology, image processing,
biochemistry) as well as in engineering (robotics,
communication
systems, sensor networks).
This short course will balance theory and applications, with
the dual
goal of inspiring topologists to focus their skills on
contemporary
applications and informing practitioners of the panoply of
available
techniques for global challenges. An introduction to the theory
will be
followed by tutorials on diverse application domains, as well
as
specialized computational and theoretical techniques which make
the
methodology practical.
Application procedure. The IMA New Directions Short Courses
will be limited to 25 participants selected by application. All
successful applicants will be funded for travel and local
expenses. Please see the IMA reimbursement
policy for details
about airfare.
| Schedule |
Week 1: Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday Week 2: | Monday | Tuesday | Wednesday | Thursday | Friday |
|
Monday, June 15
|
| Motivations |
| 8:15am-8:45am |
Registration and coffee |
|
Lind Hall 400 |
| 8:45am-9:00am |
Welcome to the IMA |
Fadil Santosa (University of Minnesota) |
Lind Hall 409 |
| 9:00am-10:30am |
"Applied topology: motivations from data"
point-set topology intro
motivations from data, statistics, biology, etc.
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Applied topology: motivations from systems"
euler characteristic intro
motivations from networks, sensors, robotics, etc.
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
UMN robotics mixer |
|
Walter 402 |
| 3:30pm-3:40pm |
Group photo |
|
|
| 3:45pm-5:00pm |
Reception |
|
Lind Hall 400 |
|
Tuesday, June 16
|
| Tools |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Homology 1"
intro to homology
simplicial, cellular, cech, & more: simple applications
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Homology 2"
morse, morse-conley, hodge & more: simple applications
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
The role of information in pursuit evasion: Graph theoretic models
|
Volkan Isler (University of Minnesota) |
Lind Hall 409 |
|
Wednesday, June 17
|
| Computation |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Computing homology 1: theory"
intro to exact sequences
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Computing homology 2: practice"
intro to algorithms/software; plex
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Introduction to Jplex
|
Henry H. Adams (Stanford University) |
Lind Hall 409 |
|
Thursday, June 18
|
| Complexes |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Spaces 1: complexes"
cech, v-rips, witnesses, alpha, etc. & uses in data
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
Sensor networks and coverage
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Gait states for a torus and a disk: "How to talk with robots"
|
Frederick Cohen (University of Rochester) |
Lind Hall 409 |
| 6:30pm-8:30pm |
Workshop dinner at Kafe 421 |
|
Kafe 421
421 14th Avenue SE
Minneapolis, MN 55414
612-623-4900 |
|
Friday, June 19
|
| Examples |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Visualizing data via homology"
image statistics data, range patches, neuroscience
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Network coverage via homology"
coverage in sensor networks
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Naive counting with sensors
|
Frederick Cohen (University of Rochester) |
Lind Hall 409 |
|
Saturday, June 20
|
| No events scheduled. |
|
Sunday, June 21
|
| No events scheduled. |
|
Monday, June 22
|
| Sensors |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Sheaves and Euler integration"
Euler integration and target enumeration
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Topological signal processing"
target localization; integral transforms and euler calculus
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Topological data analysis: Understanding optical flow
|
Henry H. Adams (Stanford University) |
Lind Hall 409 |
|
Tuesday, June 23
|
| Data |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Persistence and point clouds"
Functoriality, diagrams, difficulties in classifying diagrams,
multidimensional persistence, Gröbner bases
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Zig-zags and statistics"
bootstrap method, zig-zag
persistence, other applications of zig-zag persistence
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Verified homology of nodal domains
|
William D. Kalies (Florida Atlantic University) |
Lind Hall 409 |
|
Wednesday, June 24
|
| Statistics |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Imaging data sets"
linear regression, projection pursuit, multidimensional scaling as
methods of imaging data sets
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Unimodal decompositions"
lyusternik-schnirelman category; unimodal category and
mode-decomposition in statistics; applications to coordinate-free
data
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:00pm |
Lunch |
|
|
| 2:00pm-3:30pm |
Computational Conley theory
|
William D. Kalies (Florida Atlantic University) |
Lind Hall 409 |
|
Thursday, June 25
|
| Computation & Software |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:30am |
"Mapper for mapping"
mapper as an imager. Importance of mapping. Applications of homology
to mapping
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 10:30am-11:00am |
Coffee |
|
Lind Hall 400 |
| 11:00am-12:30pm |
"Consensus and distributed computation"
not so sure about this one...
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 12:30pm-2:30pm |
Lunch |
|
|
| 2:30pm-3:30pm |
Introduction to homotopy limits and colimits
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
|
Friday, June 26
|
| Future Directions |
| 8:30am-9:00am |
Coffee |
|
Lind Hall 400 |
| 9:00am-10:00am |
"Topology & systems: The future"
|
Robert Ghrist (University of Pennsylvania) |
Lind Hall 409 |
| 10:00am-10:30am |
Coffee |
|
Lind Hall 400 |
| 10:30am-11:30am |
"Topology & data: The future"
|
Gunnar Carlsson (Stanford University) |
Lind Hall 409 |
| 11:30am-12:00pm |
Closing discussions |
|
Lind Hall 409 |
Please fill out the online feedback
form.
LIST OF CONFIRMED PARTICIPANTS
| Name | Department | Affiliation |
|---|
| Henry H. Adams | Department of Mathematics | Stanford University | | Nils A. Baas | Department of Mathematical Sciences | Norwegian University of Science and Technology (NTNU) | | Gunnar Carlsson | Department of Mathematics | Stanford University | | Eungchun Cho | Department of Mathematics | Kentucky State University | | Jer-Chin (Luke) Chuang | Department of Mathematics | Duke University | | Frederick Cohen | | University of Rochester | | Domenico D'Alessandro | Department of Mathematics | Iowa State University | | Isabel K. Darcy | Department of Mathematics | University of Iowa | | Joseph Fox | Department of Mathematics | Salem State College | | Robert Ghrist | Department of Mathematics and Electrical/Systems Engineering | University of Pennsylvania | | Eduardo Gonzalez | Department of Mathematics | University of Massachusetts | | Anil N. Hirani | Computer Science Department | University of Illinois at Urbana-Champaign | | Quang Manh Hoang | Department of Mathematics | Princeton University | | Valerie Hower | Mathematics Department | University of California, Berkeley | | Volkan Isler | Department of Computer Science | University of Minnesota | | Arthur A Jamshidi | Electrical and Electronic Engineering Department | Imperial College London | | William D. Kalies | Department of Mathematical Sciences | Florida Atlantic University | | Bala Krishnamoorthy | Department of Mathematics | Washington State University | | Rama Kunapuli | | Entys Inc., | | Martin Wen-Yu Lo | High Capability Computing and Modeling | National Aeronautics and Space Administration (NASA) | | Yi Mao | Department of Mathematics | Michigan State University | | Sergio Manuel Moco Nunes Mendes | Metodos Quantitativos | Institutio Superior de Ciências do Trabalho e da Empresa | | Washington Mio | Department of Mathematics | Florida State University | | Junalyn Navarra-Madsen | Department of Mathematics and Computer Science | Texas Woman's University | | John Oprea | Department of Mathematics | Cleveland State University | | Aloizio Pereira da Silva | Computer Science Department | Federal University of Minas Gerais | | Haibo Ruan | Department of Mathematics | Universität Hamburg | | Peter Saveliev | Department of Mathematics | Marshall University | | Jan Segert | Department of Mathematics | University of Missouri | | Erik I Verriest | School of Electrical and Computer Engineering | Georgia Institute of Technology | | Maria Vivien Vallente Visaya | Mathematics Department | Ateneo de Manila University |
|