Convexity and Steinitz's exchange property

A theory of 'convex analysis' is developed for functions defined on integer lattice points. We investigate the class of functions which enjoy a variant of Steinitz's exchange property. It includes linear functions on matroids, valuations on matroids (in the sense of Dress and Wenzel), and separable concave functions on the integral base polytope of submodular systems. It is shown that a function #omega# has the Steinitz exchange property if and only if it can be extended to a concave funtion anti #omega# such that the maximizers of (anti #omega#+any linear function) form an integral base polytope. A Fenchel-type min-max theorem and discrete separation theorems are given, which contain, e.g., Frank's discrete separation theorem for submodular functions, Edmonds' intersection theorem, Fujishig's Fenchel-type min-max theorem for submodular functions, and also Franks's weight splitting theorem for weighted matroid intersection. (orig.)SIGLEAvailable from TIB Hannover: RN 4052(95848) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman