On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

Algebraic polynomial bases of space LP

Let (_n) be a system, close to the orthonormal complete system (x _n). An estimate is obtained for the deviation of the system {f_n}, obtained from {_n} by Schmidt's method, from the system {x_n}. This estimate is used to show that, in any L_P(–1,1), withp (1,4/3] [4,), and for any >e¦4 = i,13..., there exists an orthogonal algebraic system (P _n (x)) _n=0 , forming a basis in L_P and such that _n = degP _n (x) n for n>n_o(p,).Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 223–230, February, 1978.     

On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .     

Weak distributive laws and their role in lattices of congruences and equational theories

By a result of Pigozzi and Kogalovskii, every algebraic latticeL having a completely join —irreducible top element can be represented as the lattice L() of equational theories extending some fixed theory . Conversely, strengthening a recent result due to Lampe, we show that such a representationL=L() forcesL to satisfy the following condition: if the top element ofL is the join of a nonempty subsetB ofL then there are elementsb..., B such thata=(... (((b₁ a) b₂) a) ... b_n) a for alla L. In presence of modularity, this equation reduces to the identitya=(a b₁) ... (a b_n). Motivated by these facts, we study several weak forms of distributive laws in arbitrary lattices and related types of prime elements. The main tool for applications to universal algebra is a generalized version of Lampe's Zipper Lemma.Presented by Ralph Freese.     

An iterative process for nonlinear lipschitzian and strongly accretive mappings in uniformly convex and uniformly smooth Banach spaces

