arXiv ScienceSearch

arXiv subjects

Jad Hamdan

Publications and source records attributed to Jad Hamdan.

10 recordsLinked to original sources

Partial sums of random multiplicative functions with supercritical divisor twists

Let $f$ be a Steinhaus random multiplicative function, and for $\alpha\in \mathbb{R}$, let $d_\alpha$ denote the $\alpha$-divisor function. For $\alpha \in (1,2)$ we establish that $$ \mathbb{E}\bigg\{\Big|\frac{1}{\sqrt{x}}\sum_{n\leq x} d_\alpha(n)f(n)\Big|^{2q}\bigg\} \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log\log x)^{3\alpha q/2}(1-\alpha q)+1} $$ uniformly for $q\in [0,1/\alpha]$ and all large $x$. This matches predictions from the theory of supercritical Gaussian multiplicative chaos, and provides an analogue of a seminal result of Harper corresponding to the critical ($\alpha=1$) case. Our approach is based on studying the measure of level sets of an Euler product associated with $f$, and yields a short proof of Harper's upper bound at $\alpha=1$ (implying Helson's conjecture at $q=1/2$). As an additional application, we obtain a conjecturally sharp bound for the pseudomoments of the Riemann zeta function in a certain parameter range, showing that $$ \lim_{T\to\infty}\frac{1}{T}\int_T^{2T} \bigg|\sum_{n\leq x}\frac{d_\alpha(n)}{n^{1/2+it}}\bigg|^{2q} \mathrm{d}t \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log\log x)^{3\alpha q/2}}, $$ for $\alpha\in (1,2)$ and small $q>0$. This answers a question of Gerspach.

math.NT

On the Fourier coefficients of critical Gaussian multiplicative chaos

We continue the study of the Fourier coefficients of Gaussian multiplicative chaos (GMC) recently initiated by Garban and Vargas. We show that if $\{c_n\}_{n\geq 1}$ are the Fourier coefficients of critical GMC on the unit interval, then $(\log n)^{\alpha}c_n$ converges to zero in probability as $n$ tends to infinity for any $\alpha<1/4$.

math.PR

Genus expansion for non-linear random matrix ensembles with applications to neural networks

We present a unified approach to studying certain non-linear random matrix ensembles and associated random neural networks at initialization. This begins with a novel series expansion for neural networks which generalizes Fa\'a di Bruno's formula to an arbitrary number of compositions. The role of monomials is played by random multilinear maps indexed by directed graphs, whose edges correspond to random matrices. Crucially, this expansion linearizes the effect of the activation functions, allowing for the direct application of Wick's principle and the genus expansion technique. As an application, we prove several results about neural networks with random weights. We first give a new proof of the fact that they converge to Gaussian processes as their width tends to infinity. Secondly, we quantify the rate of convergence of the Neural Tangent Kernel to its deterministic limit in Frobenius norm. Finally, we compute the moments of the limiting spectral distribution of the Jacobian (only the first two of which were previously known), expressing them as sums over non-crossing partitions. All of these results are then generalised to the case of neural networks with sparse and non-Gaussian weights, under moment assumptions.

math.PR

The Fyodorov--Hiary--Keating Conjecture on Mesoscopic Intervals

We derive precise upper bounds for the maximum of the Riemann zeta function on a typical short interval of the critical line. We show that for fixed $\theta\in(-1,0]$, large $T$, and $y\geq 2$ satisfying $y=O(\log\log T/\log\log\log T)$, the proportion of points $t\in [T,2T]$ for which \begin{align*} \max_{|h|\leq \log^\theta T}\big|\zeta(&\tfrac{1}{2}+it+ih)\big|>e^{y} \cdot e^{S\sqrt{(\log\log T)|\theta|/2}}\frac{(\log T)^{(1+\theta)}}{(\log\log T)^{3/4}} \end{align*} is bounded above by a constant times $y\exp({-2y-y^2/((1+\theta)\log\log T)})$, where $S=S(t)$ is a quantity whose value distribution is approximately that of a standard Gaussian. Up to a multiplicative constant, this settles the upper bound of a conjecture of Fyodorov--Hiary--Keating which was only known in the leading order for $\theta\in(-1,0)$. Using similar techniques, we also derive upper bounds for the second moment of the zeta function on such intervals. We show that for large $T$, the proportion of $t\in [T,2T]$ for which \begin{align*} \frac{1}{\log^\theta T}\int_{-\log^\theta T}^{\log^\theta T} \big|\zeta(&\tfrac{1}{2}+it+ih)\big|^2\mathrm{d}h > A e^{S\sqrt{2|\theta|\log\log T}} \frac{(\log T)^{(1+\theta)}}{\sqrt{\log\log T}} \end{align*} tends to zero as $A\to\infty$, for the same $S$ as above. This proves a weak form of another conjecture of Fyodorov--Keating and generalizes a result of Harper, which is recovered at $\theta = 0$ (in which case $S$ is defined to be zero). Our proofs use an adaptation of the recursive scheme introduced by one of the authors, Bourgade and Radziwi{\l}{\l}.

