Block Toeplitz determinants, constrained KP and Gelfand-Dickey hierarchies

We propose a method for computing any Gelfand-Dickey tau function living in Segal-Wilson Grassmannian as the asymptotics of block Toeplitz determinant associated to a certain class of symbols. Also truncated block Toeplitz determinants associated to the same symbols are shown to be tau function for rational reductions of KP. Connection with Riemann-Hilbert problems is investigated both from the point of view of integrable systems and block Toeplitz operator theory. Examples of applications to algebro-geometric solutions are given.Comment: 35 pages. Typos corrected, some changes in the introductio

The low-energy limit of AdS(3)/CFT2 and its TBA

We investigate low-energy string excitations in AdS3 × S3 × T4. When the worldsheet is decompactified, the theory has gapless modes whose spectrum at low energies is determined by massless relativistic integrable S matrices of the type introduced by Al. B. Zamolodchikov. The S matrices are non-trivial only for excitations with identical worldsheet chirality, indicating that the low-energy theory is a CFT2. We construct a Thermodynamic Bethe Ansatz (TBA) for these excitations and show how the massless modes’ wrapping effects may be incorporated into the AdS3 spectral problem. Using the TBA and its associated Y-system, we determine the central charge of the low-energy CFT2 to be c = 6 from calculating the vacuum energy for antiperiodic fermions — with the vacuum energy being zero for periodic fermions in agreement with a supersymmetric theory — and find the energies of some excited states

Painleve I, Coverings of the Sphere and Belyi Functions

The theory of poles of solutions of Painleve-I is equivalent to the Nevanlinna problem of constructing a meromorphic function ramified over five points - counting multiplicities - and without critical points. We construct such meromorphic functions as limit of rational ones. In the case of the tritronquee solution these rational functions are Belyi functions.Comment: 33 pages, many figures. Version 2: minor corrections and minor changes in the bibliograph

AdS3/CFT2, finite-gap equations and massless modes

It is known that string theory on AdS 3 × M 7 backgrounds, where M 7 = S 3 × S 3 × S 1 or S 3 × T 4, is classically integrable. This integrability has been previously used to write down a set of integral equations, known as the finite-gap equations. These equations can be solved for the closed string spectrum of the theory. However, it has been known for some time that the finite-gap equations on these AdS 3 × M 7 backgrounds do not capture the dynamics of the massless modes of the closed string theory. In this paper we re-examine the derivation of the AdS 3 × M 7 finite-gap system. We find that the conditions that had previously been imposed on these integral equations in order to implement the Virasoro constraints are too strict, and are in fact not required. We identify the correct implementation of the Virasoro constraints on finite-gap equations and show that this new, less restrictive condition captures the complete closed string spectrum on AdS 3 × M 7

Three steps on an open road

This note describes three recent factorizations of banded invertible infinite matrices: 1. If A has a banded inverse: A = BC with block--diagonal factors B and C. 2. Permutations factor into a shift times N<2w tridiagonal permutations. 3. A = LPU with lower triangular L, permutation P, upper triangular U. We include examples and references and outlines of proofs.National Science Foundation (U.S.) (Grant 1023152

Exploring the spectra of some classes of singular integral operators with symbolic computation

Spectral theory has many applications in several main scientific research areas (structural mechanics, aeronautics, quantum mechanics, ecology, probability theory, electrical engineering, among others) and the importance of its study is globally acknowledged. In recent years, several software applications were made available to the general public with extensive capabilities of symbolic computation. These applications, known as computer algebra systems (CAS), allow to delegate to a computer all, or a significant part, of the symbolic calculations present in many mathematical algorithms. In our work we use the CAS Mathematica to implement for the first time on a computer analytical algorithms developed by us and others within the Operator Theory. The main goal of this paper is to show how the symbolic computation capabilities of Mathematica allow us to explore the spectra of several classes of singular integral operators. For the one-dimensional case, nontrivial rational examples, computed with the automated process called [ASpecPaired-Scalar], are presented. For the matrix case, nontrivial essentially bounded and rational examples, computed with the analytical algorithms [AFact], [SInt], and [ASpecPaired-Matrix], are presented. In both cases, it is possible to check, for each considered paired singular integral operator, if a complex number (chosen arbitrarily) belongs to its spectrum