1: \begin{abstract}

2: \ifserialtitle

3:   In this self-contained paper, we

4: \else

5:   We 

6: \fi

7:   present a theory of the piecewise linear

8:   minimal valid functions for the 1-row Gomory--Johnson infinite group

9:   problem.  The non-extreme minimal valid functions are those that admit

10:   effective perturbations.  We give a precise description of the space of

11:   these perturbations as a direct sum of certain finite- and

12:   infinite-dimensional subspaces.  The infinite-dimensional subspaces have

13:   partial symmetries; to describe them, we develop a theory of inverse

14:   semigroups of partial bijections, interacting with the functional equations

15:   satisfied by the perturbations.  Our paper provides the foundation for

16:   grid-free algorithms for the Gomory--Johnson model, in particular for

17:   testing extremality of piecewise linear functions whose breakpoints are

18:   rational numbers with huge denominators.

19: \end{abstract}

20: