Bailey type summation formulas associated with the root system $G_{2}^{\vee}$

We present three types of summation formulas for the root system G₂^úG_{2}^{\vee}, which are generalized from Bailey’s summation formula for a very-well-poised balanced ₆ ψ ₆ basic hypergeometric series.     

More Semi-Finite Forms of Bilateral Basic Hypergeometric Series

We prove some new semi-finite forms of bilateral basic hypergeometric series. One of them yields in a direct limit Bailey’s celebrated _6ψ6 summation formula, answering a question recently raised by Chen and Fu. Received November 17, 2005     

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

<Emphasis Type="Italic">q</Emphasis>-extensions of Dougall’s bilateral <Subscript>2</Subscript>H<Subscript>2</Subscript>-series

Transformations for a bilateral ₂ ψ ₂-series are investigated by means of Abel’s lemma on summation by parts. Two q-extensions of Dougall’s classical identity for bilateral ₂H₂-sum are established. As by-products, the Rogers–Fine identity is recovered and a new proof is presented for Bailey’s identity of bilateral well-poised ₆ ψ ₆-series.     

The Saalschütz chain reactions and bilateral basic hypergeometric series

By iterating recursively the q-Saalschütz summation formula, we introduce the Saalschütz chain reactions. A general series transform, which expresses a nonterminating bilateral series in terms of a finite multiple unilateral sum, will be established. As applications we derive, by means of Bailey’s 6ψ6 -series identity, several bilateral transformations including one due to Milne [12]. These transformations further yield a number of closed formulas of very well-poised bilateral basic hypergeometric series; which are closely related to the identities obtained by Minton [13], Karlsson [11], Gasper [8], and Chu [5], [6], [7] through the partial fraction method and divided differences.     

A Multidimensional Generalization of Shukla's 8ψ8 Summation

   Abstract. We give an r -dimensional generalization of H. S. Shukla's very-well-poised ₈ ψ ₈ summation formula. We work in the setting of multiple basic hypergeometric series very-well-poised over the root system A _r-1 or, equivalently, the unitary group U(r) . Our proof, which is already new in the one-dimensional case, utilizes an A _r-1 nonterminating very-well-poised ₆ φ ₅ summation by S. C. Milne, a partial fraction decomposition, and analytic continuation.     

Dn Basic Hypergeometric Series

We study multiple series extensions of basic hypergeometric series related to the root system D_n. We make a small change in the notation used for C_n and D_n series to bring them closer to A_n series. This allows us to combine the three types of series, and get D_n extensions of the following classical summation and transformation theorems: The q-Pfaff-Saalschütz summation, Rogers' _{6 5} sum, the q-Gauss summation, q-Chu-Vandermonde summations, Watson's q-analogue of Whipple's transformation, and the q-Dougall summation theorem. We also define A_n and C_n extensions of the Rogers-Selberg function, and prove a reduction formula for both of them. This generalizes some work of Andrews. We use some techniques originally developed to study multiple basic hypergeometric series related to the root system A_n (U(n + 1) basic hypergeometric series).     

New multiple <Subscript>6</Subscript><Emphasis Type="Italic">ψ</Emphasis><Subscript>6</Subscript> summation formulas and related conjectures

Three new summation formulas for ₆ ψ ₆ bilateral basic hypergeometric series attached to root systems are presented. Remarkably, two of these formulae, labelled by the A_2n−1 and A_2n root systems, can be reduced to multiple ₆ φ ₅ sums generalising the well-known van Diejen sum. This latter sum serves as the weight-function normalisation for the BC _n q-Racah polynomials of van Diejen and Stokman. Two ₈ φ ₇-level extensions of the multiple ₆ φ ₅ sums, as well as their elliptic analogues, are conjectured. This opens up the prospect of constructing novel A-type extensions of the Koornwinder–Macdonald theory.     

TheC ℓ Bailey transform and Bailey lemma

