Contraction of Exterior Powers in Characteristic 2 and the Spin Module

Let K be a field of characteristic 2 and letV be a vector space of dimension 2m over K. Let f be a non-degenerate alternating bilinear form defined on V × V. The symplectic group Sp(2m, K) acts on the exterior powers ^k V for 0 k. 2m There is a contraction map defined on the exterior algebra , which commutes with the Sp(2m, K) action and satisfies ² = 0 and ( ^k V) ^k–1 V We prove that ( ^k V)= ker ^k–1 V except when k=m+2. In the exceptional case, ( ^m+2 V) has codimension 2^m in ker ^m V and we show that the quotient module ker ^m V/ ^m+2 V is a spin module for Sp(2m,K). When K is algebraically closed, we show that this spin module occurs with multiplicity 1 in ^m V and multiplicity 0 in all other components of V.     

Über nullstellenfreie Gebiete von ζ(itk) (s)

Let ^(itk) (s) denote thek-th derivative of the Riemann Zeta-function,s=+it, ,t real numbers,k1 rational integers. Using ideas fromT. C. Titchmarsh and from a paper ofR. Spira, lower bounds are derived for |^(itk)(s)|, |^(itk)(1-s) for >1 and some infinitely many, sufficiently large values oft. Further let be an algebraic number of degreen and heightH; then a lower bound for |^(itk)(its)|, dependent onn, H, k is established for alln,H1,k3, 2+7k/4 and all realt.     

∑II∑ threshold formulas

A II formula has the form, where eachL is either a variable or a negated variable. In this paper we study the computation of threshold functions by II formulas. By combining the proof of the Fredman-Komlós bound [5, 10] and a counting argument, we show that fork andn large andkn/2, every II formula computing the threshold functionT _k ⁿ has size at least exp . Fork andn large andkn ^2/3, we show that there exist II formulas for computingT _k ⁿ with size at most exp .     

Propriété de stabilité de la fonction extrémale relative

Nous donnons une caractérisation des domaines DX pour lesquels la fonction extrémale relative ^*(,E,D) a la propriété de stabilité pour tout ED, i.e. lim _k^*(,E,D _k )=^*(,E,D), ED. Ensuite, nous étudions la relation entre cette propriété et les enveloppes pluripolaires. Nous concluons par quelques remarques sur la propriété de stabilité lim _k^*(,E _k ,D)=^*(,E,D).     

The Lê varieties,I

Summary For a complex polynomial,f:( ⁿ⁺¹ ,0) (, 0), with a singular set of complex, dimensions at the origin, we define a sequence of varieties—the Lê varieties, _f ^(k) , off at 0. The multiplicities of these varieties, _f ^(k) , generalize the Milnor number for an isolated singularity. In particular, we show that ifsn-2, the Milnor, fibre off is obtained fromB ²ⁿ by successively attaching _f ^{(n – k)} k-handles, wheren-skn Ifs=n-1, the Milnor fibre off is obtained from a2n-manifold with the homotopy type of a bouquet of _f ^{(n – 1)} circles by successively attaching _f ^{(n – k)} k-handles, where 2kn.The author is a National Science Foundation, Postdoctoral Research Fellow supported by grant # DMS-8807216     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

On convergence subsystems of orthonormal systems

It is proved that for any sequence {R _k} _k=1 of real numbers satisfyingR _kk (k1) andR _k=o(k log₂ k),k, there exists an orthonormal system {n _k(x)} _n=1 ,x (0;1), such that none of its subsystems {n _k(x)} _k=1 withn _kR_k (k1) is a convergence subsystem.     

Interpolation of weighted Orlicz-valued function spaces

- L. , .

---

---

This paper is to be part of the author's doctoral dissertation written at the University of Campinas under the supervision of Prof. D. L. Fernandez.     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

Convergence of the steepest descent method for minimizing quasiconvex functions

