Hypergeometric Functions as Infinite-Soliton Tau Functions

It is known that resonant multisoliton solutions depend on higher times and a set of parameters (integrals of motion). We show that soliton tau functions of the Toda lattice (and of the multicomponent Toda lattice) are tau functions of a dual hierarchy, where the higher times and the parameters (integrals of motion) exchange roles. The multisoliton solutions turn out to be rational solutions of the dual hierarchy, and the infinite-soliton tau functions turn out to be hypergeometric-type tau functions of the dual hierarchy. The variables in the dual hierarchies exchange roles. Soliton momenta are related to the Frobenius coordinates of partitions in the decomposition of rational solutions with respect to Schur functions. As an example, we consider partition functions of matrix models: their perturbation series is, on one hand, a hypergeometric tau function and, on the other hand, can be interpreted as an infinite-soliton solution. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 146, No. 2, pp. 222–250, February, 2006.     

Topological Duality for Boolean Algebras with a Normal <Emphasis Type="Italic">n</Emphasis>-ary Monotonic Operator

In this paper we shall give a topological duality for Boolean algebras endowed with an n-ary monotonic operator (BAMOs). The dual spaces of BAMOs are structures of the form , such that is a Boolean space, and R is a relation between X and a finite sequences of non-empty closed subsets of X. By means of this duality we shall characterize the equivalence relations of the dual space of a BAMO A that correspond biunivocally to subalgebras of A. We shall prove that there exist bijective correspondences between the lattice of congruences, the lattice of closed filters, and the lattice of certain closed subsets of the dual space of a BAMO. These correspondences are used to study the simple and the subdirectly irreducible algebras.      

Hypergeometric Solutions of Soliton Equations

We consider multivariable hypergeometric functions related to Schur functions and show that these hypergeometric functions are tau functions of the KP hierarchy and are simultaneously the ratios of Toda lattice tau functions evaluated at certain values of higher Toda lattice times. The variables of the hypergeometric functions are related to the higher times of those hierarchies via a Miwa change of variables. The discrete Toda lattice variable shifts the parameters of the hypergeometric functions. We construct the determinant representation and the integral representation of a special type for the KP tau functions. We write a system of linear differential and difference equations on these tau functions, which play the role of string equations.     

Generic solutions for some integrable lattice equations

We derive the expressions for -functions and generic solutions of lattice principal chiral equations, the lattice KP hierarchy, and the hierarchy including lattice N-wave type equations. The -function ofn free fermions plays a fundamental role in this context. Miwa's coordinates in our case appear as the lattice parameters.Landau Institute for Theoretical Physics, IINS, GSP-1 117940, Kosygina 2, Moscow V-334, Russia. E-mail: leonid@cpd.landau.free.net, leonid@itp.chg.free.net. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 99, No. 2, pp. 177–184, May, 1994.     

Transcendence of zeros of Jacobi forms

A special case of a fundamental theorem of Schneider asserts that if \(j(\tau )\) is algebraic (where j is the classical modular invariant), then any zero z not in \(\mathbf{Q}.L_\tau := \mathbf{Q}\oplus \mathbf{Q}\tau \) of the Weierstrass function \(\wp (\tau ,\cdot )\) attached to the lattice \(L_\tau =\mathbf{Z}\oplus \mathbf{Z}\tau \) is transcendental. In this note we generalize this result to holomorphic Jacobi forms of weight k and index \(m\in \mathbf{N}\) with algebraic Fourier coefficients.     

Uniqueness theorems for entire functions having growth [2, π/2)

It is shown that if f is any entire function in the class [2,π/2), which along with finitely many of its successive derivatives, vanishes at the integer lattice points, suitably scaled, then f is identically zero. It is then shown that if f is any entire function in a proper subclass of [2,π/2), which along with finitely many of its successive derivatives, is bounded at the integer lattice points, suitably scaled, then f is constant. A heuristic argument in support of the conjecture that this latter result holds for the full class [2, π/2) is given.     

Coincidence rotations of the root lattice

The coincidence site lattices of the root lattice A₄ are considered, and the statistics of the corresponding coincidence rotations according to their indices is expressed in terms of a Dirichlet series generating function. This is possible via an embedding of A₄ into the icosian ring with its rich arithmetic structure, which recently [M Baake, M. Heuer, R.V. Moody, Similar sublattices of the root lattice A₄, preprint arXiv:math.MG/0702448] led to the classification of the similar sublattices of A₄.     

Enumeration of three-dimensional convex polygons

A self-avoiding polygon (SAP) on a graph is an elementary cycle. Counting SAPs on the hypercubic lattice ℤ ^d withd≥2, is a well-known unsolved problem, which is studied both for its combinatorial and probabilistic interest and its connections with statistical mechanics. Of course, polygons on ℤ ^d are defined up to a translation, and the relevant statistic is their perimeter. A SAP on ℤ ^d is said to beconvex if its perimeter is “minimal”, that is, is exactly twice the sum of the side lengths of the smallest hyper-rectangle containing it. In 1984, Delest and Viennot enumerated convex SAPs on the square lattice [6], but no result was available in a higher dimension. We present an elementar approach to enumerate convex SAPs in any dimension. We first obtain a new proof of Delest and Viennot's result, which explains combinatorially the form of the generating function. We then compute the generating function for convex SAPs on the cubic lattice. In a dimension larger than 3, the details of the calculations become very cumbersome. However, our method suggests that the generating function for convex SAPs on ℤ ^d is always a quotient ofdifferentiably finite power series.     

On locally solid topological lattice groups

Let (G, τ) be a commutative Hausdorff locally solid lattice group. In this paper we prove the following:

