The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

Potenzieren und Wurzelziehen in rationalen Quaternionenalgebren

LetF be a field not of characteristic 2 andQ =F +F i +F j +F k the quaternion algebra overF whereij = -ji =k andi ² = α andj ² = β with 0 ≠ α, β ∈F fixed. (IfF = ℝ and α = β = - 1 thenQ is the division algebra of the Hamilton quaternions.) IfF = ℚ and Q is a division algebra then by embedding certain quadratic number fields inQ we derive an efficient formula to compute the powers of any quaternion. This formula is even true in general and reads as follows. If a, a₁, a₂, a₃ ∈F andn ∈ ℕ then where ω ig a square root of αa₁ ² + βa ₂ ² - αβa ₃ ² in or overF and andA ₀ =na ^n-1. With the help of this formula and related ones we are able to solve the equationX ⁿ =q for arbitrary quaternionsq and positive integers n in case ofF = ℝ and hence in case ofF ⊂ ℝ as well. IfF = ℝ then the total number of all solutions equals 0, 1, 2, 4,n or ∞. (4 is possible even whenn < 4.) In case ofF = ℚ, which we are primarily interested in, there are always either at most six or infinitely many solutions. Further, for everyq ≠ 0 there is at most one solution provided thatn is odd and not divisible by 3. The questions when there are infinitely many solutions and when there are none can always be decided by checking simple conditions on the radicandq ifF = ℝ. ForF = ℚ the two questions are comprehensively investigatet in a natural connection with ternary and quaternary quadratic rational forms. Finally, by applying some of our theorems on powers and roots of quate-rions we also obtain several nice results in matrix theory. For example, for every k ∈ ℤ the mappingA ↦A ^k on the group of all nonsingular 2-by-2 matrices over ℚ is injective if and only ifk is odd and not divisible by 3.

     

Matrices with the edmonds—Johnson property

A matrixA=(a _ij ) has theEdmonds—Johnson property if, for each choice of integral vectorsd ₁,d ₂,b ₁,b ₂, the convex hull of the integral solutions ofd ₁≦x≦d ₂,b ₁≦Ax≦b ₂ is obtained by adding the inequalitiescx≦|δ|, wherec is an integral vector andcx≦δ holds for each solution ofd ₁≦x≦d ₂,b ₁≦Ax≦b ₂. We characterize the Edmonds—Johnson property for integral matricesA which satisfy for each (row index)i. A corollary is that ifG is an undirected graph which does not contain any homeomorph ofK ₄ in which all triangles ofK ₄ have become odd circuits, thenG ist-perfect. This extends results of Boulala, Fonlupt, Sbihi and Uhry. First author’s research supported by the Netherlands Organization for the Advancement of Pure Research (Z.W.O.).     

Asplund operators and holomorphic maps

LetE andF be locally convex topological vector spaces. A holomorphic mapf: E→F is defined to be an Asplund map if it takes the separable subsets of a neighbourhood of eacha∈E into absolutely convex weakly metrisable subsets ofF; a Banach space is an Asplund space if and only if its identity map has this property. We show that a continuous linear map from a quasinormable locally convex spaceE into a Banach spaceF is an Asplund map if and only if it factors through an Asplund space. IfE andF are both Banach spaces, then a holomorphic mapf: E→F is an Asplund map if and only if its derivative maps factor through Asplund spaces for eacha∈E. This is true if and only if such a factorisation holds ata=0. Part of this research was done during a visit to the University of Namibia, whose financial support is gratefully acknowledged This article was processed by the author using the Springer-Verlag T_EX mamath macro package 1990     

On extremal problems of graphs and generalized graphs

Anr-graph is a graph whose basic elements are its vertices and r-tuples. It is proved that to everyl andr there is anε(l, r) so that forn>n ₀ everyr-graph ofn vertices andn ^{r−ε(l, r)} r-tuples containsr. l verticesx ^(j), 1≦j≦r, 1≦i≦l, so that all ther-tuples occur in ther-graph.     

Extreme value limit laws in the nonidentically distributed case

LetX ₁, ...,X _n be independent random variables, letF _i be the distribution function ofX _i (1≦i≦n) and letX _1n ≦... ≦X _nn be the corresponding order statistics. We consider the statisticsX _kn, wherek=k(n),k/n → 1 andn−k → ∞. Under some additional restrictions concerning the behaviour of the sequences {a _n>0,b _n,k(n),F _n} we characterize the class of all distribution functionsH such that Prob{(X _kn −b _n )/a _n <x)}→H. Dedicated to the Memory of N. V. Smirnov (1900–1966)     