math.NT

A fixed-point approach to non-commutative central limit theorems

We show how the renormalization group approach can be used to prove quantitative central limit theorems (CLTs) in the setting of free, Boolean, bi-free and bi-Boolean independence under finite third moment assumptions. The proofs rely on the construction of a contraction on a subspace of probability measures over $\mathbb{R}$ (or $\mathbb{R}^2$) equipped with a suitable metric, which has the appropriate analogue of a Gaussian distribution as a fixed point (for instance, the semi-circle law in the case of free independence). In all cases, this yields a convergence rate of $1/\sqrt{n}$, and we show that this can be improved to $1/n$ in some instances under stronger assumptions.

math.PR

A note on the exact simulation of a random eigenvalue of a GUE matrix

We develop a simple algorithm to generate random variables described by densities equaling squared Hermite functions. As an application, we show how to generate a randomly chosen eigenvalue of a matrix from the Gaussian Unitary Ensemble ({\textsc{gue}}) in sub-linear expected time.

math.PR

Optimal Approximation Complexity of High-Dimensional Functions with Neural Networks

We investigate properties of neural networks that use both ReLU and $x^2$ as activation functions and build upon previous results to show that both analytic functions and functions in Sobolev spaces can be approximated by such networks of constant depth to arbitrary accuracy, demonstrating optimal order approximation rates across all nonlinear approximators, including standard ReLU networks. We then show how to leverage low local dimensionality in some contexts to overcome the curse of dimensionality, obtaining approximation rates that are optimal for unknown lower-dimensional subspaces.

cs.LG

Density estimation using cellular binary trees and an application to monotone densities

Consider a density $f$ on $[0,1]$ that must be estimated from an i.i.d. sample $X_1,...,X_n$ drawn from $f$. In this note, we study binary-tree-based histogram estimates that use recursive splitting of intervals. If the decision to split an interval is a (possibly randomized) function of the number of data points in the interval only, then we speak of an estimate of complexity one. We exhibit a universally consistent estimate of complexity one. If the decision to split is a function of the cardinalities of k equal-length sub-intervals, then we speak of an estimate of complexity k. We propose an estimate of complexity two that can estimate any bounded monotone density on $[0,1]$ with optimal expected total variation error $O(n^{-1/3})$.

math.ST

The lattice of arithmetic progressions

This paper concerns the lattice $L_n$ of subsets of $\{1,\ldots,n\}$ that are arithmetic progressions, under the inclusion order. For $n\geq 4$, this poset is not graded and thus not semimodular. We give three independent proofs of the fact that for $n\geq 2$, $\mu_n(L_n) = \mu(n-1)$, where $\mu_n$ is the M\"obius function of $L_n$ and $\mu$ is the classical (number-theoretic) M\"obius function. We also show that $L_n$ is comodernistic, which implies that $L_n$ is EL-labelable. Comodernism is then used to prove that the order complex $\Delta_n$ of the lattice is either contractible or homotopy equivalent to a sphere.

math.CO

Universal height and width bounds for random trees

We prove non-asymptotic stretched exponential tail bounds on the height of a randomly sampled node in a random combinatorial tree, which we use to prove bounds on the heights and widths of random trees from a variety of models. Our results allow us to prove a conjecture and settle an open problem of Janson (https://doi.org/10.1214/11-PS188), and nearly prove another conjecture and settle another open problem from the same work (up to a polylogarithmic factor). The key tool for our work is an equivalence in law between the degrees along the path to a random node in a random tree with given degree statistics, and a random truncation of a size-biased ordering of the degrees of such a tree. We also exploit a Poissonization trick introduced by Camarri and Pitman (https://doi.org/10.1214/EJP.v5-58) in the context of inhomogeneous continuum random trees, which we adapt to the setting of random trees with fixed degrees. Finally, we propose and justify a change to the conventions of branching process nomenclature: the name "Galton-Watson trees" should be permanently retired by the community, and replaced with the name "Bienaym\'e trees".

math.PR