Related papers: A Geometric Approach to Combinatorial Fixed-Point …
Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We…
In this paper, we first discussed multiplicative metric mapping by giving some topological properties of the relevant multiplicative metric space. As an interesting result of our discussions, we observed that the set of positive real…
We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $\Delta$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its…
In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration…
The purpose of this paper is to prove that every finite set of points that can be constructed in the Euclidean plane by using a compass and a ruler can also be constructed by using unitary match-sticks in a non-simultaneous way and…
In this paper, we are concerned with the study of the existence of fixed points for single and multi-valued three-points contractions. Namely, we first introduce a new class of single-valued mappings defined on a metric space equipped with…
In light of null results from New Physics searches at the LHC, we look at unification of the gauge couplings as a model-building principle. As a first step, we consider extensions of the Standard Model with vector-like fermions. We present…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
In this paper, we prove coincidence and common fixed points results under nonlinear contractions on a metric space equipped with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially…
The fixed points of a natural torus action on the Hilbert schemes of points in C^2 are quiver varieties of infinite type A. The equivariant cohomology of the Hilbert schemes and quiver varieties can be given the structure of bosonic and…
We give an alternative proof of Madsen-Weiss' generalized Mumford conjecture. Our proof is based on ideas similar to Madsen-Weiss' original proof, but it is more geometrical and less homotopy theoretical in nature. At the heart of the…
Laminations are a combinatorial and topological way to study Julia sets. Laminations give information about the structure of parameter space of degree $d$ polynomials with connected Julia sets. We first study fixed point portraits in…
We introduce a new class of asymptotic contractions that employs two quasi-metrics defined directly in terms of the underlying mapping. The contraction condition compares these two quantities via a sequence of bounding functions that…
In this article, we model with measures of noncompactness the well-known concept of F-expanding mappings given by Gornicki (Fixed Point Theory Appl 2017, 9 (2016)). Our results are proved by weakening some assumptions on F and without using…
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological…
Fixed points for scalar theories in $4-\varepsilon$, $6-\varepsilon$ and $3-\varepsilon$ dimensions are discussed. It is shown how a large range of known fixed points for the four dimensional case can be obtained by using a general…
Given a Hilbert space and a finite family of operators defined on the space, the common fixed point problem (CFPP) is to find a point in the intersection of the fixed point sets of these operators. Instances of the problem have numerous…
We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's…
This work is a comparative study between the existence of fixed point for homomorphisms in a class of binary relationnal systems and the existence of fixed point for nonexpansive mappings in semimetric spaces.
We present a study on strong t-continuity and measure of discontinuity on PN spaces. As an application, we prove a fixed point theorem for a self mapping on PN spaces by means of measure of discontinuity.