1: \begin{abstract}

2:   We develop foundational tools for classifying the extreme valid

3:   functions for the $k$-dimensional infinite group problem.  In particular,

4:   (1)~we

5:   present the general regular solution to Cauchy's additive functional

6:   equation on bounded convex domains.  This provides a $k$-dimensional

7:   generalization of the so-called interval lemma, allowing us to deduce affine

8:   properties of the function from certain additivity relations.  (2) We study the discrete

9:   geometry of additivity domains of piecewise linear functions,

10:   providing a framework for finite tests of minimality and extremality.

11:   (3) We give a theory of non-extremality certificates in the form of 

12:   perturbation functions. 

13: 

14:   We apply these tools in the context of minimal valid functions for the

15:   two-dimensional infinite group problem that are piecewise linear on a

16:   standard triangulation of the plane, under the assumption of a regularity

17:   condition called diagonal constrainedness.  

18:   We show that the extremality of a minimal valid function is equivalent 

19:   to the extremality of its restriction to a certain finite two-dimensional

20:   group problem.  This gives an algorithm for testing the

21:   extremality of a given minimal valid function.

22: \end{abstract}

23: