Integrability of certain solutions of differential equations

Let L=P_o(d/d_t)ⁿ+P₁(d/d_t)^n–1+...+P_n denote a formally self-adjoint differential expression on an open intervalI=(a, b) (–a. Here the P_k are complex valued with (n — k) continuous derivatives onI, and P₀(t) 0 onI. We discuss integrability of functions which are adjoint to certain fundamental solutions ofLy=y, and a related consequence.     

Stability of the notion of approximating class of sequences and applications

Given an approximating class of sequences {{B_n,m}_n}_m for {A_n}_n, we prove that (X⁺ being the pseudo-inverse of Moore–Penrose) is an approximating class of sequences for , where {A_n}_n is a sparsely vanishing sequence of matrices A_n of size d_n with d_k>d_q for k>q,k,qN. As a consequence, we extend distributional spectral results on the algebra generated by Toeplitz sequences, by including the (pseudo) inversion operation, in the case where the sequences that are (pseudo) inverted are distributed as sparsely vanishing symbols. Applications to preconditioning and a potential use in image/signal restoration problems are presented.     

Trace results on domains with self-similar fractal boundaries

This work deals with trace theorems for a family of ramified bidimensional domains Ω with a self-similar fractal boundary Γ^∞. The fractal boundary Γ^∞ is supplied with a probability measure μ called the self-similar measure. Emphasis is put on the case when the domain is not a −δ domain and the fractal is not post-critically finite, for which classical results cannot be used. It is proven that the trace of a function in H¹(Ω) belongs to for all real numbers p1. A counterexample shows that the trace of a function in H¹(Ω) may not belong to BMO(μ) (and therefore may not belong to ). Finally, it is proven that the traces of the functions in H¹(Ω) belong to H^s(Γ^∞) for all real numbers s such that 0s<d_H/4, where d_H is the Hausdorff dimension of Γ^∞. Examples of functions whose traces do not belong to H^s(Γ^∞) for all s>d_H/4 are supplied.There is an important contrast with the case when Γ^∞ is post-critically finite, for which the functions in H¹(Ω) have their traces in H^s(Γ^∞) for all s such that 0s<d_H/2.     

On a conjecture on maximal planar sequences

Let d1 d2 dp denote the nonincreasing sequence d₁, …, d₁, d₂, …, d₂, …, d_p, …, d_p, where the term d_i appears k_i times (i = 1, 2, …, p). In this work the author proves that the maximal 2-sequences: 7³6¹5¹⁵, 7⁵6¹5¹⁷, 7⁷6¹5¹⁹ are planar graphical, in contrast to a conjecture by Schmeichel and Hakimi.     

Об отделимости множе ств гиперплоскостью вL p

LetA and be two arbitrary sets in the real spaceL _p, 1p<. Sufficient conditions are obtained for their strict separability by a hyperplane, in terms of the distance between the setsd(A,B) _p=inf{x-y_p,xA,yB} and their diametersd(A) _p, d(B)_p, whered(A) _p=sup{x-y_p; x,yA}. In particular, it is proved that if in an infinite-demensional spaceL _p we haved ^r(A,B)_p>2^–r+1(d^r(A)_p+d^r(B)_p), r=min{p, p(p–1)^–1}, then there is a hyperplane which separatesA andB. On the other hand, the conditiond ^r(A,B)_p=2^–r+1(d^r(A)_p+d^r(B)_p) does not guarantee strict separability. Earlier these results where obtained by V. L. Dol'nikov for the case of Euclidean spaces.     

On a class of partially ordered sets and their linear invariants

Let (, <) be a finite partially ordered set with rank function. Then is the disjoint union of the classes _k of elements of rank k and the order relation between elements in _k and _k+1 can be represented by a matrix S _k. We study partially ordered sets which satisfy linear recurrence relations of the type S _k (S _k ^T ) – c _k (S _{k – 1})^T S _{k – 1} = d _k ⁺ – c _k d _k ^– ) Id for all k and certain coefficients d _k ⁺, d _k ^- and c _k.     

On the factorization of the relative class number in terms of Frobenius divisions

The relative class number of an imaginary abelian number fieldK is—up to trivial factors—the product of the first Bernoulli numbersB _x belonging to the odd characters ofK. This product splits into rational factorsF _Z = {B ; Z}, whereZ runs through the Frobenius divisions of odd characters. It is shown that each numberF _z is—up to a certain prime power—the index of two explicitly given subgroups of (K, +). These subgroups are cyclic Galois modules, whose generators arise from roots of unity and cotangent numbers, resp. Our result is an analogue of a result concerningh ⁺ which was given by Leopoldt many years ago.To the memory of my friend Kurt Dietrich     

Critical points for spread-out self-avoiding walk,percolation and the contact process above the upper critical dimensions

We consider self-avoiding walk and percolation in ^d, oriented percolation in ^d×₊, and the contact process in ^d, with p D(·) being the coupling function whose range is proportional to L. For percolation, for example, each bond is independently occupied with probability p D(y–x). The above models are known to exhibit a phase transition when the parameter p varies around a model-dependent critical point p_c. We investigate the value of p_c when d>6 for percolation and d>4 for the other models, and L1. We prove in a unified way that p_c=1+C(D)+O(L^–2d), where the universal term 1 is the mean-field critical value, and the model-dependent term C(D)=O(L^–d) is written explicitly in terms of the random walk transition probability D. We also use this result to prove that p_c=1+cL^–d+O(L^–d–1), where c is a model-dependent constant. Our proof is based on the lace expansion for each of these models.     

The extension of the reduced Clifford algebra and its Brauer class

The shape Clifford algebra C _f of a binary form f of degree d is the k-algebra k{x,y}/I, where I is the ideal generated by {(x+y) ^d –f(,),k}. C _f has a natural homomorphic image A _f , called the reduced Clifford algebra, which is a rank d ² Azumaya algebra over its center. The center is isomorphic to the coordinate ring of the complement of an explicit -divisor in Pic _C/k ^{d +g –1} , where C is the curve (w ^d –f(u,v)) and g is the genus of C ([9]). We show that the Brauer class of A _f can be extended to a class in the Brauer group of Pic _C/k ^{d + g –1} . We also show that if d is odd, then the algebra A _f is split if and only if the principal homogeneous space Pic _C/k ¹ of the jacobian of C has a k-rational point. Mathematics Subject Classification (2000):16H05, 16G99, 16K50, 14H50, 14H40, 14K30     

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.     

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].     

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.     

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.     

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.     

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.     

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.