Related papers: Quantitative fixed-point theorems with verifiable …

The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure (also called model). We study a class of problems that…

In this paper, we study the existence of fixed points for mappings defined on complete (compact) metric space (X, d) satisfying a general contractive (contraction) inequality depended on another function. These conditions are analogous to…

For a bounded closed convex set $K$, in this note, we study the FPP for $\alpha$-H\"older nonexpansive maps, i.e. mappings $T\colon K\to K$ for which $\|T x -Ty\| \leq\| x - y\|^\alpha$ for all $x, y\in K$, $\alpha\in (0,1)$. First, we note…

We introduce "logically contractive mappings" nonexpansive self-maps that contract along a subsequence of iterates and prove a fixed-point theorem that extends Banach's principle. We obtain event-indexed convergence rates and, under bounded…

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…

We study the complexity of constraint satisfaction problems for templates $\Gamma$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain…

Here I give a direct proof that smooth curves with distinct marked points are asymptotically Hilbert stable with respect to a wide range of parameter spaces and linearizations. This result can be used to construct the coarse moduli space of…

We discuss in details a modified variational matrix-product-state algorithm for periodic boundary conditions, based on a recent work by P. Pippan, S.R. White and H.G. Everts, Phys. Rev. B 81, 081103(R) (2010), which enables one to study…

Probably Approximately Correct (PAC) bounds are widely used to derive probabilistic guarantees for the generalisation of machine learning models. They highlight the components of the model which contribute to its generalisation capacity.…

This paper combines the decomposition technique ($\sigma$-stability) in random functional analysis with the deterministic theory of asymptotically pointwise contractions to provide a complete self-contained derivation of a fixed point…

Fixed point results with respect to generalized rational contractive mappings in semi-metric spaces endowed with a directed graph are proved. Some examples are provided to illustrate the results. The obtained results extend, improve and…

Inspired by the work of Suzuki in [Proc. Amer. Math. Soc. 136 (2008), 1861--1869] we prove a fixed point theorem for contractive mappings that generalizes a theorem of Geraghty in [Proc. Amer. Math. Soc., 40 (1973), 604--608] and…

We consider bounded 2-metric spaces satisfying an additional axiom, and show that a contractive mapping has either a fixed point or a fixed line.

Let $C$ be a convex subset of a locally convex space. We provide optimal approximate fixed point results for sequentially continuous maps $f\colon C\to\bar{C}$. First we prove that if $f(C)$ is totally bounded, then it has an approximate…

We study the fixed point set in the ideal boundary of a parabolic isometry of a proper CAT(0)-space. We show that the radius of the fixed point set is at most pi/2, and study its centers. As a consequence, we prove that the set of fixed…

For a target variety $X$ and a nodal curve $C$, we introduce a one-parameter stability condition, termed $\epsilon$-admissibility, for maps from nodal curves to $X\times C$. If $X$ is a point, $\epsilon$-admissibility interpolates between…

We formulate a notion of stability for maps between polarised varieties which generalises Kontsevich's definition when the domain is a curve and Tian-Donaldson's definition of K-stability when the target is a point. We give some examples,…

We define a notion of stable and measurable map between cones endowed with measurability tests and show that it forms a cpo-enriched cartesian closed category. This category gives a denotational model of an extension of PCF supporting the…

In this paper we extend the coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ obtained in [T.G. Bhaskar, V. Lakshmikantham, \textit{Fixed point theorems in partially ordered metric spaces and…

We consider a nonlocal differential equation of Kirchhoff type with a convolution coefficient involving variable growth. The novelty of our work lies in allowing a variable exponent in the nonlocal term. By relating the variable growth…