The Quantum Cohomology Ring of Flag Varieties

We describe the small quantum cohomology ring of complete flag varieties by algebro-geometric methods, as presented in our previous work Quantum cohomology of flag varieties (Internat. Math. Res. Notices, no. 6 (1995), 263-277). We also give a geometric proof of the quantum Monk formula.

     

Ratio asymptotics for orthogonal rational functions on an interval

Let {α₁,α₂,…} be a sequence of real numbers outside the interval [−1,1] and μ a positive bounded Borel measure on this interval satisfying the Erd s–Turán condition μ′>0 a.e., where μ′ is the Radon–Nikodym derivative of the measure μ with respect to the Lebesgue measure. We introduce rational functions _n(x) with poles {α₁,…,α_n} orthogonal on [−1,1] and establish some ratio asymptotics for these orthogonal rational functions, i.e. we discuss the convergence of _n+1(x)/_n(x) as n tends to infinity under certain assumptions on the location of the poles. From this we derive asymptotic formulas for the recurrence coefficients in the three-term recurrence relation satisfied by the orthonormal functions.     

Products of Toeplitz Operators on a Vector Valued Bergman Space

We give a necessary and a sufficient condition for the boundedness of the Toeplitz product T _F T _G* on the vector valued Bergman space L_a²(\mathbbCⁿ){L_a^2(\mathbb{C}^n)}, where F and G are matrix symbols with scalar valued Bergman space entries. The results generalize those in the scalar valued Bergman space case [13]. We also characterize boundedness and invertibility of Toeplitz products T _F T _G* in terms of the Berezin transform, generalizing results found by Zheng and Stroethoff for the scalar valued Bergman space [17].     

Orthogonal polynomials and analytic functions associated to positive definite matrices

For a positive definite infinite matrix A, we study the relationship between its associated sequence of orthonormal polynomials and the asymptotic behaviour of the smallest eigenvalue of its truncation An of size n×n. For the particular case of A being a Hankel or a Hankel block matrix, our results lead to a characterization of positive measures with finite index of determinacy and of completely indeterminate matrix moment problems, respectively.     

Orthogonal polynomials and Gaussian quadrature for refinable weight functions

We show how to compute the modified moments of a refinable weight function directly from its mask in O(N²n) rational operations, where N is the desired number of moments and n the length of the mask. Three immediate applications of such moments are:

• the expansion of a refinable weight function as a Legendre series;

• the generation of the polynomials orthogonal with respect to a refinable weight function;

• the calculation of Gaussian quadrature formulas for refinable weight functions.

In the first two cases, all operations are rational and can in principle be performed exactly.

Orthogonal Laurent polynomials on the unit circle and snake-shaped matrix factorizations

Let there be given a probability measure μ on the unit circle of the complex plane and consider the inner product induced by μ. In this paper we consider the problem of orthogonalizing a sequence of monomials {z^r_k}_k, for a certain order of the , by means of the Gram–Schmidt orthogonalization process. This leads to a sequence of orthonormal Laurent polynomials {ψ_k}_k. We show that the matrix representation with respect to {ψ_k}_k of the operator of multiplication by z is an infinite unitary or isometric matrix allowing a ‘snake-shaped’ matrix factorization. Here the ‘snake shape’ of the factorization is to be understood in terms of its graphical representation via sequences of little line segments, following an earlier work of S. Delvaux and M. Van Barel. We show that the shape of the snake is determined by the order in which the monomials {z^r_k}_k are orthogonalized, while the ‘segments’ of the snake are canonically determined in terms of the Schur parameters for μ. Isometric Hessenberg matrices and unitary five-diagonal matrices (CMV matrices) follow as a special case of the presented formalism.     

Small eigenvalues of large Hermitian moment matrices

We consider an infinite Hermitian positive definite matrix M which is the moment matrix associated with a measure μ with infinite and compact support on the complex plane. We prove that if the polynomials are dense in L²(μ) then the smallest eigenvalue λn of the truncated matrix Mn of M of size (n+1)×(n+1) tends to zero when n tends to infinity. In the case of measures in the closed unit disk we obtain some related results.     

