## On the distribution of the length of the longest increasing subsequence of random permutations

HTML articles powered by AMS MathViewer

- by Jinho Baik, Percy Deift and Kurt Johansson
- J. Amer. Math. Soc.
**12**(1999), 1119-1178 - DOI: https://doi.org/10.1090/S0894-0347-99-00307-0
- Published electronically: June 24, 1999
- PDF | Request permission

## Abstract:

The authors consider the length, $l_N$, of the longest increasing subsequence of a random permutation of $N$ numbers. The main result in this paper is a proof that the distribution function for $l_N$, suitably centered and scaled, converges to the Tracy-Widom distribution of the largest eigenvalue of a random GUE matrix. The authors also prove convergence of moments. The proof is based on the steepest descent method for Riemann-Hilbert problems, introduced by Deift and Zhou in 1993 in the context of integrable systems. The applicability of the Riemann-Hilbert technique depends, in turn, on the determinantal formula of Gessel for the Poissonization of the distribution function of $l_N$.## References

- Milton Abramowitz and Irene A. Stegun (eds.),
*Handbook of mathematical functions, with formulas, graphs, and mathematical tables*, Dover Publications, Inc., New York, 1966. MR**0208797** - D. Aldous and P. Diaconis,
*Hammersley’s interacting particle process and longest increasing subsequences*, Probab. Theory Related Fields**103**(1995), no. 2, 199–213. MR**1355056**, DOI 10.1007/BF01204214 - R. M. Baer and P. Brock,
*Natural sorting over permutation spaces*, Math. Comp.**22**(1968), 385–410. MR**228216**, DOI 10.1090/S0025-5718-1968-0228216-8 - J.Baik, P.Deift and K.Johansson,
*On the distribution of the length of the second row of a Young diagram under Plancherel measure*, preprint, LANL E-print math.CO/9901118. - J.Baik and E.Rains,
*Symmetrized increasing subsequence problems*, in preparation. - R. Beals and R. R. Coifman,
*Scattering and inverse scattering for first order systems*, Comm. Pure Appl. Math.**37**(1984), no. 1, 39–90. MR**728266**, DOI 10.1002/cpa.3160370105 - A.Borodin,
*Longest increasing subsequences of random colored permutations*, Electron. J. Combin.,**6 (1)**, R13, (1999). - Kevin F. Clancey and Israel Gohberg,
*Factorization of matrix functions and singular integral operators*, Operator Theory: Advances and Applications, vol. 3, Birkhäuser Verlag, Basel-Boston, Mass., 1981. MR**657762** - Percy Deift,
*Integrable Hamiltonian systems*, Dynamical systems and probabilistic methods in partial differential equations (Berkeley, CA, 1994) Lectures in Appl. Math., vol. 31, Amer. Math. Soc., Providence, RI, 1996, pp. 103–138. MR**1363027** - P. A. Deift, A. R. It⋅s, and X. Zhou,
*Long-time asymptotics for integrable nonlinear wave equations*, Important developments in soliton theory, Springer Ser. Nonlinear Dynam., Springer, Berlin, 1993, pp. 181–204. MR**1280475** - P.A.Deift, T.Kriecherbauer and K.T-R McLaughlin,
*New Results on the Equilibrium Measure for Logarithmic potentials in the Presence of an External Field*, J. Approx. Theory,**95**, no.3, 388-475, (1998). - P. Deift, T. Kriecherbauer, K. T-R McLaughlin, S. Venakides, and X. Zhou,
*Asymptotics for polynomials orthogonal with respect to varying exponential weights*, Internat. Math. Res. Notices**16**(1997), 759–782. MR**1472344**, DOI 10.1155/S1073792897000500 - P.A.Deift, T.Kriecherbauer, K.T-R McLaughlin, S.Venakides and X.Zhou,
*Strong Asymptotics for Orthogonal Polynomials with respect to Varying Exponential Weights via Riemann-Hilbert Techniques*, To appear in Comm. Pure. Appl. Math. - P.A.Deift, T.Kriecherbauer, K.T-R McLaughlin, S.Venakides and X.Zhou,
*Uniform Asymptotics for Polynomials Orthogonal with respect to Varying Exponential Weights and Applications to Universality Questions in Random Matrix Theory*, To appear in Comm. Pure. Appl. Math. - P. Deift, S. Venakides, and X. Zhou,
*The collisionless shock region for the long-time behavior of solutions of the KdV equation*, Comm. Pure Appl. Math.**47**(1994), no. 2, 199–206. MR**1263128**, DOI 10.1002/cpa.3160470204 - P. Deift, S. Venakides, and X. Zhou,
*New results in small dispersion KdV by an extension of the steepest descent method for Riemann-Hilbert problems*, Internat. Math. Res. Notices**6**(1997), 286–299. MR**1440305**, DOI 10.1155/S1073792897000214 - P. Deift and X. Zhou,
*A steepest descent method for oscillatory Riemann-Hilbert problems. Asymptotics for the MKdV equation*, Ann. of Math. (2)**137**(1993), no. 2, 295–368. MR**1207209**, DOI 10.2307/2946540 - P. A. Deift and X. Zhou,
*Asymptotics for the Painlevé II equation*, Comm. Pure Appl. Math.**48**(1995), no. 3, 277–337. MR**1322812**, DOI 10.1002/cpa.3160480304 - Jean-Dominique Deuschel and Ofer Zeitouni,
*Limiting curves for i.i.d. records*, Ann. Probab.**23**(1995), no. 2, 852–878. MR**1334175** - J.-D.Deuschel and O.Zeitouni,
*On increasing subsequences of i.i.d. samples*, preprint, (1997). - Persi Diaconis and Mehrdad Shahshahani,
*On the eigenvalues of random matrices*, J. Appl. Probab.**31A**(1994), 49–62. Studies in applied probability. MR**1274717**, DOI 10.2307/3214948 - P.Erdös and G.Szekeres,
*A combinatorial theorem in geometry*, Compositio Math.,**2**, 463-470, (1935). - Hermann Flaschka and Alan C. Newell,
*Monodromy- and spectrum-preserving deformations. I*, Comm. Math. Phys.**76**(1980), no. 1, 65–116. MR**588248** - A. S. Fokas, A. R. It⋅s, and A. V. Kitaev,
*Discrete Painlevé equations and their appearance in quantum gravity*, Comm. Math. Phys.**142**(1991), no. 2, 313–344. MR**1137067** - A. S. Fokas, Ugurhan Muğan, and Xin Zhou,
*On the solvability of Painlevé $\textrm {I},\;\textrm {III}$ and $\textrm {V}$*, Inverse Problems**8**(1992), no. 5, 757–785. MR**1185598** - A. S. Fokas and Xin Zhou,
*On the solvability of Painlevé $\textrm {II}$ and $\textrm {IV}$*, Comm. Math. Phys.**144**(1992), no. 3, 601–622. MR**1158763** - Ira M. Gessel,
*Symmetric functions and P-recursiveness*, J. Combin. Theory Ser. A**53**(1990), no. 2, 257–285. MR**1041448**, DOI 10.1016/0097-3165(90)90060-A - Ira Gessel, Jonathan Weinstein, and Herbert S. Wilf,
*Lattice walks in $\textbf {Z}^d$ and permutations with no long ascending subsequences*, Electron. J. Combin.**5**(1998), Research Paper 2, 11. MR**1486395**, DOI 10.37236/1340 - Israel Gohberg and Naum Krupnik,
*One-dimensional linear singular integral equations. I*, Operator Theory: Advances and Applications, vol. 53, Birkhäuser Verlag, Basel, 1992. Introduction; Translated from the 1979 German translation by Bernd Luderer and Steffen Roch and revised by the authors. MR**1138208** - D.J.Gross and E.Witten,
*Possible third-order phase transition in the large N lattice gauge theory*, Phys. Rev. D,**21**, 446-453, (1980). - J. M. Hammersley,
*A few seedlings of research*, Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability (Univ. California, Berkeley, Calif., 1970/1971) Univ. California Press, Berkeley, Calif., 1972, pp. 345–394. MR**0405665** - S. P. Hastings and J. B. McLeod,
*A boundary value problem associated with the second Painlevé transcendent and the Korteweg-de Vries equation*, Arch. Rational Mech. Anal.**73**(1980), no. 1, 31–51. MR**555581**, DOI 10.1007/BF00283254 - Masato Hisakado,
*Unitary matrix models and Painlevé III*, Modern Phys. Lett. A**11**(1996), no. 38, 3001–3010. MR**1426091**, DOI 10.1142/S0217732396002976 - Alexander R. Its and Victor Yu. Novokshenov,
*The isomonodromic deformation method in the theory of Painlevé equations*, Lecture Notes in Mathematics, vol. 1191, Springer-Verlag, Berlin, 1986. MR**851569**, DOI 10.1007/BFb0076661 - Michio Jimbo, Tetsuji Miwa, and Kimio Ueno,
*Monodromy preserving deformation of linear ordinary differential equations with rational coefficients. I. General theory and $\tau$-function*, Phys. D**2**(1981), no. 2, 306–352. MR**630674**, DOI 10.1016/0167-2789(81)90013-0 - Kurt Johansson,
*The longest increasing subsequence in a random permutation and a unitary random matrix model*, Math. Res. Lett.**5**(1998), no. 1-2, 63–82. MR**1618351**, DOI 10.4310/MRL.1998.v5.n1.a6 - K.Johansson,
*Shape fluctuations and random matrices*, preprint, 1999. - K.Johansson,
*Transversal fluctuations for increasing subsequences on the plane*, preprint, 1999. - Spyridon Kamvissis,
*On the long time behavior of the doubly infinite Toda lattice under initial data decaying at infinity*, Comm. Math. Phys.**153**(1993), no. 3, 479–519. MR**1218930** - J.-H. Kim,
*On the longest increasing subsequence of random permutations - a concentration result*, J. Comb. Th. A, vol.**76**, 148-155, (1996). - Donald E. Knuth,
*The art of computer programming. Volume 3*, Addison-Wesley Series in Computer Science and Information Processing, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1973. Sorting and searching. MR**0445948** - B. F. Logan and L. A. Shepp,
*A variational problem for random Young tableaux*, Advances in Math.**26**(1977), no. 2, 206–222. MR**1417317**, DOI 10.1016/0001-8708(77)90030-5 - Madan Lal Mehta,
*Random matrices*, 2nd ed., Academic Press, Inc., Boston, MA, 1991. MR**1083764** - A.M.Odlyzko, B.Poonen, H.Widom and H.S.Wilf,
*On the distribution of longest increasing subsequences in random permutations*, unpublished manuscript. - A.M.Odlyzko and E.M.Rains,
*On longest increasing subsequences in random permutations*, in preparation. - A.Okounkov,
*Random matrices and random permutations*, preprint, 1999. - V.Periwal and D.Shevitz,
*Unitary-Matrix Models as Exactly Solvable String Theories*, Phys. Rev. Lett.,**64**, 1326-1329, (1990). - E. M. Rains,
*Increasing subsequences and the classical groups*, Electron. J. Combin.**5**(1998), Research Paper 12, 9. MR**1600095**, DOI 10.37236/1350 - E.B.Saff and V.Totik,
*Logarithmic Potentials with External Fields*, Springer-Verlag, New York, 1997. - Bruce E. Sagan,
*The symmetric group*, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1991. Representations, combinatorial algorithms, and symmetric functions. MR**1093239** - C. Schensted,
*Longest increasing and decreasing subsequences*, Canadian J. Math.**13**(1961), 179–191. MR**121305**, DOI 10.4153/CJM-1961-015-3 - Timo Seppäläinen,
*A microscopic model for the Burgers equation and longest increasing subsequences*, Electron. J. Probab.**1**(1996), no. 5, approx. 51 pp.}, issn=1083-6489, review= MR**1386297**, doi=10.1214/EJP.v1-5, - T.Seppäläinen,
*Large deviations for increasing sequences on the plane*, Probab. Theory Related Fields,**112**, no.2, 221-244, (1998). - Barry Simon,
*Representations of finite and compact groups*, Graduate Studies in Mathematics, vol. 10, American Mathematical Society, Providence, RI, 1996. MR**1363490**, DOI 10.1090/gsm/010 - Gábor Szegő,
*Orthogonal polynomials*, 4th ed., American Mathematical Society Colloquium Publications, Vol. XXIII, American Mathematical Society, Providence, R.I., 1975. MR**0372517** - P. Hebroni,
*Sur les inverses des éléments dérivables dans un anneau abstrait*, C. R. Acad. Sci. Paris**209**(1939), 285–287 (French). MR**14** - Craig A. Tracy and Harold Widom,
*Level-spacing distributions and the Airy kernel*, Comm. Math. Phys.**159**(1994), no. 1, 151–174. MR**1257246** - C.A.Tracy and H.Widom,
*Random unitary matrices, permutations and Painlevé*, preprint, LANL E-print math.CO/9811154. - Stanislaw M. Ulam,
*Monte Carlo calculations in problems of mathematical physics*, Modern mathematics for the engineer: Second series, McGraw-Hill, New York, 1961, pp. 261–281. MR**0129165** - A. M. Veršik and S. V. Kerov,
*Asymptotic behavior of the Plancherel measure of the symmetric group and the limit form of Young tableaux*, Dokl. Akad. Nauk SSSR**233**(1977), no. 6, 1024–1027 (Russian). MR**0480398** - A. M. Vershik and S. V. Kerov,
*Asymptotic behavior of the maximum and generic dimensions of irreducible representations of the symmetric group*, Funktsional. Anal. i Prilozhen.**19**(1985), no. 1, 25–36, 96 (Russian). MR**783703** - H.Widom, personal communication.

