Related papers: An $L^{4/3}$ $SL_2$ Kakeya maximal inequality

The problem of finding good approximations of arbitrary 1-qubit gates is identical to that of finding a dense group generated by a universal subset of $SU(2)$ to approximate an arbitrary element of $SU(2)$. The Solovay-Kitaev Theorem is a…

We construct planar bi-Sobolev mappings whose local volume distortion is bounded from below by a given function $f\in L^p$ with $p>1$, i.e. bi-Sobolev solutions for the prescribed Jacobian inequality in the plane for right-hand sides $f\in…

We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…

Let $(X, \omega)$ be a weakly pseudoconvex K\"ahler manifold, $Y \subset X$ a closed submanifold defined by some holomorphic section of a vector bundle over $X,$ and $L$ a Hermitian line bundle satisfying certain positivity conditions. We…

In this article we consider a convex feasible set described by inequality constraints that are continuous and not necessarily Lipschitz or convex. We show that if the Slater constraint qualification and a non-degeneracy condition are…

Let $(M,g)$ be a closed Riemannian manifold of dimension $n$, and $k\geq 1$ an integer such that $n>2k$. We show that there exists $B_0>0$ such that for all $u \in H^{k}(M)$, \[\|u\|_{L^{2^\sharp}(M)}^2 \leq K_0^2 \int_M |\Delta_g^{k/2}…

We prove that for each positive integer $N$ the set of smooth, zero degree maps $\psi\colon\mathbb{S}^2\to \mathbb{S}^2$ which have the following three properties: (1) there is a unique minimizing harmonic map $u\colon \mathbb{B}^3\to…

The arithmetic Kakeya conjecture, formulated by Katz and Tao in 2002, is a statement about addition of finite sets. It is known to imply a form of the Kakeya conjecture, namely that the upper Minkowski dimension of a Besicovitch set in…

The exponential ergodicity of partially dissipative McKean-Vlasov SDEs in the \(L^1\)-Wasserstein distance has been extensively studied using asymptotic reflection coupling. However, the reflection coupling method is not applicable for the…

We study the consistency strength of Lebesgue measurability for $\Sigma^1_3$ sets over Zermelo set theory ($Z$) in a completely choiceless context. We establish a result analogous to the Solovay-Shelah theorem.

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…

The Besicovitch projection theorem states that if a subset $E$ of the plane has finite length in the sense of Hausdorff measure and is purely unrectifiable (so its intersection with any Lipschitz graph has zero length), then almost every…

We firstly describe a maximal inequality for dual Sobolev spaces W^{-1,p}. This one corresponds to a "Sobolev version" of usual properties of the Hardy-Littlewood maximal operator in Lebesgue spaces. Even in the euclidean space, this one…

We prove that the canonical sub-Laplacian on $SU(2)$ admits a uniform modified log-Sobolev inequality for all its matrix-valued functions, independent of the matrix dimension. This is the first example of sub-Laplacian that a matrix-valued…

We prove an improved spectral large sieve inequality for the family of $SL_3(\mathbb{Z})$ Hecke-Maass cusp forms. The method of proof uses duality and its structure reveals unexpected connections to Heath-Brown's large sieve for cubic…

Delaunay triangulations provide a bijection between a set of $N+3$ points in the complex plane, and the set of triangulations with given circumcircle intersection angles. The uniform Lebesgue measure on these angles translates into a…

We show that for an individual Riesz transform in the setting of doubling measures, the scalar $T1$ theorem fails when $p \neq 2$: for each $ p \in (1, \infty) \setminus \{2\}$, we construct a pair of doubling measures $(\sigma, \omega)$ on…

In the current paper we present a new proof of the small ball inequality in two dimensions. More importantly, this new argument, based on an approach inspired by lacunary Fourier series, reveals the first formal connection between this…

We prove the Kakeya set conjecture for $\mathbb{Z}/N\mathbb{Z}$ for general $N$ as stated by Hickman and Wright [HW18]. This entails extending and combining the techniques of Arsovski [Ars21a] for $N=p^k$ and the author and Dvir [DD21] for…

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by…