On feasible sets defined through Chebyshev approximation

LetZ be a compact set of the real space with at leastn + 2 points;f,h1,h2:Z continuous functions,h1,h2 strictly positive andP(x,z),x(x ₀,...,x _n ) ⁿ⁺¹,z , a polynomial of degree at mostn. Consider a feasible setM {x ⁿ⁺¹z Z, –h ₂(z) P(x, z)–f(z)h ₁(z)}. Here it is proved the null vector 0 of ⁿ⁺¹ belongs to the compact convex hull of the gradients ± (1,z,...,z ⁿ ), wherez Z are the index points in which the constraint functions are active for a givenx* M, if and only ifM is a singleton.This work was partially supported by CONACYT-MEXICO.     

Circles and spheres in pseudo-Riemannian geometry

Summary A totally umbilical pseudo-Riemannian submanifold with the parallel mean curvature vector field is said to be an extrinsic sphere. A regular curve in a pseudo-Riemannian manifold is called a circle if it is an extrinsic sphere. LetM be ann-dimensional pseudo-Riemannian submanifold of index (0n) in a pseudo-Riemannian manifold with the metricg and the second fundamental formB. The following theorems are proved. For ₀ = +1 or –1, ₁ = +1, –1 or 0 (2–2 ₀+ ₁2n–2–2) and a positive constantk, every circlec inM withg(c, c) = ₀ andg( _c c, _c c) = ₁ k ² is a circle in iffM is an extrinsic sphere. For ₀ = +1 or –1 (–₀n–), every geodesicc inM withg(c, c) = ₀ is a circle in iffM is constant isotropic and B(x,x,x) = 0 for anyx T(M). In this theorem, assume, moreover, that 1n–1 and the first normal space is definite or zero at every point. Then we can prove thatM is an extrinsic sphere. When = 0 orn, this fact does not hold in general.     

A limit theorem related to a new class of self similar processes

Summary We study partial sums of a stationary sequence of dependent random variables of the form . Here S _k =X ₁ + ... +X _k where the X _i are i.i.d. integer valued, and (n), n are also i.i.d. and independent of the X's. It is assumed that the X's and 's belong to the domains of attraction of different stable laws of indices 1<2 and 0<2. It is shown that for some > , n ^– W _[nt] converges weakly as n to a self similar process with stationary increments, which depends on and . The constant is related to and via =1– ^–1+()^–1.Supported by the NSF at Cornell UniversityTo Leo Schmetterer on his 60^th anniversary     

An improved asymptotic analysis of the expected number of pivot steps required by the simplex algorithm

Leta ₁ ...,a _m be i.i.d. points uniformly on the unit sphere in ⁿ ,m n 3, and letX:= {x ⁿ |a _i ^T x1} be the random polyhedron generated bya ₁, ...,a _m . Furthermore, for linearly independent vectorsu, in ⁿ , letS _u , (X) be the number of shadow vertices ofX inspan(u,). The paper provides an asymptotic expansion of the expectation value¯S _n,m := _in4 ¹ E(S _u, ) for fixedn andm .¯S _n,m equals the expected number of pivot steps that the shadow vertex algorithm — a parametric variant of the simplex algorithm — requires in order to solve linear programming problems of type max u ^T ,xX, if the algorithm will be started with anX-vertex solving the problem max ^T ,x X. Our analysis is closely related to Borgwardt's probabilistic analysis of the simplex algorithm. We obtain a refined asymptotic analysis of the expected number of pivot steps required by the shadow vertex algorithm for uniformly on the sphere distributed data.     

Eigenvalues of integral operators onL 2(I) given by analytic kernels

Let {_n} _n=0 be the eigenvalue sequence of a symmetric Hilbert-Schmidt operator onL ₂(I). WhenI is an open interval, a necessary condition for {_n} _n=0 to be in the sequence space is obtained. WhenI is a closed bounded interval, sufficient conditions for {_n} _n=0 to be in the sequence space ^– are obtained.     

Linear foliations ofT n

