Showing 1–50 of 59 results for author: Harnad, J

Constellations and $τ$-functions for rationally weighted Hurwitz numbers

Authors: J. Harnad, B. Runov

Abstract: Weighted constellations give graphical representations of weighted branched coverings of the Riemann sphere. They were introduced to provide a combinatorial interpretation of the $2$D Toda $τ$-functions of hypergeometric type serving as generating functions for weighted Hurwitz numbers in the case of polynomial weight generating functions. The product over all vertex and edge weights of a given we… ▽ More Weighted constellations give graphical representations of weighted branched coverings of the Riemann sphere. They were introduced to provide a combinatorial interpretation of the $2$D Toda $τ$-functions of hypergeometric type serving as generating functions for weighted Hurwitz numbers in the case of polynomial weight generating functions. The product over all vertex and edge weights of a given weighted constellation, summed over all configurations, reproduces the $τ$-function. In the present work, this is generalized to constellations in which the weighting parameters are determined by a rational weight generating function. The associated $τ$-function may be expressed as a sum over the weights of doubly labelled weighted constellations, with two types of weighting parameters associated to each equivalence class of branched coverings. The double labelling of branch points, referred to as "colour" and "flavour" indices, is required by the fact that, in the Taylor expansion of the weight generating function, a particular colour from amongst the denominator parameters may appear multiply, and the flavour labels indicate this multiplicity. △ Less

Submitted 18 October, 2020; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 37 pages. Added remark 2.7. Corrected eqs. (4.10) and (4.17). Corrected several notational inconsistencies and added missing reference citations

MSC Class: 37K10; 05C30; 05C22; 14H55; 20B

Journal ref: Ann. Inst. H. Poincaré D 8, 119-158 (2021)

Rationally weighted Hurwitz numbers, Meijer $G$-functions and matrix integrals

Authors: M. Bertola, J. Harnad

Abstract: The quantum spectral curve equation associated to KP $τ$-functions of hypergeometric type serving as generating functions for rationally weighted Hurwitz numbers is solved by generalized hypergeometric series. The basis elements spanning the corresponding Sato Grassmannian element are shown to be Meijer $G$-functions, or their asymptotic series. Using their Mellin integral representation the $τ$-f… ▽ More The quantum spectral curve equation associated to KP $τ$-functions of hypergeometric type serving as generating functions for rationally weighted Hurwitz numbers is solved by generalized hypergeometric series. The basis elements spanning the corresponding Sato Grassmannian element are shown to be Meijer $G$-functions, or their asymptotic series. Using their Mellin integral representation the $τ$-function, evaluated at the trace invariants of an externally coupled matrix, is expressed as a matrix integral. △ Less

Submitted 14 April, 2020; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: 24 pages. References brought up to date

Report number: CRM-3373 (2019)

Journal ref: J. Math. Phys. 60, 103504 (2019)

Weighted Hurwitz numbers and topological recursion

Authors: A. Alexandrov, G. Chapuy, B. Eynard, J. Harnad

Abstract: The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted com… ▽ More The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The genus expansion of the multicurrent correlators is shown to provide generating series for weighted Hurwitz numbers of fixed ramification profile lengths. The WKB series for the Baker function is derived and used to deduce the loop equations and the topological recursion relations in the case of polynomial weight functions. △ Less

Submitted 14 April, 2020; v1 submitted 25 June, 2018; originally announced June 2018.

Comments: 77 pages, references added, several typos corrected, clarification added on nonpolynomial weight generating function and examples

Journal ref: Commun. Math. Phys, 375, 237-305 (2020)

Fermionic approach to weighted Hurwitz numbers and topological recursion

Authors: A. Alexandrov, G. Chapuy, B. Eynard, J. Harnad

Abstract: A fermionic representation is given for all the quantities entering in the generating function approach to weighted Hurwitz numbers and topological recursion. This includes: KP and 2D Toda $τ$-functions of hypergeometric type, which serve as generating functions for weighted single and double Hurwitz numbers; the Baker function, which is expanded in an adapted basis obtained by applying the same d… ▽ More A fermionic representation is given for all the quantities entering in the generating function approach to weighted Hurwitz numbers and topological recursion. This includes: KP and 2D Toda $τ$-functions of hypergeometric type, which serve as generating functions for weighted single and double Hurwitz numbers; the Baker function, which is expanded in an adapted basis obtained by applying the same dressing transformation to all vacuum basis elements; the multipair correlators and the multicurrent correlators. Multiplicative and differential recursion relations are deduced for the adapted bases and their duals, and a Christoffel-Darboux type formula is derived for the pair correlator. The quantum and classical spectral curves linking this theory with the topological recursion programme are derived, as well as the generalized cut and join equations. The results are detailed for four special cases: the simple single and double Hurwitz numbers, the weakly monotone case, corresponding to signed enumeration of coverings, the strongly monotone case, corresponding to Belyi curves and the simplest version of quantum weighted Hurwitz numbers. △ Less

Submitted 20 June, 2017; v1 submitted 3 June, 2017; originally announced June 2017.

Comments: 57 pages. Details added to examples; sign errors corrected; consistency of notation corrected

Report number: CRM 3360 (2017)

Journal ref: Commun. Math. Phys. 360, 777-826 (2018)

Weighted Hurwitz numbers and topological recursion: an overview

Authors: A. Alexandrov, G. Chapuy, B. Eynard, J. Harnad

Abstract: Multiparametric families of hypergeometric $τ$-functions of KP or Toda type serve as generating functions for weighted Hurwitz numbers, providing weighted enumerations of branched covers of the Riemann sphere. A graphical interpretation of the weighting is given in terms of constellations mapped onto the covering surface. The theory is placed within the framework of topological recursion, with the… ▽ More Multiparametric families of hypergeometric $τ$-functions of KP or Toda type serve as generating functions for weighted Hurwitz numbers, providing weighted enumerations of branched covers of the Riemann sphere. A graphical interpretation of the weighting is given in terms of constellations mapped onto the covering surface. The theory is placed within the framework of topological recursion, with the Baker function at ${\bf t} ={\bf 0}$ shown to satisfy the quantum spectral curve equation, whose classical limit is rational. A basis for the space of formal power series in the spectral variable is generated that is adapted to the Grassmannian element associated to the $τ$-function. Multicurrent correlators are defined in terms of the $τ$-function and shown to provide an alternative generating function for weighted Hurwitz numbers. Fermionic VEV representations are provided for the adapted bases, pair correlators and multicurrent correlators. Choosing the weight generating function as a polynomial, and restricting the number of nonzero "second" KP flow parameters in the Toda $τ$-function to be finite implies a finite rank covariant derivative equation with rational coefficients satisfied by a finite "window" of adapted basis elements. The pair correlator is shown to provide a Christoffel-Darboux type finite rank integrable kernel, and the WKB series coefficients of the associated adjoint system are computed recursively, leading to topological recursion relations for the generators of the weighted Hurwitz numbers. △ Less

Submitted 21 August, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: 30 pages, 2 figures. References updated. Weighting of constellations revised. Weighting of Hurwitz numbers corrected

Report number: CRM-3356 (2016), IPHT: T16-148, ITEP-TH-25/16

Journal ref: J. Math. Phys. {\bf 59}, 081102 (2018)

Multispecies Weighted Hurwitz Numbers

Authors: J. Harnad

Abstract: The construction of hypergeometric $2D$ Toda $τ$-functions as generating functions for weighted Hurwitz numbers is extended to multispecies families. Both the enumerative geometrical significance of multispecies weighted Hurwitz numbers, as weighted enumerations of branched coverings of the Riemann sphere, and their combinatorial significance in terms of weighted paths in the Cayley graph of… ▽ More The construction of hypergeometric $2D$ Toda $τ$-functions as generating functions for weighted Hurwitz numbers is extended to multispecies families. Both the enumerative geometrical significance of multispecies weighted Hurwitz numbers, as weighted enumerations of branched coverings of the Riemann sphere, and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived. The particular case of multispecies quantum weighted Hurwitz numbers is studied in detail. △ Less

Submitted 10 December, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: this is substantially enhanced version of arXiv:1410.8817

Journal ref: SIGMA 11 (2015), 097, 19 pages

Weighted Hurwitz numbers and hypergeometric $τ$-functions: an overview

Authors: J. Harnad

Abstract: This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializin… ▽ More This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $τ$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_λ$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $τ$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers. △ Less

Submitted 21 September, 2015; v1 submitted 13 April, 2015; originally announced April 2015.

