-
Q-operators for the Ruijsenaars model
Authors:
Eric Rains,
Hjalmar Rosengren
Abstract:
We prove that the Ruijsenaars model admits a one-parameter commuting family of Q-operators. The commutativity is equivalent to an elliptic hypergeometric integral transformation that was conjectured by Gadde et al., and has an alternative interpretation in terms of S-duality for quiver gauge theories. We present two proofs of this conjecture, one using the elliptic Macdonald polynomials of Langman…
▽ More
We prove that the Ruijsenaars model admits a one-parameter commuting family of Q-operators. The commutativity is equivalent to an elliptic hypergeometric integral transformation that was conjectured by Gadde et al., and has an alternative interpretation in terms of S-duality for quiver gauge theories. We present two proofs of this conjecture, one using the elliptic Macdonald polynomials of Langmann et al., and one using known results on elliptic hypergeometric integrals. We also explain how the Noumi-Sano operators appear as degenerations of Q-operators.
△ Less
Submitted 23 March, 2025;
originally announced March 2025.
-
Elliptic $\mathrm{A}_n$ Selberg integrals
Authors:
Seamus P. Albion,
Eric M. Rains,
S. Ole Warnaar
Abstract:
We use the elliptic interpolation kernel due to the second author to prove an $\mathrm{A}_n$ extension of the elliptic Selberg integral. More generally, we obtain elliptic analogues of the $\mathrm{A}_n$ Kadell, Hua-Kadell and Alba-Fateev-Litvinov-Tarnopolsky (or AFLT) integrals.
We use the elliptic interpolation kernel due to the second author to prove an $\mathrm{A}_n$ extension of the elliptic Selberg integral. More generally, we obtain elliptic analogues of the $\mathrm{A}_n$ Kadell, Hua-Kadell and Alba-Fateev-Litvinov-Tarnopolsky (or AFLT) integrals.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
AFLT-type Selberg integrals
Authors:
Seamus P. Albion,
Eric M. Rains,
S. Ole Warnaar
Abstract:
In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These inclu…
▽ More
In their 2011 paper on the AGT conjecture, Alba, Fateev, Litvinov and Tarnopolsky (AFLT) obtained a closed-form evaluation for a Selberg integral over the product of two Jack polynomials, thereby unifying the well-known Kadell and Hua--Kadell integrals. In this paper we use a variety of symmetric functions and symmetric function techniques to prove generalisations of the AFLT integral. These include (i) an $\mathrm{A}_n$ analogue of the AFLT integral, containing two Jack polynomials in the integrand; (ii) a generalisation of (i) for $γ=1$ (the Schur or GUE case), containing a product of $n+1$ Schur functions; (iii) an elliptic generalisation of the AFLT integral in which the role of the Jack polynomials is played by a pair of elliptic interpolation functions; (iv) an AFLT integral for Macdonald polynomials.
△ Less
Submitted 26 October, 2021; v1 submitted 15 January, 2020;
originally announced January 2020.
-
Affine Macdonald conjectures and special values of Felder-Varchenko functions
Authors:
Eric M. Rains,
Yi Sun,
Alexander Varchenko
Abstract:
We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Mac…
▽ More
We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Macdonald conjectures in the general case which are consistent with computer computations.
Our method applies recent work of the second named author to relate these conjectures in the case of $U_q(\widehat{\mathfrak{sl}}_2)$ to evaluations of certain theta hypergeometric integrals defined by Felder-Varchenko. We then evaluate the resulting integrals, which may be of independent interest, by well-chosen applications of the elliptic beta integral introduced by Spiridonov.
△ Less
Submitted 27 April, 2017; v1 submitted 6 October, 2016;
originally announced October 2016.
-
An elliptic Garnier system
Authors:
Christopher M. Ormerod,
Eric M. Rains
Abstract:
We present a linear system of difference equations whose entries are expressed in terms of theta functions. This linear system is singular at $4m+12$ points for $m \geq 1$, which appear in pairs due to a symmetry condition. We parameterize this linear system in terms a set of kernels at the singular points. We regard the system of discrete isomonodromic deformations as an elliptic analogue of the…
▽ More
We present a linear system of difference equations whose entries are expressed in terms of theta functions. This linear system is singular at $4m+12$ points for $m \geq 1$, which appear in pairs due to a symmetry condition. We parameterize this linear system in terms a set of kernels at the singular points. We regard the system of discrete isomonodromic deformations as an elliptic analogue of the Garnier system. We identify the special case in which $m=1$ with the elliptic Painlevé equation, hence, this work provides an explicit form and Lax pair for the elliptic Painlevé equation.
△ Less
Submitted 27 July, 2016; v1 submitted 26 July, 2016;
originally announced July 2016.
-
A Nekrasov-Okounkov formula for Macdonald polynomials
Authors:
Eric M. Rains,
S. Ole Warnaar
Abstract:
We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces.
We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces.
△ Less
Submitted 19 February, 2018; v1 submitted 14 June, 2016;
originally announced June 2016.
-
Commutation Relations and Discrete Garnier Systems
Authors:
Christopher M. Ormerod,
Eric M. Rains
Abstract:
We present four classes of nonlinear systems which may be considered discrete analogues of the Garnier system. These systems arise as discrete isomonodromic deformations of systems of linear difference equations in which the associated Lax matrices are presented in a factored form. A system of discrete isomonodromic deformations is completely determined by commutation relations between the factors…
▽ More
We present four classes of nonlinear systems which may be considered discrete analogues of the Garnier system. These systems arise as discrete isomonodromic deformations of systems of linear difference equations in which the associated Lax matrices are presented in a factored form. A system of discrete isomonodromic deformations is completely determined by commutation relations between the factors. We also reparameterize these systems in terms of the image and kernel vectors at singular points to obtain a separate birational form. A distinguishing feature of this study is the presence of a symmetry condition on the associated linear problems that only appears as a necessary feature of the Lax pairs for the least degenerate discrete Painlevé equations.
△ Less
Submitted 8 November, 2016; v1 submitted 22 January, 2016;
originally announced January 2016.
-
On Cohen-Macaulayness of algebras generated by generalized power sums
Authors:
Pavel Etingof,
Eric Rains,
with an appendix by Misha Feigin
Abstract:
Generalized power sums are linear combinations of i-th powers of coordinates. We consider subalgebras of the polynomial algebra generated by generalized power sums, and study when such algebras are Cohen-Macaulay. It turns out that the Cohen-Macaulay property of such algebras is rare, and tends to be related to quantum integrability and representation theory of Cherednik algebras. Using representa…
▽ More
Generalized power sums are linear combinations of i-th powers of coordinates. We consider subalgebras of the polynomial algebra generated by generalized power sums, and study when such algebras are Cohen-Macaulay. It turns out that the Cohen-Macaulay property of such algebras is rare, and tends to be related to quantum integrability and representation theory of Cherednik algebras. Using representation-theoretic results and deformation theory, we establish Cohen-Macaulayness of the algebra of $q,t$-deformed power sums defined by Sergeev and Veselov, and of some generalizations of this algebra, proving a conjecture from arXiv:1410.5096. We also apply representation-theoretic techniques to studying m-quasi-invariants of deformed Calogero-Moser systems. In an appendix to this paper, M. Feigin uses representation theory of Cherednik algebras to compute Hilbert series for such quasi-invariants, and show that in the case of one light particle, the ring of quasi-invariants is Gorenstein.
△ Less
Submitted 27 July, 2015;
originally announced July 2015.
-
Noncommutative geometry and Painlevé equations
Authors:
Andrei Okounkov,
Eric Rains
Abstract:
We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces.
We construct the elliptic Painlevé equation and its higher dimensional analogs as the action of line bundles on 1-dimensional sheaves on noncommutative surfaces.
△ Less
Submitted 23 April, 2014;
originally announced April 2014.
-
Difference operators of Sklyanin and van Diejen type
Authors:
Eric Rains,
Simon Ruijsenaars
Abstract:
The Sklyanin algebra $S_η$ has a well-known family of infinite-dimensional representations $D(μ)$, $μ\in C^*$, in terms of difference operators with shift $η$ acting on even meromorphic functions. We show that for generic $η$ the coefficients of these operators have solely simple poles, with linear residue relations depending on their locations. More generally, we obtain explicit necessary and suf…
▽ More
The Sklyanin algebra $S_η$ has a well-known family of infinite-dimensional representations $D(μ)$, $μ\in C^*$, in terms of difference operators with shift $η$ acting on even meromorphic functions. We show that for generic $η$ the coefficients of these operators have solely simple poles, with linear residue relations depending on their locations. More generally, we obtain explicit necessary and sufficient conditions on a difference operator for it to belong to $D(μ)$. By definition, the even part of $D(μ)$ is generated by twofold products of the Sklyanin generators. We prove that any sum of the latter products yields a difference operator of van Diejen type. We also obtain kernel identities for the Sklyanin generators. They give rise to order-reversing involutive automorphisms of $D(μ)$, and are shown to entail previously known kernel identities for the van Diejen operators. Moreover, for special $μ$ they yield novel finite-dimensional representations of $S_η$.
△ Less
Submitted 3 October, 2012; v1 submitted 29 February, 2012;
originally announced March 2012.
-
On Algebraically Integrable Differential Operators on an Elliptic Curve
Authors:
Pavel Etingof,
Eric Rains
Abstract:
We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special elliptic curves defined over ${\mathbb Q}$ which do not deform to generic elliptic curves. We also study algebraically integrable operators of higher order wit…
▽ More
We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special elliptic curves defined over ${\mathbb Q}$ which do not deform to generic elliptic curves. We also study algebraically integrable operators of higher order with several poles and with symmetries, and (conjecturally) relate them to crystallographic elliptic Calogero-Moser systems (which is a generalization of the results of Airault, McKean, and Moser).
△ Less
Submitted 8 July, 2011; v1 submitted 29 November, 2010;
originally announced November 2010.
-
A Fuchsian matrix differential equation for Selberg correlation integrals
Authors:
Peter J. Forrester,
Eric M. Rains
Abstract:
We characterize averages of $\prod_{l=1}^N|x - t_l|^{α- 1}$ with respect to the Selberg density, further contrained so that $t_l \in [0,x]$ $(l=1,...,q)$ and $t_l \in [x,1]$ $(l=q+1,...,N)$, in terms of a basis of solutions of a particular Fuchsian matrix differential equation. By making use of the Dotsenko-Fateev integrals, the explicit form of the connection matrix from the Frobenius type power…
▽ More
We characterize averages of $\prod_{l=1}^N|x - t_l|^{α- 1}$ with respect to the Selberg density, further contrained so that $t_l \in [0,x]$ $(l=1,...,q)$ and $t_l \in [x,1]$ $(l=q+1,...,N)$, in terms of a basis of solutions of a particular Fuchsian matrix differential equation. By making use of the Dotsenko-Fateev integrals, the explicit form of the connection matrix from the Frobenius type power series basis to this basis is calculated, thus allowing us to explicitly compute coefficients in the power series expansion of the averages. From these we are able to compute power series for the marginal distributions of the $t_j$ $(j=1,...,N)$. In the case $q=0$ and $α< 1$ we compute the explicit leading order term in the $x \to 0$ asymptotic expansion, which is of interest to the study of an effect known as singularity dominated strong fluctuations. In the case $q=0$ and $α\in \mathbb Z^+$, and with the absolute values removed, the average is a polynomial, and we demonstrate that its zeros are highly structured.
△ Less
Submitted 7 November, 2010;
originally announced November 2010.
-
Matrix averages relating to the Ginibre ensembles
Authors:
Peter J. Forrester,
Eric M. Rains
Abstract:
The theory of zonal polynomials is used to compute the average of a Schur polynomial of argument $AX$, where $A$ is a fixed matrix and $X$ is from the real Ginibre ensemble. This generalizes a recent result of Sommers and Khorozhenko [J. Phys. A {\bf 42} (2009), 222002], and furthermore allows analogous results to be obtained for the complex and real quaternion Ginibre ensembles. As applications…
▽ More
The theory of zonal polynomials is used to compute the average of a Schur polynomial of argument $AX$, where $A$ is a fixed matrix and $X$ is from the real Ginibre ensemble. This generalizes a recent result of Sommers and Khorozhenko [J. Phys. A {\bf 42} (2009), 222002], and furthermore allows analogous results to be obtained for the complex and real quaternion Ginibre ensembles. As applications, the positive integer moments of the general variance Ginibre ensembles are computed in terms of generalized hypergeometric functions, these are written in terms of averages over matrices of the same size as the moment to give duality formulas, and the averages of the power sums of the eigenvalues are expressed as finite sums of zonal polynomials.
△ Less
Submitted 2 July, 2009;
originally announced July 2009.
-
q-Distributions on boxed plane partitions
Authors:
Alexei Borodin,
Vadim Gorin,
Eric M. Rains
Abstract:
We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types…
▽ More
We introduce elliptic weights of boxed plane partitions and prove that they give rise to a generalization of MacMahon's product formula for the number of plane partitions in a box. We then focus on the most general positive degenerations of these weights that are related to orthogonal polynomials; they form three two-dimensional families. For distributions from these families we prove two types of results.
First, we construct explicit Markov chains that preserve these distributions. In particular, this leads to a relatively simple exact sampling algorithm.
Second, we consider a limit when all dimensions of the box grow and plane partitions become large, and prove that the local correlations converge to those of ergodic translation invariant Gibbs measures. For fixed proportions of the box, the slopes of the limiting Gibbs measures (that can also be viewed as slopes of tangent planes to the hypothetical limit shape) are encoded by a single quadratic polynomial.
△ Less
Submitted 26 June, 2009; v1 submitted 5 May, 2009;
originally announced May 2009.
-
Symmetrized models of last passage percolation and non-intersecting lattice paths
Authors:
Peter J. Forrester,
Eric M. Rains
Abstract:
It has been shown that the last passage time in certain symmetrized models of directed percolation can be written in terms of averages over random matrices from the classical groups $U(l)$, $Sp(2l)$ and $O(l)$. We present a theory of such results based on non-intersecting lattice paths, and integration techniques familiar from the theory of random matrices. Detailed derivations of probabilities…
▽ More
It has been shown that the last passage time in certain symmetrized models of directed percolation can be written in terms of averages over random matrices from the classical groups $U(l)$, $Sp(2l)$ and $O(l)$. We present a theory of such results based on non-intersecting lattice paths, and integration techniques familiar from the theory of random matrices. Detailed derivations of probabilities relating to two further symmetrizations are also given.
△ Less
Submitted 26 May, 2007;
originally announced May 2007.
-
Eynard-Mehta theorem, Schur process, and their pfaffian analogs
Authors:
Alexei Borodin,
Eric M. Rains
Abstract:
We give simple linear algebraic proofs of Eynard-Mehta theorem, Okounkov-Reshetikhin formula for the correlation kernel of the Schur process, and Pfaffian analogs of these results. We also discuss certain general properties of the spaces of all determinantal and Pfaffian processes on a given finite set.
We give simple linear algebraic proofs of Eynard-Mehta theorem, Okounkov-Reshetikhin formula for the correlation kernel of the Schur process, and Pfaffian analogs of these results. We also discuss certain general properties of the spaces of all determinantal and Pfaffian processes on a given finite set.
△ Less
Submitted 11 February, 2005; v1 submitted 21 September, 2004;
originally announced September 2004.
-
Interpretations of some parameter dependent generalizations of classical matrix ensembles
Authors:
Peter J. Forrester,
Eric M. Rains
Abstract:
Two types of parameter dependent generalizations of classical matrix ensembles are defined by their probability density functions (PDFs). As the parameter is varied, one interpolates between the eigenvalue PDF for the superposition of two classical ensembles with orthogonal symmetry and the eigenvalue PDF for a single classical ensemble with unitary symmetry, while the other interpolates between…
▽ More
Two types of parameter dependent generalizations of classical matrix ensembles are defined by their probability density functions (PDFs). As the parameter is varied, one interpolates between the eigenvalue PDF for the superposition of two classical ensembles with orthogonal symmetry and the eigenvalue PDF for a single classical ensemble with unitary symmetry, while the other interpolates between a classical ensemble with orthogonal symmetry and a classical ensemble with symplectic symmetry. We give interpretations of these PDFs in terms of probabilities associated to the continuous Robinson-Schensted-Knuth correspondence between matrices, with entries chosen from certain exponential distributions, and non-intersecting lattice paths, and in the course of this probability measures on partitions and pairs of partitions are identified. The latter are generalized by using Macdonald polynomial theory, and a particular continuum limit -- the Jacobi limit -- of the resulting measures is shown to give PDFs related to those appearing in the work of Anderson on the Selberg integral. By interpreting Anderson's work as giving the PDF for the zeros of a certain rational function, it is then possible to identify random matrices whose eigenvalue PDFs realize the original parameter dependent PDFs. This line of theory allows sampling of the original parameter dependent PDFs, their Anderson-type generalizations and associated marginal distributions, from the zeros of certain polynomials defined in terms of random three term recurrences.
△ Less
Submitted 18 November, 2002;
originally announced November 2002.
-
Correlations for superpositions and decimations of Laguerre and Jacobi orthogonal matrix ensembles with a parameter
Authors:
Peter J. Forrester,
Eric M. Rains
Abstract:
A superposition of a matrix ensemble refers to the ensemble constructed from two independent copies of the original, while a decimation refers to the formation of a new ensemble by observing only every second eigenvalue. In the cases of the classical matrix ensembles with orthogonal symmetry, it is known that forming superpositions and decimations gives rise to classical matrix ensembles with un…
▽ More
A superposition of a matrix ensemble refers to the ensemble constructed from two independent copies of the original, while a decimation refers to the formation of a new ensemble by observing only every second eigenvalue. In the cases of the classical matrix ensembles with orthogonal symmetry, it is known that forming superpositions and decimations gives rise to classical matrix ensembles with unitary and symplectic symmetry. The basic identities expressing these facts can be extended to include a parameter, which in turn provides us with probability density functions which we take as the definition of special parameter dependent matrix ensembles. The parameter dependent ensembles relating to superpositions interpolate between superimposed orthogonal ensembles and a unitary ensemble, while the parameter dependent ensembles relating to decimations interpolate between an orthogonal ensemble with an even number of eigenvalues and a symplectic ensemble of half the number of eigenvalues. By the construction of new families of biorthogonal and skew orthogonal polynomials, we are able to compute the corresponding correlation functions, both in the finite system and in various scaled limits. Specializing back to the cases of orthogonal and symplectic symmetry, we find that our results imply different functional forms to those known previously.
△ Less
Submitted 18 November, 2002;
originally announced November 2002.
-
Limiting distributions for a polynuclear growth model with external sources
Authors:
Jinho Baik,
Eric Rains
Abstract:
The purpose of this paper is to investigate the limiting distribution functions for a polynuclear growth model with two external sources, which was considered by Prähofer and Spohn. Depending on the strength of the sources, the limiting distribution functions are either the Tracy-Widom functions of random matrix theory, or a new explicit function which has the special property that its mean is z…
▽ More
The purpose of this paper is to investigate the limiting distribution functions for a polynuclear growth model with two external sources, which was considered by Prähofer and Spohn. Depending on the strength of the sources, the limiting distribution functions are either the Tracy-Widom functions of random matrix theory, or a new explicit function which has the special property that its mean is zero. Moreover, we obtain transition functions between pairs of the above distribution functions in suitably scaled limits. There are also similar results for a discrete totally asymmetric exclusion process.
△ Less
Submitted 22 March, 2000;
originally announced March 2000.
