Showing 1–50 of 126 results for author: Zeitouni, O

Exponential growth of random infinite Fibonacci sequences

Authors: Ilya Goldsheid, Ofer Zeitouni

Abstract: We consider the recursion $X_{n+1}=\sum_{i=0}^n ε_{n,i}X_{n-i}$, where $ε_{n,i}$ are i.i.d. (Bernoulli) random variables taking values in $\{-1,1\}$, and $X_0=1$, $X_{-j}=0$ for $j>0$. We prove that almost surely, $n^{-1}\log |X_n|\to \bar γ>0$, where $\bar γ$ is an appropriate Lyapunov exponent. This answers a question of Viswanath and Trefethen (\textit{SIAM J. Matrix Anal. Appl. 19:564--581, 19… ▽ More We consider the recursion $X_{n+1}=\sum_{i=0}^n ε_{n,i}X_{n-i}$, where $ε_{n,i}$ are i.i.d. (Bernoulli) random variables taking values in $\{-1,1\}$, and $X_0=1$, $X_{-j}=0$ for $j>0$. We prove that almost surely, $n^{-1}\log |X_n|\to \bar γ>0$, where $\bar γ$ is an appropriate Lyapunov exponent. This answers a question of Viswanath and Trefethen (\textit{SIAM J. Matrix Anal. Appl. 19:564--581, 1998}). △ Less

Submitted 1 May, 2025; originally announced May 2025.

The maximum of the two dimensional Gaussian directed polymer in the subcritical regime

Authors: Clément Cosco, Shuta Nakajima, Ofer Zeitouni

Abstract: We study the maximum $φ_N^*$ of the partition function of the two dimensional (subcritical) Gaussian directed polymer over an $\sqrt N \times \sqrt N$ box. We show that $φ_N^*/\log N$ converges towards a constant $σ^*$, which we identify to be the same as for the maximum of a branching random walk with a slowly varying variance profile as studied in Fang-Zeitouni, J. Stat. Phys. 2012 and (in the c… ▽ More We study the maximum $φ_N^*$ of the partition function of the two dimensional (subcritical) Gaussian directed polymer over an $\sqrt N \times \sqrt N$ box. We show that $φ_N^*/\log N$ converges towards a constant $σ^*$, which we identify to be the same as for the maximum of a branching random walk with a slowly varying variance profile as studied in Fang-Zeitouni, J. Stat. Phys. 2012 and (in the context of the generalized random energy model) in Bovier-Kurkova, Ann. Inst. H. Poincare 2004. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: 26 pages

MSC Class: Primary 60K37; secondary 60K35; 82A51; 82D30

Decay of correlations for the massless hierarchical Liouville model in infinite volume

Authors: Michael Hofstetter, Ofer Zeitouni

Abstract: Let $(A_v)_{v\in \mathcal{T}}$ be the balanced Gaussian Branching Random Walk on a $d$-ary tree $\mathcal{T}$ and let $M^A$ be the multiplicative chaos with parameter $γ\in (0, \sqrt{2\log d})$ constructed from $A$. In this work we establish the precise first order asymptotics of negative exponential moment of $M^A$, i.e.\ we prove that for $t_k = λp_γ^k$ with $λ>0$ and $p_γ$ an explicit constant… ▽ More Let $(A_v)_{v\in \mathcal{T}}$ be the balanced Gaussian Branching Random Walk on a $d$-ary tree $\mathcal{T}$ and let $M^A$ be the multiplicative chaos with parameter $γ\in (0, \sqrt{2\log d})$ constructed from $A$. In this work we establish the precise first order asymptotics of negative exponential moment of $M^A$, i.e.\ we prove that for $t_k = λp_γ^k$ with $λ>0$ and $p_γ$ an explicit constant depending only on $γ$, we have as $k \to \infty$, \begin{equation} -\frac{1}{d^k} \log \mathbb{E}[e^{-λp_γ^k M^A } ] \to h(λ), \end{equation} where $h\colon (0,\infty)\to \mathbb{R}$ is a non-explicit positive continuous function. This result allows us to study the law of $A$ tilted by $e^{-t_k M^A}$ for particular values of $λ$, with $k\to \infty$. In this setting we prove that the normalized $L^1$ norm of $A$ in generation $k-a$ is bounded and converges to $0$ when first $k\to \infty$ and then $a\to 0$. As an application we prove that in this setting, under the tilt $e^{-t_k M^A}$ and with $k\to \infty$, the Branching Random Walk $A$ exhibits a weak decay of correlation, which is not present in the non-tilted model. Our methods also apply to the usual Branching Random Walk $(S_v)_{v\in \mathcal{T}}$ and with $M^A$ replaced by $\frac{1}{2}(M^+ + M^- )$, where $M^+$ and $M^-$ are the multiplicative chaoses with parameter $γ\in (0, \sqrt{2\log d})$ constructed from $S$ and $-S$. In that case we prove that, as $k\to \infty$, \begin{equation} -\frac{1}{d^k} \log \mathbb{E}[e^{- \frac{λp_γ^k}{2}( M^+ + M^-) }] \to \tilde h(λ), \end{equation} where $\tilde h\colon (0,\infty)\to \mathbb{R}$ is again a non-explicit positive continuous function. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Comments: 38 pages, 2 figures

Tightness of the maximum of Ginzburg-Landau fields

Authors: Florian Schweiger, Wei Wu, Ofer Zeitouni

Abstract: We consider the discrete Ginzburg-Landau field with potential satisfying a uniform convexity condition, in the critical dimension $d=2$, and prove that its maximum over boxes of sidelength $N$, centered by an explicit $N$-dependent centering, is tight. We consider the discrete Ginzburg-Landau field with potential satisfying a uniform convexity condition, in the critical dimension $d=2$, and prove that its maximum over boxes of sidelength $N$, centered by an explicit $N$-dependent centering, is tight. △ Less

Submitted 18 March, 2024; originally announced March 2024.

The shape of the front of multidimensional branching Brownian motion

Authors: Yujin H. Kim, Ofer Zeitouni

Abstract: We study the shape of the outer envelope of a branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$. We focus on the extremal particles: those whose norm is within $O(1)$ of the maximal norm amongst the particles alive at time $t$. Our main result is a scaling limit, with exponent $3/2$, for the outer-envelope of the BBM around each extremal particle (the "front"); the scaling limit is a co… ▽ More We study the shape of the outer envelope of a branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$. We focus on the extremal particles: those whose norm is within $O(1)$ of the maximal norm amongst the particles alive at time $t$. Our main result is a scaling limit, with exponent $3/2$, for the outer-envelope of the BBM around each extremal particle (the "front"); the scaling limit is a continuous random surface given explicitly in terms of a Bessel(3) process. Towards this end, we introduce a point process that captures the full landscape around each extremal particle and show convergence in distribution to an explicit point process. This complements the global description of the extremal process given in Berestycki et. al. (Ann. Probab., to appear), where the local behavior at directions transversal to the radial component of the extremal particles is not addressed. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Comments: 26 pages, 2 figures

MSC Class: 60D05; 60G70; 60J80; 60J60; 60G55

Optimal rigidity and maximum of the characteristic polynomial of Wigner matrices

Authors: Paul Bourgade, Patrick Lopatto, Ofer Zeitouni

Abstract: We determine to leading order the maximum of the characteristic polynomial for Wigner matrices and $β$-ensembles. In the special case of Gaussian-divisible Wigner matrices, our method provides universality of the maximum up to tightness. These are the first universal results on the Fyodorov--Hiary--Keating conjectures for these models, and in particular answer the question of optimal rigidity for… ▽ More We determine to leading order the maximum of the characteristic polynomial for Wigner matrices and $β$-ensembles. In the special case of Gaussian-divisible Wigner matrices, our method provides universality of the maximum up to tightness. These are the first universal results on the Fyodorov--Hiary--Keating conjectures for these models, and in particular answer the question of optimal rigidity for the spectrum of Wigner matrices. Our proofs combine dynamical techniques for universality of eigenvalue statistics with ideas surrounding the maxima of log-correlated fields and Gaussian multiplicative chaos. △ Less

Submitted 10 August, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 62 pages

Voting models and tightness for a family of recursion equations

Authors: Xaver Kriechbaum, Lenya Ryzhik, Ofer Zeitouni

Abstract: We consider recursion equations of the form $u_{n+1}(x)=Q[u_n](x),~n\ge 1,~x\in R$, with a non-local operator $Q[u](x)= g( u\ast q)$, where $g$ is a polynomial, satisfying $g(0)=0$, $g(1)=1$, $g((0,1)) \subseteq (0,1)$, and $q$ is a (compactly supported) probability density with $\ast$ denoting convolution. Motivated by a line of works for nonlinear PDEs initiated by Etheridge, Freeman and Peningt… ▽ More We consider recursion equations of the form $u_{n+1}(x)=Q[u_n](x),~n\ge 1,~x\in R$, with a non-local operator $Q[u](x)= g( u\ast q)$, where $g$ is a polynomial, satisfying $g(0)=0$, $g(1)=1$, $g((0,1)) \subseteq (0,1)$, and $q$ is a (compactly supported) probability density with $\ast$ denoting convolution. Motivated by a line of works for nonlinear PDEs initiated by Etheridge, Freeman and Penington (2017), we show that for general $g$, a probabilistic model based on branching random walk can be given to the solution of the recursion, while in case $g$ is also strictly monotone, a probabilistic threshold-based model can be given. In the latter case, we provide a conditional tightness result. We analyze in detail the bistable case and prove for it convergence of the solution shifted around a linear in $n$ centering. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Moments of partition functions of 2D Gaussian polymers in the weak disorder regime -- II

Authors: Clément Cosco, Ofer Zeitouni

Abstract: Let $W_N(β) = \mathrm{E}_0\left[e^{ \sum_{n=1}^N βω(n,S_n) - Nβ^2/2}\right]$ be the partition function of a two-dimensional directed polymer in a random environment, where $ω(i,x), i\in \mathbb{N}, x\in \mathbb{Z}^2$ are i.i.d. standard normal and $\{S_n\}$ is the path of a random walk. With $β=β_N=\widehatβ \sqrt{π/\log N}$ and $\widehatβ\in (0,1)$ (the subcritical window), $\log W_N(β_N)$ is kno… ▽ More Let $W_N(β) = \mathrm{E}_0\left[e^{ \sum_{n=1}^N βω(n,S_n) - Nβ^2/2}\right]$ be the partition function of a two-dimensional directed polymer in a random environment, where $ω(i,x), i\in \mathbb{N}, x\in \mathbb{Z}^2$ are i.i.d. standard normal and $\{S_n\}$ is the path of a random walk. With $β=β_N=\widehatβ \sqrt{π/\log N}$ and $\widehatβ\in (0,1)$ (the subcritical window), $\log W_N(β_N)$ is known to converge in distribution to a Gaussian law of mean $-λ^2/2$ and variance $λ^2$, with $λ^2=\log ((1-\widehatβ^2)^{-1})$ (Caravenna, Sun, Zygouras, Ann. Appl. Probab. (2017)). We study in this paper the moments $\mathbb E [W_N( β_N)^q]$ in the subcritical window, and prove a lower bound that matches for $q=O(\sqrt{\log N})$ the upper bound derived by us in Cosco, Zeitouni, arXiv:2112.03767 [math.PR]. The analysis is based on appropriate decouplings and a Poisson convergence that uses the method of ''two moments suffice''. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 26 pages

MSC Class: Primary 82B44 secondary 82D60; 60G50; 60H15

Law of large numbers for the maximum of the two-dimensional Coulomb gas potential

Authors: Gaultier Lambert, Thomas Leblé, Ofer Zeitouni

Abstract: We derive the leading order asymptotics of the logarithmic potential of a two dimensional Coulomb gas at arbitrary positive temperature. The proof is based on precise evaluation of exponential moments, and the theory of Gaussian multiplicative chaos. We derive the leading order asymptotics of the logarithmic potential of a two dimensional Coulomb gas at arbitrary positive temperature. The proof is based on precise evaluation of exponential moments, and the theory of Gaussian multiplicative chaos. △ Less

Submitted 13 February, 2024; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: 33p. Added full definitions and more details about our main imports from the literature. Minor corrections

The extremal landscape for the C$β$E ensemble

Authors: Elliot Paquette, Ofer Zeitouni

Abstract: We consider the extremes of the logarithm of the characteristic polynomial of matrices from the C$β$E ensemble. We prove convergence in distribution of the centered maxima (of the real and imaginary parts) towards the sum of a Gumbel variable and another independent variable, which we characterize as the total mass of a "derivative martingale". We also provide a description of the landscape near e… ▽ More We consider the extremes of the logarithm of the characteristic polynomial of matrices from the C$β$E ensemble. We prove convergence in distribution of the centered maxima (of the real and imaginary parts) towards the sum of a Gumbel variable and another independent variable, which we characterize as the total mass of a "derivative martingale". We also provide a description of the landscape near extrema points. △ Less

Submitted 23 October, 2024; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: Appendix B is an adaptation of estimates from arXiv:1607.00243 and uses their source file as template. V3 incorporates numerous comments of the referee and makes numerous corrections throughout the paper. To appear in Forum of Mathematics, Sigma

The maximum of log-correlated Gaussian fields in random environments

Authors: Florian Schweiger, Ofer Zeitouni

Abstract: We study the distribution of the maximum of a large class of Gaussian fields indexed by a box $V_N\subset Z^d$ and possessing logarithmic correlations up to local defects that are sufficiently rare. Under appropriate assumptions that generalize those in Ding, Roy and Zeitouni (Annals Probab. (45) 2017, 3886-3928), we show that asymptotically, the centered maximum of the field has a randomly-shifte… ▽ More We study the distribution of the maximum of a large class of Gaussian fields indexed by a box $V_N\subset Z^d$ and possessing logarithmic correlations up to local defects that are sufficiently rare. Under appropriate assumptions that generalize those in Ding, Roy and Zeitouni (Annals Probab. (45) 2017, 3886-3928), we show that asymptotically, the centered maximum of the field has a randomly-shifted Gumbel distribution. We prove that the two dimensional Gaussian free field on a super-critical bond percolation cluster with $p$ close enough to $1$, as well as the Gaussian free field in i.i.d. bounded conductances, fall under the assumptions of our general theorem. △ Less

Submitted 15 May, 2022; originally announced May 2022.

On the limiting law of line ensembles of Brownian polymers with geometric area tilts

Authors: Amir Dembo, Eyal Lubetzky, Ofer Zeitouni

Abstract: We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$,… ▽ More We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$, was established under either zero or free boundary conditions, which in the former setting implied the existence of a limit via a monotonicity argument. Here we address the open problem of a limit under free boundary conditions: we prove that as the interval length, followed by the number of paths, go to $\infty$, the top $k$ paths converge to the same limit as in the free boundary case, as conjectured by Caputo, Ioffe and Wachtel. △ Less

Submitted 10 May, 2022; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: Revision adds treatment of non-integer $T$, allows for boundary measures different than Lebesgue, and addresses referees comments. To appear in Annals Inst. H. Poincare

The extremal point process of branching Brownian motion in $\mathbb{R}^d$

Authors: Julien Berestycki, Yujin H. Kim, Eyal Lubetzky, Bastien Mallein, Ofer Zeitouni

Abstract: We consider a branching Brownian motion in $\mathbb{R}^d$ with $d \geq 1$ in which the position $X_t^{(u)}\in \mathbb{R}^d$ of a particle $u$ at time $t$ can be encoded by its direction $θ^{(u)}_t \in \mathbb{S}^{d-1}$ and its distance $R^{(u)}_t$ to 0. We prove that the {\it extremal point process} $\sum δ_{θ^{(u)}_t, R^{(u)}_t - m_t^{(d)}}$ (where the sum is over all particles alive at time $t$… ▽ More We consider a branching Brownian motion in $\mathbb{R}^d$ with $d \geq 1$ in which the position $X_t^{(u)}\in \mathbb{R}^d$ of a particle $u$ at time $t$ can be encoded by its direction $θ^{(u)}_t \in \mathbb{S}^{d-1}$ and its distance $R^{(u)}_t$ to 0. We prove that the {\it extremal point process} $\sum δ_{θ^{(u)}_t, R^{(u)}_t - m_t^{(d)}}$ (where the sum is over all particles alive at time $t$ and $m^{(d)}_t$ is an explicit centring term) converges in distribution to a randomly shifted decorated Poisson point process on $\mathbb{S}^{d-1} \times \mathbb{R}$. More precisely, the so-called {\it clan-leaders} form a Cox process with intensity proportional to $D_\infty(θ) e^{-\sqrt{2}r} ~\mathrm{d} r ~\mathrm{d} θ$, where $D_\infty(θ)$ is the limit of the derivative martingale in direction $θ$ and the decorations are i.i.d. copies of the decoration process of the standard one-dimensional branching Brownian motion. This proves a conjecture of Stasiński, Berestycki and Mallein (Ann. Inst. H. Poincaré 57:1786--1810, 2021), and builds on that paper and on Kim, Lubetzky and Zeitouni (arXiv:2104.07698). △ Less

Submitted 29 November, 2023; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 20 pages, 4 figures; Version 2 includes referees comments

MSC Class: 60J65; 60J70; 60J80

Moments of partition functions of 2D Gaussian polymers in the weak disorder regime -- I

Authors: Clément Cosco, Ofer Zeitouni

Abstract: Let $W_N(β) = \mathrm{E}_0\left[e^{ \sum_{n=1}^N βω(n,S_n) - Nβ^2/2}\right]$ be the partition function of a two-dimensional directed polymer in a random environment, where $ω(i,x), i\in \mathbb{Z}_+, x\in \mathbb{Z}^2$ are i.i.d.\ standard normal and $\{S_n\}$ is the path of a random walk. With $β=β_N=\hatβ\sqrt{π/\log N}$ and $\hat β\in (0,1)$ (the subcritical window), $\log W_N(β_N)$ is known to… ▽ More Let $W_N(β) = \mathrm{E}_0\left[e^{ \sum_{n=1}^N βω(n,S_n) - Nβ^2/2}\right]$ be the partition function of a two-dimensional directed polymer in a random environment, where $ω(i,x), i\in \mathbb{Z}_+, x\in \mathbb{Z}^2$ are i.i.d.\ standard normal and $\{S_n\}$ is the path of a random walk. With $β=β_N=\hatβ\sqrt{π/\log N}$ and $\hat β\in (0,1)$ (the subcritical window), $\log W_N(β_N)$ is known to converge in distribution to a Gaussian law of mean $-λ^2/2$ and variance $λ^2$, with $λ^2=\log \big(1/(1-\hatβ^2\big)$ (Caravenna, Sun, Zygouras, Ann. Appl. Probab. (2017)). We study in this paper the moments $\mathbb{E} [W_N( β_N)^q]$ in the subcritical window, for $q=O(\sqrt{\log N})$. The analysis is based on ruling out triple intersections △ Less

Submitted 19 June, 2023; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: 24 pages. V1 corrected a typo and added an acknowledgement. V2 significantly strengthens the main result by getting rid of the "nuisance term" from previous versions. V3 is the revised version. It corrects some typos, fixes an issue with the definition of the function phi in Section 3.5 and adds Lemma 3.8 to describe properties of phi. The upper bound in Theorem 2.1 is now slightly more precise

MSC Class: Primary 82B44 secondary 82D60; 60G50; 60H15

Concentration of the complexity of spherical pure $p$-spin models at arbitrary energies

Authors: Eliran Subag, Ofer Zeitouni

Abstract: We consider critical points of the spherical pure $p$-spin spin glass model with Hamiltonian $H_{N}\left(\boldsymbolσ\right)=\frac{1}{N^{\left(p-1\right)/2}}\sum_{i_{1},...,i_{p}=1}^{N}J_{i_{1},...,i_{p}}σ_{i_{1}}\cdotsσ_{i_{p}}$, where $\boldsymbolσ=\left(σ_{1},...,σ_{N}\right)\in \mathbb{S}^{N-1}:=\left\{ \boldsymbolσ\in\mathbb{R}^{N}:\,\left\Vert \boldsymbolσ\right\Vert _{2}=\sqrt{N}\right\} $… ▽ More We consider critical points of the spherical pure $p$-spin spin glass model with Hamiltonian $H_{N}\left(\boldsymbolσ\right)=\frac{1}{N^{\left(p-1\right)/2}}\sum_{i_{1},...,i_{p}=1}^{N}J_{i_{1},...,i_{p}}σ_{i_{1}}\cdotsσ_{i_{p}}$, where $\boldsymbolσ=\left(σ_{1},...,σ_{N}\right)\in \mathbb{S}^{N-1}:=\left\{ \boldsymbolσ\in\mathbb{R}^{N}:\,\left\Vert \boldsymbolσ\right\Vert _{2}=\sqrt{N}\right\} $ and $J_{i_{1},...,i_{p}}$ are i.i.d standard normal variables. Using a second moment analysis, we prove that for $p\geq 32$ and any $E>-E_\infty$, where $E_\infty$ is the (normalized) ground state, the ratio of the number of critical points $\boldsymbolσ$ with $H_N(\boldsymbolσ)\leq NE$ and its expectation asymptotically concentrates at $1$. This extends to arbitrary $E$ a similar conclusion of [Sub17a]. △ Less

Submitted 7 September, 2021; originally announced September 2021.

Universality of Poisson limits for moduli of roots of Kac polynomials

Authors: Nicholas A. Cook, Hoi H. Nguyen, Oren Yakir, Ofer Zeitouni

Abstract: We give a new proof of a recent resolution by Michelen and Sahasrabudhe of a conjecture of Shepp and Vanderbei that the moduli of roots of Gaussian Kac polynomials of degree $n$, centered at $1$ and rescaled by $n^2$, should form a Poisson point process. We use this new approach to verify a conjecture of Michelen and Sahasrabudhe that the Poisson statistics are in fact universal. We give a new proof of a recent resolution by Michelen and Sahasrabudhe of a conjecture of Shepp and Vanderbei that the moduli of roots of Gaussian Kac polynomials of degree $n$, centered at $1$ and rescaled by $n^2$, should form a Poisson point process. We use this new approach to verify a conjecture of Michelen and Sahasrabudhe that the Poisson statistics are in fact universal. △ Less

Submitted 14 January, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: 2nd version contains a correction of the extension in section 8

The maximum of branching Brownian motion in $\mathbb{R}^d$

Authors: Yujin H. Kim, Eyal Lubetzky, Ofer Zeitouni

Abstract: We show that in branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$, the law of $R_t^*$, the maximum distance of a particle from the origin at time $t$, converges as $t\to\infty$ to the law of a randomly shifted Gumbel random variable. We show that in branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$, the law of $R_t^*$, the maximum distance of a particle from the origin at time $t$, converges as $t\to\infty$ to the law of a randomly shifted Gumbel random variable. △ Less

Submitted 24 August, 2022; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: 53 pages, 7 figures. Minor typos corrected. Final version, to appear in the Annals of Applied Probability

MSC Class: 60J65; 60J70; 60J80

Localization of eigenvectors of non-Hermitian banded noisy Toeplitz matrices

Authors: Anirban Basak, Martin Vogel, Ofer Zeitouni

Abstract: We prove localization with high probability on sets of size of order $N/\log N$ for the eigenvectors of non-Hermitian finitely banded $N\times N$ Toeplitz matrices $P_N$ subject to small random perturbations, in a very general setting. As perturbation we consider $N\times N$ random matrices with independent entries of zero mean, finite moments, and which satisfy an appropriate anti-concentration b… ▽ More We prove localization with high probability on sets of size of order $N/\log N$ for the eigenvectors of non-Hermitian finitely banded $N\times N$ Toeplitz matrices $P_N$ subject to small random perturbations, in a very general setting. As perturbation we consider $N\times N$ random matrices with independent entries of zero mean, finite moments, and which satisfy an appropriate anti-concentration bound. We show via a Grushin problem that an eigenvector for a given eigenvalue $z$ is well approximated by a random linear combination of the singular vectors of $P_N-z$ corresponding to its small singular values. We prove precise probabilistic bounds on the local distribution of the eigenvalues of the perturbed matrix and provide a detailed analysis of the singular vectors to conclude the localization result. △ Less

Submitted 19 May, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: Minor corrections and reorganization

MSC Class: 47A10; 47B80; 47H40; 47A55; 60B20

Journal ref: Prob. Math. Phys. 4 (2023) 477-607

A CLT for the characteristic polynomial of random Jacobi matrices, and the G$β$E

Authors: Fanny Augeri, Raphael Butez, Ofer Zeitouni

Abstract: We prove a central limit theorem for the logarithm of the characteristic polynomial of random Jacobi matrices. Our results cover the G$β$E models for $β>0$. We prove a central limit theorem for the logarithm of the characteristic polynomial of random Jacobi matrices. Our results cover the G$β$E models for $β>0$. △ Less

Submitted 16 February, 2023; v1 submitted 13 November, 2020; originally announced November 2020.

Comments: V3: Corrected a mistake in computation of centering, improved error estimates through section 4, various typos corrected. V4: Slight modifications and rearrangement, to appear in PTRF

Directed polymers on infinite graphs

Authors: Clement Cosco, Inbar Seroussi, Ofer Zeitouni

Abstract: We study the directed polymer model for general graphs (beyond $\mathbb Z^d$) and random walks. We provide sufficient conditions for the existence or non-existence of a weak disorder phase, of an $L^2$ region, and of very strong disorder, in terms of properties of the graph and of the random walk. We study in some detail (biased) random walk on various trees including the Galton Watson trees, and… ▽ More We study the directed polymer model for general graphs (beyond $\mathbb Z^d$) and random walks. We provide sufficient conditions for the existence or non-existence of a weak disorder phase, of an $L^2$ region, and of very strong disorder, in terms of properties of the graph and of the random walk. We study in some detail (biased) random walk on various trees including the Galton Watson trees, and provide a range of other examples that illustrate counter-examples to intuitive extensions of the $\mathbb Z^d$/SRW result. △ Less

Submitted 19 October, 2020; originally announced October 2020.

A Spectral Condition for Spectral Gap: Fast Mixing in High-Temperature Ising Models

Authors: Ronen Eldan, Frederic Koehler, Ofer Zeitouni

Abstract: We prove that Ising models on the hypercube with general quadratic interactions satisfy a Poincaré inequality with respect to the natural Dirichlet form corresponding to Glauber dynamics, as soon as the operator norm of the interaction matrix is smaller than $1$. The inequality implies a control on the mixing time of the Glauber dynamics. Our techniques rely on a localization procedure which estab… ▽ More We prove that Ising models on the hypercube with general quadratic interactions satisfy a Poincaré inequality with respect to the natural Dirichlet form corresponding to Glauber dynamics, as soon as the operator norm of the interaction matrix is smaller than $1$. The inequality implies a control on the mixing time of the Glauber dynamics. Our techniques rely on a localization procedure which establishes a structural result, stating that Ising measures may be decomposed into a mixture of measures with quadratic potentials of rank one, and provides a framework for proving concentration bounds for high temperature Ising models. △ Less

Submitted 6 August, 2021; v1 submitted 16 July, 2020; originally announced July 2020.

The minimum modulus of Gaussian trigonometric polynomials

Authors: Oren Yakir, Ofer Zeitouni

Abstract: We prove that the minimum of the modulus of a random trigonometric polynomial with Gaussian coefficients, properly normalized, has limiting exponential distribution. We prove that the minimum of the modulus of a random trigonometric polynomial with Gaussian coefficients, properly normalized, has limiting exponential distribution. △ Less

Submitted 24 September, 2020; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: 18 pages, 1 figure. Added a discussion on the method and a possible extension. To appear in the Israel Journal of Mathematics

A local CLT for linear statistics of 2D Coulomb gases

Authors: Thomas Leblé, Ofer Zeitouni

Abstract: We prove a local central limit theorem for fluctuations of linear statistics of smooth enough test functions under the canonical Gibbs measure of two-dimensional Coulomb gases at any positive temperature. The proof relies on the existing global central limit theorem and a new decay estimate for the characteristic function of such fluctuations. We prove a local central limit theorem for fluctuations of linear statistics of smooth enough test functions under the canonical Gibbs measure of two-dimensional Coulomb gases at any positive temperature. The proof relies on the existing global central limit theorem and a new decay estimate for the characteristic function of such fluctuations. △ Less

Submitted 23 June, 2021; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: 15p Final version, to appear in Markov Processes and Related Fields

The Erdős-Rényi law of large numbers for ballistic random walk in random environment

Authors: Darcy Camargo, Yuri Kifer, Ofer Zeitouni

Abstract: We consider a one dimensional ballistic nearest-neighbor random walk in a random environment. We prove an Erdős-Rényi strong law for the increments. We consider a one dimensional ballistic nearest-neighbor random walk in a random environment. We prove an Erdős-Rényi strong law for the increments. △ Less

Submitted 26 April, 2020; originally announced April 2020.

Comments: 43 pages

Deterministic equivalence for noisy perturbations

Authors: Martin Vogel, Ofer Zeitouni

Abstract: We prove a quantitative deterministic equivalence theorem for the logarithmic potentials of deterministic complex $N\times N$ matrices subject to small random perturbations. We show that with probability close to $1$ this log-potential is, up to a small error, determined by the singular values of the unperturbed matrix which are larger than some small $N$-dependent cut-off parameter. We prove a quantitative deterministic equivalence theorem for the logarithmic potentials of deterministic complex $N\times N$ matrices subject to small random perturbations. We show that with probability close to $1$ this log-potential is, up to a small error, determined by the singular values of the unperturbed matrix which are larger than some small $N$-dependent cut-off parameter. △ Less

Submitted 24 January, 2020; originally announced January 2020.

Exponential concentration for the number of roots of random trigonometric polynomials

Authors: Hoi H. Nguyen, Ofer Zeitouni

Abstract: We show that the number of real roots of random trigonometric polynomials with i.i.d. coefficients, which are either bounded or satisfy the logarithmic Sobolev inequality, satisfies an exponential concentration of measure. We show that the number of real roots of random trigonometric polynomials with i.i.d. coefficients, which are either bounded or satisfy the logarithmic Sobolev inequality, satisfies an exponential concentration of measure. △ Less

Submitted 27 December, 2019; originally announced December 2019.

Comments: 17 pages

Universality for Langevin-like spin glass dynamics

Authors: Amir Dembo, Eyal Lubetzky, Ofer Zeitouni

Abstract: We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Ga… ▽ More We study dynamics for asymmetric spin glass models, proposed by Hertz et al. and Sompolinsky et al. in the 1980's in the context of neural networks: particles evolve via a modified Langevin dynamics for the Sherrington--Kirkpatrick model with soft spins, whereby the disorder is i.i.d. standard Gaussian rather than symmetric. Ben Arous and Guionnet (1995), followed by Guionnet (1997), proved for Gaussian interactions that as the number of particles grows, the short-term empirical law of this dynamics converges a.s. to a non-random law $μ_\star$ of a ``self-consistent single spin dynamics,'' as predicted by physicists. Here we obtain universality of this fact: For asymmetric disorder given by i.i.d. variables of zero mean, unit variance and exponential or better tail decay, at every temperature, the empirical law of sample paths of the Langevin-like dynamics in a fixed time interval has the same a.s. limit $μ_\star$. △ Less

Submitted 24 January, 2020; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: 19 pages, 2 figures

MSC Class: 60K35; 60F10; 60H10; 82C31; 82C44

Limit law for the cover time of a random walk on a binary tree

Authors: Amir Dembo, Jay Rosen, Ofer Zeitouni

Abstract: Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit. Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit. △ Less

Submitted 17 June, 2019; originally announced June 2019.

Outliers of random perturbations of Toeplitz matrices with finite symbols

Authors: Anirban Basak, Ofer Zeitouni

Abstract: Consider an $N\times N$ Toeplitz matrix $T_N$ with symbol ${a }(λ) := \sum_{\ell=-d_2}^{d_1} a_\ell λ^\ell$, perturbed by an additive noise matrix $N^{-γ} E_N$, where the entries of $E_N$ are centered i.i.d.~random variables of unit variance and $γ>1/2$. It is known that the empirical measure of eigenvalues of the perturbed matrix converges weakly, as $N\to\infty$, to the law of ${a}(U)$, where… ▽ More Consider an $N\times N$ Toeplitz matrix $T_N$ with symbol ${a }(λ) := \sum_{\ell=-d_2}^{d_1} a_\ell λ^\ell$, perturbed by an additive noise matrix $N^{-γ} E_N$, where the entries of $E_N$ are centered i.i.d.~random variables of unit variance and $γ>1/2$. It is known that the empirical measure of eigenvalues of the perturbed matrix converges weakly, as $N\to\infty$, to the law of ${a}(U)$, where $U$ is distributed uniformly on $\mathbb{S}^1$. In this paper, we consider the outliers, i.e. eigenvalues that are at a positive ($N$-independent) distance from ${a}(\mathbb{S}^1)$. We prove that there are no outliers outside ${\rm spec} \, T({a})$, the spectrum of the limiting Toeplitz operator, with probability approaching one, as $N \to \infty$. {In contrast,} in ${\rm spec}\, T({a})\setminus {a}({\mathbb S}^1)$ the process of outliers converges to the point process described by the zero set of certain random {analytic} functions. The limiting random {analytic} functions can be expressed as linear combinations of the determinants of finite sub-matrices of an infinite dimensional matrix, whose entries are i.i.d.~having the same law as that of $E_N$. The coefficients in the linear combination depend on the roots of the polynomial $P_{z, {a}}(λ):= ({a}(λ) -z)λ^{d_2}=0$ and semi-standard Young Tableaux with shapes determined by the number of roots of $P_{z,{a}}(λ)=0$ that are greater than one in moduli. △ Less

Submitted 24 July, 2020; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: 39 pages, 1 figure; assumption on the Lévy concentration function on the entries relaxed, and the proof of the main theorem simplified

Spectrum of random perturbations of Toeplitz matrices with finite symbols

Authors: Anirban Basak, Elliot Paquette, Ofer Zeitouni

Abstract: Let $T_N$ denote an $N\times N$ Toeplitz matrix with finite, $N$ independent symbol ${\bf a}$. For $E_N$ a noise matrix satisfying mild assumptions (ensuring, in particular, that $N^{-1/2}\|E_N\|_{\rm HS}\to_{N\to\infty} 0$ at a polynomial rate), we prove that the empirical measure of eigenvalues of $T_N+E_N$ converges to the law of ${\bf a}(U)$, where $U$ is uniformly distributed on the unit circ… ▽ More Let $T_N$ denote an $N\times N$ Toeplitz matrix with finite, $N$ independent symbol ${\bf a}$. For $E_N$ a noise matrix satisfying mild assumptions (ensuring, in particular, that $N^{-1/2}\|E_N\|_{\rm HS}\to_{N\to\infty} 0$ at a polynomial rate), we prove that the empirical measure of eigenvalues of $T_N+E_N$ converges to the law of ${\bf a}(U)$, where $U$ is uniformly distributed on the unit circle in the complex plane. This extends results from arXiv:1712.00042 to the non-triangular setup and non complex Gaussian noise, and confirms predictions obtained in Reichel and Trefethen (1992) using the notion of pseudo-spectrum. △ Less

Submitted 13 November, 2019; v1 submitted 14 December, 2018; originally announced December 2018.

Comments: 20 pages, to appear in Trans. Amer. Math. Soc

Fluctuations of the solutions to the KPZ equation in dimensions three and higher

Authors: Alexander Dunlap, Yu Gu, Lenya Ryzhik, Ofer Zeitouni

Abstract: We prove, using probabilistic techniques and analysis on the Wiener space, that the large scale fluctuations of the KPZ equation in $d\geq 3$ with a small coupling constant, driven by a white in time and colored in space noise, are given by the Edwards-Wilkinson model. This gives an alternative proof, that avoids perturbation expansions, to the results of Magnen and Unterberger \cite{magnen2017dif… ▽ More We prove, using probabilistic techniques and analysis on the Wiener space, that the large scale fluctuations of the KPZ equation in $d\geq 3$ with a small coupling constant, driven by a white in time and colored in space noise, are given by the Edwards-Wilkinson model. This gives an alternative proof, that avoids perturbation expansions, to the results of Magnen and Unterberger \cite{magnen2017diffusive}. △ Less

Submitted 25 July, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: 31 pages, minor revisions

Maximum of Branching Brownian motion in a periodic environment

Authors: Eyal Lubetzky, Chris Thornett, Ofer Zeitouni

Abstract: We study the maximum of Branching Brownian motion (BBM) with branching rates that vary in space, via a periodic function of a particle's location. This corresponds to a variant of the F-KPP equation in a periodic medium, extensively studied in the last 15 years, admitting pulsating fronts as solutions. Recent progress on this PDE due to Hamel, Nolen, Roquejoffre and Ryzhik ('16) implies tightness… ▽ More We study the maximum of Branching Brownian motion (BBM) with branching rates that vary in space, via a periodic function of a particle's location. This corresponds to a variant of the F-KPP equation in a periodic medium, extensively studied in the last 15 years, admitting pulsating fronts as solutions. Recent progress on this PDE due to Hamel, Nolen, Roquejoffre and Ryzhik ('16) implies tightness for the centered maximum of BBM in a periodic environment. Here we establish the convergence in distribution of specific subsequences of this centered maximum, and identify the limiting distribution. Consequently, we find the asymptotic shift between the solution to the corresponding F-KPP equation with Heavyside initial data and the pulsating wave, thereby answering a question of Hamel et al. Analogous results are given for the cases where the Brownian motion is replaced by an Ito diffusion with periodic coefficients, as well as for nearest-neighbor branching random walks. △ Less

Submitted 21 May, 2020; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 38 pages

MSC Class: 60J65; 60J80

The random heat equation in dimensions three and higher: the homogenization viewpoint

Authors: Alexander Dunlap, Yu Gu, Lenya Ryzhik, Ofer Zeitouni

Abstract: We consider the stochastic heat equation $\partial_{s}u =\frac{1}{2}Δu +(βV(s,y)-λ)u$, with a smooth space-time stationary Gaussian random field $V(s,y)$, in dimensions $d\geq 3$, with an initial condition $u(0,x)=u_0(\varepsilon x)$ and a suitably chosen $λ\in{\mathbb R}$. It is known that, for $β$ small enough, the diffusively rescaled solution… ▽ More We consider the stochastic heat equation $\partial_{s}u =\frac{1}{2}Δu +(βV(s,y)-λ)u$, with a smooth space-time stationary Gaussian random field $V(s,y)$, in dimensions $d\geq 3$, with an initial condition $u(0,x)=u_0(\varepsilon x)$ and a suitably chosen $λ\in{\mathbb R}$. It is known that, for $β$ small enough, the diffusively rescaled solution $u^{\varepsilon}(t,x)=u(\varepsilon^{-2}t,\varepsilon^{-1}x)$ converges weakly to a scalar multiple of the solution $\bar u(t,x)$ of the heat equation with an effective diffusivity $a$, and that fluctuations converge, also in a weak sense, to the solution of the Edwards-Wilkinson equation with an effective noise strength $ν$ and the same effective diffusivity. In this paper, we derive a pointwise approximation $w^\varepsilon(t,x)=\bar u(t,x)Ψ^\varepsilon(t,x)+\varepsilon u_1^\varepsilon(t,x)$, where $Ψ^\varepsilon(t,x)=Ψ(t/\varepsilon^2,x/\varepsilon)$, $Ψ$ is a solution of the SHE with constant initial conditions, and $u^\varepsilon_1$ is an explicit corrector. We show that $Ψ(t,x)$ converges to a stationary process $\tilde Ψ(t,x)$ as $t\to\infty$, that $\mathbf{E}|u^\varepsilon(t,x)-w^\varepsilon(t, x)|^2$ converges pointwise to $0$ as $\varepsilon\to 0$, and that $\varepsilon^{-d/2+1}(u^\varepsilon-w^\varepsilon)$ converges weakly to $0$ for fixed $t$. As a consequence, we derive new representations of the diffusivity $a$ and effective noise strength $ν$. Our approach uses a Markov chain in the space of trajectories introduced in Gu, Ryzhik, and Zeitouni, "The Edwards-Wilkinson limit of the random heat equation in dimensions three and higher," as well as tools from homogenization theory. The corrector $u_1^\varepsilon(t,x)$ is constructed using a seemingly new approximation scheme on a mesoscopic time scale. △ Less

Submitted 10 February, 2021; v1 submitted 22 August, 2018; originally announced August 2018.

Comments: 38 pages; to appear in Archive for Rational Mechanics and Analysis

Journal ref: Archive for Rational Mechanics and Analysis, volume 242, pp. 827--873 (2021)

Heat kernel for Liouville Brownian motion and Liouville graph distance

Authors: Jian Ding, Ofer Zeitouni, Fuxi Zhang

Abstract: We show the existence of the scaling exponent $χ\in (0,4[(1+γ^2/4)- \sqrt{1+γ^4/16}]/γ^2]$ of the graph distance associated with subcritical two-dimensional Liouville quantum gravity of paramater $γ<2$ on $\mathbb V =[0,1]^2 $. We also show that the Liouville heat kernel satisfies, for any fixed $u,v\in \mathbb V^o$, the short time estimates… ▽ More We show the existence of the scaling exponent $χ\in (0,4[(1+γ^2/4)- \sqrt{1+γ^4/16}]/γ^2]$ of the graph distance associated with subcritical two-dimensional Liouville quantum gravity of paramater $γ<2$ on $\mathbb V =[0,1]^2 $. We also show that the Liouville heat kernel satisfies, for any fixed $u,v\in \mathbb V^o$, the short time estimates $$ \lim_{ t \to 0} \frac{\log |\log {\mathsf p}_t^γ(u,v)| }{|\log t|}=\fracχ{2-χ}, \ \mbox{\rm a.s.} $$ △ Less

Submitted 1 July, 2018; originally announced July 2018.

Maximum of the characteristic polynomial for a random permutation matrix

Authors: Nicholas Cook, Ofer Zeitouni

Abstract: Let $P_N$ be a uniform random $N\times N$ permutation matrix and let $χ_N(z)=\det(zI_N- P_N)$ denote its characteristic polynomial. We prove a law of large numbers for the maximum modulus of $χ_N$ on the unit circle, specifically, \[ \sup_{|z|=1}|χ_N(z)|= N^{x_0 + o(1)} \] with probability tending to one as $N\to \infty$, for a numerical constant $x_0\approx 0.652$. The main idea of the proof is t… ▽ More Let $P_N$ be a uniform random $N\times N$ permutation matrix and let $χ_N(z)=\det(zI_N- P_N)$ denote its characteristic polynomial. We prove a law of large numbers for the maximum modulus of $χ_N$ on the unit circle, specifically, \[ \sup_{|z|=1}|χ_N(z)|= N^{x_0 + o(1)} \] with probability tending to one as $N\to \infty$, for a numerical constant $x_0\approx 0.652$. The main idea of the proof is to uncover a logarithmic correlation structure for the distribution of (the logarithm of) $χ_N$, viewed as a random field on the circle, and to adapt a well-known second moment argument for the maximum of the branching random walk. Unlike the well-studied \emph{CUE field} in which $P_N$ is replaced with a Haar unitary, the distribution of $χ_N(e^{2πit})$ is sensitive to Diophantine properties of the point $t$. To deal with this we borrow tools from the Hardy--Littlewood circle method in analytic number theory. △ Less

Submitted 20 June, 2018; originally announced June 2018.

Comments: 54 pages, 2 figures. Comments welcome

MSC Class: 60G70; 60B20

Eigenvectors of non normal random matrices

Authors: Florent Benaych-Georges, Ofer Zeitouni

Abstract: We study the angles between the eigenvectors of a random $n\times n$ complex matrix $M$ with density $\propto \mathrm{e}^{-n\operatorname{Tr}V(M^*M)}$ and $x\mapsto V(x^2)$ convex. We prove that for unit eigenvectors $\mathbf{v},\mathbf{v}'$ associated with distinct eigenvalues $λ,λ'$ that are the closest to specified points $z,z'$ in the complex plane, the rescaled inner product… ▽ More We study the angles between the eigenvectors of a random $n\times n$ complex matrix $M$ with density $\propto \mathrm{e}^{-n\operatorname{Tr}V(M^*M)}$ and $x\mapsto V(x^2)$ convex. We prove that for unit eigenvectors $\mathbf{v},\mathbf{v}'$ associated with distinct eigenvalues $λ,λ'$ that are the closest to specified points $z,z'$ in the complex plane, the rescaled inner product $$\sqrt{n}(λ'-λ)\langle\mathbf{v},\mathbf{v}'\rangle$$ is uniformly sub-Gaussian, and give a more precise statement in the case of the Ginibre ensemble. △ Less

Submitted 26 September, 2018; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 15 pages, 1 figure. To appear in Electron. Commun. Probab

MSC Class: 15B52; 60B20

Geometry and temperature chaos in mixed spherical spin glasses at low temperature - the perturbative regime

Authors: Gérard Ben Arous, Eliran Subag, Ofer Zeitouni

Abstract: We study the Gibbs measure of mixed spherical $p$-spin glass models at low temperature, in (part of) the 1-RSB regime, including, in particular, models close to pure in an appropriate sense. We show that the Gibbs measure concentrates on spherical bands around deep critical points of the (extended) Hamiltonian restricted to the sphere of radius $\sqrt N q_\star$, where $q_\star^2$ is the rightmost… ▽ More We study the Gibbs measure of mixed spherical $p$-spin glass models at low temperature, in (part of) the 1-RSB regime, including, in particular, models close to pure in an appropriate sense. We show that the Gibbs measure concentrates on spherical bands around deep critical points of the (extended) Hamiltonian restricted to the sphere of radius $\sqrt N q_\star$, where $q_\star^2$ is the rightmost point in the support of the overlap distribution. We also show that the relevant critical points are pairwise orthogonal for two different low temperatures. This allows us to explain why temperature chaos occurs for those models, in contrast to the pure spherical models. △ Less

Submitted 27 April, 2018; originally announced April 2018.

Subsequential tightness of the maximum of two dimensional Ginzburg-Landau fields

Authors: Wei Wu, Ofer Zeitouni

Abstract: We prove subsequential tightness of centered maxima of two-dimensional Ginzburg-Landau fields with bounded elliptic contrast. We prove subsequential tightness of centered maxima of two-dimensional Ginzburg-Landau fields with bounded elliptic contrast. △ Less

Submitted 26 February, 2018; originally announced February 2018.

Comments: 13 pages

MSC Class: 60G60; 60K35

Regularization of non-normal matrices by Gaussian noise - the banded Toeplitz and twisted Toeplitz cases

Authors: Anirban Basak, Elliot Paquette, Ofer Zeitouni

Abstract: We consider the spectrum of additive, polynomially vanishing random perturbations of deterministic matrices, as follows. Let $M_N$ be a deterministic $N\times N$ matrix, and let $G_N$ be a complex Ginibre matrix. We consider the matrix $\mathcal{M}_N=M_N+N^{-γ}G_N$, where $γ>1/2$. With $L_N$ the empirical measure of eigenvalues of $\mathcal{M}_N$, we provide a general deterministic equivalence the… ▽ More We consider the spectrum of additive, polynomially vanishing random perturbations of deterministic matrices, as follows. Let $M_N$ be a deterministic $N\times N$ matrix, and let $G_N$ be a complex Ginibre matrix. We consider the matrix $\mathcal{M}_N=M_N+N^{-γ}G_N$, where $γ>1/2$. With $L_N$ the empirical measure of eigenvalues of $\mathcal{M}_N$, we provide a general deterministic equivalence theorem that ties $L_N$ to the singular values of $z-M_N$, with $z\in \mathbb{C}$. We then compute the limit of $L_N$ when $M_N$ is an upper triangular Toeplitz matrix of finite symbol: if $M_N=\sum_{i=0}^{\mathfrak{d}} a_i J^i$ where $\mathfrak{d}$ is fixed, $a_i\in\mathcal{C}$ are deterministic scalars and $J$ is the nilpotent matrix $J(i,j)={\bf 1}_{j=i+1}$, then $L_N$ converges, as $N\to\infty$, to the law of $\sum_{i=0}^{\mathfrak{d}} a_i U^i$ where $U$ is a uniform random variable on the unit circle in the complex plane. We also consider the case of slowly varying diagonals (twisted Toeplitz matrices), and, when $\mathfrak{d}=1$, also of i.i.d.~entries on the diagonals in $M_N$. △ Less

Submitted 14 December, 2018; v1 submitted 30 November, 2017; originally announced December 2017.

Comments: V2 has a new subsection (1.3) concerning relations with pseudospectra, and additional references. V3 is the revised version, to appear in Forum of Math - Sigma

Tightness for the Cover Time of the two dimensional sphere

Authors: David Belius, Jay Rosen, Ofer Zeitouni

Abstract: Let $C^*_{ε,S^2}$ denote the cover time of the two dimensional sphere by a Wiener sausage of radius $ε$. We prove that $$\sqrt{C^{*}_{ε,S^2} } -\sqrt{\frac{2A_{S^2}}π}(\log ε^{-1}-\frac14\log\log ε^{-1})$$ is tight, where $A_{S^2}=4π$ denotes the Riemannian area of $S^2$. Let $C^*_{ε,S^2}$ denote the cover time of the two dimensional sphere by a Wiener sausage of radius $ε$. We prove that $$\sqrt{C^{*}_{ε,S^2} } -\sqrt{\frac{2A_{S^2}}π}(\log ε^{-1}-\frac14\log\log ε^{-1})$$ is tight, where $A_{S^2}=4π$ denotes the Riemannian area of $S^2$. △ Less

Submitted 7 February, 2020; v1 submitted 8 November, 2017; originally announced November 2017.

Comments: Third version deals only with the sphere, because the reduction from general manifold to the sphere in the second version contains a mistake. V5 corrects an error in the statement of Lemma 9.1, and its use in the first and second moment estimates (replacing the former erroneous estimates (4.56) and (4.87)). V6 corrects minor typos, and added details to the statement and proof of Lemma 9.2

Homogenization of a class of one-dimensional nonconvex viscous Hamilton-Jacobi equations with random potential

Authors: Elena Kosygina, Atilla Yilmaz, Ofer Zeitouni

Abstract: We prove the homogenization of a class of one-dimensional viscous Hamilton-Jacobi equations with random Hamiltonians that are nonconvex in the gradient variable. Due to the special form of the Hamiltonians, the solutions of these PDEs with linear initial conditions have representations involving exponential expectations of controlled Brownian motion in a random potential. The effective Hamiltonian… ▽ More We prove the homogenization of a class of one-dimensional viscous Hamilton-Jacobi equations with random Hamiltonians that are nonconvex in the gradient variable. Due to the special form of the Hamiltonians, the solutions of these PDEs with linear initial conditions have representations involving exponential expectations of controlled Brownian motion in a random potential. The effective Hamiltonian is the asymptotic rate of growth of these exponential expectations as time goes to infinity and is explicit in terms of the tilted free energy of (uncontrolled) Brownian motion in a random potential. The proof involves large deviations, construction of correctors which lead to exponential martingales, and identification of asymptotically optimal policies. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Comments: 20 pages, 1 figure

MSC Class: 35B27 (Primary); 60K37; 93E20 (Secondary)

Journal ref: Communications in Partial Differential Equations (2020), 45:1, 32-56

The Edwards-Wilkinson limit of the random heat equation in dimensions three and higher

Authors: Yu Gu, Lenya Ryzhik, Ofer Zeitouni

Abstract: We consider the heat equation with a multiplicative Gaussian potential in dimensions $d\geq 3$. We show that the renormalized solution converges to the solution of a deterministic diffusion equation with an effective diffusivity. We also prove that the renormalized large scale random fluctuations are described by the Edwards-Wilkinson model, that is, the stochastic heat equation (SHE) with additiv… ▽ More We consider the heat equation with a multiplicative Gaussian potential in dimensions $d\geq 3$. We show that the renormalized solution converges to the solution of a deterministic diffusion equation with an effective diffusivity. We also prove that the renormalized large scale random fluctuations are described by the Edwards-Wilkinson model, that is, the stochastic heat equation (SHE) with additive white noise, with an effective variance. △ Less

Submitted 25 May, 2018; v1 submitted 1 October, 2017; originally announced October 2017.

Comments: 33 pages, minor revisions

Exponential concentration for zeroes of stationary Gaussian processes

Authors: Riddhipratim Basu, Amir Dembo, Naomi Feldheim, Ofer Zeitouni

Abstract: We show that for any centered stationary Gaussian process of integrable covariance, whose spectral measure has compact support, or finite exponential moments (and some additional regularity), the number of zeroes of the process in $[0,T]$ is within $ηT$ of its mean value, up to an exponentially small in $T$ probability. We show that for any centered stationary Gaussian process of integrable covariance, whose spectral measure has compact support, or finite exponential moments (and some additional regularity), the number of zeroes of the process in $[0,T]$ is within $ηT$ of its mean value, up to an exponentially small in $T$ probability. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Comments: 17 pages

MSC Class: 60G15; 60F10 (Primary) 60G10; 42A38 (Secondary)

Circular law for the sum of random permutation matrices

Authors: Anirban Basak, Nicholas Cook, Ofer Zeitouni

Abstract: Let $P_n^1,\dots, P_n^d$ be $n\times n$ permutation matrices drawn independently and uniformly at random, and set $S_n^d:=\sum_{\ell=1}^d P_n^\ell$. We show that if $\log^{12}n/(\log \log n)^{4} \le d=O(n)$, then the empirical spectral distribution of $S_n^d/\sqrt{d}$ converges weakly to the circular law in probability as $n \to \infty$. Let $P_n^1,\dots, P_n^d$ be $n\times n$ permutation matrices drawn independently and uniformly at random, and set $S_n^d:=\sum_{\ell=1}^d P_n^\ell$. We show that if $\log^{12}n/(\log \log n)^{4} \le d=O(n)$, then the empirical spectral distribution of $S_n^d/\sqrt{d}$ converges weakly to the circular law in probability as $n \to \infty$. △ Less

Submitted 4 April, 2018; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: 50 pages, to appear in EJP

MSC Class: 15B52; 15A18; 60B10; 60B20

Nonconvex homogenization for one-dimensional controlled random walks in random potential

Authors: Atilla Yilmaz, Ofer Zeitouni

Abstract: We consider a finite horizon stochastic optimal control problem for nearest-neighbor random walk $\{X_i\}$ on the set of integers. The cost function is the expectation of exponential of the path sum of a random stationary and ergodic bounded potential plus $θX_n$. The random walk policies are measurable with respect to the random potential, and are adapted, with their drifts uniformly bounded in m… ▽ More We consider a finite horizon stochastic optimal control problem for nearest-neighbor random walk $\{X_i\}$ on the set of integers. The cost function is the expectation of exponential of the path sum of a random stationary and ergodic bounded potential plus $θX_n$. The random walk policies are measurable with respect to the random potential, and are adapted, with their drifts uniformly bounded in magnitude by a parameter $δ\in[0,1]$. Under natural conditions on the potential, we prove that the normalized logarithm of the optimal cost function converges. The proof is constructive in the sense that we identify asymptotically optimal policies given the value of the parameter $δ$, as well as the law of the potential. It relies on correctors from large deviation theory as opposed to arguments based on subadditivity which do not seem to work except when $δ= 0$. The Bellman equation associated to this control problem is a second-order Hamilton-Jacobi (HJ) stochastic partial difference equation with a separable random Hamiltonian which is nonconvex in $θ$ unless $δ= 0$. We prove that this equation homogenizes under linear initial data to a first-order HJ deterministic partial differential equation. When $δ= 0$, the effective Hamiltonian is the tilted free energy of random walk in random potential and it is convex in $θ$. In contrast, when $δ= 1$, the effective Hamiltonian is piecewise linear and nonconvex in $θ$. Finally, when $δ\in (0,1)$, the effective Hamiltonian is expressed completely in terms of the tilted free energy for the $δ=0$ case and its convexity/nonconvexity in $θ$ is characterized by a simple inequality involving $δ$ and the magnitude of the potential, thereby marking two qualitatively distinct control regimes. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: 34 pages, 1 figure

MSC Class: 60K37; 93E20; 35B27

Thresholds For Detecting An Anomalous Path From Noisy Environments

Authors: Shirshendu Chatterjee, Ofer Zeitouni

Abstract: We consider the "searching for a trail in a maze" composite hypothesis testing problem, in which one attempts to detect an anomalous directed path in a lattice 2D box of side n based on observations on the nodes of the box. Under the signal hypothesis, one observes independent Gaussian variables of unit variance at all nodes, with zero, mean off the anomalous path and mean μ_n on it. Under the nul… ▽ More We consider the "searching for a trail in a maze" composite hypothesis testing problem, in which one attempts to detect an anomalous directed path in a lattice 2D box of side n based on observations on the nodes of the box. Under the signal hypothesis, one observes independent Gaussian variables of unit variance at all nodes, with zero, mean off the anomalous path and mean μ_n on it. Under the null hypothesis, one observes i.i.d. standard Gaussians on all nodes. Arias-Castro et al. (2008) showed that if the unknown directed path under the signal hypothesis has known the initial location, then detection is possible (in the minimax sense) if μ_n >> 1/\sqrt log n, while it is not possible if μ_n << 1/ log n\sqrt log log n. In this paper, we show that this result continues to hold even when the initial location of the unknown path is not known. As is the case with Arias-Castro et al. (2008), the upper bound here also applies when the path is undirected. The improvement is achieved by replacing the linear detection statistic used in Arias-Castro et al. (2008) with a polynomial statistic, which is obtained by employing a multi-scale analysis on a quadratic statistic to bootstrap its performance. Our analysis is motivated by ideas developed in the context of the analysis of random polymers in Lacoin (2010). △ Less

Submitted 19 April, 2017; originally announced April 2017.

Persistence exponents in Markov chains

Authors: Frank Aurzada, Sumit Mukherjee, Ofer Zeitouni

Abstract: We prove the existence of the persistence exponent $$\logλ:=\lim_{n\to\infty}\frac{1}{n}\log \mathbb{P}_μ(X_0\in S,\ldots,X_n\in S)$$ for a class of time homogeneous Markov chains $\{X_i\}_{i\geq 0}$ taking values in a Polish space, where $S$ is a Borel measurable set and $μ$ is an initial distribution. Focusing on the case of AR($p$) and MA($q$) processes with $p,q\in \mathbb{N}$ and continuous i… ▽ More We prove the existence of the persistence exponent $$\logλ:=\lim_{n\to\infty}\frac{1}{n}\log \mathbb{P}_μ(X_0\in S,\ldots,X_n\in S)$$ for a class of time homogeneous Markov chains $\{X_i\}_{i\geq 0}$ taking values in a Polish space, where $S$ is a Borel measurable set and $μ$ is an initial distribution. Focusing on the case of AR($p$) and MA($q$) processes with $p,q\in \mathbb{N}$ and continuous innovation distribution, we study the existence of $λ$ and its continuity in the parameters of the AR and MA processes, respectively, for $S=\mathbb{R}_{\geq 0}$. For AR processes with log-concave innovation distribution, we prove the strict monotonicity of $λ$. Finally, we compute new explicit exponents in several concrete examples. △ Less

Submitted 6 December, 2020; v1 submitted 19 March, 2017; originally announced March 2017.

Comments: Minor changes. To appear in AIHP

MSC Class: 60J05; 60F10; 45C05; 47A75

Large Deviations and the Lukic Conjecture

Authors: Jonathan Breuer, Barry Simon, Ofer Zeitouni

Abstract: We use the large deviation approach to sum rules pioneered by Gamboa, Nagel and Rouault to prove higher order sum rules for orthogonal polynomials on the unit circle. In particular, we prove one half of a conjectured sum rule of Lukic in the case of two singular points, one simple and one double. This is important because it is known that the conjecture of Simon fails in exactly this case, so this… ▽ More We use the large deviation approach to sum rules pioneered by Gamboa, Nagel and Rouault to prove higher order sum rules for orthogonal polynomials on the unit circle. In particular, we prove one half of a conjectured sum rule of Lukic in the case of two singular points, one simple and one double. This is important because it is known that the conjecture of Simon fails in exactly this case, so this paper provides support for the idea that Lukic's replacement for Simon's conjecture might be true. △ Less

Submitted 12 April, 2018; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: Version 2 has minor changes and is the version submitted to a journal. Version 3 has minor changes and incorporates referees' comments

Journal ref: Duke Math. J. 167, no. 15 (2018), 2857-2902

Barrier estimates for a critical Galton--Watson process and the cover time of the binary tree

Authors: David Belius, Jay Rosen, Ofer Zeitouni

Abstract: For the critical Galton--Watson process with geometric offspring distributions we provide sharp barrier estimates for barriers which are (small) perturbations of linear barriers. These are useful in analyzing the cover time of finite graphs in the critical regime by random walk, and the Brownian cover times of compact two dimensional manifolds. As an application of the barrier estimates, we prove… ▽ More For the critical Galton--Watson process with geometric offspring distributions we provide sharp barrier estimates for barriers which are (small) perturbations of linear barriers. These are useful in analyzing the cover time of finite graphs in the critical regime by random walk, and the Brownian cover times of compact two dimensional manifolds. As an application of the barrier estimates, we prove that if $C_L$ denotes the cover time of the binary tree of depth $L$ by simple walk, then $\sqrt{C_L/2^{L+1}} -\sqrt{2\log 2} L+\log L/\sqrt{2\log 2}$ is tight. The latter improves results of Aldous (1991), Bramson and Zeitouni (2009) and Ding and Zeitouni (2012). In a subsequent article we use these barrier estimates to prove tightness of the Brownian cover time for the two-dimensional sphere. △ Less

Submitted 10 February, 2017; originally announced February 2017.

The Curie-Weiss model with complex temperature: phase transitions

Authors: Mira Shamis, Ofer Zeitouni

Abstract: We study the partition function and free energy of the Curie-Weiss model with complex temperature, and partially describe its phase transitions. As a consequence, we obtain information on the locations of zeros of the partition function. We study the partition function and free energy of the Curie-Weiss model with complex temperature, and partially describe its phase transitions. As a consequence, we obtain information on the locations of zeros of the partition function. △ Less

Submitted 10 July, 2019; v1 submitted 9 January, 2017; originally announced January 2017.

Comments: 25 pages, 4 figures. v2 adds grant info

Journal ref: J. Stat. Physics 172 (2018), 569--591