Comments: 53 pages. Ref. [15] added. Minor typos corrected

Journal ref: Proc. Symp. Pure Math. 93. 289-333 (2016)

Quantum Hurwitz numbers and Macdonald polynomials

Authors: J. Harnad

Abstract: Parametric families in the centre ${\bf Z}({\bf C}[S_n])$ of the group algebra of the symmetric group are obtained by identifying the indeterminates in the generating function for Macdonald polynomials as commuting Jucys-Murphy elements. Their eigenvalues provide coefficients in the double Schur function expansion of 2D Toda $τ$-functions of hypergeometric type. Expressing these in the basis of pr… ▽ More Parametric families in the centre ${\bf Z}({\bf C}[S_n])$ of the group algebra of the symmetric group are obtained by identifying the indeterminates in the generating function for Macdonald polynomials as commuting Jucys-Murphy elements. Their eigenvalues provide coefficients in the double Schur function expansion of 2D Toda $τ$-functions of hypergeometric type. Expressing these in the basis of products of power sum symmetric functions, the coefficients may be interpreted geometrically as parametric families of quantum Hurwitz numbers, enumerating weighted branched coverings of the Riemann sphere. Combinatorially, they give quantum weighted sums over paths in the Cayley graph of $S_n$ generated by transpositions. Dual pairs of bases for the algebra of symmetric functions with respect to the scalar product in which the Macdonald polynomials are orthogonal provide both the geometrical and combinatorial significance of these quantum weighted enumerative invariants. △ Less

Submitted 19 November, 2016; v1 submitted 13 April, 2015; originally announced April 2015.

Comments: 23 pages. Minor typos corrected. References updated. Scalar product for Jack polynomials corrected

Journal ref: J. Math. Phys. 57, 113505 (2016)

Multispecies quantum Hurwitz numbers

Authors: J. Harnad

Abstract: The construction of hypergeometric 2D Toda $τ$-functions as generating functions for quantum Hurwitz numbers is extended here to multispecies families. Both the enumerative geometrical significance of these multispecies quantum Hurwitz numbers as weighted enumerations of branched coverings of the Riemann sphere and their combinatorial significance in terms of weighted paths in the Cayley graph of… ▽ More The construction of hypergeometric 2D Toda $τ$-functions as generating functions for quantum Hurwitz numbers is extended here to multispecies families. Both the enumerative geometrical significance of these multispecies quantum Hurwitz numbers as weighted enumerations of branched coverings of the Riemann sphere and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived. △ Less

Submitted 23 April, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 11 pages.This is the revised version posted March 30, 2015

Journal ref: Sigma 11, 097 (2015)

Generating functions for weighted Hurwitz numbers

Authors: Mathieu Guay-Paquet, J. Harnad

Abstract: Double Hurwitz numbers enumerating weighted $n$-sheeted branched coverings of the Riemann sphere or, equivalently, weighted paths in the Cayley graph of $S_n$ generated by transpositions are determined by an associated weight generating function. A uniquely determined $1$-parameter family of 2D Toda $τ$-functions of hypergeometric type is shown to consist of generating functions for such weighted… ▽ More Double Hurwitz numbers enumerating weighted $n$-sheeted branched coverings of the Riemann sphere or, equivalently, weighted paths in the Cayley graph of $S_n$ generated by transpositions are determined by an associated weight generating function. A uniquely determined $1$-parameter family of 2D Toda $τ$-functions of hypergeometric type is shown to consist of generating functions for such weighted Hurwitz numbers. Four classical cases are detailed, in which the weighting is uniform: Okounkov's double Hurwitz numbers, for which the ramification is simple at all but two specified branch points; the case of Belyi curves, with three branch points, two with specified profiles; the general case, with a specified number of branch points, two with fixed profiles, the rest constrained only by the genus; and the signed enumeration case, with sign determined by the parity of the number of branch points. Using the exponentiated quantum dilogarithm function as weight generator, three new types of weighted enumerations are introduced. These determine {\em quantum} Hurwitz numbers depending on a deformation parameter $q$. By suitable interpretation of $q$, the statistical mechanics of quantum weighted branched covers may be related to that of Bosonic gases. The standard double Hurwitz numbers are recovered in the classical limit. △ Less

Submitted 10 August, 2017; v1 submitted 28 August, 2014; originally announced August 2014.

Comments: Final version, appearing in J. Math. Phys. 58, 083503 (2017)

Report number: CRM-3343 (2014)

Journal ref: J. Math. Phys. 58, 083503 (2017)

Hypergeometric τ-functions, Hurwitz numbers and enumeration of paths

Authors: J. Harnad, A. Yu. Orlov

Abstract: A multiparametric family of 2D Toda $τ$-functions of hypergeometric type is shown to provide generating functions for composite, signed Hurwitz numbers that enumerate certain classes of branched coverings of the Riemann sphere and paths in the Cayley graph of $S_n$. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(μ, ν)$ in their series expansion over products $P_μP'_ν$ of power sum symmetric f… ▽ More A multiparametric family of 2D Toda $τ$-functions of hypergeometric type is shown to provide generating functions for composite, signed Hurwitz numbers that enumerate certain classes of branched coverings of the Riemann sphere and paths in the Cayley graph of $S_n$. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(μ, ν)$ in their series expansion over products $P_μP'_ν$ of power sum symmetric functions in the two sets of Toda flow parameters and powers of the $l+m$ auxiliary parameters are shown to enumerate $|μ|=|ν|=n$ fold branched covers of the Riemann sphere with specified ramification profiles $ μ$ and $ν$ at a pair of points, and two sets of additional branch paints, satisfying certain additional conditions on their ramification profile lengths. The first group consists of $l$ branch points, with ramification profile lengths fixed to be the numbers $(n-c_1, ..., n- c_l)$; the second consists of $m$ further groups of "coloured" branch points, of variable number, for which the sums of the complements of the ramification profile lengths within the groups are fixed to equal the numbers $(d_1, ..., d_m)$. The latter are counted with sign determined by the parity of the total number of such branch points. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(μ, ν)$ are also shown to enumerate paths in the Cayley graph of the symmetric group $S_n$ generated by transpositions, starting, as in the usual double Hurwitz case, at an element in the conjugacy class of cycle type $μ$ and ending in the class of type $ν$, but with the first $l$ consecutive subsequences of $(c_1, ..., c_l)$ transpositions strictly monotonically increasing, and the subsequent subsequences of $(d_1, ..., d_m)$ transpositions weakly increasing. △ Less

Submitted 1 March, 2015; v1 submitted 29 July, 2014; originally announced July 2014.

Comments: 22 pages. References updated. To appear in Commun. Math. Whys. (in press, 2015)

Journal ref: Commun. Math. Phys. 338, 267-284 (2015)

2D Toda τ-functions as combinatorial generating functions

Authors: Mathieu Guay-Paquet, J. Harnad

Abstract: Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characte… ▽ More Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $τ$-functions of hypergeometric type. The second method is the standard construction of $τ$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions. △ Less

Submitted 3 May, 2015; v1 submitted 24 May, 2014; originally announced May 2014.

Comments: 26 pages. Eq. (3.5, (3.6), (3.7)) corrected. Further references added. To appear in LMP (in press, 2015)

Journal ref: Lett. Math. Phys. 105, 827-852 (2015)

Finite Dimensional KP τ-functions I. Finite Grassmannians

Authors: F. Balogh, T. Fonseca, J. Harnad

Abstract: We study τ-functions of the KP hierarchy in terms of abelian group actions on finite dimensional Grassmannians, viewed as subquotients of the Hilbert space Grassmannians of Sato, Segal and Wilson. A determinantal formula of Gekhtman and Kasman involving exponentials of finite dimensional matrices is shown to follow naturally from such reductions. All reduced flows of exponential type generated by… ▽ More We study τ-functions of the KP hierarchy in terms of abelian group actions on finite dimensional Grassmannians, viewed as subquotients of the Hilbert space Grassmannians of Sato, Segal and Wilson. A determinantal formula of Gekhtman and Kasman involving exponentials of finite dimensional matrices is shown to follow naturally from such reductions. All reduced flows of exponential type generated by matrices with arbitrary nondegenerate Jordan forms are derived, both in the Grassmannian setting and within the fermionic operator formalism. A slightly more general determinantal formula involving resolvents of the matrices generating the flow, valid on the big cell of the Grassmannian, is also derived. An explicit expression is deduced for the Plücker coordinates appearing as coefficients in the Schur function expansion of the τ-function. △ Less

