Polyhedral DC Decomposition and DCA Optimization of Piecewise Linear Functions

For piecewise linear functions f : R n ↦ R we show how their abs-linear representation can be extended to yield simultaneously their decomposition into a convex f ˇ and a concave part f ^ , including a pair of generalized gradients g ˇ ∈ R n ∋ g ^ . The latter satisfy strict chain rules and can be computed in the reverse mode of algorithmic differentiation, at a small multiple of the cost of evaluating f itself. It is shown how f ˇ and f ^ can be expressed as a single maximum and a single minimum of affine functions, respectively. The two subgradients g ˇ and − g ^ are then used to drive DCA algorithms, where the (convex) inner problem can be solved in finitely many steps, e.g., by a Simplex variant or the true steepest descent method. Using a reflection technique to update the gradients of the concave part, one can ensure finite convergence to a local minimizer of f, provided the Linear Independence Kink Qualification holds. For piecewise smooth objectives the approach can be used as an inner method for successive piecewise linearization.

[1]  Mert Gürbüzbalaban,et al.  On Nesterov's Nonsmooth Chebyshev-Rosenbrock Functions , 2012 .

[2]  Andreas Griewank,et al.  Characterizing and Testing Subdifferential Regularity in Piecewise Smooth Optimization , 2019, SIAM J. Optim..

[3]  Andreas Griewank,et al.  On Lipschitz optimization based on gray-box piecewise linearization , 2016, Math. Program..

[4]  Andreas Griewank,et al.  Algorithmic differentiation for piecewise smooth functions: a case study for robust optimization , 2018, Optim. Methods Softw..

[5]  Le Thi Hoai An,et al.  DC programming and DCA: thirty years of developments , 2018, Math. Program..

[6]  Andreas Griewank,et al.  First- and second-order optimality conditions for piecewise smooth objective functions , 2016, Optim. Methods Softw..

[7]  Laurent Hascoët,et al.  The Tapenade automatic differentiation tool: Principles, model, and specification , 2013, TOMS.

[8]  Andreas Griewank,et al.  On stable piecewise linearization and generalized algorithmic differentiation , 2013, Optim. Methods Softw..

[9]  Andreas Griewank,et al.  Relaxing Kink Qualifications and Proving Convergence Rates in Piecewise Smooth Optimization , 2019, SIAM J. Optim..

[10]  A. Griewank,et al.  Solving piecewise linear systems in abs-normal form , 2015, 1701.00753.

[11]  S. Rump Fast and Parallel Interval Arithmetic , 1999 .

[12]  S. Linnainmaa Taylor expansion of the accumulated rounding error , 1976 .

[13]  Bernd Gärtner,et al.  Combinatorial redundancy detection , 2014, SoCG.

[14]  Jonathan M. Borwein,et al.  On difference convexity of locally Lipschitz functions , 2011 .

[15]  Andreas Griewank,et al.  Finite convergence of an active signature method to local minima of piecewise linear functions , 2018, Optim. Methods Softw..

[16]  Adil M. Bagirov,et al.  A proximal bundle method for nonsmooth DC optimization utilizing nonconvex cutting planes , 2017, J. Glob. Optim..