SupposeX is ans-uniformly smooth Banach space (s > 1). LetT: X X be a Lipschitzian and strongly accretive map with constantk (0, 1) and Lipschitz constantL. DefineS: X X bySx=f–Tx+x. For arbitraryx ₀ X, the sequence {x_n} _n=1 is defined byx _n+1=(1– _n)x_n+ _nSy_n,y _n=(1– _n)x_n+ _nSx_n,n0, where {_n} _n=0 , {_n} _n=0 are two real sequences satisfying: (i) 0 _n ^p–1 2^–1s(k+k _n–L ²_n)(w+h)^–1 for eachn, (ii) 0 _n ^p–1 min{k/L², sk/(+h)} for eachn, (iii) _{n n}=, wherew=b(1+L)^s andb is the constant appearing in a characteristic inequality ofX, h=max{1, s(s-l)/2},p=min {2, s}. Then {x_n} _n=1 converges strongly to the unique solution ofTx=f. Moreover, ifp=2, _n=2^–1s(k +k–L²)(w+h)^–1, and _n= for eachn and some 0 min {k/L², sk/(w + h)}, then x_{n + 1}–q ^n/sx₁-q, whereq denotes the solution ofTx=f and=(1 – 4^–1s²(k +k – L ²)²(w + h)^–1 (0, 1). A related result deals with the iterative approximation of Lipschitz strongly pseudocontractive maps inX. SupposeX ism-uniformly convex Banach spaces (m > 1) andc is the constant appearing in a characteristic inequality ofX, two similar results are showed in the cases of L satisfying (1 – c²)(1 + L)^m < 1 + c – cm(l – k) or (1 – c²)L^m < 1 + c – cm(1 – s).     

Perturbation bounds for theLDL H andLU decompositions

LetA andA+A be Hermitian positive definite matrices. Suppose thatA=LDL ^H and (A+A)=(L+L)(D+D)(L+L)^H are theLDL ^H decompositons ofA andA+A, respectively. In this paper upper bounds on |D| _F and |L| _F are presented. Moreover, perturbation bounds are given for theLU decomposition of a complexn ×n matrix.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

The order of approximation to functions of the Zα. Class by means of positive linear operators

Let C_n (, ) be the upper bound for deviations of periodic functions which form the Zygmund class Z,0 0<<2 from a class of positive linear operators. A study is made of the conditions under which there exists a limit nC_n(, )=C(, ). An explicit expression is given for the functions C(,).Translated from Matematicheskie Zametki, Vol. 4, No. 2, pp. 201–210, August, 1968.     

Resolvent of the Toeplitz operator may increase arbitrarily fast

It is proved that for every sequence of points _n from the unit circle, _n1, and for an arbitrary sequence of positive numbers A_n, A_n, there exists a continuous real function u, such that for the Toeplitz operator T (acting in the Hardy space H²) with the symbol =e ^iu we have the estimates (T–_nI)^–1>A_n, n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 175–177, 1987.     

Excesses of systems of exponential functions

Conditions on the closeness of real sequences {_n} and {_n} are studied which imply the equality of the excesses of the systems {exp(i_nx)} and {exp(i_nx)} in the space L²(–a, a). A theorem is formulated in terms of the difference of the sequences {_n} and {_n} enumerating the functions. In the corollaries of the theorem, conditions are given in terms of the behavior of the difference _n–_n0. An example is constructed showing that the condition _n–_n0 alone is not sufficient for equality of the excesses.Translated from Matematicheskie Zametki, Vol. 22, No. 6, pp. 803–814, December, 1977.     

On some properties of multiple conjugate trigonometric series

We have obtained an estimate, in terms of partial and mixed moduli, of the continuity of deviation of the Cesáro (C, ) means ( = (₁,...,_n),_i , ₁ > –1, ) of the sequence of rectangular partial sums ofn-multiple (n>1) conjugate trigonometric series from then-multiple truncated conjugate function. This estimate implies the result on them -convergence (1) of (C, ) means (₁ > 0, ) provided that the essential conditions are imposed on the partial moduli of continuity. Finally, it is shown that them -convergence cannot be replaced by ordinary convergence.     

Isomorphisms of Steinberg groups over commutative rings

LetA andR be commutative rings, andm andn be integers3. It is proved that, if :St _m (A)St _n (R) is an isomorphism, thenm=n. Whenn4, we have: (1) Every isomorphism :St _n(A)St _n(R) induces an isomorphism:E _n (A)E _n (R), and is uniquely determined by; (2) IfSt _n (A) St _n (R) thenK _2.n (A)K _2.n (R); (3) Every isomorphismE _n (A) E _n (R) can be lifted to an isomorphismSt _n(A)St _n(R); (4)St _n(A) St _n(R) if and only ifAR. For the casen=3, ifSt ₃(A) andSt ₃(R) are respectively central extensions ofE ₃(A) andE ₃ (R), then the above (1) and (2) hold.The Project supported by National Natural Science Foundation of China     

Darstellung einer Ordnung von Maßen durch Stoppzeiten

Summary Given a stochastic matrixP on the state spaceI an ordering for measures inI can be defined in the following way: iff(f)(f) for allf in a sufficiently rich subcone of the cone of positiveP-subharmonic functions. It is shown that, if, are probability measures with , then in theP-process (X _n)_n0 having as initial distribution there exists a stopping time such thatX is distributed according to. In addition, can be chosen in such a way, that for every positive subharmonicf with(f)< the submartingale (f(X _n))_n0 is uniformly integrable.     

Two variable <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis> functions attached to eigenfamilies of positive slope

Consider a classical cusp eigenform f= _n=1 a _n (f)q ⁿ of weight k2 for ₀(N) with a Dirichlet character mod N, and let L _f (s,)= _n=1 (n)a _n (f)n ^-s denote the L-function of f twisted with an arbitrary Dirichlet character . For a prime number p5, consider a family of cusp eigenforms f _(k) of weight k , k {f _(k)= _n=1 a _n (f _(k))q ⁿ } containing f=f _(k), such that the Fourier coefficients a _n (f _(k)) are given by certain p-adic analytic functions k a _n (f _(k)). The purpose of this paper is to construct a two variable p-adic L function attached to Colemans family {f _(k)} of cusp eigenforms of a fixed positive slope =v _p ( _p )>0 where _p = _p (k ) is an eigenvalue (which depends on k ) of the Atkin operator U=U _p . Our p-adic L-function interpolates the special values L _f(k)(s,) at points (s,k ) with s=1,2,...,k -1. We give a construction using the Rankin-Selberg method and the theory of p-adic integration on a profinite group Y with values in an affinoid K-algebra A, where K is a fixed finite extension of Q _p . Our p-adic L-functions are p-adic Mellin transforms of certain A-valued measures. In their turn, such measures come from Eisenstein distributions with values in certain Banach A-modules M =M (N;A) of families of overconvergent forms over A. To Robert Alexander Rankin in memoriam     

On the speed of convergence in the central limit theorem of log-likelihood ratio processes

Let , the parameter space, be an open subset ofR ^k ,k1. For each , let the r.v.'sX _n ,n=1, 2,... be defined on the probability space (X, P ) and take values in (S,S,L) whereS is a Borel subset of a Euclidean space andL is the -field of Borel subsets ofS. ForhR _k and a sequence of p.d. normalizing matrices _n = _n ^{k × k} (₀ set _n ^* = ^* = ₀ + _n h, where ₀ is the true value of , such that ^*, . Let _n (^*, _*)( be the log-likelihood ratio of the probability measure with respect to the probability measure , whereP _n is the restriction ofP over _n = (X ₁,X ₂,...,X _n . In this paper we, under a very general dependence setup obtain a rate of convergence of the normalized log-likelihood ratio statistic to Standard Normal Variable. Two examples are taken into account.     

Parameter-dependent renewal theorems with applications

Let ₁, ₂, ... be a sequence of i.i.d. random variables with positive mean and finite variance and letr(b), b0, be real numbers tending to 0 asb . Definings _n=₁+...+_n andS _n=S_n(b)=s_n+r(b)n, the stopping time =(b)=inf {n>/1:S_n >b} whereb=b(b) , will be considered with special regard to the excess over the boundaryR _b=s+r(b)–b. It turns out that the limiting distribution ofR _b is the same as in the caser(b)0 for allb. Proving this, Blackwell's renewal theorem and its integral version have to be established first in the above stated situation. Finally, an expansion ofE to vanishing terms asb will be provided and applied to some examples arising in economics.

---

Zusammenfassung Seien ₁, ₂, ... unabhängige identisch verteilte Zufallsgrößen mit positivem Erwartungswert und endlicher Varianz sowier(b), b0, reelle Zahlen mitr(b)0 für b. Sei ferners ₁, s₂, ... der zugehörige Summenprozeß,S _n= S_n(b)=s_n+r(b)n fürn1 und =(b)=inf {n1: S_n>b, wobeib=b(b) fürb . Es wird gezeigt, daß die asymptotische Verteilung des ExzessesR _b=s +r(b) –b mit der im Fallr(·)0 übereinstimmt. Dazu werden sowohl das Blackwellsche Erneuerungstheorem als auch seine Integralversion in der vorher beschriebenen parameterabhängigen Situation geeignet formuliert und bewiesen. Als Folgerung ergibt sich dann eine asymptotische Entwicklung vonE(b) fürb bis zu Termen o(1). Anh- and einiger Beispiele aus dem ökonomischen Bereich wird schließlich noch aufgezeigt, wo Approximationen fürE(b) von Interesse sein können.

     

Probabilistic analysis of an algorithm for solving thek-dimensional all-nearest-neighbors problem by projection

A well-known simple heuristic algorithm for solving the all-nearest-neighbors problem in thek-dimensional Euclidean spaceE ^k ,k>1, projects the given point setS onto thex-axis. For each pointq S a nearest neighbor inS under anyL _p -metric (1 p ) is found by sweeping fromq into two opposite directions along thex-axis. If _q denotes the distance betweenq and its nearest neighbor inS the sweep process stops after all points in a vertical 2 _q -slice centered aroundq have been examined. We show that this algorithm solves the all-nearest-neighbors problem forn independent and uniformly distributed points in the unit cube [0,1] ^k in (n ^2–1/k ) expected time, while its worst-case performance is (n ²).     

On the Densities of Certain Lattice Packings by Parallelepipeds

Given any (non-degenerate) n-dimensional lattice L, let (L) denote the supremum of the numbers such that there exists a lattice packing Q + L of density where Q is some o-symmetric parallelepiped with faces parallel to the coordinate axes. Many efforts have been made to determine or estimate the minimal such density _n taken over all n-dimensional lattices. It is known that 0$$ " align="middle" border="0"> . Here we investigate a sequence of lattices L _n which are known to minimize the function (L) in dimensions n 3 and are likely to provide the minima _n = (L _n ) in certain higher dimensions. We establish the inequality (L _n ) n ^–n/2 which supports the conjecture that lim sup _n ( _n )^{1/(n log n)} is positive.     

The Kronecker Product of Schur Functions Indexed by Two-Row Shapes or Hook Shapes

The Kronecker product of two Schur functions s and s , denoted by s * s , is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group corresponding to the partitions and . The coefficient of s in this product is denoted by , and corresponds to the multiplicity of the irreducible character in .We use Sergeev's Formula for a Schur function of a difference of two alphabets and the comultiplication expansion for s [XY] to find closed formulas for the Kronecker coefficients when is an arbitrary shape and and are hook shapes or two-row shapes.Remmel (J.B. Remmel, J. Algebra 120 (1989), 100–118; Discrete Math. 99 (1992), 265–287) and Remmel and Whitehead (J.B. Remmel and T. Whitehead, Bull. Belg. Math. Soc. Simon Stiven 1 (1994), 649–683) derived some closed formulas for the Kronecker product of Schur functions indexed by two-row shapes or hook shapes using a different approach. We believe that the approach of this paper is more natural. The formulas obtained are simpler and reflect the symmetry of the Kronecker product.     

Shift invariant spaces inL 2

If is a complex, separable Hilbert space, letL ² () denote theL ²-space of functions defined on the unit circle and having values in . The bilateral shift onL ²() is the operator (U f)()=f(). A Hilbert spaceH iscontractively contained in the Hilbert spaceK ifHK and the inclusion mapH–K is a contraction. We describe the structure of those Hilbert spaces, contractively contained inL ²(), that are carried into themselves contractively byU . We also do this for the subcase of those spaces which are carried into themselves unitarily byU .