Related papers: Metric fixed point theory and partial impredicativ…
In the present paper, we prove generalizations of Banach, Kannan, Chatterjea, \'Ciri\'c-Reich-Rus fixed point theorems, as well as of the fixed point theorem for mappings contracting perimeters of triangles. We consider corresponding…
In this article, we discuss a new version of metric fixed point theory especially of Banach Contraction Principle, Ran-Reurings Theorem and others.
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their…
The aim of this paper is to prove new uncertainty principles for an integral operator $\tt$ with a bounded kernel for which there is a Plancherel theorem. The first of these results is an extension of Faris's local uncertainty principle…
We give a proof of the Erd\H{o}s-Ko-Rado Theorem using the Borel Fixed Point Theorem from algebraic group theory. This perspective gives a strong analogy between the Erd\H{o}s-Ko-Rado Theorem and (generalizations of) the Gerstenhaber…
We present an alternative approach to the vector version of Krasnosel'skii compression-expansion fixed point theorem due to Precup, which is based on the fixed point index. It allows us to obtain new general versions of this fixed point…
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…
This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions of Ramsey's theorem. We examine two statements in graph…
In this paper we generalize to unbounded convex subsets C of hyperbolic spaces results obtained by W.A. Kirk and R. Espinola on approximate fixed points of nonexpansive mappings in product spaces $(C\times M)_\infty$, where M is a metric…
The optimal transport map between the standard Gaussian measure and an $\alpha$-strongly log-concave probability measure is $\alpha^{-1/2}$-Lipschitz, as first observed in a celebrated theorem of Caffarelli. In this paper, we apply two…
The paper is devoted to a reverse-mathematical study of some well-known consequences of Ramsey's theorem for pairs, focused on the chain-antichain principle $\mathsf{CAC}$, the ascending-descending sequence principle $\mathsf{ADS}$, and the…
We establish a simple and powerful lemma that provides a criterion for sequences in metric spaces to be Cauchy. Using the lemma, it is then easily verified that the Picard iterates $\{T^nx\}$, where $T$ is a contraction or asymptotic…
We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…
In this article we show that some recent results on the existence of best proximity points can be obtained from the same result in fixed point theory.
Let $E$ be an elliptic curve defined over the rational numbers and $r$ a fixed integer. Using a probabilistic model consistent with the Chebotarev theorem for the division fields of $E$ and the Sato-Tate distribution, Lang and Trotter…
We establish the first common fixed point theorem for commutative set-valued mappings. This may help to generalize common fixed point theorems in single-valued setting to those in set-valued. We also prove the existence of a fixed point in…
We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to…
Uncertainty is critical to reliable decision-making with machine learning. Conformal prediction (CP) handles uncertainty by predicting a set on a test input, hoping the set to cover the true label with at least $(1-\alpha)$ confidence. This…
The main aim of this paper is to study of fixed point theory in partial cone metric spaces. Infact, some common fixed point theorems for two mappings in partial cone metric spaces are obtained.
A central question in rough path theory is characterising the law of stochastic processes on path spaces. It is established in [I. Chevyrev & T. Lyons, Characteristic functions of measures on geometric rough paths, Ann. Probab. 44 (2016),…