Related papers: $(n,k)$-Besicovitch sets do not exist in $\mathbb{…

We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree greater than or equal to 2 (generalising the earlier version math.DS/0701382).

In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every…

Here is an example of a plane set of vanishing area and consisting of line-segments whose directions cover an angle : let E be a Cantor set of dissection ratio 1/4 (therefore dimension 1/2) carried by the horizontal axis and E' the image of…

Modifying Besicovitch's construction of a set $\mathcal{B}$ of positive integers whose set of multiples $\mathcal{M}_{\mathcal{B}}$ has no asymptotic density, we provide examples of such sets $\mathcal{B}$ for which…

We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the…

We show that a typical Besicovitch set $B$ has intersections of measure zero with every line not contained in it. Moreover, every line in $B$ intersects the union of all the other lines in $B$ in a set of measure zero.

In a recent paper of Ellenberg, Oberlin, and Tao, the authors asked whether there are Besicovitch phenomena in F_q[[t]]^n. In this paper, we answer their question in the affirmative by explicitly constructing a Kakeya set in F_q[[t]]^n of…

On a real ($\mathbb F=\mathbb R$) or complex ($\mathbb F=\mathbb C$) analytic connected 2-manifold $M$ with empty boundary consider two vector fields $X,Y$. We say that $Y$ {\it tracks} $X$ if $[Y,X]=fX$ for some continuous function…

On a convex bounded open set, we prove that Poincar\'e-Sobolev constants for functions vanishing at the boundary can be bounded from below in terms of the norm of the distance function in a suitable Lebesgue space. This generalizes a result…

Assume M is a 3-dimensional real manifold without boundary, A is an abelian Lie algebra of analytic vector fields on M, and X is an element of A. The following result is proved: If K is a locally maximal compact set of zeroes of X and the…

We construct mesures supported on a compact subset E of the real line having zero principal value of their Cauchy integral a.e. on E with respect to Lebesgue measure and having singular components. E is sufficiently regular (Widom property…

A two-dimensional Besicovitch set over a finite field is a subset of the finite plane containing a line in each direction. In this paper, we conjecture a sharp lower bound for the size of such a subset and prove some results toward this…

In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…

Let $\mathfrak g$ be an affine Lie algebra with index set $I = \{0, 1, 2, \cdots , n\}$ and ${\mathfrak g}^L$ be its Langlands dual. It is conjectured by Kashiwara et al.([16]) that for each $k \in I \setminus \{0\}$ the affine Lie algebra…

Let $K$ be a maximal lattice-free set in $\mathbb{R}^d$, that is, $K$ is convex and closed subset of $\mathbb{R}^d$, the interior of $K$ does not cointain points of $\mathbb{Z}^d$ and $K$ is inclusion-maximal with respect to the above…

The notions of infimum and maximal lower bounds of a set $\mathfrak M$ of bounded self-adjoint operators were mainly studied for a set $\mathfrak M$ of two elements. The present paper deals with more general sets $\mathfrak M$, where it is…

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…

Let $B(2d-1, d)$ be the subgraph of the hypercube $\mathcal{Q}_{2d-1}$ induced by its two largest layers. Duffus, Frankl and R\"odl proposed the problem of finding the asymptotics for the logarithm of the number of maximal independent sets…

A (d,k) set is a subset of R^d containing a translate of every k-dimensional plane. Bourgain showed that for 2^{k-1}+k \geq d, every (d,k) set has positive Lebesgue measure. We give an L^p bound for the corresponding maximal operator.

We show that for every ordinal $\alpha \in [1, \omega_1)$ there is a closed set $F \subset 2^\omega \times \omega^\omega$ such that for every $x \in 2^\omega$ the section $\{y\in \omega^\omega; (x,y) \in F\}$ is a two-point set and $F$…