Abstract
The infinite relaxations in integer programming were introduced by Gomory and Johnson to provide a general framework for the theory of cutting planes: the so-called valid functions, and in particular the minimal and extreme functions, can be seen as automatic rules for the generation of cuts. However, while many extreme functions are piecewise linear and therefore easy to describe, the set of extreme functions turns out to have a very complicated mathematical structure, as several extreme functions are known that exhibit a somewhat pathological behavior. In this paper we show that if some smoothness assumption is imposed on an extreme function \(\pi \), then \(\pi \) is necessarily piecewise linear. More precisely, we show that if a continuous extreme function for the Gomory–Johnson one-dimensional infinite group relaxation is a piecewise \({\mathcal {C}}^2\) function, then it is a piecewise linear function.
Similar content being viewed by others
Notes
Actually, the case \(\varDelta _\gamma (x,y)=0\) for every \(x,y\in [0,1]\) is not possible, as one can prove that in this situation \(\gamma (x)=0\) for every \(x\in [0,1]\), a contradiction to Lemma 18.
References
Basu, A., Conforti, M., Cornuéjols, G., Zambelli, G.: A counterexample to a conjecture of Gomory and Johnson. Math. Program. Ser. A 133, 25–38 (2012)
Basu, A., Conforti, M., Di Summa, M.: A geometric approach to cut-generating functions. Math. Program. 151(1), 153–189 (2015)
Basu, A., Conforti, M., Di Summa, M., Paat, J.: Extreme functions with an arbitrary number of slopes. In: Louveaux, Q., Skutella, M. (eds.) Proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization (IPCO), volume 9682 of Lecture Notes in Computer Science, pp. 190–201. Springer (2016)
Basu, A., Conforti, M., Di Summa, M., Paat, J.: The structure of the infinite models in integer programming. In: Eisenbrand, F., Koenemann, J. (eds.) Proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization (IPCO), volume 10328 of Lecture Notes in Computer Science, pp. 63–74. Springer (2017)
Basu, A., Hildebrand, R., Köppe, M.: Equivariant perturbation in Gomory and Johnson’s infinite group problem. I. The one-dimensional case. Math. Oper. Res. 40, 105–129 (2015)
Basu, A., Hildebrand, R., Köppe, M.: Light on the infinite group relaxation I: foundations and taxonomy. 4OR 14(1), 1–40 (2016)
Basu, A., Hildebrand, R., Köppe, M.: Light on the infinite group relaxation II: sufficient conditions for extremality, sequences, and algorithms. 4OR 14(2), 1–25 (2016)
Basu, A., Hildebrand, R., Molinaro, M.: Minimal cut-generating functions are nearly extreme. In: Louveaux, Q., Skutella, M. (eds.) Proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization (IPCO), volume 9682 of Lecture Notes in Computer Science, pp. 202–213. Springer (2016)
Bourbaki, N.: Elements of Mathematics—Algebra I. Addison-Wesley, Reading (1974)
Conforti, M., Cornuéjols, G., Zambelli, G.: Integer Programming. Springer, Berlin (2014)
Gomory, R.E.: Some polyhedra related to combinatorial problems. Linear Algebra Appl. 2, 451–558 (1969)
Gomory, R.E., Johnson, E.L.: Some continuous functions related to corner polyhedra, I. Math. Program. 3, 23–85 (1972)
Gomory, R.E., Johnson, E.L.: Some continuous functions related to corner polyhedra, II. Math. Program. 3, 359–389 (1972)
Gomory, R.E., Johnson, E.L.: T-space and cutting planes. Math. Program. 96, 341–375 (2003)
Köppe, M., Zhou, Y.: An electronic compendium of extreme functions for the Gomory–Johnson infinite group problem. Oper. Res. Lett. 43, 438–444 (2015)
Morse, A.P.: The behavior of a function on its critical set. Ann. Math. 40, 62–70 (1939)
Simmons, G.F.: Introduction to Topology and Modern Analysis. McGraw Hill, New York (1963)
Acknowledgements
The author is grateful to two anonymous referees and an associate editor, whose detailed comments were useful to improve the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the Grant “SID 2016” of the University of Padova.
Rights and permissions
About this article
Cite this article
Di Summa, M. Piecewise smooth extreme functions are piecewise linear. Math. Program. 179, 265–293 (2020). https://doi.org/10.1007/s10107-018-1330-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-018-1330-0