TheC _? nonterminating C_? summation theorem is derived by appropriately specializing Gustafson's₆ψ₆ summation theorem for bilateral basic hypergeometric series very well-poised on symplecticC _? groups. From this, the terminating₆?₅ and, hence, terminating₄?₃ summation theorem is obtained. A suitably modified₄?₃ is then used to derive theC _? generalization of the Bailey transform. The transform is then interpreted as a matrix inversion result for two infinite, lower-triangular matrices. This result is used to motivate the definition of theC _? Bailey pair. TheC _? generalization of Bailey's lemma is then proved. This result is inverted, and the concept of the bilateral Bailey chain is discussed. TheC _? Bailey lemma is then used to obtain a connection coefficient result for generalC _? littleq-Jacobi polynomials. All of this work is a natural extension of the unitaryA _?, or equivalentlyU(?+1), case. The classical case, corresponding toA ₁ or equivalentlyU(2), contains an immense amount of the theory and application of one-variable basic hypergeometric series, including elegant proofs of the Rogers-Ramanujan-Schur identities. TheC _? nonterminating₆?₅ summation theorem is also used to recover C. Krattenthaler's multivariable summation which he utilized in deriving his refinement of the Bender-Knuth and MacMahon generating functions for certain sets of plane partitions.     

A reciprocity theorem for certain q-series found in Ramanujan’s lost notebook

Three proofs are given for a reciprocity theorem for a certain q-series found in Ramanujan’s lost notebook. The first proof uses Ramanujan’s ₁ψ₁ summation theorem, the second employs an identity of N. J. Fine, and the third is combinatorial. Next, we show that the reciprocity theorem leads to a two variable generalization of the quintuple product identity. The paper concludes with an application to sums of three squares. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—33D15 B. C. Berndt: Research partially supported by grant MDA904-00-1-0015 from the National Security Agency. A. J. Yee: Research partially supported by a grant from The Number Theory Foundation.     

A Brauer’s theorem and related results

Given a square matrix A, a Brauer’s theorem [Brauer A., Limits for the characteristic roots of a matrix. IV. Applications to stochastic matrices, Duke Math. J., 1952, 19(1), 75–91] shows how to modify one single eigenvalue of A via a rank-one perturbation without changing any of the remaining eigenvalues. Older and newer results can be considered in the framework of the above theorem. In this paper, we present its application to stabilization of control systems, including the case when the system is noncontrollable. Other applications presented are related to the Jordan form of A and Wielandt’s and Hotelling’s deflations. An extension of the aforementioned Brauer’s result, Rado’s theorem, shows how to modify r eigenvalues of A at the same time via a rank-r perturbation without changing any of the remaining eigenvalues. The same results considered by blocks can be put into the block version framework of the above theorem.     

Elementary derivations of identities for bilateral basic hypergeometric series

We give elementary derivations of several classical and some new summation and transformation formulae for bilateral basic hypergeometric series. For motivation, we review our previous simple proof (Proc. Amer. Math. Soc. 130 (2002), 1103-1111) of Bailey's very-well-poised ₆y₆_6\psi_6 summation. Using a similar but different method, we now give elementary derivations of some transformations for bilateral basic hypergeometric series. In particular, these include M. Jackson's very-well-poised ₈y₈_8\psi_8 transformation, a very-well-poised ₁₀y₁₀_{10}\psi_{10} transformation, by induction, Slater's general transformation for very-well-poised _2ry_2r_{2r}\psi_{2r} series, and Slater's transformation for general _ry_r_{r}\psi_{r} series. Finally, we derive some new transformations for bilateral basic hypergeometric series of a specific type.     

Criteria for analyticity of subordinate semigroups

Let ψ be a Bernstein function. A. Carasso and T. Kato obtained necessary and sufficient conditions for ψ to have the property that ψ(A) generates a quasibounded holomorphic semigroup for every generator A of a bounded C ₀-semigroup in a Banach space, in terms of some convolution semigroup of measures associated with ψ. We give an alternative to Carasso-Kato’s criterion, and derive several sufficient conditions for ψ to have the above-mentioned property. The author was supported in part by the State Program of Fundamental Research of Republic of Belarus under the contract number 20061473.     

On the discounted global CLT for some weakly dependent random variables

