The almost sure representation of intermediate order statistics

Summary Let {X _n} be independent and identically distributed and let X _kn ⁽ⁿ⁾ denote the k _n-th order statistic for X ₁ ..., X _n, where k _n but k _n/n0. A representation for X _kn ⁽ⁿ⁾ in terms of the empirical distribution function is developed. The conditions include those under which X _kn ⁽ⁿ⁾ is asymptotically normal.Research partially supported by the University of North Carolina at Chapel Hill under Office of Naval Research Contract No. N00014-75-C-0809 and by The Florida State University under Office of Naval Research Contract No. N00014-76-C-0608.     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

Random walks on the torus with several generators

Given n vectors {_i} ∈ [0, 1)^d, consider a random walk on the d‐dimensional torus ??^d = ?^d/?^d generated by these vectors by successive addition and subtraction. For certain sets of vectors, this walk converges to Haar (uniform) measure on the torus. We show that the discrepancy distance D(Q*^k) between the kth step distribution of the walk and Haar measure is bounded below by D(Q*^k) ≥ C₁k^?n/2, where C₁ = C(n, d) is a constant. If the vectors are badly approximated by rationals (in a sense we will define), then D(Q*^k) ≤ C₂k^?n/2d for C₂ = C(n, d, _j) a constant. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

Matrix orthogonal Laurent polynomials and two-point Padé approximants

This paper is concerned with double sequencesC={C _n} _n ^=–/ of Hermitian matrices with complex entriesC _n M _s×s ) and formal Laurent seriesL ₀(z)=– _k=1 C _–k z ^k andL (z)= _k=0 C _k z ^–k . Making use of a Favard-type theorem for certain sequences of matrix Laurent polynomials which was obtained previously in [1] we can establish the relation between the matrix counterpart of the so-calledT-fractions and matrix orthogonal Laurent polynomials. The connection with two-point Padé approximants to the pair (L ₀,L ) is also exhibited proving that such approximants are Hermitian too. Finally, error formulas are also given.     

On the Elementary Retarded,Ultrahyperbolic Solution of the Klein-Gordon Operator,Iterated k Times

Let t = (t₁,…,t_n) be a point of ?ⁿ. We shall write . We put, by the definition, W_α(u, m) = (m^?2u)^{(α ? n)/4}[π^{(n ? 2)/2}2^{(α + n ? 2)/2}Г(α/2)]J_{(α ? n)/2}(m²u)^1/2; here α is a complex parameter, m a real nonnegative number, and n the dimension of the space. W_α(u, m), which is an ordinary function if Re α ≥ n, is an entire distributional function of α. First we evaluate {□ + m²}W_{α + 2}(u, m) = W_α(u, m), where {□ + m²} is the ultrahyperbolic operator. Then we express W_α(u, m) as a linear combination of R_α(u) of differntial orders; R_α(u) is Marcel Riesz's ultrahyperbolic kernel. We also obtain the following results: W_?2k(u, m) = {□ + m²}^kδ, k = 0, 1,…; W₀(u, m) = δ; and {□ + m²}^kW_2k(u, m) = δ. Finally we prove that W_α(u, m = 0) = R_α(u). Several of these results, in the particular case µ = 1, were proved earlier by a completely different method.     

A Coding Theory Bound and Zero-Sum Square Matrices

