Trace cocharacters and the Kronecker products of Schur functions

It follows from the theory of trace identities developed by Procesi and Razmyslov that the trace cocharacters arising from the trace identities of the algebra M_r(F) of r×r matrices over a field F of characteristic zero are given by TC_r,n=∑_λΛr(n)χ^λχ^λ where χ^λχ^λ denotes the Kronecker product of the irreducible characters of the symmetric group associated with the partition λ with itself and Λ_r(n) denotes the set of partitions of n with r or fewer parts, i.e. the set of partitions λ=(λ₁λ_k) with kr. We study the behavior of the sequence of trace cocharacters TC_r,n. In particular, we study the behavior of the coefficient of χ^(ν,n−m) in TC_r,n as a function of n where ν=(ν₁ν_k) is some fixed partition of m and n−mν_k. Our main result shows that such coefficients always grow as a polynomial in n of degree r−1.     

Strong limit theorems for quasi-orthogonal random fields

This is a systematic and unified treatment of a variety of seemingly different strong limit problems. The main emphasis is laid on the study of the a.s. behavior of the rectangular means ζ_mn = 1/(λ₁(m) λ₂(n)) Σ_i=1^m Σ_k=1ⁿ X_ik as either max{m, n} → ∞ or min{m, n} → ∞. Here {X_ik: i, k ≥ 1} is an orthogonal or merely quasi-orthogonal random field, whereas {λ₁(m): m ≥ 1} and {λ₂(n): n ≥ 1} are nondecreasing sequences of positive numbers subject to certain growth conditions. The method applied provides the rate of convergence, as well. The sufficient conditions obtained are shown to be the best possible in general. Results on double subsequences and 1-parameter limit theorems are also included.     

The Lebesgue Constant for Higher Order Hermite-Fejér Interpolation on the Chebyshev Nodes

For a fixed integer m ≥ 0, and for n = 1, 2, 3, ..., let λ_{2m, n}(x) denote the Lebesgue function associated with (0, 1,..., 2m) Hermite-Fejér polynomial interpolation at the Chebyshev nodes {cos[(2k−1) π/(2n)]: k=1, 2, ..., n}. We examine the Lebesgue constant Λ_{2m, n} max{λ_{2m, n}(x): −1 ≤ x ≤ 1}, and show that Λ_{2m, n} = λ_{m, n}(1), thereby generalising a result of H. Ehlich and K. Zeller for Lagrange interpolation on the Chebyshev nodes. As well, the infinite term in the asymptotic expansion of Λ_{2m, n)} as n → ∞ is obtained, and this result is extended to give a complete asymptotic expansion for Λ_{2, n}.     

A Remez-Type Inequality for Non-dense Müntz Spaces with Explicit Bound

LetΛ :=(λ_k)^∞_k=0be a sequence of distinct nonnegative real numbers withλ₀ :=0 and ∑^∞_k=1 1/λ_k<∞. Let(0, 1) and(0, 1−) be fixed. An earlier work of the authors shows that [formula]is finite. In this paper an explicit upper bound forC(Λ, , ) is given. In the special caseλ_k :=k^α,α>1, our bounds are essentially sharp.     

On the L convergence of Lagrange interpolating entire functions of exponential type

Let f: be a continuous, 2π-periodic function and for each n ε let t_n(f; ·) denote the trigonometric polynomial of degree n interpolating f in the points 2kπ/(2n + 1) (k = 0, ±1, …, ±n). It was shown by J. Marcinkiewicz that lim_{n → ∞} ∝₀^2π¦f(θ) − t_n(f θ)¦^p dθ = 0 for every p > 0. We consider Lagrange interpolation of non-periodic functions by entire functions of exponential type τ > 0 in the points kπ/τ (k = 0, ± 1, ± 2, …) and obtain a result analogous to that of Marcinkiewicz.     

Rate of Convergence of Positive Series

We investigate the rate of convergence of series of the form

On the Behaviour of Zeros of Jacobi Polynomials

