Zero correlations and averaged fields of orthonormal Gaussian functions

2026-05-17T07:16:21Z

We consider the family of point processes $\{\mathcal{Z}_{f_{n}}\}_{n=0}^{\infty}$ of zeros of Gaussian random functions $\{f_{n}(z,\overline{z})\}_{n=0}^{\infty} $, arising from the Gaussian Entire Function \[ f_{0}(z):=\sum_{k=0}^{\infty} ζ_{k} \frac{z^{k}}{\sqrt{k!}}, \quad ζ_{k} \sim N_{\mathbb{C}}(0,1)\text{ i.i.d.} \] by iteration of the Landau raising operator, and orthonormal at each point in expectation in the sense that \[ \mathbb{E}\left[ e^{-\left\vert z\right\vert^{2}}f_{n}(z,\overline{z})\overline{f_{n^{\prime }}(z,\overline{z})}\right] ={δ}_{nn'}. \] We first show that the normalized pair correlations $g_{n,n+k}(z,w)$ of the pairs $(\mathcal{Z}_{f_{n}},\mathcal{Z}_{f_{n+k}})$ exhibit \emph{a pattern reminiscent of the classical interlacing of zeros of orthogonal polynomials}: when $w\rightarrow z$, $g_{n,n+k}$ displays repulsion for $k=1$, attraction for $k=2$, and no short-range second-order correlation for $k \ge 3$. We complement this with the convergence of real-valued averaged fields on compacts $K \subset \mathbb{C}$, \[ \lim_{N \to \infty} \frac{1}{N}\sum_{n=0}^{N-1}\left\vert f_{n}(z,\overline{z})e^{-\frac{\left\vert z\right\vert^{2}}{2}} \right\vert^{2} \rightarrow 1 \quad \text{ almost surely in $C(K)$}, \] and a functional central limit theorem for the corresponding scaled fluctuations, which converge to the Gaussian process \[\mathcal{G}(z) = \frac{1}{\sqrtπ} \int_{\mathbb{C}} \mathbf{1}_{B(z,1)}(u) dW_{\mathbb{R}}(u), \] where $W_{\mathbb{R}}$ denotes real white noise on $\mathbb{C}$ and $B(z,1)$ is the unit disk centered at $z$. The results are motivated by problems in signal processing. Due to an identification with white noise spectrograms, they confirm conjectures of Flandrin and Bayram-Baraniuk and provide a rationale for the efficiency of high resolution time-frequency algorithms, namely \emph{ConceFT}, by Daubechies, Wang and Wu.

Sharp thresholds for the Escobar functional: the Escobar-Willmore mass, geometric selection, and compactness trichotomy

2026-05-17T07:13:47Z

We study the hemisphere threshold for the conformally covariant Escobar functional on compact Riemannian manifolds $(M^n,g)$ with boundary. The near-threshold landscape is organized by boundary invariants: the first-order coefficient $ρ_n^{\mathrm{conf}}H_g$ vanishes identically, so the leading obstruction is a renormalized boundary mass $\mathfrak R_g$ (second order, $n\ge5$), followed by a cubic invariant $Θ_g$ (third order, $n\ge6$), with a Green kernel interaction $\mathsf G_\partial$ in the multi-bubble regime. Exact evaluation of weighted profile moments yields $κ_1=κ_2=0$: the coefficients of $\operatorname{Ric}_g(ν,ν)$ and $\mathrm{Scal}_{\bar g}$ in the bare mass vanish. On $\{H_g=0\}$ the mass reduces to $\mathfrak R_g^{\mathrm{bare}}=\frac{6-n}{2(n-1)(n-3)(n-4)}|\mathring{\mathrm{II}}|^2$. The Lyapunov--Schmidt correction gives $\mathfrak R_g^{\mathrm{red}}\le\mathfrak R_g^{\mathrm{bare}}\le0$ for $n\ge6$; for $n=5$ the nonlocal back-reaction overcomes the positive bare coefficient. In every dimension $n\ge5$, non-umbilic boundaries are automatically subcritical: $C^*_{\mathrm{Esc}}0$ yields compactness and hemispherical rigidity. In the multi-bubble regime we establish global compactness at Escobar multiples with equal-mass quantization and conditional exclusion of pure multi-bubbling.

Applications of the Painlevé-Kuratowski convergence: Lipschitz functions with converging Clarke subdifferentials and convergence of sets defined by converging equations

2026-05-16T19:25:54Z

In this note we investigate three kinds of applications of the Painlevé-Kuratowski convergence of closed sets in analysis that are motivated also by questions from singularity theory. Firstly, we generalise to Lipschitz functions the classical theorem stating that given a sequence of smooth functions with locally uniformly convergent derivatives, we obtain the local uniform convergence of the functions themselves (provided they were convergent at one point). Secondly, we prove the reverse theorem for the squared distance function. Next, we turn to the study of the behaviour of the fibres of a given function. We prove some general real counterparts of the Hurwitz theorem from complex analysis (stating that the local uniform convergence of holomorphic functions implies the convergence of their sets of zeroes). From the point of view of singularity theory our two theorems concern the convergence of the sets when their descriptions are convergent. They are also of interest in approximation theory and they give some partial results to the problem of when is the limit of a convergent sequence of real algebraic sets algebraic.

Weighted Bounded Variation Revisited

2026-05-15T19:32:17Z

In this article, we investigate the theory of weighted functions of bounded variation (BV), as introduced by Baldi [Ba01]. Depending on the theorem, we impose lower semicontinuity and/or a pointwise A1 condition on the weight. Our motivation is twofold: to establish weighted Gagliardo-Nirenberg-Sobolev (GNS) inequalities for BV functions, and to clarify and extend earlier results on weighted BV spaces. Our main contributions include a structure theorem under minimal assumptions (lower semicontinuity), a smooth approximation result, an embedding theorem, a weighted GNS inequality for BV functions, and a corresponding weighted isoperimetric inequality.

Zero asymptotics for successive derivatives of hyperexponential functions with finite essential singularities

2026-05-15T15:57:19Z

Pólya's shire theorem identifies the final set of zeros of successive derivatives of an arbitrary meromorphic function with at least one pole with the Voronoi diagram of its finite poles. We prove a fixed-scale zero-counting law for hyperexponential functions $f=(P/Q)\exp(S/T)$, allowing ordinary poles and finite essential singularities of arbitrary order and position, thus extending Pólya's picture beyond the rational, polynomial-exponential, and one-dimensional finite-essential-singularity settings. After the forced singular factors are removed from the numerator of $f^{(n)}$, the normalized zero-counting measures converge in the original $z$-plane to the classical Voronoi edge measure generated by all finite singular sites, augmented by explicitly weighted atoms at the finite essential singularities, which thereby enter Pólya's picture both as Voronoi sites and as sources of linear-size zero clusters. If $S/T$ has a nonconstant polynomial part, the complementary mass escapes to infinity. We determine the microscopic laws of these clusters, obtaining the reciprocal Marchenko--Pastur law for simple poles of $S/T$ and higher-order multiple-Laguerre, equivalently Laguerre Muttalib--Borodin, limits for higher-order poles. Finally, inside essential Voronoi cells we identify the first sublinear zero layer, including its Stokes geometry, densities, and final-set consequences away from transition loci.

Area of Hölder curves and coarea formula on the Heisenberg group

2026-05-15T14:20:09Z

We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in subriemannian geometry. This answers a question left open in the works of Magnani, Kozhevnikov, Magnani--Stepanov--Trevisan, and Julia--Nicolussi Golo--Vittone. The main difficulty of the proof is that a fiber of a $C^1_{\mathrm{H}}$ map $f: \mathbb H_n\to \mathbb R^{2n}$ is typically an unrectifiable curve. Its measure depends on the symplectic area of its projection to $\mathbb R^{2n}$. A bound on this area would imply the coarea formula, but examples of Kozhevnikov show that this area can be infinite or undefined. To overcome this, we introduce an integral that we use to define both the symplectic area of $\frac{1}{2}$--Hölder curves in $\mathbb R^{2n}$ and the symplectic area of projections of vertical curves in $\mathbb H_n$. Then, we give a geometric condition for this integral to converge. This yields, in addition, new results on the existence of the signed area of $\tfrac12$--Hölder planar curves that may be of independent interest. Finally, we use $β$--number estimates from the Fässler--Orponen Dorronsoro Theorem to show that this geometric condition holds for almost every fiber.

Projections of convex polytopes to a line and higher univariate Prony systems

2026-05-15T12:56:20Z

Motivated by the inverse moment problem for convex polytopes, we study the pushforward to a line of the Lebesgue measure restricted to a convex $d$-polytope. Such pushforwards are spline densities of degree $d-1$, and their moments lead naturally to a family of ``higher'' univariate Prony systems, with the classical Prony system recovered when $d=0$. We describe the corresponding fixed-knot spline cone, give an explicit amplitude recovery criterion, record the rational generating function and recurrence satisfied by the normalized moments, and identify the directional moment variety with the Hankel determinantal variety appearing in the theory of moment varieties of measures on polytopes.

Generalized Error Bounds in the Recovery of Solitary Wave Profiles

2026-05-15T04:00:12Z

We investigate the robustness of Constantin's explicit reconstruction formula for two-dimensional irrotational solitary water waves. This formula recovers the free-surface profile from the dynamic pressure trace at the bed and depends on both the wave speed and the undisturbed depth. We consider simultaneous perturbations in these three quantities and derive an $L^2$ error estimate for the reconstructed profile. The proof uses the hodograph transform, holomorphic extension arguments, and Paley--Wiener Fourier-decay estimates, yielding stability estimates with sublinear dependence on the perturbation size. We include numerical computations to illustrate the effects of specifically designed perturbations.

A Weyl-type theorem for Diophantine approximations driven by LCA groups and applications

2026-05-15T03:44:30Z

We investigate actions of locally compact Abelian (LCA) groups on the torus $\mathbb{T}^n$, motivated by their close connection with Diophantine approximation. While Kronecker's theorem yields a classical density result, we prove a stronger equidistribution theorem of Weyl type: every such action admits a decomposition into uniquely ergodic subsystems. The proof of this result is based on a characterization of unique ergodicity for actions of amenable groups on compact metric spaces. As consequences, we establish several foundational results for LCA groups, including the Bohr orthogonality of characters along arbitrary Folner sequences, a Bohr mean formula for almost periodic functions, and a Wiener-type theorem on LCA groups characterizing the discrete part of a Borel probability measure through its Fourier transform.

A Minimalist Approach to Rolling Wheels

2026-05-14T15:41:00Z

In 1960, G. B. Robison discovered the general equations relating roads and wheels, where either can have an unusual shape (e.g., the square wheel rolls smoothly on a catenary). But he used some inobvious assumptions regarding the meaning of rolling. Here we derive the equations for the road appropriate for a given wheel using only the single assumption that rolling occurs with no slipping. We do not require that the wheel be differentiable, so this allows the construction of a wheel-road pair when the wheel is a continuous nowhere differentiable function.

Bilinear embedding for divergence-form operators with first-order terms and negative potentials

2026-05-14T11:14:03Z

This article establishes a bilinear embedding for second-order divergence-form operators with complex coefficients, characterized by the simultaneous presence of first-order terms and negative potentials. This work provides a further development of the theory initiated by Carbonaro and Dragičević for the homogeneous case, and recently extended by the second author to cases where first-order terms or negative potentials were treated in isolation. We work in the general setting of arbitrary open subsets of $\mathbb{R}^d$ under Dirichlet, Neumann, or mixed boundary conditions. Our main contribution is the introduction of a unified notion of generalized $p$-ellipticity that extends all its predecessors and serves as the natural condition for the bilinear inequality. Methodologically, we overcome the rigidity of the Bellman-heat method on arbitrary open subsets by introducing a novel sequence-based approach that unifies and simplifies the previous techniques. As fundamental applications, we prove the boundedness of the $H^\infty$-calculus on $L^p$ and establish $L^p$-maximal regularity. Moreover, we show that this generalized $p$-ellipticity provides a sufficient condition for the $L^p$-contractivity and $L^p$-analyticity of the generated semigroup.

Darboux-type formula for Jacobi biorthogonal polynomials

2026-05-14T10:25:47Z

In this paper, we study the asymptotic behavior of Jacobi biorthogonal polynomials. A Darboux-type formula is established using the method of steepest descent. In the proof, we construct an appropriate contour to apply the Rodrigues formula. Our result reduces to the classical Darboux formula in the orthogonal case.

Theta functions and transformations of bilateral basic hypergeometric series

2026-05-14T06:04:40Z

We establish new transformation formulas involving theta functions and certain bilateral basic hypergeometric series. From these formulas, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove several conjectures of McIntosh on asymptotic transformations of $q$-series. Moreover, our results extend some identities of Ramanujan and McIntosh.

The Sobolev space $W_2^{1/2}$: Simultaneous improvement of functions by a homeomorphism of the circle

2026-05-14T03:49:45Z

It is known that for every continuous real-valued function $f$ on the circle $\mathbb T=\mathbb R/2π\mathbb Z$ there exists a change of variable, i.e., a self-homeomorphism $h$ of $\mathbb T$, such that the superposition $f\circ h$ is in the Sobolev space $W_2^{1/2}(\mathbb T)$. We obtain new results on simultaneous improvement of functions by a single change of variable in relation to the space $W_2^{1/2}(\mathbb T)$. The main result is as follows: there does not exist a self-homeomorphism $h$ of $\mathbb T$ such that $f\circ h\in W_2^{1/2}(\mathbb T)$ for every $f\in \mathrm{Lip}_{1/2}(\mathbb T)$. Here $\mathrm{Lip}_{1/2}(\mathbb T)$ is the class of all functions on $\mathbb T$ satisfying the Lipschitz condition of order $1/2$.

Optimal $C^{1,1}$ and Quasi-Optimal $C^2$ Monotone Interpolation with Curvature Control

2026-05-14T03:08:39Z

We study monotone Hermite interpolation on an interval, where both function values and first derivatives are prescribed at the nodes. Among all $C^{1,1}$ interpolants, we seek one with optimal curvature, measured by $\|F''\|_{L^\infty}$. In this paper, we analyze the limitations of some classical techniques, and provide an explicit optimal construction in $C^{1,1}$ given by quadratic splines by studying the optimal velocity profile. Moreover, given $E = \{x_1,\cdots,x_N\}$ and $f: E\to \mathbb{R}$ (without derivatives), we also provide a formula to compute the corresponding trace seminorm \[ \inf\Bigl\{ \|F''\|_{L^\infty} : F(x)=f(x) \text{ on $E$ and } F'\ge 0 \text{ everywhere} \Bigr\}. \] In addition, we also describe how to mollify $C^{1,1}$ solutions to $C^2$ while preserving monotonicity and sacrificing a controlled amount of optimality.