On weighted Lebesgue function type sums

Let I be a finite or infinite interval and dμ a measure on I. Assume that the weight function w(x)>0, w^′(x) exists, and the function w^′(x)/w(x) is non-increasing on I. Denote by ℓ_k's the fundamental polynomials of Lagrange interpolation on a set of nodes x₁<x₂<<x_n in I. The weighted Lebesgue function type sum for 1≤i<j≤n and s≥1 is defined by

In this paper the exact lower bounds of S_n(x) on a “big set” of I and are obtained. Some applications are also given.     

Algebraic K-theory of groups wreath product with finite groups

The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example, for discrete subgroups of Lie groups [F.T. Farrell, L.E. Jones, Isomorphism conjectures in algebraic K-theory, J. Amer. Math. Soc. 6 (1993) 249-297], virtually poly-infinite cyclic groups [F.T. Farrell, L.E. Jones, Isomorphism conjectures in algebraic K-theory, J. Amer. Math. Soc. 6 (1993) 249-297], Artin braid groups [F.T. Farrell, S.K. Roushon, The Whitehead groups of braid groups vanish, Internat. Math. Res. Notices 10 (2000) 515-526], a class of virtually poly-surface groups [S.K. Roushon, The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups, math.KT/0408243, K-Theory, in press] and virtually solvable linear group [F.T. Farrell, P.A. Linnell, K-Theory of solvable groups, Proc. London Math. Soc. (3) 87 (2003) 309-336]. We extend these results in the sense that if G is a group from the above classes then we prove the conjecture for the wreath product G?H for H a finite group. The need for this kind of extension is already evident in [F.T. Farrell, S.K. Roushon, The Whitehead groups of braid groups vanish, Internat. Math. Res. Notices 10 (2000) 515-526; S.K. Roushon, The Farrell-Jones isomorphism conjecture for 3-manifold groups, math.KT/0405211, K-Theory, in press; S.K. Roushon, The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups, math.KT/0408243, K-Theory, in press]. We also prove the conjecture for some other classes of groups.     

The limiting case of Haglund's (q,t)-Schröder theorem and an involution formula

As a generalization of Haglund's statistic on Dyck paths [Conjectured statistics for the q,t-Catalan numbers, Adv. Math. 175 (2) (2003) 319–334; A positivity result in the theory of Macdonald polynomials, Proc. Nat. Acad. Sci. 98 (2001) 4313–4316], Egge et al. introduced the (q,t)-Schröder polynomial S_n,d(q,t), which evaluates to the Schröder number when q=t=1 [A Schröder generalization of Haglund's statistic on Catalan paths, Electron. J. Combin. 10 (2003) 21pp (Research Paper 16, electronic)]. In their paper, S_n,d(q,t) was conjectured to be equal to the coefficient of a hook shape on the Schur function expansion of the symmetric function e_n, which Haiman [Vanishing theorems and character formulas for the Hilbert scheme of points in the plane, Invent. Math. 149 (2002) 371–407] has shown to have a representation-theoretic interpretation. This conjecture was recently proved by Haglund [A proof of the q,t-Schröder conjecture, Internat. Math. Res. Not. (11) (2004) 525–560]. However, because that proof makes heavy use of symmetric function identities and plethystic machinery, the combinatorics behind it is not understood. Therefore, it is worthwhile to study it combinatorially. This paper investigates the limiting case of the (q,t)-Schröder Theorem and obtains interesting results by looking at some special cases.     

Asymptotic analysis of the Krawtchouk polynomials by the WKB method

We analyze the Krawtchouk polynomials K _n (x,N,p,q) asymptotically. We use singular perturbation methods to analyze them for N→∞, with appropriate scalings of the two variables x and n. In particular, the WKB method and asymptotic matching are used. We obtain asymptotic approximations valid in the whole domain [0,N]×[0,N], involving some special functions. We give numerical examples showing the accuracy of our formulas.      

