Related papers: Constructive Dimension and Turing Degrees

Given a finite set $\mathcal{A} \subseteq \mathrm{SL}(2,\mathbb{R})$ we study the dimension of the attractor $K_\mathcal{A}$ of the iterated function system induced by the projective action of $\mathcal{A}$. In particular, we generalise a…

Random code-trees with necks were introduced recently to generalise the notion of $V$-variable and random homogeneous sets. While it is known that the Hausdorff and packing dimensions coincide irrespective of overlaps, their exact Hausdorff…

Let $X$ be a metric measure space with an $s$-regular measure $\mu$. We prove that if $A\subset X$ is $\varrho$-porous, then $\dim_{\mathrm{p}}(A)\le s-c\varrho^s$ where $\dim_{\mathrm{p}}$ is the packing dimension and $c$ is a positive…

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that,…

We give a simple criterion on the set of probability tangent measures $\mathrm{Tan}(\mu,x)$ of a positive Radon measure $\mu$, which yields lower bounds on the Hausdorff dimension of $\mu$. As an application, we give an elementary and…

Hausdorff dimension results are a classical topic in the study of path properties of random fields. This article presents an alternative approach to Hausdorff dimension results for the sample functions of a large class of self-affine random…

Projective Norms are a class of tensor norms that map on the input and output spaces. These norms are useful for providing a measure of entanglement. Calculating the projective norms is an NP-hard problem, which creates challenges in…

We prove that the extrinsic Hausdorff dimension is always greater than or equal to the intrinsic Hausdorff dimension in models of triangulated random surfaces with action which is quadratic in the separation of vertices. We furthermore…

We study continuity and discontinuity properties of some popular measure-dimension mappings under some topologies on the space of probability measures in this work. We give examples to show that no continuity can be guaranteed under general…

We consider the problem of digitalizing Euclidean segments. Specifically, we look for a constructive method to connect any two points in $\mathbb{Z}^d$. The construction must be {\em consistent} (that is, satisfy the natural extension of…

In this paper we derive estimates for linear potentials that hold away from thin subsets. And, inspired by the celebrated work of Huber, we verify that, for a subset that is thin at a point, there is always a geodesic that reaches to the…

Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application --…

We present a survey of the two-dimensional and tensorial structure of the lifting doctrine in constructive domain theory, i.e. in the theory of directed-complete partial orders (dcpos) over an arbitrary elementary topos. We establish the…

Complexity measures are designed to capture complex behavior and quantify *how* complex, according to that measure, that particular behavior is. It can be expected that different complexity measures from possibly entirely different fields…

We are interested in situations where the Hausdorff measure and Hausdorff content of a set are equal in the critical dimension. Our main result shows that this equality holds for any subset of a self-similar set corresponding to a…

We investigate the influence that $s$-dimensional lower and upper Hausdorff densities have on the geometry of a Radon measure in $\mathbb{R}^n$ when $s$ is a real number between $0$ and $n$. This topic in geometric measure theory has been…

Let $X$ be a finitely generated left module over a left artinian ring $R$, and let $p(X)=\{l_i\}$ be the infinite sequence of nonnegative integers where $l_i$ is the length of the $i$-th term of the minimal projective resolution of $X$. We…

We prove that for any $E\subset{\Bbb R}^2$, $\dim_{\mathcal{H}}(E)>1$, there exists $x\in E$ such that the Hausdorff dimension of the pinned distance set $$\Delta_x(E)=\{|x-y|: y \in E\}$$ is no less than…

We present a generator of random networks where both the degree-dependent clustering coefficient and the degree distribution are tunable. Following the same philosophy as in the configuration model, the degree distribution and the…

The cookie-cutter-like set is defined as the limit set of a sequence of classical cookie-cutter mappings. For this cookie-cutter set it is shown that the topological pressure function exists, and that the fractal dimensions such as the…