Relations between some constants associated with finite dimensional Banach spaces

We define the asymmetry constants(E) of a Banach spaceE, and show examples of finite-dimensional spaces with “large” asymmetry constants. IfE isn-dimensional,λ(E)17its projection constant and π ₁(I _E ) the absolutely summing norm of the identity operatorI _E , thenn≦λ(E)π₁(I _E )≤n(s(E))². Similar equations linking thep-absolutely summing and the nuclear norms ofI _E are established. We also obtain estimates on these norms, for example π₂(I _E )=√n. The contribution of this author is a part of a Ph.D. Thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor J. Lindenstrauss whose guidance and valuable suggestions are gratefully acknowledged.     

Packing,covering and decomposing of a complete uniform hypergraph into delta-systems

Anh-uniform hypergraph generated by a set of edges {E ₁,...,E _c} is said to be a delta-system Δ(p,h,c) if there is ap-element setF such that ∇F|=p andE _i⌢E _j=F,∀i≠j. The main result of this paper says that givenp, h andc, there isn ₀ such that forn≥n ₀ the set of edges of a completeh-uniform hypergraphK _n ^h can be partitioned into subsets generating isomorphic delta-systems Δ(p, h, c) if and only if . This result is derived from a more general theorem in which the maximum number of delta-systems Δ(p, h, c) that can be packed intoK _n ^h and the minimum number of delta-systems Δ(p, h, c) that can cover the edges ofK _n ^h are determined for largen. Moreover, we prove a theorem on partitioning of the edge set ofK _n ^h into subsets generating small but not necessarily isomorphic delta-systems.     

The solution of graham’s greatest common divisor problem

The following conjecture of R. L. Graham is verified: Ifn≧n ₀, wheren ₀ is an explicitly computable constant, then for anyn distinct positive integersa ₁,a ₂, ...,a _n we have a _i /(a _i ,a _j ) ≧ ≧n, and equality holds only in two trivial cases. Here (a _i ,a _j ) stands for the greatest cnmmon divisor ofa _i anda _j .     

r-Maximal major subsets

The question of which r.e. setsA possess major subsetsB which are alsor-maximal inA (A⊂_rm B) arose in attempts to extend Lachlan’s decision procedure for the αε-theory of ℰ^*, the lattice of r.e. sets modulo finite sets, and Soare’s theorem thatA andB are automorphic if their lattice of supersets ℒ^*(A) and ℒ^*(B) are isomorphic finite Boolean algebras. We characterize the r.e. setsA with someB⊂_rm A as those with a Δ₃ function that for each recursiveR _i specifiesR _i or as infinite on and to be preferred in the construction ofB. There are r.e.A andB with ℒ^*(A) and ℒ^*(B) isomorphic to the atomless Boolean algebra such thatA has anrm subset andB does not. Thus 〈ℰ^*,A〉 and 〈ℰ^*,B〉 are not even elementarily equivalent. In every non-zero r.e. degree there are r.e. sets with and withoutrm subsets. However the classF of degrees of simple sets with norm subsets satisfies . The authors were partially supported by NSF Grants MCS 76-07258, MCS 77-04013 and MCS 77-01965 respectively.     

A theorem on arrangements of lines in the plane

LetA be an arrangement ofn lines in the plane. IfR ₁, …,R _r arer distinct regions ofA, andR _i is ap _i-gon (i=1, …,r) then we show that . Further we show that for allr this bound is the best possible ifn is sufficiently large. Financial support for this research was provided by the Carnegie Trust for the Universities of Scotland.     

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

On compactification of metric spaces

Iff:X →X* is a homeomorphism of a metric separable spaceX into a compact metric spaceX* such thatf(X)=X*, then the pair (f,X*) is called a metric compactification ofX. An absoluteG _δ-space (F _σ-space)X is said to be of the first kind, if there exists a metric compactification (f,X*) ofX such that , whereG _i are sets open inX* and dim[Fr(G _i)]<dimX. (Fr(G _i) being the boundary ofG _i and dimX — the dimension ofX). An absoluteG _δ-space (F _σ-space), which is not of the first kind, is said to be of the second kind. In the present paper spaces which are both absoluteG _δ andF _σ-spaces of the second kind are constructed for any positive finite dimension, a problem related to one of A. Lelek in [11] is solved, and a sufficient condition onX is given under which dim [X* −f(X)]≧k, for any metric compactification (f,X*) ofX, wherek≦dimX is a given number. This research has been sponsored by the U.S. Navy through the Office of Naval Research under contract No. 62558-3315.     

