An extreme function which is nonnegative and discontinuous everywhere

2018/02/05 by Amitabh Basu, Basu, Amitabh, Michele Conforti +3
Mathematics · #90C10 #FOS: Mathematics #Functional Analysis (math.FA) #Optimization and Control (math.OC) #math.FA #math.OC #msc:90C10

paper · pdf · doi:10.48550/arxiv.1802.01499

arxiv created 2018/02/05 · arxiv updated 2018/02/06

Abstract

We consider Gomory and Johnson's infinite group model with a single row. Valid inequalities for this model are expressed by valid functions and it has been recently shown that any valid function is dominated by some nonnegative valid function, modulo the affine hull of the model. Within the set of nonnegative valid functions, extreme functions are the ones that cannot be expressed as convex combinations of two distinct valid functions. In this paper we construct an extreme function π:ℝ → [0,1] whose graph is dense in ℝ × [0,1]. Therefore, π is discontinuous everywhere.

Related

• Extreme functions with an arbitrary number of slopes
• Approximation of Minimal Functions by Extreme Functions
• Facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem
• All Cyclic Group Facets Inject
• Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VI. The curious case of two-sided discontinuous minimal valid functions