Related papers: Anchored Implication & Event-Indexed Fixed Points …

In this paper, we establish coincidence fixed point and common fixed point theorems for two mapping in complete $C^*$-algebra-valued metric spaces which satisfy new contractive conditions. Some applications of our obtained results are…

Transformer architectures have achieved remarkable empirical success in modeling contextual relations, yet a clear understanding of their expressive power is still lacking. In this work, we introduce a measure-theoretic framework in which…

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…

We use $KKM$ theorem to prove the existence of a new fixed point theorem for non-expansive mapping:Let M be a bounded closed convex subset of Hilbert space H, and $A:M\rightarrow M$ be a non-expansive mapping, then exists a fixed point of A…

We establish linear convergence of relocated fixed-point iterations as introduced by Atenas et al. (2025) assuming the algorithmic operator satisfies a linear error bound. In particular, this framework applies to the setting where the…

In this paper, the notion of $\mathbb{C}$-simulation function is introduced and the existence and uniqueness of common fixed points of two self-mappings satisfying contractive conditions in the setting of complex valued metric spaces via…

We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn formula equations play an important role in many…

Through the establishment of several extension theorems, we provide explicit expressions for all contractive projections and 1-complemented subspaces in the Hardy space $H^p(\mathbb{T})$ for $1\leq p<\infty$, $p\neq 2$. Our characterization…

The celebrated theorem of Berger, Coburn and Lebow on pairs of commuting isometries can be formulated as follows: a pure isometry $V$ on a Hilbert space $\mathcal{H}$ is a product of two commuting isometries $V_1$ and $V_2$ in…

An abstract linking result for Cerami sequences is proved without the Cerami condition. It is applied directly in order to prove the existence of critical points for a class of indefinite problems in infinite dimensional Hilbert Spaces. The…

In this paper we analyse convergence of projected fixed-point iteration on a Riemannian manifold of matrices with fixed rank. As a retraction method we use `projector splitting scheme'. We prove that the projector splitting scheme converges…

P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is…

We prove a fixed-point theorem that generalises and simplifies a number of results in the theory of $F$-contractions. We show that all of the previously imposed conditions on the operator can be either omitted or relaxed. Furthermore, our…

The Hausdorf moment problem (HMP) over the unit interval in an $L^2$-setting is a classical example of an ill-posed inverse problem. Since various applications can be rewritten in terms of the HMP, it has gathered significant attention in…

We study two classes of extension problems, and their interconnections: (i) Extension of positive definite (p.d.) continuous functions defined on subsets in locally compact groups $G$; (ii) In case of Lie groups, representations of the…

This paper addresses the topic of semantic world modeling by conjoining probabilistic reasoning and object anchoring. The proposed approach uses a so-called bottom-up object anchoring method that relies on the rich continuous data from…

For a bi-partite quantum system defined in a finite dimensional Hilbert space we investigate in what sense entanglement change and interactions imply each other. For this purpose we introduce an entanglement operator, which is then shown to…

We establish the convergence to the equilibrium for various linear collisional kinetic equations (including linearized Boltzmann and Landau equations) with physical local conservation laws in bounded domains with general Maxwell boundary…

Let $\mathcal{O}^{\otimes}$ and $\mathcal{P}^{\otimes}$ be $k$- and $\ell$-connected unital $G$-operads subject to the condition for all $S$ that $\mathcal{O}(S) = \emptyset$ if and only if $\mathcal{P}(S) = \emptyset$. We show that the…

The preferred-basis problem and the definite-outcome aspect of the measurement problem persist even when the detector is modeled unitarily. Experimental data are represented in a Boolean event algebra of mutually exclusive records, while…