Related papers: On a problem of Bauschke and Borwein

The Bregman proximal mapping and Bregman-Moreau envelope are traditionally studied for functions defined on the entire space $\mathbb{R}^n$, even though these constructions depend only on the values of the function within (the interior of)…

It is well known that the sum of negative (positive) eigenvalues of some finite Hermitian matrix $V$ is concave (convex) with respect to $V$. Using the theory of the spectral shift function we generalize this property to self-adjoint…

The Bregman divergence (Bregman distance, Bregman measure of distance) is a certain useful substitute for a distance, obtained from a well-chosen function (the "Bregman function"). Bregman functions and divergences have been extensively…

We study closed sets $F \subset {\mathbb R}^d$ whose distance function $d_F:= {\rm dist}\,(\cdot,F)$ is DC (i.e., is the difference of two convex functions on ${\mathbb R}^d$). Our main result asserts that if $F \subset {\mathbb R}^2$ is a…

A characterization of the proximal normal cone is obtained and a separation theorem for convex subsets of Riemannian manifolds is established. Moreover, the convexity of the distance function $d_S$ for a convex subset $S$ in the cases where…

Let $X$ be a Banach space and $F: [0, 1] \rightarrow 2^{X} \setminus \{ \varnothing \}$ be a bounded multifunction. We study properties of the set $I(F)$ of limits in Hausdorff distance of Riemann integral sums of $F$. The main results are:…

We provide a proximal average with repect to a $1$-coercive Legendre function. In the sense of Bregman distance, the Bregman envelope of the proximal average is a convex combination of Bregman envelopes of individual functions. The Bregman…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

Let $M$ be a complete Riemannian manifold and $F\subset M$ a set with a nonempty interior. For every $x\in M$, let $D_x$ denote the function on $F\times F$ defined by $D_x(y,z)=d(x,y)-d(x,z)$ where $d$ is the geodesic distance in $M$. The…

If $X$ is a convex surface in a Euclidean space, then the squared intrinsic distance function $\dist^2(x,y)$ is DC (d.c., delta-convex) on $X\times X$ in the only natural extrinsic sense. An analogous result holds for the squared distance…

We characterize the functions for which the corresponding Bregman divergence is jointly convex on matrices. As an application of this characterization, we derive a sharp inequality for the quantum Tsallis entropy of a tripartite state,…

We systematically study the local single-valuedness of the Bregman proximal mapping and local smoothness of the Bregman--Moreau envelope of a nonconvex function under relative prox-regularity - an extension of prox-regularity - which was…

Given a function $f$ defined on a nonempty and convex subset of the $d$-dimensional Euclidean space, we prove that if $f$ is bounded from below and it satisfies a convexity-type functional inequality with infinite convex combinations, then…

The free closed semialgebraic set $D_f$ determined by a hermitian noncommutative polynomial $f$ is the closure of the connected component of $\{(X,X^*)\mid f(X,X^*)>0\}$ containing the origin. When $L$ is a hermitian monic linear pencil,…

A function is exponentially concave if its exponential is concave. We consider exponentially concave functions on the unit simplex. In a previous paper we showed that gradient maps of exponentially concave functions provide solutions to a…

We study a new class of distances between Radon measures similar to those studied in a recent paper of Dolbeault-Nazaret-Savar\'e [DNS]. These distances (more correctly pseudo-distances because can assume the value $+\infty$) are defined…

We give a complete characterization of closed sets $F \subset \mathbb{R}^2$ whose distance function $d_F:= \mathrm{dist}(\cdot,F)$ is DC (i.e., is the difference of two convex functions on $\mathbb{R}^2$). Using this characterization, a…

A differentiable function is pseudoconvex if and only if its restrictions over straight lines are pseudoconvex. A differentiable function depending on one variable, defined on some closed interval $[a,b]$ is pseudoconvex if and only if…

We discuss the following question: For a function f of two or more variables which is convex in the directions of coordinate axes, how can its trace g(x) = f(x, x, ..., x) look like? In the two-dimensional case, we provide some necessary…

The convolution properties are discussed for the complex-valued harmonic functions in the unit disk $\mathbb{D}$ constructed from the harmonic shearing of the analytic function $\phi(z):=\int_0^z…