On Uniqueness of Mock Theta Functions

2026-04-21T22:37:31Z

We develop a resurgent approach to the problem of unique continuation of mock theta functions across their natural boundary. The starting point is the representation of the associated Mordell-Appell integrals as Laplace transforms of resurgent functions, which serve as the primary analytic objects. By rotating the Laplace contour by $π$, i.e. onto the Stokes line, one obtains, in all known cases, the mock-modular relations between the Mordell-Appell integrals and the corresponding unary series in $\hat q=e^{-πi τ}$ and $\hat q_1=e^{-πi (-1/τ)}$. We then prove that these relations admit a unique solution on the $q$-side, expressed in terms of $q=e^{πi τ}$ and $q_1=e^{πi (-1/τ)}$, with coefficients determined by the corresponding Mordell-Appell integrals. This yields a canonical continuation across the natural boundary, given by a resurgent extension of the classical principle of permanence of relations, and singles out a distinguished family of mock theta functions in each group. We present a complete analysis for the order 3 and 5 cases (mf3 and mf5). The method extends naturally to higher orders; a general theory will appear in a separate paper.

Boundedness properties of the bilinear fractional integral operators induced by hypermetrics of third order

2026-04-21T17:58:49Z

We introduce a natural bilinear fractional integral type operator induced by a third order hypermetric on Ahlfors regular quasi-metric spaces. Given a quasi-metric space $(X,d)$ the function $ρ(x,y,z)$, defined as the distance, in $X^3$, of $(x,y,z)$ to the diagonal $\bigtriangleup_3=\{(x,x,x)\in X^3:x\in X\}$ is said to be a third order hypermetric in $X$. When $(X,d)$ is a Euclidean space or, more generally, when $(X,d,μ)$ is $η$-Ahlfors regular for some $η$ positive, the function $ρ(x,y,z)$ generates kernels for bilinear operators of the type $T^γ(f,g)(x)=\iint_{X\times X}ρ(x,y,z)^{-γ}f(y)g(z)dμ(y)dμ(z)$, for a given positive $γ$. In the setting of $η$-Ahlfors regular space, the power $-γ=-2η$ of $ρ(x,\cdot,\cdot)$ provides the natural singularity for this family of kernels. In this paper we consider the fractional integral rank $0<γ<2η$. We prove boundedness properties of the type $\|T^γ(f,g)\|_{p_3}\leq C\|f\|_{p_1}\|g\|_{p_2}$ for adequate values of the exponents $p_1,p_2$ and $p_3$. The proof is based on three upper bounds for $T^γ(f,g)$ in terms of the classical linear fractional Riesz operators $I_{η-\fracγ{2}}$, using the linear Hardy-Littlewood-Sobolev inequality.

Counterexamples for lacunary dilates via dyadic spike blocks

2026-04-21T17:55:07Z

We construct dyadic lacunary counterexamples for two problems of Erdős on pointwise behavior of dilates on the circle. The main device is a dyadic spike block: rare positive spikes create long positive runs in the lacunary averages, while a deterministic lower floor prevents cancellation from the remaining stages. The endpoint construction gives a mean-zero $f\in\bigcap_{1\le q<\infty}L^q(\mathbb T)$ and a sequence $n_j=2^{m_j}$, $n_{j+1}/n_j\ge2$, such that $$ \|f-S_Nf\|_2\ll (\log\log N)^{-1/2}, \qquad \limsup_{N\to\infty} \frac1N\sum_{j\le N}f(n_jx)=+\infty $$ for almost every $x$. Thus Matsuyama's positive theorem at exponent $c>1/2$ cannot be extended to the endpoint $c=1/2$, and Erdős Problem #996 has a negative answer. A second choice of parameters gives, for every $2\le p<\infty$, functions $f\in L^p(\mathbb T)$ with $$ \limsup_{N\to\infty} \frac{\sum_{j\le N}f(n_jx)} {N(\log N)^{1/p-\varepsilon}} =+\infty \qquad(\varepsilon>0) $$ almost everywhere; the case $p=2$ answers Erdős Problem #995. We also include a bounded small-set companion construction.

On Fourier decay and the distance set problem

2026-04-21T14:08:58Z

