Fractional Leibniz rules for the Dunkl Laplacian in Besov and Triebel--Lizorkin spaces

2026-06-08T04:22:09Z

Let $L$ be the Dunkl Laplacian on the Euclidean space $\mathbb{R}^N$ associated with a normalized root system $R$ and a multiplicity function $k(ν)\geq 0$, $ν\in R$. We establish a Leibniz-type rule for the fractional powers of $L$ on Besov and Triebel--Lizorkin spaces in the Dunkl setting. Our approach exploits the interplay between spectral multipliers and the Dunkl transform, together with the support properties of the distributions associated with Dunkl translations. These results extend the corresponding Leibniz-type estimates previously established on $L^p$ spaces to the broader setting of Besov and Triebel--Lizorkin spaces.

A non-testing characterization of bounded and compact composition operators on $\mathcal Q_p$ spaces

2026-06-08T01:11:48Z

In this paper, we give symbol-only, non-testing characterizations of bounded and compact composition operators on $\mathcal Q_p$, $0

Algebraic Hodge generic points are dense

2026-06-07T23:47:47Z

Let $f: X \to S$ be a quasi-projective family of varieties defined over $\overline{\mathbb{Q}} \subset \mathbb{C}$. We show that the points of $S(\overline{\mathbb{Q}})$ that are Hodge generic for the variation of Hodge structures associated to $f$ are analytically dense in $S(\mathbb{C})$. In fact, in the spirit of the Grothendieck period conjecture and under a large monodromy assumption, we prove the density of the points of $S(\overline{\mathbb{Q}})$ where the periods of the fibre do not satisfy extra relations 'up to degree $δ$'. As a by-product, we also establish new instances of the Mumford-Tate conjecture, beyond the realm of abelian motives. When the base $S$ is a curve, we provide quantitative estimates for points satisfying these properties. The main technical contribution is a new result on relations satisfied by solutions of $G$-operators, which relies on height estimates due to Bombieri and André.

Sparse domination of Calderón-Zygmund operators by mean oscillations

2026-06-07T17:29:59Z

We show that if $T$ is a Dini-continuous Calderón--Zygmund operator satisfying $T(1)=0$, then the usual sparse domination for $T$ can be sharpened by replacing local averages with local mean oscillations. This extends a result of Benea and Bernicot for smoother kernels to the more general Dini-continuous setting. As an application, we characterize the Calderón--Zygmund operators for which a pointwise Sobolev-type inequality holds: this is the case if and only if $T(1)\in L^\infty$. This answers a recent question of Hoang, Moen and Pérez.

Restriction estimates for toral eigenfunctions and lattice points in spherical regions

2026-06-07T14:32:12Z

We establish new $L^2$ restriction estimates for toral eigenfunctions. These estimates are sharp in certain cases, and thus prove a conjecture of Huang-Zhang for smooth submanifolds of large codimension. In particular, they provide new progress toward a conjecture of Bourgain-Rudnick. The proof combines a slicing and packing method with the approximation of the discrete spherical multiplier by Magyar-Stein-Wainger and Magyar.

From generalized Poincaré to Poincaré-Sobolev inequalities via self-improving methods

2026-06-07T10:28:02Z

We establish several improvements to the main results of [PR19] and [CP21], refining the seminal self-improving method for generalized Poincaré inequalities from [FPW98, MP98]. These results, together with various related applications, stem from a general self-improving property for functions satisfying the local inequality $$\frac{1}{|Q|}\int_Q |f(x)-f_Q|\,dx \le a(Q)$$ for all cubes $Q\subset\mathbb{R}^n$. The functional $a$ is assumed to obey a specific discrete geometric summability condition. By restricting our focus to axis-parallel cubes in $\mathbb{R}^n$, this geometric setting allows us to obtain sharper estimates than those available in more general metric measure spaces.

Lacunary Spherical Maximal Operators on Hyperbolic Spaces

2026-06-07T02:30:42Z

We prove that the lacunary spherical maximal operator, defined on the $n$-dimensional real hyperbolic space, is bounded on $L^p(\H^n)$ for all $n\ge2$ and $1

On chain rule and renormalization

2026-06-06T20:47:01Z

We discuss the relationship between the chain rule for the divergence operator and the renormalization property for weak solutions of the continuity equation. We construct an example of bounded divergence-free vector field on the plane, which demonstrates that in general the first property is not sufficient for the second one.

Functions of Bounded Variation and Point Processes

2026-06-06T19:14:58Z

