arXiv subjects

Grigori Olshanski

Publications and source records attributed to Grigori Olshanski.

At least 73 records · Page 4Linked to original sources

arXiv2003

Random partitions and the Gamma kernel

We study the asymptotics of certain measures on partitions (the so-called z-measures and their relatives) in two different regimes: near the diagonal of the corresponding Young diagram and in the intermediate zone between the diagonal and the edge of the Young diagram. We prove that in both cases the limit correlation functions have determinantal form with a correlation kernel which depends on two real parameters. In the first case the correlation kernel is discrete, and it has a simple expression in terms of the gamma functions. In the second case the correlation kernel is continuous and translationally invariant, and it can be a written as a ratio of two suitably scaled hyperbolic sines.

math-ph↗

arXiv2003

Kerov's central limit theorem for the Plancherel measure on Young diagrams

Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).

math.CO↗

arXiv2002

Z-measures on partitions and their scaling limits

We study certain probability measures on partitions of n=1,2,..., originated in representation theory, and demonstrate their connections with random matrix theory and multivariate hypergeometric functions. Our measures depend on three parameters including an analog of the beta parameter in random matrix models. Under an appropriate limit transition as n goes to infinity, our measures converge to certain limit measures, which are of the same nature as one-dimensional log-gas with arbitrary beta>0. The first main result says that averages of products of ``characteristic polynomials'' with respect to the limit measures are given by the multivariate hypergeometric functions of type (2,0). The second main result is a computation of the limit correlation functions for the even values of beta.

math-ph↗

arXiv2002

Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes

The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity). The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function. In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.

math.RT↗

arXiv2001

Frobenius-Schur functions

The present paper is a detailed version of math/0003031. We introduce and study a new basis in the algebra of symmetric functions. The elements of this basis are called the Frobenius-Schur functions (FS-functions, for short). Our main motivation for studying the FS-functions is the fact that they enter a formula expressing the combinatorial dimension of a skew Young diagram in terms of the Frobenius coordinates. This formula plays a key role in the asymptotic character theory of the symmetric groups. The FS-functions are inhomogeneous, and their top homogeneous components coincide with the conventional Schur functions. The FS-functions are best described in the super realization of the algebra of symmetric functions. As supersymmetric functions, the FS-functions can be characterized as a solution to an interpolation problem. Our main result is a simple determinantal formula for the transition coefficients between the FS-functions and the Schur functions. We also establish the FS analogs for a number of basic facts concerning the Schur functions: Jacobi-Trudi formula together with its dual form; combinatorial formula (expression in terms of tableaux); Giambelli formula and the Sergeev-Pragacz formula. All these results hold for a large family of bases interpolating between the FS-functions and the ordinary Schur functions.

math.CO↗

arXiv2001

The problem of harmonic analysis on the infinite-dimensional unitary group

