1: \begin{abstract}

2:   % Submodular functions provide a rich toolbox for modeling functions of subsets, and many problems of interest can be framed as submodular function minimization problems.

3:   % The authors of \cite{Jegelka2013Reflection} considered the class of submodular functions that can be expressed as the sum of ``simple'' submodular functions, and they introduced an easy-to-use, parallelizable algorithm for minimizing such functions based on the alternating projection algorithm for finding the closest points in two convex sets.

4:   % Empirically, their algorithm performs extremely well, often converging much more rapidly than comparable algorithms. 

5:   % However, no analysis of its rate of convergence was given.

6:   % In this paper, we prove that their algorithm converges linearly, and we give upper and lower bounds on the worst-case rate of convergence.

7: %

8: Submodular functions describe a variety of discrete problems in machine learning, signal processing, and computer vision.

9: However, minimizing submodular functions poses a number of algorithmic challenges.

10: Recent work introduced an easy-to-use, parallelizable algorithm for minimizing submodular functions that decompose as the sum of ``simple'' submodular functions.

11: Empirically, this algorithm performs extremely well, but no theoretical analysis was given.

12: In this paper, we show that the algorithm converges linearly, and we provide upper and lower bounds on the rate of convergence.

13: Our proof relies on the geometry of submodular polyhedra and draws on results from spectral graph theory.

14: \end{abstract}