Q-operator and factorised separation chain for Jack polynomials

Applying Baxter's method of the Q-operator to the set of Sekiguchi's commuting partial differential operators we show that Jack polynomials P_λ^(1/g) (χ₁, …, χ_n) …, χ_n) are eigenfunctions of a one-parameter family of integral operators Q_z. The operators Q_z are expressed in terms of the Dirichlet-Liouville n-dimensional beta integral. From a composition of n operators Q_zk we construct an integral operator S_n factorising Jack polynomials into products of hypergeometric polynomials of one variable. The operator S_n admits a factorisation described in terms of restricted Jack polynomials P_λ^(1/g) (x₁, …, x_k, 1, … 1). Using the operator Q_z for z = 0 we give a simple derivation of a previously known integral representation for Jack polynomials.     

The invariant polynomials characterizing U(n) tensor operators p, q,…, q, 0,…, 0 having maximal null space

We make use of the “path sum” function to prove that the family of stretched operator functions characterized by the operator irrep labels p,q,…,q, 0,…, 0 satisfy a pair of general difference equations. This family of functions is a generalization of Milne's p,q,…,q, 0, functions for U(n) and Biedenharn and Louck's p,q, 0 functions for U(3). The fact that this family of stretched operator functions are polynomials follows from a detailed study of their symmetries and zeros. As a further application of our general difference equations and symmetry properties we give an explicit formula for the polynomials characterized by the operator irrep labels p, 1, 0,…, 0.     

Prophet regions and sharp inequalities for pth absolute moments of martingales

Exact comparisons are made relating E|Y₀|^p, E|Y_n−1|^p, and E(max_j≤n−1 |Y_j|^p), valid for all martingales Y₀,…,Y_n−1, for each p ≥ 1. Specifically, for p > 1, the set of ordered triples {(x, y, z) : X = E|Y₀|^p, Y = E |Y_n−1|^p, and Z = E(max_j≤n−1 |Y_j|^p) for some martingale Y₀,…,Y_n−1} is precisely the set {(x, y, z) : 0≤x≤y≤z≤Ψ_n,p(x, y)}, where Ψ_n,p(x, y) = xψ_n,p(y/x) if x > 0, and = a_n−1,py if x = 0; here ψ_n,p is a specific recursively defined function. The result yields families of sharp inequalities, such as E(max_j≤n−1 |Y_j|^p) + ψ_n,p^*(a) E |Y₀|^p ≤ aE |Y_n−1|^p, valid for all martingales Y₀,…,Y_n−1, where ψ_n,p^* is the concave conjugate function of ψ_n,p. Both the finite sequence and infinite sequence cases are developed. Proofs utilize moment theory, induction, conjugate function theory, and functional equation analysis.     

The Number of Permutation Polynomials of a Given Degree Over a Finite Field

We relate the number of permutation polynomials in F_q[x] of degree d≤q−2 to the solutions (x₁,x₂,…,x_q) of a system of linear equations over F_q, with the added restriction that x_i≠0 and x_i≠x_j whenever i≠j. Using this we find an expression for the number of permutation polynomials of degree p−2 in F_p[x] in terms of the permanent of a Vandermonde matrix whose entries are the primitive pth roots of unity. This leads to nontrivial bounds for the number of such permutation polynomials. We provide numerical examples to illustrate our method and indicate how our results can be generalised to polynomials of other degrees.     

On reducibility of n-ary quasigroups

An n-ary operation Q:Σⁿ→Σ is called an n-ary quasigroup of order |Σ| if in the relation x₀=Q(x₁,…,x_n) knowledge of any n elements of x₀,…,x_n uniquely specifies the remaining one. Q is permutably reducible if Q(x₁,…,x_n)=P(R(x_σ(1),…,x_σ(k)),x_σ(k+1),…,x_σ(n)) where P and R are (n-k+1)-ary and k-ary quasigroups, σ is a permutation, and 1<k<n. An m-ary quasigroup S is called a retract of Q if it can be obtained from Q or one of its inverses by fixing n-m>0 arguments. We prove that if the maximum arity of a permutably irreducible retract of an n-ary quasigroup Q belongs to {3,…,n-3}, then Q is permutably reducible.     

A discrete Korovkin theorem

In this paper we give a sufficient condition for the pointwise Korovkin property on B(X), the space of bounded real valued functions on an arbitrary countable set X = {x_l,…, x_j,…}. Our theorem follows from its L_p(X, μ) analogue (and conversely); here 1 p < ∞ and μ is a positive finite measure on X such that μ({x_j}) > 0 for all j.     

Estimates of Freud-Christoffel functions for some weights with the whole real line as support

Upper and lower bounds for generalized Christoffel functions, called Freud-Christoffel functions, are obtained. These have the form λ_n,p(W,j,x) = infPW_Lp(R)/|P^(j)(X)| where the infimum is taken over all polynomials P(x) of degree at most n − 1. The upper and lower bounds for λ_n,p(W,j,x) are obtained for all 0 < p ∞ and J = 0, 1, 2, 3,… for weights W(x) = exp(−Q(x)), where, among other things, Q(x) is bounded in [− A, A], and Q″ is continuous in β(−A, A) for some A > 0. For p = ∞, the lower bounds give a simple proof of local and global Markov-Bernstein inequalities. For p = 2, the results remove some restrictions on Q in Freud's work. The weights considered include W(x) = exp(− ¦x¦^α/2), α > 0, and W(x) = exp(− exp(¦x¦)), > 0.     

Blumenthal''s Theorem for Laurent Orthogonal Polynomials

We investigate polynomials satisfying a three-term recurrence relation of the form B_n(x)=(x−β_n)B_n−1(x)−α_nxB_n−2(x), with positive recurrence coefficients α_n+1,β_n (n=1,2,…). We show that the zeros are eigenvalues of a structured Hessenberg matrix and give the left and right eigenvectors of this matrix, from which we deduce Laurent orthogonality and the Gaussian quadrature formula. We analyse in more detail the case where α_n→α and β_n→β and show that the zeros of B_n are dense on an interval and that the support of the Laurent orthogonality measure is equal to this interval and a set which is at most denumerable with accumulation points (if any) at the endpoints of the interval. This result is the Laurent version of Blumenthal's theorem for orthogonal polynomials.     

On Sobolev Orthogonality for the Generalized Laguerre Polynomials

The orthogonality of the generalized Laguerre polynomials, {L^(α)_n(x)}_n0, is a well known fact when the parameterαis a real number but not a negative integer. In fact, for −1<α, they are orthogonal on the interval [0, +∞) with respect to the weight functionρ(x)=x^αe^−x, and forα<−1, but not an integer, they are orthogonal with respect to a non-positive definite linear functional. In this work we will show that, for every value of the real parameterα, the generalized Laguerre polynomials are orthogonal with respect to a non-diagonal Sobolev inner product, that is, an inner product involving derivatives.     

Positive periodic solutions of higher-dimensional functional difference equations with a parameter

By using Krasnoselskii's fixed point theorem and upper and lower solutions method, we find some sets of positive values λ determining that there exist positive T-periodic solutions to the higher-dimensional functional difference equations of the form where A(n)=diag[a₁(n),a₂(n),…,a_m(n)], h(n)=diag[h₁(n),h₂(n),…,h_m(n)], a_j,h_j :Z→R⁺, τ :Z→Z are T -periodic, j=1,2,…,m, T1, λ>0, x :Z→R^m, f :R₊^m→R₊^m, where R₊^m={(x₁,…,x_m)^TR^m, x_j0, j=1,2,…,m}, R⁺={xR, x>0}.