Submitted 30 July, 2014; v1 submitted 23 March, 2014; originally announced March 2014.

Comments: 45 pages. References updated

Journal ref: Journal of Mathematical Physics 55 (8), 083517 (2014)

Symmetric polynomials, generalized Jacobi-Trudi identities and τ-functions

Authors: J. Harnad, Eunghyun Lee

Abstract: An element [Φ] of the Grassmannian of n-dimensional subspaces of the Hardy space H^2, extended over the field C(x_1,..., x_n), may be associated to any polynomial basis φ for C(x). The Plücker coordinates S^φ_{λ,n}(x_1,..., x_n) of Φ, labelled by partitions λ, provide an analog of Jacobi's bi-alternant formula, defining a generalization of Schur polynomials. Applying the recursion relations satisf… ▽ More An element [Φ] of the Grassmannian of n-dimensional subspaces of the Hardy space H^2, extended over the field C(x_1,..., x_n), may be associated to any polynomial basis φ for C(x). The Plücker coordinates S^φ_{λ,n}(x_1,..., x_n) of Φ, labelled by partitions λ, provide an analog of Jacobi's bi-alternant formula, defining a generalization of Schur polynomials. Applying the recursion relations satisfied by the polynomial system to the analog of the complete symmetric functions generates a doubly infinite matrix of symmetric polynomials that determine an element [H] of the Grassmannian. This is shown to coincide with [Φ], implying a set of {\it quantum Jacobi-Trudi identities} that generalize a result obtained by Sergeev and Veselov for the case of orthogonal polynomials. The symmetric polynomials S^φ_{λ,n}(x_1,..., x_n) are shown to be KP (Kadomtsev-Petviashvili) tau-functions in terms of the monomial sums [x] in the parameters x_a, viewed as KP flow variables. A fermionic operator representation is derived for these, as well as for the infinite sums \sum_λS_{λ,n}^φ([x]) S^θ_{λ,n} ({\bf t}) associated to any pair of polynomial bases (φ, θ), which are shown to be 2D Toda lattice τ-functions. A number of applications are given, including classical group character expansions, matrix model partition functions and generators for random processes. △ Less

Submitted 30 April, 2013; v1 submitted 29 March, 2013; originally announced April 2013.

Comments: 32 pages. References added. Character expansions for classical groups added. Title modified. Examples 4.1 and 4.2 revised

Report number: CRM-3326 (2013)

Journal ref: J. Math. Phys. {\bf 59}, 091411 (2018)

Multiple sums and integrals as neutral BKP tau functions

Authors: J. Harnad, J. W. van de Leur, A. Yu. Orlov

Abstract: We consider multiple sums and multi-integrals as tau functions of the BKP hierarchy using neutral fermions as the simplest tool for deriving these. The sums are over projective Schur functions $Q_α$ for strict partitions $α$. We consider two types of such sums: weighted sums of $Q_α$ over strict partitions $α$ and sums over products $Q_αQ_γ$. In this way we obtain discrete analogues of the beta-en… ▽ More We consider multiple sums and multi-integrals as tau functions of the BKP hierarchy using neutral fermions as the simplest tool for deriving these. The sums are over projective Schur functions $Q_α$ for strict partitions $α$. We consider two types of such sums: weighted sums of $Q_α$ over strict partitions $α$ and sums over products $Q_αQ_γ$. In this way we obtain discrete analogues of the beta-ensembles ($β=1,2,4$). Continuous versions are represented as multiple integrals. Such sums and integrals are of interest in a number of problems in mathematics and physics. △ Less

Submitted 21 January, 2011; originally announced January 2011.

Comments: 16 pages

Report number: CRM-3313 (2011) MSC Class: 20XX

Journal ref: Theor. Math. Phys. 168:951-962 (2011)

Schur function expansions of KP tau functions associated to algebraic curves

Authors: V. Enolski, J. Harnad

Abstract: The Schur function expansion of Sato-Segal-Wilson KP tau-functions is reviewed. The case of tau-functions related to algebraic curves of arbitrary genus is studied in detail. Explicit expressions for the Plücker coordinate coefficients appearing in the expansion are obtained in terms of directional derivatives of the Riemann theta function or Klein sigma function along the KP flow directions. Usin… ▽ More The Schur function expansion of Sato-Segal-Wilson KP tau-functions is reviewed. The case of tau-functions related to algebraic curves of arbitrary genus is studied in detail. Explicit expressions for the Plücker coordinate coefficients appearing in the expansion are obtained in terms of directional derivatives of the Riemann theta function or Klein sigma function along the KP flow directions. Using the fundamental bi-differential, it is shown how the coefficients can be expressed as polynomials in terms of Klein's higher genus generalizations of Weierstrass' zeta and P functions. The cases of genus two hyperelliptic and genus three trigonal curves are detailed as illustrations of the approach developed here. △ Less

Submitted 14 December, 2010; originally announced December 2010.

Comments: 48 pages

Report number: CRM 3309 (2010) MSC Class: 14H70; 14H42; 14K25; 32G81

Journal ref: Russian Math. Surveys 66:4 767-807 (2011)

Convolution symmetries of integrable hierarchies, matrix models and τ-functions

Authors: J. Harnad, A. Yu. Orlov

Abstract: Generalized convolution symmetries of integrable hierarchies of KP and 2KP-Toda type multiply the Fourier coefficients of the elements of the Hilbert space $\HH= L^2(S^1)$ by a specified sequence of constants. This induces a corresponding transformation on the Hilbert space Grassmannian $\Gr_{\HH_+}(\HH)$ and hence on the Sato-Segal-Wilson τ-functions determining solutions to the KP and 2-Toda hie… ▽ More Generalized convolution symmetries of integrable hierarchies of KP and 2KP-Toda type multiply the Fourier coefficients of the elements of the Hilbert space $\HH= L^2(S^1)$ by a specified sequence of constants. This induces a corresponding transformation on the Hilbert space Grassmannian $\Gr_{\HH_+}(\HH)$ and hence on the Sato-Segal-Wilson τ-functions determining solutions to the KP and 2-Toda hierarchies. The corresponding action on the associated fermionic Fock space is also diagonal in the standard orthonormal base determined by occupation sites and labeled by partitions. The Plücker coordinates of the element element $W \in \Gr_{\HH_+}(\HH)$ defining the initial point of these commuting flows are the coefficients in the single and double Schur function of the associated τfunction, and are therefore multiplied by the corresponding diagonal factors under this action. Applying such transformations to matrix integrals, we obtain new matrix models of externally coupled type that are hence also KP or 2KP-Toda τ-functions. More general multiple integral representations of τfunctions are similarly obtained, as well as finite determinantal expressions for them. △ Less

Submitted 22 October, 2012; v1 submitted 4 January, 2009; originally announced January 2009.

Comments: 29 pages. The paper has been revised to correct a number of typos, add details in the proofs of Propositions 4.1, 4.2 and 4.4, and clarify the introduction of convolution symmetries. This version will appear in a special MSRI volume based on the Fall 2011 semester devoted to Random Matrix Theory (eds. P. Forrester and P. Deift)

Report number: CRM 3272 (2008) MSC Class: 15A52; 17B80; 37K10; 70H06; 81R12

Journal ref: Random Matrix Theory, Interacting Particle Systems and Integrable Systems (ed. Percy Deift and Peter Forrester), MSRI Publications {\bf 65} 247-275 (2014)

Superharmonic Perturbations of a Gaussian Measure, Equilibrium Measures and Orthogonal Polynomials

Authors: F. Balogh, J. Harnad

Abstract: This work concerns superharmonic perturbations of a Gaussian measure given by a special class of positive weights in the complex plane of the form $w(z) = \exp(-|z|^2 + U^μ(z))$, where $U^μ(z)$ is the logarithmic potential of a compactly supported positive measure $μ$. The equilibrium measure of the corresponding weighted energy problem is shown to be supported on subharmonic generalized quadrat… ▽ More This work concerns superharmonic perturbations of a Gaussian measure given by a special class of positive weights in the complex plane of the form $w(z) = \exp(-|z|^2 + U^μ(z))$, where $U^μ(z)$ is the logarithmic potential of a compactly supported positive measure $μ$. The equilibrium measure of the corresponding weighted energy problem is shown to be supported on subharmonic generalized quadrature domains for a large class of perturbing potentials $U^μ(z)$. It is also shown that the $2\times 2$ matrix d-bar problem for orthogonal polynomials with respect to such weights is well-defined and has a unique solution given explicitly by Cauchy transforms. Numerical evidence is presented supporting a conjectured relation between the asymptotic distribution of the zeroes of the orthogonal polynomials in a semi-classical scaling limit and the Schwarz function of the curve bounding the support of the equilibrium measure, extending the previously studied case of harmonic polynomial perturbations with weights $w(z)$ supported on a compact domain. △ Less

