Hermite expansions of functions from the weighted Hardy class

2026-05-08T12:43:52Z

In this paper, we analyze a function space consisting of functions for which both the function and its Fourier transform exhibit Gaussian decay together with exponential growth governed by suitable weight functions. First, we examine logarithmic-type weights, in which case these function spaces are equivalent to Pilipović spaces. In this setting, we establish a decay estimate for the Hermite coefficients of functions. Furthermore, by combining these estimates with the asymptotic behavior of Hermite functions, we prove a decay rate for solutions to the harmonic oscillator Schrödinger equation. Second, we consider a class of weights and prove the exponential decay of the Hermite projection operators on these spaces by analyzing Laguerre expansions and the short-time Fourier transform. Additionally, we revisit the subcritical Hardy uncertainty principle and obtain a partial improvement toward a conjecture posed by Vemuri.

Dyadic Martingale Transforms and Weighted Walsh-Carleson Operators

2026-05-08T12:39:36Z

We study weighted Walsh--Carleson maximal operators arising from dyadic martingale transforms associated with Walsh--Fourier partial sums. For weights satisfying a uniform dyadic variation condition and a uniform bound at the top dyadic scale, we prove weak type~$(1,1)$ estimates for the corresponding maximal operators along subsequences. We also give divergence criteria in terms of the behavior of the weights near the top dyadic scale and, under suitable admissibility assumptions, relate these criteria to explicit ratio conditions. As applications, we obtain results on matrix transforms of Walsh--Fourier partial sums, including de la Vallée Poussin means, Cesàro means with varying parameters, Nörlund logarithmic means, and general Nörlund means. In particular, we prove a Walsh--Paley analogue of the Leindler--Tandori theorem and establish everywhere divergence results for several summability methods.

On ratios of theta functions

2026-05-08T10:51:01Z

Motivated by the average partition function of c free bosons $($Afhkami-Jeddi et al. \cite{Afhk2021}$)$ and the average of the genus 1 partition function over the Narain moduli space $($Maloney-Witten \cite{Witten2020}$)$, we investigate ratios of theta functions. In this paper, we completely classify the minimizers (or maximizers) for ratios of theta and Epstein zeta functions. We find that the hexagonal lattice plays a pivotal role there. These results have direct applications in conformal and Liouville field theory via partition functions. Additionally, they yield the minima of differences of theta and Epstein zeta functions, which have implications for the mathematics of crystallization and interacting particle theory (\cite{Bet2016,Bet2019AMP}).

On the Carlitz-Mehler formula for Hermite polynomials

2026-05-08T08:42:49Z

Carlitz proved a few generalizations of Mehler's formula. Later, Srivastava et al. gave a new proof for some extensions of Carlitz's formula. Here, a direct proof of the further generalization is given.

Factorization of positive-semidefinite operators with absolutely summable entries

2026-05-08T01:48:08Z

A problem by Feichtinger, Heil, and Larson asks whether every infinite matrix $A$ with $\sum_{k,l}|A_{kl}| < \infty$ (an equivalent substitute for the Feichtinger algebra) that is positive-semidefinite admits a symmetric rank-one decomposition $A = \sum_k f_k^*\otimes f_k$ with $\sum_k \|f_k\|_{1}^2 < \infty$. In the finite-dimensional setting, we analyze the corresponding quantitative $\ell_1^n$ optimization problem by an exact reformulation as a linear program over measures, derive its dual, and prove strong duality. We then obtain an equivalent adjoint formulation regarding the quality of a convex relaxation. In the infinite-dimensional setting, we first provide a negative answer to this question using a concurrent finite-dimensional result by Bandeira-Mixon-Steinerberger. We further study the collection of operators for which such decomposition exists, showing that they are dense in a suitable topology and invariant under the action of the positive-coefficient analytic Wiener subalgebra. In addition, we give a sufficient condition for successful rank-one decomposition in terms of $2$-summing factorization, and we characterize exactly when $A^{1/2}$ is $2$-summing.

Brownian-time Change of measure

2026-05-07T23:46:21Z