The goal of harmonic analysis on a (noncommutative) group is to decompose the most `natural' unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(infinity) is one of the basic examples of `big' groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(infinity) consists of. We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(infinity)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976. The main result of the present paper consists in explicitly constructing a 4-parameter family of `natural' representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(infinity). We state the problem of harmonic analysis on U(infinity) as the problem of computing the spectral measures for these `natural' representations. A solution to this problem is given in the next paper math/0109194, joint with Alexei Borodin. We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(infinity) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.

math.RT↗

arXiv2001

Random Young Tableaux and Combinatorial Identities

We derive new combinatorial identities which may be viewed as multivariate analogs of summation formulas for hypergeometric series. As in the previous paper [Re], we start with probability distributions on the space of the infinite Young tableaux. Then we calculate the probability that the entry of a random tableau at a given box equals n=1,2,.... Summing these probabilities over n and equating the result to 1 we get a nontrivial identity. Our choice for the initial distributions is motivated by the recent work on harmonic analysis on the infinite symmetric group and related topics.

math.CO↗

arXiv2000

Infinite random matrices and ergodic measures

We introduce and study a 2-parameter family of unitarily invariant probability measures on the space of infinite Hermitian matrices. We show that the decomposition of a measure from this family on ergodic components is described by a determinantal point process on the real line. The correlation kernel for this process is explicitly computed. At certain values of parameters the kernel turns into the well-known sine kernel which describes the local correlation in Circular and Gaussian Unitary Ensembles. Thus, the random point configuration of the sine process is interpreted as the random set of ``eigenvalues'' of infinite Hermitian matrices distributed according to the corresponding measure.

math-ph↗

arXiv2000

Frobenius-Schur functions: summary of results

We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coordinates. This is important for the asymptotic theory of the characters of the symmetric groups. Our main result is a surprisingly simple determinantal expression of the Frobenius-Schur functions in terms of the conventional Schur functions. Other results include certain generating series, the Giambelli formula, vanishing properties and interpolation, a combinatorial formula (representation in terms of tableaux), and a Sergeev-Pragacz-type formula. Actually, we deal with a wider class of inhomogeneous symmetric functions which we call multiparameter Schur functions. These functions depend on an arbitrary doubly infinite sequence of parameters and interpolate between the Frobenius--Schur functions and the conventional Schur functions. This paper contains the statements of the results and the main formulas. Proofs will be given in an expanded version of the paper which will be posted in the arXiv.

math.CO↗

arXiv1999

Harmonic functions on multiplicative graphs and interpolation polynomials

We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.

math.CO↗

arXiv1999

Asymptotics of Plancherel measures for symmetric groups

We consider the asymptotics of the Plancherel measures on partitions of $n$ as $n$ goes to infinity. We prove that the local structure of a Plancherel typical partition (which we identify with a Young diagram) in the middle of the limit shape converges to a determinantal point process with the discrete sine kernel. On the edges of the limit shape, we prove that the joint distribution of suitably scaled 1st, 2nd, and so on rows of a Plancherel typical diagram converges to the corresponding distribution for eigenvalues of random Hermitian matrices (given by the Airy kernel). This proves a conjecture due to Baik, Deift, and Johansson by methods different from the Riemann-Hilbert techniques used in their original papers math.CO/9810105 and math.CO/9901118 and from the combinatorial approach proposed by Okounkov in math.CO/9903176. Our approach is based on an exact determinantal formula for the correlation functions of the poissonized Plancherel measures involving a new kernel on the 1-dimensional lattice. This kernel is expressed in terms of Bessel functions and we obtain it as a degeneration of the hypergeometric kernel from the paper math.RT/9904010 by Borodin and Olshanski. Our asymptotic analysis relies on the classical asymptotic formulas for the Bessel functions and depoissonization techniques.

math.CO↗

arXiv1999

Z-Measures on partitions, Robinson-Schensted-Knuth correspondence, and beta=2 random matrix ensembles

We suggest an hierarchy of all the results known so far about the connection of the asymptotics of combinatorial or representation theoretic problems with ``beta=2 ensembles'' arising in the random matrix theory. We show that all such results are, essentially, degenerations of one general situation arising from so-called generalized regular representations of the infinite symmetric group.

math.CO↗

arXiv1999

Distributions on partitions, point processes, and the hypergeometric kernel

We study a 3-parametric family of stochastic point processes on the one-dimensional lattice originated from a remarkable family of representations of the infinite symmetric group. We prove that the correlation functions of the processes are given by determinantal formulas with a certain kernel. The kernel can be expressed through the Gauss hypergeometric function; we call it the hypergeometric kernel. In a scaling limit our processes approximate the processes describing the decomposition of representations mentioned above into irreducibles. As we showed before, see math.RT/9810015, the correlation functions of these limit processes also have determinantal form with so-called Whittaker kernel. We show that the scaling limit of the hypergeometric kernel is the Whittaker kernel. The integral operator corresponding to the Whittaker kernel is an integrable operator as defined by Its, Izergin, Korepin, and Slavnov. We argue that the hypergeometric kernel can be considered as a kernel defining a `discrete integrable operator'. We also show that the hypergeometric kernel degenerates for certain values of parameters to the Christoffel-Darboux kernel for Meixner orthogonal polynomials. This fact is parallel to the degeneration of the Whittaker kernel to the Christoffel-Darboux kernel for Laguerre polynomials.

math.RT↗

arXiv1998

Point processes and the infinite symmetric group. Part V: Analysis of the matrix Whittaker kernel

The matrix Whittaker kernel has been introduced by A. Borodin in Part IV of the present series of papers. This kernel describes a point process -- a probability measure on a space of countable point configurations. The kernel is expressed in terms of the Whittaker confluent hypergeometric functions. It depends on two parameters and determines a $J$-symmetric operator $K$ in $L^2(R_+)\oplus L^2(R_+)$. It turns out that the operator $K$ can be represented in the form $L(1+L)^{-1}$, where $L$ is a rather simple integral operator: the kernel of $L$ is expressed in terms of elementary functions only. This is our main result; it elucidates the nature of the matrix Whittaker kernel and makes it possible to directly verify the existence of the associated point process. Next, we show that the matrix Whittaker kernel can be degenerated to a family of kernels expressed through the Bessel and Macdonald functions. In this way one can obtain both the well-known Bessel kernel (which arises in random matrix theory) and certain interesting new kernels.

