A functional model for the tensor product of level 1 highest and level −1 lowest modules for the quantum affine algebra

Let V(Λ_i) (resp., V(−Λ_j)) be a fundamental integrable highest (resp., lowest) weight module of . The tensor product V(Λ_i)V(−Λ_j) is filtered by submodules , n≥0, n≡i−j mod 2, where v_iV(Λ_i) is the highest vector and is an extremal vector. We show that F_n/F_n+2 is isomorphic to the level 0 extremal weight module V(n(Λ₁−Λ₀)). Using this we give a functional realization of the completion of V(Λ_i)V(−Λ_j) by the filtration (F_n)_n≥0. The subspace of V(Λ_i)V(−Λ_j) of -weight m is mapped to a certain space of sequences (P_n,l)_{n≥0,n≡i−jmod2,n−2l=m}, whose members P_n,l=P_n,l(X₁,…,X_lz₁,…,z_n) are symmetric polynomials in X_a and symmetric Laurent polynomials in z_k, with additional constraints. When the parameter q is specialized to , this construction settles a conjecture which arose in the study of form factors in integrable field theory.     

Markov-Type Inequalities for Products of Müntz Polynomials

Let Λ(λ_j)^∞_j=0 be a sequence of distinct real numbers. The span of {x^λ₀, x^λ₁, …, x^λ_n} over is denoted by M_n(Λ)span{x^λ₀, x^λ₁, …, x^λ_n}. Elements of M_n(Λ) are called Müntz polynomials. The principal result of this paper is the following Markov-type inequality for products of Müntz polynomials. T 2.1. LetΛ(λ_j)^∞_j=0andΓ(γ_j)^∞_j=0be increasing sequences of nonnegative real numbers. Let

Full-size image

Then

Full-size image

18(n+m+1)(λ_n+γ_m).In particular ,

Full-size image

Under some necessary extra assumptions, an analog of the above Markov-type inequality is extended to the cases when the factor x is dropped, and when the interval [0, 1] is replaced by [a, b](0, ∞).     

A random CLT for dependent random variables

We introduce a new condition for {Y_τn} to have the same asymptotic distribution that {Y_n} has, where {Y_n} is a sequence of random elements of a metric space (S, d) and {τ_n} is a sequence of random indices. The condition on {Y_n} is that max_iDnd(Y_i, Y_an)→^p0 as n → ∞, where D_n = {i: |k_i−k_an| ≤ δ_ank_an} and {δ_n} is a nonincreasing sequence of positive numbers. The condition on {τ_n} is that P(|(k_τn/k_an)−1| > δ_an) → 0 as n → ∞. Under these conditions, we will show that d(Y_τn, Y_an) → ^P0 and apply this result to the CLT for a general class of sequences of dependent random variables.     

On the spectral norms of Cauchy–Toeplitz and Cauchy–Hankel matrices

In this study, we have found upper and lower bounds for the spectral norm of Cauchy–Toeplitz and Cauchy–Hankel matrices in the forms T_n=[1/(a+(i−j)b)]ⁿ_i,j=1, H_n=[1/(a+(i+j)b)]ⁿ_i,j=1.     

Extremal values of continuants and transcendence of certain continued fractions

We prove a criterion for the transcendence of continued fractions whose partial quotients are contained in a finite set {b₁,…,b_r} of positive integers such that the density of occurrences of b_i in the sequence of partial quotients exists for 1ir. As an application we study continued fractions [0,a₁,a₂,a₃,…] with a_n=1+([nθ]modd) where θ is irrational and d2 is a positive integer.     

Rado Numbers fora(x+y)=bz

In the case of existence the smallest numberN=Ra_kis called a Rado number if it is guaranteed that anyk-coloring of the numbers 1, 2, …, Ncontains a monochromatic solution of a given system of linear equations. We will determine Ra_k(a, b) for the equationa(x+y)=bzifb=2 andb=a+1. Also, the case of monochromatic sequences {x_n} generated bya(x_n+x_n+1)=bx_n+2 is discussed.     

Stochastic convergence of weighted sums in normed linear spaces

Let X be a (real) separable Banach space, let {V_k} be a sequence of random elements in X, and let {a_nk} be a double array of real numbers such that lim_n→∞ a_nk = 0 for all k and Σ^∞_k=1 |a_nk| ≤ 1 for all n. Define S_n = Σⁿ_k=1 a_nk(V_k − EV_k). The convergence of {S_n} to zero in probability is proved under conditions on the coordinates of a Schauder basis or on the dual space of X and conditions on the distributions of {V_k}. Convergence with probability one for {S_n} is proved for separable normed linear spaces which satisfy Beck's convexity condition with additional restrictions on {a_nk} but without distribution conditions for the random elements {V_k}. Finally, examples of arrays {a_nk}, spaces, and applications of these results are considered.     

A weak law for normed weighted sums of random elements in rademacher type p banach spaces

