Related papers: Generalization of Subadditive, Monotone and Convex…
Given a graph property $\Phi$, the problem $\#\mathsf{IndSub}(\Phi)$ asks, on input a graph $G$ and a positive integer $k$, to compute the number of induced subgraphs of size $k$ in $G$ that satisfy $\Phi$. The search for explicit criteria…
Let $\mathcal S$ denote the class of all functions of the form $f(z)=z+a_2z^2+a_3z^3+\cdots$ which are analytic and univalent in the open unit disk $\ID$ and, for $\lambda >0$, let $\Phi_\lambda (n,f)=\lambda a_n^2-a_{2n-1}$ denote the…
We introduce the concept of sos-convex Lyapunov functions for stability analysis of both linear and nonlinear difference inclusions (also known as discrete-time switched systems). These are polynomial Lyapunov functions that have an…
We define a uniformly behaved in ${\mathbb N}$ arithmetic sequence ${\bf a}$ and an ${\bf a}$-mean Lyapunov stable dynamical system $f$. We consider the time-average of a continuous function $\phi$ along the ${\bf a}$-orbit of $f$ up to…
In [Israel J. Math, 2014], Grahl and Nevo obtained a significant improvement for the well-known normality criterion of Montel. They proved that for a family of meromorphic functions $\mathcal F$ in a domain $D\subset \mathbb C,$ and for a…
In this paper we develop general formulas for the subdifferential of the pointwise supremum of convex functions, which cover and unify both the compact continuous and the non-compact non-continuous settings. From the non-continuous to the…
We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=\delta_{\alpha_1(x)1}+\sum^{\infty}_{k=2}\left[\delta_{\alpha_k(x)k}\prod^{k-1}_{j=1}g_{\alpha_j…
The usual approach to developing and analyzing first-order methods for smooth convex optimization assumes that the gradient of the objective function is uniformly smooth with some Lipschitz constant $L$. However, in many settings the…
We extend the definition of involutivity to non-Lipschitz tangent subbundles using generalized functions. We prove the Frobenius Theorem with sharp regularity estimate when the subbundle is log-Lipschitz: if $\mathcal V$ is a log-Lipschitz…
Let $X$ be a class of extended numerical functions on a domain $D$ of $d$-dimensional Euclidean space $\mathbb R^d$, $H\subset X$. Given $u,M\in X$, we write $u\prec_H M$ if there is a function $h\in H$ such that $u+h\leq M$ on $D$. We…
Let A be an arbitrary set. For any transformation T (self-map of A) let T(f)(x):=f(T(x)) (for all x in A) be the usual shift operator. A function g is called periodic, i.e., invariant mod T, if Tg=g (=Ig, where I is the identity operator).…
A standard theorem in nonsmooth analysis states that a piecewise affine function $F:\mathbb R^n\rightarrow\mathbb R^n$ is surjective if it is coherently oriented in that the linear parts of its selection functions all have the same nonzero…
We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $\phi$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $\phi$…
A real-valued set function is (additively) approximately submodular if it satisfies the submodularity conditions with an additive error. Approximate submodularity arises in many settings, especially in machine learning, where the function…
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…
It is shown that a possibly infinite-valued proper lower semicontinuous convex function on ${\mathbb R}^n$ has an extension to a convex function on the half-space ${\mathbb R}^n\times[0,\infty)$ which is finite and smooth on the open…
Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with either $0 < \lambda(A) < 1 < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, or the other way…
The Hermite-Hadamard inequality states that the average value of a convex function on an interval is bounded from above by the average value of the function at the endpoints of the interval. We provide a generalization to higher dimensions:…
In this work we prove that if an entire function $f(z)$ is of order strictly less than one and it has only negative zeros, then for each nonnegative integer $k,m$ the real function…
The goal of the paper is to study the particular class of regularly ${\mathcal{H}}$-convex functions, when ${\mathcal{H}}$ is the set ${\mathcal{L}\widehat{C}}(X,{\mathbb{R}})$ of real-valued Lipschitz continuous classically concave…