Operator identities involving the bivariate Rogers-Szegö polynomials and their applications to the multiple q-series identities

In this paper, we first give several operator identities involving the bivariate Rogers-Szegö polynomials. By applying the technique of parameter augmentation to the multiple q-binomial theorems given by Milne [S.C. Milne, Balanced summation theorems for U(n) basic hypergeometric series, Adv. Math. 131 (1997) 93-187], we obtain several new multiple q-series identities involving the bivariate Rogers-Szegö polynomials. These include multiple extensions of Mehler's formula and Rogers's formula. Our U(n+1) generalizations are quite natural as they are also a direct and immediate consequence of their (often classical) known one-variable cases and Milne's fundamental theorem for An or U(n+1) basic hypergeometric series in Theorem 1.49 of [S.C. Milne, An elementary proof of the Macdonald identities for , Adv. Math. 57 (1985) 34-70], as rewritten in Lemma 7.3 on p. 163 of [S.C. Milne, Balanced summation theorems for U(n) basic hypergeometric series, Adv. Math. 131 (1997) 93-187] or Corollary 4.4 on pp. 768-769 of [S.C. Milne, M. Schlosser, A new An extension of Ramanujan's summation with applications to multilateral An series, Rocky Mountain J. Math. 32 (2002) 759-792].     

Variations on Weyl's theorem

In this note we study the property (w), a variant of Weyl's theorem introduced by Rako?evi?, by means of the localized single-valued extension property (SVEP). We establish for a bounded linear operator defined on a Banach space several sufficient and necessary conditions for which property (w) holds. We also relate this property with Weyl's theorem and with another variant of it, a-Weyl's theorem. We show that Weyl's theorem, a-Weyl's theorem and property (w) for T (respectively T^*) coincide whenever T^* (respectively T) satisfies SVEP. As a consequence of these results, we obtain that several classes of commonly considered operators have property (w).     

Uniform asymptotics of some q-orthogonal polynomials

Uniform asymptotic formulas are obtained for the Stieltjes-Wigert polynomial, the q⁻¹-Hermite polynomial and the q-Laguerre polynomial as the degree of the polynomial tends to infinity. In these formulas, the q-Airy polynomial, defined by truncating the q-Airy function, plays a significant role. While the standard Airy function, used frequently in the uniform asymptotic formulas for classical orthogonal polynomials, behaves like the exponential function on one side and the trigonometric functions on the other side of an extreme zero, the q-Airy polynomial behaves like the q-Airy function on one side and the q-Theta function on the other side. The last two special functions are involved in the local asymptotic formulas of the q-orthogonal polynomials. It seems therefore reasonable to expect that the q-Airy polynomial will play an important role in the asymptotic theory of the q-orthogonal polynomials.     

A short note on the overpartition function

In this brief note, we give a combinatorial proof of a variation of Gauss’s q-binomial theorem, and we determine arithmetic properties of the overpartition function modulo 8.     

Optimal reconstruction systems for erasures and for the q-potential

In this paper we introduce the q-potential as an extension of the Benedetto-Fickus frame potential, defined on general reconstruction systems and show that protocols are the minimizers of this potential under certain restrictions. We extend recent results of B.G. Bodmann on the structure of optimal protocols with respect to 1 and 2 lost packets where the worst (normalized) reconstruction error is computed with respect to a compatible unitarily invariant norm. We finally describe necessary and sufficient (spectral) conditions, that we call q-fundamental inequalities, for the existence of protocols with prescribed properties by relating this problem to Klyachko’s and Fulton’s theory on sums of hermitian operators.     

Faulhaber’s theorem on power sums

We observe that the classical Faulhaber’s theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression a+b,a+2b,…,a+nb is a polynomial in na+n(n+1)b/2. While this assertion can be deduced from the original Fauhalber’s theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for r-fold sums of powers without resorting to the notion of r-reflective functions. We also provide formulas for the r-fold alternating sums of powers in terms of Euler polynomials.     

Six-variable generalization of Ramanujan's reciprocity theorem and its variants

