Related papers: Approximating elements of the middle third Cantor …
I prove that the visible parts of a compact set in $\mathbb{R}^{n}$, $n \geq 2$, have Hausdorff dimension at most $n - \tfrac{1}{50n}$ from almost every direction.
The classical Besicovitch-Federer projection theorem implies that the d-dimensional Hausdorff measure of a set in Euclidean space with non-negligible d-unrectifiable part will strictly decrease under orthogonal projection onto almost every…
It is shown that if (X,||.||_X) is a Banach space with Rademacher type p \ge 1, then for every integer n there exists an even integer m < Cn^{2-1/p}log n (C is an absolute constant), such that for every f:Z_m^n --> X, \Avg_{x,\e}[||f(x+…
We provide an upper bound on the uniform exponent of approximation to a triple (xi, xi^2, xi^3) by rational numbers with the same denominator, valid for any transcendental real number xi. This upper bound refines a previous result of…
Let $\theta$ be an irrational number and $\varphi: {\mathbb N} \to {\mathbb R}^{+}$ be a monotone decreasing function tending to zero. Let $$E_\varphi(\theta) =\Big\{y \in \mathbb R: \|n\theta- y\|<\varphi(n), \ {\text{for infinitely…
Fix an irrational number $\theta$. For a real number $\tau >0$, consider the numbers $y$ satisfying that for all large number $Q$, there exists an integer $1\leq n\leq Q$, such that $\|n\theta-y\|<Q^{-\tau}$, where $\|\cdot\|$ is the…
We give a direct harmonic approximation lemma for local minima of quasiconvex multiple integrals that entails their $\mathrm{C}^{1,\alpha}$ or $\mathrm{C}^{\infty}$-partial regularity. Different from previous contributions, the method is…
The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the…
This paper uses W. M. Schmidt's idea formulated in 1967 to generalise the classical theory of Diophantine approximation to subspaces of $\mathbb{R}^n$. Given two subspaces of $\mathbb{R}^n$ $A$ and $B$ of respective dimensions $d$ and $e$…
We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive…
Let X be a compact Hausdorff space. Then the radius of comparison rc ( C (X)) is related to the covering dimension dim (X) by rc ( C (X)) \geq [ dim (X) - 7 ] / 2. Except for the additive constant, this improves a result of Elliott and Niu,…
We relate a previous result of ours on families of Diophantine equations having only trivial solutions with a result on the approximation of an algebraic number by products of rational numbers and units. We compare this approximation with a…
In this note, we use the mass transference principle for rectangles, recently obtained by Wang and Wu (Math. Ann., 2021), to study the Hausdorff dimension of sets of "weighted $\Psi$-well-approximable" points in certain self-similar sets in…
Let $u\not\equiv -\infty$ be a subharmonic function on the complex plane $\mathbb C$. Then for any function $r\colon\mathbb C\to (0,1]$ satisfying the condition $$\inf_{z\in\mathbb C}\frac{\ln r(z)}{\ln(2+|z|)}>-\infty,$$ there is an entire…
The family $\mathcal{P}_{d}^{\lambda_{d-1}}$ of all probability measures on $[0,1]^d$ whose $(d-1)$-dimensional marginals are all equal to the Lebesgue measure $\lambda_{d-1}$ on $[0,1]^{d-1}$ contains remarkably pathological elements:…
We develop the theory of multiresolutions in the context of Hausdorff measure of fractional dimension between 0 and 1. While our fractal wavelet theory has points of similarity that it shares with the standard case of Lebesgue measure on…
We investigate the question of how well points on a nondegenerate $k$-dimensional submanifold $M \subseteq \mathbb R^d$ can be approximated by rationals also lying on $M$, establishing an upper bound on the "intrinsic Dirichlet exponent"…
We prove that there exist arbitrarily small positive real numbers $\epsilon$ such that every integral power $(1 + \vepsilon)^n$ is at a distance greater than $2^{-17} \epsilon |\log \vepsilon|^{-1}$ to the set of rational integers. This is…
Generalizing results of J\'onsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The notion of a pair below the identity element is readily…
Let $X = G/\Gamma$, where $G$ is a Lie group and $\Gamma$ is a lattice in $G$, and let $U$ be a subset of $X$ whose complement is compact. We use the exponential mixing results for diagonalizable flows on $X$ to give upper estimates for the…