We study the Falconer distance set problem in Euclidean space and obtain improved dimensional estimates under natural Fourier analytic assumptions cast in terms of the Fourier dimension and spectrum. Interestingly, under reasonably mild assumptions, we are able to beat the $d/2$ dimension threshold in dimensions $d \geq 5$. For example, we show that (in any ambient spatial dimension $d$) a Borel set with Fourier dimension at least $2$ has a distance set of full Hausdorff dimension. We also show that (in any ambient spatial dimension $d$) a Borel set with Fourier spectrum at least $d/4+1$ at $θ=1/2$ has a distance set of full Hausdorff dimension. In particular, this can hold for sets with Fourier dimension zero (provided $d \geq 4$). We also consider pinned variants of these problems and construct examples that demonstrate the sharpness (or near sharpness) of our results.

On formulas and fractional exponents for umbral operators

2026-04-21T12:04:57Z

We present a new formula for umbral operators that yields three main insights. First, it makes explicit a connection between umbral calculus and iteration theory. Second, it leads naturally to a definition of fractional exponents of umbral operators. Third, its proof synthesizes a broad range of existing results in operational calculus and highlights their combined effectiveness. As an illustration, we obtain a new and natural extension of the Laguerre polynomials.

A counterexample to Abel-type asymptotics for scaled Volterra equations

2026-04-21T09:25:21Z

We consider scaled Volterra equations of the form $f_n + n k*f_n = g$ for $n \in \mathbb{N}$, where $g$ is given and $f_n$ is sought. We show that global two-sided Abel-type bounds on a positive kernel $k$ do not force the solutions $f_n$ to converge to zero as $n \to +\infty$. More precisely, we construct a continuous strictly positive kernel globally comparable with the Abel kernel $x^{-1/2}$, and a continuous strictly positive $g$, for which a subsequence of $(f_n)_{n \in \mathbb{N}}$ diverges to $+\infty$ at some point $x_0 > 0$. Consequently, the resolvents associated with the scaled kernels $nk$ need not form a generalized approximate identity, in contrast to a couple of classical results.

Multiparameter Marcinkiewicz integrals and a resonance theorem

2026-04-21T09:03:20Z

We prove pointwise relations between some multiparameter square functions on $\bold R^n$.

Characterizations of Lyapunov domains in terms of Riesz transforms and the Plemelj-Privalov theorem

2026-04-21T06:46:16Z

We prove several characterizations of $\mathscr{C}^{1,ω}$-domains (aka Lyapunov domains), where $ω$ is a growth function satisfying natural assumptions. For example, given an Ahlfors regular domain $Ω\subseteq{\mathbb{R}}^n$, we show that the modulus of continuity of the geometric measure theoretic outward unit normal $ν$ to $Ω$ is dominated by (a multiple of) $ω$ if and only if the action of each Riesz transform $R_j$ associated with $\partialΩ$ on the constant function $1$ has a modulus of continuity dominated by (a multiple of) $ω$. The proof of this result requires that we establish a higher-dimensional generalization of the classical Plemelj-Privalov theorem, identifying a large class of singular integral operators that are bounded on generalized Hölder spaces. This class includes the Cauchy-Clifford operator and the harmonic double layer operator, among others.

Entrywise transforms preserving matrix positivity and non-positivity

2026-04-20T23:58:20Z

We characterize real and complex functions which, when applied entrywise to square matrices, yield a positive definite matrix if and only if the original matrix is positive definite. We refer to these transformations as sign preservers. Compared to classical work on entrywise preservers of Schoenberg and others, we completely resolve this problem in the harder fixed dimensional setting, extending a similar recent classification of sign preservers obtained for matrices over finite fields. When the matrix dimension is fixed and at least $3$, we show that the sign preservers are precisely the positive scalar multiples of the continuous automorphisms of the underlying field. This is in contrast to the $2 \times 2$ case where the sign preservers are extensions of power functions. These results are built on our classification of $2 \times 2$ entrywise positivity preservers over broader complex domains. Our results yield a complementary connection with a work of Belton, Guillot, Khare, and Putinar (2023) on negativity-preserving transforms. We also extend our sign preserver results to matrices with a structure of zeros, as studied by Guillot, Khare, and Rajaratnam for the entrywise positivity preserver problem. Finally, in the spirit of sign preservers, we address a natural extension to monotone maps, classically studied by Loewner and many others.

The d'Alembert Inevitability Theorem

2026-04-20T18:53:12Z