We prove a fundamental change of measure theorem for the Brownian-time Brownian motion and its associated Brownian-time processes class introduced by Allouba and Zheng in 2001. This result, together with Allouba's prior work on (1) Brownian-time processes and their PDEs/SPDEs links and on (2) change of measure for SPDEs, is a critical building block in analyzing the behaviors of SDEs and SPDEs -- of different types and orders -- driven by Brownian-time noises and their relatives.

A multidimensional Szemerédi theorem in integers

2026-05-07T14:37:54Z

For any integer $n \geq 2$, let $(m_{1},\ldots,m_{n})$ be a strictly increasing $n$-tuple of positive integers. We show that any subset $A\subset [N]^n$ of density at least $(\log N)^{-c}$ contains a nontrivial configuration of the form \begin{equation*} \boldsymbol{x},\boldsymbol{x}+r^{m_{1}}\boldsymbol{e_{1}},\ldots,\boldsymbol{x}+r^{m_{n}}\boldsymbol{e_{n}}, \end{equation*} where $c=c(n,m_{1},\ldots,m_{n} )$ is a positive constant. This quantitative multidimensional Szemerédi theorem extends a recent two-dimensional result of Peluse, Prendiville, and Shao concerning the configuration of the form $(x,y),(x+r,y),\left(x,y+r^{2}\right)$. The theorem is obtained as a consequence of an effective ``popular'' version.

Plateau's Problem for intrinsic graphs in the Heisenberg Group

2026-05-07T14:33:22Z

Using a geometric construction, we solve Plateau's Problem in the Heisenberg group $\mathbb{H}^{1}$ for intrinsic graphs defined on a convex domain $D$, under a smallness condition either on the boundary $\partial D$ or on the Lipschitz boundary datum $\varphi : \partial D \to \mathbb{R}$. The proof relies on a calibration argument. We then apply these techniques to establish a new regularity result for $H$-perimeter minimizers.

Convexity of the embedding parameter sets of some analytic function spaces

2026-05-07T13:51:26Z

In this note, we study the geometric structure of the parameter sets governing continuous embeddings between weighted Bergman-Orlicz spaces. First, for a fixed pair of growth functions, we show that the set of admissible weight exponents $(α, β)$ is convex, provided the growth functions satisfy specific log-convexity and log-concavity conditions of the inverses. Second, we consider the dual problem where the weight exponents are fixed. We prove that the collection of growth function pairs that yield such an embedding is log-convex under a natural interpolation of their inverses. We then obtain interpolated embeddings between Bergman-Orlicz spaces.

Schatten properties of commutators on metric spaces

2026-05-07T12:33:26Z

We characterise the Schatten class $S^p$ properties of commutators $[b,T]$ of singular integrals and pointwise multipliers in a general framework of (quasi-)metric measure spaces. This covers, unifies, and extends a range of previous results in different special cases. As in the classical results on $\mathbb R^d$, the characterisation has three parts: (1) For $p>d$, we have $[b,T]\in S^p$ if and only if $b$ is in a suitable Besov (or fractional Sobolev) space. (2) For $p\leq d$, we have $[b,T]\in S^p$ if and only if $b$ is constant. (3) For $p=d$, we have $[b,T]\in S^{d,\infty}$ (a weak-type Schatten class) if and only if $b$ is in a first-order Sobolev space. Result (1) extends to all spaces of homogeneous type as long as there are appropriate singular integrals, but for the more delicate properties (2) and (3), we assume a complete doubling metric space supporting a suitable Poincaré inequality, which is still very general. These latter results depend on new characterisations of constant functions and Sobolev spaces over such spaces obtained in a companion paper of the author with R. Korte. Even when specialised to various concrete domains considered earlier, the present results extend ones available in the literature by covering a larger class of operators with minimal kernel assumptions, removing a-priori assumptions on the pointwise multiplier $b$, and allowing Schatten classes on the weighted spaces $L^2(w)$ with an arbitrary Muckenhoupt weight $w\in A_2$. Even on $\mathbb R^d$, such weighted results were previously known for a few special operators $T$ only, and on all other domains, they are completely new.

Accessory Parameter of Confluent Heun Equations, Voros Periods and classical irregular conformal blocks

2026-05-07T12:01:58Z

