Infinite highly arc transitive digraphs and universal covering digraphs

A digraph (that is a directed graph) is said to be highly arc transitive if its automorphism group is transitive on the set ofs-arcs for eachs0. Several new constructions are given of infinite highly arc transitive digraphs. In particular, for a connected, 1-arc transitive, bipartite digraph, a highly arc transitive digraphDL() is constructed and is shown to be a covering digraph for every digraph in a certain classD() of connected digraphs. Moreover, if is locally finite, thenDL() is a universal covering digraph forD(). Further constructions of infinite highly arc transitive digraphs are given.The second author wishes to acknowledge the hospitality of the Mathematical Institute of the University of Oxford, and the University of Auckland, during the period when the research for this paper was doneResearch supported by the Australian Research Council     

Inequalities in Products of Minors of Totally Nonnegative Matrices

Let _I,I be the minor of a matrix which corresponds to row set I and column set I. We give a characterization of the inequalities of the form _{I,I K,K J,J L,L} which hold for all totally nonnegative matrices. This generalizes a recent result of Fallat, Gekhtman, and Johnson.     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.     

On optimality of spline interpolation for recovery of differentiable functions

W _p ^r (1p<) , . - r -1. =1 r-2.     

Existence for the Cahn-Hilliard phase separation model with a nondifferentiable energy

Summary The Cahn-Hilliard model for phase separation in a binary alloy leads to the equations (I) u_t=w, (II) w= (u)– u with an associated energy functional F(u)=f [(u)+ +¦u¦²/2] dx. In this paper we discuss the existence theory for initial bounday value problems arising from modifications to the Cahn-Hilliard model due to the addition of the non-differentiable term ¦u¦dx to the energy F(u).     

On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

On the structure of the automorphism group of 2-dimensional Laguerre planes

In this note we consider 2-dimensional Laguerre planes and prove structure theorems on their automorphism group . In particular, we look at connected locally simple Lie subgroups of and the factor group / of a connected closed subgroup of over the kernel of the action of on the set of parallel classes. The informations obtained will be useful in the later classification of 2-dimensional Laguerre planes having a 4-dimensional automorphism group.Dedicated to Professor H. Salzmann on the occasion of his 60th birthday     

Transversal designs associated with frobenius groups

To any Frobenius group G (of degree s, with Frobenius complement of order k) we associate an (s,k) -transversal design (G) which admits G as a point-regular collineation group. (G) is in fact also a dual translation net and furthermore admits a flag-regular collineation group. Also, (G) has two orthogonal resolutions. Conversely, we will characterize the Frobenius groups among the point-regular collineation groups of resolvable transversal designs. We also exhibit two further classes of flag-regular transversal designs. Finally, we completely determine the possible parameters of TD's constructed as above.Dedicated to Professor R. Artzy on the occasion of his 70th birthday     

Extremal problems of Bloch function spaces

Letf be analytic in a hyperbolic region . The Bloch constant _f off is defined by , where (z)|dz| is the Poincaré metric in . Suppose is hyperbolic and where . Then for allf withf() , we have _f 1/(). In this paper we study the extremal functions defined by _f =1/() and the existence of those functions.Supported by the National Natural Science Foundation of China.     

Die Dupinschen Zykliden im pseudoeuklidischen Raum

In the pseudoeuclidean space¹ E ³ a surface of degree 3 or 4 is calledDupin-cyclide if there exists a (pseudoeuclidean) torus such that a (pseudoeuclidean) spherical inversion maps upon . If the axis of is respectively space-like, isotropic or time-like is calledDupin-r-,-l- or-z-cyclide. ADupin-cyclide is the envelope of two families of spheres, the caustic surfaces of degenerate in caustic curves and the lines of curvature of constitute two (orthogonal) families of circles.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

A structure theorem for weak buildings of spherical type

