Showing 1–50 of 171 results for author: Forrester, P

Partition function of 2D Coulomb gases with radially symmetric potentials and a hard wall

Authors: Matthias Allard, Peter J. Forrester, Sampad Lahiry, Bojian Shen

Abstract: The large $N$ asymptotic expansion of the partition function for the normal matrix model is predicted to have special features inherited from its interpretation as a two-dimensional Coulomb gas. However for the latter, it is most natural to include a hard wall at the boundary of the droplet. We probe how this affects the asymptotic expansion in the solvable case that the potential is radially symm… ▽ More The large $N$ asymptotic expansion of the partition function for the normal matrix model is predicted to have special features inherited from its interpretation as a two-dimensional Coulomb gas. However for the latter, it is most natural to include a hard wall at the boundary of the droplet. We probe how this affects the asymptotic expansion in the solvable case that the potential is radially symmetric and the droplet is a disk or an annulus. We allow too for the hard wall to be strictly inside the boundary of the droplet. It is observed the term of order $\log N$, has then a different rational number prefactor to that when the hard wall is at the droplet boundary. Also found are certain universal (potential independent) numerical constants given by definite integrals, both at order $\sqrt{N}$, and in the constant term. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: 30 pages

MSC Class: 60B20; 82D05; 41A60; 60G55

On the superintegrability of the Gaussian $β$ ensemble and its $(q,t)$ generalisation

Authors: Sung-Soo Byun, Peter J. Forrester

Abstract: In the present context, superintegrability is a property of certain probability density functions coming from matrix models, which relates to the average over a distinguished basis of symmetric functions, typically the Jack or Macdonald polynomials. It states that the average can be computed according a certain combination of those same polynomials, now specialised by specific substitutions when e… ▽ More In the present context, superintegrability is a property of certain probability density functions coming from matrix models, which relates to the average over a distinguished basis of symmetric functions, typically the Jack or Macdonald polynomials. It states that the average can be computed according a certain combination of those same polynomials, now specialised by specific substitutions when expressed in terms of the power sum basis. For a particular $(q,t)$ generalisation of the Gaussian $β$ ensemble from random matrix theory, known independently from the consideration of certain integrable gauge theories, we use results developed in a theory of multivariable Al-Salam and Carlitz polynomials based on Macdonald polynomials to prove the superintegrability identity. This then is used to deduce a duality formula for these same averages, which in turn allows for a derivation of a functional equation for the spectral moments. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: 20 pages

Finite size corrections in the bulk for circular $β$ ensembles

Authors: Peter J. Forrester, Bo-Jian Shen

Abstract: The circular $β$ ensemble for $β=1,2$ and 4 corresponds to circular orthogonal, unitary and symplectic ensemble respectively as introduced by Dyson. The statistical state of the eigenvalues is then a determinantal point process ($β= 2$) and Pfaffian point process ($β= 1,4$). The explicit functional forms of the correlation kernels then imply that the general $n$-point correlation functions exhibit… ▽ More The circular $β$ ensemble for $β=1,2$ and 4 corresponds to circular orthogonal, unitary and symplectic ensemble respectively as introduced by Dyson. The statistical state of the eigenvalues is then a determinantal point process ($β= 2$) and Pfaffian point process ($β= 1,4$). The explicit functional forms of the correlation kernels then imply that the general $n$-point correlation functions exhibit an asymptotic expansion in $1/N^2$, which moreover can be lifted to an asymptotic in $1/N^2$ for the spacing distributions and their generating function. We use $σ$-Painlevé characterisations to show that the functional form of the first correction is related to the leading term via a second derivative. Explicit functional forms are used to show that the spectral form factors for $β=1,2$ and 4 also admit an asymptotic expansion in $1/N^2$. Differential relations are identified expressing the first and second correction in terms of the limiting functional form, and evidence is presented that they hold for general $β$. For even $β$ it is proved that the two-point correlation function permits an asymptotic expansion in $1/N^2$, and moreover that the leading correction relates to the limiting functional form via a second derivative. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 29 pages

In memoriam: aspects of Santosh Kumar's work on exact results in RMT

Authors: Peter J. Forrester

Abstract: Santosh Kumar was an active researcher on the topic of exact results in random matrix theory and their various applications, particularly to quantum chaos and information theory. Barely entering his mid-career, he died unexpectedly on the 18th October 2024. The present article gives an account of some of his research directions and findings. As well as serving as a tribute to his work, this is don… ▽ More Santosh Kumar was an active researcher on the topic of exact results in random matrix theory and their various applications, particularly to quantum chaos and information theory. Barely entering his mid-career, he died unexpectedly on the 18th October 2024. The present article gives an account of some of his research directions and findings. As well as serving as a tribute to his work, this is done also for the purpose of providing a resource for those who may continue along related lines in the future. △ Less

Submitted 8 May, 2025; originally announced May 2025.

Comments: 20 pages

Orthogonal polynomials in the spherical ensemble with two insertions

Authors: Sung-Soo Byun, Peter J. Forrester, Arno B. J. Kuijlaars, Sampad Lahiry

Abstract: We consider asymptotics of planar orthogonal polynomials $P_{n,N}$ (where $\mathrm{deg}P_{n,N}=n$) with respect to the weight $$\frac{|z-w|^{2NQ_1}}{(1+|z|^2)^{N(1+Q_0+Q_1)+1}}, \quad(Q_0,Q_1 > 0)$$ in the whole complex plane. With $n, N\rightarrow\infty$ and $N-n$ fixed, we obtain the strong asymptotics of the polynomials, asymptotics for the weighted $L^2$ norm and the limiting zero counting mea… ▽ More We consider asymptotics of planar orthogonal polynomials $P_{n,N}$ (where $\mathrm{deg}P_{n,N}=n$) with respect to the weight $$\frac{|z-w|^{2NQ_1}}{(1+|z|^2)^{N(1+Q_0+Q_1)+1}}, \quad(Q_0,Q_1 > 0)$$ in the whole complex plane. With $n, N\rightarrow\infty$ and $N-n$ fixed, we obtain the strong asymptotics of the polynomials, asymptotics for the weighted $L^2$ norm and the limiting zero counting measure. These results apply to the pre-critical phase of the underlying two-dimensional Coulomb gas system, when the support of the equilibrium measure is simply connected. Our method relies on specifying the mother body of the two-dimensional potential problem. It relies too on the fact that the planar orthogonality can be rewritten as a non-Hermitian contour orthogonality. This allows us to perform the Deift-Zhou steepest descent analysis of the associated $2\times 2$ Riemann-Hilbert problem. △ Less

Submitted 19 May, 2025; v1 submitted 19 March, 2025; originally announced March 2025.

Comments: 41 pages, 9 figures

MSC Class: 42C05; 30C10; 30E25; 60B20; 41A60

Moments of characteristic polynomials for classical $β$ ensembles

Authors: Bo-Jian Shen, Peter J. Forrester

Abstract: For random matrix ensembles with unitary symmetry, there is interest in the large $N$ form of the moments of the absolute value of the characteristic polynomial for their relevance to the Riemann zeta function on the critical line, and to Fisher-Hartwig asymptotics in the theory of Toeplitz determinants. The constant (with respect to $N$) in this asymptotic expansion, involving the Barnes $G$ func… ▽ More For random matrix ensembles with unitary symmetry, there is interest in the large $N$ form of the moments of the absolute value of the characteristic polynomial for their relevance to the Riemann zeta function on the critical line, and to Fisher-Hartwig asymptotics in the theory of Toeplitz determinants. The constant (with respect to $N$) in this asymptotic expansion, involving the Barnes $G$ function, is most relevant to the first of these, while the algebraic term (in $N$) and the functional dependence on the power are of primary interest in the latter. Desrosiers and Liu [20] have obtained the analogous expansions for the classical Gaussian, Laguerre and Jacobi $β$ ensembles in the case of even moments. We give simplified working of these results -- which requires the use of duality formulas and the use of steepest descents for multidimensional integrals -- providing too an error bound on the resulting asymptotic expressions. The universality of the constant term with respect to an earlier result known for the circular $β$ ensemble is established, which requires writing it in a Barnes $G$ function form, while the functional dependence on the powers is related to that appearing in Gaussian fluctuation formulas for linear statistics. In the Laguerre and Jacobi cases our working can be extended to the circumstance when the exponents in the weight function are (strictly) proportional to $N$, giving results not previously available in the literature. △ Less

Submitted 28 June, 2025; v1 submitted 10 February, 2025; originally announced February 2025.

Comments: 29 pages. Reference [20] was missing in the previous version, which is now included

Dualities in random matrix theory

Authors: Peter J. Forrester

