arXiv subjects

Tainara Borges

Publications and source records attributed to Tainara Borges.

14 recordsLinked to original sources

arXiv2026

From weighted paraboloid restriction to $k$-stars and distance graphs

In this paper, we study pinned $k$-star distance sets associated to compact subsets of $\mathbb{R}^n$, $n\geq 2$. For pins $x_1,\dots,x_k\in E$, the pinned $k$-star distance set is \[ \Delta_{x_1,\dots,x_k}^{k\text{-star}}(E) = \{(|x_1-x|,\dots,|x_k-x|):x\in E\}\subset\mathbb{R}^k. \] We obtain improved Hausdorff-dimension thresholds on $E$ guaranteeing that pinned $k$-star distance sets have positive $k$-dimensional Lebesgue measure. The main analytic input is a reformulation of the connection, first observed in \cite{IPPS22}, between $k$-stars in $\mathbb{R}^n$ and pinned dot products on the paraboloid in $\mathbb{R}^{n+1}$. In our framework, $L^2(\mathbb{R}^k)$ estimates for the densities of pinned $k$-star distance measures are reduced to a weighted Fourier extension estimate for the paraboloid whose weight is defined explicitly in terms of Frostman measures on $E$. For $1\leq k \alpha_{+}(n,k):=\frac{n^2+nk+k}{2n+1}=\frac{n+k-1}{2}+\frac14 +\frac{2k+1}{4(2n+1)}.\] Using the graph-building machinery of \cite{BFOPR2026}, our positive-measure results for $k$-stars can be used as building blocks for finite distance graph configurations with prescribed pins. As a consequence, we improve the best-known positive-measure thresholds for pinned $k$-simplices in every dimension $n\geq 3$ and for necklace graphs (cycles) in every dimension $n\geq 3$. We further prove nonempty interior results for $k$-stars. In the special case $k=1$, corresponding to the pinned nonempty interior of the distance set $\Delta_{x}(E)=\{|x-y|\colon y\in E\}$, we use a sharper argument to improve the pinned nonempty-interior thresholds of \cite{BFOP2026} in all dimensions $n\geq 4$.

math.CA↗

arXiv2026

On volume vectors determined by hypergraphs in thin subsets of Euclidean space

Generalizing the Falconer distance problem, the authors of this paper recently established the first non-trivial dimensional threshold for any distance graph in high enough of a dimension. The methods developed were flexible enough to generalize from the Euclidean distance to any two point configuration, conditional on results on $k$-stars for the two point configuration. A natural question emerges on what happens to configurations that take in more than two points. In this paper we consider a classic three point variant of the Falconer distance problem, namely that on areas of triangles and its generalizations to volumes of simplices. In this model case we develop two methods. One we call the Jacobian method which allows us, through Heron's formula, to leverage earlier results on distance graphs and obtains non-trivial thresholds for volume vectors determined by a wide range of hypergraphs of simplices. Even in the classic case of the volume of a single simplex this method yields the best known dimensional thresholds if the dimension is considerably bigger than the size of the simplex. We develop a conjecture that has connections to rigidity theory. The Jacobian method works best in high dimensions so in the case of areas of triangles in the plane, we refine the work of Shmerkin and Yavicoli, who recently resolved a conjecture for areas of triangles in the plane, and obtain building blocks from which we can get abundance of area vectors determined by certain hypergraphs of triangles, such as chains of triangles connected on edges or vertices. The results improve and extend existing results of Galo and McDonald as well as of Greenleaf, Iosevich and Taylor.

math.CA↗

arXiv2026

Falconer-type results for any finite graph with multiple pins

A generalization of the celebrated Falconer distance problem asks for a graph $G=(\mathcal{V},\mathcal{E})$, with vertex set $\mathcal{V}$ and edge set $\mathcal{E}$, how large the Hausdorff dimension of a compact set $E\subset \mathbb{R}^d$, $d\geq 2$, needs to be to guarantee that the distance graph $$ \Delta^{G}(E):= \lbrace (|x_{i}-x_{j}|)_{(v_i,v_j)\in\mathcal{E}} : x_1,\ldots,x_{|\mathcal{V}|}\in E \rbrace $$ has positive $|\mathcal{E}|$-dimensional Lebesgue measure. Here we represent the edges in $\mathcal{E}$ as ordered pairs of vertices $(v_i,v_j)$ with $i k$, for any non-trivial graph $G$. Key ingredients for our result are identifying pinned stars as the right building blocks for a general graph as well as refining a Fubini type argument due to Taylor and the third named author. We further generalize this to graphs with multiple pins by introducing the $k$-admissibility of a graph, a generalization of $k$-degeneracy that takes pins into account, as well as by extending the Fubini argument to the multiple pinned setting. Not only do we obtain non-trivial results in high enough dimensions for any distance graph, but for particular graphs (such as cycles) our results are also strong and improve the previously best known results. Our methods extend to general two point configurations, contingent on results being available for the appropriate star building blocks.

