-
Outliers of perturbations of banded Toeplitz matrices
Authors:
Charles Bordenave,
François Chapon,
Mireille Capitaine
Abstract:
Toeplitz matrices form a rich class of possibly non-normal matrices whose asymptotic spectral analysis in high dimension is well-understood. The spectra of these matrices are notoriously highly sensitive to small perturbations. In this work, we analyze the spectrum of a banded Toeplitz matrix perturbed by a random matrix with iid entries of variance $σ_n^2 / n$ in the asymptotic of high dimension…
▽ More
Toeplitz matrices form a rich class of possibly non-normal matrices whose asymptotic spectral analysis in high dimension is well-understood. The spectra of these matrices are notoriously highly sensitive to small perturbations. In this work, we analyze the spectrum of a banded Toeplitz matrix perturbed by a random matrix with iid entries of variance $σ_n^2 / n$ in the asymptotic of high dimension and $σ_n$ converging to $σ\geq 0$. Our results complement and provide new proofs on recent progresses in the case $σ= 0$. For any $σ\geq 0$, we show that the point process of outlier eigenvalues is governed by a low-dimensional random analytic matrix field, typically Gaussian, alongside an explicit deterministic matrix that captures the algebraic structure of the resonances responsible for the outlier eigenvalues. On our way, we prove a new functional central limit theorem for trace of polynomials in deterministic and random matrices and present new variations around Szego's strong limit theorem.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Polyharmonic functions and random processes in cones
Authors:
Francois Chapon,
Eric Fusy,
Kilian Raschel
Abstract:
We investigate polyharmonic functions associated to Brownian motion and random walks in cones. These are functions which cancel some power of the usual Laplacian in the continuous setting and of the discrete Laplacian in the discrete setting. We show that polyharmonic functions naturally appear while considering asymptotic expansions of the heat kernel in the Brownian case and in lattice walk enum…
▽ More
We investigate polyharmonic functions associated to Brownian motion and random walks in cones. These are functions which cancel some power of the usual Laplacian in the continuous setting and of the discrete Laplacian in the discrete setting. We show that polyharmonic functions naturally appear while considering asymptotic expansions of the heat kernel in the Brownian case and in lattice walk enumeration problems. We provide a method to construct general polyharmonic functions through Laplace transforms and generating functions in the continuous and discrete cases, respectively. This is done by using a functional equation approach.
△ Less
Submitted 8 April, 2020; v1 submitted 20 January, 2020;
originally announced January 2020.
-
Quantum $SL_2$, Infinite curvature and Pitman's 2M-X theorem
Authors:
François Chapon,
Reda Chhaibi
Abstract:
The classical theorem by Pitman states that a Brownian motion minus twice its running infimum enjoys the Markov property.
On the one hand, Biane understood that Pitman's theorem is intimately related to the representation theory of the quantum group $\mathcal{U}_q\left( \mathfrak{sl}_2 \right)$, in the so-called crystal regime $q \rightarrow 0$. On the other hand, Bougerol and Jeulin showed the…
▽ More
The classical theorem by Pitman states that a Brownian motion minus twice its running infimum enjoys the Markov property.
On the one hand, Biane understood that Pitman's theorem is intimately related to the representation theory of the quantum group $\mathcal{U}_q\left( \mathfrak{sl}_2 \right)$, in the so-called crystal regime $q \rightarrow 0$. On the other hand, Bougerol and Jeulin showed the appearance of exactly the same Pitman transform in the infinite curvature limit $r \rightarrow \infty$ of a Brownian motion on the hyperbolic space $\mathbb{H}^3 = SL_2(\mathbb{C})/SU_2$. This paper aims at understanding this phenomenon by giving a unifying point of view.
In order to do so, we exhibit a presentation $\mathcal{U}_q^\hbar\left( \mathfrak{sl}_2 \right)$ of the Jimbo-Drinfeld quantum group which isolates the role of curvature $r$ and that of the Planck constant $\hbar$. The simple relationship between parameters is $q=e^{-r}$. The semi-classical limits $\hbar \rightarrow 0$ are the Poisson-Lie groups dual to $SL_2(\mathbb{C})$ with varying curvatures $r \in \mathbb{R}_+$. We also construct classical and quantum random walks, drawing a full picture which includes Biane's quantum walks and the construction of Bougerol-Jeulin. Taking the curvature parameter $r$ to infinity leads indeed to the crystal regime at the level of representation theory ($\hbar>0$) and to the Bougerol-Jeulin construction in the classical world ($\hbar=0$).
All these results are neatly in accordance with the philosophy of Kirillov's orbit method.
△ Less
Submitted 6 September, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
The outliers among the singular values of large rectangular random matrices with additive fixed rank deformation
Authors:
Francois Chapon,
Romain Couillet,
Walid Hachem,
Xavier Mestre
Abstract:
Consider the matrix $Σ_n = n^{-1/2} X_n D_n^{1/2} + P_n$ where the matrix $X_n \in \C^{N\times n}$ has Gaussian standard independent elements, $D_n$ is a deterministic diagonal nonnegative matrix, and $P_n$ is a deterministic matrix with fixed rank. Under some known conditions, the spectral measures of $Σ_n Σ_n^*$ and $n^{-1} X_n D_n X_n^*$ both converge towards a compactly supported probability m…
▽ More
Consider the matrix $Σ_n = n^{-1/2} X_n D_n^{1/2} + P_n$ where the matrix $X_n \in \C^{N\times n}$ has Gaussian standard independent elements, $D_n$ is a deterministic diagonal nonnegative matrix, and $P_n$ is a deterministic matrix with fixed rank. Under some known conditions, the spectral measures of $Σ_n Σ_n^*$ and $n^{-1} X_n D_n X_n^*$ both converge towards a compactly supported probability measure $μ$ as $N,n\to\infty$ with $N/n\to c>0$. In this paper, it is proved that finitely many eigenvalues of $Σ_nΣ_n^*$ may stay away from the support of $μ$ in the large dimensional regime. The existence and locations of these outliers in any connected component of $\R - \support(μ)$ are studied. The fluctuations of the largest outliers of $Σ_nΣ_n^*$ are also analyzed. The results find applications in the fields of signal processing and radio communications.
△ Less
Submitted 22 January, 2013; v1 submitted 2 July, 2012;
originally announced July 2012.
-
Random right eigenvalues of Gaussian quaternionic matrices
Authors:
Florent Benaych-Georges,
Francois Chapon
Abstract:
We consider a random matrix whose entries are independent Gaussian variables taking values in the field of quaternions with variance $1/n$. Using logarithmic potential theory, we prove the almost sure convergence, as the dimension $n$ goes to infinity, of the empirical distribution of the right eigenvalues towards some measure supported on the unit ball of the quaternions field. Some comments on m…
▽ More
We consider a random matrix whose entries are independent Gaussian variables taking values in the field of quaternions with variance $1/n$. Using logarithmic potential theory, we prove the almost sure convergence, as the dimension $n$ goes to infinity, of the empirical distribution of the right eigenvalues towards some measure supported on the unit ball of the quaternions field. Some comments on more general Gaussian quaternionic random matrix models are also made.
△ Less
Submitted 2 September, 2011; v1 submitted 22 April, 2011;
originally announced April 2011.
-
Affine Dunkl processes
Authors:
Francois Chapon
Abstract:
We introduce the analogue of Dunkl processes in the case of an affine root system of type $\widetilde{\text{A}}_1$. The construction of the affine Dunkl process is achieved by a skew-product decomposition by means of its radial part and a jump process on the affine Weyl group, where the radial part of the affine Dunkl process is defined as the unique solution of some stochastic differential equati…
▽ More
We introduce the analogue of Dunkl processes in the case of an affine root system of type $\widetilde{\text{A}}_1$. The construction of the affine Dunkl process is achieved by a skew-product decomposition by means of its radial part and a jump process on the affine Weyl group, where the radial part of the affine Dunkl process is defined as the unique solution of some stochastic differential equation. We prove that the affine Dunkl process is a càdlàg Markov process as well as a local martingale, study its jumps, and give a martingale decomposition, which are properties similar to those of the classical Dunkl process.
△ Less
Submitted 18 October, 2010;
originally announced October 2010.
-
Quantum random walks and minors of Hermitian Brownian motion
Authors:
Francois Chapon,
Manon Defosseux
Abstract:
Considering quantum random walks, we construct discrete-time approximations of the eigenvalues processes of minors of Hermitian Brownian motion. It has been recently proved by Adler, Nordenstam and van Moerbeke that the process of eigenvalues of two consecutive minors of an Hermitian Brownian motion is a Markov process, whereas if one considers more than two consecutive minors, the Markov property…
▽ More
Considering quantum random walks, we construct discrete-time approximations of the eigenvalues processes of minors of Hermitian Brownian motion. It has been recently proved by Adler, Nordenstam and van Moerbeke that the process of eigenvalues of two consecutive minors of an Hermitian Brownian motion is a Markov process, whereas if one considers more than two consecutive minors, the Markov property fails. We show that there are analog results in the noncommutative counterpart and establish the Markov property of eigenvalues of some particular submatrices of Hermitian Brownian motion.
△ Less
Submitted 4 September, 2010;
originally announced September 2010.
-
Interlacing Property of Zeros of Eigenvectors of Schrödinger Operators on Trees
Authors:
Francois Chapon
Abstract:
We prove an analogue for trees of Courant's theorem on the interlacing property of zeros of eigenfunctions of a Schrödinger operator. Let $Γ$ be a finite tree, and $\mathcal A$ a Schrödinger operator on $Γ$. If the eigenvectors of $\mathcal A$ are ordered according to increasing eigenvalues, and the vertices corresponding to zero coordinates are of degree at most two, then the zeros of the linear…
▽ More
We prove an analogue for trees of Courant's theorem on the interlacing property of zeros of eigenfunctions of a Schrödinger operator. Let $Γ$ be a finite tree, and $\mathcal A$ a Schrödinger operator on $Γ$. If the eigenvectors of $\mathcal A$ are ordered according to increasing eigenvalues, and the vertices corresponding to zero coordinates are of degree at most two, then the zeros of the linear extensions of eigenvectors have the interlacing property.
△ Less
Submitted 16 May, 2014; v1 submitted 8 April, 2009;
originally announced April 2009.
