Related papers: On the incomputability of computable dimension
We explore several concepts for analyzing the intuitive notion of computational irreducibility and we propose a robust formal definition, first in the field of cellular automata and then in the general field of any computable function f…
Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension…
Following in the footsteps of P. Erd\H{o}s and A. R\'enyi we compute the Hausdorff dimension of sets of numbers whose digits with respect to their $Q$-Cantor series expansions satisfy various statistical properties. In particular, we…
The Hausdorff-Alexandroff Theorem states that any compact metric space is the continuous image of Cantor's ternary set $C$. It is well known that there are compact Hausdorff spaces of cardinality equal to that of $C$ that are not continuous…
We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More precisely, we consider the limit set of a typical orbit,…
We introduce and study bi-Lipschitz-invariant dimensions that range between the box and Assouad dimensions. The quasi-Assouad dimensions and $\theta$-spectrum are other special examples of these intermediate dimensions. These dimensions are…
For coprime dimension vectors certain torus fixed points of the Kronecker moduli space are indecomposable tree modules. They are indecomposable representations of the regular m-tree and can be glued in order to get stable torus fixed point…
It is shown that the algebraic structure of finite Heisenberg groups associated with the tensor product of two Hilbert spaces leads to a simple demonstration valid in all Hilbert space dimensions of the impossibility of non-contextual…
In this article, we further develop the thermodynamic formalism of affine iterated function systems with countably many transformations by showing the existence and extending earlier characterisations of the equilibrium states of finite…
By making use of the classification of real simple Lie algebra, we get the maximum of the squared length of restricted roots case by case, thus we get the upper bounds of sectional curvature for irreducible Riemannian symmetric spaces of…
We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work…
Near-vector spaces extend linear algebra tools to non-linear algebraic structures, enabling the study of non-linear problems. However, explicit constructions remain rare. This paper introduces a broad computable family of near-vector…
Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.
We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…
In this paper we show that any irreducible finite dimensional representation of $SL_{n+1}$ remains indecomposable if restricted to n--dimensional abelian subalgebras spanned by simple root vectors.
The almost sure Hausdorff dimension of the limsup set of randomly distributed rectangles in a product of Ahlfors regular metric spaces is computed in terms of the singular value function of the rectangles.
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
We consider measures which are invariant under a measurable iterated function system with positive, place-dependent probabilities in a separable metric space. We provide an upper bound of the Hausdorff dimension of such a measure if it is…
We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindel\"of topology can be partitioned into two bases while there exists a consistent…
Local solvability is analyzed for natural families of partial differential operators having double characteristics. In some families the set of all operators that are not locally solvable is shown to have both infinite dimension and…