Abstract: Duality identities in random matrix theory for products and powers of characteristic polynomials, and for moments, are reviewed. The structure of a typical duality identity for the average of a positive integer power $k$ of the characteristic polynomial for particular ensemble of $N \times N$ matrices is that it is expressed as the average of the power $N$ of the characteristic polynomial of some… ▽ More Duality identities in random matrix theory for products and powers of characteristic polynomials, and for moments, are reviewed. The structure of a typical duality identity for the average of a positive integer power $k$ of the characteristic polynomial for particular ensemble of $N \times N$ matrices is that it is expressed as the average of the power $N$ of the characteristic polynomial of some other ensemble of random matrices, now of size $k \times k$. With only a few exceptions, such dualities involve (the $β$ generalised) classical Gaussian, Laguerre and Jacobi ensembles Hermitian ensembles, the circular Jacobi ensemble, or the various non-Hermitian ensembles relating to Ginibre random matrices. In the case of unitary symmetry in the Hermitian case, they can be studied using the determinantal structure. The $β$ generalised case requires the use of Jack polynomial theory, and in particular Jack polynomial based hypergeometric functions. Applications to the computation of the scaling limit of various $β$ ensemble correlation and distribution functions are also reviewed. The non-Hermitian case relies on the particular cases of Jack polynomials corresponding to zonal polynomials, and their integration properties when their arguments are eigenvalues of certain matrices. The main tool to study dualities for moments of the spectral density, and generalisations, is the loop equations. △ Less

Submitted 13 January, 2025; originally announced January 2025.

Comments: 53 pages

Properties of the one-component Coulomb gas on a sphere with two macroscopic external charges

Authors: Sung-Soo Byun, Peter J. Forrester, Sampad Lahiry