By virtue of Shukla's well-known bilateral summation formula and Watson's transfor-mation formula, we extend the four-variable generalization of Ramanujan's reciprocity theorem due to Andrews to a six-variable one. Some novel variants of Ramanujan's reciprocity theorem and q-series identities are presented.     

Turán’s theorem inverted

In this note we complete an investigation started by Erd?s in 1963 that aims to find the strongest possible conclusion from the hypothesis of Turán’s theorem in extremal graph theory.Let be the complete r-partite graph with parts of sizes s₁≥2,s₂,…,s_r with an edge added to the first part. Letting t_r(n) be the number of edges of the r-partite Turán graph of order n, we prove that:For all r≥2 and all sufficiently small c>0, every graph of sufficiently large order n with t_r(n)+1 edges contains a .We also give a corresponding stability theorem and two supporting results of wider scope.     

Turán's theorem for pseudo-random graphs

The generalized Turán number ex(G,H) of two graphs G and H is the maximum number of edges in a subgraph of G not containing H. When G is the complete graph Km on m vertices, the value of ex(Km,H) is , where o(1)→0 as m→∞, by the Erd?s-Stone-Simonovits theorem.In this paper we give an analogous result for triangle-free graphs H and pseudo-random graphs G. Our concept of pseudo-randomness is inspired by the jumbled graphs introduced by Thomason [A. Thomason, Pseudorandom graphs, in: Random Graphs '85, Poznań, 1985, North-Holland, Amsterdam, 1987, pp. 307-331. MR 89d:05158]. A graph G is (q,β)-bi-jumbled if

     

Super-vertex-antimagic total labelings of disconnected graphs

Let G=(V,E) be a finite, simple and non-empty (p,q)-graph of order p and size q. An (a,d)-vertex-antimagic total labeling is a bijection f from V(G)∪E(G) onto the set of consecutive integers 1,2,…,p+q, such that the vertex-weights form an arithmetic progression with the initial term a and the common difference d, where the vertex-weight of x is the sum of values f(xy) assigned to all edges xy incident to vertex x together with the value assigned to x itself, i.e. f(x). Such a labeling is called super if the smallest possible labels appear on the vertices.In this paper, we will study the properties of such labelings and examine their existence for disconnected graphs.     

A Morita theorem for dual operator algebras

We prove that two dual operator algebras are weak^∗ Morita equivalent in the sense of [D.P. Blecher, U. Kashyap, Morita equivalence of dual operator algebras, J. Pure Appl. Algebra 212 (2008) 2401-2412] if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak^∗-continuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case, we characterize such functors as the module normal Haagerup tensor product with an appropriate weak^∗ Morita equivalence bimodule. We also develop the theory of the W^∗-dilation, which connects the non-selfadjoint dual operator algebra with the W^∗-algebraic framework. In the case of weak^∗ Morita equivalence, this W^∗-dilation is a W^∗-module over a von Neumann algebra generated by the non-selfadjoint dual operator algebra. The theory of the W^∗-dilation is a key part of the proof of our main theorem.     

Group actions and Helly's theorem

We describe a connection between the combinatorics of generators for certain groups and the combinatorics of Helly's 1913 theorem on convex sets. We use this connection to prove fixed point theorems for actions of these groups on nonpositively curved metric spaces. These results are encoded in a property that we introduce called “property FAr”, which reduces to Serre's property FA when r=1. The method applies to S-arithmetic groups in higher Q-rank, to simplex reflection groups (including some nonarithmetic ones), and to higher rank Chevalley groups over polynomial and other rings (for example SLn(Z[x₁,…,xd]), n>2).     

Duplicate form of Carlitz inversions and summation formulae

By applying the duplicate form of Carlitz inversions to three special cases of the q-Saalschütz theorem respectively, we establish three classes of interesting summation formulae.     

Property (w) and perturbations II

This note is a continuation of a previous article [P. Aiena, M.T. Biondi, Property (w) and perturbations, J. Math. Anal. Appl. 336 (2007) 683-692] concerning the stability of property (w), a variant of Weyl's theorem, for a bounded operator T acting on a Banach space, under finite-dimensional perturbations K commuting with T. A counterexample shows that property (w) in general is not preserved under finite-dimensional perturbations commuting with T, also under the assumption that T is a-isoloid.     

Bilateral inversions and terminating basic hypergeometric series identities

The q-analogue of Legendre inversions is established and generalized to bilateral sequences. They are employed to investigate the dual relations of three basic formulae due to Jackson and Bailey, on balanced ₃?₂-series, well-poised ₈?₇-series and bilateral ₆ψ₆-series. Several terminating well-poised series identities are consequently derived, including the q-Dixon formulae on terminating ₃ψ₃-series and two terminating well-poised ₅ψ₅-series identities due to [F.H. Jackson, Certain q-identities, Quart. J. Math. (Oxford) 12 (1941) 167-172; W.N. Bailey, On the analogue of Dixon’s theorem for bilateral basic hypergeometric series, Quart. J. Math. (Oxford) 1 (1950) 318-320].     

Slight improvements of the Singleton bound

The problem of determining A_q(n,d), the maximum cardinality of a q-ary code of length n with minimum distance at least d, is considered in some cases where corresponding MDS codes do not exist. Slight improvements of the Singleton bound are given, including A_q(q+2,q)?q³-3 if q is odd, A₅(7,5)?5³-4 and A₁₆(18,15)?18⁴-4.     

A new proof of convergence of MCMC via the ergodic theorem

A key result underlying the theory of MCMC is that any η-irreducible Markov chain having a transition density with respect to η and possessing a stationary distribution π is automatically positive Harris recurrent. This paper provides a short self-contained proof of this fact using the ergodic theorem in its standard form as the most advanced tool.     

Labeling graphs with two distance constraints

Given a graph G and integers p,q,d₁ and d₂, with p>q, d₂>d₁?1, an L(d₁,d₂;p,q)-labeling of G is a function f:V(G)→{0,1,2,…,n} such that |f(u)−f(v)|?p if d_G(u,v)?d₁ and |f(u)−f(v)|?q if d_G(u,v)?d₂. A k-L(d₁,d₂;p,q)-labeling is an L(d₁,d₂;p,q)-labeling f such that max_v∈V(G)f(v)?k. The L(d₁,d₂;p,q)-labeling number ofG, denoted by , is the smallest number k such that G has a k-L(d₁,d₂;p,q)-labeling. In this paper, we give upper bounds and lower bounds of the L(d₁,d₂;p,q)-labeling number for general graphs and some special graphs. We also discuss the L(d₁,d₂;p,q)-labeling number of G, when G is a path, a power of a path, or Cartesian product of two paths.     

On avoiding odd partial Latin squares and r-multi Latin squares

We show that for any positive integer k?4, if R is a (2k-1)×(2k-1) partial Latin square, then R is avoidable given that R contains an empty row, thus extending a theorem of Chetwynd and Rhodes. We also present the idea of avoidability in the setting of partial r-multi Latin squares, and give some partial fillings which are avoidable. In particular, we show that if R contains at most nr/2 symbols and if there is an n×n Latin square L such that δn of the symbols in L cover the filled cells in R where 0<δ<1, then R is avoidable provided r is large enough.     

Identities between q-hypergeometric and hypergeometric integrals of different dimensions

Given complex numbers m₁,l₁ and nonnegative integers m₂,l₂, such that m₁+m₂=l₁+l₂, for any a,b=0,…,min(m₂,l₂) we define an l₂-dimensional Barnes type q-hypergeometric integral I_a,b(z,μ;m₁,m₂,l₁,l₂) and an l₂-dimensional hypergeometric integral J_a,b(z,μ;m₁,m₂,l₁,l₂). The integrals depend on complex parameters z and μ. We show that I_a,b(z,μ;m₁,m₂,l₁,l₂) equals J_a,b(e^μ,z;l₁,l₂,m₁,m₂) up to an explicit factor, thus establishing an equality of l₂-dimensional q-hypergeometric and m₂-dimensional hypergeometric integrals. The identity is based on the duality for the qKZ and dynamical difference equations.