Approximation of infinite matrices by matricial Haar polynomials

The main goal of this paper is to extend the approximation theorem of contiuous functions by Haar polynomials (see Theorem A) to infinite matrices (see Theorem C). The extension to the matricial framework will be based on the one hand on the remark that periodic functions which belong toL ^∞ (T) may be one-to-one identified with Toeplitz matrices fromB(l ₂) (see Theorem 0) and on the other hand on some notions given in the paper. We mention for instance:ms—a unital commutative subalgebra ofl ^∞,C(l ₂) the matricial analogue of the space of all continuous periodic functionsC(T), the matricial Haar polynomials, etc. In Section 1 we present some results concerning the spacems—a concept important for this generalization, the proof of the main theorem being given in the second section. Partially supported by EUROMMAT ICA1-CT-2000-70022. Partially supported by V-Stabi-RUM/1022123. Partially supported by EUROMMAT ICA1-CT-2000-70022 and V-Stabi-RUM/1022123.     

Tableau complexes

Let X, Y be finite sets and T a set of functions X → Y which we will call “ tableaux”. We define a simplicial complex whose facets, all of the same dimension, correspond to these tableaux. Such tableau complexes have many nice properties, and are frequently homeomorphic to balls, which we prove using vertex decompositions [BP79]. In our motivating example, the facets are labeled by semistandard Young tableaux, and the more general interior faces are labeled by Buch’s set-valued semistandard tableaux. One vertex decomposition of this “Young tableau complex” parallels Lascoux’s transition formula for vexillary double Grothendieck polynomials [La01, La03]. Consequently, we obtain formulae (both old and new) for these polynomials. In particular, we present a common generalization of the formulae of Wachs [Wa85] and Buch [Bu02], each of which implies the classical tableau formula for Schur polynomials.     

Matrix Extension with Symmetry and Applications to Symmetric Orthonormal Complex M-wavelets

