Related papers: Topological Test Spaces
We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding…
The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…
We define a class of stochastic processes based on evolutions and measurements of quantum systems, and consider the complexity of predicting their long-term behavior. It is shown that a very general class of decision problems regarding…
We show that if there exists a topologically expansive homeomorphism on a uniform space, then the space is always a regular space. Through examples we show that in general composition of topologically expansive homeomorphisms need not be…
There exists a physically well motivated method for approximating manifolds by certain topological spaces with a finite or a countable set of points. These spaces, which are partially ordered sets (posets) have the power to effectively…
Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the…
A construction of the noncommutative-geometric counterparts of classical classifying spaces is presented, for general compact matrix quantum structure groups. A quantum analogue of the classical concept of the classifying map is introduced…
It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.
Quantum physics has intrigued scientists and philosophers alike, because it challenges our notions of reality and locality--concepts that we have grown to rely on in our macroscopic world. It is an intriguing open question whether the…
In spacetime physics, we frequently need to consider a set of all spaces (`universes') as a whole. In particular, the concept of `closeness' between spaces is essential. However, there has been no established mathematical theory so far…
In this survey article, given a smooth closed manifold M we study the space of Riemannian metrics of positive scalar curvature on M. A long-standing question is: when is this space non-empty (i.e. when does M admit a metric of positive…
Causal quantum theory assumes that measurements or collapses are well-defined physical processes, localised in space-time, and never give perfectly reliable outcomes and that the outcome of one measurement only influences the outcomes of…
We find universal spaces for Alexandroff and finite spaces and explore some of its topological properties as well as their description as inverse limits of finite spaces and Alexandroff extensions. They can be used as a natural environment…
In this work we provide a way to introduce a probability measure on the space of minimal fillings of finite additive metric spaces as well as an algorithm for its computation. The values of probability, got from the analytical solution,…
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…
In this article we extend the notion of metric measure spaces to so-called metric two-level measure spaces (m2m spaces): An m2m space $(X, r, \nu)$ is a Polish metric space $(X, r)$ equipped with a two-level measure $\nu \in…
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…
We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…