Submitted 2 October, 2008; v1 submitted 12 August, 2008; originally announced August 2008.

Comments: CRM preprint, 28 pages. To appear in: Complex Analysis and Operator Theory (Special volume in honour of Bjorn Gustafsson). Two references added (Oct. 2, 2008)

Report number: CRM-3261 MSC Class: 30C15; 31A05

Journal ref: Complex Analysis and Operator Theory 3, 333-360 (2009)

Determinantal identity for multilevel systems and finite determinantal processes

Authors: J. Harnad, A. Yu. Orlov

Abstract: We give a simple algebraic derivation of a useful determinantal identity for multilevel systems such as random matrix chains and finite determinantal point processes, with applications to the calculation of point correlators, gap probabililties and Janossy densities. We give a simple algebraic derivation of a useful determinantal identity for multilevel systems such as random matrix chains and finite determinantal point processes, with applications to the calculation of point correlators, gap probabililties and Janossy densities. △ Less

Submitted 22 December, 2007; originally announced December 2007.

Comments: 17 pages

Report number: preprint CRM-3250 (2007) MSC Class: 15A52; 60G55

Journal ref: J. Anal. Math. Phys. 2, 105-121 (2012)

Trouble with Physics?

Authors: J. Harnad

Abstract: This is a review of Lee Smolin's "The Trouble with Physics". The main gist of the review is that the physics of the past three decades has been rich with new discoveries in a large number of domains. The Standard Model, while providing a successful framework for the electroweak and strong interactions still needs to be developed further to fully account fot the mass of strong interaction data co… ▽ More This is a review of Lee Smolin's "The Trouble with Physics". The main gist of the review is that the physics of the past three decades has been rich with new discoveries in a large number of domains. The Standard Model, while providing a successful framework for the electroweak and strong interactions still needs to be developed further to fully account fot the mass of strong interaction data collected over the decades. A multitude of new phenomena have been discovered however, or predicted theoretically, in the physics of very low temperatures (e.g. fractional Hall effect, Bose-Einstein condensation) and quantum macroscopic effects (liquid crystals, high temperature superconductivity), some of which remain to be fully explained. Therefore if there is any "Trouble with Physics", as implied by the author of this book, it mainly concerns speculative work on Superstring theory, which may or may not turn out to agree with the results of observation. The subject as a whole does not appear to be in trouble. △ Less

Submitted 10 September, 2007; originally announced September 2007.

Comments: 5 pages, book review

Journal ref: Mathematical Intelligencer 30 no. 3 (2008) 66-69

Fermionic construction of tau functions and random processes

Authors: John Harnad, Alexander Yu. Orlov

Abstract: Tau functions expressed as fermionic expectation values are shown to provide a natural and straightforward description of a number of random processes and statistical models involving hard core configurations of identical particles on the integer lattice, like a discrete version simple exclusion processes (ASEP), nonintersecting random walkers, lattice Coulomb gas models and others, as well as p… ▽ More Tau functions expressed as fermionic expectation values are shown to provide a natural and straightforward description of a number of random processes and statistical models involving hard core configurations of identical particles on the integer lattice, like a discrete version simple exclusion processes (ASEP), nonintersecting random walkers, lattice Coulomb gas models and others, as well as providing a powerful tool for combinatorial calculations involving paths between pairs of partitions. We study the decay of the initial step function within the discrete ASEP (d-ASEP) model as an example. △ Less

Submitted 9 April, 2007; originally announced April 2007.

Comments: 53 pages, 13 figures, a contribution to Proc. "Mathematics and Physics of Growing Interfaces"

Journal ref: Physica D: 235, 168-206 (2007)

Fermionic approach to the evaluation of integrals of rational symmetric functions

Authors: John Harnad, Alexander Yu. Orlov

Abstract: We use the fermionic construction of two-matrix model partition functions to evaluate integrals over rational symmetric functions. This approach is complementary to the one used in the paper ``Integrals of Rational Symmetric Functions, Two-Matrix Models and Biorthogonal Polynomials'' \cite{paper2}, where these integrals were evaluated by a direct method. We use the fermionic construction of two-matrix model partition functions to evaluate integrals over rational symmetric functions. This approach is complementary to the one used in the paper ``Integrals of Rational Symmetric Functions, Two-Matrix Models and Biorthogonal Polynomials'' \cite{paper2}, where these integrals were evaluated by a direct method. △ Less

Submitted 9 April, 2007; originally announced April 2007.

Comments: 34 pages

Journal ref: Theor.Math.Phys.158:17-39,2009

Fermionic construction of partition function for multi-matrix models and multi-component TL hierarchy

Authors: John Harnad, Alexander Yu. Orlov

Abstract: We use $p$-component fermions $(p=2,3,...)$ to present $(2p-2)N$-fold integrals as a fermionic expectation value. This yields fermionic representation for various $(2p-2)$-matrix models. Links with the $p$-component KP hierarchy and also with the $p$-component TL hierarchy are discussed. We show that the set of all (but two) flows of $p$-component TL changes standard matrix models to new ones. We use $p$-component fermions $(p=2,3,...)$ to present $(2p-2)N$-fold integrals as a fermionic expectation value. This yields fermionic representation for various $(2p-2)$-matrix models. Links with the $p$-component KP hierarchy and also with the $p$-component TL hierarchy are discussed. We show that the set of all (but two) flows of $p$-component TL changes standard matrix models to new ones. △ Less

Submitted 9 April, 2007; originally announced April 2007.

Comments: 16 pages, submitted to a special issue of Theoretical and Mathematical Physics

Journal ref: Theor.Math.Phys.152:1099-1110,2007

Integrals of rational symmetric functions, two matrix models and biorthogonal polynomials

Authors: J. Harnad, A. Yu. Orlov

Abstract: We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is expressed as the determinant of a matrix whose entries consist of the associated biorthogonal polynomials, their Hilbert transforms, evaluated at the zeros a… ▽ More We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is expressed as the determinant of a matrix whose entries consist of the associated biorthogonal polynomials, their Hilbert transforms, evaluated at the zeros and poles of the integrand, and bilinear expressions in these. The method is elementary and direct, using only standard determinantal identities, partial fraction expansions and the property of biorthogonality. The corresponding result for one-matrix models and integrals of rational symmetric functions in N variables {x_a}_{a=1,... N} is also rederived in a simple way using this method △ Less

Submitted 20 March, 2006; v1 submitted 14 March, 2006; originally announced March 2006.

Comments: 21 pages

Report number: CRM 3196 (2005)

Fermionic construction of partition functions for two-matrix models and perturbative Schur function expansions

Authors: J. Harnad, A. Yu. Orlov

Abstract: A new representation of the 2N fold integrals appearing in various two-matrix models that admit reductions to integrals over their eigenvalues is given in terms of vacuum state expectation values of operator products formed from two-component free fermions. This is used to derive the perturbation series for these integrals under deformations induced by exponential weight factors in the measure,… ▽ More A new representation of the 2N fold integrals appearing in various two-matrix models that admit reductions to integrals over their eigenvalues is given in terms of vacuum state expectation values of operator products formed from two-component free fermions. This is used to derive the perturbation series for these integrals under deformations induced by exponential weight factors in the measure, expressed as double and quadruple Schur function expansions, generalizing results obtained earlier for certain two-matrix models. Links with the coupled two-component KP hierarchy and the two-component Toda lattice hierarchy are also derived. △ Less

Submitted 22 December, 2005; v1 submitted 16 December, 2005; originally announced December 2005.

Comments: Submitted to: "Random Matrices, Random Processes and Integrable Systems", Special Issue of J. Phys. A, based on the Centre de recherches mathematiques short program, Montreal, June 20-July 8, 2005

Report number: CRM-3195 (2005) MSC Class: 41A30

Journal ref: J. Phys. A39, 8783-8810 (2006)

Semiclassical orthogonal polynomials, matrix models and isomonodromic tau functions

Authors: M. Bertola, B. Eynard, J. Harnad

