Searcharxiv⌕ Search

arXiv subjects

Eyvindur Ari Palsson

Publications and source records attributed to Eyvindur Ari Palsson.

16 recordsLinked to original sources

Pinned nonempty interior and volumes of simplices

We study pinned nonempty-interior problems for scalar two-point configurations and for volumes of simplices. For $E\subset\mathbb{R}^d$, $d\geq 2$, compact and a smooth scalar configuration map $Φ(x,y)$, whose corresponding localized generalized Radon transforms are nondegenerate Fourier integral operators of smoothing order $(d-1)/2$, we first note how a calculation due to Greenleaf, Iosevich and Taylor can be used to obtain positive Lebesgue measure of $Δ_Φ^y(E)=\{Φ(x,y):x\in E\}$ for almost every pin $y$ when $\dim_{\mathcal H}(E)>(d+1)/2$. Our first main result is to prove that the corresponding one-frequency-loss estimate for differentiation in the level parameter yields a continuous pinned density, and hence nonempty interior, for almost every pin when $d\geq3$ and $\dim_{\mathcal H}(E)>(d+2)/2$. Concrete applications include generalized norm distances, regular variable-coefficient and Riemannian distances, and dot products or nondegenerate bilinear forms on regular patches. Our principal geometric application concerns volumes of simplices. We prove a cylinder-averaging estimate for triangle areas in $\mathbb{R}^d$ and obtain positive measure for doubly pinned area sets at a dimensional threshold $(d+1)/2$ and nonempty interior at $(d+2)/2$. A projection theorem then reduces higher simplex-volume problems to triangle areas. In particular, for $3\leq k \leq d$, if $\dim_{\mathcal H}(E)>(d+k-1)/2$, then for every prescribed base point $x_0$ and every prescribed second vertex $y\in E\setminus\{x_0\}$, the set of $k$-dimensional volumes generated by $x_0,y$ and $k-1$ further points of $E$ has nonempty interior. Thus the result is doubly strongly pinned in its first two vertices.

math.CA↗

On volumes of simplices in intermediate dimensions

A variant of the Falconer distance problem asks for fixed $k\geq 1$ and $d\geq k+1$, how large does the Hausdorff dimension of a Borel set $E\subset\mathbb{R}^d$ need to be to guarantee that there exist $x_0,\ldots,x_{k}\in E$ such that $\text{Vol}_{k+1}^{(x_0,\ldots,x_{k})}(E) = \lbrace \text{Vol}_{k+1}(x_0,\ldots,x_{k},x_{k+1}) : x_{k+1}\in E \rbrace$ has positive Lebesgue measure. Here $\text{Vol}_{k+1}(x_0,\ldots,x_{k},x_{k+1})$ denotes the $k+1$-volume of the $k+1$ simplex formed by $x_0,\ldots,x_{k},x_{k+1}$. Recently, Shmerkin and Yavicoli established a sharp dimensional threshold $k$ in the case when $d=k+1$. In this paper we extend their result to $k+1 \leq d \leq 2k$ and obtain a non-trivial dimensional threshold $d-k$ when $d>2k$. The result is motivated by ideas from Shmerkin and Yavicoli. A crucial part of the argument is an application of work by Bright, Ortiz and Zakharov on a continuum Beck-type theorem for hyperplanes as well as classic results of Marstrand on projections and slicing theorems. In addition, we investigate a more elementary approach under a condition called the Fubini property for Hausdorff dimension as introduced in the work of Héra, Keleti and Máthé.

math.CA↗

Sparse bounds for maximal triangle and bilinear spherical averaging operators

We show that the method in recent work of Roncal, Shrivastava, and Shuin can be adapted to show that certain $L^p$-improving bounds in the interior of the boundedness region for the bilinear spherical or triangle averaging operator imply sparse bounds for the corresponding lacunary maximal operator, and that $L^p$-improving bounds in the interior of the boundedness region for the corresponding single-scale maximal operators imply sparse bounds for the correpsonding full maximal operators. More generally we show that the framework applies for bilinear convolutions with compactly supported finite Borel measures that satisfy appropriate $L^p$-improving and continuity estimates. This shows that the method used by Roncal, Shrivastava, and Shuin can be adapted to obtain sparse bounds for a general class of bilinear operators that are not of product type, for a certain range of $L^p$ exponents.

math.CA↗

A Mattila-Sjölin theorem for simplices in low dimensions

