Related papers: Fixed point combinators as fixed points of higher-…
The concept of fixed point plays a crucial role in various fields of applied mathematics. The aim of this paper is to establish the existence of a unique fixed point of some type of functions which satisfy a new contraction principle,…
In this paper, first some results of [5] are extended for subadditive separating maps between C(X;E) and C(Y;E), such that E is a unital Banach algebra. Then we give some conditions under which a strongly subadditive map has a unique fixed…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
We consider hamiltonian $N$ particle system on the finite segment with nearest-neighbor Coulomb interaction and external force $F$. We study the fixed points of such system and show that the distances between neighbors are asymptotically,…
We consider the sublanguages of Plotkin's PCF obtained by imposing some bound k on the levels of types for which fixed point operators are admitted. We show that these languages form a strict hierarchy, in the sense that a fixed point…
We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point…
We study pseudorandomness and pseudorandom generators from the perspective of logical definability. Building on results from ordinary derandomization and finite model theory, we show that it is possible to deterministically construct, in…
In this paper, we study the existence of the random approximations and fixed points for random almost lower semicontinuous operators defined on finite dimensional Banach spaces, which in addition, are condensing or 1-set-contractive. Our…
We provide a unified method for constructing explicit distributions which are difficult for restricted models of computation to generate. Our constructions are based on a new notion of robust extractors, which are extractors that remain…
The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was…
The renormalisation group running of fermion mixing matrices in the Standard model and beyond is studied. For the massless 1-loop running with three generations six fixed points are found. Their associated anomalous dimension matrices are…
In this survey article (which hitherto is an ongoing work-in-progress) we present the formulation of the induction and coinduction principles using the language and conventions of each of order theory, set theory, programming languages'…
Let $P$ be a set of $n$ points in $\mathbb{R}^d$ and $\mathcal{F}$ be a family of geometric objects. We call a point $x \in P$ a strong centerpoint of $P$ w.r.t $\mathcal{F}$ if $x$ is contained in all $F \in \mathcal{F}$ that contains more…
In this paper we shall consider the connections between Lyapunov integral operators and Gibbs measures for four competing interactions of models with uncountable (i.e. $[0,1]$) set of spin values on a Cayley tree. And we shall prove the…
In the present article, we first examine the conception of C*-algebra-valued controlled Fc-metric type spaces as a generalization of F-cone metric spaces over banach algebra. Further, we prove some fixed point theorem with different…
Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination probabilities for Markov chains and stochastic games are…
In this article, we derive a common fixed point result for a pair of single valued and set-valued mappings on a metric space having graphical structure. In this case, the set-valued map is assumed to be closed valued instead of closed and…
In this article we discuss a possibility to implement a well-known scheme of proof for contraction mapping theorems in a situation, when convergence, families of Cauchy sequences, and contractiveness of mappings are defined axiomatically.…
We give a survey, known and new results on the beingness of fixed points of the maximal operator in the more general settings of metric measure space. In particular, we prove that the fixed points of the uncentered one must be the constant…
Fixed points of $N$ coupled Virasoro minimal models have recently been argued to provide large classes of compact unitary CFTs with $c>1$ and only Virasoro chiral symmetry. In this paper, we vastly increase the set of such potential…