Related papers: Computable counter-examples to the Brouwer fixed-p…
The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open…
We propose to use Tarski's least fixpoint theorem as a basis to define recursive functions in the calculus of inductive constructions. This widens the class of functions that can be modeled in type-theory based theorem proving tool to…
It is demonstrated that a recently suggested model for the EPR-Bohm spin experiment, based on Clifford algebra valued local variables and observables, runs into very serious difficulties and can therefore not be taken as constituting a…
We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent…
In this paper, we establish a common fixed point theorem for two pairs of occasionally weakly compatible single and set-valued maps satisfying a strict contractive condition in a metric space. Our result extends many results existing in the…
In this article, we introduce the LR-$(\delta,\phi)$ quasi partial $b$-metric space. Also, the common fixed point theorem on complete LR-$(\delta,\phi)$ quasi partial $b$-metric space has been proved. A non-trivial example is also given.
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…
Proving program termination is typically done by finding a well-founded ranking function for the program states. Existing termination provers typically find ranking functions using either linear algebra or templates. As such they are often…
The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb…
In [V. M. Abramov, \emph{Bull. Aust. Math. Soc.} \textbf{104} (2021), 108--117] the fixed point equation for an infinite nonnegative Toeplitz matrix has been studied. It was found the conditions for existence of a positive solution and…
We define rewinding operators that invert quantum measurements. Then, we define complexity classes ${\sf RwBQP}$, ${\sf CBQP}$, and ${\sf AdPostBQP}$ as sets of decision problems solvable by polynomial-size quantum circuits with a…
Recently, it has been proven [R. Soc. Open Sci. 1 (2014) 140124] that the continuous wavelet transform with non-admissible kernels (approximate wavelets) allows for an existence of the exact inverse transform. Here we consider the…
Three central results in economic theory --- Brouwer's fixed-point theorem, Sperner's lemma, and the Knaster-Kuratowski-Mazurkiewicz (KKM) lemma --- are known to be equivalent. In almost all cases, elementary direct proofs of one of these…
The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An…
We construct an indecomposable continuum with exactly one strong non-cut point. The method is an adaptation of Bellamy $[1]$. We start with an $\omega_1$-chain of indecomposable metric continua and retractions. The inverse limit is an…
We describe how traceless projection of tensors of a given rank can be constructed in a closed form. On the way to this goal we invoke the representation theory of the Brauer algebra and the related Schur-Weyl dualities. The resulting…
The non-convex quadratic orogramming problem and the non-monotone linear complementarity problem are NP-complete problems. In this paper we first show taht the inverse problem of determinning a KKT point of the non-convex quadratic…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
The Lyapunov equation is the gateway drug of nonlinear control theory. In these notes we revisit an elegant statement connecting the concepts of asymptotic stability and observability, to the solvability of Lyapunov equations, and discuss…
We have constructed a concrete example of a non-factorable positive operator. As a result, for the well-known problems (Ringrose, Kadison and Singer problems) we replace existence theorems by concrete examples.