10,969 research outputs found
Dualities in Convex Algebraic Geometry
Convex algebraic geometry concerns the interplay between optimization theory
and real algebraic geometry. Its objects of study include convex semialgebraic
sets that arise in semidefinite programming and from sums of squares. This
article compares three notions of duality that are relevant in these contexts:
duality of convex bodies, duality of projective varieties, and the
Karush-Kuhn-Tucker conditions derived from Lagrange duality. We show that the
optimal value of a polynomial program is an algebraic function whose minimal
polynomial is expressed by the hypersurface projectively dual to the constraint
set. We give an exposition of recent results on the boundary structure of the
convex hull of a compact variety, we contrast this to Lasserre's representation
as a spectrahedral shadow, and we explore the geometric underpinnings of
semidefinite programming duality.Comment: 48 pages, 11 figure
Strong duality in conic linear programming: facial reduction and extended duals
The facial reduction algorithm of Borwein and Wolkowicz and the extended dual
of Ramana provide a strong dual for the conic linear program in the absence of any constraint qualification. The facial
reduction algorithm solves a sequence of auxiliary optimization problems to
obtain such a dual. Ramana's dual is applicable when (P) is a semidefinite
program (SDP) and is an explicit SDP itself. Ramana, Tuncel, and Wolkowicz
showed that these approaches are closely related; in particular, they proved
the correctness of Ramana's dual using certificates from a facial reduction
algorithm.
Here we give a clear and self-contained exposition of facial reduction, of
extended duals, and generalize Ramana's dual:
-- we state a simple facial reduction algorithm and prove its correctness;
and
-- building on this algorithm we construct a family of extended duals when
is a {\em nice} cone. This class of cones includes the semidefinite cone
and other important cones.Comment: A previous version of this paper appeared as "A simple derivation of
a facial reduction algorithm and extended dual systems", technical report,
Columbia University, 2000, available from
http://www.unc.edu/~pataki/papers/fr.pdf Jonfest, a conference in honor of
Jonathan Borwein's 60th birthday, 201
Lp-norms, Log-barriers and Cramer transform in Optimization
We show that the Laplace approximation of a supremum by Lp-norms has
interesting consequences in optimization. For instance, the logarithmic barrier
functions (LBF) of a primal convex problem P and its dual appear naturally when
using this simple approximation technique for the value function g of P or its
Legendre-Fenchel conjugate. In addition, minimizing the LBF of the dual is just
evaluating the Cramer transform of the Laplace approximation of g. Finally,
this technique permits to sometimes define an explicit dual problem in cases
when the Legendre-Fenchel conjugate of g cannot be derived explicitly from its
definition
- âŠ