Stochastic games on a product state space: the periodic case

We examine so-called product-games. These are n-player stochastic games played on a product state space S ¹ × ... × S ⁿ , in which player i controls the transitions on S ⁱ . For the general n-player case, we establish the existence of 0-equilibria. In addition, for the case of two-player zero-sum games of this type, we show that both players have stationary 0-optimal strategies. In the analysis of product-games, interestingly, a central role is played by the periodic features of the transition structure. Flesch et al. (Math Oper Res 33, 403–420, 2008) showed the existence of 0-equilibria under the assumption that, for every player i, the transition structure on S ⁱ is aperiodic. In this article, we examine product-games with periodic transition structures. Even though a large part of the approach in Flesch et al. (Math Oper Res 33, 403–420, 2008) remains applicable, we encounter a number of tricky problems that we have to address. We provide illustrative examples to clarify the essence of the difference between the aperiodic and periodic cases.     

Quadrature formulae connected to σ-orthogonal polynomials

Let dλ(t) be a given nonnegative measure on the real line , with compact or infinite support, for which all moments exist and are finite, and μ₀>0. Quadrature formulas of Chakalov–Popoviciu type with multiple nodes

where σ=σ_n=(s₁,s₂,…,s_n) is a given sequence of nonnegative integers, are considered. A such quadrature formula has maximum degree of exactness d_max=2∑_ν=1ⁿs_ν+2n−1 if and only if

The proof of the uniqueness of the extremal nodes τ₁,τ₂,…,τ_n was given first by Ghizzetti and Ossicini (Rend. Mat. 6(8) (1975) 1–15). Here, an alternative simple proof of the existence and the uniqueness of such quadrature formulas is presented. In a study of the error term R(f), an influence function is introduced, its relevant properties are investigated, and in certain classes of functions the error estimate is given. A numerically stable iterative procedure, with quadratic convergence, for determining the nodes τ_ν, ν=1,2,…,n, which are the zeros of the corresponding σ-orthogonal polynomial, is presented. Finally, in order to show a numerical efficiency of the proposed procedure, a few numerical examples are included.     

Comment on “Condition number of W-weighted Drazin inverse and their condition numbers of singular linear systems”

In this paper, we establish the explicit condition number formulas for the W-weighted Drazin inverse of a singular matrix A, where A∈? ^m×n , W∈? ^n×m , ?((AW) ^k )=?((AW) ^{k *}), ?((WA) ^k )=?((WA) ^{k *}), and k=max{index(AW), index(WA)}, by the Schur decomposition of A and W. The sensitivity for the W-weighted Drazin-inverse solution of singular systems is also discussed. Based on this form of Schur decomposition, the explicit condition number formulas for the W-weighted Drazin inverse are given by the spectral norm and Frobenius norm instead of the ‖?‖ _P,W -norm, where P is a transformation matrix of the Jordan canonical form of AW, thereby improving the earlier work of Lei et al. (Appl. Math. Comput. 165:185–194, [2005]) and Wang et al. (Appl. Math. Comput. 162:434–446, [2005]).     

Matrix differential equations and scalar polynomials satisfying higher order recursions

