An umbral calculus for polynomials characterizing U(n) tensor operators

After the change of variables Δ_i = γ_i ? δ_i and x_{i,i + 1} = δ_i ? δ_{i + 1} we show that the invariant polynomials _μG⁽ⁿ⁾_q(, Δ_i, ; , x_i,i+1,) characterizing U(n) tensor operators 〈p, q,…, q, 0,…, 0〉 become an integral linear combination of Schur functions S_λ(γ ? δ) in the symbol γ ? δ, where γ ? δ denotes the difference of the two sets of variables {γ₁ ,…, γ_n} and {δ₁ ,…, δ_n}. We obtain a similar result for the yet more general bisymmetric polynomials ^m_μG⁽ⁿ⁾_q(γ₁ ,…, γ_n; δ₁ ,…, δ_m). Making use of properties of skew Schur functions $\text{S}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\rho </mtext>}}$ and S_λ(γ ? δ) we put together an umbral calculus for ^m_μG⁽ⁿ⁾_q(γ; δ). That is, working entirely with polynomials, we uniquely determine ^m_μG⁽ⁿ⁾_q(γ; δ) from ^m_μG⁽ⁿ⁾_{q ? 1}(γ; δ) and combinatorial rules involving Ferrers diagrams (i.e., partitions), provided that n ≥ (μ + 1)q. (This restriction does not interfere with writing the general case of ^m_μG⁽ⁿ⁾_q(γ; δ) as a linear combination of S_λ(γ ? δ).) As an application we deduce “conjugation” symmetry for ⁿ_μG⁽ⁿ⁾_q(γ; δ) from “transposition” symmetry by showing that these two symmetries are equivalent.     

A queueing model and a set of orthogonal polynomials

A single serving queueing model is studied where potential customers are discouraged at the rate λ_n = λqⁿ, 0 < q < 1, n is the queue length. The serving rate is μ_n = μ(1 ? qⁿ), n = 0, 1,…. The spectral function is computed and the corresponding set of orthogonal polynomials is studied in detail. The slightly more general model with $\text{λ}{}_{\mathrm{n}}\text{=}\text{λq}{}^{\mathrm{n}}\text{(1 + bq}{}^{\mathrm{n}}\text{)}\text{, μ}{}_{\mathrm{n}}\text{=}\text{μ(1 ? q}{}^{\mathrm{n}}\text{)}\text{(1 + bq}{}^{\mathrm{n}}\text{)}$ and the analogous orthogonal polynomials are also investigated. In both cases a method developed by Pollaczek is used which has been used very successfully to study new sets of orthogonal polynomials by Askey and Ismail.     

Group-theoretical generalization of necklace polynomials

Let G be a group, U a subgroup of G of finite index, X a finite alphabet and q an indeterminate. In this paper, we study symmetric polynomials M _G (X,U) and M_G^q(X,U)M_{G}^{q}(X,U) which were introduced as a group-theoretical generalization of necklace polynomials. Main results are to generalize identities satisfied by necklace polynomials due to Metropolis and Rota in a bijective way, and to express M_G^q(X,U)M_{G}^{q}(X,U) in terms of M _G (X,V)’s, where [V] ranges over a set of conjugacy classes of subgroups to which U is subconjugate. As a byproduct, we provide the explicit form of the GL _m (ℂ)-module whose character is M_\mathbbZ^q(X,n\mathbbZ)M_{\mathbb{Z}}^{q}(X,n\mathbb{Z}), where m is the cardinality of X.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ?_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ? ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ?_q,1(B _n )- module D^λ remains irreducible on restriction to ?_q(D _n ).     

A functional equation arising from multiplication of quantum integers

For the quantum integer [n]_q=1+q+q²+?+qⁿ⁻¹ there is a natural polynomial multiplication such that [m]_q⊗_q[n]_q=[mn]_q. This multiplication leads to the functional equation f_m(q)f_n(q^m)=f_mn(q), defined on a given sequence of polynomials. This paper contains various results concerning the construction and classification of polynomial sequences that satisfy the functional equation, as well open problems that arise from the functional equation.     

Minimally 3-restricted edge connected graphs

For a connected graph G=(V,E), an edge set S⊂E is a 3-restricted edge cut if G−S is disconnected and every component of G−S has order at least three. The cardinality of a minimum 3-restricted edge cut of G is the 3-restricted edge connectivity of G, denoted by λ₃(G). A graph G is called minimally 3-restricted edge connected if λ₃(G−e)<λ₃(G) for each edge e∈E. A graph G is λ₃-optimal if λ₃(G)=ξ₃(G), where , ω(U) is the number of edges between U and V?U, and G[U] is the subgraph of G induced by vertex set U. We show in this paper that a minimally 3-restricted edge connected graph is always λ₃-optimal except the 3-cube.     

Symmetry codes and their invariant subcodes

