Related papers: Tau function and Hirota bilinear equations for the…
We study the Pfaff lattice, introduced by us in the context of a Lie algebra splitting of gl(infinity) into sp(infinity) and lower-triangular matrices. We establish a set of bilinear identities, which we show to be equivalent to the Pfaff…
Orbifold generalizations of the ordinary and modified melting crystal models are introduced. They are labelled by a pair $a,b$ of positive integers, and geometrically related to $\mathbf{Z}_a\times\mathbf{Z}_b$ orbifolds of local…
The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse…
We study algebro-geometric (finite-gap) and elliptic solutions of fully discretized KP or 2D Toda equations. In bilinear form they are Hirota's difference equation for $\tau$-functions. Starting from a given algebraic curve, we express the…
We consider solvable matrix models. We generalize Harish-Chandra-Itzykson-Zuber and certain other integrals (Gross-Witten integral and integrals over complex matrices) using the notion of tau function of matrix argument. In this case one…
The Hodge tau-function is a generating function for the linear Hodge integrals. It is also a tau-function of the KP hierarchy. In this paper, we first present the Virasoro constraints for the Hodge tau-function in the explicit form of the…
In the previous paper we derived Gauss-Givental integral representation for the wave functions of quantum BC Toda chain and also introduced Baxter operators for this model. In the present paper we prove commutativity of Baxter operators, as…
This is a summary of a recursive construction of solutions of the hbar-dependent KP hierarchy. We give recursion relations for the coefficients X_n of an hbar-expansion of the operator X = X_0 + \hbar X_1 + \hbar^2 X_2 + ... for which the…
We present a new realization of scalar integrable hierarchies in terms of the Toda lattice hierarchy. In other words, we show on a large number of examples that an integrable hierarchy, defined by a pseudodifferential Lax operator, can be…
For an arbitrary solution to the Burgers--KdV hierarchy, we define the tau-tuple $(\tau_1,\tau_2)$ of the solution. We show that the product $\tau_1\tau_2$ admits Buryak's residue formula. Therefore, according to Alexandrov's theorem,…
The Tomimatsu--Sato (TS) family generalizes the Kerr black hole to higher multipole order $\delta$ and has long been regarded as algebraically complicated without any clear integrability. We show instead that stationary axisymmetric vacuum…
The tau-function formalism for a class of generalized ``zero-curvature'' integrable hierarchies of partial differential equations, is constructed. The class includes the Drinfel'd-Sokolov hierarchies. A direct relation between the variables…
We consider a (2+1)-dimensional Toda-like chain which can be viewed as a two-dimensional generalization of the Wu-Geng model and which is closely related to the two-dimensional Volterra, two-dimensional Toda and relativistic Toda lattices.…
The solutions of a large class of hierarchies of zero-curvature equations that includes Toda and KdV type hierarchies are investigated. All these hierarchies are constructed from affine (twisted or untwisted) Kac-Moody algebras~$\ggg$.…
We study the interplay between Sabbah's mixed Hodge structure for regular functions and Ehrhart theory for polytopes. To this end, we analyze the properties of the Poincar\'e polynomial of the Hodge filtration of this mixed Hodge structure.
Higher Type Arithmetic (HA$^w$) is a first-order many-sorted theory. It is a conservative extension of Heyting Arithmetic obtained by extending the syntax of terms to all of System T: the objects of interest here are the functionals of…
Higher-order unification (HOU) concerns unification of (extensions of) $\lambda$-calculus and can be seen as an instance of equational unification ($E$-unification) modulo $\beta\eta$-equivalence of $\lambda$-terms. We study equational…
We introduce and investigate a family of tau-functions of the 2D Toda hierarchy, which is a natural generalization of the hypergeometric family associated with Hurwitz numbers. For this family we prove a skew Schur function expansion…
In this paper, we extend the matrix-resolvent method to the study of the Dubrovin--Zhang type tau-functions for the constrained KP hierarchy and the bigraded Toda hierarchy of $(M,1)$-type. We show that the Dubrovin--Zhang type tau-function…
The modified Toda (mToda) hierarchy is a two-component generalization of the 1-st modified KP (mKP) hierarchy, which connects the Toda hierarchy via Miura links and has two tau functions. Based on the fact that the mToda and 1-st mKP…