Workshop on Complexity of Numerical Computation
Description
Complexity issues lie at the core of the theory of computation. The size of many practical problems demands the study of their intrinsic complexity and the efficiency of any proposed algorithms. Theoretical results have often resulted in real practical improvements in computation, such as that of Khachiyan who showed the polynomial-time solvability of linear programming in 1979 -- although the resulting "ellipsoid algorithm" was not practically competitive with the simplex method, it nevertheless led to modern interior-point algorithms which can outperform simplex algorithm on many large linear programs.
This workshop will involve three major subareas of complexity:
- Complexity of Algebraic Geometry-- the complexity of solving polynomial systems.
- Emerging themes in optimization--the above-mentioned ellipsoid algorithm shows the importance of fundamental results for practical applications.
- Algebraic and semi-algebraic Complexity--this area provides a uniform foundation for the first two.
There will be 5 short courses of 3 or 2 lectures each in these major areas, and a dozen talks of 45 minutes plus questions. We expect to leave enough free time to the participants to favour interaction and discussions.
We will also take the opportunity to celebrate Jean Pierre Dedieu's 60th birthday during a conference dinner in his honor, which will be preceded by a talk describing his major contributions to the field.
Invited Speakers
Saugata Basu (Purdue University) |
Gregoire Lecerf (Université de Versailles) Renato Monteiro (Georgia Institute of Technology) Bernard Mourrain (INRIA Sophia Antipolis) Marie-Francoise Roy (Universite de Rennes 1) Andrew Sommese (University of Notre Dame) *Paul Tseng (Washington University) Joris van der Hoeven (Université Paris-Sud) Yinyu Ye (Stanford University) |
Schedule
09:00 to 10:00 |
Coffee Break
|
10:00 to 10:10 |
Welcome and Introduction
Location: |
10:10 to 11:00 |
Lecture 1: Condition
Felipe Cucker, City University of Hong Kong, Peter Bürgisser, Technical University of Berlin Location: |
11:10 to 12:00 |
Lecture 1: Complexity of Bezout's Theorem and the Condition Number
Jean Pierre Dedieu Location: |
12:00 to 14:10 |
Lunch Break
|
14:10 to 15:00 |
Lecture 1: Symbolic deformation techniques for polynomial system solving
Gregoire Lecerf Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:20 |
Lecture 1: An interplay between Algebraic Geometry and Convex Geometry
Askold Khovanskii, University of Toronto Location: |
16:20 to 17:10 |
Certificates of positivity in the Bernstein basis
Marie-Francoise Roy, Université de Rennes 1 Location: |
17:30 to 18:20 |
Reception
|
19:00 to 21:00 |
Workshop dinner for Dedieu 93 Harbord St.
|
09:00 to 09:50 |
Complexity of Bezout's Theorem and the Condition Number
Jean Pierre Dedieu Location: |
09:50 to 10:10 |
Coffee Break
|
10:10 to 11:00 |
Lecture 2: Symbolic deformation techniques for polynomial system solving
Gregoire Lecerf Location: |
11:10 to 12:00 |
Zebra Fish, Tumor Growth, and Algebraic Geometry
Andrew Sommese, University of Notre Dame Location: |
12:00 to 14:10 |
Lunch Break
|
14:10 to 15:00 |
Lecture 1: Algorithms for large scale structured optimization problems
Renato Monteiro, Georgia Tech Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:20 |
Tractable performance bounds for compressed sensing
Alexandre d'Aspremont, École Normale Supérieure Location: |
16:20 to 17:10 |
On the art of guessing
Joris van der Hoeven, Centre national de la recherche scientifique (CNRS) Location: |
09:00 to 09:50 |
Lecture 2: Condition
Peter Bürgisser, Technical University of Berlin, Felipe Cucker, City University of Hong Kong Location: |
09:50 to 10:10 |
Coffee Break
|
10:10 to 11:00 |
Lecture 2: An interplay between Algebraic Geometry and Convex Geometry
Askold Khovanskii, University of Toronto Location: |
11:10 to 12:00 |
On the geometry of polar varieties
Marc Guisti, Ecole Polytechnique Location: |
12:00 to 14:10 |
Lunch Break
|
14:10 to 15:00 |
The average cost of one variable root finding polynomial
Myong-Hi Kim (SUNY at Old Westbury) Location: |
15:00 to 15:30 |
Coffee Break
|
17:30 to 18:20 |
Algorithms for large scale structured optimization problems
Luis Miguel Pardo (Universidad de Cantabria) Location: |
09:50 to 10:10 |
Coffee Break
|
10:10 to 11:00 |
Lecture 3: Complexity of Bezout's Theorem and the Condition Number
Jean Pierre Dedieu Location: |
11:10 to 12:00 |
Lecture 3: Condition
Peter Bürgisser, Technical University of Berlin, Felipe Cucker, City University of Hong Kong Location: |
12:00 to 14:10 |
Lunch Break
|
14:10 to 15:00 |
On the complexity of L-p norm minimization for p less than 1
Yinyu Ye, Stanford University Location: |
15:00 to 15:30 |
Coffee Break
|
15:30 to 16:20 |
Polynomial hierarchy, Betti numbers and a real analogue of Toda's theorem
Saugata Basu, Purdue University Location: |
16:20 to 17:10 |
Path-following methods for solving Smale's 17th problem. Recent progress and open questions
Carlos Beltrán, Universidad de Cantabria Location: |
09:30 to 10:20 |
Lecture 3:Algorithms for large scale structured optimization problems
Renato Monteiro, Georgia Tech Location: |
10:20 to 10:40 |
Coffee Break
|
10:40 to 11:30 |
Isolation of real roots of polynomial systems, complexity and condition number
Bernard Mourrain Location: |
11:40 to 12:30 |
Lecture 3: Symbolic deformation techniques for polynomial system solving
Gregoire Lecerf Location: |