We define and study the invariant subcodes of the symmetry codes in order to be able to determine the algebraic properties of these codes. An infinite family of self-orthogonal rate $\text{1}\text{2}$ codes over GF(3), called symmetry codes, were constructed in [3]. A (2q + 2, q + 1) symmetry code, denoted by C(q), exists whenever q is an odd prime power ≡ ?1, (mod 3). The group of monomial transformations leaving a symmetry code invariant is denoted by G(q). In this paper we construct two subcodes of C(q) denoted by R_σ(q) and R_μ(q). Every vector in R_σ(q) is invariant under a monomial transformation τ in G(q) of odd order s where s divides (q + 1). Also R_μ(q) is invariant under τ but not vector-wise. The dimensions of R_σ(q) and R_μ(q) are determined and relations between these subcodes are given. An isomorphism is constructed between R_σ(q) and a subspace of $\text{W = V}{}_3{}^{\mathrm{<mtext>(2q+2)</mtext><mtext>s</mtext>}}$. It is shown that the image of R_σ(q) is a self-orthogonal subspace of W. The isomorphic images of R_σ(17) (under an order 3 monomial) and R_σ(29) (under an order 5 monomial) are both demonstrated to be equivalent to the (12, 6) Golay code.     

Classification des Objets Galoisiens de U q (𝔤) à Homotopie PrèS

Pour toute algèbre enveloppante quantique U_q(𝔤) de Drinfeld–Jimbo et toute famille λ = (λ_ij)1≤i ∈ k^? d'éléments inversibles du corps de base, nous construisons explicitement par générateurs et relations un objet galoisien A_λ de U_q(𝔤) et nous montrons que tout objet galoisien de U_q(𝔤) est homotope à un unique objet de la forme A_λ.

For any Drinfeld–Jimbo quantum enveloping algebra U_q(𝔤) and for any family λ = (λ_ij)_{1≤i ∈ k^? of invertible elements of the base field, we explicitly construct a Galois object Aλ of Uq(𝔤) by generators and relations and we prove that any Galois object of Uq(𝔤) is homotopic to a unique object of type Aλ.}     

Matching Realization of Uq（sln＋1） of Higher Rank in the Quantum Weyl Algebra Wq（2n）

In the paper, we further realize the higher rank quantized universal enveloping algebra Uq（sln＋1） as certain quantum differential operators in the quantum Weyl algebra Wq （2n） defined over the quantum divided power algebra Sq（n） of rank n. We give the quantum differential operators realization for both the simple root vectors and the non-simple root vectors of Uq（sln＋1）. The nice behavior of the quantum root vectors formulas under the action of the Lusztig symmetries once again indicates that our realization model is naturally matched.     

Compactified Jacobians and q,t-Catalan numbers, II

We continue the study of the rational-slope generalized q,t-Catalan numbers c _m,n (q,t). We describe generalizations of the bijective constructions of J. Haglund and N. Loehr and use them to prove a weak symmetry property c _m,n (q,1)=c _m,n (1,q) for m=kn±1. We give a bijective proof of the full symmetry c _m,n (q,t)=c _m,n (t,q) for min(m,n)≤3. As a corollary of these combinatorial constructions, we give a simple formula for the Poincaré polynomials of compactified Jacobians of plane curve singularities x ^kn±1=y ⁿ . We also give a geometric interpretation of a relation between rational-slope Catalan numbers and the theory of (m,n)-cores discovered by J. Anderson.     

Chain sequences and symmetric generalized orthogonal polynomials

In this paper, we derive an explicit expression for the parameter sequences of a chain sequence in terms of the corresponding orthogonal polynomials and their associated polynomials. We use this to study the orthogonal polynomials K_n^(λ,M,k) associated with the probability measure dφ(λ,M,k;x), which is the Gegenbauer measure of parameter λ+1 with two additional mass points at ±k. When k=1 we obtain information on the polynomials K_n^(λ,M) which are the symmetric Koornwinder polynomials. Monotonicity properties of the zeros of K_n^(λ,M,k) in relation to M and k are also given.     

Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces

Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D₄,E₆,E₇,E₈). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z??Z², where ? is 2, 3, 4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D₄ is the Cherednik algebra of type C^∨C₁, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI.     

Equalities on the number of conjugacy classes of the Sylow p-subgroups of GL(n,q)

We denote by Gn the group of the upper unitriangular matrices over F_q, the finite field with q = p^t elements, and r(G_n) the number of conjugacy classes of G_n. In this paper, we obtain the value of r(G_n) modulo (q² -1)(q -1). We prove the following equalities     

Invariant subspaces of analytic multiparticle Hamiltonians

