{"title":"Asymptotic expansions relating to the distribution of the length of longest increasing subsequences","authors":"Folkmar Bornemann","doi":"10.1017/fms.2024.13","DOIUrl":null,"url":null,"abstract":"We study the distribution of the length of longest increasing subsequences in random permutations of <jats:italic>n</jats:italic> integers as <jats:italic>n</jats:italic> grows large and establish an asymptotic expansion in powers of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000136_inline1.png\" /> <jats:tex-math> $n^{-1/3}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy–Widom distribution <jats:italic>F</jats:italic>, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of <jats:italic>F</jats:italic> with rational polynomial coefficients. Our proof replaces Johansson’s de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted to an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum of Mathematics Sigma","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/fms.2024.13","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We study the distribution of the length of longest increasing subsequences in random permutations of n integers as n grows large and establish an asymptotic expansion in powers of $n^{-1/3}$ . Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy–Widom distribution F, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of F with rational polynomial coefficients. Our proof replaces Johansson’s de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted to an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.
我们研究了 n 个整数随机排列中最长递增子序列长度随 n 增长的分布,并建立了以 $n^{-1/3}$ 的幂为单位的渐近展开。Baik、Deift 和 Johansson 已经证明了 GUE Tracy-Widom 分布 F 的极限规律,而我们发现前几个有限大小修正项是 F 的高阶导数与有理多项式系数的线性组合的明确解析表达式。我们的证明用 Jacquet 和 Szpankowski 的解析去泊松化取代了 Johansson 的去泊松化,后者以单调性作为陶伯条件,而解析去泊松化则以复数平面上的增长条件为基础。作为准备步骤,研究了 LUE 的硬到软边缘过渡规律的展开,并将其提升到大强度泊松长度分布的展开。最后,给出了斯特林型近似以及长度分布的期望值和方差的展开。
期刊介绍:
Forum of Mathematics, Sigma is the open access alternative to the leading specialist mathematics journals. Editorial decisions are made by dedicated clusters of editors concentrated in the following areas: foundations of mathematics, discrete mathematics, algebra, number theory, algebraic and complex geometry, differential geometry and geometric analysis, topology, analysis, probability, differential equations, computational mathematics, applied analysis, mathematical physics, and theoretical computer science. This classification exists to aid the peer review process. Contributions which do not neatly fit within these categories are still welcome.
Forum of Mathematics, Pi and Forum of Mathematics, Sigma are an exciting new development in journal publishing. Together they offer fully open access publication combined with peer-review standards set by an international editorial board of the highest calibre, and all backed by Cambridge University Press and our commitment to quality. Strong research papers from all parts of pure mathematics and related areas will be welcomed. All published papers will be free online to readers in perpetuity.