For the Heun differential equation and all of its confluent equations, we derive formal series expansions of the accessory parameters using the Voros periods. We then compare these expansions with the classical conformal blocks recently obtained by Bonelli--Shchechkin--Tanzini, and examine the Zamolodchikov-type conjecture expected to hold between them, allowing for irregular singularities. In particular, as an extension of the previous works of Mironov--Morozov, Piatek--Pietrykowski and Lisovyy--Naidiuk, we provide a detailed prescription for choosing cycles on the spectral curve that yield the Voros period which corresponds to the classical (regular or irregular) conformal blocks through the accessory parameter.

Fourier coefficients of continuous functions with sparse spectrum

2026-05-07T11:17:35Z

Let $(r_k)$ be an increasing sequence and $(w_k)$ a positive sequence. We study the following question: is it true that for every sequence $(a_k)$ satisfying $\sum_{k=0}^\infty |a_k|^2 w_k^2 < \infty$ there exists a function $f\in C(\mathbb{T})$ such that $\hat{f}(2^k) = a_k$ and $\hat{f}(n) = 0$ for $n\notin \cup_k [2^k-r_k,2^k+r_k]$? We show that this is possible if and only if $\sup_{k\in\mathbb{N}}\sum_{n=[\log_2 r_k]}^k w_k^{-2} < \infty$.

Finitude of Limit Cycles of Linear Piecewise ODEs in the Cylinder

2026-05-07T07:42:12Z

Let $x'=S(t,x)$ be a differential equation in the cylinder, linear piecewise in $x$ and with trigonometric coefficients in $t$. In this paper, we provide an upper bound on the number of limit cycles in terms of the number of regions of the piecewise equation and the degree of the coefficients, that is, an analogue of Hilbert's 16th problem in this context.

Grokability in five inequalities

2026-05-06T17:55:15Z

In this note, we report five mathematical discoveries made in collaboration with Grok, all of which have been subsequently verified by the authors. These include an improved lower bound on the maximal Gaussian perimeter of convex sets in $\mathbb{R}^n$, sharper $L_2$-$L_1$ moment comparison inequalities on the Hamming cube $\{-1,1\}^n$, a strengthened autoconvolution inequality, improved asymptotic bounds on the size of the largest $g$-Sidon sets in $\{1,\dots,n\}$, and an optimal balanced Szarek's inequality.

Almost-Orthogonality in Lp Spaces: A Case Study with Grok

2026-05-06T17:54:51Z

Carbery proposed the following sharpened form of triangle inequality for many functions: for any $p\ge 2$ and any finite sequence $(f_j)_j\subset L^p$ we have \[ \Big\|\sum_j f_j\Big\|_p \ \le\ \left(\sup_{j} \sum_{k} α_{jk}^{\,c}\right)^{1/p'} \Big(\sum_j \|f_j\|_p^p\Big)^{1/p}, \] where $c=2$, $1/p+1/p'=1$, and $α_{jk}=\sqrt{\frac{\|f_{j}f_{k}\|_{p/2}}{\|f_{j}\|_{p}\|f_{k}\|_{p}}}$. In the first part of this paper we construct a counterexample showing that this inequality fails for every $p>2$. We then prove that if an estimate of the above form holds, the exponent must satisfy $c\le p'$. Finally, at the critical exponent $c=p'$, we establish the inequality for all integer values $p\ge 2$. In the second part of the paper we obtain a sharp three-function bound \[ \Big\|\sum_{j=1}^{3} f_j\Big\|_p \ \le\ \left(1+2Γ^{c(p)}\right)^{1/p'} \Big(\sum_{j=1}^{3} \|f_j\|_p^p\Big)^{1/p}, \] where $p \geq 3$, $c(p) = \frac{2\ln(2)}{(p-2)\ln(3)+2\ln(2)}$ and $Γ=Γ(f_1,f_2,f_3)\in[0,1]$ quantifies the degree of orthogonality among $f_1,f_2,f_3$. The exponent $c(p)$ is optimal, and improves upon the power $r(p) = \frac{6}{5p-4}$ obtained previously by Carlen, Frank, and Lieb. Some intermediate lemmas and inequalities appearing in this work were explored with the assistance of the large language model Grok.