Distributed optimization of deeply nested systems

TL;DR

This paper introduces the method of auxiliary coordinates (MAC), a novel approach for efficiently training deeply nested systems by transforming the complex optimization problem into a constrained one, enabling parallelization and improved convergence.

Contribution

The paper presents MAC, a general mathematical strategy that simplifies the optimization of nested systems, allowing for parallel computation and applicability even without parameter derivatives.

Findings

MAC converges provably and efficiently.

Enables parallel and distributed optimization of nested systems.

Performs competitively with state-of-the-art optimizers.

Abstract

In science and engineering, intelligent processing of complex signals such as images, sound or language is often performed by a parameterized hierarchy of nonlinear processing layers, sometimes biologically inspired. Hierarchical systems (or, more generally, nested systems) offer a way to generate complex mappings using simple stages. Each layer performs a different operation and achieves an ever more sophisticated representation of the input, as, for example, in an deep artificial neural network, an object recognition cascade in computer vision or a speech front-end processing. Joint estimation of the parameters of all the layers and selection of an optimal architecture is widely considered to be a difficult numerical nonconvex optimization problem, difficult to parallelize for execution in a distributed computation environment, and requiring significant human expert effort, which leads to suboptimal systems in practice. We describe a general mathematical strategy to learn the parameters and, to some extent, the architecture of nested systems, called the method of auxiliary coordinates (MAC). This replaces the original problem involving a deeply nested function with a constrained problem involving a different function in an augmented space without nesting. The constrained problem may be solved with penalty-based methods using alternating optimization over the parameters and the auxiliary coordinates. MAC has provable convergence, is easy to implement reusing existing algorithms for single layers, can be parallelized trivially and massively, applies even when parameter derivatives are not available or not desirable, and is competitive with state-of-the-art nonlinear optimizers even in the serial computation setting, often providing reasonable models within a few iterations.