Abstract: The differential systems satisfied by orthogonal polynomials with arbitrary semiclassical measures supported on contours in the complex plane are derived, as well as the compatible systems of deformation equations obtained from varying such measures. These are shown to preserve the generalized monodromy of the associated rank-2 rational covariant derivative operators. The corresponding matrix mo… ▽ More The differential systems satisfied by orthogonal polynomials with arbitrary semiclassical measures supported on contours in the complex plane are derived, as well as the compatible systems of deformation equations obtained from varying such measures. These are shown to preserve the generalized monodromy of the associated rank-2 rational covariant derivative operators. The corresponding matrix models, consisting of unitarily diagonalizable matrices with spectra supported on these contours are analyzed, and it is shown that all coefficients of the associated spectral curves are given by logarithmic derivatives of the partition function or, more generally, the gap probablities. The associated isomonodromic tau functions are shown to coincide, within an explicitly computed factor, with these partition functions. △ Less

Submitted 20 October, 2004; originally announced October 2004.

Comments: 31 pages, 1 figure

Journal ref: Comm. Math. Phys. 263:401-437 (2006)

Janossy densities, multimatrix spacing distributions and Fredholm resolvents

Authors: J. Harnad

Abstract: A simple proof is given for a generalized form of a theorem of Soshnikov. The latter states that the Janossy densities for multilevel determinantal ensembles supported on measurable subspaces of a set of measure spaces are constructed by dualization of bases on dual pairs of N-dimensional function spaces with respect to a pairing given by integration on the complements of the given measurable su… ▽ More A simple proof is given for a generalized form of a theorem of Soshnikov. The latter states that the Janossy densities for multilevel determinantal ensembles supported on measurable subspaces of a set of measure spaces are constructed by dualization of bases on dual pairs of N-dimensional function spaces with respect to a pairing given by integration on the complements of the given measurable subspaces. The generalization extends this to dualization with respect to measures modified by arbitrary sets of weight functions. △ Less

Submitted 22 April, 2004; v1 submitted 4 March, 2004; originally announced March 2004.

Comments: PlainTex, 10 pages. Some notational corrections added. References updated. To appear in: International Mathematics Research notices

Report number: Preprint CRM-2978 (2004) MSC Class: 15A52; 60G55; 45B05

Journal ref: Int.Math.Res.Not.48:2599-2609,2004

Constrained Reductions of 2D dispersionless Toda Hierarchy, Hamiltonian Structure and Interface Dynamics

Authors: J. Harnad, I. Loutsenko, O. Yermolayeva

Abstract: Finite-dimensional reductions of the 2D dispersionless Toda hierarchy, constrained by the ``string equation'' are studied. These include solutions determined by polynomial, rational or logarithmic functions, which are of interest in relation to the ``Laplacian growth'' problem governing interface dynamics. The consistency of such reductions is proved, and the Hamiltonian structure of the reduced… ▽ More Finite-dimensional reductions of the 2D dispersionless Toda hierarchy, constrained by the ``string equation'' are studied. These include solutions determined by polynomial, rational or logarithmic functions, which are of interest in relation to the ``Laplacian growth'' problem governing interface dynamics. The consistency of such reductions is proved, and the Hamiltonian structure of the reduced dynamics is derived. The Poisson structure of the rationally reduced dispersionless Toda hierarchies is also derived △ Less

Submitted 13 September, 2005; v1 submitted 22 December, 2003; originally announced December 2003.

Comments: 18 pages LaTex, accepted to J.Math.Phys, Significantly updated version of the previous submission

MSC Class: 76D27; 37K10; 37J35

Journal ref: J.Math.Phys. 46 (2005) 112701

Superintegrability, Lax matrices and separation of variables

Authors: J. Harnad, O. Yermolayeva

Abstract: We show how the superintegrability of certain systems can be deduced from the presence of multiple parameters in the rational Lax matrix representation. This is also related to the fact that such systems admit a separation of variables in parametric families of coordinate systems. We show how the superintegrability of certain systems can be deduced from the presence of multiple parameters in the rational Lax matrix representation. This is also related to the fact that such systems admit a separation of variables in parametric families of coordinate systems. △ Less

Submitted 24 January, 2006; v1 submitted 6 March, 2003; originally announced March 2003.

Comments: 13 pages, LaTex file. Published in proceedings of workshop on Superintegrability in Classical and Quantum Systems, 16-21 Sept., 2002, CRM, Universite de Montreal, Montreal (Quebec)

Journal ref: CRM Proc.Lect.Notes 37:65-73,2004

Scalar products of symmetric functions and matrix integrals

Authors: J. Harnad, A. Yu. Orlov

Abstract: We present relations between Hirota-type bilinear operators, scalar products on spaces of symmetric functions and integrals defining matrix model partition functions. Using the fermionic Fock space representation, a proof of the expansion of an associated class of KP and 2-Toda tau functions $τ_{r,n}$ in a series of Schur functions generalizing the hypergeometric series is given and related to t… ▽ More We present relations between Hirota-type bilinear operators, scalar products on spaces of symmetric functions and integrals defining matrix model partition functions. Using the fermionic Fock space representation, a proof of the expansion of an associated class of KP and 2-Toda tau functions $τ_{r,n}$ in a series of Schur functions generalizing the hypergeometric series is given and related to the scalar product formulae. It is shown how special cases of such $τ$-functions may be identified as formal series expansions of partition functions. A closed form exapnsion of $\log τ_{r,n}$ in terms of Schur functions is derived. △ Less

Submitted 10 December, 2002; v1 submitted 28 November, 2002; originally announced November 2002.

Comments: LaTex file. 15 pgs. Based on talks by J. Harnad and A. Yu. Orlov at the workshop: Nonlinear evolution equations and dynamical systems 2002, Cadiz (Spain) June 9-16, 2002. To appear in proceedings. (Minor typographical corrections added, abstract expanded)

Report number: CRM-2907 (2002)

Journal ref: Theor.Math.Phys. 137 (2003) 1676-1690; Teor.Mat.Fiz. 137 (2003) 375-392

Multi-Hamiltonian structures for r-matrix systems

Authors: J. Harnad, J. C. Hurtubise

Abstract: For the rational, elliptic and trigonometric r-matrices, we exhibit the links between three "levels" of Poisson spaces: (a) Some finite-dimensional spaces of matrix-valued holomorphic functions on the complex line; (b) Spaces of spectral curves and sheaves supported on them; (c) Symmetric products of a surface. We have, at each level, a linear space of compatible Poisson structures, and the maps… ▽ More For the rational, elliptic and trigonometric r-matrices, we exhibit the links between three "levels" of Poisson spaces: (a) Some finite-dimensional spaces of matrix-valued holomorphic functions on the complex line; (b) Spaces of spectral curves and sheaves supported on them; (c) Symmetric products of a surface. We have, at each level, a linear space of compatible Poisson structures, and the maps relating the levels are Poisson. This leads in a natural way to Nijenhuis coordinates for these spaces. At level (b), there are Hamiltonian systems on these spaces which are integrable for each Poisson structure in the family, and which are such that the Lagrangian leaves are the intersections of the symplective leaves over the Poisson structures in the family. Specific examples include many of the well-known integrable systems. △ Less

Submitted 29 November, 2002; originally announced November 2002.

Comments: 26 pages, Plain Tex

Report number: CRM 2850

Journal ref: J.Math.Phys.49:062903,2008

Matrix integrals as Borel sums of Schur function expansions

Authors: J. Harnad, A. Yu. Orlov

Abstract: The partition function for unitary two matrix models is known to be a double KP tau-function, as well as providing solutions to the two dimensional Toda hierarchy. It is shown how it may also be viewed as a Borel sum regularization of divergent sums over products of Schur functions in the two sequences of associated KP flow variables. The partition function for unitary two matrix models is known to be a double KP tau-function, as well as providing solutions to the two dimensional Toda hierarchy. It is shown how it may also be viewed as a Borel sum regularization of divergent sums over products of Schur functions in the two sequences of associated KP flow variables. △ Less

Submitted 9 October, 2002; v1 submitted 17 September, 2002; originally announced September 2002.

Comments: PlainTex file. 8 pgs. Based on talk by J. Harnad at the workshop: Symmetry and Perturbation Theory 2002, Cala Gonoone (Sardinia), May 1-26, 2002. To appear in proceedings. (World Scientific, Singapore, eds. S. Abenda, G. Gaeta). Typographical correction made to formula (2.7) to include previously omitted powers of r and x

Report number: CRM-2865

Journal ref: Symmetries and Perturbation theory SPT2002, pp. 116-123, eds. S. Abenda, G. Gaeta, and S. Walcher (World Scientific, Singapore, 2003)

Differential systems for biorthogonal polynomials appearing in 2-matrix models and the associated Riemann-Hilbert problem

