Covering number on inhomogeneous graph-directed self-similar sets

2026-03-13T13:14:05Z

For a strongly connected inhomogeneous graph-directed self-similar set $K^C$ satisfying the strong open set condition, we characterize the asymptotic behaviour of the $r$-covering number $N_r(K^C)$ as $r \downarrow 0$ in terms of the Minkowski dimension $s_0(G)$ of the attractor. If $\int_0^\infty e^{-s_0(G)t}N_{e^{-t}}(C_i)\,\mathrm{d} t<\infty$ for all vertices $i$, then $e^{-s_0(G)t}N_{e^{-t}}(K^C)$ has a limit as $t\to\infty$, which is a positive constant when the log-contraction group $G_M$ is $\mathbb{R}$ and a positive periodic function when $G_M$ is a lattice; if the integral diverges for some $i$, the limit is infinite.

Multislicing and effective equidistribution for random walks on some homogeneous spaces

2026-03-13T13:09:34Z

We consider a random walk on a homogeneous space $G/Λ$ where $G$ is $\mathrm{SO}(2,1)$ or $\mathrm{SO}(3,1)$ and $Λ$ is a lattice. The walk is driven by a probability measure $μ$ on $G$ whose support generates a Zariski-dense subgroup. We show that for every starting point $x \in G/Λ$ which is not trapped in a finite $μ$-invariant set, the $n$-step distribution $μ^{*n}*δ_{x}$ of the walk equidistributes toward the Haar measure. Moreover, under arithmetic assumptions on the pair $(Λ, μ)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that $x$ may be high in a cusp or close to a finite orbit. Our approach is substantially different from that of Benoist-Quint, whose equidistribution statements only hold in Cesàro average and are not quantitative, that of Bourgain-Furman-Lindenstrauss-Mozes concerning the torus case, and that of Lindenstrauss-Mohammadi-Wang and Yang about the analogous problem for unipotent flows. A key new feature of our proof is the use of a new phenomenon which we call multislicing. The latter is a generalization of the discretized projection theorems à la Bourgain and we believe it presents independent interest.

Polynomial curvelets on higher-dimensional spheres

2026-03-13T09:26:59Z

In this article, we introduce and investigate polynomial curvelets on spheres, which form a class of Parseval frames for $L^2(\mathbb{S}^{d-1})$, $d \geq 3$. The proposed construction offers a directionally sensitive multiscale decomposition and provides a sparse representation of spherical data. As a main result, we derive a sharp pointwise localization bound which shows that the frame elements decay rapidly away from their center of mass, making them a powerful tool for position-based analyses. In contrast to previous constructions, polynomial curvelets are not limited in their directional resolution. Consequently, the frames established in this article are particularly powerful when it comes to the analysis of localized anisotropic features, such as edges. To illustrate this point, we show that, given a suitable test signal that exhibits (higher-order) discontinuities at the boundary $\partial A$ of a spherical cap $A\subset \mathbb{S}^{d-1}$, the corresponding curvelet coefficients peak precisely when the analysis function matches some segment of the boundary $\partial A$, both in terms of position and orientation. Otherwise, the coefficients decay rapidly.

More on explicit correspondence between gradient trees in $\mathbb{R}$ and holomorphic convex quadrilaterals in $T^{*}\mathbb{R}$

2026-03-13T09:19:44Z

For given smooth functions $(f_1,\dots,f_n)$ on $M$, Fukaya and Oh showed that the moduli space of pseudoholomorphic disks in $T^*M$ which are bounded by Lagrangian sections $\{L_i^ε=\operatorname{graph}(εdf_i)\}$ is diffeomorphic to the moduli space of gradient trees in $M$ which consist of gradient curves of $\{f_i-f_j\}$. When the image of the pseudoholomorphic disk $w_ε$ is a polygon in $\mathbb{C}\simeq T^*\mathbb{R}$, we can describe $w_ε$ by a Schwarz-Christoffel map. In \cite{S25}, we proved that pseudoholomorphic disks $w_ε$ converge to the gradient tree in the limit $ε\to+0$ when the image of $w_ε$ is a generic convex quadrilateral. In this paper, we show such a convergence for any convex quadrilaterals by studying the non-generic case.

Approximate null-controllability of discrete heat equations with potentials on lattices

2026-03-13T08:10:10Z

