No Arabic abstract
We consider decoupling for a fractal subset of the parabola. We reduce studying $l^{2}L^{p}$ decoupling for a fractal subset on the parabola ${(t, t^2) : 0 leq t leq 1}$ to studying $l^{2}L^{p/3}$ decoupling for the projection of this subset to the interval $[0, 1]$. This generalizes the decoupling theorem of Bourgain-Demeter in the case of the parabola. Due to the sparsity and fractal like structure, this allows us to improve upon Bourgain-Demeters decoupling theorem for the parabola. In the case when $p/3$ is an even integer we derive theoretical and computational tools to explicitly compute the associated decoupling constant for this projection to $[0, 1]$. Our ideas are inspired by the recent work on ellipsephic sets by Biggs using nested efficient congruencing.
We prove sharp $ell^q L^p$ decoupling inequalities for arbitrary tuples of quadratic forms. Our argument is based on scale-dependent Brascamp-Lieb inequalities.
We prove sparse bounds for the spherical maximal operator of Magyar, Stein and Wainger. The bounds are conjecturally sharp, and contain an endpoint estimate. The new method of proof is inspired by ones by Bourgain and Ionescu, is very efficient, and has not been used in the proof of sparse bounds before. The Hardy-Littlewood Circle method is used to decompose the multiplier into major and minor arc components. The efficiency arises as one only needs a single estimate on each element of the decomposition.
Using the wavelet theory introduced by the author and J. Benedetto, we present examples of wavelets on p-adic fields and other locally compact abelian groups with compact open subgroups. We observe that in this setting, the Haar and Shannon wavelets (which are at opposite extremes over the real numbers) coincide and are localized both in time and in frequency. We also study the behavior of the translation operators required in the theory.
We prove that a sufficiently large subset of the $d$-dimensional vector space over a finite field with $q$ elements, $ {Bbb F}_q^d$, contains a copy of every $k$-simplex. Fourier analytic methods, Kloosterman sums, and bootstrapping play an important role.
Applying the theory of elliptic functions we establish two Jacobi theta function identities. From these identities we confirm two q-trigonometric identities conjectured by Gosper. As an application, we give a new and simple proof of a Pi_{q}-identity of Gosper.