Two operator representations for the trivariate <Emphasis Type="Italic">q</Emphasis>-polynomials and Hahn polynomials

In this paper, we introduce a trivariate q-polynomials \(F_n(x,y,z;q)\) as a general form of Hahn polynomials \(\psi _n^{(a)}(x|q)\) and \(\psi _n^{(a)}(x,y|q)\). We represent \(F_n(x,y,z;q)\) by two operators: the homogeneous q-shift operator \(L(b\theta _{xy})\) given by Saad and Sukhi (Appl Math Comput 215:4332–4339, 2010), and the Cauchy companion operator \(E(a,b;\theta )\) given by Chen (q-Difference Operator and Basic Hypergeometric Series, 2009) to derive the generating function, symmetric property, Mehler’s formula, Rogers formula, another Roger-type formula, linearization formula, and an extended Rogers formula for the trivariate q-polynomials. Then, we give the corresponding formulas for our new definitions of Hahn polynomials \(\psi _n^{(a)}(x|q)\) and \(\psi _n^{(a)}(x,y|q)\) by representing Hahn polynomials by the operators \(L(b\theta _{xy})\) and \(E(a,b;\theta )\), and by a special substitution in the trivariate q-polynomials \(F_n(x,y,z;q)\).     

Uniform asymptotic expansions for Laguerre polynomials and related confluent hypergeometric functions

Uniform asymptotic expansions involving exponential and Airy functions are obtained for Laguerre polynomials \(L_{n}^{(\alpha )}(x)\), as well as complementary confluent hypergeometric functions. The expansions are valid for n large and α small or large, uniformly for unbounded real and complex values of x. The new expansions extend the range of computability of \(L_{n}^{(\alpha )}(x)\) compared to previous expansions, in particular with respect to higher terms and large values of α. Numerical evidence of their accuracy for real and complex values of x is provided.     

On bigraded regularities of Rees algebra

For any homogeneous ideal I in \(K[x_1,\ldots ,x_n]\) of analytic spread \(\ell \), we show that for the Rees algebra R(I), \({\text {reg}}_{(0,1)}^{\mathrm{syz}}(R(I))={\text {reg}}_{(0,1)}^{\mathrm{T}}(R(I))\). We compute a formula for the (0, 1)-regularity of R(I), which is a bigraded analog of Theorem 1.1 of Aramova and Herzog (Am. J. Math. 122(4) (2000) 689–719) and Theorem 2.2 of Römer (Ill. J. Math. 45(4) (2001) 1361–1376) to R(I). We show that if the defect sequence, \(e_k:= {\text {reg}}(I^k)-k\rho (I)\), is weakly increasing for \(k \ge {\text {reg}}^{\mathrm{syz}}_{(0,1)}(R(I))\), then \({\text {reg}}(I^j)=j\rho (I)+e\) for \(j \ge {\text {reg}}^{\mathrm{syz}}_{(0,1)}(R(I))+\ell \), where \(\ell ={\text {min}}\{\mu (J)~|~ J\subseteq I \text{ a } \text{ graded } \text{ minimal } \text{ reduction } \text{ of } I\}\). This is an improvement of Corollary 5.9(i) of [16].     

On the L1-convergence and behavior of coefficients of Fourier–Vilenkin series

In this paper, we prove the following statement that is true for both bounded and some type of unbounded Vilenkin systems: for any \( \varepsilon \in (0,1)\), there exists a measurable set \(E\subset [0,1)\) of measure bigger than \(1-\varepsilon \) such that for any function \(f \in L^{1}[0,1)\), it is possible to find a function \(g\in L^{1}[0,1)\) coinciding with f on E, Fourier series of g with respect to Vilenkin system are convergent in \(L^{1}\)-norm and the absolute values of non zero Fourier coefficients of g are monotonically decreasing.     

Multi-player Last Nim with Passes

We introduce a class of impartial combinatorial games, Multi-player Last Nim with Passes, denoted by MLNim\(^{(s)}(N,n)\): there are N piles of counters which are linearly ordered. In turn, each of n players either removes any positive integer of counters from the last pile, or makes a choice ‘pass’. Once a ‘pass’ option is used, the total number s of passes decreases by 1. When all s passes are used, no player may ever ‘pass’ again. A pass option can be used at any time, up to the penultimate move, but cannot be used at the end of the game. The player who cannot make a move wins the game. The aim is to determine the game values of the positions of MLNim\(^{(s)}(N,n)\) for all integers \(N\ge 1\) and \(n\ge 3\) and \(s\ge 1\). For \(n>N+1\) or \(n=N+1\ge 3\), the game values are completely determined for any \(s\ge 1\). For \(3\le n\le N\), the game values are determined for infinitely many triplets (N, n, s). We also present a possible explanation why determining the game values becomes more complicated if \(n\le N\).     