We present a definition of diophantine matrix and use this concept to distinguish two classes of minimal linear foliations ofT ⁿ, the diophantine and the Liouville one. Let _p , 1pn–1, denote a minimal (all leaves are dense) linearp-dimensional foliation ofT ⁿ, andH ^om(T ⁿ, _p ), 1mp, the cohomology group of type (0,m) of the foliated manifold (T ⁿ, _p ). Our main result is the computation of these groups.H ^om(T ⁿ, _p ) is isomorphic to if _p is diophantine and is an infinite dimensional non-Hausdorff vector space if _p is Liouville. Some of these groups were computed before, see [4], [6] and [9].     

The quality of the Diophantine approximations found by the Jacobi-Perron algorithm and related algorithms

Given a vector of real numbers=(₁,... _d ) ^d , the Jacobi-Perron algorithm and related algorithms, such as Brun's algorithm and Selmer's algorithm, produce a sequence of (d+1)×(d+1) convergent matrices {C⁽ⁿ⁾():n1} whose rows provide Diophantine approximations to . Such algorithms are specified by two mapsT:[0, 1] ^d [0, 1] ^d and A:[0,1] ^d GL(d+1,), which compute convergent matrices C⁽ⁿ⁾())...A(T())A(). The quality of the Diophantine approximations these algorithms find can be measured in two ways. The best approximation exponent is the upper bound of those values of for which there is some row of the convergent matrices such that for infinitely many values ofn that row of C⁽ⁿ⁾() has . The uniform approximation exponent is the upper bound of those values of such that for all sufficiently large values ofn and all rows of C⁽ⁿ⁾⁽⁾ one has . The paper applies Oseledec's multiplicative ergodic theorem to show that for a large class of such algorithms and take constant values and on a set of Lebesgue measure one. It establishes the formula where are the two largest Lyapunov exponents attached by Oseledec's multiplicative ergodic theorem to the skew-product (T, A,d), whered is aT-invariant measure, absolutely continuous with respect to Lebesgue measure. We conjecture that holds for a large class of such algorithms. These results apply to thed-dimensional Jacobi-Perron algorithm and Selmer's algorithm. We show that; experimental evidence of Baldwin (1992) indicates (nonrigorously) that. We conjecture that holds for alld2.     

Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

The Parametric Buffer Phenomenon for a Singularly Perturbed Telegraph Equation with a Pendulum Nonlinearity

We consider the boundary-value problem u _tt + u _t + (1 + cos2)sin u =² u _xx, u _x|_x=0=u_x|_x==0, where 0<1, =(1+)t, ,> 0, and the sign of is arbitrary. It is proved that for an appropriate choice of the external parameters and and for sufficiently small the number of exponentially stable solutions 2-periodic in can be made equal to an arbitrary predefined number.     

On the convergence in a restricted sense of multiple series

Z ^d — k=(k ₁, ...,k _d) k _j,d1.d- (8), . . a _k s _m= a _k s, >0 N, min (m ₁,...,m _d)N, ¦s _m–s¦. , , >0 N, min (m ₁,...,m _d)N min (n ₁,...,n _d)N, ¦s _m–s _n. . , (8) , >0 N, max (b ₁,...,b _d) N, m — Z ^d , m1, ¦s(b, m)¦ where      

A Bernstein result for energy minimizing hypersurfaces

We show that there are no entire, positive, stable solutions in ⁿ of the Euler equation corresponding to the singular variational integral ,>0, if+n<5.236.... Furthermore we prove a related result for smooth boundaries of least-energy |x _n+1||D _U | in ⁿ⁺¹.     

The convergence rates of empirical Bayes estimation in a multiple linear regression model

Empirical Bayes (EB) estimation of the parameter vector =(,²) in a multiple linear regression modelY=X+ is considered, where is the vector of regression coefficient, N(0,² I) and ² is unknown. In this paper, we have constructed the EB estimators of by using the kernel estimation of multivariate density function and its partial derivatives. Under suitable conditions it is shown that the convergence rates of the EB estimators areO(n ^{-(k-1)(k-2)/k(2k+p+1)}), where the natural numberk3, 1/3<<1, andp is the dimension of vector .The project is supported by the National Natural Science Foundation of China.     

Solution of a problem on the identification of parameters by the distribution of the maximum random variable: a multivariate normal case

In this paper we solve the problem of unique factorization of products ofn-variate nonsingular normal distributions with covariance matrices of the form , _ij =p _{i j} forij, = _i ² ,j=j,p0.     