We investigate the relationship between the analytical properties of functions of bounded variation and the statistical behavior of hyperuniform point processes. We establish several characterization formulas for the jump part of the gradient of a bounded variation function, extending and unifying previous results by Beretti--Gennaioli and Dávila. In particular, we provide new expressions for the $L^2$-jump of the gradient using both difference quotients and Fourier transform methods. Furthermore, we connect these analytic structures to the theory of hyperuniform point processes. By analyzing the variance of linear statistics associated with bounded variation functions, we provide asymptotic estimates that depend on the specific classification of the hyperuniformity of the point process. The results show how the regularity and jump discontinuities of a function dictate the growth rate of fluctuations in point processes. Finally, we introduce an averaged quadratic BMO-type oscillation functional over translated and rotated cube partitions, similar to the one recently studied by Ambrosio et al., and prove, using results from point process, that it converges to an explicit dimensional constant times the $L^2-$jump, giving in particular a further new characterization of the perimeter of a set.

Effective quasianalytic Remez inequalities on tame sets

2026-06-06T14:09:49Z

We establish a Remez inequality for functions in quasianalytic Denjoy-Carleman classes $\mathcal C_M$ on a large family of fat compact sets $K \subseteq \mathbb R^n$ with tame geometry, including all fat compact sets definable in the o-minimal expansion of $\mathbb R$ by restricted $\mathcal C_M$ functions. The inequality generalizes the classical Remez inequality for polynomials and its quasianalytic versions on convex bodies, replacing the polynomial degree by the Bang degree, an integer associated with the weight $M$ and the size of the function. The constants depend explicitly on the Bang degree and the geometry of $K$. We derive a range of quantitative consequences: estimates for the volume of sublevel sets, comparison of $L^p$-norms, effective inequalities of Lojasiewicz, Harnack, and Markov type with explicit constants, and decay estimates for oscillatory integrals.

Stokes phenomenon and quantum supergroup $U_q(\mathfrak{gl}(m|n))$

2026-06-06T09:39:56Z

In this paper we study the Stokes phenomenon of the quantum confluent hypergeometric supersystem, certain meromorphic linear system of ordinary differential equation with a second order pole, associated to the Lie superalgebra $\mathfrak{gl}_{m|n}$. We prove that its Stokes supermatrices satisfy the Yang-Baxter equation, and thus give rise to the quantum supergroup $U_q(\mathfrak{gl}(m|n))$.

Explicit bounds for Dickman's function

2026-06-05T18:55:16Z

We establish numerically explicit upper and lower bounds for Dickman's function $ρ(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $ρ(u)$ without the need to solve the delay differential equation numerically.

Discrete analogues in harmonic analysis: $TT^*$ methods

2026-06-05T15:06:13Z

In this note we present how the almost-orthogonality methods based on $TT^*$ arguments can be employed to study boundedness of discrete operators of Radon type. Almost-orthogonality methods have particular significance when the classical Fourier methods are not available. However here, to avoid technicalities and present the key ideas behind the discrete almost-orthogonality methods, we give a new proof of the $\ell^2(\mathbb{Z}^d)$-boundedness of Bourgain's maximal inequality for Radon polynomial averages.

Fourier restriction estimates based on $L^q$-dimensions: beyond Stein--Tomas

2026-06-05T10:56:49Z

The well-known Stein--Tomas restriction theorem gives the sharp range of $p$ for which $L^p\to L^2$ restriction estimates hold for the surface measure on the sphere. This was generalised to arbitrary measures satisfying certain Fourier decay and Frostman conditions by Mockenhaupt, Mitsis, and Bak--Seeger, with the most general version now a fundamental result in harmonic analysis. The Frostman condition essentially asks for uniform control on the measure of small balls and is the endpoint of a continuum of more nuanced conditions which describe the local fluctuations of the measure. This analysis gives rise to the $L^q$-dimensions of a measure and these are a central concept in fractal geometry and a crucial tool in multifractal analysis and the theory of large deviations. In this paper we prove a new Fourier restriction theorem which uses the $L^q$-dimensions instead of the Frostman condition, thus providing a continuum of estimates which recover Stein--Tomas at the endpoint. Our proof gives the endpoint estimate for all values of $q\in(1,\infty]$ via Stein's complex interpolation. In particular, in the case $q=\infty$ this partially resolves a question raised by Bak and Seeger. We explore when our theorem improves on Stein--Tomas, that is, when the range is not optimised at $q=\infty$, and show that this is the case quite generally, including for certain Mandelbrot cascade measures and measures with multifractal behaviour. On the way to proving our main theorem we obtain a novel description of the $L^q$-dimensions based on certain convolution norms, which may be of interest in its own right.

Multi-scale properties of continued fraction sets

2026-06-05T10:50:11Z

We survey the dimension theory of sets of real numbers with regular continued fraction expansion restricted to a non-empty and possibly infinite subset $\mathcal{D}\subset\mathbb{N}$.