Denote by x_n,k(α,β) and x_n,k(λ)=x_n,k(λ−1/2,λ−1/2) the zeros, in decreasing order, of the Jacobi polynomial P^(α,β)_n(x) and of the ultraspherical (Gegenbauer) polynomial C^λ_n(x), respectively. The monotonicity of x_n,k(α,β) as functions of α and β, α,β>−1, is investigated. Necessary conditions such that the zeros of P^(a,b)_n(x) are smaller (greater) than the zeros of P^(α,β)_n(x) are provided. A. Markov proved that x_n,k(a,b)<x_n,k(α,β) (x_n,k(a,b)>x_n,k(α,β)) for every n and each k, 1kn if a>α and b<β (a<α and b>β). We prove the converse statement of Markov's theorem. The question of how large the function f_n(λ) could be such that the products f_n(λ)x_n,k(λ), k=1,…,[n/2] are increasing functions of λ, for λ>−1/2, is also discussed. Elbert and Siafarikas proved that f_n(λ)=(λ+(2n²+1)/(4n+2))^1/2 obeys this property. We establish the sharpness of their result.     

A pointwise convergence for Sobolev space functions

Let 1<p<∞, and k,m be positive integers such that 0(k−2m)pn. Suppose ΩRⁿ is an open set, and Δ is the Laplacian operator. We will show that there is a sequence of positive constants c_j such that for every f in the Sobolev space W^k,p(Ω), for all xΩ except on a set whose Bessel capacity B_k−2m,p is zero.     

Multi-Resolution Analysis of Multiplicity d: Applications to Dyadic Interpolation

This paper studies the Multi-Resolution Analyses of multiplicity d (d *), that is, the families (V_n)_n of closed subspaces in ²( ) such that V_n V_{n + 1}, V_{n + 1} = DV_n, where Dƒ(x) = ƒ(2x), and such that there exists a Riesz basis for V₀ of the form {φ_i(· − k), i = 1, . . . , d,k }, with φ₁, . . . , φ_d V₀. Using the Fourier transform, we prove that (λ) = ^t[ ₁(λ), . . . , _d(λ)] = H(λ/2) (λ/2), where H is in the set _d of continuous 1-periodic functions taking values in (d, ). If d = 1, the definition corresponds to the standard Multi-Resolution Analyses, and one can characterize the regular 1-periodic complex-valued functions H (called, then, scaling filters) which yield a Multi-Resolution Analysis. In this paper, we generalize this study to d ≥ 2 by giving conditions on H _d so that there exists = ^t[ ₁, . . . , _d] in ²( , ^d) solution of (λ) = H(λ/2) (λ/2), and so that the integer translates of φ₁, . . . , φ_d form a Riesz family. Then, the latter span the space V₀ of a Multi-Resolution Analysis of multiplicity d. We show that the conditions on H focus on the zeros of det H(·) and on simple spectral hypotheses for the operator P_H defined on _d by P_HF(λ) = H(λ/2)F(λ/2)H(λ/2)* + H(λ/2 + 1/2)F(λ/2 + 1/2)H(λ/2 + 1/2)*. Finally, we explore connections with the order r dyadic interpolation schemes, where r *.     

On the Maximal Multiplicity of Parts in a Random Integer Partition

We study the asymptotic behavior of the maximal multiplicity μ_n = μ_n(λ) of the parts in a partition λ of the positive integer n, assuming that λ is chosen uniformly at random from the set of all such partitions. We prove that πμ_n/(6n)^1/2 converges weakly to max _jX_j/j as n→∞, where X₁, X₂, … are independent and exponentially distributed random variables with common mean equal to 1.2000 Mathematics Subject Classification: Primary—05A17; Secondary—11P82, 60C05, 60F05     

Bounded edge-connectivity and edge-persistence of Cartesian product of graphs

The bounded edge-connectivity λ_k(G) of a connected graph G with respect to is the minimum number of edges in G whose deletion from G results in a subgraph with diameter larger than k and the edge-persistence D⁺(G) is defined as λ_d(G)(G), where d(G) is the diameter of G. This paper considers the Cartesian product G₁×G₂, shows λ_k1+k2(G₁×G₂)≥λ_k1(G₁)+λ_k2(G₂) for k₁≥2 and k₂≥2, and determines the exact values of D⁺(G) for G=C_n×P_m, C_n×C_m, Q_n×P_m and Q_n×C_m.     

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.     