To minimize a continuously differentiable quasiconvex functionf: ⁿ , Armijo's steepest descent method generates a sequencex ^k+1 =x ^k –t _k f(x ^k ), wheret _k >0. We establish strong convergence properties of this classic method: either , s.t. ; or arg minf = , x ^k andf(x ^k ) inff. We also discuss extensions to other line searches.The research of the first author was supported by the Polish Academy of Sciences. The second author acknowledges the support of the Department of Industrial Engineering, Hong Kong University of Science and Technology.We wish to thank two anonymous referees for their valuable comments. In particular, one referee has suggested the use of quasiconvexity instead of convexity off.     

Extension of Subgradient Techniques for Nonsmooth Optimization in Banach Spaces

In this paper we continue the study of the subgradient method for nonsmooth convex constrained minimization problems in a uniformly convex and uniformly smooth Banach space. We consider the case when the stepsizes satisfy _{k=1 k} =, lim _{k k} =0.     

Fast Preconditioned Iterative Methods for Convolution-Type Integral Equations

We consider solving the Fredholm integral equation of the second kind with the piecewise smooth displacement kernel x(t) + _j=1 ^m µ_j x(t – t _j) + ₀ k(t – s)x(s) ds = g(t), 0 t , where t _j (–, ), for 1 j m. The direct application of the quadrature rule to the above integral equation leads to a non-Toeplitz and an underdetermined matrix system. The aim of this paper is to propose a numerical scheme to approximate the integral equation such that the discretization matrix system is the sum of a Toeplitz matrix and a matrix of rank two. We apply the preconditioned conjugate gradient method with Toeplitz-like matrices as preconditioners to solve the resulting discretization system. Numerical examples are given to illustrate the fast convergence of the PCG method and the accuracy of the computed solutions.     

Largek-arcs in inversive planes of odd order

An infinite family of largek-arcs in the inversive plane over a finite field GF(q), withq 1 (mod 3),q71 orq {17,23, 27,29,41,47,49,53,59} is constructed.Research supported by G.N.S.A.G.A. of C.N.R., project Applicazioni della matematica per la tecnologia e la società, subproject Calcolo simbolico.     

Construction of Symmetric Balanced Squares with Blocksize More than One

In this paper we study a generalization of symmetric latin squares. A symmetric balanced square of order v, side s and blocksize k is an s×s symmetric array of k-element subsets of {1,2,..., v} such that every element occurs in ks/v or ks/v cells of each row and column. every element occurs in ks²/v or ks ² v cells of the array. Depending on the values s, k and v, the problem naturally divides into three subproblems: (1) vks (2) s < v < ks (3) v s. We completely solve the first problem and we recursively reduce the third problem to the first two. For s 4 we provide direct constructions for the second problem. Moreover, we provide a general construction method for the second problem utilizing flows in a network. We have been able to show the correctness of this construction for k 3. For k4, the problem remains open.     

Sugli insiemi di permutazioni strettamente k-transitivi (k ≥ 3)

Summary Let G be a sharply 3-transitive permutation set on a finite set E of even cardinality and let 1 be in G. The following theorems are proved. G is one of the known examples if and only if there exists a non-identity normal subgroup N of G and an element of E such that NG G.G is a group if and only if G for every G and for every G and for every G .By using the classification of finite single groups a result concerning sharply k-transitive permutation sets k>3 is also proved.

---

---

Dedicato a Guido Zappa in occasione del suo 70° compleanno

---

Lavoro eseguito nell'ambito dei progetti finanziati dal Ministero della Pubblica Istruzione.     

Hilbertraum-Approximation und Jacobi-Matrizen

