Related papers: Square distance functions are Polyak-{\L}ojasiewic…

We show that a set of non-negative reals is the distance set of a separable complete metric space if and only if it is either countable or is an analytic set which has 0 as a limit point. We also consider spaces with simpler distance sets.

We consider the weighted Sobolev spaces associated with non-isotropic dilations of Calder\'on-Torchinsky and characterize the spaces by the square functions of Marcinkiewicz type including those defined with repeated uses of averaging…

We study de la Vall\'ee Poussin means of Walsh--Fourier series associated with a nondecreasing window sequence. We establish a sharp criterion for almost everywhere convergence for integrable functions. We further show that, when this…

On a convex bounded open set, we prove that Poincar\'e-Sobolev constants for functions vanishing at the boundary can be bounded from below in terms of the norm of the distance function in a suitable Lebesgue space. This generalizes a result…

We consider the extragradient method to minimize the sum of two functions, the first one being smooth and the second being convex. Under the Kurdyka-Lojasiewicz assumption, we prove that the sequence produced by the extragradient method…

The objective of this paper is to show (a)=(b)=(c) as rational functions of $T$, $U$ for (a), (b), (c) given by (a) continued fractions of length $2^{n+1}-1$ with explicit partial denominators in $\left\{-T,U^{-1}T\right\}$, (b) truncated…

We propose a subgradient-based method for finding the maximum feasible subsystem in a collection of closed sets with respect to a given closed set $C$ (MFS$_C$). In this method, we reformulate the MFS$_C$ problem as an $\ell_0$ optimization…

For any (real) algebraic variety $X$ in a Euclidean space $V$ endowed with a nondegenerate quadratic form $q$, we introduce a polynomial $\mathrm{EDpoly}_{X,u}(t^2)$ which, for any $u\in V$, has among its roots the distance from $u$ to $X$.…

Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using…

We consider the dynamical system \begin{equation*}\left\{ \begin{array}{ll} v(t)\in\partial\phi(x(t))\\ \lambda\dot x(t) + \dot v(t) + v(t) + \nabla \psi(x(t))=0, \end{array}\right.\end{equation*} where $\phi:\R^n\to\R\cup\{+\infty\}$ is a…

In the dual $L_{\Phi^*}$ of a $\Delta_2$-Orlicz space $L_\Phi$, that we call a dual Orlicz space, we show that a proper (resp. finite) convex function is lower semicontinuous (resp. continuous) for the Mackey topology…

We show that the response, frozen and semifreddo fractional susceptibility functions of certain real-analytic unimodal families, at Misiurewicz parameters and for fractional differentiation index $0\le\eta<1/2$, are holomorphic on a disk of…

The purpose of this work is to investigate root finding problems defined on (quasi-)metric spaces, and ranging in Euclidean spaces. The motivation for this line of inquiry stems from recent models in biology and phylogenetics, where…

This paper defines a distance function that measures the dissimilarity between planar geometric figures formed with straight lines. This function can in turn be used in partial matching of different geometric figures. For a given pair of…

It is shown that quasi all continuous functions on the unit circle have the property that, for many small subsets E of the circle, the partial sums of their Fourier series considered as functions restricted to E exhibit certain universality…

In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a…

It is a classical theorem that if a function is integrable along the boundary of the unit circle, then the function is the nontangential limit of a holomorphic function on the open disc if and only if its Fourier coefficients for…

In this paper, we introduce a nonlinear optimization problem whose objective function is the convex log-sum-exp function and the feasible region is defined as a system of fuzzy relational inequalities (FRI) defined by the Lukasiewicz…

In this paper, we study the problem of finding the Euclidean distance to a convex cone generated by a set of discrete points in $\mathbb{R}^n_+$. In particular, we are interested in problems where the discrete points are the set of feasible…

This paper presents a distance function between sets based on an average of distances between their elements. The distance function is a metric if the sets are non-empty finite subsets of a metric space. It can be applied to produce various…