Abstract: The one-component Coulomb gas on the sphere, consisting on $N$ unit charges interacting via a logarithmic potential, and in the presence of two external charges each of strength proportional to $N$, is considered. There are two spherical caps naturally associated with the external charges, giving rise to two distinct phases depending on them not overlapping (post-critical) or overlapping (pre-crit… ▽ More The one-component Coulomb gas on the sphere, consisting on $N$ unit charges interacting via a logarithmic potential, and in the presence of two external charges each of strength proportional to $N$, is considered. There are two spherical caps naturally associated with the external charges, giving rise to two distinct phases depending on them not overlapping (post-critical) or overlapping (pre-critical). The equilibrium measure in the post-critical phase is known from earlier work. We determine the equilibrium measure in the pre-critical phase using a particular conformal map, with the parameters therein specified in terms of a root of a certain fourth order polynomial. This is used to determine the exact form of the electrostatic energy for the pre-critical phase. Using a duality relation from random matrix theory, the partition function for the Coulomb gas at the inverse temperature $β= 2$ can be expanded for large $N$ in the post-critical phase, and in a scaling region of the post and pre-critical boundary. For the pre-critical phase, the duality identity implies a relation between two electrostatic energies, one for the present sphere system, and the other for a certain constrained log-gas relating to the Jacobi unitary ensemble. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: 38 pages, 5 figures

Computing marginal eigenvalue distributions for the Gaussian and Laguerre orthogonal ensembles

Authors: Peter J. Forrester, Santosh Kumar, Bo-Jian Shen

Abstract: The Gaussian and Laguerre orthogonal ensembles are fundamental to random matrix theory, and the marginal eigenvalue distributions are basic observable quantities. Notwithstanding a long history, a formulation providing high precision numerical evaluations for $N$ large enough to probe asymptotic regimes, has not been provided. An exception is for the largest eigenvalue, where there is a formalism… ▽ More The Gaussian and Laguerre orthogonal ensembles are fundamental to random matrix theory, and the marginal eigenvalue distributions are basic observable quantities. Notwithstanding a long history, a formulation providing high precision numerical evaluations for $N$ large enough to probe asymptotic regimes, has not been provided. An exception is for the largest eigenvalue, where there is a formalism due to Chiani which uses a combination of the Pfaffian structure underlying the ensembles, and a recursive computation of the matrix elements. We augment this strategy by introducing a generating function for the conditioned gap probabilities. A finite Fourier series approach is then used to extract the sequence of marginal eigenvalue distributions as a linear combination of Pfaffians, with the latter then evaluated using an efficient numerical procedure available in the literature. Applications are given to illustrating various asymptotic formulas, local central limit theorems, and central limit theorems, as well as to probing finite size corrections. Further, our data indicates that the mean values of the marginal distributions interlace with the zeros of the Hermite polynomial (Gaussian ensemble) and a Laguerre polynomial (Laguerre ensemble). △ Less

Submitted 23 November, 2024; originally announced November 2024.

Comments: 25 pages, 2 figures, 5 ancillary Mathematica files

Dualities for characteristic polynomial averages of complex symmetric and self dual non-Hermitian random matrices

Authors: Peter J. Forrester

Abstract: Ensembles of complex symmetric, and complex self dual random matrices are known to exhibit local statistical properties distinct from those of the non-Hermitian Ginibre ensembles. On the other hand, in distinction to the latter, the joint eigenvalue probability density function of these two ensembles are not known. Nonetheless, as carried out in the recent works of Liu and Zhang, Akemann et al.~an… ▽ More Ensembles of complex symmetric, and complex self dual random matrices are known to exhibit local statistical properties distinct from those of the non-Hermitian Ginibre ensembles. On the other hand, in distinction to the latter, the joint eigenvalue probability density function of these two ensembles are not known. Nonetheless, as carried out in the recent works of Liu and Zhang, Akemann et al.~and Kulkarni et al., by considering averages of products of characteristic polynomials, analytic progress can be made. Here we show that an approach based on the theory of zonal polynomials provides an alternative to the diffusion operator or supersymmetric Grassmann integrations methods of these works. It has the advantage of not being restricted to a Gaussian unitary invariant measure on the matrix spaces. To illustrate this, as an extension, we consider averages of products and powers of characteristic polynomials for complex symmetric, and complex self dual random matrices subject to a spherical measure. In the case of powers, when comparing against the corresponding real Ginibre, respectively quaternion Ginibre averages with a spherical measure, one finds the qualitative feature of a decreasing (increasing) profile as the magnitude of the argument of the characteristic polynomial increases. This is analogous to the findings of the second two of the cited works in the Gaussian case. △ Less

Submitted 11 November, 2024; originally announced November 2024.

Comments: 16 pages

Ensemble inter-relations in random matrix theory

Authors: Peter J. Forrester

Abstract: The ensemble inter-relations to be considered are special features of classical cases, where the joint eigenvalue probability density can be computed explicitly. Attention will be focussed too on the consequences of these inter-relations, most often in relation to gap probabilities. A highlight from this viewpoint is an evaluation formula for the gap probability generating function for the circula… ▽ More The ensemble inter-relations to be considered are special features of classical cases, where the joint eigenvalue probability density can be computed explicitly. Attention will be focussed too on the consequences of these inter-relations, most often in relation to gap probabilities. A highlight from this viewpoint is an evaluation formula for the gap probability generating function for the circular orthogonal and circular symplectic ensembles (examples of Pfaffian point processes), in terms of the gap probability generating function for real orthogonal matrices chosen with Haar measure ensembles (examples of determinantal point processes). The classes of inter-relations which lead to this result involve the superposition of the eigenvalue point processes of two independent classical ensembles, or consideration of the singular values of the classical ensembles with an evenness symmetry, and the decimation operation of integrating over every second eigenvalue. It turns out that the probability density functions encountered through the consideration of superposition and decimation can in some cases be obtained via the consideration of various rank one matrix perturbations. These allow for different understandings of some of the inter-relations in this class. We make note too of inter-relations -- which we consider generally as an identity or evaluation formula of a statistic linking two distinct random matrix ensemble -- that fall outside of this class, applying to the spectral form factor, and ones relating to discrete determinantal point processes. Not part of our review are the so-called duality relations of random matrix theory. Their consideration warrants a separate discussion. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 24 pages, expository paper prepared for a forthcoming volume in the KIAS Springer Series in Mathematics

Power spectra of Dyson's circular ensembles

Authors: Peter J. Forrester, Nicholas S. Witte

Abstract: The power spectrum is a Fourier series statistic associated with the covariances of the displacement from average positions of the members of an eigen-sequence. When this eigen-sequence has rotational invariance, as for the eigen-angles of Dyson's circular ensembles, recent work of Riser and Kanzieper has uncovered an exact identity expressing the power spectrum in terms of the generating function… ▽ More The power spectrum is a Fourier series statistic associated with the covariances of the displacement from average positions of the members of an eigen-sequence. When this eigen-sequence has rotational invariance, as for the eigen-angles of Dyson's circular ensembles, recent work of Riser and Kanzieper has uncovered an exact identity expressing the power spectrum in terms of the generating function for the conditioned gap probability of having $k$ eigenvalues in an interval. These authors moreover showed how for the circular unitary ensemble integrability properties of the generating function, via a particular Painlevé VI system, imply a computational scheme for the corresponding power spectrum, and allow for the determination of its large $N$ limit. In the present work, these results are extended to the case of the circular orthogonal ensemble and circular symplectic ensemble, where the integrability is expressed through four particular Painlevé VI systems for finite $N$, and two Painlevé III$'$ systems for the limit $N\to\infty$, and also via corresponding Fredholm determinants. The relation between the limiting power spectrum $S_\infty(ω)$, where $ω$ denotes the Fourier variable, and the limiting generating function for the conditioned gap probabilities is particular direct, involving just a single integration over the gap endpoint in the latter. Interpreting this generating function as the characteristic function of a counting statistic allows for it to be shown that $S_\infty(ω) \mathop{\sim} \limits_{ω\to 0} {1 \over πβ| ω|}$, where $β$ is the Dyson index. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: 26 pages

$q$-deformed Gaussian unitary ensemble: spectral moments and genus-type expansions

Authors: Sung-Soo Byun, Peter J. Forrester, Jaeseong Oh

Abstract: The eigenvalue probability density function of the Gaussian unitary ensemble permits a $q$-extension related to the discrete $q$-Hermite weight and corresponding $q$-orthogonal polynomials. A combinatorial counting method is used to specify a positive sum formula for the spectral moments of this model. The leading two terms of the scaled $1/N^2$ genus-type expansion of the moments are evaluated ex… ▽ More The eigenvalue probability density function of the Gaussian unitary ensemble permits a $q$-extension related to the discrete $q$-Hermite weight and corresponding $q$-orthogonal polynomials. A combinatorial counting method is used to specify a positive sum formula for the spectral moments of this model. The leading two terms of the scaled $1/N^2$ genus-type expansion of the moments are evaluated explicitly in terms of the incomplete beta function. Knowledge of these functional forms allows for the smoothed leading eigenvalue density and its first correction to be determined analytically. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 28 pages, 6 figures

Computation of marginal eigenvalue distributions in the Laguerre and Jacobi $β$ ensembles

Authors: Peter J. Forrester, Santosh Kumar

Abstract: We consider the problem of the exact computation of the marginal eigenvalue distributions in the Laguerre and Jacobi $β$ ensembles. In the case $β=1$ this is a question of long standing in the mathematical statistics literature. A recursive procedure to accomplish this task is given for $β$ a positive integer, and the parameter $λ_1$ a non-negative integer. This case is special due to a finite bas… ▽ More We consider the problem of the exact computation of the marginal eigenvalue distributions in the Laguerre and Jacobi $β$ ensembles. In the case $β=1$ this is a question of long standing in the mathematical statistics literature. A recursive procedure to accomplish this task is given for $β$ a positive integer, and the parameter $λ_1$ a non-negative integer. This case is special due to a finite basis of elementary functions, with coefficients which are polynomials. In the Laguerre case with $β= 1$ and $λ_1 + 1/2$ a non-negative integer some evidence is given of their again being a finite basis, now consisting of elementary functions and the error function multiplied by elementary functions. Moreover, from this the corresponding distributions in the fixed trace case permit a finite basis of power functions, as also for $λ_1$ a non-negative integer. The fixed trace case in this setting is relevant to quantum information theory and quantum transport problem, allowing particularly the exact determination of Landauer conductance distributions in a previously intractable parameter regime. Our findings also aid in analyzing zeros of the generating function for specific gap probabilities, supporting the validity of an associated large $N$ local central limit theorem. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Comments: 25 pages, 6 figures; Supplementary Mathematica files

MSC Class: 15B52; 60B20; 15A18; 33C45; 11B37; 62B10; 81P40

Spectral Moments of the real Ginibre ensemble

Authors: Sung-Soo Byun, Peter J. Forrester

Abstract: The moments of the real eigenvalues of real Ginibre matrices are investigated from the viewpoint of explicit formulas, differential and difference equations, and large $N$ expansions. These topics are inter-related. For example, a third order differential equation can be derived for the density of the real eigenvalues, and this can be used to deduce a second order difference equation for the gener… ▽ More The moments of the real eigenvalues of real Ginibre matrices are investigated from the viewpoint of explicit formulas, differential and difference equations, and large $N$ expansions. These topics are inter-related. For example, a third order differential equation can be derived for the density of the real eigenvalues, and this can be used to deduce a second order difference equation for the general complex moments $M_{2p}^{\rm r}$. The latter are expressed in terms of the ${}_3 F_2$ hypergeometric functions, with a simplification to the ${}_2 F_1$ hypergeometric function possible for $p=0$ and $p=1$, allowing for the large $N$ expansion of these moments to be obtained. The large $N$ expansion involves both integer and half integer powers of $1/N$. The three term recurrence then provides the large $N$ expansion of the full sequence $\{ M_{2p}^{\rm r} \}_{p=0}^\infty$. Fourth and third order linear differential equations are obtained for the moment generating function and for the Stieltjes transform of the real density, respectively, and properties of the large $N$ expansion of these quantities are determined. △ Less

Submitted 4 April, 2024; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 14 pages; v2 15 pages, accepted for publication in Ramanujan J

MSC Class: Primary 60B20; Secondary 33C20

Relations between generalised Wishart matrices, the Muttalib--Borodin model and matrix spherical functions

Authors: Peter J. Forrester

Abstract: Generalised uncorrelated Wishart matrices are formed out of rectangular standard Gaussian data matrices with a certain pattern of zero entries. Development of the theory in the real and complex cases has proceeded along separate line. For example, emphasis in the real case has been placed on the Bellman and Riesz distributions, while that in the complex case has been shown to be closely related to… ▽ More Generalised uncorrelated Wishart matrices are formed out of rectangular standard Gaussian data matrices with a certain pattern of zero entries. Development of the theory in the real and complex cases has proceeded along separate line. For example, emphasis in the real case has been placed on the Bellman and Riesz distributions, while that in the complex case has been shown to be closely related to the Muttalib-Borodin model. In this work, as well as uniting the lines of development, a tie in with matrix spherical functions is identified in the context of deducing the eigenvalue probability density function from the joint element probability density function. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: 15 pages

Journal ref: Tunisian J. Math. 6 (2024) 571-588

Expanding the Fourier transform of the scaled circular Jacobi $β$ ensemble density

Authors: Peter J. Forrester, Bo-Jian Shen

Abstract: The family of circular Jacobi $β$ ensembles has a singularity of a type associated with Fisher and Hartwig in the theory of Toeplitz determinants. Our interest is in the Fourier transform of the corresponding bulk scaled spectral density about this singularity, expanded as a series in the Fourier variable. Various integrability aspects of the circular Jacobi $β$ ensemble are used for this purpose.… ▽ More The family of circular Jacobi $β$ ensembles has a singularity of a type associated with Fisher and Hartwig in the theory of Toeplitz determinants. Our interest is in the Fourier transform of the corresponding bulk scaled spectral density about this singularity, expanded as a series in the Fourier variable. Various integrability aspects of the circular Jacobi $β$ ensemble are used for this purpose. These include linear differential equations satisfied by the scaled spectral density for $β= 2$ and $β= 4$, and the loop equation hierarchy. The polynomials in the variable $u=2/β$ which occur in the expansion coefficents are found to have special properties analogous to those known for the structure function of the circular $β$ ensemble, specifically in relation to the zeros lying on the unit circle $|u|=1$ and interlacing. Comparison is also made with known results for the expanded Fourier transform of the density about a guest charge in the two-dimensional one-component plasma. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 30 pages

Local central limit theorem for real eigenvalue fluctuations of elliptic GinOE matrices

Authors: Peter J. Forrester

Abstract: Random matrices from the elliptic Ginibre orthogonal ensemble (GinOE) are a certain linear combination of a real symmetric, and real anti-symmetric, real Gaussian random matrices and controlled by a parameter $τ$. Our interest is in the fluctuations of the number of real eigenvalues, for fixed $τ$ when the expected number is proportional to the square root of the matrix size $N$, and for $τ$ scale… ▽ More Random matrices from the elliptic Ginibre orthogonal ensemble (GinOE) are a certain linear combination of a real symmetric, and real anti-symmetric, real Gaussian random matrices and controlled by a parameter $τ$. Our interest is in the fluctuations of the number of real eigenvalues, for fixed $τ$ when the expected number is proportional to the square root of the matrix size $N$, and for $τ$ scaled to the weakly non-symmetric limit, when the number of eigenvalues is proportional to $N$. By establishing that the generating function for the probabilities specifying the distribution of the number of real eigenvalues has only negative real zeros, and using too the fact that variances in both circumstancesof interest tends to infinity as $N \to \infty$, the known central limit theorem for the fluctuations is strengthened to a local central limit theorem, and the rate of convergence is discussed. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 11 pages, 1 figure

Progress on the study of the Ginibre ensembles II: GinOE and GinSE

Authors: Sung-Soo Byun, Peter J. Forrester

Abstract: This is part II of a review relating to the three classes of random non-Hermitian Gaussian matrices introduced by Ginibre in 1965. While part I restricted attention to the GinUE (Ginibre unitary ensemble) case of complex elements, in this part the cases of real elements (GinOE, denoting Ginibre orthogonal ensemble) and quaternion elements represented as $2 \times 2$ complex blocks (GinSE, denoting… ▽ More This is part II of a review relating to the three classes of random non-Hermitian Gaussian matrices introduced by Ginibre in 1965. While part I restricted attention to the GinUE (Ginibre unitary ensemble) case of complex elements, in this part the cases of real elements (GinOE, denoting Ginibre orthogonal ensemble) and quaternion elements represented as $2 \times 2$ complex blocks (GinSE, denoting Ginibre symplectic ensemble) are considered. The eigenvalues of both GinOE and GinSE form Pfaffian point processes, which are more complicated than the determinantal point processes resulting from GinUE. Nevertheless, many of the obstacles that have slowed progress on the development of traditional aspects of the theory have now been overcome, while new theoretical aspects and new applications have been identified. This permits a comprehensive account of themes addressed too in the complex case: eigenvalue probability density functions and correlation functions, limit formulas for correlation functions, fluctuation formulas, sum rules, gap probabilities and eigenvector statistics, among others. Distinct from the complex case is the need to develop a theory of skew orthogonal polynomials corresponding to the skew inner product associated with the Pfaffian. Another distinct theme is the statistics of real eigenvalues, which is unique to GinOE. These appear in a number of applications of the theory, coming from areas as diverse as diffusion processes and persistence in statistical physics, topologically driven parametric energy level crossings for certain quantum dots, and equilibria counting for a system of random nonlinear differential equations. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Comments: 93 pages

Progress on the study of the Ginibre ensembles I: GinUE

Authors: Sung-Soo Byun, Peter J. Forrester

Abstract: The Ginibre unitary ensemble (GinUE) consists of $N \times N$ random matrices with independent complex standard Gaussian entries. This was introduced in 1965 by Ginbre, who showed that the eigenvalues form a determinantal point process with an explicit correlation kernel, and after scaling they are supported on the unit disk with constant density. For some time now it has been appreciated that Gin… ▽ More The Ginibre unitary ensemble (GinUE) consists of $N \times N$ random matrices with independent complex standard Gaussian entries. This was introduced in 1965 by Ginbre, who showed that the eigenvalues form a determinantal point process with an explicit correlation kernel, and after scaling they are supported on the unit disk with constant density. For some time now it has been appreciated that GinUE has a fundamental place within random matrix theory, both for its applications and for the richness of its theory. Here we review the progress on a number of themes relating to the study of GinUE. These are eigenvalue probability density functions and correlation functions, fluctuation formulas, sum rules and asymptotic behaviours of correlation functions, and normal matrix models. We discuss too applications in quantum many body physics and quantum chaos, and give an account of some statistical properties of the eigenvectors. △ Less

Submitted 12 January, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 71 pages; v2 72 pages, references and associated text added; v3 80 pages, Subsection 6.3 and references added

Spherical Induced Ensembles with Symplectic Symmetry

Authors: Sung-Soo Byun, Peter J. Forrester

Abstract: We consider the complex eigenvalues of the induced spherical Ginibre ensemble with symplectic symmetry and establish the local universality of these point processes along the real axis. We derive scaling limits of all correlation functions at regular points both in the strong and weak non-unitary regimes as well as at the origin having spectral singularity. A key ingredient of our proof is a deriv… ▽ More We consider the complex eigenvalues of the induced spherical Ginibre ensemble with symplectic symmetry and establish the local universality of these point processes along the real axis. We derive scaling limits of all correlation functions at regular points both in the strong and weak non-unitary regimes as well as at the origin having spectral singularity. A key ingredient of our proof is a derivation of a differential equation satisfied by the correlation kernels of the associated Pfaffian point processes, thereby allowing us to perform asymptotic analysis. △ Less

Submitted 30 May, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

Journal ref: SIGMA 19 (2023), 033, 28 pages

Dip-ramp-plateau for Dyson Brownian motion from the identity on $U(N)$

Authors: Peter J. Forrester, Mario Kieburg, Shi-Hao Li, Jiyuan Zhang

Abstract: In a recent work the present authors have shown that the eigenvalue probability density function for Dyson Brownian motion from the identity on $U(N)$ is an example of a newly identified class of random unitary matrices called cyclic Pólya ensembles. In general the latter exhibit a structured form of the correlation kernel. Specialising to the case of Dyson Brownian motion from the identity on… ▽ More In a recent work the present authors have shown that the eigenvalue probability density function for Dyson Brownian motion from the identity on $U(N)$ is an example of a newly identified class of random unitary matrices called cyclic Pólya ensembles. In general the latter exhibit a structured form of the correlation kernel. Specialising to the case of Dyson Brownian motion from the identity on $U(N)$ allows the moments of the spectral density, and the spectral form factor $S_N(k;t)$, to be evaluated explicitly in terms of a certain hypergeometric polynomial. Upon transformation, this can be identified in terms of a Jacobi polynomial with parameters $(N(μ- 1),1)$, where $μ= k/N$ and $k$ is the integer labelling the Fourier coefficients. From existing results in the literature for the asymptotics of the latter, the asymptotic forms of the moments of the spectral density can be specified, as can $\lim_{N \to \infty} {1 \over N} S_N(k;t) |_{μ= k/N}$. These in turn allow us to give a quantitative description of the large $N$ behaviour of the average $ \langle | \sum_{l=1}^N e^{ i k x_l} |^2 \rangle$. The latter exhibits a dip-ramp-plateau effect, which is attracting recent interest from the viewpoints of many body quantum chaos, and the scrambling of information in black holes. △ Less

Submitted 30 May, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 34 pages, 4 figures; v3 update following referee reports

Journal ref: Prob. Math. Phys. 5 (2024) 321-355

Discrete orthogonal ensemble on the exponential lattices

Authors: Peter J Forrester, Shi-Hao Li, Bo-Jian Shen, Guo-Fu Yu

Abstract: Inspired by Aomoto's $q$-Selberg integral, the orthogonal ensemble in the exponential lattice is considered in this paper. By introducing a skew symmetric kernel, the configuration space of this ensemble is constructed to be symmetric and thus, corresponding skew inner product, skew orthogonal polynomials as well as correlation functions are explicitly formulated. Examples including Al-Salam & Car… ▽ More Inspired by Aomoto's $q$-Selberg integral, the orthogonal ensemble in the exponential lattice is considered in this paper. By introducing a skew symmetric kernel, the configuration space of this ensemble is constructed to be symmetric and thus, corresponding skew inner product, skew orthogonal polynomials as well as correlation functions are explicitly formulated. Examples including Al-Salam & Carlitz, $q$-Laguerre, little $q$-Jacobi and big $q$-Jacobi cases are considered. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Comments: 32 pages. Comments are welcome

Finite size corrections relating to distributions of the length of longest increasing subsequences

Authors: Peter J. Forrester, Anthony Mays

Abstract: Considered are the large $N$, or large intensity, forms of the distribution of the length of the longest increasing subsequences for various models. Earlier work has established that after centring and scaling, the limit laws for these distributions relate to certain distribution functions at the hard edge known from random matrix theory. By analysing the hard to soft edge transition, we supplemen… ▽ More Considered are the large $N$, or large intensity, forms of the distribution of the length of the longest increasing subsequences for various models. Earlier work has established that after centring and scaling, the limit laws for these distributions relate to certain distribution functions at the hard edge known from random matrix theory. By analysing the hard to soft edge transition, we supplement and extend results of Baik and Jenkins for the Hammersley model and symmetrisations, which give that the leading correction is proportional to $z^{-2/3}$, where $z^2$ is the intensity of the Poisson rate, and provides a functional form as derivates of the limit law. Our methods give the functional form both in terms of Fredholm operator theoretic quantities, and in terms of Painlevé transcendents. For random permutations and their symmetrisations, numerical analysis of exact enumerations and simulations gives compelling evidence that the leading corrections are proportional to $N^{-1/3}$, and moreover provides an approximation to their graphical forms. △ Less

Submitted 8 June, 2022; v1 submitted 11 May, 2022; originally announced May 2022.

Comments: 22 pages, 12 figures. V3 due credit and consideration is given to the 2013 work of Baik and Jenkins. V4 corrected some typos and added new text to Sec 4.4. V5 fixed some typos, including in Conjecture 4.4

MSC Class: 15A52; 33E17; 62E15; 05A05

A review of exact results for fluctuation formulas in random matrix theory

Authors: Peter J. Forrester

Abstract: Covariances and variances of linear statistics of a point process can be written as integrals over the truncated two-point correlation function. When the point process consists of the eigenvalues of a random matrix ensemble, there are often large $N$ universal forms for this correlation after smoothing, which results in particularly simple limiting formulas for the fluctuation of the linear statis… ▽ More Covariances and variances of linear statistics of a point process can be written as integrals over the truncated two-point correlation function. When the point process consists of the eigenvalues of a random matrix ensemble, there are often large $N$ universal forms for this correlation after smoothing, which results in particularly simple limiting formulas for the fluctuation of the linear statistics. We review these limiting formulas, derived in the simplest cases as corollaries of explicit knowledge of the truncated two-point correlation. One of the large $N$ limits is to scale the eigenvalues so that limiting support is compact, and the linear statistics vary on the scale of the support. This is a global scaling. The other, where a thermodynamic limit is first taken so that the spacing between eigenvalues is of order unity, and then a scale imposed on the test functions so they are slowly varying, is the bulk scaling. The latter was already identified as a probe of random matrix characteristics for quantum spectra in the pioneering work of Dyson and Mehta. △ Less

Submitted 3 May, 2022; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: 54 pages, 2 figures; v2 some references added

Rank $1$ perturbations in random matrix theory -- a review of exact results

Authors: Peter J. Forrester

Abstract: A number of random matrix ensembles permitting exact determination of their eigenvalue and eigenvector statistics maintain this property under a rank $1$ perturbation. Considered in this review are the additive rank $1$ perturbation of the Hermitian Gaussian ensembles, the multiplicative rank $1$ perturbation of the Wishart ensembles, and rank $1$ perturbations of Hermitian and unitary matrices gi… ▽ More A number of random matrix ensembles permitting exact determination of their eigenvalue and eigenvector statistics maintain this property under a rank $1$ perturbation. Considered in this review are the additive rank $1$ perturbation of the Hermitian Gaussian ensembles, the multiplicative rank $1$ perturbation of the Wishart ensembles, and rank $1$ perturbations of Hermitian and unitary matrices giving rise to a two-dimensional support for the eigenvalues. The focus throughout is on exact formulas, which are typically the result of various integrable structures. The simplest is that of a determinantal point process, with others relating to partial differential equations implied by a formulation in terms of certain random tridiagonal matrices. Attention is also given to eigenvector overlaps in the setting of a rank $1$ perturbation. △ Less

Submitted 20 January, 2022; v1 submitted 2 January, 2022; originally announced January 2022.

Comments: 47 pages, 10 figures; v2 49 pages, references and associated text added

$q$-Pearson pair and moments in $q$-deformed ensembles

Authors: Peter J Forrester, Shi-Hao Li, Bo-Jian Shen, Guo-Fu Yu

Abstract: The generalisation of continuous orthogonal polynomial ensembles from random matrix theory to the $q$-lattice setting is considered. We take up the task of initiating a systematic study of the corresponding moments of the density from two complementary viewpoints. The first requires knowledge of the ensemble average with respect to a general Schur polynomial, from which the spectral moments follow… ▽ More The generalisation of continuous orthogonal polynomial ensembles from random matrix theory to the $q$-lattice setting is considered. We take up the task of initiating a systematic study of the corresponding moments of the density from two complementary viewpoints. The first requires knowledge of the ensemble average with respect to a general Schur polynomial, from which the spectral moments follow as a corollary. In the case of little $q$-Laguerre weight, a particular ${}_3 φ_2$ basic hypergeometric polynomial is used to express density moments. The second approach is to study the $q$-Laplace transform of the un-normalised measure. Using integrability properties associated with the $q$-Pearson equation for the $q$-classical weights, a fourth order $q$-difference equation is obtained, generalising a result of Ledoux in the continuous classical cases. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Comments: 31 pages. Comments are welcome

Circulant $L$-ensembles in the thermodynamic limit

Authors: Peter J. Forrester

Abstract: $L$-ensembles are a class of determinantal point processes which can be viewed as a statistical mechanical systems in the grand canonical ensemble. Circulant $L$-ensembles are the subclass which are locally translationally invariant and furthermore subject to periodic boundary conditions. Existing theory can very simply be specialised to this setting, allowing for the derivation of formulas for th… ▽ More $L$-ensembles are a class of determinantal point processes which can be viewed as a statistical mechanical systems in the grand canonical ensemble. Circulant $L$-ensembles are the subclass which are locally translationally invariant and furthermore subject to periodic boundary conditions. Existing theory can very simply be specialised to this setting, allowing for the derivation of formulas for the system pressure, and the correlation kernel, in the thermodynamic limit. For a one-dimensional domain, this is possible when the circulant matrix is both real symmetric, or complex Hermitian. The special case of the former having a Gaussian functional form for the entries is shown to correspond to free fermions at finite temperature, and be generalisable to higher dimensions. A special case of the latter is shown to be the statistical mechanical model introduced by Gaudin to interpolate between Poisson and unitary symmetry statistics in random matrix theory. It is shown in all cases that the compressibility sum rule for the two-point correlation is obeyed, and the small and large distance asymptotics of the latter are considered. Also, a conjecture relating the asymptotic form of the hole probability to the pressure is verified. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: 20 pages

High-low temperature dualities for the classical $β$-ensembles

Authors: Peter J. Forrester

Abstract: The loop equations for the $β$-ensembles are conventionally solved in terms of a $1/N$ expansion. We observe that it is also possible to fix $N$ and expand in inverse powers of $β$. At leading order, for the one-point function $W_1(x)$ corresponding to the average of the linear statistic $A = \sum_{j=1}^N 1/(x - λ_j)$, and specialising the classical weights, this reclaims well known results of Sti… ▽ More The loop equations for the $β$-ensembles are conventionally solved in terms of a $1/N$ expansion. We observe that it is also possible to fix $N$ and expand in inverse powers of $β$. At leading order, for the one-point function $W_1(x)$ corresponding to the average of the linear statistic $A = \sum_{j=1}^N 1/(x - λ_j)$, and specialising the classical weights, this reclaims well known results of Stieltjes relating the zeros of the classical polynomials to the minimum energy configuration of certain log-gas potential energies. Moreover, it is observed that the differential equations satisfied by $W_1(x)$ in the case of classical weights -- which are particular Riccati equations -- are simply related to the differential equations satisfied by $W_1(x)$ in the high temperature scaled limit $β= 2α/N$ ($α$ fixed, $N \to \infty$), implying a certain high-low temperature duality. A generalisation of this duality, valid without any limiting procedure, is shown to hold for $W_1(x)$ and all its higher point analogues in the classical $β$-ensembles. △ Less

Submitted 20 April, 2023; v1 submitted 20 March, 2021; originally announced March 2021.

Comments: 19 pages

Journal ref: Random Matrices: Theory and Applications Vol. 11, No. 04, 2250035 (2022)

The classical $β$-ensembles with $β$ proportional to $1/N$: from loop equations to Dyson's disordered chain

Authors: Peter J. Forrester, Guido Mazzuca

Abstract: In the classical $β$-ensembles of random matrix theory, setting $β= 2 α/N$ and taking the $N \to \infty$ limit gives a statistical state depending on $α$. Using the loop equations for the classical $β$-ensembles, we study the corresponding eigenvalue density, its moments, covariances of monomial linear statistics, and the moments of the leading $1/N$ correction to the density. From earlier literat… ▽ More In the classical $β$-ensembles of random matrix theory, setting $β= 2 α/N$ and taking the $N \to \infty$ limit gives a statistical state depending on $α$. Using the loop equations for the classical $β$-ensembles, we study the corresponding eigenvalue density, its moments, covariances of monomial linear statistics, and the moments of the leading $1/N$ correction to the density. From earlier literature the limiting eigenvalue density is known to be related to classical functions. Our study gives a unifying mechanism underlying this fact, identifying in particular the Gauss hypergeometric differential equation determining the Stieltjes transform of the limiting density in the Jacobi case. Our characterisation of the moments and covariances of monomial linear statistics is through recurrence relations. Also, we extend recent work which begins with the $β$-ensembles in the high temperature limit and constructs a family of tridiagonal matrices referred to as $α$-ensembles, obtaining a random anti-symmetric tridiagonal matrix with i.i.d.~gamma distributed random variables. From this we are able to supplement analytic results obtained by Dyson in the study of the so-called type I disordered chain. △ Less

Submitted 16 July, 2021; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 26 pages, 1 figure, we added some references and corrected some typos

Report number: Vol.62, Issue 7 MSC Class: 15B52(Primary) 60B20; 82C22; 82C44 (Secondary)

Journal ref: Journal of Mathematical Physics (2021)

Dyson's disordered linear chain from a random matrix theory viewpoint

Authors: Peter J. Forrester

Abstract: The first work of Dyson relating to random matrix theory, "The dynamics of a disordered linear chain", is reviewed. Contained in this work is an exact solution of a so-called Type I chain in the case of the disorder variables being given by a gamma distribution. The exact solution exhibits a singularity in the density of states about the origin, which has since been shown to be universal for one-d… ▽ More The first work of Dyson relating to random matrix theory, "The dynamics of a disordered linear chain", is reviewed. Contained in this work is an exact solution of a so-called Type I chain in the case of the disorder variables being given by a gamma distribution. The exact solution exhibits a singularity in the density of states about the origin, which has since been shown to be universal for one-dimensional tight binding models with off diagonal disorder. We discuss this context and also point out some universal features of the weak disorder expansion of the exact solution near the band edge. Further, a link between the exact solution, and a tridiagonal formalism of anti symmetric Gaussian $β$-ensembles with $β$ proportional to $1/N$, is made. △ Less

Submitted 25 January, 2021; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: 15 pages; v2 update following feedback

Phase transitions for products of characteristic polynomials under Dyson Brownian motion

Authors: Peter J. Forrester, Dang-Zheng Liu

Abstract: We study the averaged products of characteristic polynomials for the Gaussian and Laguerre $β$-ensembles with external source, and prove Pearcey-type phase transitions for particular full rank perturbations of source. The phases are characterised by determining the explicit functional forms of the scaled limits of the averaged products of characteristic polynomials, which are given as certain mult… ▽ More We study the averaged products of characteristic polynomials for the Gaussian and Laguerre $β$-ensembles with external source, and prove Pearcey-type phase transitions for particular full rank perturbations of source. The phases are characterised by determining the explicit functional forms of the scaled limits of the averaged products of characteristic polynomials, which are given as certain multidimensional integrals, with dimension equal to the number of products. △ Less

Submitted 26 December, 2020; originally announced December 2020.

MSC Class: 15B52

Journal ref: Acta Mathematica Sinica, English Series 2020

Cyclic Pólya Ensembles on the Unitary Matrices and their Spectral Statistics

Authors: Mario Kieburg, Shi-Hao Li, Jiyuan Zhang, Peter J. Forrester

Abstract: The framework of spherical transforms and Pólya ensembles is of utility in deriving structured analytic results for sums and products of random matrices in a unified way. In the present work, we will carry over this framework to study products of unitary matrices. Those are not distributed via the Haar measure, but still are drawn from distributions where the eigenvalue and eigenvector statistics… ▽ More The framework of spherical transforms and Pólya ensembles is of utility in deriving structured analytic results for sums and products of random matrices in a unified way. In the present work, we will carry over this framework to study products of unitary matrices. Those are not distributed via the Haar measure, but still are drawn from distributions where the eigenvalue and eigenvector statistics factorise. They include the circular Jacobi ensemble, known in relation to the Fisher-Hartwig singularity in the theory of Toeplitz determinants, as well as the heat kernel for Brownian motion on the unitary group. We define cyclic Pólya frequency functions and show their relation to the cyclic Pólya ensembles, give a uniqueness statement for the corresponding weights, and derive the determinantal point processes of the eigenvalue statistics at fixed matrix dimension. An outline is given of problems one may encounter when investigating the local spectral statistics. △ Less

Submitted 24 May, 2022; v1 submitted 22 December, 2020; originally announced December 2020.

MSC Class: 60B20; 15B52; 43A85; 43A90

Journal ref: Constructive Approximation volume 57, pages 1063-1108 (2023)

Joint moments of a characteristic polynomial and its derivative for the circular $β$-ensemble

Authors: Peter J. Forrester

Abstract: The problem of calculating the scaled limit of the joint moments of the characteristic polynomial, and the derivative of the characteristic polynomial, for matrices from the unitary group with Haar measure first arose in studies relating to the Riemann zeta function in the thesis of Hughes. Subsequently, Winn showed that these joint moments can equivalently be written as the moments for the distri… ▽ More The problem of calculating the scaled limit of the joint moments of the characteristic polynomial, and the derivative of the characteristic polynomial, for matrices from the unitary group with Haar measure first arose in studies relating to the Riemann zeta function in the thesis of Hughes. Subsequently, Winn showed that these joint moments can equivalently be written as the moments for the distribution of the trace in the Cauchy unitary ensemble, and furthermore relate to certain hypergeometric functions based on Schur polynomials, which enabled explicit computations. We give a $β$-generalisation of these results, where now the role of the Schur polynomials is played by the Jack polynomials. This leads to an explicit evaluation of the scaled moments for all $β> 0$, subject to the constraint that a particular parameter therein is equal to a non negative integer. Consideration is also given to the calculation of the moments of the singular statistic $\sum_{j=1}^N 1/x_j$ for the Jacobi $β$-ensemble. △ Less

Submitted 30 September, 2021; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: 29 pages; v2 guided by referee reports

Journal ref: Prob. Math. Phys. 3 (2022) 145-170

Global and local scaling limits for the $β= 2$ Stieltjes--Wigert random matrix ensemble

Authors: Peter J. Forrester

Abstract: The eigenvalue probability density function (PDF) for the Gaussian unitary ensemble has a well known analogy with the Boltzmann factor for a classical log-gas with pair potential $- \log | x - y|$, confined by a one-body harmonic potential. A generalisation is to replace the pair potential by $- \log |\sinh (π(x-y)/L) |$. The resulting PDF first appeared in the statistical physics literature in re… ▽ More The eigenvalue probability density function (PDF) for the Gaussian unitary ensemble has a well known analogy with the Boltzmann factor for a classical log-gas with pair potential $- \log | x - y|$, confined by a one-body harmonic potential. A generalisation is to replace the pair potential by $- \log |\sinh (π(x-y)/L) |$. The resulting PDF first appeared in the statistical physics literature in relation to non-intersecting Brownian walkers, equally spaced at time $t=0$, and subsequently in the study of quantum many body systems of the Calogero-Sutherland type, and also in Chern-Simons field theory. It is an example of a determinantal point process with correlation kernel based on the Stieltjes--Wigert polynomials. We take up the problem of determining the moments of this ensemble, and find an exact expression in terms of a particular little $q$-Jacobi polynomial. From their large $N$ form, the global density can be computed. Previous work has evaluated the edge scaling limit of the correlation kernel in terms of the Ramanujan ($q$-Airy) function. We show how in a particular $L \to \infty$ scaling limit, this reduces to the Airy kernel. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 25 pages

Relations between moments for the Jacobi and Cauchy random matrix ensembles

Authors: Peter J. Forrester, Anas A. Rahman

Abstract: We outline a relation between the densities for the $β$-ensembles with respect to the Jacobi weight $(1-x)^a(1+x)^b$ supported on the interval $(-1,1)$ and the Cauchy weight $(1-\mathrm{i}x)^η(1+\mathrm{i}x)^{\barη}$ by appropriate analytic continuation. This has the consequence of implying that the latter density satisfies a linear differential equation of degree three for $β=2$, and of degree fi… ▽ More We outline a relation between the densities for the $β$-ensembles with respect to the Jacobi weight $(1-x)^a(1+x)^b$ supported on the interval $(-1,1)$ and the Cauchy weight $(1-\mathrm{i}x)^η(1+\mathrm{i}x)^{\barη}$ by appropriate analytic continuation. This has the consequence of implying that the latter density satisfies a linear differential equation of degree three for $β=2$, and of degree five for $β=1$ and $4$, analogues of which are already known for the Jacobi weight $x^a(1-x)^b$ supported on $(0,1)$. We concentrate on the case $a=b$ (Jacobi weight on $(-1,1)$) and $η$ real (Cauchy weight) since the density is then an even function and the differential equations simplify. From the differential equations, recurrences can be obtained for the moments of the Jacobi weight supported on $(-1,1)$ and/or the moments of the Cauchy weight. Particular attention is paid to the case $β=2$ and the Jacobi weight on $(-1,1)$ in the symmetric case $a=b$, which in keeping with a recent result obtained by Assiotis et al.~for the $β=2$ case of the symmetric Cauchy weight (parameter $η$ real), allows for an explicit solution of the recurrence in terms of particular continuous Hahn polynomials. Also for the symmetric Cauchy weight with $η=-β(N-1)/2-1-α$, after appropriately scaling $α$ proportional to $N$, we use differential equations to compute terms in the $1/N^2$ ($1/N$) expansion of the resolvent for $β=2$ ($β=1,4$). △ Less

Submitted 11 July, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 32 pages

MSC Class: 15B52 (Primary); 39A10; 34C60

Journal ref: J. Math. Phys. 62 (2021) 073302

Differential recurrences for the distribution of the trace of the $β$-Jacobi ensemble

Authors: Peter J. Forrester, Santosh Kumar

Abstract: Examples of the $β$-Jacobi ensemble specify the joint distribution of the transmission eigenvalues in scattering problems. In this context, there has been interest in the distribution of the trace, as the trace corresponds to the conductance. Earlier, in the case $β= 1$, the trace statistic was isolated in studies of covariance matrices in multivariate statistics, where it is referred to as Pillai… ▽ More Examples of the $β$-Jacobi ensemble specify the joint distribution of the transmission eigenvalues in scattering problems. In this context, there has been interest in the distribution of the trace, as the trace corresponds to the conductance. Earlier, in the case $β= 1$, the trace statistic was isolated in studies of covariance matrices in multivariate statistics, where it is referred to as Pillai's $V$ statistic. In this context, Davis showed that for $β= 1$ the trace statistic, and its Fourier-Laplace transform, can be characterised by $(N+1) \times (N+1)$ matrix differential equations. For the Fourier-Laplace transform, this leads to a vector recurrence for the moments. However, for the distribution itself the characterisation provided was incomplete, as the connection problem of determining the linear combination of Frobenius type solutions that correspond to the statistic was not solved. We solve this connection problem for Jacobi parameter $b$ and Dyson index $β$ non-negative integers. For the other Jacobi parameter $a$ also a non-negative integer, the power series portion of each Frobenius solution terminates to a polynomial, and the matrix differential equation gives a recurrence for their computation. △ Less

Submitted 1 December, 2020; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: 28 pages, 1 figure, Mathematica codes & Codes description included as ancillary files

MSC Class: 15B52; 60B20; 15A15; 15A18; 33C45; 11B37; 65Qxx

Asymptotic correlations with corrections for the circular Jacobi $β$-ensemble

Authors: Peter J. Forrester, Shi-Hao Li, Allan K. Trinh

Abstract: Previous works have considered the leading correction term to the scaled limit of various correlation functions and distributions for classical random matrix ensembles and their $β$ generalisations at the hard and soft edge. It has been found that the functional form of this correction is given by a derivative operation applied to the leading term. In the present work we compute the leading correc… ▽ More Previous works have considered the leading correction term to the scaled limit of various correlation functions and distributions for classical random matrix ensembles and their $β$ generalisations at the hard and soft edge. It has been found that the functional form of this correction is given by a derivative operation applied to the leading term. In the present work we compute the leading correction term of the correlation kernel at the spectrum singularity for the circular Jacobi ensemble with Dyson indices $β= 1,2$ and 4, and also to the spectral density in the corresponding $β$-ensemble with $β$ even. The former requires an analysis involving the Routh-Romanovski polynomials, while the latter is based on multidimensional integral formulas for generalised hypergeometric series based on Jack polynomials. In all cases this correction term is found to be related to the leading term by a derivative operation. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 21 pages

MSC Class: 15B52; 15A15; 33E20

Rate of convergence at the hard edge for various Pólya ensembles of positive definite matrices

Authors: Peter J. Forrester, Shi-Hao Li

Abstract: The theory of Pólya ensembles of positive definite random matrices provides structural formulas for the corresponding biorthogonal pair, and correlation kernel, which are well suited to computing the hard edge large $N$ asymptotics. Such an analysis is carried out for products of Laguerre ensembles, the Laguerre Muttalib-Borodin ensemble, and products of Laguerre ensembles and their inverses. The… ▽ More The theory of Pólya ensembles of positive definite random matrices provides structural formulas for the corresponding biorthogonal pair, and correlation kernel, which are well suited to computing the hard edge large $N$ asymptotics. Such an analysis is carried out for products of Laguerre ensembles, the Laguerre Muttalib-Borodin ensemble, and products of Laguerre ensembles and their inverses. The latter includes as a special case the Jacobi unitary ensemble. In each case the hard edge scaled kernel permits an expansion in powers of $1/N$, with the leading term given in a structured form involving the hard edge scaling of the biorthogonal pair. The Laguerre and Jacobi ensembles have the special feature that their hard edge scaled kernel -- the Bessel kernel -- is symmetric and this leads to there being a choice of hard edge scaling variables for which the rate of convergence of the correlation functions is $O(1/N^2)$. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 21 pages

Quantifying dip-ramp-plateau for the Laguerre unitary ensemble structure function

Authors: Peter J. Forrester

Abstract: The ensemble average of $| \sum_{j=1}^N e^{i k λ_j} |^2$ is of interest as a probe of quantum chaos, as is its connected part, the structure function. Plotting this average for model systems of chaotic spectra reveals what has been termed a dip-ramp-plateau shape. Generalising earlier work of Brézin and Hikami for the Gaussian unitary ensemble, it is shown how the average in the case of the Laguer… ▽ More The ensemble average of $| \sum_{j=1}^N e^{i k λ_j} |^2$ is of interest as a probe of quantum chaos, as is its connected part, the structure function. Plotting this average for model systems of chaotic spectra reveals what has been termed a dip-ramp-plateau shape. Generalising earlier work of Brézin and Hikami for the Gaussian unitary ensemble, it is shown how the average in the case of the Laguerre unitary ensemble can be reduced to an expression involving the spectral density of the Jacobi unitary ensemble. This facilitates studying the large $N$ limit, and so quantifying the dip-ramp-plateau effect. When the parameter $a$ in the Laguerre weight $x^a e^{-x}$ scales with $N$, quantitative agreement is found with the characteristic features of this effect known for the Gaussian unitary ensemble. However, for the parameter $a$ fixed, the bulk scaled structure function is shown to have the simple functional form ${2 \over π} {\rm Arctan} \, k$, and so there is no ramp-plateau transition. △ Less

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

Comments: 23 pages; v2 reference added, Introduction updated; v3 incorporates corrections and suggestions of the referees

Computable structural formulas for the distribution of the $β$-Jacobi edge eigenvalues

Authors: Peter J. Forrester, Santosh Kumar

Abstract: The Jacobi ensemble is one of the classical ensembles of random matrix theory. Prominent in applications are properties of the eigenvalues at the spectrum edge, specifically the distribution of the largest (e.g. Roy's largest root test in multivariate statistics) and smallest (e.g.~condition numbers of linear systems) eigenvalues. We identify three ranges of parameter values for which the gap prob… ▽ More The Jacobi ensemble is one of the classical ensembles of random matrix theory. Prominent in applications are properties of the eigenvalues at the spectrum edge, specifically the distribution of the largest (e.g. Roy's largest root test in multivariate statistics) and smallest (e.g.~condition numbers of linear systems) eigenvalues. We identify three ranges of parameter values for which the gap probability determining these distributions is a finite sum with respect to particular bases, and moreover make use of a certain differential-difference system fundamental in the theory of the Selberg integral to provide a recursive scheme to compute the corresponding coefficients. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Comments: 22 pages, 3 figures. Mathematica files included. To view these files, please download and extract the zipped source file listed under "Other formats"

MSC Class: 15B52; 60B20; 15A18; 33C45; 11B37; 65Qxx

Differential identities for the structure function of some random matrix ensembles

Authors: Peter J. Forrester

Abstract: The structure function of a random matrix ensemble can be specified as the covariance of the linear statistics $\sum_{j=1}^N e^{i k_1 λ_j}$, $\sum_{j=1}^N e^{-i k_2 λ_j}$ for Hermitian matrices, and the same with the eigenvalues $λ_j$ replaced by the eigenangles $θ_j$ for unitary matrices. As such it can be written in terms of the Fourier transform of the density-density correlation $ρ_{(2)}$. For… ▽ More The structure function of a random matrix ensemble can be specified as the covariance of the linear statistics $\sum_{j=1}^N e^{i k_1 λ_j}$, $\sum_{j=1}^N e^{-i k_2 λ_j}$ for Hermitian matrices, and the same with the eigenvalues $λ_j$ replaced by the eigenangles $θ_j$ for unitary matrices. As such it can be written in terms of the Fourier transform of the density-density correlation $ρ_{(2)}$. For the circular $β$-ensemble of unitary matrices, and with $β$ even, we characterise the bulk scaling limit of $ρ_{(2)}$ as the solution of a linear differential equation of order $β+ 1$ -- a duality relates $ρ_{(2)}$ with $β$ replaced by $4/β$ to the same equation. Asymptotics obtained in the case $β= 6$ from this characterisation are combined with previously established results to determine the explicit form of the degree 10 palindromic polynomial in $β/2$ which determines the coefficient of $|k|^{11}$ in the small $|k|$ expansion of the structure function for general $β> 0$. For the Gaussian unitary ensemble we give a reworking of a recent derivation and generalisation, due to Okuyama, of an identity relating the structure function to simpler quantities in the Laguerre unitary ensemble first derived in random matrix theory by Brézin and Hikami. This is used to determine various scaling limits, many of which relate to the dip-ramp-plateau effect emphasised in recent studies of many body quantum chaos, and allows too for rates of convergence to be established. △ Less

Submitted 8 July, 2020; v1 submitted 31 May, 2020; originally announced June 2020.

Comments: 32 pages; v2 minor update

Harmonic analysis for rank-1 Randomised Horn Problems

Authors: Jiyuan Zhang, Mario Kieburg, Peter J. Forrester

Abstract: The randomised Horn problem, in both its additive and multiplicative version, has recently drawn increasing interest. Especially, closed analytical results have been found for the rank-1 perturbation of sums of Hermitian matrices and products of unitary matrices. We will generalise these results to rank-1 perturbations for products of positive definite Hermitian matrices and prove the other result… ▽ More The randomised Horn problem, in both its additive and multiplicative version, has recently drawn increasing interest. Especially, closed analytical results have been found for the rank-1 perturbation of sums of Hermitian matrices and products of unitary matrices. We will generalise these results to rank-1 perturbations for products of positive definite Hermitian matrices and prove the other results in a new unified way. Our ideas work along harmonic analysis for matrix groups via spherical transforms that have been successfully applied in products of random matrices in the past years. In order to achieve the unified derivation of all three cases, we define the spherical transform on the unitary group and prove its invertibility. △ Less

Submitted 10 November, 2021; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: 24 pages

MSC Class: 15B52; 60B20; 42B10

Journal ref: Letters in Mathematical Physics 111, 98 (2021)

Classical skew orthogonal polynomials in a two-component log-gas with charges $+1$ and $+2$

Authors: Peter J Forrester, Shi-Hao Li

Abstract: There is a two-component log-gas system with Boltzmann factor which provides an interpolation between the eigenvalue PDF for $β= 1$ and $β= 4$ invariant random matrix ensembles. The solvability of this log-gas system relies on the construction of particular skew orthogonal polynomials, with the skew inner product a linear combination of the $β= 1$ and $β= 4$ inner products, each involving weight f… ▽ More There is a two-component log-gas system with Boltzmann factor which provides an interpolation between the eigenvalue PDF for $β= 1$ and $β= 4$ invariant random matrix ensembles. The solvability of this log-gas system relies on the construction of particular skew orthogonal polynomials, with the skew inner product a linear combination of the $β= 1$ and $β= 4$ inner products, each involving weight functions. For suitably related classical weight functions, we seek to express the skew orthogonal polynomials as linear combinations of the underlying orthogonal polynomials. It is found that in each case (Gaussian, Laguerre, Jacobi and generalised Cauchy) the coefficients can be expressed in terms of hypergeometric polynomials with argument relating to the fugacity. In the Jacobi case, for example, these are a special case of the Wilson polynomials. △ Less

Submitted 4 January, 2020; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: 21 pages

Moments of the ground state density for the $d$-dimensional Fermi gas in an harmonic trap

Authors: Peter J. Forrester

Abstract: We consider properties of the ground state density for the $d$-dimensional Fermi gas in an harmonic trap. Previous work has shown that the $d$-dimensional Fourier transform has a very simple functional form. It is shown that this fact can be used to deduce that the density itself satisfies a third order linear differential equation, previously known in the literature but from other considerations.… ▽ More We consider properties of the ground state density for the $d$-dimensional Fermi gas in an harmonic trap. Previous work has shown that the $d$-dimensional Fourier transform has a very simple functional form. It is shown that this fact can be used to deduce that the density itself satisfies a third order linear differential equation, previously known in the literature but from other considerations. It is shown too how this implies a closed form expression for the $2k$-th non-negative integer moments of the density, and a second order recurrence. Both can be extended to general Re$\, k > -d/2$. The moments, and the smoothed density, permit expansions in $1/\tilde{M}^2$, where $\tilde{M} = M + (d+1)/2$, with $M$ denoting the shell label. The moment expansion substituted in the second order recurrence gives a generalisation of the Harer--Zagier recurrence, satisfied by the coefficients of the $1/N^2$ expansion of the moments of the spectral density for the Gaussian unitary ensemble in random matrix theory. △ Less

Submitted 9 October, 2020; v1 submitted 21 September, 2019; originally announced September 2019.

Comments: 15 pages; v2 some typos corrected; v3 update following referee reports; v4 further details of presentation attended to

Applications in random matrix theory of a PIII$'$ $τ$-function sequence from Okamoto's Hamiltonian formulation

Authors: Dan Dai, Peter J. Forrester, Shuai-Xia Xu

Abstract: We consider the singular linear statistic of the Laguerre unitary ensemble consisting of the sum of the reciprocal of the eigenvalues. It is observed that the exponential generating function for this statistic can be written as a Toeplitz determinant with entries given in terms of particular $K$ Bessel functions. Earlier studies have identified the same determinant, but with the $K$ Bessel functio… ▽ More We consider the singular linear statistic of the Laguerre unitary ensemble consisting of the sum of the reciprocal of the eigenvalues. It is observed that the exponential generating function for this statistic can be written as a Toeplitz determinant with entries given in terms of particular $K$ Bessel functions. Earlier studies have identified the same determinant, but with the $K$ Bessel functions replaced by $I$ Bessel functions, as relating to the hard edge scaling limit of a generalized gap probability for the Laguerre unitary ensemble, in the case of non-negative integer Laguerre parameter. We show that the Toeplitz determinant formed from an arbitrary linear combination of these two Bessel functions occurs as a $τ$-function sequence in Okamoto's Hamiltonian formulation of Painlevé III$'$, and consequently the logarithmic derivative of both Toeplitz determinants satisfies the same $σ$-form Painlevé III$'$ differential equation, giving an explanation of a fact which can be observed from earlier results. In addition, some insights into the relationship between this characterization of the generating function, and its characterization in the $n \to \infty$ limit, both with the Laguerre parameter $α$ fixed, and with $α= n$ (this latter circumstance being relevant to an application to the distribution of the Wigner time delay statistic), are given. △ Less

Submitted 12 May, 2021; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: 17 pages, typo corrected

MSC Class: 15B05; 15B52; 33E17

Linear Differential Equations for the Resolvents of the Classical Matrix Ensembles

Authors: Anas A. Rahman, Peter J. Forrester

Abstract: The spectral density for random matrix $β$ ensembles can be written in terms of the average of the absolute value of the characteristic polynomial raised to the power of $β$, which for even $β$ is a polynomial of degree $β(N-1)$. In the cases of the classical Gaussian, Laguerre, and Jacobi weights, we show that this polynomial, and moreover the spectral density itself, can be characterised as the… ▽ More The spectral density for random matrix $β$ ensembles can be written in terms of the average of the absolute value of the characteristic polynomial raised to the power of $β$, which for even $β$ is a polynomial of degree $β(N-1)$. In the cases of the classical Gaussian, Laguerre, and Jacobi weights, we show that this polynomial, and moreover the spectral density itself, can be characterised as the solution of a linear differential equation of degree $β+1$. This equation, and its companion for the resolvent, are given explicitly for $β=2$ and $4$ for all three classical cases, and also for $β=6$ in the Gaussian case. Known dualities for the spectral moments relating $β$ to $4/β$ then imply corresponding differential equations in the case $β=1$, and for the Gaussian ensemble, the case $β=2/3$. We apply the differential equations to give a systematic derivation of recurrences satisfied by the spectral moments and by the coefficients of their $1/N$ expansions, along with first-order differential equations for the coefficients of the $1/N$ expansions of the corresponding resolvents. We also present the form of the differential equations when scaled at the hard or soft edges. △ Less

Submitted 29 June, 2020; v1 submitted 14 August, 2019; originally announced August 2019.

Comments: 43 pages

MSC Class: 15B52 (Primary); 39A10; 34C60

Recursion scheme for the largest $β$-Wishart-Laguerre eigenvalue and Landauer conductance in quantum transport

Authors: Peter J. Forrester, Santosh Kumar

Abstract: The largest eigenvalue distribution of the Wishart-Laguerre ensemble, indexed by Dyson parameter $β$ and Laguerre parameter $a$, is fundamental in multivariate statistics and finds applications in diverse areas. Based on a generalization of the Selberg integral, we provide an effective recursion scheme to compute this distribution explicitly in both the original model, and a fixed-trace variant, f… ▽ More The largest eigenvalue distribution of the Wishart-Laguerre ensemble, indexed by Dyson parameter $β$ and Laguerre parameter $a$, is fundamental in multivariate statistics and finds applications in diverse areas. Based on a generalization of the Selberg integral, we provide an effective recursion scheme to compute this distribution explicitly in both the original model, and a fixed-trace variant, for $a,β$ non-negative integers and finite matrix size. For $β= 2$ this circumvents known symbolic evaluation based on determinants which become impractical for large dimensions. Our exact results have immediate applications in the areas of multiple channel communication and bipartite entanglement. Moreover, we are also led to the exact solution of a long standing problem of finding a general result for Landauer conductance distribution in a chaotic mesoscopic cavity with two ideal leads. Thus far, exact closed-form results for this were available only in the Fourier-Laplace space or could be obtained on a case-by-case basis. △ Less

Submitted 10 December, 2019; v1 submitted 28 June, 2019; originally announced June 2019.

Comments: Published version; 20 pages, 2 figures in the main text + 2 in the Mathematica code towards the end

Journal ref: Journal of Physics A: Mathematical and Theoretical, Volume 52, Page 42LT02, Year 2019

Schwinger-Dyson and loop equations for a product of square Ginibre random matrices

Authors: Stephane Dartois, Peter J. Forrester

Abstract: In this paper, we study the product of two complex Ginibre matrices and the loop equations satisfied by their resolvents (i.e. the Stieltjes transform of the correlation functions). We obtain using Schwinger-Dyson equation (SDE) techniques the general loop equations satisfied by the resolvents. In order to deal with the product structure of the random matrix of interest, we consider SDEs involving… ▽ More In this paper, we study the product of two complex Ginibre matrices and the loop equations satisfied by their resolvents (i.e. the Stieltjes transform of the correlation functions). We obtain using Schwinger-Dyson equation (SDE) techniques the general loop equations satisfied by the resolvents. In order to deal with the product structure of the random matrix of interest, we consider SDEs involving the integral of higher derivatives. One of the advantage of this technique is that it bypasses the reformulation of the problem in terms of singular values. As a byproduct of this study we obtain the large $N$ limit of the Stieltjes transform of the $2$-point correlation function, as well as the first correction to the Stieltjes transform of the density, giving us access to corrections to the smoothed density. In order to pave the way for the establishment of a topological recursion formula we also study the geometry of the corresponding spectral curve. This paper also contains explicit results for different resolvents and their corrections. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Comments: 28 pages, 7 figures

Co-rank 1 projections and the randomised Horn problem

Authors: Peter J. Forrester, Jiyuan Zhang

Abstract: Let $\hat{\boldsymbol x}$ be a normalised standard complex Gaussian vector, and project an Hermitian matrix $A$ onto the hyperplane orthogonal to $\hat{\boldsymbol x}$. In a recent paper Faraut [Tunisian J. Math. \textbf{1} (2019), 585--606] has observed that the corresponding eigenvalue PDF has an almost identical structure to the eigenvalue PDF for the rank 1 perturbation… ▽ More Let $\hat{\boldsymbol x}$ be a normalised standard complex Gaussian vector, and project an Hermitian matrix $A$ onto the hyperplane orthogonal to $\hat{\boldsymbol x}$. In a recent paper Faraut [Tunisian J. Math. \textbf{1} (2019), 585--606] has observed that the corresponding eigenvalue PDF has an almost identical structure to the eigenvalue PDF for the rank 1 perturbation $A + b \hat{\boldsymbol x} \hat{\boldsymbol x}^\dagger$, and asks for an explanation. We provide this by way of a common derivation involving the secular equations and associated Jacobians. This applies too in related setting, for example when $\hat{\boldsymbol x}$ is a real Gaussian and $A$ Hermitian, and also in a multiplicative setting $A U B U^\dagger$ where $A, B$ are fixed unitary matrices with $B$ a multiplicative rank 1 deviation from unity, and $U$ is a Haar distributed unitary matrix. Specifically, in each case there is a dual eigenvalue problem giving rise to a PDF of almost identical structure. △ Less

Submitted 15 June, 2019; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: 16 pages; V2 minor corrections; similarly V3

Journal ref: Tunisian J. Math. 3 (2021) 55-73