Zusammenfassung SeiH ein Hilbertraum mit Norm und Skalarprodukt (,). Seien _n ,n=0, 1, 2, ... undf Elemente H, s, i natürliche Zahlen und >0 derart dass gilt: 1) _n =1,2)( _f ), _k )=0 für j–k >s, 3) ( _f , _n ) fürj k, 4) (f, _f =0 fürj>i. Seienf _n undf ^* die Projektionen vonf auf die durch ₀,..., _n bezw. ₀,₁,₂,... aufgespannten abgeschlossenen Unterräume. Das Hauptresultat der Arbeit besagt dass für hinreichend kleines KonstantenC>0 und 0<q<1 existieren mit: f _n -f ^*Cq ⁿ . Dieses Resultat steht in enger Beziehung zu gewissen unendlichen MatrizenA=(a _jk ), die charakterisiert sind durch: (*) es existiertm>0 so dassa _jk =0 für |j-k|>m. Das Hauptresultat wird auf unendliche lineare GleichungssystemeAf=0,Af=g angewandt, woA eine Matrix mit der Eigenschaft (*) ist, deren Diagonalen gewissen Wachstumsbedingungen genügen.

---

LetH be a Hilbert space with norm and scalar product (,). Let _n ,n=0, 1, 2, ... andf be elements H, i, s integers and >0 such that: 1) _n =1,2)( _f ), _k )=0 for j–k >s, 3) ( _f , _n ) forj k, 4) (f, _f =0 forj>i. Letf _n andf ^* be the projections off onto the closed subspaces spanned by ₀,..., _n and ₀,₁,₂ .... respectively. The main result says that for sufficiently small there are constantsC>0 and 0<q<1 with f _n -f ^*Cq ⁿ . This result is closely related to certain infinite matricesA=(a _jk ) with the property: (*) there exists anm>0 such thata _jk =0 for |j-k|>m. The result is applied to infinite systems of linear equationsAf=0 andAf=g, whereA is a matrix with property (*), whose diagonals satisfy certain growth conditions.

---

---

Dem Andenken von Professor Eduard Stiefel gewidmet     

Isomorphismen von rechtseiträumen

Spaces called rectangular spaces were introduced in [5] as incidence spaces (P,G) whose set of linesG is equipped with an equivalence relation and whose set of point pairs P² is equipped with a congruence relation , such that a number of compatibility conditions are satisfied. In this paper we consider isomorphisms, automorphisms, and motions on the rectangular spaces treated in [5]. By an isomorphism of two rectangular spaces (P,G, , ) and (P,G, , ) we mean a bijection of the point setP onto P which maps parallel lines onto parallel lines and congruent points onto congruent points. In the following, we consider only rectangular spaces of characteristic 2 or of dimension two. According to [5] these spaces can be embedded into euclidean spaces. In case (P,G, , ) is a finite dimensional rectangular space, then every congruence preserving bijection ofP onto P is in fact an isomorphism from (P,G, , ) onto (P,G, , ) (see (2.4)). We then concern ourselves with the extension of isomorphisms. Our most important result is the theorem which states that any isomorphism of two rectangular spaces can be uniquely extended to an isomorphism of the associated euclidean spaces (see (3.2)). As a consequence the automorphisms of a rectangular space (P,G, , ) are precisely the restrictions (onP) of the automorphisms of the associated euclidean space which fixP as a whole (see (3.3)). Finally we consider the motions of a rectangular space (P,G, , ). By a motion of(P. G,, ) we mean a bijection ofP which maps lines onto lines, preserves parallelism and satisfies the condition((x), (y)) (x,y) for allx, y P. We show that every motion of a rectangular space can be extended to a motion of the associated euclidean space (see (4.2)). Thus the motions of a rectangular space (P,G, , ) are seen to be the restrictions of the motions of the associated euclidean space which mapP into itself (see (4.3)). This yields an explicit representation of the motions of any rectangular plane (see (4.4)).

---

---

Herrn Professor Burau zum 85. Geburtstag gewidmet     

First order properties of random posets

Let =(n,p) be a binary relation on the set [n]={1, 2, ..., n} such that (i,i) for every i and (i,j) with probability p, independently for each pair i,j [n], where i<j. Define as the transitive closure of and denote poset ([n], ) by R(n, p). We show that for any constant p probability of each first order property of R(n, p) converges as n .     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

Generalization of the theorem of Marcinkiewicz on entire characteristic functions of probability distributions

The relation is studied between the distribution of the zeros and the order of growth of entire analytic functions for which ¦p(z)¦ (i Imz) for Imz 0, in particular, of entire characteristic functions of probability distributions. The main result is the following: if ₁ is the exponent of convergence of the sequence of zeros of such a function of order which lie in a half plane Imz d > 0, then the inequality ₁ < implies the inequality p 3. This estimate is precise.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 85, pp. 94–103, 1979.The author is grateful to I. V. Ostrovskii for posing the problem and for his constant assistance with the work.