Showing 1–29 of 29 results for author: Olshanski, G

Double Poisson brackets and involutive representation spaces

Authors: Grigori Olshanski, Nikita Safonkin

Abstract: Let $\Bbbk$ be an algebraically closed field of characteristic $0$ and $A$ be a finitely generated associative $\Bbbk$-algebra, in general noncommutative. One assigns to $A$ a sequence of commutative $\Bbbk$-algebras $\mathcal{O}(A,d)$, $d=1,2,3,\dots$, where $\mathcal{O}(A,d)$ is the coordinate ring of the space $\operatorname{Rep}(A,d)$ of $d$-dimensional representations of the algebra $A$. A… ▽ More Let $\Bbbk$ be an algebraically closed field of characteristic $0$ and $A$ be a finitely generated associative $\Bbbk$-algebra, in general noncommutative. One assigns to $A$ a sequence of commutative $\Bbbk$-algebras $\mathcal{O}(A,d)$, $d=1,2,3,\dots$, where $\mathcal{O}(A,d)$ is the coordinate ring of the space $\operatorname{Rep}(A,d)$ of $d$-dimensional representations of the algebra $A$. A double Poisson bracket on $A$ in the sense of Van den Bergh [Trans. Amer. Math. Soc. (2008); arXiv:math/0410528] is a bilinear map $\{\!\!\{-,-\}\!\!\}$ from $A\times A$ to $A^{\otimes 2}$, subject to certain conditions. Van den Bergh showed that any such bracket $\{\!\!\{-,-\}\!\!\}$ induces Poisson structures on all algebras $\mathcal{O}(A,d)$. We propose an analog of Van den Bergh's construction, which produces Poisson structures on the coordinate rings of certain subspaces of the representation spaces $\operatorname{Rep}(A,d)$. We call these subspaces the involutive representation spaces. They arise by imposing an additional symmetry condition on $\operatorname{Rep}(A,d)$ -- just as the classical groups from the series B, C, D are obtained from the general linear groups (series A) as fixed point sets of involutive automorphisms. △ Less

Submitted 10 December, 2023; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: v2: 34 pages, minor editorial changes, section 3.4 added

Journal ref: Letters in Mathematical Physics 114 (2024), paper 33

Remarks on Yangian-type algebras and double Poisson brackets

Authors: Grigori Olshanski, Nikita Safonkin