For weighted sums Σ_{j = 1}ⁿa_jV_j of independent random elements {V_n, n ≥ 1} in real separable, Rademacher type p (1 ≤ p ≤ 2) Banach spaces, a general weak law of large numbers of the form (Σ_{j = 1}ⁿa_jV_j − v_n)/b_n →^p 0 is established, where {v_n, n ≥ 1} and b_n → ∞ are suitable sequences. It is assumed that {V_n, n ≥ 1} is stochastically dominated by a random element V, and the hypotheses involve both the behavior of the tail of the distribution of |V| and the growth behaviors of the constants {a_n, n ≥ 1} and {b_n, n ≥ 1}. No assumption is made concerning the existence of expected values or absolute moments of the {V_n, n >- 1}.     

Sharp estimates for Jacobi matrices and chain sequences, II

Chain sequences are positive sequences {c_n} of the form c_n=g_n(1−g_n−1) for a nonnegative sequence {g_n}. They are very useful in estimating the norms of Jacobi matrices and for localizing the interval of orthogonality for orthogonal polynomials. We give optimal estimates for the chain sequences which are more precise than the ones obtained in the paper (Constructive Approx. 6 (1990) 363) and in our earlier paper (J. Approx. Theory 118 (2002) 94).     

Cesàro Asymptotics for Orthogonal Polynomials on the Unit Circle and Classes of Measures

The convergence in L²( ) of the even approximants of the Wall continued fractions is extended to the Cesàro–Nevai class CN, which is defined as the class of probability measures σ with lim_n→∞ ∑ⁿ⁻¹_k=0 |a_k|=0, {a_n}_n0 being the Geronimus parameters of σ. We show that CN contains universal measures, that is, probability measures for which the sequence {|_n|² dσ}_n0 is dense in the set of all probability measures equipped with the weak-* topology. We also consider the “opposite” Szeg class which consists of measures with ∑^∞_n=0 (1−|a_n|²)^1/2<∞ and describe it in terms of Hessenberg matrices.     

Two New Classes of Difference Families

A Z-cyclic triplewhist tournament for 4n+1 players, or briefly a TWh(4n+1), is equivalent to a n-set {(a_i, b_i, c_i, d_i) | i=1, …, n} of quadruples partitioning Z_4n+1−{0} with the property that ⁿ_i=1 {±(a_i−c_i), ±(b_i−d_i)}=ⁿ_i=1 {±(a_i−b_i), ±(c_i−d_i)}=ⁿ_i=1 {±(a_i−d_i), ±(b_i−c_i)}=Z_4n+1−{0}. The existence problem for Z-cyclic TWh(p)'s with p a prime has been solved for p1 (mod 16). I. Anderson et al. (1995, Discrete Math.138, 31–41) treated the case of p≡5 (mod 8) while Y. S. Liaw (1996, J. Combin. Des.4, 219–233) and G. McNay (1996, Utilitas Math.49, 191–201) treated the case of p≡9 (mod 16). In this paper, besides giving easier proofs of these authors' results, we solve the problem also for primes p≡1 (mod 16). The final result is the existence of a Z-cyclic TWh(v) for any v whose prime factors are all≡1 (mod 4) and distinct from 5, 13, and 17.     

On a problem in additive number theory

For a set A, let P(A) be the set of all finite subset sums of A. We prove that if a sequence B={b ₁<b ₂<⋯} of integers satisfies b ₁≧11 and b _n+1≧3b _n +5 (n=1,2,…), then there exists a sequence of positive integers A={a ₁<a ₂<⋯} for which P(A)=ℕ∖B. On the other hand, if a sequence B={b ₁<b ₂<⋯} of positive integers satisfies either b ₁=10 or b ₂=3b ₁+4, then there is no sequence A of positive integers for which P(A)=ℕ∖B.     

Extremal problems concerning Kneser graphs

Let and be two intersecting families of k-subsets of an n-element set. It is proven that | | ≤ (_k−1ⁿ⁻¹) + (_k−1ⁿ⁻¹) holds for , and equality holds only if there exist two points a, b such that {a, b} ∩ F ≠ for all F . For an example showing that in this case max | | = (1−o(1))(_kⁿ) is given. This disproves an old conjecture of Erdös [7]. In the second part we deal with several generalizations of Kneser's conjecture.     

Characterization of generalized convex functions by their best approximation in sign-monotone norms

