%AGavrilova, Svetlana%APetrov, Leonid%BJournal Name: Selecta Mathematica; Journal Volume: 30; Journal Issue: 3
%D2024%ISpringer Nature
%JJournal Name: Selecta Mathematica; Journal Volume: 30; Journal Issue: 3
%KGrothendieck polynomials; Determinantal processes; Random partitions; Limit shape; Biorthogonal ensembles; Principal minor assignment problem
%MOSTI ID: 10513377
%PMedium: X
%TTilted biorthogonal ensembles, Grothendieck random partitions, and determinantal tests
%XWe study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (Sel Math 7(1):57–81, 2001). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are not determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the 4 × 4 problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size n ≥ 4, which appear new for n ≥ 5. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (Nucl Phys B 536:704–732, 1998), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.
%0Journal Article