Related papers: Lacunarity, Kakeya-type sets and directional maxim…
We prove that the maximal operator obtained by taking averages at scale 1 along $N$ arbitrary directions on the sphere, is bounded in $L^2(\R^3)$ by $N^{1/4}{\log N}$. When the directions are $N^{-1/2}$ separated, we improve the bound to…
The dimension of Kakeya sets can be bounded using sum-difference exponents $\SD(R;s)$ for various sets of rational slopes $R$ and output slope $s$; the arithmetic Kakeya conjecture, which implies the Kakeya conjecture in all dimensions,…
We prove that the lacunary spherical maximal operator, defined on the $n$-dimensional real hyperbolic space, is bounded on $L^p(\mathbb{H}^n)$ for all $n\ge2$ and $1<p\le\infty$. In particular, the lacunary set is significantly larger than…
We study maximal averages associated with singular measures on $\rr$. Our main result is a construction of singular Cantor-type measures supported on sets of Hausdorff dimension $1 - \epsilon$, $0 \leq \epsilon < {1/3}$ for which the…
A Kakeya set is a compact subset of $\mathbb{R}^n$ that contains a unit line segment pointing in every direction. The Kakeya conjecture asserts that such sets must have Hausdorff and Minkowski dimension $n$. There is a special class of…
We study Kakeya maximal operators associated with horizontal lines in finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. For the operator parameterized only by projective horizontal directions, we show that projection to $\mathbb…
A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this…
It is shown that $SL_2$ Besicovitch sets of measure zero exist in $\mathbb{R}^3$. The proof is constructive and uses point-line duality analogously to Kahane's construction of measure zero Besicovitch sets in the plane. A corollary is that…
Collective versions of order convergences and corresponding types of collectively qualified sets of operators in vector lattices are investigated. It is proved that collectively order to norm bounded sets are bounded in the operator norm…
In this paper, we study some new examples of ideals on $\omega$ with maximal Tukey type (that is, maximal among partial orders of size continuum). This discussion segues into an examination of a refinement of the Tukey order -- known as the…
We study the planar Nikod\'ym maximal operator $\mathcal{N}_{\Theta;\delta}$ associated to a direction set $\Theta \subset \mathbb{S}^{1}$. We show that the quasi-Assouad dimension $s := \dim_{\mathrm{qA}} \Theta$ characterises the…
This thesis is a study of large sets of unit vectors in $\cx^n$ such that the absolute value of their standard inner products takes on only a small number of values. We begin with bounds: what is the maximal size of a set of lines with only…
Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a…
We show that, for a fixed order $\gamma\geq 1$, each local minimizer of a rather general nonsmooth optimization problem in Euclidean spaces is either M-stationary in the classical sense (corresponding to stationarity of order $1$),…
We define the quantile set of order $\alpha \in \left[ 1/2,1\right) $ associated to a law $P$ on $\mathbb{R}^{d}$ to be the collection of its directional quantiles seen from an observer $O\in \mathbb{R}^{d}$. Under minimal assumptions these…
Given a sequence of random variables $\left\{ X_k : k \geq 1\right\}$ uniformly distributed in $(0,1)$ and independent, we consider the following random sets of directions $$\Omega_{\text{rand},\text{lin}} := \left\{ \frac{\pi X_k}{k}: k…
I show that $L^{p}-L^{q}$ estimates for the Kakeya maximal function yield lower bounds for the conformal dimension of Kakeya sets, and upper bounds for how much quasisymmetries can increase the Hausdorff dimension of line segments inside…
A Kakeya set in $\mathbb{R}^n$ is a compact set that contains a unit line segment $I_e$ in each direction $e \in S^{n-1}$. The Kakeya conjecture states that any Kakeya set in $\mathbb{R}^n$ has Hausdorff dimension $n$. We consider a…
We prove new endpoint bounds for the lacunary spherical maximal operator and as a consequence obtain almost everywhere pointwise convergence of lacunary spherical means for functions locally in $L\log\log\log L(\log\log\log\log…
We obtain positive and negative results concerning lacunary discrete maximal operators defined by dilations of sufficiently nonsingular hypersurfaces arising from Diophantine equations in many variables. Our negative results show that this…