We investigate approximate null-controllability for semi-discrete heat equations on the lattice $h\mathbb{Z}^d$ with a potential. By establishing spectral inequalities for the discrete Schr{ö}dinger operator $P_h = -Δ_h + V$ on equidistributed sets, we derive observability estimates via the Lebeau-Robbiano method and the Hilbert Uniqueness Method. For bounded potentials, we obtain quantitative controllability results with explicit dependence on the potential and show near optimality of the geometric condition on the observation set. We also treat polynomial growth potentials, for which similar properties hold with weaker control cost estimates. These results extend discrete Carleman techniques to the full-space lattice setting and provide new spectral estimates for discrete Schr{ö}dinger operators.

Normalizing Asymptotic Differential Equations

2026-03-13T08:00:54Z

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].

Precompactness in matrix weighted Bourgain-Morrey spaces

2026-03-13T02:58:07Z

In this paper, we introduce matrix weighted Bourgain-Morrey spaces and obtain two sufficient conditions for precompact sets in matrix weighted Bourgain-Morrey spaces. We prove that the dyadic average operator is bounded on some matrix weighted Bourgain-Morrey spaces. With this result, we obtain the necessity for precompact sets in some matrix weighted Bourgain-Morrey spaces. The results are new even for the unweighted Bourgain-Morrey spaces.

Nontrivial weak solutions of the stationary KdV equation in sharp $L^p$ spaces

2026-03-13T01:40:29Z

In this paper we utilize a convex integration scheme to construct non-trivial solutions to the stationary KdV equation which lie in $L^p(\mathbb{T})$, $p < 2$. In addition, we demonstrate this result is sharp in the sense that if $u \in L^2(\mathbb{T})$ is a weak solution then $u \in C^\infty(\mathbb{T})$.

Every semi-normalized unconditional Schauder frame in Hilbert spaces contains a frame

2026-03-13T00:17:45Z

Let $H$ be an infinite-dimensional Hilbert space. We prove that every unconditional Schauder frame for $H$ contains a subsequence that can be normalized to form a frame for $H$. As a consequence, every semi-normalized unconditional Schauder frame contains a frame for $H.$ Here we say that a sequence $\{x_n\}_{n\in \mathbb{N}}$ in a Hilbert space $H$ is an \emph{unconditional Schauder frame} for $H$ if there exists some sequence $\{y_n\}_{n\in \mathbb{R}}subseteq H$ such that $$x=\sum_{n=1}^\infty \langle x,y_n\rangle x_n\quad \text{for all }x\in H,$$ with the unconditional convergence of the series in the norm of $H.$ We say that $\{x_n\}_{n\in\mathbb{N}}$ is semi-normalized if $m\leq \|x_n\|\leq M$ for all $n\in \mathbb{N}$ for some positive constants $m,M.$ We then apply our main results to answer several open questions concerning the existence of certain unconditional Schauderf frames. For example, we prove that if a closed subspace of $L^2(\mathbb{R}^d)$ contains $\{e^{2πib\cdot x}g\}_{b\in Λ}$ for some infinite uniformly discrete subset $Λ$ of $\mathbb{R}^d$ and some nonzero function $g$ in the Feichtinger algebra, it does not admit any unconditional Schauder frames of translates with finitely many generators. We will also show that no Gabor system with the critical lower Beurling density can be an unconditional Schauder frame when the window function belongs to the Feichtinger algebra. Furthermore, we present an example of a compact set of $\mathbb{R}$ which does not admit any unconditional Schauder frames of exponentials with the critical lower Beurling density. All results in this paper apply equivalently to sequences that can be rescaled to form a frame for $H.$

The Bellman Function for Level Sets of Sparse Operators

2026-03-12T21:50:22Z

We investigate weak-type $(1, 1)$ boundedness of sparse operators with respect to Lebesgue measure. Specifically, we find the Bellman function maximizing level sets of sparse operators (localized to an interval) and use this to find the exact weak-$(1,1)$ norm of these sparse operators.

Sharp variational inequalities for the Hardy-Littlewood maximal operator on finite undirected graphs

2026-03-12T21:24:17Z

We study sharp $p$-variational inequalities for the Hardy-Littlewood maximal operator on complete graphs, answering in the affirmative a question by Feng Liu and Qingying Xue. We also use computational assistance to find sharp constants in $1$-variational inequalities for all connected graphs on at most five vertices and pose a conjecture on the corresponding sharp constants for path graphs. Finally, we construct finite graphs with arbitrarily large $p$-variational constants.

Le Roy, Lerch and Legendre chi functions and generalised Borel-Le Roy transform

2026-03-12T17:00:57Z