Sharp weak bounds for <Emphasis Type="Italic">n</Emphasis>-dimensional fractional Hardy operators

We obtain the operator norms of the n-dimensional fractional Hardy operator H _α (0 < α < n) from weighted Lebesgue spaces \(L_{\left| x \right|^\rho }^p (\mathbb{R}^n )\) to weighted weak Lebesgue spaces \(L_{\left| x \right|^\beta }^{q,\infty } (\mathbb{R}^n )\).     

Some estimates for commutators of Riesz transform associated with Schrödinger type operators

Let L₁ = ?Δ + V be a Schr:dinger operator and let L² = (?Δ)² + V² be a Schrödinger type operator on ?ⁿ (n ? 5), where V≠ 0 is a nonnegative potential belonging to certain reverse Hölder class B_s for s ? n/2. The Hardy type space \(H_{{L_2}}^1\) is defined in terms of the maximal function with respect to the semigroup \(\left\{ {{e^{ - t{L_2}}}} \right\}\) and it is identical to the Hardy space \(H_{{L_1}}^1\) established by Dziubański and Zienkiewicz. In this article, we prove the L^p-boundedness of the commutator R_b = bRf - R(bf) generated by the Riesz transform \(R = {\nabla ^2}L_2^{ - 1/2}\), where \(b \in BM{O_\theta }(\varrho )\), which is larger than the space BMO(?ⁿ). Moreover, we prove that R_b is bounded from the Hardy space \(H_{\mathcal{L}_1 }^1 \) into weak \(L_{weak}^1 (\mathbb{R}^n )\).     

Contractive determinantal representations of stable polynomials on a matrix polyball

We show that a polynomial p with no zeros on the closure of a matrix unit polyball, a.k.a. a cartesian product of Cartan domains of type I, and such that \(p(0)=1\), admits a strictly contractive determinantal representation, i.e., \(p=\det (I-KZ_n)\), where \(n=(n_1,\ldots ,n_k)\) is a k-tuple of nonnegative integers, \(Z_n=\bigoplus _{r=1}^k(Z^{(r)}\otimes I_{n_r})\), \(Z^{(r)}=[z^{(r)}_{ij}]\) are complex matrices, p is a polynomial in the matrix entries \(z^{(r)}_{ij}\), and K is a strictly contractive matrix. This result is obtained via a noncommutative lifting and a theorem on the singularities of minimal noncommutative structured system realizations.     

Several extremal approximation problems for the characteristic function of a spherical layer