math.CA↗

arXiv2025

Restriction and Kakeya maximal estimates in $\mathbb{R}^4$

By combining the planebrush argument of Katz and Zahl \cite{katz21} with the decoupling-incidence method of Wang and Wu \cite{WangWu2024}, we derive new bounds for the Fourier restriction problem and the Bochner--Riesz problem, extending the range to $p > 2 + \frac{200}{251}$ in $\mathbb{R}^4$. Moreover, leveraging the two-ends Furstenberg estimate in the plane, we also obtain a Kakeya maximal estimate in $\mathbb{R}^4$ at dimension $3.054$.

math.CA↗

arXiv2025

Matrix Weighted $L^p$ Estimates in the Nonhomogeneous Setting

We establish a modified pointwise convex body domination for vector-valued Haar shifts in the nonhomogeneous setting, strengthening and extending the scalar case developed in arXiv:2309.13943. Moreover, we identify a subclass of shifts, called $L^1$-normalized, for which the standard convex body domination holds without requiring any regularity assumption on the measure. Finally, we extend the best-known matrix weighted $L^p$ estimates for sparse forms to the nonhomogeneous setting. The key difficulty here is the lack of a reverse-H\"older inequality for scalar weights, which was used in arXiv:1710.03397 to establish $L^p$ matrix weighted estimates and only works in the doubling setting. Our approach relies instead on a generalization of the weighted Carleson embedding theorem which allows to control not only a fixed weight, but also collections of weights localized on different dyadic cubes that satisfy a certain compatibility condition.

math.CA↗

arXiv2025

Nonempty interior of pinned distance and tree sets

For a compact set $E\subset\mathbb{R}^d$, $d\geq 2$, consider the pinned distance set $\Delta^{y}(E)=\lbrace |x-y| : x\in E\rbrace$. Peres and Schlag showed that if the Hausdorff dimension of $E$ is bigger than $\frac{d+2}{2}$ with $d\geq 3$, then there exists a point $y\in E$ such that $\Delta^{y}(E)$ has nonempty interior. In this paper we obtain the first non-trivial threshold for this problem in the plane, improving on the Peres--Schlag threshold when $d=3$, and we extend the results to trees using a novel induction argument.

math.CA↗

arXiv2025

Survey on bilinear spherical averages and associated maximal operators

In this survey, we collect recent progress in the understanding of $L^{p}$ bounds for bilinear spherical averages and some associated maximal functions like the bilinear spherical maximal function and its lacunary counterpart. We describe necessary conditions satisfied by triples in the $L^{p}$ improving region of a bilinear spherical averaging operator and the localized bilinear spherical maximal function, as well as describe the best-known boundedness regions to date. We state some open questions along the way to motivate future research on this topic, and we exploit some possible generalizations.

math.CA↗

arXiv2024

Commutator estimates for Haar shifts with general measures

We study $L^p(\mu)$ estimates for the commutator $[H,b]$, where the operator $H$ is a dyadic model of the classical Hilbert transform introduced in \cite{arXiv:2012.10201,arXiv:2212.00090} and is adapted to a non-doubling Borel measure $\mu$ satisfying a dyadic regularity condition which is necessary for $H$ to be bounded on $L^p(\mu)$. We show that $\|[H, b]\|_{L^p(\mu) \rightarrow L^p(\mu)} \lesssim \|b\|_{\mathrm{BMO}(\mu)}$, but to {\it characterize} martingale BMO requires additional commutator information. We prove weighted inequalities for $[H, b]$ together with a version of the John-Nirenberg inequality adapted to appropriate weight classes $\widehat{A}_p$ that we define for our non-homogeneous setting. This requires establishing reverse H\"{o}lder inequalities for these new weight classes. Finally, we revisit the appropriate class of nonhomogeneous measures $\mu$ for the study of different types of Haar shift operators.

math.CA↗

arXiv2024

Study guide for "On restricted projections to planes in $\mathbb R^3$"