The Le Roy function has been the focus of intensive research in recent years, owing both to its relevance in analysis and its versatility in applications involving fractional differential operators. Other special functions - such as the Lerch transcendent and the Legendre chi function - have found applications ranging from Bose-Einstein and Fermi-Dirac statistics in physics to pure mathematical investigations involving polylogarithms and Dirichlet L-series. In this article, we present a unified framework based on a recent reformulation of Indicial Umbral Theory (IUT) grounded in the formal theory of power series. Within this setting, we study the properties and generalisations of these special functions. In particular, we build upon the revised formulation of IUT to incorporate the role of the Borel-Le Roy transform, and to explore the extension of the formalism to divergent series via appropriate resummation techniques.

Weyl Calculus on Graded Groups

2026-03-12T16:16:48Z

The aim of this paper is to establish a pseudo-differential Weyl calculus on graded nilpotent Lie groups $G$ which extends the celebrated Weyl calculus on $\mathbb{R}^n$. To reach this goal, we develop a symbolic calculus for a very general class of quantization schemes, following [Doc. Math., 22, 1539--1592, 2017], using the Hörmander symbol classes $S^m_{ρ, δ}(G)$ introduced in [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. We particularly focus on the so-called symmetric calculi, for which quantizing and taking the adjoint commute, among them the Euclidean Weyl calculus, but we also recover the (non-symmetric) Kohn-Nirenberg calculus, on $\mathbb{R}^n$ and on general graded groups [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. Several interesting applications follow directly from our calculus: expected mapping properties on Sobolev spaces, the existence of one-sided parametrices and the Gårding inequality for elliptic operators, and a generalization of the Poisson bracket for symmetric quantizations on stratified groups. In the particular case of the Heisenberg group $\mathbb{H}_n$, we are able to answer the fundamental questions of this paper: which, among all the admissible quantizations, is the natural Weyl quantization on $\mathbb{H}_n$? And which are the criteria that determine it uniquely? The surprisingly simple but compelling answers raise the question whether what is true for $\mathbb{R}^n$ and $\mathbb{H}_n$ also extends to general graded groups, which we answer in the affirmative in this paper. Among other things, we discuss and investigate an analogue of the symplectic invariance property of the Weyl quantization in the setting of graded groups, as well as the notion of the Poisson bracket for symbols in the setting of stratified groups, linking it to the symbolic properties of the commutators.

High-dimensional Laplace asymptotics up to the concentration threshold

2026-03-12T16:03:55Z

We study high-dimensional Laplace-type integrals $I(λ):=(λ/2π)^{d/2}\int_{\mathbb R^d} g(x)e^{-λf(x)}dx$ in the regime where both $d$ and $λ$ are large. Existing rigorous Laplace-expansion results in growing dimension are largely confined to the "Gaussian-approximation" regime $d^2/λ\to0$, which excludes many practically relevant settings that lie beyond this threshold but still satisfy the concentration condition $d/λ\to0$. We close this gap by deriving an explicit asymptotic expansion for $\log I(λ)$ with quantitative remainder bounds that remain valid throughout this intermediate region, arbitrarily close to the concentration threshold. Fix $L\ge1$ and assume that, in a neighborhood of the global minimizer of $f$, the operator norms of derivatives of $f$ and $g$ are bounded independently of $d,λ$ up to orders $2L+2$ and $2L$, respectively. Assuming also some mild global growth conditions, we prove $$\log I(λ)=\sum_{k=1}^{L-1} b_k(f,g)λ^{-k}+O(d^{L+1}/λ^L), \qquad d^{L+1}/λ^L\to0,$$ with coefficients satisfying $b_k(f,g)=O(d^{k+1})$. Moreover, the $b_k(f,g)$ coincide with the coefficients from the formal cumulant expansion of $\log I(λ)$. We also study computation for concentrating densities $π(x)\propto e^{-λf(x)}$. For smooth observables $g$, our expansion yields closed-form, analytic approximations of $\mathbb E_{X\simπ}[g(X)]$. For sampling, we construct explicit polynomial transports $x_L$ such that $π_L:=(x_L)_\# N(0,λ^{-1}I_d)$ satisfies $\mathrm{TV}(π,π_L)\lesssim d^{L+1}/λ^L$ for $L=1,2,3,\dots$, yielding an accurate procedure arbitrarily close to the concentration threshold $d=o(λ)$.

Duality for Delsarte's extremal problem on compact Gelfand pairs

2026-03-12T10:54:19Z

We study Delsarte-type problems for positive definite functions on compact Gelfand pairs as infinite-dimensional linear programming problems. This setup includes, as a particular case, the case of compact Abelian groups. Depending on the restriction on the signs of the functions, we obtain two important particular cases, the Turán and Delsarte problems. These problems have been studied in relation to number theory, sphere packing, and statistics. In this paper, we describe their duals and prove a strong duality statement.