Precise asymptotics in some strong limit theorems for multidimensionally indexed random variables

Consider Z₊^d (d2)—the positive d-dimensional lattice points with partial ordering , let {X_k,kZ₊^d} be i.i.d. random variables with mean 0, and set S_n=∑_knX_k, nZ₊^d. We establish precise asymptotics for ∑_n|n|^r/p−2P(|S_n||n|^1/p), and for

Full-size image

, (0δ1) as 0, and for

Full-size image

as .     

Free resolutions in multivariable operator theory

Let be the complex polynomial ring in d variables. A contractive -module is Hilbert space equipped with an action such that for any ,

||z₁ξ₁+z₂ξ++z_dξ_d||²||ξ₁||²+||ξ₂||²++||ξ_d||².

Such objects have been shown to be useful for modeling d-tuples of mutually commuting operators acting on a Hilbert space. There is a subclass of the category of contractive modules whose members play the role of free objects. Given a contractive -module, one can construct a free resolution, i.e. an exact sequence of partial isometries of the following form:

(*)

where is a free module for each i0. The notion of a localization of a free resolution will be defined, in which for each λB_d there is a vector space complex of linear maps derived from (*):

We shall show that the homology of this complex is isomorphic to the homology of the Koszul complex of the d-tuple (¹,²,…,^d), of where ⁱ is the ith coordinate function of a Möbius transform on B_d such that (λ)=0.     

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.     

RELATIVE WIDTH OF SMOOTH CLASSES OF MULTIVARIATE PERIODIC FUNCTIONS WITH RESTRICTIONS ON ITERATED LAPLACE DERIVATIVES IN THE L2-METRIC

For two subsets W and V of a Banach space X, let Kn(W, V, X) denote the relative Kolmogorov n-width of W relative to V defined by Kn (W, V, X) := inf sup Ln f∈W g∈V∩Ln inf ‖f-g‖x,where the infimum is taken over all n-dimensional linear subspaces Ln of X. Let W2(△r) denote the class of 2w-periodic functions f with d-variables satisfying ∫[-π,π]d |△rf(x)|2dx ≤ 1,while △r is the r-iterate of Laplace operator △. This article discusses the relative Kolmogorov n-width of W2(△r) relative to W2(△r) in Lq([-r, πr]d) (1 ≤ q ≤∞), and obtain its weak asymptotic result.     

On the abstract Cauchy problem for the operator\frac{{d^2 }}{{dt^2 }} - A.

LetX be a Banach space, A a closed operator with dense domainD(A) and non-void resolvent set; topologized by the semi-norm system. We prove that the Cauchy problem is well posed in the sense of distributions for the operator d²/dt²–A if and only if A restricted toD generates a locally — equicontinuous cosine function of class C inL _S D . This is an extension of Ushijima's smoothness result of distribution semi-groups [10].     

Strong Haagerup inequalities with operator coefficients

We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on , which improves and generalizes previous results by Kemp–Speicher (in the scalar case) and Buchholz and Parcet–Pisier (in the non-holomorphic setting). Namely the norm of an element of the form ∑_{i=(i1,…,id)}a_iλ(g_i1g_id) is less than , where M₀,…,M_d are d+1 different block-matrices naturally constructed from the family (a_i)_iI^d for each decomposition of I^dI^l×I^d−l with l=0,…,d. It is also proved that the same inequality holds for the norms in the associated non-commutative L_p spaces when p is an even integer, pd and when the generators of the free group are more generally replaced by *-free -diagonal operators. In particular it applies to the case of free circular operators. We also get inequalities for the non-holomorphic case, with a rate of growth of order d+1 as for the classical Haagerup inequality. The proof is of combinatorial nature and is based on the definition and study of a symmetrization process for partitions.     

An interior point method, based on rank-1 updates, for linear programming

We propose a polynomial time primal—dual potential reduction algorithm for linear programming. The algorithm generates sequencesd ^k andv ^k rather than a primal—dual interior point (x ^k ,s ^k ), where and fori = 1, 2,,n. Only one element ofd ^k is changed in each iteration, so that the work per iteration is bounded by O(mn) using rank-1 updating techniques. The usual primal—dual iteratesx ^k ands ^k are not needed explicitly in the algorithm, whereasd ^k andv ^k are iterated so that the interior primal—dual solutions can always be recovered by aforementioned relations between (x ^k, s^k) and (d ^k, v^k) with improving primal—dual potential function values. Moreover, no approximation ofd ^k is needed in the computation of projection directions. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.     

Pairwise intersections and forbidden configurations

Let f_m(a,b,c,d) denote the maximum size of a family of subsets of an m-element set for which there is no pair of subsets with

By symmetry we can assume a≥d and b≥c. We show that f_m(a,b,c,d) is Θ(m^a+b−1) if either b>c or a,b≥1. We also show that f_m(0,b,b,0) is Θ(m^b) and f_m(a,0,0,d) is Θ(m^a). The asymptotic results are as m→∞ for fixed non-negative integers a,b,c,d. This can be viewed as a result concerning forbidden configurations and is further evidence for a conjecture of Anstee and Sali. Our key tool is a strong stability version of the Complete Intersection Theorem of Ahlswede and Khachatrian, which is of independent interest.     

Codes of Steiner triple and quadruple systems

The code over a finite fieldF _q of orderq of a design is the subspace spanned by the incidence vectors of the blocks. It is shown here that if the design is a Steiner triple system on points, and if the integerd is such that 2 ^d –1<2 ^d+1–1, then the binary code of the design contains a subcode that can be shortened to the binary Hamming codeH _d of length 2 ^d –1. Similarly the binary code of any Steiner quadruple system on +1 points contains a subcode that can be shortened to the Reed-Muller code (d–2,d) of orderd–2 and length 2 ^d , whered is as above.     

Generic initial ideals and graded Artinian-level algebras not having the Weak-Lefschetz Property

We find a sufficient condition that is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function cannot be level if h_d≤2d+3, and that there exists a level O-sequence of codimension 3 of type for h_d≥2d+k for k≥4. Furthermore, we show that is not level if , and also prove that any codimension 3 Artinian graded algebra A=R/I cannot be level if . In this case, the Hilbert function of A does not have to satisfy the condition h_d−1>h_d=h_d+1.Moreover, we show that every codimension n graded Artinian level algebra having the Weak-Lefschetz Property has a strictly unimodal Hilbert function having a growth condition on (h_d−1−h_d)≤(n−1)(h_d−h_d+1) for every d>θ where

h₀<h₁<<h_α==h_θ>>h_s−1>h_s.