Related papers: A characterisation of probabilistic metrizability …
The strong shape category of compact metrizable spaces (compacta) is very well-studied; extending it to noncompact spaces, however, introduces computational complexity that makes it hard to work with. The fine shape category, as defined by…
We consider a class of graphs subject to certain restrictions, including the finiteness of diameters. Any surjective mapping $\phi:\Gamma\to\Gamma'$ between graphs from this class is shown to be an isomorphism provided that the following…
We analyse the structure of the quotient $\mathrm{A}_\sim(\Gamma,X,\mu)$ of the space of measure-preserving actions of a countable discrete group by the relation of weak equivalence. This space carries a natural operation of convex…
In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…
We extend a recently proposed 1-nearest-neighbor based multiclass learning algorithm and prove that our modification is universally strongly Bayes-consistent in all metric spaces admitting any such learner, making it an "optimistically…
Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…
Adaptive estimation of linear functionals over a collection of parameter spaces is considered. A between-class modulus of continuity, a geometric quantity, is shown to be instrumental in characterizing the degree of adaptability over two…
We construct a factorization of the Giry monad through the category of convex spaces, and show that, provided that no measurable cardinals exist, probability measures can be viewed as natural transformations. Using the adjunction of this…
In this paper we extend to two-dimensional data two recently introduced one-dimensional compressibility measures: the $\gamma$ measure defined in terms of the smallest string attractor, and the $\delta$ measure defined in terms of the…
The countable uniform power (or uniform box product) of a uniform space $X$ is a special topology on ${}^{\omega}X$ that lies between the Tychonoff topology and the box topology. We solve an open problem posed by P. Nyikos showing that if…
Let $\Gamma$ be a countable discrete group, $H$ a lcsc totally disconnected group and $\rho : \Gamma \rightarrow H$ a homomorphism with dense image. We develop a general and explicit technique which provides, for every compact open subgroup…
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…
We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In…
In this article we introduce and study a natural form of expansivity, that we call \textit{metric-independent expansiveness}, for group actions on metrizable spaces. This notion means \textit{expansive with respect to every compatible…
The problem of optimizing over random structures emerges in many areas of science and engineering, ranging from statistical physics to machine learning and artificial intelligence. For many such structures finding optimal solutions by means…
Bump hunting deals with finding in sample spaces meaningful data subsets known as bumps. These have traditionally been conceived as modal or concave regions in the graph of the underlying density function. We define an abstract bump…
In this paper, the development of a mathematical method is presented to explore spatially non-uniform phases with no long-range order in mathematical models of first order phase transitions. We use essential results regarding the…
The Giry monad on the category of measurable spaces sends a space to a space of all probability measures on it. There is also a finitely additive Giry monad in which probability measures are replaced by finitely additive probability…
We consider the numbers of positive and negative eigenvalues of matrices of squared distances between randomly sampled i.i.d. points in a given metric measure space. These numbers and their limits, as the number of points grows, in fact…