M2 course at the "Institut Polytechnique de Paris"
Advanced Continuous Optimization

This page describes the 48 hour course given at "Institut Polytechnique de Paris" in the M2 Optimization, during the academic year 2020-2021, entitled Advanced Continuous Optimization. It contains
- the teacher internet pages,
- a short presentation of its contents,
- the detailed program of part I and part II.

The timetable of the other courses of the M2 is given here.

Teachers

Jean Charles Gilbert (Inria Paris),

Presentation

The first part of the module (30 hours) starts with the presentation of the optimality conditions of an optimization problem described in a rather general manner, so that these can be useful for dealing with a large variety of problems: the constraints are expressed by $c(x)\in G$, where $c:\mathbb{E}\to\mathbb{F}$ is a nonlinear map between two Euclidean spaces $\mathbb{E}$ and $\mathbb{F}$, and $G$ is a closed convex part of $\mathbb{F}$. Next, the course describes and analyzes various advanced algorithms to solve functional inclusions (of the kind $F(x)+N(x)\ni0$, where $F$ is a function and $N$ is a multifunction) and optimization problems (nonsmooth methods, linearization methods, proximal and augmented Lagrangian methods, interior point methods) and shows how they can be used to solve a few classical optimization problems (linear optimization, convex quadratic optimization, semidefinite optimization (SDO), nonlinear optimization). Along the way, various tools from convex and nonsmooth analysis will be presented. Everything is conceptualized in finite dimension. The goal of the lectures is therefore to consolidate basic knowledge in optimization, on both theoretical and algorithmic aspects.

The second part of the module (20 hours) focuses on the implementation of some of the previously seen algorithms in Matlab and allows the designer to understand its behavior and to evaluate its efficiency on a concrete problem. A choice will have to be made between the following three projects:

To follow the second part, the student must have followed the first part, because the algorithms implemented in the second part are presented and anaylzed in the first part.

Detailed program

First part

Bibliography

Actual program on a daily basis (the access to the Lecture materials requires the username "Student" and the given password)

Date
Themes of the lectures
Lecture materials
Actual details of the contents of the lectures
Monday
November 16
2020
Presentation and recalls

Manual Scripts 1
Video 1

Presentation of the course
Background
  • Convex analysis: relative interior, absorbing point, dual cone and Farkas lemma, tangent and normal cones
  • Nonlinear analysis: multifunction
  • Optimization: tangent cone and Peano-Kantorovich necessary optimality condition of the first order for $(P_X)$, sufficient optimality condition of the first order for a convex problem $(P_X)$, KKT conditions for $(P_{EI})$, sufficient conditions for contraint qualification
Optimality conditions
  • First order optimality conditions for $(P_G)$: definition of the problem and its convexity, tangent and linearizing cones to the feasible set, constraint qualification, NC1, SC1 for a convex problem
Monday
November 23
2020
First order optimality conditions
of the general optimization problem $(P_G)$

Manual Scripts 2
Video 2

Background
  • Convex analysis: asymptotic cone
Optimality conditions
  • First order optimality conditions for $(P_G)$: SC1 for a convex problem, Robinson's condition and metric regularity, open multifunction theorem, metric regularity diffusion theorem, Robinson's constraint qualification, Gauvin's boundedness characterization
Monday
November 30
2020
Second order optimality conditions
for the equality and inequality constrained optimization problem $(P_{EI})$

Manual Scripts 3
Video 3

Background
  • Optimization: second order optimality conditions for $(P_E)$, linear optimization duality
Optimality conditions
  • Second order optimality conditions for $(P_{EI})$: difficulties, solution strategy, NC2, SC2
Monday
December 7
2020
Josephy-Newton algorithm
for solving functional inclusions

Manual Scripts 4
Video 4

Background
  • Convex analysis: convex polyhedron
  • Algorithmics: speeds of convergence, Newton's method, quasi-Newton algorithms, Dennis and Moré superlinear criterion
Linearization methods
  • Overview of linearization methods
  • Josephy-Newton algorithm for functional inclusions: functional inclusion problems, semistable solutions of functional inclusions, speed of convergence of the JN algorithm, semistable solutions of polyhedral variational inequalities
Monday
December 14
2020
The SQP algorithm
for solving problem $(P_{EI})$

Manual Scripts 5
Video 5

