An algebraic interpretation of the multivariate <Emphasis Type="Italic">q</Emphasis>-Krawtchouk polynomials

The multivariate quantum q-Krawtchouk polynomials are shown to arise as matrix elements of “q-rotations” acting on the state vectors of many q-oscillators. The focus is put on the two-variable case. The algebraic interpretation is used to derive the main properties of the polynomials: orthogonality, duality, structure relations, difference equations, and recurrence relations. The extension to an arbitrary number of variables is presented.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.     

An algebraic interpretation of the <Emphasis Type="Italic">q</Emphasis>-Meixner polynomials

An algebraic interpretation of the q-Meixner polynomials is obtained. It is based on representations of \({\mathscr {U}}_q({\mathfrak {su}}(1,1))\) on q-oscillator states with the polynomials appearing as matrix elements of unitary q-pseudorotation operators. These operators are built from q-exponentials of the \({\mathscr {U}}_q({\mathfrak {su}}(1,1))\) generators. The orthogonality, recurrence relation, difference equation, and other properties of the q-Meixner polynomials are systematically obtained in the proposed framework.     

An overpartition analogue of the <Emphasis Type="Italic">q</Emphasis>-binomial coefficients

We define an overpartition analogue of Gaussian polynomials (also known as q-binomial coefficients) as a generating function for the number of overpartitions fitting inside the \(M \times N\) rectangle. We call these new polynomials over Gaussian polynomials or over q-binomial coefficients. We investigate basic properties and applications of over q-binomial coefficients. In particular, via the recurrences and combinatorial interpretations of over q-binomial coefficients, we prove a Rogers–Ramanujan type partition theorem.     

Approximation by a complex <Emphasis Type="Italic">q</Emphasis>-durrmeyer type operator

Very recently, for 0 < q < 1 Govil and Gupta [10] introduced a certain q-Durrmeyer type operators of real variable \({x \in [0,1]}\) and established some approximation properties. In the present paper, for these q-Durrmeyer operators, 0 < q < 1, but of complex variable z attached to analytic functions in compact disks, we study the exact order of simultaneous approximation and a Voronovskaja kind result with quantitative estimate. In this way, we put in evidence the overconvergence phenomenon for these q-Durrmeyer polynomials, namely the extensions of approximation properties (with quantitative estimates) from the real interval [0, 1] to compact disks in the complex plane. For q = 1 the results were recently proved in Gal-Gupta [8].     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-norm of partial sums of Fourier-Legendre series

Asymptotic estimates of L ^q -norms of partial sums of Fourier-Legendre series of functions from L ^p [?1; 1] are obtained.     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).     

Some <Emphasis Type="Italic">q</Emphasis>-congruences for homogeneous and quasi-homogeneous multiple <Emphasis Type="Italic">q</Emphasis>-harmonic sums

We show some new Wolstenholme type q-congruences for some classes of multiple q-harmonic sums of arbitrary depth with strings of indices composed of ones, twos, and threes. Most of these results are q-extensions of the corresponding congruences for ordinary multiple harmonic sums obtained by the authors in a previous paper. We also establish duality congruences for multiple q-harmonic non-strict sums and a kind of duality for multiple q-harmonic strict sums. Finally, we pose a conjecture concerning two kinds of cyclic sums of multiple q-harmonic sums.     

Small Representations for Affine <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

When the parameter \(q\in \mathbb {C}^{*}\) is not a root of unity, simple modules of affine q-Schur algebras have been classified in terms of Frenkel–Mukhin’s dominant Drinfeld polynomials (Deng et al. 2012). We compute these Drinfeld polynomials associated with the simple modules of an affine q-Schur algebra which come from the simple modules of the corresponding q-Schur algebra via the evaluation maps.     

<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>-Analogue of a linear transformation preserving log-convexity

In this paper, we establish the preserving log-convexity of linear transformation associated with p, q-analogue of Pascal triangle, i.e., if the sequence of nonnegative numbers {x_n}n is logconvex, then \({y_n} = {\sum\nolimits_{k = 0}^n {\left[ {\frac{n}{k}} \right]} _{pq}}{x_k}\) so is it for q ≠ p ≥ 1.     