We study functions satisfying the composition law $F(xy)+F(x/y)=P(F(x),F(y))$ with a symmetric polynomial combiner $P$. We prove that symmetry together with a quadratic degree bound on $P$ forces a composition law of d'Alembert type. We establish a degree mismatch exclusion criterion showing that symmetric polynomial combiners with $\mbox{deg} P(u,v) \ge 3$ do not admit nonconstant continuous solutions, provided the leading term does not cancel (Theorem 3.1.). For continuous nonconstant functions $F:\mathbb{R}_{>0}\to\mathbb{R}$ with $F(1)=0$ satisfying the composition law with a symmetric polynomial $P$ of degree at most two, the combiner is necessarily of the form $P(u,v)=2u+2v+c\,uv$, $c\in\mathbb{R}$ (Theorem 3.3.). The equation reduces in logarithmic coordinates to the classical d'Alembert functional equation. For $c\neq 0$, one obtains hyperbolic or trigonometric branches, while $c=0$ yields the squared-logarithm family. Under the cost-function assumptions $F\ge 0$ and convexity, only the hyperbolic branch with $c>0$ remains. A unit log-curvature calibration selects the canonical value $c=2$, which yields the canonical reciprocal cost $F(x)=\tfrac12(x+x^{-1})-1$. For $c\neq0$, the result extends to $\mathbb{R}_{>0}^n$: every solution depends only on a single linear combination of coordinate logarithms; for $c=0$, the solution is a general quadratic form $\sum_{i,j}a_{ij}\ln x_i\ln x_j$. In either case, nontrivial coordinate-wise separable costs are excluded.

Near-optimal density theorems for large dilates of large point configurations

2026-04-20T17:37:47Z

We study density thresholds that force a measurable set $E\subseteq\mathbb{R}^d$ to contain all sufficiently large similar copies of every $n$-point configuration. We prove a lower bound of the form $1-O((\log n)/n)$, which matches the known upper bound up to the logarithmic factor, thus essentially resolving a problem posed by Falconer, Yavicoli, and the first author of the present paper. We also study the same problem for embeddings of $n$-point configurations into $\mathbb{R}^d$ equipped with the $\ell^p$ norm, obtaining an asymptotically sharp bound $1-1/n+o(1/n)$, as soon as $p\in(1,\infty)\setminus\{2\}$. In the proof of the former estimate we use equidistribution of polynomial sequences modulo $1$ combined with probabilistic thinning. The proof of the latter estimate relies on the geometry of the $\ell^p$ spaces for $p\neq2$.

Asymptotics of matrix orthogonal polynomials on the real line

2026-04-20T16:56:40Z

In this paper, we are interested in matrix valued orthogonal polynomials on the real line with respect to exponential weights. We obtain strong asymptotics as the degree tends to infinity in different regions of the complex plane, as well as asymptotic behavior of recurrence coefficients and norms. The main tools are the Riemann-Hilbert formulation and the Deift-Zhou method of steepest descent, adapted to the matrix case. A central role is played by the matrix Szegő function, an object that has independent interest.

Wave operators for Jacobi matrices

2026-04-20T16:00:56Z

We study the wave operators for a Jacobi matrix whose spectral measure satisfies the Szegö condition. We prove existence and completeness of wave operators under a mild additional assumption on the Verblunsky coefficients of the associated measure on the unit circle.

Hardy's Theorem for the $(k,\frac{2}{n})-$Fourier Transform

2026-04-20T13:29:12Z

By comparing a function and its $(k, \frac{2}{n})-$Fourier transform to a Gaussian analogue, $e^{-na|x|^\frac{2}{n}}$, we establish a Hardy-type uncertainty principle using Phragmén-Lindlöf lemma. Furthermore, we investigate the heat equation in this context, deriving a dynamical version of Hardy's theorem that illustrates the temporal evolution of the uncertainty principle. We also extend our results to $L^p-L^q$ versions, proving Miyachi-type and Cowling-Price-type theorems for the $(k,\frac{2}{n})$-Fourier transform.

On the packing dimension of projected measures

2026-04-20T13:09:10Z

We study the packing dimension of Borel measures under orthogonal projections. We give a necessary and sufficient condition such that typical projections of Borel probability measures have full packing dimension and derive general lower bounds in the complementary case. Our approach shows that the Assouad dimension of the support influences the behavior of projected measures. The same method yields corresponding results for images under fractional Brownian motion.