Background
  • Short overview of algorithms for solving constrained optimization problems: primal, dual, and primal-dual methods
Linearization methods
  • Josephy-Newton algorithm for functional inclusions: local convergence
  • The SQP algorithm: the algorithm viewed as a Josephy-Newton method, semistability of a solution, local convergence, exact penalization, globalization by linesearch
Monday
January 4
2020
The semismooth Newton algorithm
for solving nonsmooth equations

Manual Scripts 6
Video 6 is lost

Linearization methods
  • The semismooth Newton algorithm for nonsmooth equations: Motivation, Clarke differential, semismoothness, local convergence
Monday
January 11
2020
Semidefinite optimization

Manual Scripts 7
Video 7
Lecture Notes (2020-02-17)
Slides
Exercises

Background
  • Convex analysis: asymptotic function, separation of convex sets
Semidefinite optimization
  • problem definition and examples, existence of solution, optimality conditions, central path, sketch of an interior point algorithm
Monday
January 18
2021
Examination
  • Written examination of 3 hours (2pm-5pm), at Ensta (room 1315). Please, wear a mask and bring your own exam sheets.
  • The questions are similar to those given in the homework exercises, although they should be decomposed into more subquestions.
  • The documents distributed during the course can be perused. You can put the lecture notes on your computer and look at them during the exam.
  • The student will join to his/her script the solution to 2 exercises proposed during the lectures (presumably the hardest he/she was able to solve).

Second part

It is recommended to register to this course, by contacting "Jean-Charles.Gilbert@inria.fr". Indeed, some technical issues depend on the participants (like having an account at Ensta and establishing access to Matlab through a VPN connection to Ensta, as explained on the page https://cascad.ensta.fr/BYOD).

The course is made up of 5 sessions of 3h45 each (given on Thursday, 2pm-6pm), which makes it 18h long, approximately.

The goal of the course is to guide the student in the implementation of one of some well known optimization/nonsmooth-system algorithms and in its use to solve a concrete problem. The student will choose one project among the following ones.

Students having already realized (part of) the SQP+HC project must choose another one.

Presentation of the projects (2021-01-19, 19:06). It is recommended to make your choice before the first session (and send it to "Jean-Charles.Gilbert@inria.fr"), although more information on the projects could be obtained at the beginning of the first session.

The material/concrete aspects of the course are still not determined, due to the pandemic (20-1-2021). Clearly, the course will be given online. Since it aims at realizing an optimization solver, the student must have the possibility to implement it on his/her machine, preferably in Matlab (or Octave?). If an access to Matlab is not furnished through Ensta (this has not been determined yet), there might be possible to use other free languages (preferably interpreters), like Python, Julia,..., but the teacher may not have the skill to guide the student with all these languages. The access to Matlab should be possible through a VPN channel to Ensta.

Actual program on a daily basis

Date
Project SQP+HC
Project SDCO+OPF
Project SN+Proj
Thursday
January 28
2021 (2pm-6pm)
Problem modeling and simulator design
Oracle verification
Notes
Directions of displacement
Notes
Projection on the Birkhoff polytope
Thursday
February 4
2021 (2pm-6pm)
The local SQP algorithm
Notes (7-2-2021)

Short report and code to submit before Sunday 7th of February, 10 pm
Moving along the central path
Notes

Short report and code to submit before Sunday 7th of February, 10 pm
Thursday
February 11
2021 (2pm-6pm)
Globalization by linesearch

Short report and code to submit before Sunday 14th of February, 10 pm
Finding an appropriate starting point

Short report and code to submit before Sunday 14th of February, 10 pm
Thursday
February 18
2021 (2pm-6pm)
Quasi-Newton version
(Last session statement)
Starting from an infeasible point
Thursday
February 25
2021 (2pm-6pm)
A few applications
Thursday
March 4
2021
Timetable
Oral examination
(discussion in front of the screen)
Examination
m2optim_2020_2021_a.m
m2optim_2020_2021_b.m
m2optim_2020_2021_c.m
m2optim_2020_2021_d.m
m2optim_2020_2021_e.m
Oral examination
(discussion in front of the screen)
Oral examination
(discussion in front of the screen)

Documents useful for the SQP+HC project:

Documents useful for the SDCO+OPF project:

Documents useful for the SN+Proj project: