Primal-dual Interior Point Method For Nonlinear Optimization
The primal-dual method's idea is easy to demonstrate for constrained nonlinear optimization. For simplicity consider the all-inequality version of a nonlinear optimization problem:
- minimize subject to .
The logarithmic barrier function associated with (1) is
Here is a small positive scalar, sometimes called the "barrier parameter". As converges to zero the minimum of should converge to a solution of (1).
The barrier function gradient is
where is the gradient of the original function and is the gradient of .
In addition to the original ("primal") variable we introduce a Lagrange multiplier inspired dual variable (sometimes called "slack variable")
(4) is sometimes called the "perturbed complementarity" condition, for its resemblance to "complementary slackness" in KKT conditions.
We try to find those which turn gradient of barrier function to zero.
Applying (4) to (3) we get equation for gradient:
where the matrix is the constraint Jacobian.
The intuition behind (5) is that the gradient of should lie in the subspace spanned by the constraints' gradients. The "perturbed complementarity" with small (4) can be understood as the condition that the solution should either lie near the boundary or that the projection of the gradient on the constraint component normal should be almost zero.
Applying Newton's method to (4) and (5) we get an equation for update :
where is the Hessian matrix of and is a diagonal matrix of .
Because of (1), (4) the condition
should be enforced at each step. This can be done by choosing appropriate :
- .
Read more about this topic: Interior Point Method
Famous quotes containing the words interior, point and/or method:
“It cannot but affect our philosophy favorably to be reminded of these shoals of migratory fishes, of salmon, shad, alewives, marsh-bankers, and others, which penetrate up the innumerable rivers of our coast in the spring, even to the interior lakes, their scales gleaming in the sun; and again, of the fry which in still greater numbers wend their way downward to the sea.”
—Henry David Thoreau (1817–1862)
“When we are in love, the sentiment is too great to be contained whole within us; it radiates out to our beloved, finds in her a surface which stops it, forces it to return to its point of departure, and it is this rebound of our own tenderness which we call the other’s affection and which charms us more than when it first went out because we do not see that it comes from us.”
—Marcel Proust (1871–1922)
“Argument is conclusive ... but ... it does not remove doubt, so that the mind may rest in the sure knowledge of the truth, unless it finds it by the method of experiment.... For if any man who never saw fire proved by satisfactory arguments that fire burns ... his hearer’s mind would never be satisfied, nor would he avoid the fire until he put his hand in it ... that he might learn by experiment what argument taught.”
—Roger Bacon (c. 1214–1294)