Large deviations for the invariant measure of a reaction-diffusion equation with non-Gaussian perturbations

Summary In this paper we establish a large deviations principle for the invariant measure of the non-Gaussian stochastic partial differential equation (SPDE) _t v =v +f(x,v )+(x,v ) . Here is a strongly-elliptic second-order operator with constant coefficients, h:=DH _xx-h, and the space variablex takes values on the unit circleS ¹. The functionsf and are of sufficient regularity to ensure existence and uniqueness of a solution of the stochastic PDE, and in particular we require that 0<mM wherem andM are some finite positive constants. The perturbationW is a Brownian sheet. It is well-known that under some simple assumptions, the solutionv ² is aC ^k (S ¹)-valued Markov process for each 0<1/2, whereC (S ¹) is the Banach space of real-valued continuous functions onS ¹ which are Hölder-continuous of exponent . We prove, under some further natural assumptions onf and which imply that the zero element ofC (S ¹) is a globally exponentially stable critical point of the unperturbed equation _t ⁰ = ⁰ +f(x,⁰), that has a unique stationary distributionv ^K, on (C (S ¹), (C ^K (S ¹))) when the perturbation parameter is small enough. Some further calculations show that as tends to zero,v ^K, tends tov ^K,0, the point mass centered on the zero element ofC (S ¹). The main goal of this paper is to show that in factv ^K, is governed by a large deviations principle (LDP). Our starting point in establishing the LDP forv ^K, is the LDP for the process , which has been shown in an earlier paper. Our methods of deriving the LDP forv ^K, based on the LDP for are slightly non-standard compared to the corresponding proofs for finite-dimensional stochastic differential equations, since the state spaceC (S ¹) is inherently infinite-dimensional.This work was performed while the author was with the Department of Mathematics, University of Maryland, College Park, MD 20742, USA     

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Best approximation by splines on classes of periodic functions in the metric of L

We have obtained the exact value of the upper bound on the best approximations in the metric of L on the classes W^rH of functionsf C ₂ ^r for which ¦f ^(r) (x)-f ^(r) (x)) ¦ <(¦ x-xf) [ (t) is the upwards-convex modulus of continuity] by subspaces of r-th order polynomial splines of defect 1 with respect to the partitioning k/n.Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 655–664, November, 1976.     

An Extension of the Roots Separation Theorem

Let T _n be an n×n unreduced symmetric tridiagonal matrix with eigenvalues ₁<₂<< _n and W _k is an (n–1)×(n–1) submatrix by deleting the kth row and the kth column from T _n , k=1,2,...,n. Let _{12 n–1} be the eigenvalues of W _k . It is proved that if W _k has no multiple eigenvalue, then ₁<₁<₂<₂<< _n–1< _n–1< _n ; otherwise if _i = _i+1 is a multiple eigenvalue of W _k , then the above relationship still holds except that the inequality _i < _i+1< _i+1 is replaced by _i = _i+1= _i+1.     

Sur la convergence presque sure,au sens de Cesaro d'ordre α, 0<α<1, de variables aléatoires indepéndantes et identiquement distribuées

Summary We prove the following theorem: «Given 0<1, the (C, )-means of a sequence of i.i.d. random variables X _n converge a.s. iff E|X _n|^1/<.» For 1/2<1 and 0<<1/2 this result is essentially known. We give here a proof of the case =1/2; an important tool is a theorem of Hsu and Robbins [5].     

On translations of double rays in graphs

Let be an infinite graph, let be a double ray in , and letd andd denote the distance functions in and in , respectively. One calls anaxis ifd(x,y)=d (x,y) and aquasi-axis if lim infd(x,y)/d (x,y)>0 asx, y range over the vertex set of andd (x,y). The present paper brings together in greater generality results of R. Halin concerning invariance of double rays under the action of translations (i.e., graph automorphisms all of whose vertex-orbits are infinite) and results of M. E. Watkins concerning existence of axes in locally finite graphs. It is shown that if is a translation whose directionD() is a thin end, then there exists an axis inD() andD(^–1) invariant under ^r for somer not exceeding the maximum number of disjoint rays inD().The thinness ofD() is necessary. Further results give necessary conditions and sufficient conditions for a translation to leave invariant a quasi-axis.