The quantum mechanics of n particles interacting through analytic two-body interactions can be formulated as a problem of functional analysis on a Hilbert space $\text{G}$ consisting of analytic functions. On $\text{G}$, there is an Hamiltonian H with resolvent R(λ). These quantities are associated with families of operators H(?) and R(λ, ?) on $\text{L}$, the case ? = 0 corresponding to standard quantum mechanics. The spectrum of H(?) consists of possible isolated points, plus a number of half-lines starting at the thresholds of scattering channels and making an angle 2? with the real axis.Assuming that the two-body interactions are in the Schmidt class on the two-particle space $\text{G}$, this paper studies the resolvent R(λ, ?) in the case ? ≠ 0. It is shown that a well known Fredholm equation for R(λ, ?) can be solved by the Neumann series whenever ¦λ¦ is sufficiently large and λ is not on a singular half-line. Owing to this, R(λ, ?) can be integrated around the various half-lines to yield bounded idempotent operators P_p(?) (p = 1, 2,…) on $\text{L}$. The range of P_p(?) is an invariant subspace of H(?). As ? varies, the family of operators P_p(?) generates a bounded idempotent operator P_p on a space $\text{G}$. The range of this is an invariant subspace of H. The relevance of this result to the problem of asymptotic completeness is indicated.     

Some inverse results for Hill's equation

We consider Hill's equation y″+(λ−q)y=0 where q∈L¹[0,π]. We show that if l_n—the length of the n-th instability interval—is of order O(n^−(k+2)) then the real Fourier coefficients a_n^k,b_n^k of q^(k)—k-th derivative of q—are of order O(n⁻²), which implies that q^(k) is absolutely continuous almost everywhere for k=0,1,2,….     

Kostka functions associated to complex reflection groups and a conjecture of Finkelberg-Ionov

Kostka functions K_(λ,μ)~±(t), indexed by r-partitions λ and μ of n, are a generalization of Kostka polynomials K_(λ,μ)(t) indexed by partitions λ,μ of n. It is known that Kostka polynomials have an interpretation in terms of Lusztig's partition function. Finkelberg and Ionov(2016) defined alternate functions K_(λ,μ)(t) by using an analogue of Lusztig's partition function, and showed that K_(λ,μ)(t) ∈Z≥0[t] for generic μ by making use of a coherent realization. They conjectured that K_(λ,μ)(t) coincide with K_(λ,μ)~-(t). In this paper, we show that their conjecture holds. We also discuss the multi-variable version, namely, r-variable Kostka functions K_(λ,μ)~±(t_1,…,t_r).     

Representations of the Quantum Algebra Uq(un, 1)

The main aim of the paper is to study infinite-dimensional representations of the real form U _q (u _{n, 1}) of the quantized universal enveloping algebra U _q (gl _{n + 1}). We investigate the principal series of representations of U _q (u _{n, 1}) and calculate the intertwining operators for pairs of these representations. Some of the principal series representations are reducible. The structure of these representations is determined. Then we classify irreducible representations of U _q (u _{n, 1}) obtained from irreducible and reducible principal series representations. All *-representations in this set of irreducible representations are separated. Unlike the classical case, the algebra U _q (u _{n, 1}) has finite-dimensional irreducible *-representations.     

Potential theory associated with Uhlenbeck-Ornstein process

Some parallel results of Gross' paper (Potential theory on Hilbert space, J. Functional Analysis1 (1967), 123–181) are obtained for Uhlenbeck-Ornstein process U(t) in an abstract Wiener space (H, B, i). Generalized number operator $\text{N}$ is defined by $\text{N}$f(x) = ?lim_∈←0{E[f($\text{U}$(τ^∈_ξ))] ? f(x)}/E[τ^∈_ξ, where τ_x^? is the first exit time of U(t) starting at x from the ball of radius ? with center x. It is shown that $\text{N}$f(x) = ?trace D²f(x)+〈Df(x),x〉 for a large class of functions f. Let r_t(x, dy) be the transition probabilities of U(t). The λ-potential G_λf, λ > 0, and normalized potential Rf of f are defined by G_λf(X) = ∫₀^∞e^?λtr_tf(x) dt and Rf(x) = ∫₀^∞ [r_tf(x) ? r_tf(0)] dt. It is shown that if f is a bounded Lip-1 function then trace D²G_λf(x) ? 〈DG_λf(x), x〉 = ?f(x) + λG_λf(x) and trace D²Rf(x) ? 〈DRf(x), x〉 = ?f(x) + ∫_Bf(y)p₁(dy), where p₁ is the Wiener measure in B with parameter 1. Some approximation theorems are also proved.     

Hypergeometric series well-poised in SU(n) and a generalization of Biedenharn's G-functions

We prove that Holman's hypergeometric series well-poised in SU(n) satisfy a general difference equation. We make use of the “path sum” function developed by Biedenharn and this equation to show that a special class of these series, multiplied by simple products, may be regarded as a U(n) generalization of Biedenharn and Louck's G(Δ; X) functions for U(3). The fact that these generalized G-functions are polynomials follows from a detailed study of their symmetries and zeros. As a further application of our general difference equations, we give an elementary proof of Holman's U(n) generalization of the ₅F₄(1) summation theorem.