Related papers: A precise proof of the n-variable Bekic principle

We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…

This paper deals with two main topics related to Diophantine approximation. Firstly, we show that if a point on an algebraic variety is approximable by rational vectors to a sufficiently large degree, the approximating vectors must lie in…

We establish three major fixed-point theorems for functions satisfying an odd power type contractive condition in G-metric spaces. We first consider the case of a single mapping, followed by that of a triplet of mappings and we conclude by…

Given a finite typed rooted tree $T$ with $n$ vertices, the {\em empirical subtree measure} is the uniform measure on the $n$ typed subtrees of $T$ formed by taking all descendants of a single vertex. We prove a large deviation principle in…

The fixed point results for generalized Pre\v{s}i\'c type mappings in the setup of $b$-metric spaces are obtained. The stability of fixed point set of Pre\v{s}i\'c type mappings is also established. Several examples are also presented to…

We provide a bijective proof of a formula of Auli and the author expressing the number of inversion sequences with no three consecutive equal entries in terms of the number of non-derangements, that is, permutations with fixed points.…

We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

We provide a simple proof of a result, due to G. Alberti, concerning a rank-one property for the singular part of the derivative of vector-valued functions of bounded variation.

A set of points a 1 ,. .. , a n fixes a planar convex body K if the points are on bdK, the boundary of K, and if any small move of K brings some point of the set in intK, the interior of K. The points a 1 ,. .. , a n $\in$ bdK almost fix K…

We provide a direct and elementary proof for the fact that every four point metric space is positive definite, which was first proved by Meckes based on some embedding theorems of metric spaces. As an outcome of the direct proof, we also…

We show that, for a class of locally solid topologies on vector lattices, a topologically convergent net has an embedded sequence that is unbounded order convergent to the same limit. Our result implies, and often improves, many of the…

Word embedding is a powerful tool in natural language processing. In this paper we consider the problem of word embedding composition \--- given vector representations of two words, compute a vector for the entire phrase. We give a…

In this short note we prove a result that is an extension of an old Olympiad problem and is a very simple variant of the question of finding an approximation for $k$, where it is a nonzero constant and it satisfies the equation $a^k+b^k=c$,…

The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We…

Ball's complex plank theorem states that if $v_1,\dots,v_n$ are unit vectors in $\mathbb{C}^d$, and $t_1,\dots,t_n$, non-negative numbers satisfying $\sum_{k=1}^nt_k^2 = 1,$ then there exists a unit vector $v$ in $\mathbb{C}^d$ for which…

Let $(E,\xi)={\rm ind}(E_n, \xi_n)$ be an inductive limit of a sequence $(E_n, \xi_n)_{n\in N}$ of locally convex spaces and let every step $(E_n, \xi_n)$ be endowed with a partial order by a pointed convex (solid) cone $S_n$. In the…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

In this note we present variants of Kostov's theorem on a versal deformation of a parabolic point of a complex analytic $1$-dimensional vector field. First we provide a self-contained proof of Kostov's theorem, together with a proof that…

In this article, we prove some fixed point theorems in metric type spaces. This article is just a generalization some results previously proved in \cite{niyi-gaba}. In particular, we give some coupled common fixed points theorems under weak…