Related papers: Effective zero-dimensionality for computable metri…
We initiate the rigorous study of classification in semimetric spaces, which are point sets with a distance function that is non-negative and symmetric, but need not satisfy the triangle inequality. For metric spaces, the doubling dimension…
We study the closure of the convex hull of a compact set in a complete CAT(0) space. First we give characterization results in terms of compact sets and the closure of their convex hulls for locally compact CAT(0) spaces that are either…
Considering a spacetime foliated by co-dimension-2 hypersurfaces, we find the conditions under which lower-dimensional symmetries of a base space can be lifted up to irreducible Killing tensors of the full spacetime. In this construction,…
We demonstrate that there is a large class of compact metric spaces for which the shadowing property can be characterized as a structural property of the space of dynamical systems. We also demonstrate for this class of spaces, that in…
The aim of this paper is to introduce the concept of Delta-Compact spaces along with some basic properties of it. Here, we try to establish the behavior of Delta-Compact spaces under the continuous mapping. Finally, we define another…
We propose quantum-mechanical systems in which the number of spatial dimensions is promoted to a dynamical quantum variable, making the effective dimension state-dependent. Interestingly, systems of this form can exhibit enhanced symmetries…
We consider a theory of scalar QED on a spatially compact 1+1-dimensional spacetime. By considering a constant electric field pointing down the compact dimension, we compute the quantum effective action by integrating out the scalar degrees…
A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of…
Let $T$ be a topological space admitting a compatible proper metric, that is, a locally compact, separable and metrisable space. Let $\mathcal{M}^T$ be the non-empty set of all proper metrics $d$ on $T$ compatible with its topology, and…
We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological…
A study of zero-dimensional theories, based on exact results, is presented. First, relying on a simple diagrammatic representation of the theory, equations involving the generating function of all connected Green's functions are…
We prove that for a compact metric space the property of having finite covering dimension is equivalent to the existence of a total order with finite snake number.
Polynomial approximations of functions are widely used in scientific computing. In certain applications, it is often desired to require the polynomial approximation to be non-negative (resp. non-positive), or bounded within a given range,…
We study the process of compactification as a topology change. It is shown how the mediating spacetime topology, or cobordism, may be simplified through surgery. Within the causal Lorentzian approach to quantum gravity, it is shown that any…
We apply the techniques of computable model theory to the distance function of a graph. This task leads us to adapt the definitions of several truth-table reducibilities so that they apply to functions as well as to sets, and we prove…
Over the past few decades, significant effort has been directed towards developing various regularized models for compact objects. Recently, a new observable-based parametrization was introduced to account for black hole deformations in a…
We show that, given a closed subset $E$ of the unit circle of Lebesgue measure zero, there exists a positive sequence $u_n\to\infty$ with the following property: if $T$ is a Hilbert-space contraction such that $\sigma(T)\subset E$ and…
In this article, we introduce the concept of lexicographic metric space and, after discussing some basic properties of these metric spaces, such as completeness, boundedness, compactness and separability, we obtain a formula for the metric…
In this work, we propose a convenient framework for infinite-dimensional analysis (including both real and complex analysis in infinite dimensions), in which differentiation (in some weak sense) and integration operations can be easily…
For complete affine manifolds we introduce a definition of compactification based on the projective differential geometry (i.e.\ geodesic path data) of the given connection. The definition of projective compactness involves a real parameter…