Related papers: Remarks on Fixed Point Assertions in Digital Topol…
We consider the problems of reaching average consensus and solving consensus-based optimization over unreliable communication networks wherein packets may be dropped accidentally during transmission. Existing work either assumes that the…
We make two tiny corrections to our previous paper with the same title, and also obtain, as a bonus, something new.
This is a technical report, containing all the lemma and proposition proofs in paper "Topological Constraints on Identifying Additive Link Metrics via End-to-end Paths Measurements" by Liang Ma, Ting He, Kin K. Leung, Don Towsley, and…
Understanding how singularities behave under small perturbations is a central theme in singularity theory. In this paper we establish sufficient conditions for families of analytic function-germs on a germ of a complex analytic space to…
We add to our knowledge of the approximate fixed point property (AFPP) in digital topology. We show that a digital image that is a tree has the AFPP. Given two digital images (X, \kappa) and (Y, \lambda) that have the approximate fixed…
AND-OR networks are Boolean networks where each coordinate function is either the AND or OR logical operator. We study the number of fixed points of these Boolean networks in the case that they have a wiring diagram with chain topology. We…
In this work, new equivalences of topological statements and weaker axioms than ${\bf AC}$ are proven. This equivalences include the use of anti-properties. All this equivalences have been checked with a computer using the theorem proving…
This short note introduces a notion of directed homotopy equivalence and of "directed" topological complexity (which elaborates on the notion that can be found in e.g. Farber's book) which have a number of desirable joint properties. In…
Data are essential for the experiments of relevant scientific publication recommendation methods but it is difficult to build ground truth data. A naturally promising solution is using publications that are referenced by researchers to…
A constructive and straightforward proof of the existence of the Zeeman topology is provided, contradicting a fallacious claim contained in the paper "Does Zeeman's Fine Topology Exist?" available at arXiv:1003.3703v1.
In this paper, we give common coincidence point and common fixed point theorems for four self maps in the setting of generalized TAC-contraction in partial b-metric space. Also, we give an example to authenticate the viability of the…
In this paper, we establish some fixed point theorems in ordered partial metric spaces. An example is given to illustrate our obtained results.
The problem of topology change description in gravitation theory is analized in detailes. It is pointed out that in standard four-dimensional theories the topology of space may be considered as a particular case of boundary conditions (or…
The paper refers to several concepts which are essential to studying digital objects from the viewpoint of digital topology: digital $k$-connectivity or digital $k$-adjacency, $C$-compatible and normal $k$-adjacency for a digital product.…
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 show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were…
Methods were developed in Ref. [1] for constructing reference metrics (and from them differentiable structures) on three-dimensional manifolds with topologies specified by suitable triangulations. This note generalizes those methods by…
In this note we prove the Borel Conjecture for closed, irreducible and sufficiently collapsed three-dimensional Alexandrov spaces. We also pose several questions related to characterization of fundamental groups of three-dimensional…
This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e. the original problem is first reformulated as a nonconvex optimization problem, its well-posedness…
At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. While standards and tools exist to express and verify some of these…