## Bibliographic Information

**Jinho Baik**- Affiliation: Courant Institute of Mathematical Sciences, New York University, New York, New York 10012
- MR Author ID: 646186
- Email: baik@cims.nyu.edu
**Percy Deift**- MR Author ID: 56085
- Email: deift@cims.nyu.edu
**Kurt Johansson**- Affiliation: Department of Mathematics, Royal Institute of Technology, S-100 44 Stockholm, Sweden
- MR Author ID: 258098
- Email: kurtj@math.kth.se
- Received by editor(s): July 20, 1998
- Received by editor(s) in revised form: March 30, 1999
- Published electronically: June 24, 1999
- Additional Notes: The authors would like to acknowledge many extremely useful and enlightening conversations with Persi Diaconis and Andrew Odlyzko. Special thanks are due to Andrew Odlyzko and Eric Rains for providing us with the results of their Monte Carlo simulations.

The work of the second author was supported in part by NSF grant #DMS-9500867.

The work of the third author was supported in part by the Swedish Natural Research Council (NFR) - © Copyright 1999 American Mathematical Society
- Journal: J. Amer. Math. Soc.
**12**(1999), 1119-1178 - MSC (1991): Primary 05A05, 15A52, 33D45, 45E05, 60F99
- DOI: https://doi.org/10.1090/S0894-0347-99-00307-0
- MathSciNet review: 1682248