We discuss three interrelated extremal problems on the set P _n,m of algebraic polynomials of a given degree n on the unit sphere \(\mathbb{S}^{m - 1}\) of the Euclidean space ? ^m of dimension m ≥ 2. (1) Find the norm of the functional \(F\left( \eta \right) = F_h P_n = \int_{\mathbb{G}\left( \eta \right)} {P_n (x)dx}\), which is the integral over the spherical layer \(\mathbb{G}\left( \eta \right) = \left\{ {x = \left( {x_1 , \ldots ,x_m } \right) \in \mathbb{S}^{m - 1} :h' \leqslant x_m \leqslant h''} \right\}\) defined by a pair of real numbers η = (h′, h″), ?1 ≤ h′ < h″ ≤ 1, on the set P _n,m with the norm of the space \(L\left( {\mathbb{S}^{m - 1} } \right)\) of functions summable on the sphere. (2) Find the best approximation in \(L_\infty \left( {\mathbb{S}^{m - 1} } \right)\) of the characteristic function χ _η of the layer \(\mathbb{G}\left( \eta \right)\) by the subspace P _n,m ^⊥ of functions from \(L_\infty \left( {\mathbb{S}^{m - 1} } \right)\) that are orthogonal to the space of polynomials P _n,m . (3) Find the best approximation in the space \(L\left( {\mathbb{S}^{m - 1} } \right)\) of the function χ _η by the space of polynomials P _n,m . We present a solution of all three problems for the values h′ and h″ that are neighboring roots of the polynomial in a single variable of degree n + 1 that deviates least from zero in the space L ₁ ^φ (?1, 1) of functions summable on the interval (?1, 1) with ultraspherical weight φ(t) = (1 ? t ²) ^α , α = (m ? 3)/2. We study the respective one-dimensional problems in the space of functions summable on (?1, 1) with an arbitrary not necessarily ultraspherical weight.     

Asymptotic distribution of singular values of powers of random matrices

Let x be a complex random variable such that \( {\mathbf{E}}x = 0,\,{\mathbf{E}}{\left| x \right|^2} = 1 \), and \( {\mathbf{E}}{\left| x \right|^4} < \infty \). Let \( {x_{ij}},i,j \in \left\{ {1,2, \ldots } \right\} \), be independent copies of x. Let \( {\mathbf{X}} = \left( {{N^{ - 1/2}}{x_{ij}}} \right) \), 1≤i,j≤N, be a random matrix. Writing X ^? for the adjoint matrix of X, consider the product X ^m X ^?m with some m ∈{1,2,...}. The matrix X ^m X ^?m is Hermitian positive semidefinite. Let λ₁,λ₂,...,λ _N be eigenvalues of X ^m X ^?m (or squared singular values of the matrix X ^m ). In this paper, we find the asymptotic distribution function \( {G^{(m)}}(x) = {\lim_{N \to \infty }}{\mathbf{E}}F_N^{(m)}(x) \) of the empirical distribution function \( F_N^{(m)}(x) = {N^{ - 1}}\sum\nolimits_{k = 1}^N {\mathbb{I}\left\{ {{\lambda_k} \leqslant x} \right\}} \), where \( \mathbb{I}\left\{ A \right\} \) stands for the indicator function of an event A. With m=1, our result turns to a well-known result of Marchenko and Pastur [V. Marchenko and L. Pastur, The eigenvalue distribution in some ensembles of random matrices, Math. USSR Sb., 1:457–483, 1967].     

Transcendence of zeros of Jacobi forms

A special case of a fundamental theorem of Schneider asserts that if \(j(\tau )\) is algebraic (where j is the classical modular invariant), then any zero z not in \(\mathbf{Q}.L_\tau := \mathbf{Q}\oplus \mathbf{Q}\tau \) of the Weierstrass function \(\wp (\tau ,\cdot )\) attached to the lattice \(L_\tau =\mathbf{Z}\oplus \mathbf{Z}\tau \) is transcendental. In this note we generalize this result to holomorphic Jacobi forms of weight k and index \(m\in \mathbf{N}\) with algebraic Fourier coefficients.     

Marcinkiewicz-Type Spectral Multipliers on Hardy and Lebesgue Spaces on Product Spaces of Homogeneous Type

Let \(X_1\) and \(X_2\) be metric spaces equipped with doubling measures and let \(L_1\) and \(L_2\) be nonnegative self-adjoint operators acting on \(L^2(X_1)\) and \(L^2(X_2)\) respectively. We study multivariable spectral multipliers \(F(L_1, L_2)\) acting on the Cartesian product of \(X_1\) and \(X_2\). Under the assumptions of the finite propagation speed property and Plancherel or Stein–Tomas restriction type estimates on the operators \(L_1\) and \(L_2\), we show that if a function F satisfies a Marcinkiewicz-type differential condition then the spectral multiplier operator \(F(L_1, L_2)\) is bounded from appropriate Hardy spaces to Lebesgue spaces on the product space \(X_1\times X_2\). We apply our results to the analysis of second-order elliptic operators in the product setting, specifically Riesz-transform-like operators and double Bochner–Riesz means.     

$$$$ WP-Bailey tree

The purpose of this paper is to establish a \(U(n+1)\) WP-Bailey tree. As an application, we use a suitable \(U(n+1)\) WP-Bailey pair to recover one of the \(U(n+1)\) \(_{10}\phi _9\) transformation formulas established by Milne and Newcomb.     

Singular values of some modular functions

For an integer N greater than 5 and a triple \({\mathfrak{a}}=[a_{1},a_{2},a_{3}]\) of integers with the properties 0<a _i ≤N/2 and a _i ≠a _j for i≠j, we consider a modular function \(W_{\mathfrak{a}}(\tau)=\frac{\wp (a_{1}/N;L_{\tau})-\wp (a_{3}/N;L_{\tau})}{\wp (a_{2}/N;L_{\tau})-\wp(a_{3}/N;L_{\tau})}\) for the modular group Γ ₁(N), where ?(z;L _τ ) is the Weierstrass ?-function relative to the lattice L _τ generated by 1 and a complex number τ with positive imaginary part. For a pair of such triples \({\mathfrak{A}}=[{\mathfrak{a}},{\mathfrak{b}}]\) and a pair of non-negative integers F=[m,n], we define a modular function \(T_{{\mathfrak{A}},F}\) for the group Γ ₀(N) as the trace of the product \(W_{\mathfrak{a}}^{m}W_{\mathfrak{b}}^{n}\) to the modular function field of Γ ₀(N). In this article, we study the integrality of singular values of the functions \(W_{\mathfrak{a}}\) and \(T_{{\mathfrak{A}},F}\) by using their modular equations. We prove that the functions \(T_{{\mathfrak{A}},F}\) for suitably chosen \({\mathfrak{A}}\) and F generate the modular function field of Γ ₀(N), and from Shimura reciprocity and Gee–Stevenhagen method we obtain that singular values \(T_{{\mathfrak{A}},F}(\tau)\) for suitably chosen \({\mathfrak{A}}\) and F generate ring class fields. Further, we study the class polynomial of \(T_{{\mathfrak{A}},F}\) for Schertz N-system.     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

Zigzag Strip Bundle Realization of B(Λ0) over $U_{q}(C_{n}^{(1)})$

Zigzag strip bundles are new combinatorial models realizing the crystals B(∞) for the quantum affine algebras \(U_{q}(\mathfrak {g})\), where \(\mathfrak {g}=B_{n}^{(1)},D_{n}^{(1)}\), \(D_{n+1}^{(2)}\), \(C_{n}^{(1)}\), \(A_{2n-1}^{(2)}\), \(A_{2n}^{(2)}\). Recently, these models were used to the realization of highest weight crystals except for the highest weight crystal B(Λ₀) over the quantum affine algebra \(U_{q}(C_{n}^{(1)})\). In this paper, we construct the highest weight crystal B(Λ₀) over the quantum affine algebra \(U_{q}(C_{n}^{(1)})\) using zigzag strip bundles, which completes the realizations of all highest weight crystals over \(U_{q}(\mathfrak {g})\).     

A group of continuous self-maps on a topological groupoid

The group of bisections of groupoids plays an important role in the study of Lie groupoids. In this paper another construction is introduced. Indeed, for a topological groupoid G, the set of all continuous self-maps f on G such that (x, f(x)) is a composable pair for every \(x\in G\), is denoted by \(S_G\). We show that \(S_G\) by a natural binary operation is a monoid. \(S_G(\alpha )\), the group of units in \(S_G\) precisely consists of those \(f\in S_G\) such that the map \(x\mapsto xf(x)\) is a bijection on G. Similar to the group of bisections, \(S_G(\alpha )\) acts on G from the right and on the space of continuous self-maps on G from the left. It is proved that \(S_G(\alpha )\) with the compact- open topology inherited from C(G, G) is a left topological group. For a compact Hausdorff groupoid G it is proved that the group of bisections of \(G^2\) is isomorphic to the group \(S_G(\alpha )\) and the group of transitive bisections of G, \(Bis_T(G)\), is embedded in \(S_G(\alpha )\), where \(G^2\) is the groupoid of all composable pairs.     

A generalization of total graphs

Let R be a commutative ring with nonzero identity, \(L_{n}(R)\) be the set of all lower triangular \(n\times n\) matrices, and U be a triangular subset of \(R^{n}\), i.e., the product of any lower triangular matrix with the transpose of any element of U belongs to U. The graph \(GT^{n}_{U}(R^n)\) is a simple graph whose vertices consists of all elements of \(R^{n}\), and two distinct vertices \((x_{1},\dots ,x_{n})\) and \((y_{1},\dots ,y_{n})\) are adjacent if and only if \((x_{1}+y_{1}, \ldots ,x_{n}+y_{n})\in U\). The graph \(GT^{n}_{U}(R^n)\) is a generalization for total graphs. In this paper, we investigate the basic properties of \(GT^{n}_{U}(R^n)\). Moreover, we study the planarity of the graphs \(GT^{n}_{U}(U)\), \(GT^{n}_{U}(R^{n}{\setminus } U)\) and \(GT^{n}_{U}(R^n)\).