https://arxiv.org/api/kGY/pDSYuMVmCBq+mYJGXerZtOc 2026-03-22T10:41:31Z 24672 120 15 http://arxiv.org/abs/2603.03567v1 2026-03-03T22:52:22Z

We prove a ''dimension expansion'' version of the Elekes-Rónyai theorem for trivariate real analytic functions: If $f$ is a trivariate real analytic function, then $f$ is either locally of the form $g(h(x)+k(y)+l(z))$, or the following is true: whenever a Borel set $A\subset\mathbb{R}$ has Hausdorff dimension $α\in \left(\frac{1}{2},1\right)$, $f(A\times A\times A)$ has dimension significantly larger than that of $A$, i.e. \begin{align*} \dim_Hf(A\times A\times A)\geq α+\varepsilon(α),\quad \text{for some } \varepsilon(α)>0, \end{align*} Moreover, if $α>\frac{2}{3}$, $f(A\times A\times A)$ has positive Lebesgue measure. This is a considerable extension of the result established by Koh, T. Pham, and Shen (J. Funct. Anal. 286 (2024)). We also obtain an alternative proof and an improvement for the Elekes-Rónyai type theorem for bivariate real analytic functions established by Raz and Zahl (Geom. Funct. Anal. 34 (2024)). We derive these from more general results, showing that various $k$-point configuration sets of thin sets have positive Lebesgue measure by exploiting the optimal $L^2$-based Sobolev estimates for the associated family of Fourier integral operators. Extending the framework developed by Greenleaf, Iosevich, and Taylor (Mathematika 68 (2022), Math. Z. 306 (2024)) to prove Mattila-Sjölin type theorems, we obtain Falconer-type results for many configuration sets on which the method would be vacuous if demanding nonempty interior. In particular, when $k=2$, we generalize the Falconer-type result for metric functions in $\mathbb{R}^d$ satisfying strong non-vanishing curvature conditions established by Eswarathasan, Iosevich, and Taylor (Adv. Math. 228 (2011)) and the asymmetric Mattila-Sjölin type results of Greenleaf, Iosevich, and Taylor (J. Geom. Anal. 31 (2021)) to a broader class of smooth functions of asymmetric form.

2026-03-03T22:52:22Z 54 pages. Comments are welcome! Minh-Quy Pham http://arxiv.org/abs/2603.03516v1 2026-03-03T20:48:48Z

We consider nonconvex real valued functions whose truncations are either quasiconvex or even convex starting with a certain level. Among them, the $C^2$-smooth functions whose level sets are all completely contained in the positive definite region of their Hessian matrices, starting with a certain level, are good examples of such functions. For such a function we show the injectivity of its restricted gradient to a large subset of the positive definite region of its Hessian matrices.

2026-03-03T20:48:48Z Cornel Pintea http://arxiv.org/abs/2603.03174v1 2026-03-03T17:27:48Z

Let $d\in\mathbb{N}$ and $\varphi\colon(0,1)\to[0,d]$. We prove there exists a set $F\subset\mathbb{R}^d$ whose lower spectrum $\operatorname{dim}^θ_{\mathrm{L}} F$ satisfies $(1-θ)\operatorname{dim}^θ_{\mathrm{L}} F = \varphi(θ)$ for all $θ\in(0,1)$ if and only if for all $λ,θ\in(0,1)$, \begin{equation*} \varphi(θ) \leq \varphi(λθ) - θ\varphi(λ) \leq (1-θ) d. \end{equation*} We also obtain a similar classification result for $\underline{\operatorname{dim}}^θ_{\mathrm{L}} F$. In contrast to the case for Assouad spectra, it is insufficient to consider homogeneous (or uniform) sets. Instead, we follow the approach introduced by Orgoványi--Rutar in arXiv:2510.07013 and proceed via a more general classification result for appropriate two-scale branching functions.

2026-03-03T17:27:48Z 30 pages, 3 figures Amlan Banaji Haipeng Chen Alex Rutar Wen Wang http://arxiv.org/abs/2603.02454v1 2026-03-02T22:51:04Z

We study the boundary localization phenomenon, known as whispering gallery modes, for weak solutions to semilinear Dirichlet eigenvalue problems in the unit ball $B_1 \subseteq \mathbb{R}^d$ ($d \geq 2$) of the form \[ \begin{cases} -Δu + f(u) = λu & \text{in } B_1,\\ u = 0 & \text{on } \partial B_1. \end{cases} \] Here, $f = F'$ where $F$ is a nonnegative $C^2$-function with superquadratic polynomial growth. We prove the existence of a sequence of solutions $(u_n, λ_n)$ with $λ_n \to +\infty$ such that, for any $τ\in (0,1)$, \[ \lim_{n \to \infty} \frac{E_τ(u_n)}{E_1(u_n)} = 0, \] where $E_ρ(u) = \int_{B_ρ} \bigl( \frac{1}{2} |\nabla u|^2 + F(u) \bigr) \, dx$ is the energy over the ball of radius $ρ$. This establishes that the energy of these high-eigenvalue solutions concentrates near the boundary, extending the classical whispering gallery mode phenomenon from linear Laplacian eigenfunctions to the semilinear setting. As a direct application, the case $F(u) = u^4 /4$ yields, after suitable scaling, a sequence of high-eigenvalue boundary-concentrating solutions, providing a nonlinear analogue of whispering gallery modes for the Allen-Cahn equations. The approach combines spectral properties of the linear Laplacian with local nonlinear bifurcation and is expected to adapt to related interior localization phenomena, such as bouncing ball modes, in other geometries where linear eigenfunctions exhibit analogous localization behaviors (e.g., filled ellipses or elliptical annuli).

2026-03-02T22:51:04Z 19 pages Zhengjiang Lin http://arxiv.org/abs/2510.08823v2 2026-03-02T18:52:00Z

We compute Fourier transforms of functions expressed as a ratio of one of the Jacobi elliptic functions divided by $\sinh(πx)$ or $\cosh(πx)$. In many cases, the resulting Fourier transform remains within the same class of functions. Applying the Mellin transform, we obtain sixteen Eisenstein-type series $ζ_{j,l}(s,τ)$, for which we establish several results: analytic continuation with respect to the variable $s$, a functional equation connecting $ζ_{j,l}(s,τ)$ and $ζ_{l,j}(1-s,-1/τ)$, and explicit expressions for $ζ_{j,l}(s,τ)$ when $s$ runs through a sequence of positive even or odd integers.

2025-10-09T21:19:47Z Peng-Cheng Hang Alexey Kuznetsov http://arxiv.org/abs/2603.02169v1 2026-03-02T18:37:14Z

This paper is intended as a companion to the author's talk "Commutator estimates and mean-field limits for Coulomb/Riesz gases" at the 2025 Journées équations aux dérivées partielles in Aussois. The goal is to provide a concise, accessible account of sharp commutator estimates recently obtained for modulated energies associated to Coulomb/Riesz interactions and how these estimates lead to optimal results for mean-field and supercritical mean-field limits of Coulomb/Riesz gas dynamics via the modulated-energy method. The exposition centers on the works arXiv:2408.14642, arXiv:2407.15650 with Serfaty and arXiv:2511.13461, arXiv:2601.02326 with Hess-Childs and Serfaty.

2026-03-02T18:37:14Z 31 pages. This is the author's contribution to the 2025 Proceedings of the JEDP Matthew Rosenzweig http://arxiv.org/abs/2507.15196v5 2026-03-02T17:50:30Z

