相关论文: A continuous analogue of Erd\H{o}s' $k$-Sperner th…
A conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…
We consider the problem of finding the maximum possible size of a family of k-dimensional subcubes of the n-cube {0,1}^{n}, none of which is contained in the union of the others. (We call such a family `irredundant'). Aharoni and Holzman…
We prove that for any given modulus of continuity {\omega} there exist (uncountably many) C1 uniformly expanding maps of the circle whose derivatives have $C^1$ as an optimal modulus of continuity and which preserve an invariant probability…
We investigate the Lebesgue measure, Hausdorff dimension, and Fourier dimension of sets of the form $RY + Z, $ where $R \subseteq (0,\infty)$ and $Y, Z \subseteq \mathbb{R}^d$. We prove a theorem on the Lebesgue measure and Hausdorff…
We study the problem of maximizing the $k$-th eigenvalue functional over the class of absolutely continuous measures on a closed Riemannian manifold of dimension $m\geq 3$. For dimensions $3 \leq m \leq 6$, we generalize the work of…
In 1992, Bollob\'as and Meir showed that for every $k \geq 1$ there exists a constant $c_k$ such that, for any $n$ points in the $k$-dimensional unit cube $[0, 1]^k$, one can find a tour $x_1, \dots, x_n$ through these $n$ points with…
It is known that any $n$-point set in the $d$-dimensional Euclidean space $\mathbb{R}^d$, for $d = O(1)$, admits: 1) a $(1+\epsilon)$-spanner with maximum degree $\tilde{O}(\epsilon^{-d+1})$ and with lightness $\tilde{O}(\epsilon^{-d})$; 2)…
We consider the minimisation of Dirichlet eigenvalues $\lambda_k$, $k \in \N$, of the Laplacian on cuboids of unit measure in $\R^3$. We prove that any sequence of optimal cuboids in $\R^3$ converges to a cube of unit measure in the sense…
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 consider exponential systems $E\left(\Lambda\right)=\left\{ e^{i\lambda t}\right\} _{\lambda\in\Lambda}$ for $\Lambda\subset\mathbb{Z}$. It has been shown by Londner and Olevskii in [9] that there exists a subset of the circle, of…
A subset $S$ of the unit sphere $\mathbb{S}^2$ is called orthogonal-pair-free if and only if there do not exist two distinct points $u, v \in S$ at distance $\frac{\pi}{2}$ from each other. Witsenhausen \cite{witsenhausen} asked the…
Methods for measuring convexity defects of compacts in R^n abound. However, none of the those measures seems to take into account continuity. Continuity in convexity measure is essential for optimization, stability analysis, global…
It has been recently understood that the harmonic measure on the boundary $E = \partial \Omega$ of a domain $\Omega$ in $\mathbb{R}^n$ is absolutely continuous with respect to the Hausdorff measure $\mathcal{H}^{n - 1}$ on $E$ if and only…
We prove that, in stable families of endomorphisms of $\mathbb{P}^k(\mathbb{C})$, all invariant measures whose measure-theoretic entropy is strictly larger than $(k-1)\log d$ at a given parameter can be followed holomorphically with the…
Let $L:[0,1]\setminus\{d\}\rightarrow [0,1]$ be a one-dimensional Lorenz like expanding map ($d$ is the point of discontinuity), $\mathcal{P}=\{ (0,d),(d,1) \}$ be a partition of $[0,1]$ and $C^{\alpha}([0,1],\mathcal{P})$ the set of…
We consider averages $\kappa$ of spectral measures of rank one perturbations with respect to a $\sigma$-finite measure $\nu$. It is examined how various degrees of continuity of $\nu$ with respect to $\alpha$-dimensional Hausdorff measures…
Yanni Chen extended the classical Beurling-Helson-Lowdenslager Theorem for Hardy spaces on the unit circle $\mathbb{T}$ defined in terms of continuous gauge norms on $L^{\infty}$ that dominate $\Vert\cdot\Vert_{1}$. We extend Chen's result…
We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…
We establish sharp bounds for the Hausdorff dimension of sets of irrational numbers in $(0,1)$ whose digits in the $N$-expansion are either uniformly bounded or tend to infinity. For sets with digits bounded by an integer $M \ge N$, we…
The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but…