35,195 research outputs found
Conic Optimization Theory: Convexification Techniques and Numerical Algorithms
Optimization is at the core of control theory and appears in several areas of
this field, such as optimal control, distributed control, system
identification, robust control, state estimation, model predictive control and
dynamic programming. The recent advances in various topics of modern
optimization have also been revamping the area of machine learning. Motivated
by the crucial role of optimization theory in the design, analysis, control and
operation of real-world systems, this tutorial paper offers a detailed overview
of some major advances in this area, namely conic optimization and its emerging
applications. First, we discuss the importance of conic optimization in
different areas. Then, we explain seminal results on the design of hierarchies
of convex relaxations for a wide range of nonconvex problems. Finally, we study
different numerical algorithms for large-scale conic optimization problems.Comment: 18 page
Darboux Coordinates and Liouville-Arnold Integration in Loop Algebras
Darboux coordinates are constructed on rational coadjoint orbits of the
positive frequency part \wt{\frak{g}}^+ of loop algebras. These are given by
the values of the spectral parameters at the divisors corresponding to
eigenvector line bundles over the associated spectral curves, defined within a
given matrix representation. A Liouville generating function is obtained in
completely separated form and shown, through the Liouville-Arnold integration
method, to lead to the Abel map linearization of all Hamiltonian flows induced
by the spectral invariants. Serre duality is used to define a natural
symplectic structure on the space of line bundles of suitable degree over a
permissible class of spectral curves, and this is shown to be equivalent to the
Kostant-Kirillov symplectic structure on rational coadjoint orbits. The general
construction is given for or , with
reductions to orbits of subalgebras determined as invariant fixed point sets
under involutive automorphisms. The case is shown to reproduce
the classical integration methods for finite dimensional systems defined on
quadrics, as well as the quasi-periodic solutions of the cubically nonlinear
Schr\"odinger equation. For , the method is applied to the
computation of quasi-periodic solutions of the two component coupled nonlinear
Schr\"odinger equation.Comment: 61 pg
Solving rank-constrained semidefinite programs in exact arithmetic
We consider the problem of minimizing a linear function over an affine
section of the cone of positive semidefinite matrices, with the additional
constraint that the feasible matrix has prescribed rank. When the rank
constraint is active, this is a non-convex optimization problem, otherwise it
is a semidefinite program. Both find numerous applications especially in
systems control theory and combinatorial optimization, but even in more general
contexts such as polynomial optimization or real algebra. While numerical
algorithms exist for solving this problem, such as interior-point or
Newton-like algorithms, in this paper we propose an approach based on symbolic
computation. We design an exact algorithm for solving rank-constrained
semidefinite programs, whose complexity is essentially quadratic on natural
degree bounds associated to the given optimization problem: for subfamilies of
the problem where the size of the feasible matrix is fixed, the complexity is
polynomial in the number of variables. The algorithm works under assumptions on
the input data: we prove that these assumptions are generically satisfied. We
also implement it in Maple and discuss practical experiments.Comment: Published at ISSAC 2016. Extended version submitted to the Journal of
Symbolic Computatio
- …