In this paper, we consider L ₁ upper bounds in the global central limit theorem for the sequence of r.v.’s (not necessarily stationary) satisfying the ψ-mixing condition. In a particular case, under the finiteness of the third absolute moments of summands A _i and that of the series ∑ _r⩾1 r ² φ(r), we obtain bounds of order O(n ^−1/2) for Δ _n1:= ∫ _−∞ ^∞ |ℙ{A ₁ + ⋯ + A _n < x} − Φ(x)|dx, where is the standard normal distribution function, and ψ is the function participating in the definition of the ψ-mixing condition. Moreover, we apply the obtained results to get the convergence rate in the so-called discounted global CLT for a sequence of r.v.’s, satisfying the ψ-mixing condition. The bounds obtained provide convergence rates in the discounted global CLT of the same order as in the case of i.i.d. summands with a finite third absolute moment, i.e., of order O((1 − υ)^1/2), where υ is a discount factor, 0 < υ < 1. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 4, pp. 584–597, October–December, 2006.     

r-entropy,equipartition, and Ornstein’s isomorphism theorem inR n

A new approach is given to the entropy of a probability-preserving group action (in the context ofZ and ofR _n ), by defining an approximate “r-entropy”, 0<r<1, and lettingr → 0. If the usual entropy may be described as the growth rate of the number of essential names, then ther-entropy is the growth rate of the number of essential “groups of names” of width≦r, in an appropriate sense. The approach is especially useful for actions of continuous groups. We apply these techniques to state and prove a “second order” equipartition theorem forZ _m ×R _n and to give a “natural” proof of Ornstein’s isomorphism theorem for Bernoulli actions ofZ _m ×R _n , as well as a characterization of such actions which seems to be the appropriate generalization of “finitely determined”.     

Oriented matroids and Ky Fan’s theorem

L. Lovász (Matroids and Sperner’s Lemma, Europ. J. Comb. 1 (1980), 65–66) has shown that Sperner’s combinatorial lemma admits a generalization involving a matroid defined on the set of vertices of the associated triangulation. We prove that Ky Fan’s theorem admits an oriented matroid generalization of similar nature. Classical Ky Fan’s theorem is obtained as a corollary if the underlying oriented matroid is chosen to be the alternating matroid C ^m,r .     

The Algorithm Z and Ramanujan’s <Subscript>1</Subscript><Emphasis Type="Italic">ψ</Emphasis><Subscript>1</Subscript> summation

We use the Algorithm Z on partitions due to Zeilberger, in a variant form, to give a combinatorial proof of Ramanujan’s ₁ ψ ₁ summation formula.     

Operator algebras and a theorem of Dieudonne

LetA be aC*-algebra with second dualA″. Let (φ _n)(n=1,...) be a sequence in the dual ofA such that limφ _n(a) exists for eacha εA. In general, this does not imply that limφ _n(x) exists for eachx εA″. But if limφ _n(p) exists whenever p is the range projection of a positive self-adjoint element of the unit ball ofA, then it is shown that limφ _n(x) does exist for eachx inA″. This is a non-commutative generalisation of a celebrated theorem of Dieudonné. A new proof of Dieudonné’s theorem, for positive measures, is given here. The proof of the main result makes use of Dieudonné’s original theorem.     

A Characterization and the Intersection of the Maximal Compatible Extensions of a Partial Order

We present a characterization of the maximal compatible extensions of a given compatible partial order ≤  _r on a unary algebra (A,f ). These extensions can be constructed by using the compatible linear extensions of ≤  _r*, where (A*,f*) is the so called contracted quotient algebra of (A,f) and the compatible partial order ≤  _r* on (A*,f*) is naturally induced by ≤  _r . Using this characterization, we determine the intersection of the maximal compatible extensions of ≤  _r .      

C n and D n Very-Well-Poised 10 φ 9 Transformations

In this paper we derive multivariable generalizations of Bailey's classical terminating balanced very-well-poised _{10 9} transformation. We work in the setting of multiple basic hypergeometric series very-well-poised on the root systems A _n , C _n , and D _n . Following the distillation of Bailey's ideas by Gasper and Rahman [11], we use a suitable interchange of multisums. We obtain C _n and D _{n 10 9} transformations combined with A _n , C _n , and D _n extensions of Jackson's _{8 7} summation. Milne and Newcomb have previously obtained an analogous formula for A _n series. Special cases of our _{10 9} transformations include several new multivariable generalizations of Watson's transformation of an _{8 7} into a multiple of a _{4 3} series. We also deduce multidimensional extensions of Sears' _{4 3} transformation formula, the second iterate of Heine's transformation, the q -Gauss summation theorem, and of the q -binomial theorem. August 28, 1996. Date revised: September 8, 1997.