Related papers: A note on antichains in the continuous cube
We prove that for all $s\in(0,d)$ and $c\in (0,1)$ there exists a self-similar set $E\subset \mathbb{R}^d$ with Hausdorff dimension $s$ such that $\mathcal{H}^s(E)=c|E|^s$. This answers a question raised by Zhiying Wen[16].
Davies and Rogers constructed a Hausdorff measure satisfying the following property: every Borel subset of the space has measure either $\infty$ or $0$. In this paper, we examine cardinal invariants of their measure.
We fix a positive integer $M$, and we consider expansions in arbitrary real bases $q>1$ over the alphabet $\{0,1,...,M\}$. We denote by $U_q$ the set of real numbers having a unique expansion. Completing many former investigations, we give…
By studying the n-dimensional cube, the author finds a new way, and use it to proves that the indefinite equation $x^n+y^n=z^n(n=>3)$ has no any solutions of positive integers.
Let $P$ be a partial order on $[n] = \{1,2,\ldots,n\}$, $\mathbb{F}_{q}^n$ be the linear space of $n$-tuples over a finite field $\mathbb{F}_{q}$ and $w$ be a weight on $\mathbb{F}_{q}$. In this paper, we consider metrics on…
In a previous work we proved that if a finite Borel measure $\mu$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is…
In 2010, Matom\"{a}ki investigated the set of $A>1$ such that the integer part of $ A^{c^k} $ is a prime number for every $k\in \mathbb{N}$, where $c\geq 2$ is any fixed real number. She proved that the set is uncountable, nowhere dense,…
The classical Cantor's intersection theorem states that in a complete metric space $X$, intersection of every decreasing sequence of nonempty closed bounded subsets, with diameter approaches zero, has exactly one point. In this article, we…
Consider a nontrivial solution to a semilinear elliptic system of first order with smooth coefficients defined over an $n$-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of…
The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $n-M(k,g).$ A $(k,g)$-cage is a $(k,g)$-graph with the…
The width of a poset is the size of its largest antichain. Sperner's theorem states that $(2^{[n]},\subset)$ is a poset whose width equals the size of its largest layer. We show that Hamming ball posets also have this property. This extends…
In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has…
We give several characteristic properties of FAC spaces, namely topological spaces with no infinite discrete subspace. The first one was obtained in 2019 by the first author, and states that every closed set is a finite union of irreducible…
We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we…
The classical Hausdorff dimension of finite or countable sets is zero. We define an analog for finite sets, called finite Hausdorff dimension which is non-trivial. It turns out that a finite bound for the finite Hausdorff dimension…
In this article we prove the existence of sets $E \subseteq \mathbb{R}$ of zero Fourier dimension such that it is possible to restrict the Fourier transform to $E$ on a certain non-trivial range $[1,\tilde{p})$ with $1<\tilde{p}<2$. This…
Infinite antichains of permutations have long been used to construct interesting permutation classes and counterexamples. We prove the existence and detail the construction of infinite antichains with arbitrarily large growth rates. As a…
We extend the main result of Harrow, Kolla, and Schulman -- the existence of dimension-free $L^2$-bounds for the spherical maximal function in the hypercube -- to all $L^p, p > 1$. Our approach is motivated by the spectral technique…
Given a sequence of real numbers $\{\psi(n)\}_{n\in\mathbb{N}}$ with $0\leq \psi(n)<1$, let $W(\psi)$ denote the set of $x\in[0,1]$ for which $|xn-m|<\psi(n)$ for infinitely many coprime pairs $(n,m)\in\mathbb{N}\times\mathbb{Z}$. The…
In this paper, we improve the results in the author's previous paper \cite{Usu22}, which deals with the quantitative problem on Littlewood's conjecture. We show that, for any $0<\gamma<1$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set…