For a code C=C(n,M) the level k code of C, denoted C _k , is the set of all vectors resulting from a linear combination of precisely k distinct codewords of C. We prove that if k is any positive integer divisible by 8, and n=k, M=k2k then there is a codeword in C _k whose weight is either 0 or at most . In particular, if <(4–2)²/48 then there is a codeword in C _k whose weight is n/2–(n). The method used to prove this result enables us to prove the following: Let k be an integer divisible by p, and let f(k,p) denote the minimum integer guaranteeing that in any square matrix over Z _p , of order f(k,p), there is a square submatrix of order k such that the sum of all the elements in each row and column is 0. We prove that lim inf f(k,2)/k<3.836. For general p we obtain, using a different approach, that f(k,p)p( ^{k / ln k )(1+ o} _k ⁽¹⁾⁾.     

An asymptotic approximation of Wallis’ sequence

An asymptotic approximation of Wallis’ sequence W(n) = Π _k=1 ⁿ 4k ²/(4k ² − 1) obtained on the base of Stirling’s factorial formula is presented. As a consequence, several accurate new estimates of Wallis’ ratios w(n) = Π _k=1 ⁿ (2k−1)/(2k) are given. Also, an asymptotic approximation of π in terms of Wallis’ sequence W(n) is obtained, together with several double inequalities such as, for example,

The minimum independence number for designs

Fort=2,3 andk2t–1 we prove the existence oft–(n,k,) designs with independence numberC _,k n ^{(k–t)/(k–1)} (ln n) ^1/(k–1) . This is, up to the constant factor, the best possible.Some other related results are considered.Supported by NSF Grant DMS-9011850     

Lefschetz Complex Conditions for Complex Manifolds

For any compact complex manifold M with a compatible symplectic form, we consider the homomorphisms L _1,0: H ^1,0(M) H ^{{n, n–1}(M) and L _{0, 1}: H ^{0, 1}(M) H ^{n – 1, n} (M) given by the cup product with [] ^{n – 1}, n being the complex dimension of M andH ^{*, *}(M) the Dolbeault cohomology of M. We say that Mhas Lefschetz complex type (1, 0) (resp. (0, 1)) if L _{1, 0} (resp.L _{0, 1}) is injective. Such conditions can be considered as complexversions of the (real) Lefschetz condition studied by Benson and Gordonin [Topology 27 (1988), 513–518]for symplectic manifolds. Within the class of compactcomplex nilmanifolds, we prove that the injectivity of L _{1, 0}characterizes those complex structures which are Abelian in the sense ofBarberis et al. [Ann. Global Anal. Geom. 13 (1995), 289–301]. In contrast, complex tori are the only nilmanifolds having Lefschetz complex type (0, 1).     

Multiple Wiener-Ito integrals possessing a continuous extension

LetF(W) be a Wiener functional defined byF(W)=I _n(f) whereI _n(f) denotes the multiple Wiener-Ito integral of ordern of the symmetricL ²([0, 1] ⁿ ) kernelf. We show that a necessary and sufficient condition for the existence of a continuous extension ofF, i.e. the existence of a function ø(·) from the continuous functions on [0, 1] which are zero at zero to which is continuous in the supremum norms and for which ø(W)=F(W) a.s, is that there exists a multimeasure (dt ₁,...,dt _n ) on [0, 1] ⁿ such thatf(t ₁, ...,t _n ) = ((t ₁, 1]), ..., (t _n , 1]) a.e. Lebesgue on [0, 1] ⁿ . Recall that a multimeasure (A ₁,...,A _n ) is for every fixedi and every fixedA _i,...,A_i-1, A_i+1,...,A_n a signed measure inA _i and there exists multimeasures which are not measures. It is, furthermore, shown that iff(t ₁,t ₂, ...,t _n ) = ((t ₁, 1], ..., (t _n , 1]) then all the tracesf ^(k), off exist, eachf(^k) induces ann–2k multimeasure denoted by ^(k), the following relation holds

Divergence of the (C, 1) Means of d-dimensional Walsh-Fourier Series

In 1992, Móricz, Schipp and Wade [MSW] proved for functions in L log⁺ L(I ²) (I ² is the unit square) the a.e. convergence of the double (C, 1) means of the Walsh-Fourier series _n f f as min(n ₁, n ₂) , n = (n ₁, n ₂ N ²). In the same paper, they also proved the restricted convergence of the (C, 1) means of functions in L(I ²): (2 ⁿ 1,2 ⁿ 2)f f a.e. as min (n ₁, n ₂) provided |n ₁ – n ₂| < C. The aim of this paper is to demonstrate the sharpness of these results of Móricz, Schipp and Wade with respect to both the space L log⁺ L(I ²) and the restrictedness |n ₁ – n ₂| < C.     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

Largest planar matching in random bipartite graphs

For a distribution ?? over labeled bipartite (multi) graphs G = (W, M, E), |W| = |M| = n, let L(n) denote the size of the largest planar matching of G (here W and M are posets drawn on the plane as two ordered rows of nodes and edges are drawn as straight lines). We study the asymptotic (in n) behavior of L(n) for different distributions ??. Two interesting instances of this problem are Ulam's longest increasing subsequence problem and the longest common subsequence problem. We focus on the case where ?? is the uniform distribution over the k‐regular bipartite graphs on W and M. For k = o(n^1/4), we establish that $L(n) \slash \sqrt{kn}$ tends to 2 in probability when n → ∞. Convergence in mean is also studied. Furthermore, we show that if each of the n² possible edges between W and M are chosen independently with probability 0 < p < 1, then L(n)/n tends to a constant γ_p in probability and in mean when n → ∞. © 2002 Wiley Periodicals, Inc. Random Struct. Alg., 21: 162–181, 2002     

Linear widths of Hölder-Nikol'skii classes of periodic functions of several variables

We consider the linear widths _N (W _p ^r (Tⁿ), L_q) and _N (H _p ^r (Tⁿ), L_q) of the classesW _p ^r (Tⁿ) andH _p ^r (Tⁿ) of periodic functions of one or several variables in the spaceL _q. For the Sobolev classesW _p ^r (Tⁿ) of functions of one or several variables, we state some well-known results without proof; for the Hölder-Nikol'skii classesH _p ^r (Tⁿ), we state some well-known results, prove some new results, and present some previously unpublished proofs.Translated fromMatematicheskie Zametki, Vol. 59, No. 2, pp. 189–199, February, 1996.This research was partially supported by the Russian Foundation for Basic Research under grant No. 93-01-00237 and by the International Science Foundation under grant No. MP1000.     

On the rate of convergence of a regular martingale related to a branching random walk

Let M _n , n = 1, 2, ..., be a supercritical branching random walk in which the number of direct descendants of an individual may be infinite with positive probability. Assume that the standard martingale W _n related to M _n is regular and W is a limit random variable. Let a(x) be a nonnegative function regularly varying at infinity with index greater than −1. We present sufficient conditions for the almost-sure convergence of the series . We also establish criteria for the finiteness of EW ln⁺ Wa(ln⁺ W) and E ln⁺|Z _∞|a(ln⁺|Z _∞|), where and (M _n , Q _n ) are independent identically distributed random vectors not necessarily related to M _n . __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 3, pp. 326–342, March, 2006.     

Integral Operators in Sobolev Spaces on Domains with Boundary

Properties of integral operators with weak singularities arc investigated. It is assumed that G ? ?ⁿ is a bounded domain. The boundary δG should be smooth concerning the Sobolev trace theorem. It will be proved that the integral operators $\int {_G \frac{{f\left(\Theta \right)}}{{x - y|^{n - 1} }}u\left(\nu \right)d\partial G_\nu }$ and $ \int {_{\partial G} \frac{{f\left(\Theta \right)}}{{|x - y|^{n - 1} }}u\left(y \right)d\partial G_y }$ maps W_p^k(G) into W_p^k+1(G) and W_p^k?1(G) into W_p^k/p(G), respectively, and are bounded. Here θ ∈ S ? ?ⁿ, where S is the unit sphere. Furthermore, f possesses bounded first order derivatives and is bounded on S. Then applications to first order systems are discussed.     

Average Number of Real Roots of Random Harmonic Equations

Let {g_k}be a sequence of normally distributed independent random variables with mathematical expectation zero and variance unity. Let _k (t ) (k = 0, 1, 2,...) be the normalized Jacobi polynomials orthogonal with respect to the interval [ – 1, 1 ]. Then it is proved that the average number of real roots of the random equations, _k=0 ⁿ g_kk(1)=C where Cis a constant, is asymptotically equal to n/in the same interval when nis large and even for C as long as C=O (n ²).     

On the code generated by the incidence matrix of points and k-spaces in and its dual

In this paper, we study the p-ary linear code C_k(n,q), q=p^h, p prime, h1, generated by the incidence matrix of points and k-dimensional spaces in PG(n,q). For kn/2, we link codewords of C_k(n,q)C_k(n,q) of weight smaller than 2q^k to k-blocking sets. We first prove that such a k-blocking set is uniquely reducible to a minimal k-blocking set, and exclude all codewords arising from small linear k-blocking sets. For k<n/2, we present counterexamples to lemmas valid for kn/2. Next, we study the dual code of C_k(n,q) and present a lower bound on the weight of the codewords, hence extending the results of Sachar [H. Sachar, The F_p span of the incidence matrix of a finite projective plane, Geom. Dedicata 8 (1979) 407–415] to general dimension.     

Uniqueness of solutions of boundary-value problems for operator-differential equations on a finite segment and on a semiaxis

For the equationL ₀ x(t)+L ₁x(t)+...+L _n x ⁽ⁿ⁾(t)=O, whereL _k,k=0,1,...,n, are operators acting in a Banach space, we establish criteria for an arbitrary solutionx(t) to be zero provided that the following conditions are satisfied:x ^(1–1) (a)=0, 1=1, ..., p, andx ^(1–1) (b)=0, 1=1,...,q, for - <a< b< (the case of a finite segment) orx ^(1–1) (a)=0, 1=1,...,p, under the assumption that a solutionx(t) is summable on the semiaxista with its firstn derivatives.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 279–292, March, 1994.This research was supported by the Ukrainian State Committee on Science and Technology.