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].     

Absolutely convergent Fourier series and function classes. II

We study the smoothness property of a function f with absolutely convergent Fourier series, and give best possible sufficient conditions in terms of its Fourier coefficients to ensure that f belongs to one of the Zygmund classes Λ_∗(α) and λ_∗(α) for some 0<α?2. This paper is a natural supplement to our earlier one [F. Móricz, Absolutely convergent Fourier series and function classes, J. Math. Anal. Appl. 324 (2) (2006) 1168-1177] under the same title, and we keep its notations.     

Rank-preserving module maps

In this paper, we characterize rank one preserving module maps on a Hilbert C^*-module and study its applications on free probability theory.     

Global existence for the one-dimensional second order semilinear hyperbolic equations

The aim of the paper is to study necessary and sufficient conditions for the existence of the global solution of the one-dimensional semilinear equation appearing in the boundary value problems of gas dynamics. We investigate the Cauchy problem for such equation in the domain where the operator is weakly hyperbolic. We obtain the necessary condition for the existence of the self-similar solutions for the semilinear Gellerstedt-type equation. The approach used in the paper is based on the fundamental solution of the linear Gellerstedt operator and the Lp-Lq estimates.     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

Invariant theory for singular α-determinants

From the irreducible decompositions' point of view, the structure of the cyclic GLn(C)-module generated by the α-determinant degenerates when (1?k?n−1) (see [S. Matsumoto, M. Wakayama, Alpha-determinant cyclic modules of gln(C), J. Lie Theory 16 (2006) 393-405]). In this paper, we show that -determinant shares similar properties which the ordinary determinant possesses. From this fact, one can define a new (relative) invariant called a wreath determinant. Using (GLm,GLn)-duality in the sense of Howe, we obtain an expression of a wreath determinant by a certain linear combination of the corresponding ordinary minor determinants labeled by suitable rectangular shape tableaux. Also we study a wreath determinant analogue of the Vandermonde determinant, and then, investigate symmetric functions such as Schur functions in the framework of wreath determinants. Moreover, we examine coefficients which we call (n,k)-sign appeared at the linear expression of the wreath determinant in relation with a zonal spherical function of a Young subgroup of the symmetric group Snk.     

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

In this paper, we propose the application of formal methods to Software Engineering. The most used data model is the relational model and we present, within the general framework of lattice theory, this analysis of functional dependencies. For this reason, we characterize the concept of f-family by means of a new concept which we call non-deterministic ideal operator (nd.ideal-o). The study of nd.ideal-o.s allows us to obtain results about functional dependencies as trivial particularizations, to clarify the semantics of the functional dependencies and to progress in their efficient use, and to extend the concept of schema. Moreover, the algebraic characterization of the concept of Key of a schema allows us to propose new formal definitions in the lattice framework for classical normal forms in relation schemata. We give a formal definition of the normal forms for functional dependencies more frequently used in the bibliography: the second normal form (2FN), the third normal form(3FN) and Boyce-Codd's normal form (FNBC).     

On the complexity of the multicut problem in bounded tree-width graphs and digraphs

Given an edge- or vertex-weighted graph or digraph and a list of source-sink pairs, the minimum multicut problem consists in selecting a minimum weight set of edges or vertices whose removal leaves no path from each source to the corresponding sink. This is a classical NP-hard problem, and we show that the edge version becomes tractable in bounded tree-width graphs if the number of source-sink pairs is fixed, but remains NP-hard in directed acyclic graphs and APX-hard in bounded tree-width and bounded degree unweighted digraphs. The vertex version, although tractable in trees, is proved to be NP-hard in unweighted cacti of bounded degree and bounded path-width.     

3-Factor-criticality in domination critical graphs

A graph G is said to be k-γ-critical if the size of any minimum dominating set of vertices is k, but if any edge is added to G the resulting graph can be dominated with k-1 vertices. The structure of k-γ-critical graphs remains far from completely understood when k?3.A graph G is factor-critical if G-v has a perfect matching for every vertex v∈V(G) and is bicritical if G-u-v has a perfect matching for every pair of distinct vertices u,v∈V(G). More generally, a graph is said to be k-factor-critical if G-S has a perfect matching for every set S of k vertices in G. In three previous papers [N. Ananchuen, M.D. Plummer, Some results related to the toughness of 3-domination-critical graphs, Discrete Math. 272 (2003) 5-15; N. Ananchuen, M.D. Plummer, Matching properties in domination critical graphs, Discrete Math. 277 (2004) 1-13; N. Ananchuen, M.D. Plummer, Some results related to the toughness of 3-domination-critical graphs. II. Utilitas Math. 70 (2006) 11-32], we explored the toughness of 3-γ-critical graphs and some of their matching properties. In particular, we obtained some properties which are sufficient for a 3-γ-critical graph to be factor-critical and, respectively, bicritical. In the present work, we obtain similar results for k-factor-critical graphs when k=3.     

Degenerate elliptic inequalities with critical growth

This article is motivated by the fact that very little is known about variational inequalities of general principal differential operators with critical growth.The concentration compactness principle of P.L. Lions [P.L. Lions, The concentration compactness principle in the calculus of variation. The limit case I, Rev. Mat. Iberoamericana 1 (1) (1985) 145-201; P.L. Lions, The concentration compactness principle in the calculus of variation. The limit case II, Rev. Mat. Iberoamericana 1 (2) (1985) 45-121] is a widely applied technique in the analysis of Palais-Smale sequences. For critical growth problems involving principal differential operators Laplacian or p-Laplacian, much has been accomplished in recent years, whereas very little has been done for problems involving more general main differential operators since a nonlinearity is observed between the corresponding functional I(u) and measure μ introduced in the concentration compactness method. In this paper, we investigate a Leray-Lions type operator and behaviors of its c(P.S.) sequence.