math.RT↗

arXiv1998

Point processes and the infinite symmetric group. Part VI: Summary of results

We give a summary of the results from Parts I-V (math.RT/9804086, math.RT/9804087, math.RT/9804088, math.RT/9810013, math.RT/9810014). Our work originated from harmonic analysis on the infinite symmetric group. The problem of spectral decomposition for certain representations of this group leads to a family of probability measures on an infinite-dimensional simplex, which is a kind of dual object for the infinite symmetric group. To understand the nature of these measures we interpret them as stochastic point processes on the punctured real line and compute their correlation functions. The correlation functions are given by multidimensional integrals which can be expressed in terms of a multivariate hypergeometric series (the Lauricella function of type B). It turns out that after a slight modification (`lifting') of the processes the correlation functions take a common in Random Matrix Theory (RMT) determinantal form with a certain kernel. The kernel is expressed through the classical Whittaker functions. It depends on two parameters and admits a variety of degenerations. They include the well-known in RMT sine and Bessel kernels as well as some other Bessel-type kernels which, to our best knowledge, are new. The explicit knowledge of the correlation functions enables us to derive a number of conclusions about the initial probability measures. We also study the structure of our kernel; this finally leads to a constructive description of the initial measures. We believe that this work provides a new promising connection between RMT and Representation Theory.

math.RT↗

arXiv1998

Point processes and the infinite symmetric group. Part I: The general formalism and the density function

We study a 2-parametric family of probability measures on an infinite-dimensional simplex (the Thoma simplex). These measures originate in harmonic analysis on the infinite symmetric group (S.Kerov, G.Olshanski and A.Vershik, Comptes Rendus Acad. Sci. Paris I 316 (1993), 773-778). Our approach is to interpret them as probability distributions on a space of point configurations, i.e., as certain point stochastic processes, and to find the correlation functions of these processes. In the present paper we relate the correlation functions to the solutions of certain multidimensional moment problems. Then we calculate the first correlation function which leads to a conclusion about the support of the initial measures. In the appendix, we discuss a parallel but more elementary theory related to the well-known Poisson-Dirichlet distribution. The higher correlation functions are explicitly calculated in the subsequent paper (A.Borodin, math.RT/9804087). In the third part (A.Borodin and G.Olshanski, math.RT/9804088) we discuss some applications and relationships with the random matrix theory. The goal of our work is to understand new phenomena in noncommutative harmonic analysis which arise when the irreducible representations depend on countably many continuous parameters.

math.RT↗

arXiv1998

Point processes and the infinite symmetric group. Part III: Fermion point processes

In Part I (G.Olshanski, math.RT/9804086) and Part II (A.Borodin, math.RT/9804087) we developed an approach to certain probability distributions on the Thoma simplex. The latter has infinite dimension and is a kind of dual object for the infinite symmetric group. Our approach is based on studying the correlation functions of certain related point stochastic processes. In the present paper we consider the so-called tail point processes which describe the limit behavior of the Thoma parameters (coordinates on the Thoma simplex) with large numbers. The tail processes turn out to be stationary processes on the real line. Their correlation functions have determinantal form with a kernel which generalizes the well-known sine kernel arising in random matrix theory. Our second result is a law of large numbers for the Thoma parameters. We also produce Sturm-Liouville operators commuting with the Whittaker kernel introduced in Part II and with the generalized sine kernel.

math.RT↗

arXiv1997

Centralizer construction for twisted Yangians

For each of the classical Lie algebras $g(n)=o(2n+1), sp(2n), o(2n)$ of type B, C, D we consider the centralizer of the subalgebra $g(n-m)$ in the universal enveloping algebra $U(g(n))$. We show that the $n$th centralizer algebra can be naturally projected onto the $(n-1)$th one, so that one can form the projective limit of the centralizer algebras as $n\to\infty$ with $m$ fixed. The main result of the paper is a precise description of this limit (or stable) centralizer algebra, denoted by $A_m$. We explicitly construct an algebra isomorphism $A_m=Z\otimes Y_m$, where $Z$ is a commutative algebra and $Y_m$ is the so-called twisted Yangian associated to the rank $m$ classical Lie algebra of type B, C, or D. The algebra $Z$ may be viewed as the algebra of virtual Laplace operators; it is isomorphic to the algebra of polynomials with countably many indeterminates. The twisted Yangian $Y_m$ (and hence the algebra $A_m$) can be described in terms of a system of generators with quadratic and linear defining relations which are conveniently presented in R-matrix form involving the so-called reflection equation. This extends the earlier work on the type A case by the second author.

q-alg↗