Construction of orthogonal starters and corollaries

A method is proposed for constructing a system of (v–1)/2 pairwise disjoint orthogonal starters of order v for v6k+17 (mod 12)pn²+n+1/t such that the number 3 is one of the primitive roots of the Galois field of prime order p (k is prime, k 2, and n and t are positive integers). The starters occurring in this system satisfy certain additional conditions. The construction of a series of combinatorial structures, including some not previously known, is a consequence of this result.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 5, pp. 654–662, May, 1992.     

C k -factorization of complete bipartite graphs

In this paper, it is shown that a necessary and sufficient condition for the existence of aC _k-factorization ofK _m,n is (i)m = n 0 (mod 2), (ii)k 0 (mod 2),k 4 and (iii) 2n 0 (modk) with precisely one exception, namely m =n = k = 6.     

Pointwise decomposable sets

We show that, under the conditionala<0, every recursively enumerable (r.e.) A bia has a pointwise decomposable complement. If A T^B, A and ¯B are r.e. co-retraceable sets, and f(x)=f^B(x), then there exists a r.e. co-retraceable C, such thatA(c),BT ^C , (A n) (f(n) <c _n), where ¯C=C ₀<C ₁<C ₂<....Translated from Matematicheskie Zametki, Vol. 13, No. 6, pp. 893–898, June, 1973.The author thanks A. N. Degtev for his interest in this work.     

Existence of 1-Rotational <Emphasis Type="Italic">k</Emphasis>-Cycle Systems of the Complete Graph

We explicitly solve the existence problem for 1-rotational k-cycle systems of the complete graph K_v with v1 or k (mod 2k). For v1 (mod 2k) we have existence if and only if k is an odd composite number. For any odd k and vk (mod 2k), (except k3 and v15, 21 (mod 24)) a 1-rotational k-cycle system of K_v exists.Final version received: June 18, 2003     

P 3-factorization of complete multipartite graphs

In this paper, it is shown that a necessary and sufficient condition for the existence of aP ₃-factorization ofK _m ⁿ is (i)mn 0(mod 3) and (ii) (m – 1)n 0(mod 4).     

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     

Non-symmetric 2-designs modulo 2

Necessary conditions are obtained for the existence of a 2 – (v, k, ) design, for which the block intersection sizess ₁,s ₂, ...,s _n satisfys ₁ s ₂ ... s _n s (mod 2 ^e ), wheree is odd. These conditions are obtained by combining restrictions on the Smith Normal Form of the incidence matrix of the design with some well known properties of self-orthogonal binary codes with all weights divisible by 4.Research done at AT&T Bell Laboratories.     

Quasi-symmetric designs and the Smith Normal Form

We obtain necessary conditions for the existence of a 2 – (, k, ) design, for which the block intersection sizes s ₁, s ₂, ..., s _n satisfy s ₁ s ₂ ... s _n s (mod p ^e ),where p is a prime and the exponent e is odd. These conditions are obtained from restriction on the Smith Normal Form of the incidence matrix of the design. We also obtain restrictions on the action of the automorphism group of a 2 – (, k, ) design on points and on blocks.     

Some Multiply Derived Translation Planes with SL(2,5) as an Inherited Collineation Group in the Translation Complement

Finite translation planes having a collineation group isomorphic to SL(2,5) occur in many investigations on minimal normal non-solvable subgroups of linear translation complements. In this paper, we are looking for multiply derived translation planes of the desarguesian plane which have an inherited linear collineation group isomorphic to SL(2,5). The Hall plane and some of the planes discovered by Prohaska [10], see also [1], are translation planes of this kind of order q ²;, provided that q is odd and either q ²; 1 mod 5 or q is a power of 5. In this paper the case q ² -1 mod 5 is considered and some examples are constructed under the further hypothesis that either q 2 mod 3, or q 1 mod 3 and q 1 mod 4, or q -1 mod 4, 3 q and q 3,5 or 6 mod 7. One might expect that examples exist for each odd prime power q. But this is not always true according to Theorem 2.     

Cyclic Steiner Quadruple Systems and Köhler's orbit graphs

In this article we are concerned with the problem of the existence of strictly cyclic Steiner Quadruple Systems sSQS(v), where v 2, 10 (24). E. Köhler (cf. (Köhler 1978)) used an orbit graph approach to handle such systems and obtained the result that in case p is a prime number with p 53, 77 (120) then sSQS(v) exists provided that the associated orbit graph OKG(p) is bridgeless. We continue these investigations by classifying the orbit graphs OKG(p) with p 5 (12), where the ones with p 53, 77 (120) constitute one out of four classes and thus show that sSQS(2p), p 5 (12) exists if OKG(p) or a reduced graph of it is bridgeless by discussing the four classes separately. Subsequent to this discussion we use the proof of Theorem 2 (Siemon 1991) to state that the bridgelessness of the graphs in all classes is equivalent to the number theoretic claim (3.1).Dedicated to Hanfried Lenz on the occasion of his 75th birthday.     

