Related papers: The Minimum Principle for Convex Subequations
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower…
Let $\Omega\subset\mathbb{R}^{n+1}$ have minimal Gaussian surface area among all sets satisfying $\Omega=-\Omega$ with fixed Gaussian volume. Let $A=A_{x}$ be the second fundamental form of $\partial\Omega$ at $x$, i.e. $A$ is the matrix of…
This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions…
Subdifferentials (in the sense of convex analysis) of matrix-valued functions defined on $\mathbb{R}^d$ that are convex with respect to the L\"{o}wner partial order can have a complicated structure and might be very difficult to compute…
In a recent article (2022) we proved with L. Zaj\'i\v{c}ek that if $ G\subset\R^n $ is an unbounded open convex set that does not contain a translation of a convex cone with non-empty interior, then there exist $ f:G\to\R $ and a concave…
Let $D^2 \subset C$ be a closed two-dimensional disk and $f:D^2 \to R$ be a continuous function such that a restriction of $f$ to $\partial D^2$ is a continuous function with a finite number of local extrema and $f$ has a finite number of…
We characterise in this work the $q$-plurisubharmonic functions in terms of the theory of viscosity solutions. We show that an upper semicontinuous function is $q$-plurisubharmonic if and only if its complex Hessian has at most $q$ strictly…
We show that every bounded domain $D$ in $\mathbb R^n$ with smooth $p$-convex boundary for $2\le p < n$ admits a smooth defining function $\rho$ which is $p$-plurisubharmonic on $\overline D$; if in addition $bD$ has no $p$-flat points then…
We consider minimization of functions that are compositions of convex or prox-regular functions (possibly extended-valued) with smooth vector functions. A wide variety of important optimization problems fall into this framework. We describe…
This note adapts the sophisticated Richberg technique for approximation in pluripotential theory to the $F$-potential theory associated to a general nonlinear convex subequation $F \subset J^2(X)$ on a manifold $X$. The main theorem is the…
Let $\varphi$ be a plurisubharmonic function on a pseudoconvex domain $D \subset \mathbb C^n$. We show that there exists a nonzero holomorphic function $f$ on $D$ such that some local mean value of $\varphi$ with logarithmic additional…
Given a continuous function $\phi$ defined on a domain $\Omega\subset\mathbb{R}^m\times\mathbb{R}^n$, we show that if a Pr\'ekopa-type result holds for $\phi+\psi$ for any non-negative convex function $\psi$ on $\Omega$, then $\phi$ must be…
Submodular Functions are a special class of set functions, which generalize several information-theoretic quantities such as entropy and mutual information [1]. Submodular functions have subgradients and subdifferentials [2] and admit…
Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued mapping. We give necessary and sufficient conditions on $f, G$ for the existence of a…
A function $F:\mathbb{F}_{2}^{n}\to \mathbb{F}_{2}^{m}$ is called $k$th-order sum-free if the sum of its values over any $k$-dimensional affine subspace of $\mathbb{F}_2^n$ is non-zero. Carlet recently introduced this notion and constructed…
Let $C$ be a compact convex subset of $\mathbb{R}^n$, $f:C\to\mathbb{R}$ be a convex function, and $m\in\{1, 2, ..., \infty\}$. Assume that, along with $f$, we are given a family of polynomials satisfying Whitney's extension condition for…
Let $n \in \N$ and $M_n$ be the algebra of $n \times n$ matrices. We call a function $f$ matrix monotone of order $n$ or $n$-monotone in short whenever the inequality $f(a) \leq f(b)$ holds for every pair of selfadjoint matrices $a, b \in…
A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.
A set of locally finite perimeter $E \subset \mathbb{R}^{n}$ is called an anisotropic minimal surface in an open set $A$ if $\Phi(E;A) \le \Phi(F;A)$ for some surface energy $\Phi(E;A) = \int_{\partial^{*}E \cap A} \| \nu_{E}\| d…