Integral Modular Categories of Frobenius-Perron Dimension <Emphasis Type="Italic">pq</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Integral modular categories of Frobenius-Perron dimension pq ⁿ , where p and q are primes, are considered. It is already known that such categories are group-theoretical in the cases of 0 ≤ n ≤ 4. In the general case we determine that these categories are either group-theoretical or contain a Tannakian subcategory of dimension q ⁱ for i > 1. We then show that all integral modular categories \(\mathcal {C}\) with \(\text {FPdim}(\mathcal {C})=pq^{5}\) are group-theoretical, and, if in addition p < q, all with \(\text {FPdim}(\mathcal {C})=pq^{6}\) or pq ⁷ are group-theoretical. In the process we generalize an existing criterion for an integral modular category to be group-theoretical.     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

Second order linear <Emphasis Type="Italic">q</Emphasis>-difference equations: Nonoscillation and asymptotics

The paper can be understood as a completion of the q-Karamata theory along with a related discussion on the asymptotic behavior of solutions to the linear q-difference equations. The q-Karamata theory was recently introduced as the theory of regularly varying like functions on the lattice \({q^{{{\Bbb N}_0}}}: = \left\{ {{q^k}:k \in {{\Bbb N}_0}} \right\}\) with q > 1. In addition to recalling the existing concepts of q-regular variation and q-rapid variation we introduce q-regularly bounded functions and prove many related properties. The q-Karamata theory is then applied to describe (in an exhaustive way) the asymptotic behavior as t → ∞ of solutions to the q-difference equation D _q ² y(t) + p(t)y(qt) = 0, where \(p:q^{\mathbb{N}_0 } \to \mathbb{R}\). We also present the existing and some new criteria of Kneser type which are related to our subject. A comparison of our results with their continuous counterparts is made. It reveals interesting differences between the continuous case and the q-case and validates the fact that q-calculus is a natural setting for the Karamata like theory and provides a powerful tool in qualitative theory of dynamic equations.     

Polynomial inequalities on sets with <Emphasis Type="Italic">k</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript>-concave weighted measures

Let μ be a measurewith a k-concave density W on an open convex set V in R^m, that is, W is an integrable weight satisfying the condition

$$W(ax + (1 - a)y) \geqslant {(a{W^K}(x) + (1 - a){W^K}(y))^{1/k}},k \in ( - 1/m,\infty ]$$

for all x ∈ V, y ∈ V, and α ∈ [0, 1]. In this paper, we first show that the Fradelizi μ-distributional inequalities for polynomials P of m variables are sharp for each m and k ∈ (?1/m,∞]. Classes of extremal sets V, weights W, and polynomials P for these inequalities are presented. Sharpness of the Bobkov-Nazarov-Fradelizi dilation-type inequalities is established as well. Second, we find efficient conditions for k-concavity of a weight W and obtain new sharp polynomial inequalities.

     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

Around <Emphasis Type="Italic">q</Emphasis>-Appell polynomial sequences

First we show that the quadratic decomposition of the Appell polynomials with respect to the q-divided difference operator is supplied by two other Appell sequences with respect to a new operator \(\mathcal{M}_{q;q^{-\varepsilon}}\), where ε represents a complex parameter different from any negative even integer number. While seeking all the orthogonal polynomial sequences invariant under the action of \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\) (the \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\)-Appell), only the Wall q-polynomials with parameter q ^ε/2+1 are achieved, up to a linear transformation. This brings a new characterization of these polynomial sequences.     

Note edge-colourings of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n,n</Emphasis></Subscript> with no long two-coloured cycles

Consider the set of all proper edge-colourings of a graph G with n colours. Among all such colourings, the minimum length of a longest two-coloured cycle is denoted L(n, G). The problem of understanding L(n, G) was posed by Häggkvist in 1978 and, specifically, L(n, K _n,n ) has received recent attention. Here we construct, for each prime power q ≥ 8, an edge-colouring of K _n,n with n colours having all two-coloured cycles of length ≤ 2q ², for integers n in a set of density 1 ? 3/(q ? 1). One consequence is that L(n, K _n,n ) is bounded above by a polylogarithmic function of n, whereas the best known general upper bound was previously 2n ? 4.     

Small weight codewords in the dual code of points and hyperplanes in PG(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>), <Emphasis Type="Italic">q</Emphasis> even

The main theorem of this article gives a classification of the codewords in \({C^{\bot}_{n-1}(n,q)}\) , the dual code of points and hyperplanes in PG(n, q), q even, with weight smaller than \({q+\sqrt[3]{q^{2}}+1}\). In the proof, we rely on the classification of the small blocking sets in PG(2, q), q even.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.