Related papers: Quantitative fixed-point theorems with verifiable …
We consider a complete, unbounded, hyperbolic metric space $X$ and a concave, nonzero and nondecreasing function $\omega:[0,+\infty)\to[0,+\infty)$ with $\omega(0)=0$ and study the space $\mathcal{C}_\omega(X)$ of uniformly continous…
We study the stability of unitary quantum dynamics of composite systems (for example: central system + environment) with respect to weak interaction between the two parts. Unified theoretical formalism is applied to study different physical…
We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…
Based on the recently developed theory of random sequential compactness, we prove the random Kakutani fixed point theorem in random normed modules: if G is a random sequentially compact L0-convex subset of a random normed module, then every…
In this paper we study iterative algorithms for finding a common element of the set of fixed points of $\kappa$-strict pseudocontractions or finding a solution of a variational inequality problem for a monotone, Lipschitz continuous…
Certified robustness in machine learning has primarily focused on adversarial perturbations of the input with a fixed attack budget for each point in the data distribution. In this work, we present provable robustness guarantees on the…
Assume that $X$ is a Banach space of measurable functions for which Koml\'os' Theorem holds. We associate to any closed convex bounded subset $C$ of $X$ a coefficient $t(C)$ which attains its minimum value when $C$ is closed for the…
We study the inverse boundary value problems of determining a potential in the Helmholtz type equation for the perturbed biharmonic operator from the knowledge of the partial Cauchy data set. Our geometric setting is that of a domain whose…
In Theorem 1 of the paper [V. Pata, A fixed point theorem in metric spaces, J. Fixed Point Theory Appl., 10 (2011), 299-305] it is proved that Picard's iterates for a function converge to a fixed point if a certain condition (C) is verified…
The goal of this paper is to establish a general fixed point theorem for compact single-valued continuous mapping in Hausdorff p-vector spaces, and the fixed point theorem for upper semicontinuous set-valued mappings in Hausdorff locally…
The synthesis of robust invariant sets for nonlinear systems has traditionally been hindered by the inherent non convexity and a strict reliance on exact analytical models. This paper presents a purely data-driven framework to compute…
The paper concerns a new method to obtain a direct proof of the openness at linear rate/metric regularity of composite set-valued maps on metric spaces by the unification and refinement of several methods developed somehow separately in…
For a given bundle $\xi \colon E \to M$ over a manifold, configuration-section spaces on $\xi$ parametrise finite subsets $z \subseteq M$ equipped with a section of $\xi$ defined on $M \smallsetminus z$, with prescribed "charge" in a…
Let $X$ be a Hausdorff topological vector space, $X^*$ its topological dual and $Z$ a subset of $X^*$. In this paper, we establish some results concerning the $\sigma(X,Z)$-approximate fixed point property for bounded, closed convex subsets…
Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,\phi) over X consists of an algebraic vector bundle E over X and a holomorphic section \phi of E. There is a concept of stability for pairs which…
We develop Wasserstein-based hypothesis tests for empirical-measure convergence in stationary dependent sequences. For a known candidate invariant measure, $\mu$, we study the statistic $T_n=\sqrt{n}\,W_1(\hat\mu_n,\mu)$ and establish…
We consider unitary, modular invariant, two-dimensional CFTs which are invariant under the parity transformation $P$. Combining $P$ with modular inversion $S$ leads to a continuous family of fixed points of the $SP$ transformation. A…
The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where…
We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path…
We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological…