Rational points near planar flat curves

2026-05-13T18:52:35Z

We establish asymptotic formulas for counting rational points near finite type curves on the plane, generalizing Huang's result.

Inverses of Product Kernels and Flag Kernels on Graded Lie Groups

2026-05-13T18:38:59Z

Let $T(f) = f * K$, where $K$ is a product kernel or a flag kernel on a direct product of graded Lie groups $G= G_1 \times \cdots \times G_ν$. Suppose $T$ is invertible on $L^2(G)$. We prove that its inverse is given by $T^{-1}(g) = g*L$, where $L$ is a product kernel or a flag kernel accordingly.

Weighted linearization of vector fields via a formal Moser trick

2026-05-13T17:57:07Z

Many well-known theorems establish sufficient criteria for linearizability of a vector field in terms of the eigenvalues of its linear approximation. By attaching weights to coordinates so that some directions are considered "linear", others "quadratic", and so on, one can define the notion of a weighted linear approximation. It is thus natural to ask when a vector field is "weighted-linearizable". In this paper, we formulate a weighted version of the non-resonance condition appearing in the Poincaré and Sternberg linearization theorems and show that it implies weighted linearizability. Our approach first addresses weighted linearization on the level of formal power series. In doing so, we develop a general framework to make sense of a power series version of Moser's trick, a technique used to prove various normal form results in geometry. This formal Moser trick works over any field of characteristic zero and may be of independent interest.

Superharmonically Weighted Dirichlet Spaces

2026-05-13T17:07:42Z

In this paper, we consider weighted Dirichlet spaces $\cD_ω$, where $ω$ is a positive superharmonic weight on the unit disc $\DD$. These spaces include the standard weighted Dirichlet spaces $\cD_α$ and appear in the description of their invariant subspaces. Our goal is to study the spaces $\cD_ω$. We show that an explicit description of invariant subspaces reduces to the description of those generated by a bounded outer function, and then to the problem of describing cyclic functions, known as the Brown--Shields conjecture. We develop tools, analogous to those used in the harmonic case, that are needed to treat this problem for superharmonically weighted Dirichlet spaces $\cD_ω$. In particular, we obtain a formula for the Dirichlet integral of outer functions of Carleson--Richter--Sundberg type, estimates for the norm of the reproducing kernel of $\cD_ω$, and several properties on the capacity associated with $\cD_ω$. Using these tools, we provide a description of invariant subspaces when the measure $Δω$ is finite measure or if the $\supp(Δω)\cap \TT$ is countable, where $\TT$ denotes the unit circle. Finally, we prove that a smooth outer function $f \in \cD_α$ such that $\cZ (f) $ is "regular" is cyclic in $\cD_α$ if and only if $c_{α}(\cZ(f))= 0$.

Large values of shifted mixed character sums

2026-05-13T16:00:49Z

We consider sums of the form $$F_χ(α,β;θ) := \sum_{αp

A weak type $(p,a)$ criterion for operators, and applications

2026-05-13T15:01:28Z

Let $(X, d, μ)$ be a space of homogeneous type and $Ω$ an open subset of $X$. Given a bounded operator $T: L^p(Ω) \to L^q(Ω)$ for some $1 \le p \le q < \infty$, we give a criterion for $T$ to be of weak type $(p_0, a)$ for $p_0$ and $a$ such that $\frac{1}{p_0} - \frac{1}{a} = \frac{1}{p}-\frac{1}{q}$. These results are illustrated by several applications including estimates of weak type $(p_0, a)$ for Riesz potentials $L^{-\fracα{2}}$ or for Riesz transform type operators $\nabla Δ^{-\fracα{2}}$ as well as $L^p-L^q$ boundedness of spectral multipliers $F(L)$ when the heat kernel of $L$ satisfies a Gaussian upper bound or an off-diagonal bound. We also prove boundedness of these operators from the Hardy space $H^1_L$ associated with $L$ into $L^a(X)$. By duality this gives boundedness from $L^{a'}(X)$ into $\text{BMO}_L$.

Galerkin Approximation of the Fractional Sobolev Constant

2026-05-13T11:04:50Z

We establish sharp estimates for the discrete optimal constant of the fractional Sobolev inequality in dimension $N\geq 1$, with fractional exponent $s\in (0,\min\{1,N/2\})$. The convergence rates that we establish take place for the Galerkin approximation with piecewise linear elements, when the computations are carried out in the unit ball, for which we employ a quasi-uniform and regular mesh.

A bilinear approach to the finite field restriction problem

2026-05-13T10:28:19Z

Let $P$ denote the $3$-dimensional paraboloid over a finite field of odd characteristic in which $-1$ is not a square. We show that the Fourier extension operator associated with $P$ maps $L^2$ to $L^{r}$ for $r > \frac{32}{9} \approx 3.555$. In contrast with much of the recent progress on this problem, our argument does not use state-of-the-art incidence estimates but rather proceeds by obtaining estimates on a related bilinear operator. These estimates are based on a geometric result that, roughly speaking, states that a set of points in the finite plane $F^2$ can be decomposed as a union of sets each of which either contains a controlled number of rectangles or a controlled number of trapezoids.

A transversality theorem for multiple-point crossings under generic linear perturbations with Hausdorff measure estimates

2026-05-13T09:25:33Z

We establish a transversality theorem for multiple-point crossings under generic linear perturbations with explicit Hausdorff measure estimates for the exceptional parameter set, and hence explicit upper bounds on its Hausdorff dimension. This strengthens our earlier result, which showed only that the exceptional parameter set has Lebesgue measure zero. As applications, we obtain results on normal crossings, injectivity, and embeddings under generic linear perturbations. The embedding result yields a refinement of Mather's stability theorem for generic projections when the target dimension is more than twice the source dimension, with an explicit upper bound on the Hausdorff dimension of the exceptional set.

On Rellich-type asymptotics for eigenfunctions on rank one symmetric spaces of noncompact type

2026-05-13T08:27:13Z

We study eigenfunctions of the Laplace--Beltrami operator $Δ_X$ in exterior domains $Ω$ of rank-one Riemannian symmetric spaces of noncompact type $X$, a class that includes all hyperbolic spaces. Extending the classical $L^2$ Rellich theorem for the Euclidean Laplacian, we analyze the asymptotic behaviour and $L^p$-integrability of solutions to the Helmholtz equation \[ Δ_X f + (λ^2 + ρ^2) f = 0 \quad \text{in } Ω, \] where $λ\in \mathbb{C}\setminus i\mathbb{Z}$ and $ρ$ denotes the half-sum of positive roots. We establish sharp Rellich-type quantitative $L^p$-growth estimates in geodesic annuli, which yield the nonexistence of nontrivial $L^p(Ω)$-solutions in the optimal range $1 \leq p \leq 2$ for spectral parameters satisfying $|\Im(λ)| \leq (2/p - 1)ρ$. For non-real spectral parameters, we further obtain refined Rellich-type uniqueness results under weak $L^p$-assumptions. As a by-product, we also prove a Rellich-type uniqueness theorem in terms of Hardy-type norms. Our results provide a geometric extension of the Euclidean Rellich theorem, highlighting the role of exponential volume growth and the $p$-dependence of the $L^p$-spectrum of $Δ_X$ in producing genuinely non-Euclidean spectral phenomena.

Triebel-Lizorkin spaces and expansive matrices

2026-05-13T07:10:39Z

We survey recent classification theorems for expansive matrices that generate the same anisotropic homogeneous Triebel-Lizorkin function space or sequence space. The function spaces are classified precisely by those matrices for which their associated homogeneous quasi-norms on Euclidean space are equivalent, whereas the sequence spaces are classified by a strictly stronger condition. We unravel this discrepancy between function spaces and sequence spaces by showing that two sequence spaces are retracts of each other whenever the corresponding function spaces are the same.

Variable Muckenhoupt $A_\infty$ Weights

2026-05-13T03:22:31Z

In this article, with introducing concepts of variable scalar $\mathcal{A}_{p(\cdot),\infty}$ weights and variable matrix $\mathscr{A}_{p(\cdot),\infty}$ weights, we seek a comprehensive theory of $A_\infty$ weights within the framework of variable exponent spaces. We first show that a weight belongs to $\mathcal{A}_{p(\cdot),\infty}$ if and only if its $p(\cdot)$-th power is an $A_\infty$ weight. Using this, we characterize the $\mathcal{A}_{p(\cdot),\infty}$ condition by the minimal operator. Then we establish the reverse Hölder's inequality for $\mathcal{A}_{p(\cdot),\infty}$ weights in variable Lebesgue spaces with explicit constants and, combining this with the previously established relationship between $\mathcal{A}_{p(\cdot),\infty}$ weights and $A_\infty$ weights, we prove that, for any weight $w$, the reverse Hölder's inequality holds in variable Lebesgue spaces if and only if $w$ is an $\mathcal{A}_{p(\cdot),\infty}$ weight. For the matrix $\mathscr{A}_{p(\cdot),\infty}$ weights, we first show the existence of the reducing operators for matrix $\mathscr{A}_{p(\cdot),\infty}$ weights and then, combining the matrix $\mathscr{A}_{p(\cdot),\infty}$ weights with the scalar $\mathcal{A}_{p(\cdot),\infty}$ weights, we establish the reverse Hölder's inequality for $\mathscr{A}_{p(\cdot),\infty}$ weights in variable Lebesgue spaces. Finally, for further applications to variable matrix-weighted function spaces, we introduce the upper and the lower dimensions for $\mathscr{A}_{p(\cdot),\infty}$ weights and use these concepts to establish the sharp estimate involving reducing operators.

Smirnov Decomposition of a Horizontal Vector Charge in the Heisenberg Group

2026-05-12T20:23:27Z

A divergence-free horizontal vector current in Heisenberg space may be viewed as an element of the dual space of horizontal test vector fields. By applying a horizontal Liouville theorem in this setting, the flow lines of such a vector field generate a family of horizontal curves and an associated measure on this collection. In this paper, we provide a direct proof of the Smirnov decomposition for a Federer-Fleming current within the horizontal distribution.

$\ell^{p}$ improving estimates for multilinear forms motivated by distance graphs

2026-05-12T17:34:40Z

We undertake a systematic study of the mapping properties of forms based on distance graphs in $\mathbb{Z}^{d}$ to see how the structure of a graph, $G$, affects the $\ell^{p}$ improving estimates of the form, $Λ_{G}$, based on $G$. This extends previous work on $\ell^{p}$ improving properties for the spherical averaging operator, which corresponds to a distance graph of a single distance. We obtain $\ell^{p}$ improving estimates for the collection of forms based on all graphs with 2, 3, and 4 vertices, as well as chains and simplexes of any size in $\mathbb{Z}^{d}$. Surprisingly, certain mapping properties only seem to depend on the number of vertices in the graph, not its structure, and forms based on subgraphs of a graph, $G$, do not necessarily inherit all mapping properties from $G$.

A Radial and Tangential Framework for Studying Transient Reactivity in Two-Dimensional Systems

2026-05-12T16:39:06Z

Even if a linear system of ordinary differential equations has a globally attracting equilibrium at the origin, small disturbances from the equilibrium may lead to large transient excursions before the system stabilizes. This counter-intuitive phenomenon of transient amplification is called reactivity and is often associated with systems that are non-normal. Here, we establish a new framework for analyzing reactivity and transient dynamics in two-dimensional linear ODEs. Our work is facilitated by decomposing the corresponding vector field into sinusoidal radial and tangential components. Using this decomposition, we introduce a structure of orthovectors and orthovalues as dual to the eigenstructure. Since diagonalization masks transient reactivity, we combine the eigenstructure and the orthostructure to propose alternative matrix forms which capture both transient and asymptotic behavior and which highlight reactivity features more directly. Leveraging these matrix forms, we analytically quantify the maximal amplification in globally attracting systems, and we provide new insight into how a nonautonomous linear system can be unstable, even when all the frozen-time systems are stable.