Authors: M. Bertola, B. Eynard, J. Harnad

Abstract: We consider biorthogonal polynomials that arise in the study of a generalization of two--matrix Hermitian models with two polynomial potentials V_1(x), V_2(y) of any degree, with arbitrary complex coefficients. Finite consecutive subsequences of biorthogonal polynomials (`windows'), of lengths equal to the degrees of the potentials, satisfy systems of ODE's with polynomial coefficients as well a… ▽ More We consider biorthogonal polynomials that arise in the study of a generalization of two--matrix Hermitian models with two polynomial potentials V_1(x), V_2(y) of any degree, with arbitrary complex coefficients. Finite consecutive subsequences of biorthogonal polynomials (`windows'), of lengths equal to the degrees of the potentials, satisfy systems of ODE's with polynomial coefficients as well as PDE's (deformation equations) with respect to the coefficients of the potentials and recursion relations connecting consecutive windows. A compatible sequence of fundamental systems of solutions is constructed for these equations. The (Stokes) sectorial asymptotics of these fundamental systems are derived through saddle-point integration and the Riemann-Hilbert problem characterizing the differential equations is deduced. △ Less

Submitted 28 August, 2002; v1 submitted 1 August, 2002; originally announced August 2002.

Comments: v1:41 pages, 5 figures, 1 table. v2:Typos and other errors corrected. v3: Some conceptual changes, added appendix and two figures v4: Minor typographical changes, improved figures. v5: updated version (submitted) 49 pages, 7 figures, 1 table

Report number: CRM-2852 (2002), Saclay T02/097

Journal ref: Comm.Math.Phys.243:193-240,2003

Partition functions for Matrix Models and Isomonodromic Tau functions

Authors: M. Bertola, B. Eynard, J. Harnad

Abstract: For one-matrix models with polynomial potentials, the explicit relationship between the partition function and the isomonodromic tau function for the 2x2 polynomial differential systems satisfied by the associated orthogonal polynomials is derived. For one-matrix models with polynomial potentials, the explicit relationship between the partition function and the isomonodromic tau function for the 2x2 polynomial differential systems satisfied by the associated orthogonal polynomials is derived. △ Less

Submitted 6 September, 2002; v1 submitted 22 April, 2002; originally announced April 2002.

Comments: 17 pages, one figure, uses subeqnarray.sty, added references, typos removed Version accepted

Report number: CRM-2841 (2002), Saclay T02/050 (2002)

Journal ref: J.Phys.A36:3067-3084,2003

Duality of spectral curves arising in two-matrix models

Authors: M. Bertola, B. Eynard, J. Harnad

Abstract: The two matrix model is considered, with measure given by the exponential of a sum of polynomials in two different variables. It is shown how to derive a sequence of pairs of ``dual'' finite size systems of ODEs for the corresponding biorthonormal polynomials. An inverse theorem is proved showing how to reconstruct such measures from pairs of semi-infinite finite band matrices defining the recur… ▽ More The two matrix model is considered, with measure given by the exponential of a sum of polynomials in two different variables. It is shown how to derive a sequence of pairs of ``dual'' finite size systems of ODEs for the corresponding biorthonormal polynomials. An inverse theorem is proved showing how to reconstruct such measures from pairs of semi-infinite finite band matrices defining the recursion relations and satisfying the string equation. A proof is given in the $N\to \infty$ limit that the dual systems obtained share the same spectral curve. △ Less

Submitted 5 December, 2001; v1 submitted 3 December, 2001; originally announced December 2001.

Comments: Write-up based on lecture by J. Harnad given at NEEDS 2001 Euroconference Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K. July 24-31, 2001

Report number: preprint CRM-2828 (2001)

Journal ref: Theor.Math.Phys. 134 (2003) 27-38; Teor.Mat.Fiz. 134 (2003) 32-45

Duality, Biorthogonal Polynomials and Multi-Matrix Models

Authors: M. Bertola, B. Eynard, J. Harnad

Abstract: The statistical distribution of eigenvalues of pairs of coupled random matrices can be expressed in terms of integral kernels having a generalized Christoffel--Darboux form constructed from sequences of biorthogonal polynomials. For measures involving exponentials of a pair of polynomials V_1, V_2 in two different variables, these kernels may be expressed in terms of finite dimensional ``windows… ▽ More The statistical distribution of eigenvalues of pairs of coupled random matrices can be expressed in terms of integral kernels having a generalized Christoffel--Darboux form constructed from sequences of biorthogonal polynomials. For measures involving exponentials of a pair of polynomials V_1, V_2 in two different variables, these kernels may be expressed in terms of finite dimensional ``windows'' spanned by finite subsequences having length equal to the degree of one or the other of the polynomials V_1, V_2. The vectors formed by such subsequences satisfy "dual pairs" of first order systems of linear differential equations with polynomial coefficients, having rank equal to one of the degrees of V_1 or V_2 and degree equal to the other. They also satisfy recursion relations connecting the consecutive windows, and deformation equations, determining how they change under variations in the coefficients of the polynomials V_1 and V_2. Viewed as overdetermined systems of linear difference-differential-deformation equations, these are shown to be compatible, and hence to admit simultaneous fundamental systems of solutions. The main result is the demonstration of a spectral duality property; namely, that the spectral curves defined by the characteristic equations of the pair of matrices defining the dual differential systems are equal upon interchange of eigenvalue and polynomial parameters. △ Less

Submitted 4 September, 2001; v1 submitted 27 August, 2001; originally announced August 2001.

Comments: Latex, 44 pages, 1 table

Report number: CRM 2749 (2001), Saclay-T01/047

Journal ref: Commun.Math.Phys. 229 (2002) 73-120

On the bilinear equations for Fredholm determinants appearing in random matrices

Authors: J. Harnad

Abstract: It is shown how the bilinear differential equations satisfied by Fredholm determinants of integral operators appearing as spectral distribution functions for random matrices may be deduced from the associated systems of nonautonomous Hamiltonian equations satisfied by auxiliary canonical phase space variables introduced by Tracy and Widom. The essential step is to recast the latter as isomonodro… ▽ More It is shown how the bilinear differential equations satisfied by Fredholm determinants of integral operators appearing as spectral distribution functions for random matrices may be deduced from the associated systems of nonautonomous Hamiltonian equations satisfied by auxiliary canonical phase space variables introduced by Tracy and Widom. The essential step is to recast the latter as isomonodromic deformation equations for families of rational covariant derivative operators on the Riemann sphere and interpret the Fredholm determinants as isomonodromic $τ$-functions. △ Less

Submitted 17 June, 2003; v1 submitted 10 June, 1999; originally announced June 1999.

Comments: arxiv version is already official

Journal ref: J. Nonlinear Math. Phys., volume 9, no. 4 (2002) 530-550

Picard-Fuchs Equations, Hauptmoduls and Integrable Systems

Authors: J. Harnad

Abstract: The Schwarzian equations satisfied by certain Hauptmoduls (i.e., uniformizing functions for Riemann surfaces of genus zero) are derived from the Picard-Fuchs equations for families of elliptic curves and associated surfaces. The inhomogeneous Picard-Fuchs equations associated to elliptic integrals with varying endpoints are derived and used to determine solutions of equations that are algebraica… ▽ More The Schwarzian equations satisfied by certain Hauptmoduls (i.e., uniformizing functions for Riemann surfaces of genus zero) are derived from the Picard-Fuchs equations for families of elliptic curves and associated surfaces. The inhomogeneous Picard-Fuchs equations associated to elliptic integrals with varying endpoints are derived and used to determine solutions of equations that are algebraically related to a class of Painlevé VI equations. △ Less

Submitted 17 February, 1999; originally announced February 1999.

Comments: PlainTeX 15gs. Write - up of lecture given at international meeting: Integrability: Seiberg-Witten and Witham Equations, ICMS, Edinburgh, September 14-19, 1998

Report number: CRM 2596 (1999)

Journal ref: Integrability: The Seiberg-Witten and Witham Equations, Chapter 8, pp. 137-152 ( Ed. H.W. Braden and I.M. Krichever, Gordon and Breach, Amsterdam (2000))

Modular Invariants and Generalized Halphen Systems

Authors: J. Harnad, J. McKay

Abstract: Generalized Halphen systems are solved in terms of functions that uniformize genus zero Riemann surfaces, with automorphism groups that are commensurable with the modular group. Rational maps relating these functions imply subgroup relations between their automorphism groups and symmetrization relations between the associated differential systems. Generalized Halphen systems are solved in terms of functions that uniformize genus zero Riemann surfaces, with automorphism groups that are commensurable with the modular group. Rational maps relating these functions imply subgroup relations between their automorphism groups and symmetrization relations between the associated differential systems. △ Less

Submitted 17 February, 1999; originally announced February 1999.

Comments: PlainTeX 15gs. Write - up of lecture by J. Harnad at International meeting: SIDE III, Sabaudia, May 16-22, 1998. To appear in CRM Proceedings and Lecture Notes series (1999/2000)

Report number: CRM 2597 (1999)

Journal ref: CRM Proceedings and Lecture Notes Series 25, Symmetries and Integrability of Difference Equations, pp. 181- 195 (eds. Decio Levy and Orlando Ragnisco, AMS, Providence R.I., 2000)

Modular Solutions to Equations of Generalized Halphen Type

Authors: J. Harnad, J. McKay

Abstract: Solutions to a class of differential systems that generalize the Halphen system are determined in terms of automorphic functions whose groups are commensurable with the modular group. These functions all uniformize Riemann surfaces of genus zero and have $q$--series with integral coefficients. Rational maps relating these functions are derived, implying subgroup relations between their automorph… ▽ More Solutions to a class of differential systems that generalize the Halphen system are determined in terms of automorphic functions whose groups are commensurable with the modular group. These functions all uniformize Riemann surfaces of genus zero and have $q$--series with integral coefficients. Rational maps relating these functions are derived, implying subgroup relations between their automorphism groups, as well as symmetrization maps relating the associated differential systems. △ Less

Submitted 28 April, 1998; v1 submitted 9 April, 1998; originally announced April 1998.

Comments: PlainTeX 36gs. (Formula for Hecke operator corrected.)

Report number: CRM 2536 (1998)

Journal ref: Proc.Roy.Soc.Lond. 456 (2000) 261-294

Bispectral Operators, Dual Isomonodromic Deformations and the Riemann-Hilbert Dressing Method

Authors: J. Harnad

Abstract: A comparison is made between bispectral systems and dual isomonodromic deformation equations. A number of examples are given, showing how bispectral systems may be embedded into isomonodromic ones. Sufficiency conditions are given for the construction of rational solutions of isomonodromic deformation equations through the Riemann-Hilbert problem dressing method, and these are shown, in certain… ▽ More A comparison is made between bispectral systems and dual isomonodromic deformation equations. A number of examples are given, showing how bispectral systems may be embedded into isomonodromic ones. Sufficiency conditions are given for the construction of rational solutions of isomonodromic deformation equations through the Riemann-Hilbert problem dressing method, and these are shown, in certain cases, to reduce to bispectral systems. △ Less

Submitted 22 October, 1997; originally announced October 1997.

Comments: AMSTeX 13pgs. Text of talk presented at the workshop on the Bispectral Problem, Centre de recherches mathematiques, Universite de Montreal, March 17--21, 1997. To appear in: CRM Proceedings and Lecture Notes series (1997/98)

Report number: CRM 2512 (1997)

Journal ref: CRM Proc. Lecture Notes 14, 67-79, (Amer. Math. Soc., Providence, RI, 1998)

Hamiltonian Dynamics, Classical R-matrices and Isomonodromic Deformations

Authors: J. Harnad

Abstract: The Hamiltonian approach to the theory of dual isomonodromic deformations is developed within the framework of rational classical R-matrix structures on loop algebras. Particular solutions to the isomonodromic deformation equations appearing in the computation of correlation functions in integrable quantum field theory models are constructed through the Riemann-Hilbert problem method. The corres… ▽ More The Hamiltonian approach to the theory of dual isomonodromic deformations is developed within the framework of rational classical R-matrix structures on loop algebras. Particular solutions to the isomonodromic deformation equations appearing in the computation of correlation functions in integrable quantum field theory models are constructed through the Riemann-Hilbert problem method. The corresponding $τ$-functions are shown to be given by the Fredholm determinant of a special class of integral operators. △ Less

Submitted 18 October, 1997; originally announced October 1997.

Comments: LaTeX 13pgs (requires lamuphys.sty). Text of talk given at workshop: Supersymmetric and Integrable Systems, University of Illinois, Chicago Circle, June 12-14, 1997. To appear in: Springer Lecture notes in Physics

Report number: CRM 2511 (1997)

Journal ref: Lect.Notes Phys.502:63-75,1998

Integrable Fredholm Operators and Dual Isomonodromic Deformations

Authors: J. Harnad, Alexander R. Its

Abstract: The Fredholm determinants of a special class of integral operators K supported on the union of m curve segments in the complex plane are shown to be the tau-functions of an isomonodromic family of meromorphic covariant derivative operators D_l. These have regular singular points at the 2m endpoints of the curve segments and a singular point of Poincare index 1 at infinity. The rank r of the vect… ▽ More The Fredholm determinants of a special class of integral operators K supported on the union of m curve segments in the complex plane are shown to be the tau-functions of an isomonodromic family of meromorphic covariant derivative operators D_l. These have regular singular points at the 2m endpoints of the curve segments and a singular point of Poincare index 1 at infinity. The rank r of the vector bundle over the Riemann sphere on which they act equals the number of distinct terms in the exponential sums entering in the numerator of the integral kernels. The deformation equations may be viewed as nonautonomous Hamiltonian systems on an auxiliary symplectic vector space M, whose Poisson quotient, under a parametric family of Hamiltonian group actions, is identified with a Poisson submanifold of the loop algebra Lgl_R(r) with respect to the rational R-matrix structure. The matrix Riemann-Hilbert problem method is used to identify the auxiliary space M with the data defining the integral kernel of the resolvent operator at the endpoints of the curve segments. A second associated isomonodromic family of covariant derivative operators D_z is derived, having rank n=2m, and r finite regular singular points at the values of the exponents defining the kernel of K. This family is similarly embedded into the algebra Lgl_R(n) through a dual parametric family of Poisson quotients of M. The operators D_z are shown to be analogously associated to the integral operator obtained from K through a Fourier-Laplace transform. △ Less

Submitted 4 June, 1997; originally announced June 1997.

Comments: PlainTeX 32gs

Report number: CRM 2477 (1997)

Journal ref: Commun.Math.Phys.226:497-530,2002

Bispectral Operators of Rank 1 and Dual Isomonodromic Deformations

Authors: J. Harnad

Abstract: A comparison is made between bispectral operator pairs and dual pairs of isomonodromic deformation equations. Through examples, it is shown how operators belonging to rank one bispectral algebras may be viewed equivalently as defining 1-parameter families of rational first order differential operators with matricial coefficients on the Riemann sphere, whose monodromy is trivial. By interchanging… ▽ More A comparison is made between bispectral operator pairs and dual pairs of isomonodromic deformation equations. Through examples, it is shown how operators belonging to rank one bispectral algebras may be viewed equivalently as defining 1-parameter families of rational first order differential operators with matricial coefficients on the Riemann sphere, whose monodromy is trivial. By interchanging the rôles of the two variables entering in the bispectral pair, a second 1-parameter family of operators with trivial monodromy is obtained, which may be viewed as the dual isomonodromic deformation system. △ Less

Submitted 26 December, 1996; originally announced December 1996.

Comments: 16pgs, AMSTeX

Report number: CRM 2443 (1996)

Journal ref: CRM Proc. Lecture Notes 11, 155-167 (Amer. Math. Soc., Providence RI, 1997)

Darboux Coordinates on Coadjoint Orbits of Lie Algebras

Authors: M. R. Adams, J. Harnad, J. Hurtubise

Abstract: The method of constructing spectral Darboux coordinates on finite dimensional coadjoint orbits in duals of loop algebras is applied to the one pole case, where the orbit is identified with a coadjoint orbit in the dual of a finite dimensional Lie algebra. The constructions are carried out explicitly when the Lie algebra is $\frak{sl}(2,\bold R),\ \frak{sl}(3, \bold R),$ and… ▽ More The method of constructing spectral Darboux coordinates on finite dimensional coadjoint orbits in duals of loop algebras is applied to the one pole case, where the orbit is identified with a coadjoint orbit in the dual of a finite dimensional Lie algebra. The constructions are carried out explicitly when the Lie algebra is $\frak{sl}(2,\bold R),\ \frak{sl}(3, \bold R),$ and $\frak{so}(3, \bold R)$, and for rank two orbits in $\frak{so}(n, \bold R)$. A new feature that appears is the possibility of identifying spectral Darboux coordinates associated to ``dynamical" choices of sections of the associated eigenvector line bundles; i.e. sections that depend on the point within the given orbit. △ Less

Submitted 5 March, 1996; originally announced March 1996.

Comments: AMSTeX 16pgs

Report number: CRM 2338 (1996)

Journal ref: Lett.Math.Phys. 40 (1997) 41-57

Quantum Isomonodromic Deformations and the Knizhnik--Zamolodchikov Equations

Authors: John Harnad

Abstract: Viewing the Knizhnik--Zamolodchikov equations as multi--time, nonautonomous Shrödinger equations, the transformation to the Heisenberg representation is shown to yield the quantum Schlesinger equations. These are the quantum form of the isomonodromic deformations equations for first order operators of the form $\DD_ł= {\di \over \di ł} - \wh{\NN}(ł)$, where $\wh{\NN}(ł)$ is a rational… ▽ More Viewing the Knizhnik--Zamolodchikov equations as multi--time, nonautonomous Shrödinger equations, the transformation to the Heisenberg representation is shown to yield the quantum Schlesinger equations. These are the quantum form of the isomonodromic deformations equations for first order operators of the form $\DD_ł= {\di \over \di ł} - \wh{\NN}(ł)$, where $\wh{\NN}(ł)$ is a rational $r\times r$ matrix valued function of $ł$ having simple poles only, and the matrix entries are interpreted as operators on a module of the rational $R$--matrix loop algebra $\wt{\frak{gl}}(r)_R$. This provides a simpler formulation of a construction due to Reshetikhin, relating the KZ equations to quantum isomonodromic deformations. △ Less

Submitted 15 June, 1994; v1 submitted 13 June, 1994; originally announced June 1994.

Comments: 9 pages. (Spelling improved.)

Report number: CRM-2890

Journal ref: CRM Proc. Lecture Notes 9, 155-161, (Amer. Math. Soc., Providence, RI, 1996)

$R$--Matrix Construction of Electromagnetic Models for the Painlevé Transcendents

Authors: J. Harnad, M. Routhier

Abstract: The Painlevé transcendents $P_{\rom{I}}$--$P_{\rom{V}}$ and their representations as isomonodromic deformation equations are derived as nonautonomous Hamiltonian systems from the classical $R$--matrix Poisson bracket structure on the dual space $\wt{\frak{sl}}_R^*(2)$ of the loop algebra $\wt{\frak{sl}}_R(2)$. The Hamiltonians are obtained by composing elements of the Poisson commuting ring of s… ▽ More The Painlevé transcendents $P_{\rom{I}}$--$P_{\rom{V}}$ and their representations as isomonodromic deformation equations are derived as nonautonomous Hamiltonian systems from the classical $R$--matrix Poisson bracket structure on the dual space $\wt{\frak{sl}}_R^*(2)$ of the loop algebra $\wt{\frak{sl}}_R(2)$. The Hamiltonians are obtained by composing elements of the Poisson commuting ring of spectral invariant functions on $\wt{\frak{sl}}_R^*(2)$ with a time--dependent family of Poisson maps whose images are $4$--dimensional rational coadjoint orbits in $\wt{\frak{sl}}_R^*(2)$. Each system may be interpreted as describing a particle moving on a surface of zero curvature in the presence of a time--varying electromagnetic field. The Painlevé equations follow from reduction of these systems by the Hamiltonian flow generated by a second commuting element in the ring of spectral invariants. △ Less

Submitted 13 June, 1994; originally announced June 1994.

Comments: 22 pgs, AMSTeX, preprint CRM-2889 (1994)

Journal ref: J.Math.Phys. 36 (1995) 4863-4881

Hyperspherical Harmonics, Separation of Variables and the Bethe Ansatz

Authors: J. Harnad, P. Winternitz

Abstract: The relation between solutions to Helmholtz's equation on the sphere $S^{n-1}$ and the $[{\gr sl}(2)]^n$ Gaudin spin chain is clarified. The joint eigenfuctions of the Laplacian and a complete set of commuting second order operators suggested by the $R$--matrix approach to integrable systems, based on the loop algebra $\wt{sl}(2)_R$, are found in terms of homogeneous polynomials in the ambient s… ▽ More The relation between solutions to Helmholtz's equation on the sphere $S^{n-1}$ and the $[{\gr sl}(2)]^n$ Gaudin spin chain is clarified. The joint eigenfuctions of the Laplacian and a complete set of commuting second order operators suggested by the $R$--matrix approach to integrable systems, based on the loop algebra $\wt{sl}(2)_R$, are found in terms of homogeneous polynomials in the ambient space. The relation of this method of determining a basis of harmonic functions on $S^{n-1}$ to the Bethe ansatz approach to integrable systems is explained. △ Less

Submitted 12 May, 1994; originally announced May 1994.

Comments: 14 pgs, Plain Tex, preprint CRM--2174 (May, 1994)

Journal ref: Lett.Math.Phys. 33 (1995) 61-74

Classical and Quantum Integrable Systems in $\wt{\gr{gl}}(2)^{+*}$ and Separation of Variables

Authors: John Harnad, P. Winternitz

Abstract: Classical integrable Hamiltonian systems generated by elements of the Poisson commuting ring of spectral invariants on rational coadjoint orbits of the loop algebra $\wt{\gr{gl}}^{+*}(2,{\bf R})$ are integrated by separation of variables in the Hamilton-Jacobi equation in hyperellipsoidal coordinates. The canonically quantized systems are then shown to also be completely integrable and separable… ▽ More Classical integrable Hamiltonian systems generated by elements of the Poisson commuting ring of spectral invariants on rational coadjoint orbits of the loop algebra $\wt{\gr{gl}}^{+*}(2,{\bf R})$ are integrated by separation of variables in the Hamilton-Jacobi equation in hyperellipsoidal coordinates. The canonically quantized systems are then shown to also be completely integrable and separable within the same coordinates. Pairs of second class constraints defining reduced phase spaces are implemented in the quantized systems by choosing one constraint as an invariant, and interpreting the other as determining a quotient (i.e., by treating one as a first class constraint and the other as a gauge condition). Completely integrable, separable systems on spheres and ellipsoids result, but those on ellipsoids require a further modification of order $\OO(\hbar^2)$ in the commuting invariants in order to assure self-adjointness and to recover the Laplacian for the case of free motion. For each case - in the ambient space ${\bf R}^{n}$, the sphere and the ellipsoid - the Schrödinger equations are completely separated in hyperellipsoidal coordinates, giving equations of generalized Lamé type. △ Less

Submitted 3 December, 1993; originally announced December 1993.

Comments: 28 pages

Report number: CRM--1921 (1993)

Journal ref: Commun.Math.Phys. 172 (1995) 263-286

Isospectral Flow and Liouville-Arnold Integration in Loop Algebras

Authors: John Harnad

Abstract: A number of examples of Hamiltonian systems that are integrable by classical means are cast within the framework of isospectral flows in loop algebras. These include: the Neumann oscillator, the cubically nonlinear Schrödinger systems and the sine-Gordon equation. Each system has an associated invariant spectral curve and may be integrated via the Liouville-Arnold technique. The linearizing map… ▽ More A number of examples of Hamiltonian systems that are integrable by classical means are cast within the framework of isospectral flows in loop algebras. These include: the Neumann oscillator, the cubically nonlinear Schrödinger systems and the sine-Gordon equation. Each system has an associated invariant spectral curve and may be integrated via the Liouville-Arnold technique. The linearizing map is the Abel map to the associated Jacobi variety, which is deduced through separation of variables in hyperellipsoidal coordinates. More generally, a family of moment maps is derived, identifying certain finite dimensional symplectic manifolds with rational coadjoint orbits of loop algebras. Integrable Hamiltonians are obtained by restriction of elements of the ring of spectral invariants to the image of these moment maps. The isospectral property follows from the Adler-Kostant-Symes theorem, and gives rise to invariant spectral curves. {\it Spectral Darboux coordinates} are introduced on rational coadjoint orbits, generalizing the hyperellipsoidal coordinates to higher rank cases. Applying the Liouville-Arnold integration technique, the Liouville generating function is expressed in completely separated form as an abelian integral, implying the Abel map linearization in the general case. △ Less

Submitted 24 June, 1993; originally announced June 1993.

Comments: 42 pages, 2 Figures, 1 Table. Lectures presented at the VIIIth Scheveningen Conference, held at Wassenaar, the Netherlands, Aug. 16-21, 1992

Journal ref: Springer Lecture Notes in Physics 424, 1-42 (1993), Springer-Verlag, N.Y., Heidelberg, ed. G. Helminck