In this paper we show that if a compact set $E \subset \mathbb{R}^d$, $d \geq 3$, has Hausdorff dimension greater than $\frac{(4k-1)}{4k}d+\frac{1}{4}$ when $3 \leq d<\frac{k(k+3)}{(k-1)}$ or $d- \frac{1}{k-1}$ when $\frac{k(k+3)}{(k-1)} \leq d$, then the set of congruence class of simplices with vertices in $E$ has nonempty interior. By set of congruence class of simplices with vertices in $E$ we mean $$Δ_{k}(E) = \left \{ \vec{t} = (t_{ij}) : |x_i-x_j|=t_{ij} ; \ x_i,x_j \in E ; \ 0\leq i < j \leq k \right \} \subset \mathbb{R}^{\frac{k(k+1)}{2}}$$ where $2 \leq k <d$. This result improves our previous work in the sense that we now can obtain a Hausdorff dimension threshold which allow us to guarantee that the set of congruence class of triangles formed by triples of points of $E$ has nonempty interior when $d=3$ as well as extending to all simplices. The present work can be thought of as an extension of the Mattila-Sjölin theorem which establishes a non-empty interior for the distance set instead of the set of congruence classes of simplices.

math.CA↗

On restricted Falconer distance sets

We introduce a class of Falconer distance problems, which we call of restricted type, lying between the classical version and its pinned variant. Prototypical restricted distance sets are the diagonal distance sets, $k$-point configuration sets given by $$Δ^{diag}(E)= \{ \,|(x,x,\dots,x)-(y_1,y_2,\dots,y_{k-1})| : x, y_1, \dots,y_{k-1} \in E\, \}$$ for a compact $E\subset\mathbb{R}^d$ and $k\ge 3$. We show that $Δ^{diag}(E)$ has non-empty interior if the Hausdorff dimension of $E$ satisfies \begin{equation*} \dim(E) > \begin{cases} \frac{2d+1}3, & k=3 \\ \frac{(k-1)d}k,& k\ge 4. \end{cases} \end{equation*} We prove an extension of this to $C^ω$ Riemannian metrics $g$ close to the product of Euclidean metrics. For product metrics this follows from known results on pinned distance sets, but to obtain a result for general perturbations $g$ we present a sequence of proofs of partial results, leading up to the proof of the full result, which is based on estimates for multilinear Fourier integral operators.

math.CA↗

A pinned Mattila-Sjölin type theorem for product sets

We generalize a result of McDonald and Taylor which concerns the size of the tuples of edge lengths in the set $C_1 \times C_2$ utilizing the notion of thickness. Specifically, we show that $C_1, C_2 \subset \mathbb{R}^d$ compact sets with thickness satisfying $τ(C_1) τ(C_2) >1$, then the edge lengths in $C_1 \times C_2$ corresponding to any pinned finite tree configuration has non-empty interior. Originally proven for Cantor sets on the real line by McDonald and Taylor, we use the notion of thickness introduced by Falconer and Yavicoli which allows us to generalize the result of McDonald and Taylor to compact sets in $\mathbb{R}^d$.

math.CA↗

A Mattila-Sjölin theorem for triangles

We show for a compact set $E \subset \mathbb{R}^d$, $d \geq 4$, that if the Hausdorff dimension of $E$ is larger than $\frac{2}{3}d+1$, then the set of congruence classes of triangles formed by triples of points of $E$ has nonempty interior. Here we understand the set of congruence classes of triangles formed by triples of points of $E$ as the set $$Δ_{\text{tri}}(E) = \left \{ (t,r, α) : |x-z|=t, |y-z|=r \, \text{ and }\, α= α(x,z,y), \ x,y,z \in E \right \},$$ where $α(x,z,y)$ denotes the angle formed by $x$, $y$ and $z$ , centered at $z$. This extends the Mattila-Sjölin theorem that establishes a non-empty interior for the distance set instead of the set of congruence classes of triangles. These theorems can be thought of as refinements and extensions of the statements in the well known Falconer distance problem.

math.CA↗

Simplex Averaging Operators: Quasi-Banach and $L^p$-Improving Bounds in Lower Dimensions

We establish some new $L^p$-improving bounds for the $k$-simplex averaging operators $S^k$ that hold in dimensions $d \geq k$. As a consequence of these $L^p$-improving bounds we obtain nontrivial bounds $S^k\colon L^{p_1}\times\cdots\times L^{p_k}\rightarrow L^r$ with $r < 1$. In particular we show that the triangle averaging operator $S^2$ maps $ L^{\frac{d+1}{d}}\times L^{\frac{d+1}{d}} \rightarrow L^{\frac{d+1}{2d}}$ in dimensions $d\geq 2$. This improves quasi-Banach bounds obtained by Palsson and Sovine and extends bounds obtained by Greenleaf, Iosevich, Krauss, and Liu for the case of $k = d = 2$.

math.CA↗

Angle chains and pinned variants

