A note on M-convex functions on jump systems

From MaRDI portal
Publication:2217499



Abstract: A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity" and extend it to "jump M-natural-convexity" for functions defined on a larger class of jump systems. By definition, every jump M-convex function is a jump M-natural-convex function, and we show the equivalence of these concepts by establishing an (injective) embedding of jump M-natural-convex functions in n variables into the set of jump M-convex functions in n+1 variables. Using this equivalence we show further that jump M-natural-convex functions admit a number of natural operations such as aggregation, projection (partial minimization), convolution, composition, and transformation by a network.


Let \(x,y\in \mathbb{Z}^{n}\). A vector \(s\in \mathbb{Z}^{n}\) is said to be an \((x,y)\)-increment if either \(s\) or \(-s\) is one of the \(n\) unit vectors and \(x\wedge y\leq x+s\leq x\vee y\). Let \(f:\mathbb{Z}^{n}\rightarrow \mathbb{R\cup \{+\infty \}}\). One says that \(f\) is jump M-convex if for any \(x,y\in \mathrm{dom}~f\) and any \((x,y)\)-increment \(s\), there exists an \((x+s,y)\)-increment \(t\) such that \(x+s+t,~y-s-t\in \mathrm{dom}~f\) and \(f(x)+f(y)\geq f(x+s+t)+f(y-s-t)\). One says that \(f\) is jump M\(^{\sharp}\)-convex if for any \(x,y\in \mathrm{dom}~f\) and any \((x,y)\)-increment \(s\), one of the following two conditions holds: (i) \(x+s,~y-s\in \mathrm{dom}~f\), and \(f(x)+f(y)\geq f(x+s)+f(y-s)\), (ii) there exists an \((x+s,y)\)-increment \(t\) such that \(x+s+t,~y-s-t\in \mathrm{dom}~f\) and \(f(x)+f(y)\geq f(x+s+t)+f(y-s-t)\). For \(x\in \mathbb{Z}^{n}\), define \(\pi (x)=0\) if the component sum of \(x\) is even and \(\pi (x)=1\) otherwise. The main result states that \(f\) is jump M\(^{\sharp }\)-convex if and only if the function \(\widetilde{f}:\mathbb{Z}^{n+1}\rightarrow \mathbb{R\cup \{+\infty \}}\) defined by \(\widetilde{f}(x_{0},x)=f(x)\) if \(x_{0}=\pi (x)\) and \(\widetilde{f}(x_{0},x)=+\infty \) otherwise is jump M-convex.











This page was built for publication: A note on M-convex functions on jump systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217499)