Penultimate limiting forms in extreme value theory

Summary Let {X _n}_n≧1 be a sequence of independent, identically distributed random variables. If the distribution function (d.f.) ofM _n=max (X ₁,…,X _n), suitably normalized with attraction coefficients {α_n}_n≧1(α_n>0) and {b _n}_n≧1, converges to a non-degenerate d.f.G(x), asn→∞, it is of interest to study the rate of convergence to that limit law and if the convergence is slow, to find other d.f.'s which better approximate the d.f. of(M _n−b_n)/a_n thanG(x), for moderaten. We thus consider differences of the formF ⁿ(a_nx+b_n)−G(x), whereG(x) is a type I d.f. of largest values, i.e.,G(x)≡Λ(x)=exp (-exp(−x)), and show that for a broad class of d.f.'sF in the domain of attraction of Λ, there is a penultimate form of approximation which is a type II [Ф _α(x)=exp (−x^−α), x>0] or a type III [Ψ _α(x)= exp (−(−x)^α), x<0] d.f. of largest values, much closer toF ⁿ(a_nx+b_n) than the ultimate itself.     

Cocentralizing derivations and nilpotent values on Lie ideals

Let R be a prime ring with char R ≠ 2, L a non-central Lie ideal of R, d, g non-zero derivations of R, n ≥ 1 a fixed integer. We prove that if (d(x)x − xg(x)) ⁿ = 0 for all x ∈ L, then either d = g = 0 or R satisfies the standard identity s ₄ and d, g are inner derivations, induced respectively by the elements a and b such that a + b ∈ Z(R).     

Symmetric block bases of sequences with large average growth

We show that if 0<ε≦1, 1≦p<2 andx ₁, …,x _n is a sequence of unit vectors in a normed spaceX such thatE ‖∑ _l ⁿ ε_i x _l‖≧n ^1/p, then one can find a block basisy ₁, …,y _m ofx ₁, …,x _n which is (1+ε)-symmetric and has cardinality at leastγn ^2/p-1(logn)⁻¹, where γ depends on ε only. Two examples are given which show that this bound is close to being best possible. The first is a sequencex ₁, …,x _n satisfying the above conditions with no 2-symmetric block basis of cardinality exceeding 2n ^2/p-1. This sequence is not linearly independent. The second example is a sequence which satisfies a lowerp-estimate but which has no 2-symmetric block basis of cardinality exceedingCn ^2/p-1(logn)^4/3, whereC is an absolute constant. This applies when 1≦p≦3/2. Finally, we obtain improvements of the lower bound when the spaceX containing the sequence satisfies certain type-condition. These results extend results of Amir and Milman in [1] and [2]. We include an appendix giving a simple counterexample to a question about norm-attaining operators.     

Gradient estimates for the elliptic and parabolic Lichnerowicz equations on compact manifolds

Let (M, g) be a smooth compact Riemannian manifold of dimension n ≥ 3. Denote D_g=-div_g?{\Delta_g=-{\rm div}_g\nabla} the Laplace–Beltrami operator. We establish some local gradient estimates for the positive solutions of the Lichnerowicz equation

Patterns of exponential decay for solutions to second order elliptic equations in a sector ofR 2

We consider solutions ψ to equations of the form in a sector Ω ofR ². The basic assumptions are that the limitsa _ij(x)→δ_ij,b _i(x)→0,c _i→E at infinity are achieved at certain rates and thatg decays faster than ψ. We then discuss the possible patterns of exponential decay for ψ in Ω. NSERC University Research Fellow. Research partially supported by USNEF grant MCS-83-01159.     

Analytic properties of conditional curvatures of convex hypersurfaces and the dirichlet problem for the Monge-Ampère equation

The existence and uniqueness of a surface with given geometric characteristics is one of the important topical problems of global differential geometry. By stating this problem in terms of analysis, we arrive at second-order elliptic and parabolic partial differential equations. In the present paper we consider generalized solutions of the Monge-Ampère equation ||z _ij || = ϕ(x, z, p) in Λ ⁿ , wherez = z(x ₁,...,z _n ) is a convex function,p = (p ₁,...,P _n) = (∂z/∂x ₁,...,ϖz/ϖx _n), andz _ij =ϖ ² z/ϖx _i ϖx _j. We consider the Cayley-Klein model of the space Λ ⁿ and use a method based on fixed point principle for Banach spaces. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 763–768, November, 1998.     

Asymtotics of <Emphasis Type="Italic">M</Emphasis>-estmation in Non-linear Regression

