On the rate of convergence of the sum of the sample extremes

Summary Let X ₁, X ₂,..., X _n be independent random variables having a common distribution in the domain of normal attraction of a completely asymmetric stable law with characteristic exponent }(0,1) and support bounded below. Let X _n:n X _n:n ^-1...X _n:1 denote the ordered sample. We obtain the rate of convergence of n ^-1/ (X _n:n +...+X _{n:n-k n+1} ) to the stable limit law as both n and k _n ». As a consequence we obtain a representation of the sum X _n:n +...+X _{n:n-k n+1} .     

On the 3-Torsion Part of the Homology of the Chessboard Complex

Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M _m,n , which is the simplicial complex of matchings in the complete bipartite graph K _m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]_d(\sf M_m,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]_d (\sf M_m,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f _k (a, b) of degree 3k such that the dimension of [(H)\tilde]_k+a+2b-2 (\sf M_{k+a+3b-1,k+2a+3b-1}; \mathbb Z₃){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ₃{\mathbb{Z}_3}, is at most f _k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]₂ (\sf M_5,5; \mathbb Z) @ \mathbb Z₃{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M _m,n to the homology of M _m-2,n-1 and M _m-2,n-3.     

On the convex hull of the multiform numerical range

Let A ₁,…,A_m be nxn hermitian matrices. Definine

W(A ₁,…,A_m )={(xA₁x ^?,…xA_mx ^?):x?C ⁿ ,xx ^?=1}. We will show that every point in the convex hull of W(A ₁,…,A_m ) can be represented as a convex combination of not more than k(m,n) points in W(A ₁,…,A_m ) where k(m,n)=min{n,[√m]+δ _n ² _m+1}.     

On the transcendence of moduli of the jacobian elliptic functions

Let sn₁ z and sn₂ z be the Jacobian elliptic functions of moduli κ ₁ and κ ₂, 0 < k₁² \kappa_1^2 < 1, 0 < k₂² \kappa_2^2 < 1, τ ₁ and τ ₂ be the values of the modular variable, and θ ₃(τ ₁) and θ ₃(τ ₂) be the theta constants. In this paper, the set κ ₁, κ ₂, θ ₃(τ ₁), and θ ₃(τ ₂) is shown to contain a transcendental number, provided that τ ₁ /τ ₂ is irrational.     

On the decidability of the word problem for amalgamated free products of inverse semigroups

We study inverse semigroup amalgams [S ₁,S ₂;U], where S ₁ and S ₂ are finitely presented inverse semigroups with decidable word problem and U is an inverse semigroup with decidable membership problem in S ₁ and S ₂. We use a modified version of Bennett’s work on the structure of Schützenberger graphs of the ℛ-classes of S ₁* _U S ₂ to state sufficient conditions for the amalgamated free products S ₁* _U S ₂ having decidable word problem.     

The genus of the 2-amalgamations of graphs

A graph G is called the 2-amalgamation of subgraphs G₁ and G₂ if G = G₁ ∪ G₂ and G₁ ∩ G₂ = {x, y}, 2 distinct points. in this case we write G = G₁∪_{{x, y}} G₂. in this paper we show that the orientable genus, γ(G), satisfies the inequalities γ(G₁) + γ(G₂) ? 1 ≤ γ(G₁ ∪_{{x, y}} G₂) ≤ γ(G₁) + γ(G₂) + 1 and that this is the best possible result, i. e., the resulting three values for γ(G₁ ∪_{{x, y}} G₂) which are possible can actually be realized by appropriate choices for G₁ and G₂.     

On Strassen's version of the law of the iterated logarithm for the two-parameter Gaussian process

Strassen's version of the law of the iterated logarithm is extended to the two-parameter Gaussian process {X(s, t); ε(s, t) [0, ∞)²} with the covariance function R((s₁,t₁),(s₂,t₂)) = min(s₁,s₂)min(t₁,t₂).     

Approximation of the vth Root of N

We present a class of functions g_K(w), K ≥ 2, for which the recursive sequences w_{n + 1} = g_K(w_n) converge to N^1/v with relative error . Newton's method results when K = 2. The coefficients of the g_K(w) form a triangle, which is Pascal's for v = 2. In this case, if w₁ = x₁/y₁, where x₁, y₁ is the first positive solution of Pell's equation x² ? Ny² = 1, then w_{n + 1} = x_{n + 1}/y_{n + 1} is the Kⁿpth or 2Kⁿpth convergent of the continued fraction for , its period p being even or odd.     

Computing the genus of the 2-amalgamations of graphs

The above authors [2] and S. Stahl [3] have shown that if a graphG is the 2-amalgamation of subgraphsG ₁ andG ₂ (namely ifG=G ₁∪G ₂ andG ₁∩G ₂={x, y}, two distinct points) then the orientable genus ofG,γ(G), is given byγ(G)=γ(G ₁)+γ(G ₂)+ε, whereε=0,1 or −1. In this paper we sharpen that result by giving a means by whichε may be computed exactly. This result is then used to give two irreducible graphs for each orientable surface.     

On the Continuous Dependence of the Exterior Dirichlet Problem on the Boundary

We consider a sequence of exterior domains D_j,j∈ℕ₀, and assume that the boundaries ∂D_j converge to ∂D₀ with respect to the Hausdorff distance. We investigate solutions to the exterior Dirichlet problem for the Laplace equation and for the Helmholtz equation in these domains. Assuming convergence of the boundary data and D_j⊂D₀, j∈ℕ, then, by essentially using the method of Perron, we show that the solutions in the domains D_j converge to the solution in the domain D₀ with respect to the maximum norm. We prove the same result in case that the requirement D_j⊂D₀,j∈ℕ, is replaced by an equicontinuity property of all barrier functions to all boundary points. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd. Math. Meth. Appl. Sci., Vol. 20, 707–716 (1997)     

Continuous dependence of the scattering amplitude on the surface of an obstacle

Let D_j,j = 1,2, be two bounded domains (obstacles) in ?ⁿ, n ≥ 2, with the boundaries Γ_j. Let A_j be the scattering amplitude corresponding to D_j. The Dirichlet boundary condition is assumed on Γ_j. A formula is derived for A:= A₁ ? A₂. This formula is used for a derivation of the estimate of ∣A₁ ? A₂∣ in terms of the distance d(Γ₁, Γ₂) between Γ₁ and Γ₂. If d(Gamma;₁, Gamma;₂) ? ?, then ∣A∣ ? c?, where c is a positive constant which depends on Γ₁ and Γ₂ provided that one of the boundaries is of C^1,λ class, 0 < λ < 1, and the other one is a polyhedron which approximates the first one. The results are useful, in particular, for boundary elements method of solving scattering problems.     

Tail probabilities of the limiting null distributions of the Anderson–Stephens statistics

For the purpose of testing the spherical uniformity based on i.i.d. directional data (unit vectors) z_i, i=1,…,n, Anderson and Stephens (Biometrika 59 (1972) 613–621) proposed testing procedures based on the statistics S_max=max_u S(u) and S_min=min_u S(u), where u is a unit vector and nS(u) is the sum of squares of u′z_i's. In this paper, we also consider another test statistic S_range=S_max−S_min. We provide formulas for the P-values of S_max, S_min, S_range by approximating tail probabilities of the limiting null distributions by means of the tube method, an integral-geometric approach for evaluating tail probability of the maximum of a Gaussian random field. Monte Carlo simulations for examining the accuracy of the approximation and for the power comparison of the statistics are given.     

On the Structure of the Completion of a Normed Lattice

Let X be a normed lattice and Y be the norm completion of X with a natural embedding π : X → Y . By the Kawai- Luxemburg theorem, X is embedded as an order dense set and π preserves all suprema and infima iff X satisfies the condition (A_o ) (i.e., the norm has pseudo σ-Lebesgue property). Let X_o be the largest ideal in X having the condition (A_o); let Y_(o) be the band in Y generated by πX_o and Y₍₁₎ be the complementary band to Y_(o). The structure of Y and, in particular, of the bands Y_(o) and Y₍₁₎ are studied. The conditions for Y_(o) to be a projection band and πX_o to be topologically dense in Y_(o) are obtained.     

On the length of the tail of a vector space partition

A vector space partition of a finite dimensional vector space V=V(n,q) of dimension n over a finite field with q elements, is a collection of subspaces U₁,U₂,…,U_t with the property that every non zero vector of V is contained in exactly one of these subspaces. The tail of consists of the subspaces of least dimension d₁ in , and the length n₁ of the tail is the number of subspaces in the tail. Let d₂ denote the second least dimension in .Two cases are considered: the integer q^d₂−d₁ does not divide respective divides n₁. In the first case it is proved that if 2d₁>d₂ then n₁≥q^d₁+1 and if 2d₁≤d₂ then either n₁=(q^d₂−1)/(q^d₁−1) or n₁>2q^d₂−d₁. These lower bounds are shown to be tight and the elements in the subspaces in tails of minimal length will constitute a subspace of V of dimension 2d₁ respectively d₂.In case q^d₂−d₁ divides n₁ it is shown that if d₂<2d₁ then n₁≥q^d₂−q^d₁+q^d₂−d₁ and if 2d₁≤d₂ then n₁≥q^d₂. The last bound is also shown to be tight.The results considerably improve earlier found lower bounds on the length of the tail.     

On the families of sets without the Baire property generated by the Vitali sets

Let A be the family of all meager sets of the real line ℝ, V be the family of all Vitali sets of ℝ, V ₁ be the family of all finite unions of elements of V and V ₂ = {(C \ A ₁) ∪ A ₂: C ∈ V ₁; A ₁, A ₂ ∈ A}. We show that the families V, V ₁, V ₂ are invariant under translations of ℝ, and V ₁, V ₂ are abelian semigroups with the respect to the operation of union of sets. Moreover, V ⊂ V ₁ ⊂ V ₂ and V ₂ consists of zero-dimensional sets without the Baire property. Then we extend the results above to the Euclidean spaces ℝ ⁿ , n ≥ 2, and their products with the finite powers of the Sorgenfrey line.     

Reducing system of parameters and the Cohen-Macaulay property

Let R be a local ring and let (x ₁, …, x _r) be part of a system of parameters of a finitely generated R-module M, where r < dim_R M. We will show that if (y ₁, …, y _r) is part of a reducing system of parameters of M with (y ₁, …, y _r) M = (x ₁, …, x _r) M then (x ₁, …, x _r) is already reducing. Moreover, there is such a part of a reducing system of parameters of M iff for all primes P ε Supp M ∩ V _R(x ₁, …, x _r) with dim_R R/P = dim_R M − r the localization M _P of M at P is an r-dimensional Cohen-Macaulay module over R _P. Furthermore, we will show that M is a Cohen-Macaulay module iff y _d is a non zero divisor on M/(y ₁, …, y _d−1) M, where (y ₁, …, y _d) is a reducing system of parameters of M (d:= dim_R M).     

Hochschild Cohomology Ring of the Mod-2 Group Ring of the Generalized Quaternion Group

We will determine the ring structure of the Hochschild cohomology HH?( ₂ Q _t ) of the mod-2 group ring  ₂ Q _t for arbitrary generalized quaternion groups Q _t of order 4t by calculating the ordinary cup product in H?(Q _t , _ψ  ₂ Q _t ).     

On the Expected Number of Shadow Vertices of the Convex Hull of Random Points

Leta₁, . . . ,a_mbe independent random points in ⁿthat are independent and identically distributed spherically symmetrical in ⁿ. Moreover, letXbe the random polytope generated as the convex hull ofa₁, . . . ,a_mand letL_kbe an arbitraryk-dimensional subspace of ⁿwith 2 ≤k≤n− 1. LetX_kbe the orthogonal projection image ofXinL_k. We call those vertices ofXwhose projection images inL_kare vertices ofX_kshadow vertices ofXwith respect to the subspaceL_k. We derive a distribution independent sharp upper bound for the expected number of shadow vertices ofXinL_k.     

On the Rate of Decay of the Concentration Function of the Sum of Independent Random Variables

Let X₁, ... , X_n be i.i.d. integral valued random variables and S_n their sum. In the case when X₁ has a moderately large tail of distribution, Deshouillers, Freiman and Yudin gave a uniform upper bound for max _{k ∊ ℤ} Pr{S_n = k} (which can be expressed in term of the Lévy Doeblin concentration of S_n), under the extra condition that X₁ is not essentially supported by an arithmetic progression. The first aim of the paper is to show that this extra condition cannot be simply ruled out. Secondly, it is shown that if X₁ has a very large tail (larger than a Cauchy-type distribution), then the extra arithmetic condition is not sufficient to guarantee a uniform upper bound for the decay of the concentration of the sum S_n. Proofs are constructive and enhance the connection between additive number theory and probability theory.À Jean-Louis Nicolas, avec amitié et respect2000 Mathematics Subject Classification: Primary—60Fxx, 60Exx, 11Pxx, 11B25     

On the structure of the sumsets

Let A be a set of nonnegative integers. For h≥2, denote by hA the set of all the integers representable by a sum of h elements from A. In this paper, we prove that, if k≥3, and A={a₀,a₁,…,a_k−1} is a finite set of integers such that 0=a₀<a₁<?<a_k−1 and (a₁,…,a_k−1)=1, then there exist integers c and d and sets C⊆[0,c−2] and D⊆[0,d−2] such that hA=C∪[c,ha_k−1−d]∪(ha_k−1−D) for all . The result is optimal. This improves Nathanson’s result: h≥max{1,(k−2)(a_k−1−1)a_k−1}.