This article is a study guide for ``On restricted projections to planes in $\mathbb R^3$" [arXiv:2207.13844] by Gan, Guo, Guth, Harris, Maldague and Wang. We first present the main problems and preliminaries related to restricted projections in $\mathbb R^3$. Then we introduce the high-low method and decoupling, which are the two central and novel ideas in their proofs. We hope to provide as many details as possible so that this study guide is self-contained, with the only exception of the Bourgain-Demeter decoupling inequality for curves in the appendix.

math.CA↗

arXiv2023

Sobolev smoothing estimates for bilinear maximal operators with fractal dilation sets

Given a hypersurface $S\subset \mathbb{R}^{2d}$, we study the bilinear averaging operator that averages a pair of functions over $S$, as well as more general bilinear multipliers of limited decay and various maximal analogs. Of particular interest are bilinear maximal operators associated to a fractal dilation set $E\subset [1,2]$; in this case, the boundedness region of the maximal operator is associated to the geometry of the hypersurface and various notions of the dimension of the dilation set. In particular, we determine Sobolev smoothing estimates at the exponent $L^2 \times L^2 \rightarrow L^2$ using Fourier-analytic methods, which allow us to deduce additional $L^p$ improving bounds for the operators and sparse bounds and their weighted corollaries for the associated multi-scale maximal functions. We also extend the method to study analogues of these questions for the triangle averaging operator and biparameter averaging operators. In addition, some necessary conditions for boundedness of these operators are obtained.

math.CA↗

arXiv2023

A singular variant of the Falconer distance problem

In this paper we study the following variant of the Falconer distance problem. Let $E$ be a compact subset of ${\mathbb{R}}^d$, $d \ge 1$, and define $$ \Box(E)=\left\{\sqrt{{|x-y|}^2+{|x-z|}^2}: x,y,z \in E,\, y\neq z \right\}.$$ We shall prove using a variety of methods that if the Hausdorff dimension of $E$ is greater than $\frac{d}{2}+\frac{1}{4}$, then the Lebesgue measure of $\Box(E)$ is positive. This problem can be viewed as a singular variant of the classical Falconer distance problem because considering the diagonal $(x,x)$ in the definition of $\Box(E)$ poses interesting complications stemming from the fact that the set $\{(x,x): x \in E\}\subseteq \mathbb{R}^{2d}$ is much smaller than the sets for which the Falconer type results are typically established. We also prove a finite field variant of the Euclidean results for $\Box(E)$ and indicate both the similarities and the differences between the two settings.

math.CA↗

arXiv2023

Bounds for lacunary bilinear spherical and triangle maximal functions

We prove $L^p\times L^q\rightarrow L^r$ bounds for certain lacunary bilinear maximal averaging operators with parameters satisfying the H\"older relation $1/p+1/q=1/r$. The boundedness region that we get contains at least the interior of the H\"older boundedness region of the associated single scale bilinear averaging operator. In the case of the lacunary bilinear spherical maximal function in $d\geq 2$, we prove boundedness for any $p,q\in (1,\infty]^2$, which is sharp up to boundary; we then show how to extend this result to a more degenerate family of surfaces where some curvatures are allowed to vanish. For the lacunary triangle averaging maximal operator, we have results in $d\geq 7$, and the description of the sharp region will depend on a sharp description of the H\"older bounds for the single scale triangle averaging operator, which is still open.

math.CA↗

arXiv2022

Sparse bounds for the bilinear spherical maximal function

We derive sparse bounds for the bilinear spherical maximal function in any dimension $d\geq 1$. When $d\geq 2$, this immediately recovers the sharp $L^p\times L^q\to L^r$ bound of the operator and implies quantitative weighted norm inequalities with respect to bilinear Muckenhoupt weights, which seems to be the first of their kind for the operator. The key innovation is a group of newly developed continuity $L^p$ improving estimates for the single scale bilinear spherical averaging operator.

math.CA↗

arXiv2020

On the endpoint behaviour of oscillatory maximal function

Inspired by a question of Lie, we study boundedness in subspaces of $L^1(\mathbb{R})$ of oscillatory maximal functions. In particular, we construct functions in $L^1(\mathbb{R})$ which are never integrable under action of our class of maximal functions. On the other hand, we prove that these maximal functions map certain classes of spaces resembling Sobolev spaces into $L^1(\mathbb{R})$ continuously under mild curvature assumptions on the phase $γ$.

math.CA↗