Following earlier work of Tits [8], this paper deals with the structure of buildings which are not necessarily thick; that is, possessing panels (faces of codimension 1) which are contained in two chambers, only. To every building , there is canonically associated a thick building whose Weyl group W( ) can be considered as a reflection subgroup of the Weyl group W() of . One can reconstruct from together with the embedding W( ) W(). Conversely, if is any thick building and W any reflection group containing W( ) as a reflection subgroup, there exists a weak building with Weyl group W and associated thick building .     

Converse theorems for multidimensional Kantorovich operators

L _p [0, l]. . . - .

---

---

Supported by National Science Foundation, Zhejiang Provincial Science Foundation of China, and Alexander von Humboldt Foundation of Germany.     

Iterated Homology of Simplicial Complexes

We develop an iterated homology theory for simplicial complexes. Thistheory is a variation on one due to Kalai. For a simplicial complex of dimension d – 1, and each r = 0, ...,d, we define rth iterated homology groups of . When r = 0, this corresponds to ordinary homology. If is a cone over , then when r = 1, we get the homology of . If a simplicial complex is (nonpure) shellable, then its iterated Betti numbers give the restriction numbers, h _k,j , of the shelling. Iterated Betti numbers are preserved by algebraic shifting, and may be interpreted combinatorially in terms of the algebraically shifted complex in several ways. In addition, the depth of a simplicial complex can be characterized in terms of its iterated Betti numbers.     

Quasiassociative Algebras with Simple Artinian Null Part

We prove that any quasiassociative algebra with simple Artinian null part is isomorphic to a unique matrix algebra M_n(), where is a quasiassociative division algebra.     

Parabelscharen und grenzkreise in der isotropen ebene

It is known by H. Sachs [5] that the classical curve theorem of ABRAMESCU also holds in isotropic geometry. Generalising an idea due to O. Röschel [2] we regard all inscribed parabolas (s, t) of a triangle (t). This triangle is formed by the tangents of three neighbouring points of a C -curve k(t) in an isotropic plane. Let U((t)) be the circumcircle of (t) and I((t)) the incircle of the triangle (t) whose midpoints of the sides are the vertices of (t). The circle U((t)) is the locus of the isotropic focal points of (s, t) and the incircle I((T)) the envelope of the isotropic axes of (s, t). We prove that the ABRAMESU-circle — lim U((t)) — is identical with the locus of the focal points of lim (s, t) and the circle lim I((t)) with the envelope of the axes of lim (s, t). The characteristic points, different from k(t), of the circles lim U((t)) and lim I((t)) determine the direction of the affine-normal of k(t).Herrn Professor Helmut Mäurer zum 60. Geburtstag gewidmet     

Leaves in Representation Diagrams of Bipartite Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Let ₀ > ₁ ··· > _D denote the eigenvalues of and let q ^h _ij (0 h, i, j D) denote the Krein parameters of . Pick an integer h (1 h D – 1). The representation diagram = _h is an undirected graph with vertices 0,1,...,D. For 0 i, j D, vertices i, j are adjacent in whenever i j and q ^h _ij 0. It turns out that in , the vertex 0 is adjacent to h and no other vertices. Similarly, the vertex D is adjacent to D – h and no other vertices. We call 0, D the trivial vertices of . Let l denote a vertex of . It turns out that l is adjacent to at least one vertex of . We say l is a leaf whenever l is adjacent to exactly one vertex of . We show has a nontrivial leaf if and only if is the disjoint union of two paths.     

Schatten class composition operators on weighted Bergman spaces of bounded symmetric domains

Summary We obtain trace ideal criteria for 0A ² () of a Bounded symmetric diomain in _n.     

Partially ordered permutation groups

In this note we discuss permutation groups (G, ) in which the set admits aG-invariant order. By aG-invariant partial order (G-partial order) we mean a partial order < of such that < implies g<g, for all and in andg inG. If the set admits aG-partial order which is a total order, then (G, ) is an O-permutation group (orderable permutation group).The main concern of this paper is the development of a foundation for partially ordered permutation groups analogous to the existing one for partially ordered groups, as found in Fuchs [2].     

On the limit superior of analytic sets

. , A ₀,A ₁,— - lim supA _j - H, . , - - . , , ; , , . - . - .