Consider the standard non-linear regression model y _i = g(x _i , θ ₀)+ε _i , i = 1, ... ,n where g(x, θ) is a continuous function on a bounded closed region X × Θ, θ ₀ is the unknown parameter vector in Θ ⊂ R ^p , {x ₁, x ₂, ... , x _n } is a deterministic design of experiment and {ε₁, ε₂, ... , ε _n } is a sequence of independent random variables. This paper establishes the existences of M-estimates and the asymptotic uniform linearity of M-scores in a family of non-linear regression models when the errors are independent and identically distributed. This result is then used to obtain the asymptotic distribution of a class of M-estimators for a large class of non-linear regression models. At the same time, we point out that Theorem 2 of Wang (1995) (J. of Multivariate Analysis, vol. 54, pp. 227–238, Corrigenda. vol. 55, p. 350) is not correct. This research was supported by the Natural Science Foundation of China (Grant No. 19831010 and grant No. 39930160) and the Doctoral Foundation of China     

Existence of solutions of certain quasilinear elliptic equations in ℝN without conditions at infinity

This paper deals with conditions for the existence of solutions of the equations

L P boundedness of area function associated with operators on product spaces

Let L be the infinitesimal generator of an analytic semigroup on L2 (Rn) with suitable upper bounds on its heat kernels. Assume that L has a bounded holomorphic functional calculus on L2(Rn). In this paper,we define the Littlewood- Paley g function associated with L on Rn × Rn, denoted by GL(f)(x1, x2), and decomposition, we prove that ‖SL(f)‖p ≈‖GL(f)‖p ≈‖f‖p for 1 ＜ p ＜∞.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> approximation capability of RBF neural networks

L ^p approximation capability of radial basis function (RBF) neural networks is investigated. If g: R ₊¹ → R ¹ and ∈ L _loc ^p (R ⁿ ) with 1 ≤ p < ∞, then the RBF neural networks with g as the activation function can approximate any given function in L ^p (K) with any accuracy for any compact set K in R ⁿ , if and only if g(x) is not an even polynomial. Partly supported by the National Natural Science Foundation of China (10471017)     

Black box polynomial identity testing of generalized depth-3 arithmetic circuits with bounded top fan-in

In this paper we consider the problem of determining whether an unknown arithmetic circuit, for which we have oracle access, computes the identically zero polynomial. This problem is known as the black-box polynomial identity testing (PIT) problem. Our focus is on polynomials that can be written in the form f([`(x)]) = ?<sub>i = 1</sub><sup>k</sup> h<sub>i</sub> ([`(x)]) ·g_i ([`(x)])f(\bar x) = \sum\nolimits_{i = 1}^k {h_i (\bar x) \cdot g_i (\bar x)} , where each h _i is a polynomial that depends on only ρ linear functions, and each g _i is a product of linear functions (when h _i = 1, for each i, then we get the class of depth-3 circuits with k multiplication gates, also known as ΣΠΣ(k) circuits, but the general case is much richer). When max _i (deg(h _i · g _i )) = d we say that f is computable by a ΣΠΣ(k; d;ρ) circuit. We obtain the following results.

Oscillatory of unstable type second-order neutral difference equations

We consider the problem of oscillation and nonoscillation solutions for unstable type second-order neutral difference equation: Δ²(x(n) − p(n)x(n −τ)) =q(n)x(g(n)). (1) In this paper, we obtain some conditions for the bounded solutions of Eq(1) to be oscillatory and for the existence of the nonoscillatory solutions.     

Some remarks about embeddings ofl 1 k in finite-dimensional spaces

The spanX _n of functionsx _i(t)=±1,i=1, …,n, on a setT in the supremum norm is considered. It is proved, for example, thatX _n contains an isometric copy ofl ₁ ^k fork≧cM _n ² /n logn whereM _n is the Rademacher average of {x _i} ₁ ⁿ . This generalizes a result of Pisier for characters. The proof uses a new combinatorial tool.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

Simultaneous approximation of periodic continuous functions and their derivatives

LetR _n(f; x) be a trigonometric polynomial of ordern satisfying Eqs. (1.1) and (1.2). The object of this note is to obtain sufficient conditions in order that thepth derivative ofR _n(f, x) converges uniformly tof ^(p)(x) on the real line. The sufficient conditions turns out to bef ^(p)(x) ∈ Lipα, α>0 with the restrictions of Eq. (1.3). The author acknowledges financial support for this work from the University of Alberta, Post Doctoral Fellowship 1966–67. The author is extremely grateful to the referee for pointing out some valuable results and suggestions.     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

On extremal point distributions in the Euclidean plane

We ask for the maximum σ _n ^γ of Σ _i,j=1 ⁿ ‖x _i-x _j‖^γ, where x ₁,χ,x _n are points in the Euclidean plane R ² with ‖x_i-x_j‖ ≦1 for all 1≦ i,j ≦ n and where ‖.‖^γ denotes the γ-th power of the Euclidean norm, γ ≧ 1. (For γ =1 this question was stated by L. Fejes Tóth in [1].) We calculate the exact value of σ _n ^γ for all γ γ 1,0758χ and give the distributions which attain the maximum σ _n ^γ . Moreover we prove upper bounds for σ _n ^γ for all γ ≧ 1 and calculate the exact value of σ ₄ ^γ for all γ ≧ 1. This revised version was published online in June 2006 with corrections to the Cover Date.