We study a variant of the Erd\H os unit distance problem, concerning angles between successive triples of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of angles $(α_1,\ldots,α_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(x_1,\dots, x_{k+2})\in E^{k+2}$ satisfying $\angle (x_j,x_{j+1},x_{j+2})=α_j$ for every $1\le j \le k$ as well as pinned analogues.

math.CO↗

Counting Restricted Partitions of Integers into Fractions: Symmetry and Modes of the Generating Function and a Connection to $ω(t)$

Motivated by the study of integer partitions, we consider partitions of integers into fractions of a particular form, namely with constant denominators and distinct odd or even numerators. When numerators are odd, the numbers of partitions for integers smaller than the denominator form symmetric patterns. If the number of terms is restricted to $h$, then the nonzero terms of the generating function are unimodal, with the integer $h$ having the most partitions. Such properties can be applied to a particular class of nonlinear Diophantine equations. We also examine partitions with even numerators. We prove that there are $2^{ω(t)}-2$ partitions of an integer $t$ into fractions with the first $x$ consecutive even integers for numerators and equal denominators of $y$, where $0<y<x<t$. We then use this to produce corollaries such as a Dirichlet series identity and an extension of the prime omega function to the complex plane, though this extension is not analytic everywhere.

math.NT↗

Discrete maximal operators over surfaces of higher codimension

Integration over curved manifolds with higher codimension and, separately, discrete variants of continuous operators, have been two important, yet separate themes in harmonic analysis, discrete geometry and analytic number theory research. Here we unite these themes to study discrete analogues of operators involving higher (intermediate) codimensional integration. We consider a maximal operator that averages over triangular configurations and prove several bounds that are close to optimal. A distinct feature of our approach is the use of multilinearity to obtain nontrivial $\ell^1$-estimates by a rather general idea that is likely to be applicable to other problems.

math.NT↗

Bounds for discrete multilinear spherical maximal functions

We define a discrete version of the bilinear spherical maximal function, and show bilinear $l^{p}(\mathbb{Z}^d)\times l^{q}(\mathbb{Z}^d) \to l^{r}(\mathbb{Z}^d)$ bounds for $d \geq 3$, $\frac{1}{p} + \frac{1}{q} \geq \frac{1}{r}$, $r>\frac{d}{d-2}$ and $p,q\geq 1$. Due to interpolation, the key estimate is an $l^{p}(\mathbb{Z}^d)\times l^{\infty}(\mathbb{Z}^d) \to l^{p}(\mathbb{Z}^d)$ bound, which holds when $d \geq 3$, $p>\frac{d}{d-2}$. A key feature of our argument is the use of the circle method which allows us to decouple the dimension from the number of functions compared to the work of Cook.

math.CA↗

Bounds for discrete multilinear spherical maximal functions in higher dimensions

We find the sharp range for boundedness of the discrete bilinear spherical maximal function for dimensions $d \geq 5$. That is, we show that this operator is bounded on $l^{p}(\mathbb{Z}^d)\times l^{q}(\mathbb{Z}^d) \to l^{r}(\mathbb{Z}^d)$ for $\frac{1}{p} + \frac{1}{q} \geq \frac{1}{r}$ and $r>\frac{d}{2d-2}$ and we show this range is sharp. Our approach mirrors that used by Jeong and Lee in the continuous setting. For dimensions $d=3,4$, our previous work, which used different techniques, still gives the best known bounds. We also prove analogous results for higher degree $k$, $\ell$-linear operators.

math.CA↗

On the Number of Discrete Chains

We study a generalization of Erd\H os's unit distances problem to chains of $k$ distances. Given $\mathcal P,$ a set of $n$ points, and a sequence of distances $(δ_1,\ldots,δ_k)$, we study the maximum possible number of tuples of distinct points $(p_1,\ldots,p_{k+1})\in \mathcal P^{k+1}$ satisfying $|p_j p_{j+1}|=δ_j$ for every $1\leq j \leq k$. We study the problem in $\mathbb R^2$ and in $\mathbb R^3$, and derive upper and lower bounds for this family of problems.

math.CO↗

The Cardinality of Sumsets: Different Summands

Let $h$ be a positive integer and $A, B_1, B_2,\dots, B_h$ be finite sets in a commutative group. We bound $|A+B_1+...+B_h|$ from above in terms of $|A|, |A+B_1|,\dots,|A+B_h|$ and $h$. Extremal examples, which demonstrate that the bound is asymptotically sharp in all the parameters, are furthermore provided.

math.CO↗

Variational bounds for a dyadic model of the bilinear Hilbert transform

We prove variation-norm estimates for the Walsh model of the truncated bilinear Hilbert transform, extending related results of Lacey, Thiele, and Demeter. The proof uses analysis on the Walsh phase plane and two new ingredients: (i) a variational extension of a lemma of Bourgain by Nazarov-Oberlin-Thiele, and (ii) a variation-norm Rademacher-Menshov theorem of Lewko-Lewko.

math.CA↗