Let {u₀, u₁,… u_{n − 1}} and {u₀, u₁,…, u_n} be Tchebycheff-systems of continuous functions on [a, b] and let f ε C[a, b] be generalized convex with respect to {u₀, u₁,…, u_{n − 1}}. In a series of papers ([1], [2], [3]) D. Amir and Z. Ziegler discuss some properties of elements of best approximation to f from the linear spans of {u₀, u₁,…, u_{n − 1}} and {u₀, u₁,…, u_n} in the L_p-norms, 1 p ∞, and show (under different conditions for different values of p) that these properties, when valid for all subintervals of [a, b], can characterize generalized convex functions. Their methods of proof rely on characterizations of elements of best approximation in the L_p-norms, specific for each value of p. This work extends the above results to approximation in a wider class of norms, called “sign-monotone,” [6], which can be defined by the property: ¦ f(x)¦ ¦ g(x)¦,f(x)g(x) 0, a x b, imply f g . For sign-monotone norms in general, there is neither uniqueness of an element of best approximation, nor theorems characterizing it. Nevertheless, it is possible to derive many common properties of best approximants to generalized convex functions in these norms, by means of the necessary condition proved in [6]. For {u₀, u₁,…, u_n} an Extended-Complete Tchebycheff-system and f ε C⁽ⁿ⁾[a, b] it is shown that the validity of any of these properties on all subintervals of [a, b], implies that f is generalized convex. In the special case of f monotone with respect to a positive function u₀(x), a converse theorem is proved under less restrictive assumptions.     

Strong and weak convergence theorems for asymptotically nonexpansive mappings

Suppose K is a nonempty closed convex nonexpansive retract of a real uniformly convex Banach space E with P as a nonexpansive retraction. Let T :K→E be an asymptotically nonexpansive nonself-map with sequence {k_n}_n1[1,∞), limk_n=1, F(T):={xK: Tx=x}≠. Suppose {x_n}_n1 is generated iteratively by

where {α_n}_n1(0,1) is such that ε<1−α_n<1−ε for some ε>0. It is proved that (I−T) is demiclosed at 0. Moreover, if ∑_n1(k_n²−1)<∞ and T is completely continuous, strong convergence of {x_n} to some x^*F(T) is proved. If T is not assumed to be completely continuous but E also has a Fréchet differentiable norm, then weak convergence of {x_n} to some x^*F(T) is obtained.     

Completeness of Orthonormal Wavelet Systems for Arbitrary Real Dilations

It is shown that the discrete Calderón condition characterizes completeness of orthonormal wavelet systems, for arbitrary real dilations. That is, if a>1,b>0, and the system Ψ={a^j/2ψ(a^jx−bk):j,k } is orthonormal in L²( ), then Ψ is a basis for L²( ) if and only if ∑_j | (a^jξ)|²=b for almost every ξ . A new proof of the Second Oversampling Theorem is found, by similar methods.     

On the sequence of powers of a stochastic matrix with large exponent

We consider the class of primitive stochastic n×n matrices A, whose exponent is at least (n²−2n+2)/2+2. It is known that for such an A, the associated directed graph has cycles of just two different lengths, say k and j with k>j, and that there is an α between 0 and 1 such that the characteristic polynomial of A is λⁿ−αλ^n−j−(1−α)λ^n−k. In this paper, we prove that for any mn, if α1/2, then A^m+k−A^m_∞A^m−1w^T_∞, where 1 is the all-ones vector and w^T is the left-Perron vector for A, normalized so that w^T1=1. We also prove that if jn/2, n31 and , then A^m+j−A^m_∞A^m−1w^T_∞ for all sufficiently large m. Both of these results lead to lower bounds on the rate of convergence of the sequence A^m.     

Ratio asymptotics and weak asymptotic measures for orthogonal polynomials on the real line

We study ratio asymptotics, that is, existence of the limit of P_n+1(z)/P_n(z) (P_n= monic orthogonal polynomial) and the existence of weak limits of p_n² dμ (p_n=P_n/||P_n||) as n→∞ for orthogonal polynomials on the real line. We show existence of ratio asymptotics at a single z₀ with Im(z₀)≠0 implies dμ is in a Nevai class (i.e., a_n→a and b_n→b where a_n,b_n are the off-diagonal and diagonal Jacobi parameters). For μ's with bounded support, we prove p_n² dμ has a weak limit if and only if lim b_n, lim a_2n, and lim a_2n+1 all exist. In both cases, we write down the limits explicitly.     

Complex Roots of a Random Algebraic Polynomial

This paper, for any constantK, provides an exact formula for the average density of the distribution of the complex roots of equation η₀ + η₁z + η₂z² + ··· + η_{n − 1}z^{n − 1} = Kwhere η_j = a_j + ib_jand {a_j}^{n − 1}_{j = 0}and {b_j}^{n − 1}_{j = 0}are sequences of independent identically and normally distributed random variables andKis a complex number withKas its real and imaginary parts. The case of real roots of the above equation with real coefficients andK,z Ris well known. Further we obtain the limiting behaviour of this distribution function asntends to infinity.     

On Rado numbers for

For all integers m3 and all natural numbers a₁,a₂,…,a_m−1, let n=R(a₁,a₂,…,a_m−1) represent the least integer such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to

a₁x₁+a₂x₂++a_m−1x_m−1=x_m.