Related papers: Clarke subgradients of stratifiable 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…

Let $f\colon C \rightarrow \mathbb{P}^1$ be a degree $k$ genus $g$ cover. The stratification of line bundles $L \in \mathrm{Pic}^d(C)$ by the splitting type of $f_*L$ is a refinement of the stratification by Brill-Noether loci $W^r_d(C)$.…

Let $f$ be a germ of a smooth function at the orirgin in $\RR^n.$ We show that if $f$ is Kouchnirenko's nondegenerate and satisfies the so called Kamimoto--Nose condition then it admits the \L ojasiewicz inequalities. We compute the \L…

Taking an elementary and straightforward approach, we develop the concept of a regular value for a smooth map f: O -> P between smooth orbifolds O and P. We show that Sard's theorem holds and that the inverse image of a regular value is a…

The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly…

An extension of Marcinkiewicz Interpolation Theorem, allowing intermediate spaces of Orlicz type, is proved. This generalization yields a necessary and sufficient condition so that every quasilinear operator, which maps the set, $S(X,\mu)$,…

If $f$ is a Henstock--Kurzweil integrable function on the real line, the Alexiewicz norm of $f$ is $\|f\|=\sup_I|\int_I f|$ where the supremum is taken over all intervals $I\subset\R$. Define the translation $\tau_x$ by $\tau_xf(y)=f(y-x)$.…

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

Cheeger's fundamental inequality states that any edge-weighted graph has a vertex subset $S$ such that its expansion (a.k.a. conductance) is bounded as follows: \[ \phi(S) \defeq \frac{w(S,\bar{S})}{\min \set{w(S), w(\bar{S})}} \leq…

We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As…

For a function $f$ from the Sobolev space $W^{1,p}(C)$ ($C\subset\mathbb{R}^d$ is an open convex cone), a sharp inequality that estimates $\| f\|_{L_{\infty}}$ via the $L_{p}$-norm of its gradient and a seminorm of the function is obtained.…

We introduce a proximal subdifferential and develop a calculus for nonsmooth functions defined on any Riemannian manifold $M$. We give several applications of this theory, concerning: 1) differentiability and geometrical properties of the…

A normalized analytic function f is shown to be univalent in the open unit disk D if its second coefficient is sufficiently small and relates to its Schwarzian derivative through a certain inequality. New criteria for analytic functions to…

We first study Clarke's tangent cones at infinity to unbounded subsets of $\mathbb{R}^n.$ We prove that these cones are closed convex and show a characterization of their interiors. We then study subgradients at infinity for extended real…

This paper deals with local criteria for the convergence to a global minimiser for gradient flow trajectories and their discretisations. To obtain quantitative estimates on the speed of convergence, we consider variations on the classical…

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

We study the convergence of general abstract descent methods applied to a lower semicontinuous nonconvex function f that satisfies the Kurdyka-Lojasiewicz inequality in a Hilbert space. We prove that any precompact sequence converges to a…

Let V, W be real algebraic varieties (that is, up to isomorphism, real algebraic sets), and let X be a subset of V. A map f from X into W is said to be regular if it can be extended to a regular map defined on some Zariski locally closed…

This paper introduces a stratification framework for nonlinear semidefinite programming (NLSDP) that reveals and utilizes the geometry behind the nonsmooth KKT system. Based on the \emph{index stratification} of $\mathbb{S}^n$ and its lift…

We discuss variants of construction of measurable subgradients for multivariate convex functions and the problem of characterization of the $\Delta_2$-condition in terms of their directional derivatives. Furthermore we study related basic…