The view-obstruction problem for 3-dimensional spheres

LetC be ann-dimensional sphere with diameter 1 and center at the origin inE ⁿ . The view-obstruction problem forn-dimensional spheres is to determine a constant ν(n) to be the lower bound of those α for which any half-lineL, given byx _i =a _i t (i=1,2,...,n) where parametert≥0 anda _i (i=1,2,...,n) are positive real numbers, intersects

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Remarks on the descriptive metric characterization of singular sets of analytic functions

This work presents two remarks on the structure of singular boundary sets of functions analytic in the unit diskD: |z|<1. The first remark concerns the conversion of the Plessner theorem. We prove that three pairwise disjoint subsetsE ₁,E ₂, andE ₃ of the unit circle Γ: |z|=1, = Γ, are the setsI(ƒ) of all Plessner points,F(ƒ) of all Fatou points, andE(ƒ) of all exceptional boundary points, respectively, for a function ƒ holomorphic inD if and only ifE ₁ is aG _δ-set andE ₃ is a -set of linear measure zero. In the second part of the paper it is shown that for any -subsetE of the unit circle Γ with a zero logarithmic capacity there exists a one-sheeted function onD whose angular limits do not exist at the points ofE and do exist at all the other points of Γ. Translated fromMatematicheskie Zametki, Vol. 63, No. 1, pp. 56–61, January, 1998.     

NON-EMPTY CROSS-2-INTERSECTING FAMILIES OF SUBSETS

Let Cdenote the set of all k-subests of an n-set.Assume Alohtain in Ca,and A lohtain in (A,B) is called a cross-2-intersecting family if |A B≥2 for and A∈A,B∈B.In this paper,the best upper bounds of the cardinalities for non-empty cross-2-intersecting familles of a-and b-subsets are obtained for some a and b,A new proof for a Frankl-Tokushige theorem[6] is also given.     

The cotype constant and an almost euclidean decomposition for finite-dimensional normed spaces

Every 2n-dimensional normed spaceE contains twon-dimensional subspacesE ₁ andE ₂ which are orthogonal with respect to the inner product induced by the John ellipsoid ofE and which satisfyd(E _i, l ₂ ⁿ )≦f(K ₂(E)), wheref(K ₂(E)) is some number that depends only on the cotype constant ofE, denotedK ₂(E). Supported in part by NSF grant DMS 8401906.     

Characterizations of the Poisson process as a renewal process via two conditional moments

Given two independent positive random variables, under some minor conditions, it is known that fromE(X^rX+Y)=a(X+Y)^r andE(X^sX+Y)=b(X+Y)^s, for certain pairs ofr ands, wherea andb are two constants, we can characterizeX andY to have gamma distributions. Inspired by this, in this article we will characterize the Poisson process among the class of renewal processes via two conditional moments. More precisely, let {A(t), t0} be a renewal process, with {S _k, k1} the sequence of arrival times, andF the common distribution function of the inter-arrival times. We prove that for some fixedn andk, kn, ifE(S _k ^r A(t)=n)=at^r andE(S _k ^s A(t)=n)=bt^s, for certain pairs ofr ands, wherea andb are independent oft, then {A(t), t0} has to be a Poisson process. We also give some corresponding results about characterizingFto be geometric whenF is discrete.Support for this research was provided in part by the National Science Council of the Republic of China, Grant No. NSC 81-0208-M110-06.     

The Banach-Mazur distance between symmetric spaces

We show that the Banach-Mazur distance betweenN-dimensional symmetric spacesE andF satisfies , wherec is a numerical constant. IfE is a symmetric space, then max (M ⁽²⁾(E),M ₍₂₎(E)), whereM ⁽²⁾(E) (resp.M ₍₂₎(E)) denotes the 2-convexity (resp. the 2-concavity) constant ofE. We also give an example of a spaceF with an 1-unconditional basis and enough symmetries that satisfiesd(F, l ₂ ^dimF )=M ⁽²⁾(F)M ₍₂₎(F). Partially supported by NSF Grant MCS-8201044.