Abstract: This short note is an announcement of results. We continue the study of Yangian-type algebras initiated in the paper arXiv:2208.04809. These algebras share a number of properties of the Yangians of type A but are more massive. We refine and substantially enlarge the construction of that paper. A direct link with the class of linear double Poisson brackets on the free associative algebras (Picherea… ▽ More This short note is an announcement of results. We continue the study of Yangian-type algebras initiated in the paper arXiv:2208.04809. These algebras share a number of properties of the Yangians of type A but are more massive. We refine and substantially enlarge the construction of that paper. A direct link with the class of linear double Poisson brackets on the free associative algebras (Pichereau and Van de Weyer, arXiv:math/0701837) is also established. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Journal ref: Functional Analysis and its Applications 57:4 (2023), 326-336

The centralizer construction and Yangian-type algebras

Authors: Grigori Olshanski

Abstract: Let $d$ be a positive integer. The Yangian $Y_d=Y(\mathfrak{gl}(d,\mathbb C))$ of the general linear Lie algebra $\mathfrak{gl}(d,\mathbb C)$ has countably many generators and quadratic-linear defining relations, which can be packed into a single matrix relation using the Yang matrix -- the famous RTT presentation. Alternatively, $Y_d$ can be built from certain centralizer subalgebras of the unive… ▽ More Let $d$ be a positive integer. The Yangian $Y_d=Y(\mathfrak{gl}(d,\mathbb C))$ of the general linear Lie algebra $\mathfrak{gl}(d,\mathbb C)$ has countably many generators and quadratic-linear defining relations, which can be packed into a single matrix relation using the Yang matrix -- the famous RTT presentation. Alternatively, $Y_d$ can be built from certain centralizer subalgebras of the universal enveloping algebras $U(\mathfrak{gl}(N,\mathbb C))$, with the use of a limit transition as $N\to\infty$. This approach is called the \emph{centralizer construction}. The paper shows that a generalization of the centralizer construction leads to a new family $\{Y_{d,L}: L=1,2,3,\dots\}$ of Yangian-type algebras (the Yangian $Y_d$ being the first term of this family). For the new algebras, the RTT presentation seems to be missing, but a number of properties of the Yangian $Y_d$ persist. In particular, $Y_{d,L}$ possesses a system of quadratic-linear defining relations. The algebras $Y_{d,L}$ ($d=1,2,3,\dots$) provide a kind of quantization for a special double Poisson bracket (in the sense of Van den Bergh) on the free associative algebra with $L$ generators. △ Less

Submitted 6 November, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: v2: Introduction rewritten; some changes in the body of the text. v3: Lemma 7.1 strengthened; changes in introduction; references to arXiv:2308.13325 and arXiv:2310.01086 added

Journal ref: Journal of Geometry and Physics 196 (2024), paper 105063

Macdonald-level extension of beta ensembles and large-N limit transition

Authors: Grigori Olshanski

Abstract: We introduce and study a family of $(q,t)$-deformed discrete $N$-particle beta ensembles, where $q$ and $t$ are the parameters of Macdonald polynomials. The main result is the existence of a large-$N$ limit transition leading to random point processes with infinitely many particles. We introduce and study a family of $(q,t)$-deformed discrete $N$-particle beta ensembles, where $q$ and $t$ are the parameters of Macdonald polynomials. The main result is the existence of a large-$N$ limit transition leading to random point processes with infinitely many particles. △ Less

Submitted 30 June, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: v2: minor revision in accordance with the reviewer suggestions; section 7 extended; accepted in Commun. Math. Phys. v3: a number of typos fixed; uncited references removed

Journal ref: Communications in Mathematical Physics 385, 595-631 (2021)

Macdonald polynomials and extended Gelfand-Tsetlin graph

Authors: Grigori Olshanski

Abstract: Using Okounkov's $q$-integral representation of Macdonald polynomials we construct an infinite sequence $Ω_1,Ω_2,Ω_3,\dots$ of countable sets linked by transition probabilities from $Ω_N$ to $Ω_{N-1}$ for each $N=2,3,\dots$. The elements of the sets $Ω_N$ are the vertices of the extended Gelfand-Tsetlin graph, and the transition probabilities depend on the two Macdonald parameters, $q$ and $t$. Th… ▽ More Using Okounkov's $q$-integral representation of Macdonald polynomials we construct an infinite sequence $Ω_1,Ω_2,Ω_3,\dots$ of countable sets linked by transition probabilities from $Ω_N$ to $Ω_{N-1}$ for each $N=2,3,\dots$. The elements of the sets $Ω_N$ are the vertices of the extended Gelfand-Tsetlin graph, and the transition probabilities depend on the two Macdonald parameters, $q$ and $t$. These data determine a family of Markov chains, and the main result is the description of their entrance boundaries. This work has its origin in asymptotic representation theory. In the subsequent paper, the main result is applied to large-$N$ limit transition in $(q,t)$-deformed $N$-particle beta-ensembles. △ Less

Submitted 28 June, 2021; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: v2: minor revision, 56 pp., to appear in Selecta Mathematica

Journal ref: Selecta Mathematica, New Ser. 27, 41 (2021)

The Elliptic Tail Kernel

Authors: Cesar Cuenca, Vadim Gorin, Grigori Olshanski

Abstract: We introduce and study a new family of $q$-translation-invariant determinantal point processes on the two-sided $q$-lattice. We prove that these processes are limits of the $q$-$zw$ measures, which arise in the $q$-deformation of harmonic analysis on $U(\infty)$, and express their correlation kernels in terms of Jacobi theta functions. As an application, we show that the $q$-$zw$ measures are diff… ▽ More We introduce and study a new family of $q$-translation-invariant determinantal point processes on the two-sided $q$-lattice. We prove that these processes are limits of the $q$-$zw$ measures, which arise in the $q$-deformation of harmonic analysis on $U(\infty)$, and express their correlation kernels in terms of Jacobi theta functions. As an application, we show that the $q$-$zw$ measures are diffuse. Our results also hint at a link between the two-sided $q$-lattice and rows/columns of Young diagrams. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Comments: 28 pages

MSC Class: 60C05 (Primary); 33D90 (Secondary)

Journal ref: International Mathematics Research Notices, Vol. 2021, No. 19, pp. 14922-14964

A hierarchy of Palm measures for determinantal point processes with gamma kernels

Authors: Alexander I. Bufetov, Grigori Olshanski

Abstract: The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representatio… ▽ More The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representations of the Lie algebra $\mathfrak{su}(1,1)$. Every gamma kernel $K^{(z,z')}$ serves as a correlation kernel for a determinantal measure $M^{(z,z')}$, which lives on the space of infinite point configurations on the lattice. We examine chains of kernels of the form $$ \ldots, K^{(z-1,z'-1)}, \; K^{(z,z')},\; K^{(z+1,z'+1)}, \ldots, $$ and establish the following hierarchical relations inside any such chain: Given $(z,z')$, the kernel $K^{(z,z')}$ is a one-dimensional perturbation of (a twisting of) the kernel $K^{(z+1,z'+1)}$, and the one-point Palm distributions for the measure $M^{(z,z')}$ are absolutely continuous with respect to $M^{(z+1,z'+1)}$. We also explicitly compute the corresponding Radon-Nikodým derivatives and show that they are given by certain normalized multiplicative functionals. △ Less

Submitted 9 May, 2019; v1 submitted 30 April, 2019; originally announced April 2019.

Comments: Version 2: minor changes, typos fixed

Journal ref: Studia Mathematica 267 (2022), no. 2, 121-160

Interpolation Macdonald polynomials and Cauchy-type identities

Authors: Grigori Olshanski

Abstract: Let Sym denote the algebra of symmetric functions and $P_μ(\,\cdot\,;q,t)$ and $Q_μ(\,\cdot\,;q,t)$ be the Macdonald symmetric functions (recall that they differ by scalar factors only). The $(q,t)$-Cauchy identity $$ \sum_μP_μ(x_1,x_2,\dots;q,t)Q_μ(y_1,y_2,\dots;q,t)=\prod_{i,j=1}^\infty\frac{(x_iy_jt;q)_\infty}{(x_iy_j;q)_\infty} $$ expresses the fact that the $P_μ(\,\cdot\,;q,t)$'s form an orth… ▽ More Let Sym denote the algebra of symmetric functions and $P_μ(\,\cdot\,;q,t)$ and $Q_μ(\,\cdot\,;q,t)$ be the Macdonald symmetric functions (recall that they differ by scalar factors only). The $(q,t)$-Cauchy identity $$ \sum_μP_μ(x_1,x_2,\dots;q,t)Q_μ(y_1,y_2,\dots;q,t)=\prod_{i,j=1}^\infty\frac{(x_iy_jt;q)_\infty}{(x_iy_j;q)_\infty} $$ expresses the fact that the $P_μ(\,\cdot\,;q,t)$'s form an orthogonal basis in Sym with respect to a special scalar product $\langle\,\cdot\,,\,\cdot\,\rangle_{q,t}$. The present paper deals with the inhomogeneous \emph{interpolation} Macdonald symmetric functions $$ I_μ(x_1,x_2,\dots;q,t)=P_μ(x_1,x_2,\dots;q,t)+\text{lower degree terms}. $$ These functions come from the $N$-variate interpolation Macdonald polynomials, extensively studied in the 90's by Knop, Okounkov, and Sahi. The goal of the paper is to construct symmetric functions $J_μ(\,\cdot\,;q,t)$ with the biorthogonality property $$ \langle I_μ(\,\cdot\,;q,t), J_ν(\,\cdot\,;q,t)\rangle_{q,t}=δ_{μν}. $$ These new functions live in a natural completion of the algebra Sym. As a corollary one obtains a new Cauchy-type identity in which the interpolation Macdonald polynomials are paired with certain multivariate rational symmetric functions. The degeneration of this identity in the Jack limit is also described. △ Less

Submitted 26 September, 2018; v1 submitted 21 December, 2017; originally announced December 2017.

Comments: v2: the notation of dual functions changed in accordance with reviewer's suggestion; a few typos fixed; three unnecessary references deleted from the list; to appear in J. Combin. Theory Ser. A

Journal ref: Journal of Combinatorial Theory, Series A 162 (2019), 65-117

The ASEP and determinantal point processes

Authors: Alexei Borodin, Grigori Olshanski

Abstract: We introduce a family of discrete determinantal point processes related to orthogonal polynomials on the real line, with correlation kernels defined via spectral projections for the associated Jacobi matrices. For classical weights, we show how such ensembles arise as limits of various hypergeometric orthogonal polynomials ensembles. We then prove that the q-Laplace transform of the height funct… ▽ More We introduce a family of discrete determinantal point processes related to orthogonal polynomials on the real line, with correlation kernels defined via spectral projections for the associated Jacobi matrices. For classical weights, we show how such ensembles arise as limits of various hypergeometric orthogonal polynomials ensembles. We then prove that the q-Laplace transform of the height function of the ASEP with step initial condition is equal to the expectation of a simple multiplicative functional on a discrete Laguerre ensemble --- a member of the new family. This allows us to obtain the large time asymptotics of the ASEP in three limit regimes: (a) for finitely many rightmost particles; (b) GUE Tracy-Widom asymptotics of the height function; (c) KPZ asymptotics of the height function for the ASEP with weak asymmetry. We also give similar results for two instances of the stochastic six vertex model in a quadrant. The proofs are based on limit transitions for the corresponding determinantal point processes. △ Less

Submitted 4 August, 2016; originally announced August 2016.

Comments: 47 pages

Journal ref: Communications in Mathematical Physics 353 (2017), 853-903

Limit shapes for growing extreme characters of $U(\infty)$

Authors: Alexei Borodin, Alexey Bufetov, Grigori Olshanski

Abstract: We prove the existence of a limit shape and give its explicit description for certain probability distribution on signatures (or highest weights for unitary groups). The distributions have representation theoretic origin-they encode decomposition on irreducible characters of the restrictions of certain extreme characters of the infinite-dimensional unitary group $U(\infty)$ to growing finite-dimen… ▽ More We prove the existence of a limit shape and give its explicit description for certain probability distribution on signatures (or highest weights for unitary groups). The distributions have representation theoretic origin-they encode decomposition on irreducible characters of the restrictions of certain extreme characters of the infinite-dimensional unitary group $U(\infty)$ to growing finite-dimensional unitary subgroups $U(N)$. The characters of $U(\infty)$ are allowed to depend on $N$. In a special case, this describes the hydrodynamic behavior for a family of random growth models in $(2+1)$-dimensions with varied initial conditions. △ Less

Submitted 29 June, 2015; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AAP1050 in the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AAP-AAP1050

Journal ref: Annals of Applied Probability 2015, Vol. 25, No. 4, 2339-2381

Markov dynamics on the dual object to the infinite-dimensional unitary group

Authors: Grigori Olshanski

Abstract: These are notes for a mini-course of 3 lectures given at the St. Petersburg School in Probability and Statistical Physics (June 2012). My aim was to explain, on the example of a particular model, how ideas from the representation theory of big groups can be applied in probabilistic problems. The material is based on the joint paper arXiv:1009.2029 by Alexei Borodin and myself; a broader range of… ▽ More These are notes for a mini-course of 3 lectures given at the St. Petersburg School in Probability and Statistical Physics (June 2012). My aim was to explain, on the example of a particular model, how ideas from the representation theory of big groups can be applied in probabilistic problems. The material is based on the joint paper arXiv:1009.2029 by Alexei Borodin and myself; a broader range of topics is surveyed in the lecture notes by Alexei Borodin and Vadim Gorin arXiv:1212.3351. △ Less

Submitted 23 October, 2013; originally announced October 2013.

Comments: 24 pp

Journal ref: In: Probability and Statistical Physics in St. Petersburg. Proceedings of Symposia in Pure Mathematics vol. 91, pp. 373-394. Amer. Math. Soc., 2016

An interacting particle process related to Young tableaux

Authors: Alexei Borodin, Grigori Olshanski

Abstract: We discuss a stochastic particle system consisting of a two-dimensional array of particles living in one space dimension. The stochastic evolution bears a certain similarity to Hammersley's process, and the particle interaction is governed by combinatorics of the Young tableaux. We discuss a stochastic particle system consisting of a two-dimensional array of particles living in one space dimension. The stochastic evolution bears a certain similarity to Hammersley's process, and the particle interaction is governed by combinatorics of the Young tableaux. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Comments: 10 pp

Markov dynamics on the Thoma cone: a model of time-dependent determinantal processes with infinitely many particles

Authors: Alexei Borodin, Grigori Olshanski

Abstract: The Thoma cone is an infinite-dimensional locally compact space, which is closely related to the space of extremal characters of the infinite symmetric group. In another context, the Thoma cone appears as the set of parameters for totally positive, upper triangular Toeplitz matrices of infinite size. The purpose of the paper is to construct a family of continuous time Markov processes on the Tho… ▽ More The Thoma cone is an infinite-dimensional locally compact space, which is closely related to the space of extremal characters of the infinite symmetric group. In another context, the Thoma cone appears as the set of parameters for totally positive, upper triangular Toeplitz matrices of infinite size. The purpose of the paper is to construct a family of continuous time Markov processes on the Thoma cone, depending on two continuous parameters. Our construction largely exploits specific properties of the Thoma cone related to its representation-theoretic origin, although we do not use representations directly. On the other hand, we were inspired by analogies with random matrix theory coming from models of Markov dynamics related to orthogonal polynomial ensembles. We show that our processes possess a number of nice properties, namely: (1) every process X is a Feller process; (2) the infinitesimal generator of X, its spectrum, and the eigenfunctions admit an explicit description; (3) in the equilibrium regime, the finite-dimensional distributions of X can be interpreted as (the laws of) infinite-particle systems with determinantal correlations; (4) the corresponding time-dependent correlation kernel admits an explicit expression, and its structure is similar to that of time-dependent correlation kernels appearing in random matrix theory. △ Less

Submitted 13 August, 2013; v1 submitted 12 March, 2013; originally announced March 2013.

Comments: 53 pp; Version 2 (journal version): minor typos fixed, the proof of Proposition 8.12 slightly rewritten; Electronic Journal of Probability 18 (2013), paper 75

Equilibrium Kawasaki dynamics and determinantal point processes

Authors: Eugene Lytvynov, Grigori Olshanski

Abstract: Let "mu" be a point process on a countable discrete space "X". Under assumption that "mu" is quasi-invariant with respect to any finitary permutation of "X", we describe a general scheme for constructing an equilibrium Kawasaki dynamics for which "mu" is a symmetrizing (and hence invariant) measure. We also exhibit a two-parameter family of point processes "mu" possessing the needed quasi-invarian… ▽ More Let "mu" be a point process on a countable discrete space "X". Under assumption that "mu" is quasi-invariant with respect to any finitary permutation of "X", we describe a general scheme for constructing an equilibrium Kawasaki dynamics for which "mu" is a symmetrizing (and hence invariant) measure. We also exhibit a two-parameter family of point processes "mu" possessing the needed quasi-invariance property. Each process of this family is determinantal, and its correlation kernel is the kernel of a projection operator in the Hilbert space of square-summable functions on "X". △ Less

Submitted 4 October, 2012; originally announced October 2012.

Comments: 13 pp; to appear in J. Math. Sci. (New York)

Random permutations and related topics

Authors: Grigori Olshanski

Abstract: We present an overview of selected topics in random permutations and random partitions highlighting analogies with random matrix theory. We present an overview of selected topics in random permutations and random partitions highlighting analogies with random matrix theory. △ Less

Submitted 20 April, 2011; v1 submitted 7 April, 2011; originally announced April 2011.

Comments: Latex, 24 pp. To be published as Chapter 25 in "The Oxford Handbook of Random Matrix Theory" (G. Akemann, J. Baik, P. Di Francesco, eds). Oxford Univ. Press, 2011, ISBN 978-019-9-574000-1. Version 2: minor corrections, references added

Laguerre and Meixner orthogonal bases in the algebra of symmetric functions

Authors: Grigori Olshanski

Abstract: Analogs of Laguerre and Meixner orthogonal polynomials in the algebra of symmetric functions are studied. This is a detailed exposition of part of the results announced in arXiv:1009.2037. The work is motivated by a connection with a model of infinite-dimensional Markov dynamics. Analogs of Laguerre and Meixner orthogonal polynomials in the algebra of symmetric functions are studied. This is a detailed exposition of part of the results announced in arXiv:1009.2037. The work is motivated by a connection with a model of infinite-dimensional Markov dynamics. △ Less

Submitted 30 March, 2011; originally announced March 2011.

Comments: Latex, 52pp

Journal ref: International Mathematics Research Notices 2012 (2012), 3615-3679

Markov processes on the path space of the Gelfand-Tsetlin graph and on its boundary

Authors: Alexei Borodin, Grigori Olshanski

Abstract: We construct a four-parameter family of Markov processes on infinite Gelfand-Tsetlin schemes that preserve the class of central (Gibbs) measures. Any process in the family induces a Feller Markov process on the infinite-dimensional boundary of the Gelfand-Tsetlin graph or, equivalently, the space of extreme characters of the infinite-dimensional unitary group U(infinity). The process has a unique… ▽ More We construct a four-parameter family of Markov processes on infinite Gelfand-Tsetlin schemes that preserve the class of central (Gibbs) measures. Any process in the family induces a Feller Markov process on the infinite-dimensional boundary of the Gelfand-Tsetlin graph or, equivalently, the space of extreme characters of the infinite-dimensional unitary group U(infinity). The process has a unique invariant distribution which arises as the decomposing measure in a natural problem of harmonic analysis on U(infinity) posed in arXiv:math/0109193. As was shown in arXiv:math/0109194, this measure can also be described as a determinantal point process with a correlation kernel expressed through the Gauss hypergeometric function. △ Less

Submitted 10 September, 2010; originally announced September 2010.

Journal ref: Journal of Functional Analysis 263 (2012), 248-303

Difference operators and determinantal point processes

Authors: Grigori Olshanski

Abstract: We consider a family {P} of determinantal point processes arising in representation theory and random matrix theory. The processes live on the one-dimensional lattice and their correlation kernels correspond to projection operators in the l^2 Hilbert space on the lattice. Moreover, these projections are spectral projections associated to certain selfadjoint second order difference operators on t… ▽ More We consider a family {P} of determinantal point processes arising in representation theory and random matrix theory. The processes live on the one-dimensional lattice and their correlation kernels correspond to projection operators in the l^2 Hilbert space on the lattice. Moreover, these projections are spectral projections associated to certain selfadjoint second order difference operators on the lattice. The aim of the note is to demonstrate that the difference operators in question can be efficiently employed in the study of limit transitions inside the family {P}. △ Less

Submitted 21 October, 2008; originally announced October 2008.

Comments: 15 pages; to appear in Funct. Anal. Appl. 42 (2008), no. 4

MSC Class: 60C05; 60G55; 33C45

Journal ref: Functional Analysis and its Applications 42 (2008), no. 4, 317-329

Asymptotics of Plancherel-type random partitions

Authors: Alexei Borodin, Grigori Olshanski

Abstract: We present a solution to a problem suggested by Philippe Biane: We prove that a certain Plancherel-type probability distribution on partitions converges, as partitions get large, to a new determinantal random point process on the set {0,1,2,...} of nonnegative integers. This can be viewed as an edge limit ransition. The limit process is determined by a correlation kernel on {0,1,2,...} which is… ▽ More We present a solution to a problem suggested by Philippe Biane: We prove that a certain Plancherel-type probability distribution on partitions converges, as partitions get large, to a new determinantal random point process on the set {0,1,2,...} of nonnegative integers. This can be viewed as an edge limit ransition. The limit process is determined by a correlation kernel on {0,1,2,...} which is expressed through the Hermite polynomials, we call it the discrete Hermite kernel. The proof is based on a simple argument which derives convergence of correlation kernels from convergence of unbounded self-adjoint difference operators. Our approach can also be applied to a number of other probabilistic models. As an example, we discuss a bulk limit for one more Plancherel-type model of random partitions. △ Less

Submitted 20 February, 2007; v1 submitted 7 October, 2006; originally announced October 2006.

Comments: AMS TeX, 19 pages. Version 2: minor typos fixed

MSC Class: 60C05; 60G55; 33C45

Journal ref: J. Algebra 313 (2007), no. 1, 40-60.

Meixner polynomials and random partitions

Authors: Alexei Borodin, Grigori Olshanski

Abstract: The paper deals with a 3-parameter family of probability measures on the set of partitions, called the z-measures. The z-measures first emerged in connection with the problem of harmonic analysis on the infinite symmetric group. They are a special and distinguished case of Okounkov's Schur measures. It is known that any Schur measure determines a determinantal point process on the 1-dimensional… ▽ More The paper deals with a 3-parameter family of probability measures on the set of partitions, called the z-measures. The z-measures first emerged in connection with the problem of harmonic analysis on the infinite symmetric group. They are a special and distinguished case of Okounkov's Schur measures. It is known that any Schur measure determines a determinantal point process on the 1-dimensional lattice. In the particular case of z-measures, the correlation kernel of this process, called the discrete hypergeometric kernel, has especially nice properties. The aim of the paper is to derive the discrete hypergeometric kernel by a new method, based on a relationship between the z-measures and the Meixner orthogonal polynomial ensemble. The present paper can be viewed as an introduction to another our paper where the same approach is applied to studying a dynamical model related to the z-measures (Markov processes on partitions, Prob. Theory Rel. Fields 135 (2006), 84-152; arXiv: math-ph/0409075). △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: AMSTeX, 27 pages, to appear in Moscow Mathematical Journal

MSC Class: 60C05; 60G55; 33C45

Journal ref: Moscow Mathematical Journal 4 (2006), no. 4, 629-655.

Giambelli compatible point processes

Authors: Alexei Borodin, Grigori Olshanski, Eugene Strahov

Abstract: We distinguish a class of random point processes which we call Giambelli compatible point processes. Our definition was partly inspired by determinantal identities for averages of products and ratios of characteristic polynomials for random matrices found earlier by Fyodorov and Strahov. It is closely related to the classical Giambelli formula for Schur symmetric functions. We show that orthog… ▽ More We distinguish a class of random point processes which we call Giambelli compatible point processes. Our definition was partly inspired by determinantal identities for averages of products and ratios of characteristic polynomials for random matrices found earlier by Fyodorov and Strahov. It is closely related to the classical Giambelli formula for Schur symmetric functions. We show that orthogonal polynomial ensembles, z-measures on partitions, and spectral measures of characters of generalized regular representations of the infinite symmetric group generate Giambelli compatible point processes. In particular, we prove determinantal identities for averages of analogs of characteristic polynomials for partitions. Our approach provides a direct derivation of determinantal formulas for correlation functions. △ Less

Submitted 25 April, 2006; v1 submitted 7 May, 2005; originally announced May 2005.

Comments: Version 2: proof of Theorem 3.1 corrected; typos fixed; to appear in Advances Appl. Math

Journal ref: Adv. in Appl. Math. 37 (2006), no. 2, 209--248

Markov processes on partitions

Authors: Alexei Borodin, Grigori Olshanski

Abstract: We introduce and study a family of Markov processes on partitions. The processes preserve the so-called z-measures on partitions previously studied in connection with harmonic analysis on the infinite symmetric group. We show that the dynamical correlation functions of these processes have determinantal structure and we explicitly compute their correlation kernels. We also compute the scaling li… ▽ More We introduce and study a family of Markov processes on partitions. The processes preserve the so-called z-measures on partitions previously studied in connection with harmonic analysis on the infinite symmetric group. We show that the dynamical correlation functions of these processes have determinantal structure and we explicitly compute their correlation kernels. We also compute the scaling limits of the kernels in two different regimes. The limit kernels describe the asymptotic behavior of large rows and columns of the corresponding random Young diagrams, and the behavior of the Young diagrams near the diagonal. Our results show that recently discovered analogy between random partitions arising in representation theory and spectra of random matrices extends to the associated time-dependent models. △ Less

Submitted 28 September, 2004; originally announced September 2004.

Comments: AMSTeX, 73 pages

Journal ref: Probab. Theory Related Fields 135 (2006), no. 1, 84--152

Stochastic dynamics related to Plancherel measure on partitions

Authors: Alexei Borodin, Grigori Olshanski

Abstract: Consider the standard Poisson process in the first quadrant of the Euclidean plane, and for any point (u,v) of this quadrant take the Young diagram obtained by applying the Robinson-Schensted correspondence to the intersection of the Poisson point configuration with the rectangle with vertices (0,0), (u,0), (u,v), (0,v). It is known that the distribution of the random Young diagram thus obtained… ▽ More Consider the standard Poisson process in the first quadrant of the Euclidean plane, and for any point (u,v) of this quadrant take the Young diagram obtained by applying the Robinson-Schensted correspondence to the intersection of the Poisson point configuration with the rectangle with vertices (0,0), (u,0), (u,v), (0,v). It is known that the distribution of the random Young diagram thus obtained is the poissonized Plancherel measure with parameter uv. We show that for (u,v) moving along any southeast-directed curve in the quadrant, these Young diagrams form a Markov chain with continuous time. We also describe these chains in terms of jump rates. Our main result is the computation of the dynamical correlation functions of such Markov chains and their bulk and edge scaling limits. △ Less

Submitted 29 September, 2004; v1 submitted 23 February, 2004; originally announced February 2004.

Comments: minor corrections; title changed

Journal ref: In: Representation Theory, Dynamical Systems, and Asymptotic Combinatorics (V.Kaimanovich and A.Lodkin, eds). Amer. Math. Soc., Translations -- Series 2, vol. 217, 2006, 9-22

Harmonic analysis on the infinite symmetric group

Authors: Sergei Kerov, Grigori Olshanski, Anatoly Vershik

Abstract: Let S be the group of finite permutations of the naturals 1,2,... The subject of the paper is harmonic analysis for the Gelfand pair (G,K), where G stands for the product of two copies of S while K is the diagonal subgroup in G. The spherical dual to (G,K) (that is, the set of irreducible spherical unitary representations) is an infinite-dimensional space. For such Gelfand pairs, the conventiona… ▽ More Let S be the group of finite permutations of the naturals 1,2,... The subject of the paper is harmonic analysis for the Gelfand pair (G,K), where G stands for the product of two copies of S while K is the diagonal subgroup in G. The spherical dual to (G,K) (that is, the set of irreducible spherical unitary representations) is an infinite-dimensional space. For such Gelfand pairs, the conventional scheme of harmonic analysis is not applicable and it has to be suitably modified. We construct a compactification of S called the space of virtual permutations. It is no longer a group but it is still a G-space. On this space, there exists a unique G-invariant probability measure which should be viewed as a true substitute of Haar measure. More generally, we define a 1-parameter family of probability measures on virtual permutations, which are quasi-invariant under the action of G. Using these measures we construct a family {T_z} of unitary representations of G depending on a complex parameter z. We prove that any T_z admits a unique decomposition into a multiplicity free integral of irreducible spherical representations of (G,K). Moreover, the spectral types of different representations (which are defined by measures on the spherical dual) are pairwise disjoint. Our main result concerns the case of integral values of parameter z: then we obtain an explicit decomposition of T_z into irreducibles. The case of nonintegral z is quite different. It was studied by Borodin and Olshanski, see e.g. the survey math.RT/0311369. △ Less

Submitted 12 December, 2003; originally announced December 2003.

Comments: AMS Tex, 80 pages, no figures

Journal ref: Invent. Math. 158 (2004), no. 3, 551--642

Random partitions and the Gamma kernel

Authors: Alexei Borodin, Grigori Olshanski

Abstract: 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 t… ▽ More 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. △ Less

Submitted 21 May, 2003; originally announced May 2003.

Comments: AMSTeX, 49 pages

Journal ref: Adv. Math. 194 (2005), no. 1, 141--202

Z-measures on partitions and their scaling limits

Authors: Alexei Borodin, Grigori Olshanski

Abstract: 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… ▽ More 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. △ Less

Submitted 28 October, 2002; originally announced October 2002.

Comments: AMSTeX, 37 pages

Journal ref: European J. Combin. 26 (2005), no. 6, 795--834

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

Authors: Alexei Borodin, Grigori Olshanski

Abstract: 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 s… ▽ More 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. △ Less

Submitted 28 January, 2002; v1 submitted 24 September, 2001; originally announced September 2001.

Comments: AMSTeX, 88 pages

Journal ref: Ann. of Math. 161 (2005), no. 3, 1319--1422

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

Authors: Grigori Olshanski

Abstract: 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 anal… ▽ More 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. △ Less

Submitted 24 September, 2001; originally announced September 2001.

Comments: AMSTeX, 50 pages

Journal ref: J. Funct. Anal. 205 (2003), no. 2, 464--524

Infinite random matrices and ergodic measures

Authors: Alexei Borodin, Grigori Olshanski

Abstract: 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 int… ▽ More 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. △ Less

Submitted 11 October, 2000; originally announced October 2000.

Comments: 36 pages

Journal ref: Comm. Math. Phys. 223 (2001), no. 1, 87--123