相关论文: A continuous analogue of Erd\H{o}s' $k$-Sperner th…

We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a…

Let $\mathbf{A}=\{A_i\}_{i=1}^{\infty}$ be a sequence of sets with each $A_i$ being a non-empty collection of $0$-$1$ sequences of length $i$. For $x\in [0,1)$, the maximal run-length function $\ell_n(x,\mathbf{A})$ (with respect to…

We say that $E$ is a microset of the compact set $K\subset \mathbb{R}^d$ if there exist sequences $\lambda_n\geq 1$ and $u_n\in \mathbb{R}^d$ such that $(\lambda_n K + u_n ) \cap [0,1]^d$ converges to $E$ in the Hausdorff metric, and…

We investigate gaps of $n$-term arithmetic progressions $x, x+y, \ldots, x+(n-1)y$ inside a positive measure subset $A$ of the unit cube $[0,1]^d$. If lengths of their gaps $y$ are evaluated in the $\ell^p$-norm for any $p$ other than $1,…

Let $B$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The self-affine set $K=K(B,\mathcal{D})$ is the unique compact set satisfying the set-valued equation…

The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…

In this paper we consider the problem of how large the Hausdorff dimension of $E\subset\R^d$ needs to be in order to ensure that the radii set of $(d-1)$-dimensional spheres determined by $E$ has positive Lebesgue measure. We also study the…

In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the…

A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erd\H{o}s and…

We address Steinerberger's Wasserstein transport problem on the cube $Q=[0,1]^d$. For every $d\ge2$, we consider a dyadic digital sequence $(x_n)\subset Q$ and prove that every prefix $\{x_1,\dots,x_N\}$ admits an exact equal-mass transport…

In this paper, we introduce new general frameworks for estimating the maximal dimension of Hilbert cubes contained in finite truncations of arbitrary sets. As applications, we investigate Hilbert cubes in a range of arithmetic sets,…

We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$-dimensional cube by a Lipschitz map. We also show that…

Let $\mathcal{A}$ and $\mathcal{B}$ be unital finite-dimensional complex algebras, each equipped with the unique Hausdorff vector topology. Denote by $\mathrm{Max}(\mathcal{A})=\{\mathcal{M}_1, \ldots, \mathcal{M}_p\}$ and…

We study some variants of the Erd\H{o}s similarity problem. We pose the question if every measurable subset of the real line with positive measure contains a similar copy of an infinite geometric progression. We construct a compact subset…

We show that the Continuum Hypothesis implies that for every $0<d_1\leq d_2<n$ the measure spaces $(\RR^n,\iM_{\iH^{d_1}},\iH^{d_1})$ and $(\RR^n,\iM_{\iH^{d_2}},\iH^{d_2})$ are isomorphic, where $\iH^d$ is $d$-dimensional Hausdorff measure…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…

For a closed subset $K$ of a compact metric space $A$ possessing an $\alpha$-regular measure $\mu$ with $\mu(K)>0$, we prove that whenever $s>\alpha$, any sequence of weighted minimal Riesz $s$-energy configurations…

Suppose that $G$ is a compact Hausdorff Abelian group. We say $\mu \in M(G)$ is strongly continuous if $|\mu|(x+H)=0$ for any $x \in G$ and any $H \leq G$ that is closed and of infinite index. We prove that for any sufficiently rapidly…

We study problems on covering $[0,1)$ by shrinking intervals centered at the points $\{q_n x\}$, where $(q_n)_{n\in \mathbb{N}}$ is a given real-valued sequence and $x \in [0,1)$ is random. For real-valued lacunary sequences…

Let $\cS_n(\psi_1,...,\psi_n)$ denote the set of simultaneously $(\psi_1,...,\psi_n)$--approximable points in $\R^n$ and $\cSM_n(\psi)$ denote the set of multiplicatively $\psi$--approximable points in $\R^n$. Let $\cM$ be a manifold in…