Identities of arithmetic type between values of the theta function associated to a lattice in ℝ d and its derivatives

In this paper, we introduce a notion of similarly self dual lattice in a d-dimensional Euclidean space and a classical Jacobi theta function is associated to such a lattice. We establish identities of arithmetic type between values of this theta function and its successive derivatives. This work can be related to the spectral theory of the Landau operators.      

Cohen-Macaulay types of subgroup lattices of finite abelianp-groups

For a minimal free resolution of a Stanley-Reisner ring constructed from the order complex of a modular lattice. T. Hibi showed that its last Betti number (called the Cohen-Macaulay type) is computed by means of the Möbius function of the given modular lattice. Using this result, we consider the Stanley-Reisner ring of the subgroup lattice of a finite abelianp-group associated with a given partition, and show that its Cohen-Macaulay type is a polynomial inp with integer coefficients.     

Infinite wedge and random partitions

We use representation theory to obtain a number of exact results for random partitions. In particular, we prove a simple determinantal formula for correlation functions of what we call the Schur measure on partitions (which is a far reaching generalization of the Plancherel measure; see [3], [8]) and also observe that these correlations functions are t \tau -functions for the Toda lattice hierarchy. We also give a new proof of the formula due to Bloch and the author [5] for the so-called n-point functions of the uniform measure on partitions and comment on the local structure of a typical partition.     

Multiple sums and integrals as neutral BKP tau functions

We consider multiple sums and multiple integrals as tau functions of the so-called neutral Kadomtsev-Petviashvili hierarchy on a root lattice of type B; neutral fermions, as the simplest tool, are used to derive them. The sums are taken 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_γ. We thus obtain discrete analogues of the beta ensembles (β = 1, 2, 4). Continuous versions are represented as multiple integrals, which are interesting in several problems in mathematics and physics.     

Binomial arithmetical rank of lattice ideals

 In this paper, we will show that a lattice ideal is a complete intersection if and only if its binomial arithmetical rank equals its height, if the characteristic of the base field k is zero. And we will give the condition that a binomial ideal equals a lattice ideal up to radical in the case of char k=0. Further, we will study the upper bound of the binomial arithmetical rank of lattice ideals and give a sharp bound for the lattice ideals of codimension two. Received: 12 June 2001 / Revised version: 22 July 2002     

Hurwitz numbers and products of random matrices

We study multimatrix models, which may be viewed as integrals of products of tau functions depending on the eigenvalues of products of random matrices. We consider tau functions of the two-component Kadomtsev–Petviashvili (KP) hierarchy (semi-infinite relativistic Toda lattice) and of the B-type KP (BKP) hierarchy introduced by Kac and van de Leur. Such integrals are sometimes tau functions themselves. We consider models that generate Hurwitz numbers H^E,F, where E is the Euler characteristic of the base surface and F is the number of branch points. We show that in the case where the integrands contain the product of n > 2 matrices, the integral generates Hurwitz numbers with E ≤ 2 and F ≤ n+2. Both the numbers E and F depend both on n and on the order of the factors in the matrix product. The Euler characteristic E can be either an even or an odd number, i.e., it can match both orientable and nonorientable (Klein) base surfaces depending on the presence of the tau function of the BKP hierarchy in the integrand. We study two cases, the products of complex and the products of unitary matrices.     

The Flagged Double Schur Function

The double Schur function is a natural generalization of the factorial Schur function introduced by Biedenharn and Louck. It also arises as the symmetric double Schubert polynomial corresponding to a class of permutations called Grassmannian permutations introduced by A. Lascoux. We present a lattice path interpretation of the double Schur function based on a flagged determinantal definition, which readily leads to a tableau interpretation similar to the original tableau definition of the factorial Schur function. The main result of this paper is a combinatorial treatment of the flagged double Schur function in terms of the lattice path interpretations of divided difference operators. Finally, we find lattice path representations of formulas for the symplectic and orthogonal characters for sp(2n) and so(2n + 1) based on the tableau representations due to King and El-Shakaway, and Sundaram. Based on the lattice path interpretations, we obtain flagged determinantal formulas for these characters.     

The connected partition lattice of a graph and the reconstruction conjecture

Previously we showed that many invariants of a graph can be computed from its abstract induced subgraph poset, which is the isomorphism class of the induced subgraph poset, suitably weighted by subgraph counting numbers. In this paper, we study the abstract bond lattice of a graph, which is the isomorphism class of the lattice of distinct unlabelled connected partitions of a graph, suitably weighted by subgraph counting numbers. We show that these two abstract posets can be constructed from each other except in a few trivial cases. The constructions rely on certain generalisations of a lemma of Kocay in graph reconstruction theory to abstract induced subgraph posets. As a corollary, trees are reconstructible from their abstract bond lattice. We show that the chromatic symmetric function and the symmetric Tutte polynomial of a graph can be computed from its abstract induced subgraph poset. Stanley has asked if every tree is determined up to isomorphism by its chromatic symmetric function. We prove a counting lemma, and indicate future directions for a study of Stanley's question.     

Integrable Systems and Rank-One Conditions for Rectangular Matrices

We give a determinantal formula for tau functions of the KP hierarchy in terms of rectangular constant matrices A, B, and C satisfying a rank-one condition. This result is shown to generalize and unify many previous results of different authors on constructions of tau functions for differential and difference integrable systems from square matrices satisfying rank-one conditions. In particular, its explicit special cases include Wilson's formula for tau functions of the rational KP solutions in terms of Calogero–Moser Lax matrices and our previous formula for the KP tau functions in terms of almost-intertwining matrices.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.