On dominant operators

This paper is devoted to the study of dominant operators with an emphasis on their spectral properties. In particular the equation (T–)f() x (T a dominant or hyponormal operator on the Hilbert space ,x andf a function from the open setU to ) is investigated in an effort to discover necessary and/or sufficient conditions for the analyticity off.Supported in part by the National Science Foundation.     

Exact Values of Widths of Classes of Analytic Functions on the Disk and Best Linear Approximation Methods

In the Hardy space H _p, (p1, 0< 1, H _p,1 H _p) we develop best linear approximation methods (previously studied by Taikov and Ainulloev) for the classes W(r,,) of analytic functions on the unit disk and calculate the exact values of linear, Gelfand, and informational n-widths of these classes.     

On the square-root bound for QR-codes

The square-root bound for quadratic-residue codes of lengthn1 (mod 4) is improved in several cases by graph-theoretic means.The results of this paper were presented at the Third International Workshop on Information Theory Convolutional Codes; Multi-User Communication, Sochi, USSR, May 1987.Dedicated to Helmut Karzel on the occasion of his 60^th birthday     

Hasse-Witt matrices of Fermat curves

Let m be an integer with m3. Let K and K be perfect fields of characteristic p and p such that (p,m)=1 and (p,m)=1, respectively. Moreover let A and A be algebraic function fields over K and K defined by x^m+y^m=a(0, ak) and x^m+y^m=a(a0 ak), respectively. Put g=(m–1)(m–2)/2. Denote by M(K,p,a) and M(K,p,a) the Hasse-Witt matrices of A and A with respect to the canonical bases of holomorphic differentials. Then we show that if p+p0(mod.m) then rank M(K,p,a)+rank M(K,p,a)=g and if pp1 (mod.m) then rank M(K,p,a)=rank M(K,p,a).     

Equivalence of bar recursors in the theory of functionals of finite type

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA , which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifPT ₁=T ₂ and Q[XT₁], then PQ[X T₂], from the at first sight weaker rule obtained by omitting P.     

Pinching constants for hyperbolic manifolds

Summary We show in this paper that for everyn4 there exists a closedn-dimensional manifoldV which carries a Riemannian metric with negative sectional curvatureK but which admits no metric with constant curvatureK–1. We also estimate the (pinching) constantsH for which our manifoldsV admit metrics with –1K–H.     

Necessary and sufficient conditions for the convergence of convolution products of non-identical distributions on finite abelian semigroups

Given a sequence of probability measures ( _n ) on a finite abelian semigroup, we present necessary and sufficient conditions which guarantee the weak convergence of the convolution products _{k,n k+1}*···* _n (k<n), asn for allk0. These conditions are verifiable in the sense that they are based entirely on the individual measures in the sequence ( _n ).     

Der numerische Wert gewisser Reihen

In this paper we compute the values of series of the form if k N is add. This was done by Glaisher [4] if k1 (mod 4), but if k 3 (mod 4) the result seems to be new.     

On the strongly spherical Sasakian metric of a spherical tangent bundle

Let Mⁿ denote an n-dimensional Riemannian manifold. Its metric is called -strongly spherical if at every point Q Mⁿ there exists a -dimensional subspace _Q T_QMⁿ such that the curvature operator of the metric of Mⁿ satisfies R(X, Y) Z = k(< Y, Z > X < X, Z > Y), where k = const > 0, Y _Q , X, Z #x2208; T_QMⁿ. The number is called the index of sphericity and k the exponent of sphericity. The following theorems are proved in the paper.THEOREM 1. Let the Sasakian metric of T₁Mⁿ be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if M² has constant Gaussian curvature K 1 and k = K²/4; b) = 3 if and only if M² has constant curvature K = 1 and k = 1/4; c) = 0, otherwise.THEOREM 2. Let the Sasakian metric of T₁Mⁿ (n Mⁿ) be -strongly spherical with exponent of sphericity k. If k > 1/3 and k 1, then = 0. Let us denote by (Mⁿ, K) a space of constant curvatureK. THEOREM 3. Let the Sasakian metric of T₁(Mⁿ, K) (n 3) be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if K = 1/4; b) = 0, otherwise. In dimension n = 3 Theorem 2 is true for k {1/4, 1}.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 150–159, 1992.     

A Note on Base Change,Identities Involving τ(n), and a Congruence of Ramanujan

We use the theory of quadratic base change to derive some new identities involving the Ramanujan -function, and show how the Ramanujan congruence (n) ₁₁(n) (mod 691) follows.