We show that any scalar differential operator with a family of polynomials as its common eigenfunctions leads canonically to a matrix differential operator with the same property. The construction of the corresponding family of matrix valued polynomials has been studied in [A. Durán, A generalization of Favard's theorem for polynomials satisfying a recurrence relation, J. Approx. Theory 74 (1993) 83-109; A. Durán, On orthogonal polynomials with respect to a positive definite matrix of measures, Canad. J. Math. 47 (1995) 88-112; A. Durán, W. van Assche, Orthogonal matrix polynomials and higher order recurrence relations, Linear Algebra Appl. 219 (1995) 261-280] but the existence of a differential operator having them as common eigenfunctions had not been considered. This correspondence goes only one way and most matrix valued situations do not arise in this fashion. We illustrate this general construction with a few examples. In the case of some families of scalar valued polynomials introduced in [F.A. Grünbaum, L. Haine, Bispectral Darboux transformations: An extension of the Krall polynomials, Int. Math. Res. Not. 8 (1997) 359-392] we take a first look at the algebra of all matrix differential operators that share these common eigenfunctions and uncover a number of phenomena that are new to the matrix valued case.     

A miraculously commuting family of orthogonal matrix polynomials satisfying second order differential equations

We find structural formulas for a family (P_n)_n of matrix polynomials of arbitrary size orthogonal with respect to the weight matrix e^−t2e^Ate^A∗t, where A is certain nilpotent matrix. It turns out that this family is a paradigmatic example of the many new phenomena that show the big differences between scalar and matrix orthogonality. Surprisingly, the polynomials P_n, n≥0, form a commuting family. This commuting property is a genuine and miraculous matrix setting because, in general, the coefficients of P_n do not commute with those of P_m, n≠m.     

Matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas

The properties of matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas are analyzed. A general representation of these polynomials is found in terms of products of simple differential operators. The recurrence relations, leading coefficients, completeness are established, as well as, in the commutative case, the second order equations for which these polynomials are eigenfunctions and the corresponding eigenvalues, and ladder operators.A new, direct proof is given to the conjecture of Durán and Grünbaum that if the weights are self-adjoint and positive semidefinite then they are necessarily of scalar type.Commutative classes of orthogonal polynomials (corresponding to weights that are self-adjoint but not positive semidefinite) are found, which satisfy all the properties usually associated to orthogonal polynomials, and are not of scalar type.     

Generating orthogonal matrix polynomials satisfying second order differential equations from a trio of triangular matrices

The method developed in [A.J. Durán, F.A. Grünbaum, Orthogonal matrix polynomials satisfying second order differential equations, Int. Math. Res. Not. 10 (2004) 461–484] led us to consider matrix polynomials that are orthogonal with respect to weight matrices W(t) of the form , , and (1−t)^α(1+t)^βT(t)T^*(t), with T satisfying T^′=(2Bt+A)T, T(0)=I, T^′=(A+B/t)T, T(1)=I, and T^′(t)=(−A/(1−t)+B/(1+t))T, T(0)=I, respectively. Here A and B are in general two non-commuting matrices. We are interested in sequences of orthogonal polynomials (P_n)_n which also satisfy a second order differential equation with differential coefficients that are matrix polynomials F₂, F₁ and F₀ (independent of n) of degrees not bigger than 2, 1 and 0 respectively. To proceed further and find situations where these second order differential equations hold, we only dealt with the case when one of the matrices A or B vanishes.The purpose of this paper is to show a method which allows us to deal with the case when A, B and F₀ are simultaneously triangularizable (but without making any commutativity assumption).     

Large sieve inequalities for -forms in the conductor aspect

Duke and Kowalski in [A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)] derive a large sieve inequality for automorphic forms on GL(n) via the Rankin–Selberg method. We give here a partial complement to this result: using some explicit geometry of fundamental regions, we prove a large sieve inequality yielding sharp results in a region distinct to that in [Duke and Kowalski, A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)]. As an application, we give a generalization to GL(n) of Duke's multiplicity theorem from [Duke, The dimension of the space of cusp forms of weight one, Internat. Math. Res. Notices (2) (1995) 99–109 (electronic)]; we also establish basic estimates on Fourier coefficients of GL(n) forms by computing the ramified factors for GL(n)×GL(n) Rankin–Selberg integrals.     

Some examples of orthogonal matrix polynomials satisfying odd order differential equations

It is well known that if a finite order linear differential operator with polynomial coefficients has as eigenfunctions a sequence of orthogonal polynomials with respect to a positive measure (with support in the real line), then its order has to be even. This property no longer holds in the case of orthogonal matrix polynomials. The aim of this paper is to present examples of weight matrices such that the corresponding sequences of matrix orthogonal polynomials are eigenfunctions of certain linear differential operators of odd order. The weight matrices are of the form

W(t)=t^αe^-te^Att^Bt^B*e^A*t,