Matrix extension with symmetry is to find a unitary square matrix P of 2π-periodic trigonometric polynomials with symmetry such that the first row of P is a given row vector p of 2π-periodic trigonometric polynomials with symmetry satisfying p[`(p)]^T=1\mathbf {p}\overline{\mathbf{p}}^{T}=1 . Matrix extension plays a fundamental role in many areas such as electronic engineering, system sciences, wavelet analysis, and applied mathematics. In this paper, we shall solve matrix extension with symmetry by developing a step-by-step simple algorithm to derive a desired square matrix P from a given row vector p of 2π-periodic trigonometric polynomials with complex coefficients and symmetry. As an application of our algorithm for matrix extension with symmetry, for any dilation factor M, we shall present two families of compactly supported symmetric orthonormal complex M-wavelets with arbitrarily high vanishing moments. Wavelets in the first family have the shortest possible supports with respect to their orders of vanishing moments; their existence relies on the establishment of nonnegativity on the real line of certain associated polynomials. Wavelets in the second family have increasing orders of linear-phase moments and vanishing moments, which are desirable properties in numerical algorithms.     

A generating function for nonstandard orthogonal polynomials involving differences: the Meixner case

In this paper we deal with a family of nonstandard polynomials orthogonal with respect to an inner product involving differences. This type of inner product is the so-called Δ-Sobolev inner product. Concretely, we consider the case in which both measures appearing in the inner product correspond to the Pascal distribution (the orthogonal polynomials associated to this distribution are known as Meixner polynomials). The aim of this work is to obtain a generating function for the Δ-Meixner–Sobolev orthogonal polynomials and, by using a limit process, recover a generating function for Laguerre–Sobolev orthogonal polynomials.     

Carlitz and the general 3φ2

In a letter dated March 3, 1971, L. Carlitz defined a sequence of polynomials, Φ _n (a,b; x, y; z), generalizing the Al-Salam & Carlitz polynomials, but closely related thereto. He concluded the letter by stating: “It would be of interest to find properties of Φ _n (a, b; x, y; z) when all the parameters are free.” In this paper, we reproduce the Carlitz letter and show how a study of Carlitz’s polynomials leads to a clearer understanding of the general ₃Φ₂ (a, b, c; d; e; q, z). Dedicated to my friend, Richard Askey. 2000 Mathematics Subject Classification Primary—33D20. G. E. Andrews: Partially supported by National Science Foundation Grant DMS 0200047.     

Slice regular functions on real alternative algebras

In this paper we develop a theory of slice regular functions on a real alternative algebra A. Our approach is based on a well-known Fueter's construction. Two recent function theories can be included in our general theory: the one of slice regular functions of a quaternionic or octonionic variable and the theory of slice monogenic functions of a Clifford variable. Our approach permits to extend the range of these function theories and to obtain new results. In particular, we get a strong form of the fundamental theorem of algebra for an ample class of polynomials with coefficients in A and we prove a Cauchy integral formula for slice functions of class C¹.     

New Identities for Hall-Littlewood Polynomials and Applications

Starting from Macdonald's summation formula of Hall-Littlewood polynomials over bounded partitions and its even partition analogue, Stembridge (Trans. Amer. Math. Soc., 319(2), (1990) 469–498) derived sixteen multiple q-identities of Rogers–Ramanujan type. Inspired by our recent results on Schur functions (Adv. Appl. Math., 27, (2001) 493–509) and based on computer experiments we obtain two further such summation formulae of Hall-Littlewood polynomials over bounded partitions and derive six new multiple q-identities of Rogers–Ramanujan type. 2000 Mathematics Subject Classification: Primary–05A19; Secondary–05A17, 05A30     

Trajectories of the zeros of hypergeometric polynomials F(−n, b; 2b; z) for b < − 1/2

In a previous paper [2] we studied the zeros of hypergeometric polynomials F(−n, b; 2b; z), where b is a real parameter. Making connections with ultraspherical polynomials, we showed that for b > − 1/2 all zeros of F(−n, b; 2b; z) lie on the circle |z − 1| = 1, while for b < 1 − n all zeros are real and greater than 1. Our purpose now is to describe the trajectories of the zeros as b descends below the critical value − 1/2 to 1 − n. The results have counterparts for ultraspherical polynomials and may be said to “explain” the classical formulas of Hilbert and Klein for the number of zeros of Jacobi polynomials in various intervals of the real axis. These applications and others are discussed in a further paper [3].     

Zero-Sets of Quaternionic and Octonionic Analytic Functions with Central Coefficients

We prove that the zero set of any quaternionic (or octonionic)analytic function f with central (that is, real) coefficientsis the disjoint union of codimension two spheres in R⁴ or R⁸(respectively) and certain purely real points. In particular,for polynomials with real coefficients, the complete root-setis geometrically characterisable from the lay-out of the rootsin the complex plane. The root-set becomes the union of a finitenumber of codimension 2 Euclidean spheres together with a finitenumber of real points. We also find the preimages f^–1for any quaternion (or octonion) A. We demonstrate that this surprising phenomenon of complete spheresbeing part of the solution set is very markedly a special ‘real’phenomenon. For example, the quaternionic or octonionic Nthroots of any non-real quaternion (respectively octonion) turnout to be precisely N distinct points. All this allows us todo some interesting topology for self-maps of spheres.     

Bivariate Fibonacci polynomials of order <Emphasis Type="Italic">k</Emphasis> with statistical applications

In the present article, we investigate the properties of bivariate Fibonacci polynomials of order k in terms of the generating functions. For k and ℓ (1 ≤ ℓ ≤ k − 1), the relationship between the bivariate Fibonacci polynomials of order k and the bivariate Fibonacci polynomials of order ℓ is elucidated. Lucas polynomials of order k are considered. We also reveal the relationship between Lucas polynomials of order k and Lucas polynomials of order ℓ. The present work extends several properties of Fibonacci and Lucas polynomials of order k, which will lead us a new type of geneses of these polynomials. We point out that Fibonacci and Lucas polynomials of order k are closely related to distributions of order k and show that the distributions possess properties analogous to the bivariate Fibonacci and Lucas polynomials of order k.     

Nonexistence of Certain Spherical Designs of Odd Strengths and Cardinalities

A spherical τ -design on S ^n-1 is a finite set such that, for all polynomials f of degree at most τ , the average of f over the set is equal to the average of f over the sphere S ^n-1 . In this paper we obtain some necessary conditions for the existence of designs of odd strengths and cardinalities. This gives nonexistence results in many cases. Asymptotically, we derive a bound which is better than the corresponding estimation ensured by the Delsarte—Goethals—Seidel bound. We consider in detail the strengths τ =3 and τ =5 and obtain further nonexistence results in these cases. When the nonexistence argument does not work, we obtain bounds on the minimum distance of such designs. Received January 30, 1997, and in revised form November 29, 1997.     

Markov—Bernstein-Type Inequality for Trigonometric Polynomials with Respect to Doubling Weights on [-ω,ω]

   Abstract. Various important, weighted polynomial inequalities, such as Bernstein, Marcinkiewicz, Nikolskii, Schur, Remez, etc., have been proved recently by Giuseppe Mastroianni and Vilmos Totik under minimal assumptions on the weights. In most cases this minimal assumption is the doubling condition. Here, based on a recently proved Bernstein-type inequality by D. S. Lubinsky, we establish Markov—Bernstein-type inequalities for trigonometric polynomials with respect to doubling weights on [-ω,ω] . Namely, we show the theorem below. Theorem Let p ∈ [1,∞) and ω ∈ (0, 1/2] . Suppose W is a weight function on [-ω,ω] such that W(ω cos t) is a doubling weight. Then there is a constant C depending only on p and the doubling constant L so that

Sur la reéduction modulo p des polynoômes absolument irreéductibles

 On the reduction modulo p of absolutely irreducible polynomials. Let K be a number field and F(X,Y) be an absolutely irreducible polynomial of K[X,Y]. In this note, using an effective version of Riemann-Roch theorem and a version of the implicit functions theorem, we calculate a positive number A such that if ℘ is prime ideal of the ring of integers of K with norm , then the reduction of F(X,Y) modulo ℘ is an absolutely irreducible polynomial. (Réu le 1 Février 1999; en forme finale 21 Septembre 1999)     

Two Kinds of Numbers and Their Applications

C. Radoux （J. Comput. Appl. Math., 115 （2000） 471-477） obtained a computational formula of Hankel determinants on some classical combinatorial sequences such as Catalan numbers and polynomials, Bell polynomials, Hermite polynomials, Derangement polynomials etc. From a pair of matrices this paper introduces two kinds of numbers. Using the first kind of numbers we give a unified treatment of Hankel determinants on those sequences, i.e., to consider a general representation of Hankel matrices on the first kind of numbers. It is interesting that the Hankel determinant of the first kind of numbers has a close relation that of the second kind of numbers.     

Laplacian Operators and Radon Transforms on Grassmann Graphs

Let Ω be a vector space over a finite field with q elements. Let G denote the general linear group of automorphisms of Ω and let us consider the left regular representation associated with the natural action of G on the set X of linear subspaces of Ω. In this paper we study a natural basis B of the algebra End_G(L ₂(X)) of intertwining maps on L ₂(X). By using a Laplacian operator on Grassmann graphs, we identify the kernels in B as solutions of a basic hypergeometric difference equation. This provides two expressions for these kernels. One in terms of the q-Hahn polynomials and the other by means of a Rodrigues type formula. Finally, we obtain a useful product formula for the mappings in B. We give two different proofs. One uses the theory of classical hypergeometric polynomials and the other is supported by a characterization of spherical functions in finite symmetric spaces. Both proofs require the use of certain associated Radon transforms.     

The Moment Problem Associated with the q -Laguerre Polynomials

   Abstract. We consider the indeterminate Stieltjes moment problem associated with the q -Laguerre polynomials. A transformation of the set of solutions, which has all the classical solutions as fixed points, is established and we present a method to construct, for instance, continuous singular solutions. The connection with the moment problem associated with the Stieltjes—Wigert polynomials is studied; we show how to come from q -Laguerre solutions to Stieltjes—Wigert solutions by letting the parameter α —> ∞ , and we explain how to lift a Stieltjes—Wigert solution to a q -Laguerre solution at the level of Pick functions. Based on two generating functions, expressions for the four entire functions from the Nevanlinna parametrization are obtained.     

Metabelian representations, twisted Alexander polynomials, knot slicing, and mutation

Given a knot complement X and its p-fold cyclic cover X _p → X, we identify twisted polynomials associated to GL₁(F[t^±1]){GL_1\left({\bf F}[t^{\pm 1}]\right)} representations of π ₁(X _p ) with twisted polynomials associated to related GL_p(F[t^±1]){GL_p\left({\bf F}[t^{\pm 1}]\right)} representations of π ₁(X) which factor through metabelian representations. This provides a simpler and faster algorithm to compute these polynomials, allowing us to prove that 16 (of 18 previously unknown) algebraically slice knots of 12 or fewer crossings are not slice. We also use this improved algorithm to prove that the 24 mutants of the pretzel knot P(3, 7, 9, 11, 15), corresponding to permutations of (7, 9, 11, 15), represent distinct concordance classes.     

Eigenvalue problems to compute almost optimal points for rational interpolation with prescribed poles

Explicit formulas exist for the (n,m) rational function with monic numerator and prescribed poles that has the smallest possible Chebyshev norm. In this paper we derive two different eigenvalue problems to obtain the zeros of this extremal function. The first one is an ordinary tridiagonal eigenvalue problem based on a representation in terms of Chebyshev polynomials. The second is a generalised tridiagonal eigenvalue problem which we derive using a connection with orthogonal rational functions. In the polynomial case (m = 0) both problems reduce to the tridiagonal eigenvalue problem associated with the Chebyshev polynomials of the first kind. Postdoctoral researcher FWO-Flanders.     

Differential operators associated with zonal polynomials. I

Summary Associated with each zonal polynomial,C _k(S), of a symmetric matrixS, we define a differential operator ∂_k, having the basic property that ∂_kC_λδ_kλ, δ being Kronecker's delta, whenever κ and λ are partitions of the non-negative integerk. Using these operators, we solve the problems of determining the coefficients in the expansion of (i) the product of two zonal polynomials as a series of zonal polynomials, and (ii) the zonal polynomial of the direct sum,S⊕T, of two symmetric matricesS andT, in terms of the zonal polynomials ofS andT. We also consider the problem of expanding an arbitrary homogeneous symmetric polynomial,P(S) in a series of zonal polynomials. Further, these operators are used to derive identities expressing the doubly generalised binomial coefficients ( _P ^λ ),P(S) being a monomial in the power sums of the latent roots ofS, in terms of the coefficients of the zonal polynomials, and from these, various results are obtained.