Distributed alternating gradient descent for convex semi-infinite programs over a network

Ashwin Aravind,Debasish Chatterjee,Ashish Cherukuri
2024-08-22
Abstract:This paper presents a first-order distributed algorithm for solving a convex semi-infinite program (SIP) over a time-varying network. In this setting, the objective function associated with the optimization problem is a summation of a set of functions, each held by one node in a network. The semi-infinite constraint, on the other hand, is known to all agents. The nodes collectively aim to solve the problem using local data about the objective and limited communication capabilities depending on the network topology. Our algorithm is built on three key ingredients: consensus step, gradient descent in the local objective, and local gradient descent iterations in the constraint at a node when the estimate violates the semi-infinite constraint. The algorithm is constructed, and its parameters are prescribed in such a way that the iterates held by each agent provably converge to an optimizer. That is, as the algorithm progresses, the estimates achieve consensus, and the constraint violation and the error in the optimal value are bounded above by vanishing terms. A simulation example illustrates our results.
Optimization and Control,Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of solving convex semi - infinite programs (SIPs) on time - varying networks. Specifically, this problem is characterized by the fact that the objective function is composed of the sum of a set of functions held by each node in the network, and the semi - infinite constraints are known to all nodes. Each node uses only local data and has a limited communication ability restricted by the network topology to jointly solve the problem. The paper proposes a first - order distributed algorithm based on three key steps: a consensus step, a gradient descent of the objective function, and a local gradient descent iteration when the semi - infinite constraints are violated at the nodes. The design of this algorithm enables the iteration values held by each node to eventually converge to an optimal solution, that is, as the algorithm progresses, the estimates reach a consensus, and the constraint violations and objective value errors are bounded above by gradually decreasing terms. In this way, the algorithm overcomes the challenge of projecting onto an infinite number of constraint sets and shows an effective method for solving convex semi - infinite programs in a network environment.