We introduce Frostman conditions for bivariate random variables and study discretized entropy sum-product phenomena in both independent and dependent settings. Fix $0 < s < 1$, and let $(X,Y)$ be a bivariate real random variable with bounded support, whose distribution satisfies a Frostman condition of dimension $s$. Let $φ(x,y)$ be a polynomial obtained from a diagonal polynomial $ρ_1(x)+ρ_2(y)\in \mathbb{R}[x, y]$ of degree $d\ge 2$ by applying a change of variables $Ξ\in GL_2(\mathbb{Q})$ in $(x,y)$. We show that there exists $ε= ε(d,Ξ,s)>0$ such that \[ \max\{H_n(X+Y), H_n(φ(X,Y))\} \geq n(s+ε) \] for all sufficiently large $n$, where the precise assumptions on $(X,Y)$ depend on the Frostman level. The proof introduces a novel multi-step entropy framework, combining the state-of-the-art results on the Falconer distance problem, a discretized entropy Balog-Szemerédi-Gowers mechanism, and new entropy inequalities adapted to dependent variables, to reduce general polynomials of arbitrary degree to a diagonal quadratic case. As applications, we obtain innovative discretized sum-product type estimates along dense graphs. In particular, for a $δ$-separated set $A\subseteq [0, 1]$ of cardinality $δ^{-s}$, satisfying certain non-concentration conditions, and a dense subset $G\subseteq A\times A$, there exists $ε=ε(s, φ)>0$ such that $$E_δ(A+_GA) + E_δ(φ_G(A, A)) \ggδ^{-ε}(\#A) $$ for all $δ$ small enough. Here $E_δ(A)$ denotes the $δ$-covering number of $A$, $A+_GA:=\{x+y\colon (x, y)\in G\}$, and $φ_G(A,A):=\{φ(x, y)\colon (x, y)\in G\}$.

2025-07-21T02:51:00Z v5 (92 pages). Changes relative to v4: (i) Theorem 1.3 is improved by removing the H_n(X, Y)/2 term (hence it implies Theorem 1.4). (ii) Added a subsection on the main ideas and novelties. (iii) Added applications to sum-product type questions for adaptable (discrete) sets. (iv) Corrected typos and minor errors Alex Iosevich Thang Pham Nguyen Dac Quan Steven Senger Boqing Xue http://arxiv.org/abs/2603.02126v1 2026-03-02T17:44:37Z

In this paper we study the boundedness on $L^p(w)$ of the maximal operator $M_{A^{-1}}$, defined by $M_{A^{-1}}f(x)=Mf(A^{-1}x)$, that is, the maximal of Hardy-Littlewood composed with a invertible matrix $A$. We present two different results of boundedness and provide a characterization for a particular case of matrices. The main novelty lies in examples illustrating the difference between the class of weights with a matrix, $\mathcal{A}_{A,p}$, and the classical Muckenhoupt weight class, $\mathcal{A}_{p}$. Finally, we extend these results to the fractional framework, considering the fractional maximal operator $M_{α, A^{-1}}$.

2026-03-02T17:44:37Z 14 pages Gonzalo Ibañez-Firnkorn http://arxiv.org/abs/2603.02111v1 2026-03-02T17:28:02Z

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 F_q^{2n}$ reduces the problem to the affine finite field Kakeya maximal operator, and we determine the exact $\ell^u \to \ell^v$ growth exponent for all $n$ and all $1 \le u,v \le \infty$. We then introduce a refined-direction operator that also records the central slope of a horizontal line. In $\mathbb H_1(\mathbb F_q)$, we prove the sharp $\ell^2 \to \ell^2$ estimate \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(D_1)} \lesssim q^{1/2}\|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] deduce the exact mixed-norm exponent formula, and obtain lower bounds for horizontal Heisenberg Kakeya sets with prescribed refined directions. The argument is purely Fourier-analytic and does not use the polynomial method. An outlook toward a new approach to the affine Kakeya problem in $\mathbb{F}_q^3$ will be discussed in this paper.

