Related papers: Hausdorff dimension and countable Borel equivalenc…

Let $X = G/\Gamma$ be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup $F$ of $G$ that is $\operatorname{Ad}$-diagonalizable over $\mathbb{C}$ and whose action on $(X,m_X)$ is mixing. In this…

Let $E\subset [0,1]$ be a set that supports a probability measure $\mu$ with the property that $|\widehat{\mu}(t)|\ll (\log |t|)^{-A}$ for some constant $A>2.$ Let $\mathcal{A}=(q_n)_{n\in \N}$ be a positive, real-valued, lacunary sequence.…

This paper contains new results on two classical topics in fractal geometry: projections, and intersections with affine planes. To keep the notation of the abstract simple, we restrict the discussion to the planar cases of our theorems. Our…

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

We prove that: 1. If a Hausdorff M-space is a continuous closed image of a submetrizable space, then it is metrizable. 2. A dense-in-itself open-closed image of a submetrizable space is submetrizable if and only if it is functionally…

Given a compact basic semi-algebraic set we provide a numerical scheme to approximate as closely as desired, any finite number of moments of the Hausdorff measure on the boundary of this set. This also allows one to approximate interesting…

For a compact connected set $X\subseteq \ell^{\infty}$, we define a quantity $\beta'(x,r)$ that measures how close $X$ may be approximated in a ball $B(x,r)$ by a geodesic curve. We then show there is $c>0$ so that if $\beta'(x,r)>\beta>0$…

In this paper we study the following set\[A=\{p(n)+2^nd \mod 1: n\geq 1\}\subset [0.1],\] where $p$ is a polynomial with at least one irrational coefficient on non constant terms, $d$ is any real number and for $a\in [0,\infty)$, $a \mod 1$…

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E…

We carry on an analysis of the size of the contact surface of a Cheeger set $E$ with the boundary of its ambient space $\Omega$. We show that this size is strongly related to the regularity of $\partial \Omega$ by providing bounds on the…

For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through…

It is well-known that an antichain in the poset $[0,1]^n$ must have measure zero. Engel, Mitsis, Pelekis and Reiher showed that in fact it must have $(n-1)$-dimensional Hausdorff measure at most $n$, and they conjectured that this bound can…

We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the…

Given a non-cyclic simple dimension group D and a subgroup E of Q/Z, we produce a minimal \'etale equivalence relation R such that H_0(\R) is isomorphic to D \oplus E, where H_0(R) denotes the zeroth homology group of R. The equivalence…

Hereditary algebras are quasi-hereditary with respect to any adapted partial order on the indexing set of the isomorphism classes of their simple modules. For any adapted partial order on $\{1,\dots, n\}$, we compute the quiver and…

In this article, we show that in a $Q$-doubling space $(X,d,\mu),$ $Q>1,$ that supports a $Q$-Poincar\'e inequality and satisfies a chain condition, sets of $Q$-capacity zero have generalized Hausdorff $h$-measure zero for…

The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with…

We make progress on two interrelated problems at the intersection of geometric measure theory, additive combinatorics and harmonic analysis: the discretised sum-product problem, and the dimension of Furstenberg sets. Along the way, we…

If the system S of contracting similitudes on $ R^2$ satisfies open convex set condition, then the set F of extreme points of the convex hull $\tilde{K}$ of it's invariant self-similar set K has Hausdorff dimension 0 . If, additionally, all…

If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.