On the evaluation of the Eigenvalues of a banded toeplitz block matrix

Let A = (a_ij) be an n × n Toeplitz matrix with bandwidth k + 1, K = r + s, that is, a_ij = a_j−i, i, J = 1,… ,n, a_i = 0 if i > s and if i < -r. We compute p(λ)= det(A - λI), as well as p(λ)/p′(λ), where p′(λ) is the first derivative of p(λ), by using O(k log k log n) arithmetic operations. Moreover, if a_i are m × m matrices, so that A is a banded Toeplitz block matrix, then we compute p(λ), as well as p(λ)/p′(λ), by using O(m³k(log² k + log n) + m²k log k log n) arithmetic operations. The algorithms can be extended to the computation of det(A − λB) and of its first derivative, where both A and B are banded Toeplitz matrices. The algorithms may be used as a basis for iterative solution of the eigenvalue problem for the matrix A and of the generalized eigenvalue problem for A and B.     

Uniform Estimates for a Class of Evolution Equations

L^∞ estimates are derived for the oscillatory integral ∫⁺₀^∞e^{−i(xλ + (1/m) tλm)}a(λ) dλ, where 2 ≤ m and (x, t) × ₊. The amplitude a(λ) can be oscillatory, e.g., a(λ) = e^{it (λ)} with (λ) a polynomial of degree ≤ m − 1, or it can be of polynomial type, e.g., a(λ) = (1 + λ)^k with 0 ≤ k ≤ (m − 2). The estimates are applied to the study of solutions of certain linear pseudodifferential equations, of the generalized Schrödinger or Airy type, and of associated semilinear equations.     

Julia Sets of Certain Exponential Functions

We characterize the Julia sets of certain exponential functions. We show that the Julia sets J(F_λn) of F_λn(z) = λ_ne^zn where λ_n > 0 is the whole plane , provided that lim_k → ∞ F^k_λn(0) = ∞. In particular, this is true when λ_n are real numbers such that . On the other hand, if , then J(F_λn) is nowhere dense in and is the complement of the basin of attraction of the unique real attractive fixed point of F_λn. We then prove similar results for the functions[formula] where λ_i    − {0}, 1 ≤ i ≤ n + 1, a_j > 1, 1 ≤ j ≤ n, and m, n ≥ 1.     

Error bounds for multidimensional Laplace approximation

A numerical estimate is obtained for the error associated with the Laplace approximation of the double integral I(λ) = ∝∝_D g(x,y) e^−λf(x,y) dx dy, where D is a domain in , λ is a large positive parameter, f(x, y) and g(x, y) are real-valued and sufficiently smooth, and ∝(x, y) has an absolute minimum in D. The use of the estimate is illustrated by applying it to two realistic examples. The method used here applies also to higher dimensional integrals.     

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.     

A note on the largest eigenvalue of a large dimensional sample covariance matrix

Let {v_ij; i, J = 1, 2, …} be a family of i.i.d. random variables with E(v₁₁⁴) = ∞. For positive integers p, n with p = p(n) and p/n → y > 0 as n → ∞, let M_n = (1/n) V_n V_n^T , where V_n = (v_ij)_{1 ≤ i ≤ p, 1 ≤ j ≤ n}, and let λ_max(n) denote the largest eigenvalue of M_n. It is shown that a.s. This result verifies the boundedness of E(v₁₁⁴) to be the weakest condition known to assure the almost sure convergence of λ_max(n) for a class of sample covariance matrices.     

L∞-upper bound of L2-projections onto splines at a geometric mesh

For an integer k 1 and a geometric mesh (qⁱ)_−∞^∞ with q ε (0, ∞), let M_i,k(x): = k[q^{i + k}](· − x)₊^{k − 1}, N_i,k(x): = (q^{i + k} − qⁱM_i,k(x)/k, and let A_k(q) be the Gram matrix (∝M_i,kN_j,k)_i,jεz. It is known that A_k(q)⁻¹_∞ is bounded independently of q. In this paper it is shown that A_k(q)⁻¹_∞ is strictly decreasing for q in [1, ∞). In particular, the sharp upper bound and lower bound for A_k (q)⁻¹ are obtained: for all q ε (0, ∞).