2026-03-02T17:28:02Z 41 pages Thang Pham Andrea Pinamonti Dung The Tran Boqing Xue http://arxiv.org/abs/2502.02765v2 2026-03-02T16:40:29Z

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.

2025-02-04T23:09:10Z Minor revisions following referee comments; improved exposition and corrected typos Tainara Borges http://arxiv.org/abs/2603.02021v1 2026-03-02T16:03:15Z

We prove an analog of Baxter's theorem for $SU(2)$-valued nonlinear Fourier transform (NLFT). That is, we prove that under certain natural conditions on the NLFT data, the potential is in $\ell^1$ if and only if the linear Fourier coefficients of the NLFT data are in $\ell^1$. Furthermore, we prove some smoothness-decay estimates for the NLFT motivated by similar estimates for the linear Fourier transform.

2026-03-02T16:03:15Z 15 pages, no figures Gevorg Mnatsakanyan http://arxiv.org/abs/2603.02013v1 2026-03-02T15:59:23Z

We review second-order homogeneous linear differential equations with coefficient functions whose germs lie in a Hardy field (and hence are strongly non-oscillating). We prove a conjecture of Boshernitzan (1982): the oscillating solutions to such an equation are given by amplitude and phase functions with germs in a bigger Hardy field, and hence oscillate in a very regular way. We give sharp conditions for the uniqueness of such germs, study their asymptotic behavior, and use this to obtain information about the zeros and critical points of oscillating solutions.

2026-03-02T15:59:23Z 50 pp Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven http://arxiv.org/abs/2603.01954v1 2026-03-02T15:06:04Z

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 $$ Δ^{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<j$. Many results exist for particular graphs, such as trees and simplices. Some general results exist, but they require intricate calculations, such as computing Fourier decay of the natural measure on the configuration set or mapping properties of associated Fourier integral operators. In this paper, using the graph theory notion of $k$-degeneracy, which is easy to compute, we obtain a non-trivial dimensional threshold $\frac{d+k}{2}$, $d>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.

2026-03-02T15:06:04Z Tainara Borges Ben Foster Yumeng Ou Eyvindur Palsson Francisco Romero Acosta http://arxiv.org/abs/2505.02719v2 2026-03-02T13:33:45Z

We prove that various families of energies relevant in geometric knot theory satisfy the Palais-Smale condition (PS) on submanifolds of arclength para\-metrized knots. These energies include linear combinations of the Euler-Bernoulli bending energy with a wide variety of non-local knot energies, such as O'Hara's self-repulsive potentials $E^{α,p}$, generalized tangent-point energies $\TP^{(p,q)}$, and generalized integral Menger curvature functionals $\intM^{(p,q)}$. Even the tangent-point energies $\TP^{(p,2)}$ for $p\in (4,5)$ alone are shown to fulfill the (PS)-condition. For all energies mentioned we can therefore prove existence of minimizing knots in any prescribed ambient isotopy class, and we provide long-time existence of their Hilbert-gradient flows, and subconvergence to critical knots as time goes to infinity. In addition, we prove $C^\infty$-smoothness of all arclength constrained critical knots, which shows in particular that these critical knots are also critical for the energies on the larger open set of regular knots under a fixed-length constraint.

2025-05-05T15:19:04Z 52 pages, simplified regularity theory Nicolas Freches Henrik Schumacher Daniel Steenebrügge Heiko von der Mosel http://arxiv.org/abs/2603.01614v1 2026-03-02T08:43:48Z

In this paper, we study the $\ell^p\to \ell^r$ estimates for the $S$-operator arising in restriction problems for spheres over finite fields. We establish a necessary and sufficient condition for the boundedness of the $S$-operator. Furthermore, we investigate this problem under certain restrictions on test functions. In particular, we address the sharp results when test functions are restricted to radial functions.

2026-03-02T08:43:48Z 22pages Hunseok Kang Doowon Koh Changhun Yang