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.     

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.     

Set systems with no union of cardinality 0 modulom

Letq be a prime power. It is shown that for any hypergraph = {F ₁,...,F _d(q–1)+1} whose maximal degree isd, there exists Ø ₀ , such that 0 (modq).     

A Measure of Simultaneous Approximation for Quasi-Modular Functions

We improve on a recent result of Saradha giving a transcendence measure for the quotient of a period of an elliptic curve defined over by its associated quasi-period. In an (almost successful) attempt to include in a single measure both this result and that obtained by Reyssat in 1980, we blend into the modular method ideas related to modular but also hypergeometric functions, as appearing e.g. in André's work, as well as some Galois considerations.     

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.     

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

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     

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.     

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     

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

Eine Gruppentheoretisch-Geometrische Kennzeichnung der Projektiv-Metrischen Geometrien

If V is a vector space over a commutative field K, and if QV K is an arbitrary quadratic form 0, then the metric vector space (V,K,Q) determines a projective metric space ((V,K),_Q), consisting of the projective space (V,K) and a congruence relation _Q induced by Q, By generalizing results of F.Bachmann, H.Karzel, R.Lingenberg, W.Nolte and U.Ott, in this paper we present a complete solution for the problem of finding a common intrinsic characterization of all projective metric spaces. The solution is based on a sharp three-reflection-theorem, which can be formulated algebraically in the Clifford algebra C(Q) of (V,K,Q), even if this algebra is commutative.

---

---

Rafael Artzy zum 70. Geburtstag gewidmet     

ExplicitN-polynomials of 2-power degree over finite fields,I

For an odd prime powerq the infinite field GF(q ² )= _n0 GF (q ²ⁿ ) is explicitly presented by a sequence (f _n)₁ ofN-polynomials. This means that, for a suitably chosen initial polynomialf ₁, the defining polynomialsf _nGF(q)[x] of degrees2 ⁿ are constructed by iteration of the transformation of variablexx+1/x and have linearly independent roots over GF(q). In addition, the sequences are trace-compatible in the sense that the relative traces map the corresponding roots onto each other. In this first paper the caseq1 (mod 4) is considered and the caseq3 (mod 4) will be dealt with in a second paper. This specific construction solves a problem raised by A. Scheerhorn in [11].     

On zero-sum subsequences of restricted size. IV

Summary For a finite abelian group G, we investigate the invariant s(G) (resp. the invariant s₀(G)) which is defined as the smallest integer l N such that every sequence S in G of length |S| l has a subsequence T with sum zero and length |T|= exp(G) (resp. length |T|0 mod exp(G)).     

Relations between certain reducibilities

In the paper, the concept of sQ-reducibility is introduced, and for recursively enumerable (r.e.) sets A and B, it is proved that A _sQ B A _Q B & A _W B. Using this result, we give a certain characterization of contiguous degrees. It is shown that if A and B are r.e. sets such that A _sQ B and A <_m B, then sQ-degrees of A contain infinitely many pairwise m-incomparable r.e. m-degrees.Translated fromAlgebra i Logika, Vol. 33, No. 6, pp. 681–688, November–December, 1994.     

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.     

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.     

Covering a convex body by smaller homothetic copies

Let a convex bodyAE ⁿ be covered bys smaller homothetic copies with coefficients ₁, ..., _s , respectively. It is conjectured that ₁ + ...+ _s n. This conjecture is confirmed in two cases:n is arbitrary ands=n+1;s is arbitrary andn=2.     

Residual Smoothing Techniques: Do They Improve the Limiting Accuracy of Iterative Solvers?

Many iterative methods for solving linear systems, in particular the biconjugate gradient (BiCG) method and its squared version CGS (or BiCGS), produce often residuals whose norms decrease far from monotonously, but fluctuate rather strongly. Large intermediate residuals are known to reduce the ultimately attainable accuracy of the method, unless special measures are taken to counteract this effect. One measure that has been suggested is residual smoothing: by application of simple recurrences, the iterates x _n and the corresponding residuals r _n : b – Ax _n are replaced by smoothed iterates y _n and corresponding residuals s _n : b– Ay _n. We address the question whether the smoothed residuals can ultimately become markedly smaller than the primary ones. To investigate this, we present a roundoff error analysis of the smoothing algorithms. It shows that the ultimately attainable accuracy of the smoothed iterates, measured in the norm of the corresponding residuals, is, in general, not higher than that of the primary iterates. Nevertheless, smoothing can be used to produce certain residuals, most notably those of the minimum residual method, with higher attainable accuracy than by other frequently used algorithms.     

Extendability of Ternary Linear Codes

There are four diversities for which ternary linear codes of dimension k 3, minimum distance d with gcd(3,d) = 1 are always extendable. Moreover, three of them yield double extendability when d 1 (mod 3). All the diversities are found for ternary linear codes of dimension 3 k 6. An algorithm how to find an extension from a generator matrix is also given.This research has been partially supported by Grant-in-Aid for Scientific Research of the Ministry of Education under Contract Number 304-4508-12640137     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.