Related papers: Clarke subgradients of stratifiable functions
By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper…
This paper is devoted to the study of generalized subdifferentials of spectral functions over Euclidean Jordan algebras. Spectral functions appear often in optimization problems playing the role of "regularizer", "barrier", "penalty…
In general, the critical points of the distance function $d_{\mathsf{M}}$ to a compact submanifold $\mathsf{M} \subset \mathbb{R}^D$ can be poorly behaved. In this article, we show that this is generically not the case by listing regularity…
On a smooth, compact and oriented manifold without boundary, we give a complete description of the correlation function of a Morse-Smale gradient flow satisfying a certain nonresonance assumption. This is done by analyzing precisely the…
A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many F\o lner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on…
We prove that for fixed $k$, every $k$-uniform hypergraph on $n$ vertices and of minimum codegree at least $n/2+o(n)$ contains every spanning tight $k$-tree of bounded vertex degree as a sub\-graph. This generalises a well-known result of…
It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and…
Let K be a complete discretely valued field with residue field k and F be a function field of a curve over K. Let L/F be a Galois extension of degree n. If n is coprime to char(k), then under some assumptions on k(e.g. k is algebraically…
A new class of rational parametrization has been developed and it was used to generate a new family of rational functions B-splines $\displaystyle{{\left({}^{\alpha}{\mathbf B}_{i}^{k} \right)}_{i=0}^{k}}$ which depends on an index $\alpha…
A bound on consecutive clique numbers of graphs is established. This bound is evaluated and shown to often be much better than the bound of the Kruskal-Katona theorem. A bound on non-consecutive clique numbers is also proven.
We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of…
We study ruled submanifolds of Euclidean space. First, to each (parametrized) ruled submanifold $\sigma$, we associate an integer-valued function, called degree, measuring the extent to which $\sigma$ fails to be cylindrical. In particular,…
R. Thom's gradient conjecture states that if a gradient flow of an analytic function converges to a limit, it does so along a unique limiting direction. In this paper, we extend and settle this conjecture in the context of infinite…
We present a method to control gonality of nonarchimedean curves based on graph theory. Let k denote a complete nonarchimedean valued field. We first prove a lower bound for the gonality of a curve over the algebraic closure of k in terms…
We study (higher order) asymptotic behaviour near branch points of stationary $n$-dimensional two-valued $C^{1, \mu}$ graphs in an open subset of ${\mathbb R}^{n+m}$. Specifically, if $M$ is the graph of a two-valued $C^{1, \mu}$ function…
Let M be a real analytic manifold, F a bounded complex of constructible sheaves. We show that the Whitney-de Rham complex associated to F is quasi-isomorphic to F.
We address the minimization of the sum of a proper, convex and lower semicontinuous with a (possibly nonconvex) smooth function from the perspective of an implicit dynamical system of forward-backward type. The latter is formulated by means…
We define "t-stratifications", a strong notion of stratifications for Henselian valued fields $K$ of equi-characteristic 0, and prove that they exist. In contrast to classical stratifications in Archimedean fields, t-stratifications also…
A classical result of Carleman, based on the theory of quasianalytic functions, shows that polynomials are dense in $L^2(\mu)$ for any $\mu$ such that the moments $\int x^k d\mu$ do not grow too rapidly as $k \to \infty$. In this work, we…
We consider the optimization problem of minimizing a nonsmooth function characterized by a nonsmooth formulation of the descent lemma over a manifold. In the unconstrained case over a Euclidean space, this class of functions is called…