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.     

The random-cluster model on the complete graph

Summary The random-cluster model of Fortuin and Kasteleyn contains as special cases the percolation, Ising, and Potts models of statistical physics. When the underlying graph is the complete graph onn vertices, then the associated processes are called mean-field. In this study of the mean-field random-cluster model with parametersp=/n andq, we show that its properties for any value ofq(0, ) may be derived from those of an Erds-Rényi random graph. In this way we calculate the critical point _c (q) of the model, and show that the associated phase transition is continuous if and only ifq2. Exact formulae are given for _C (q), the density of the largest component, the density of edges of the model, and the free energy. This work generalizes earlier results valid for the Potts model, whereq is an integer satisfyingq2. Equivalent results are obtained for a fixed edge-number random-cluster model. As a consequence of the results of this paper, one obtains large-deviation theorems for the number of components in the classical random-graph models (whereq=1).     

GBRD's: Some new constructions for difference matrices,generalised hadamard matrices and balanced generalised weighing matrices

A new construction is given for difference matrices. The generalized Hadamard matrices GH(q(q – 1)²; EA(q)) are constructed whenq andq – 1 are both prime powers. Other generalised Hadamard matrices are also shown to exist. For example, there exist GH(n; G) forn = 5² 2 3, 2⁶ 3², 11² 2² 3, 17² 2 3², 53² 2 3³, 71² 2² 3², 107² 2² 3³, 149² 5² 2 3,.... Finally, a new construction for the BGW ((q ⁴ – 1)/(q – 1),q ³,q ²(q – 1);q _q-1), and a construction for the new BGW ((q ⁸ – 1)/(q ² – 1),q ⁶,q ⁴(q ² – 1);G) are given, wheneverq is a prime power, andG is a group of orderq + 1.     

Designs on vector spaces constructed using quadratic forms

Let N be the set of nonnegative integers, let , t, v be in N and let K be a subset of N, let V be a v-dimensional vector space over the finite field GF(q), and let W _Kbe the set of subspaces of V whose dimensions belong to K. A t-[v, K, ; q]-design on V is a mapping : W _K N such that for every t-dimensional subspace, T, of V, we have (B)=. We construct t-[v, {t, t+1}, ; q-designs on the vector space GF(q ^v) over GF(q) for t2, v odd, and q ^t(q–1)² equal to the number of nondegenerate quadratic forms in t+1 variables over GF(q). Moreover, the vast majority of blocks of these designs have dimension t+1. We also construct nontrivial 2-[v, k, ; q]-designs for v odd and 3kv–3 and 3-[v, 4, q ⁶+q ⁵+q ⁴; q]-designs for v even. The distribution of subspaces in the designs is determined by the distribution of the pairs (Q, a) where Q is a nondegenerate quadratic form in k variables with coefficients in GF(q) and a is a vector with elements in GF(q ^v) such that Q(a)=0.This research was partly supported by NSA grant #MDA 904-88-H-2034.     

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

Commutator Subgroups of the Extended Hecke Groups \bar H(\lambda _q )

Hecke groups H(_q) are the discrete subgroups of generated by S(z) = –(z+ _q)^–1and T(z) = –1/z. The commutator subgroup of H(_q), denoted by H(_q), is studied in [2]. It was shown that H(_q) is a free group of rank q– 1.Here the extended Hecke groups obtained by adjoining to the generators of H(_q) are considered. The commutator subgroup of is shown to be a free product of two finite cyclic groups. Also it is interesting to note that while in the H(_q) case, the index of H(_q) is changed by q, in the case of this number is either 4 for qodd or 8 for qeven.     

Characterization of {(q + 1) + 2, 1;t,q}-min · hypers and {2(q + 1) + 2, 2; 2,q}-min · hypers in a Finite projective geometry

In this paper, we shall characterize all {(q + 1) + 2, 1;t, q}-min · hypers and all {2(q + 1) + 2, 2; 2,q}-min · hypers for any integert 2 and any prime powerq 3. In the next paper [8], we shall characterize all {2(q + 1) + 2, 2;t, q}-min · hypers for any integert 3 and any prime powerq 5 using the results in this paper.     

Lie algebras and recurrence relations III:q-analogs and quantized algebras

q-Analogs of the basic structures discussed in Lie Algebras and Recurrence Relations I are presented. Theq-Heisenberg-Weyl (qHW) and qsl(2) algebras are discussed in detail. Presently it is known that such structures are very closely tied in with the theory of quantum groups. Among other topics, coherent state representations and their interpretations asq-identities forq-Hermite and Al-Salam-Chihara (q-Meixner) polynomials are discussed. A discussion of Clebsch-Gordan coefficients for a qsu(2)-type algebra is presented.     

The Classification of Projective Planes of Order q3 with Cone-Representations in PG (6, q)

The classification of cone-representations of projective planes of orderq ³ of index 3 and rank 4 (and so in PG(6,^q)) is completed. Any projective plane with a non-spread representation (being a cone-representation of the second kind) is a dual generalised Desarguesian translation plane, as found by Jha and Johnson, and conversely. Indeed, given any collineation of PG(2,^q) with no fixed points, there exists such a projective plane of order q³ , where q is a prime power, that has the second kind of cone-representation of index 3 and rank 4 in PG(6,q). An associated semifield plane of order q ³ is also constructed at most points of the plane. Although Jha and Johnson found this plane before, here we can show directly the geometrical connection between these two kinds of planes.     

Anwendungen der Nielsenschen Kürzungsmethode in Gruppen mit einer definierenden Relation

LetG=a ₁,b ₁, ...,a _q ,b _q | (W ₁ (a ₁,b ₁) ...W _q (a _q b _q ))=1,q1, 2,W _j (a _j ,b _j )1. We solve the isomorphism problem forG inasmuch as we can decide in finitely many steps, if any arbitrary one-relator group is isomorphic toG or not. FurthermoreG turns out to have a finitely generated automorphism group. Forq=1 this was proved byS. J. Pride. Forq2 the proof is based onNielsen's reduction method. There are some other interesting results on subgroup problems for one-relator groups obtained by this method.     

On the Spectrum of the Sizes of Maximal Partial Line Spreads in <Emphasis Type="Italic">PG</Emphasis>(2<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">q</Emphasis>), <Emphasis Type="Italic">n</Emphasis> ≥ 3

A lot of research has been done on the spectrum of the sizes of maximal partial spreads in PG(3,q) [P. Govaerts and L. Storme, Designs Codes and Cryptography, Vol. 28 (2003) pp. 51–63; O. Heden, Discrete Mathematics, Vol. 120 (1993) pp. 75–91; O. Heden, Discrete Mathematics, Vol. 142 (1995) pp. 97–106; O. Heden, Discrete Mathematics, Vol. 243 (2002) pp. 135–150]. In [A. Gács and T. Sznyi, Designs Codes and Cryptography, Vol. 29 (2003) pp. 123–129], results on the spectrum of the sizes of maximal partial line spreads in PG(N,q), N 5, are given. In PG(2n,q), n 3, the largest possible size for a partial line spread is q^2n-1+q^2n-3+...+q³+1. The largest size for the maximal partial line spreads constructed in [A. Gács and T. Sznyi, Designs Codes and Cryptography, Vol. 29 (2003) pp. 123–129] is (q²ⁿ⁺¹–q)/(q²–1)–q³+q²–2q+2. This shows that there is a non-empty interval of values of k for which it is still not known whether there exists a maximal partial line spread of size k in PG(2n,q). We now show that there indeed exists a maximal partial line spread of size k for every value of k in that interval when q 9.J. Eisfeld: Supported by the FWO Research Network WO.011.96NP. Sziklai: The research of this author was partially supported by OTKA D32817, F030737, F043772, FKFP 0063/2001 and Magyary Zoltan grants. The third author is grateful for the hospitality of Ghent University.     

Tubes of even order and flat π.C 2 geometries

Atube of even orderq=2 ^d is a setT={L, } ofq+3 pairwise skew lines in PG(3,q) such that every plane onL meets the lines of in a hyperoval. Thequadric tube is obtained as follows. Take a hyperbolic quadricQ=Q ₃ ⁺ (q) in PG(3,q); letL be an exterior line, and let consist of the polar line ofL together with a regulus onQ.In this paper we show the existence of tubes of even order other than the quadric one, and we prove that the subgroup of PL(4,q) fixing a tube {L, } cannot act transitively on . As pointed out by a construction due to Pasini, this implies new results for the existence of flat .C ₂ geometries whoseC ₂-residues are nonclassical generalized quadrangles different from nets. We also give the results of some computations on the existence and uniqueness of tubes in PG(3,q) for smallq. Further, we define tubes for oddq (replacing hyperoval by conic in the definition), and consider briefly a related extremal problem.Dedicated to luigi antonio rosati on the occasion of his 70th birthday     

Powers of Euler's Product and Related Identities

Ramanujan's partition congruences can be proved by first showing that the coefficients in the expansions of (q; q) ^r satisfy certain divisibility properties when r = 4, 6 and 10. We show that much more is true. For these and other values of r, the coefficients in the expansions of (q; q) ^r satisfy arithmetic relations, and these arithmetic relations imply the divisibility properties referred to above. We also obtain arithmetic relations for the coefficients in the expansions of (q; q) ^r (q ^t; q ^t) ^s , for t = 2, 3, 4 and various values of r and s. Our proofs are explicit and elementary, and make use of the Macdonald identities of ranks 1 and 2 (which include the Jacobi triple product, quintuple product and Winquist's identities). The paper concludes with a list of conjectures.     

On Some Integrals Involving the Hurwitz Zeta Function: Part 2

We establish a series of indefinite integral formulae involving the Hurwitz zeta function and other elementary and special functions related to it, such as the Bernoulli polynomials, ln sin(q), ln (q) and the polygamma functions. Many of the results are most conveniently formulated in terms of a family of functions A _k(q) := k(1 – k, q), k , and a family of polygamma functions of negative order, whose properties we study in some detail.     

Asymptotic Discontinuity of Smooth Solutions of Nonlinear q-Difference Equations

We investigate the asymptotic behavior of solutions of the simplest nonlinear q-difference equations having the form x(qt+ 1) = f(x(t)), q> 1, t R ⁺. The study is based on a comparison of these equations with the difference equations x(t+ 1) = f(x(t)), t R ⁺. It is shown that, for not very large q> 1, the solutions of the q-difference equation inherit the asymptotic properties of the solutions of the corresponding difference equation; in particular, we obtain an upper bound for the values of the parameter qfor which smooth bounded solutions that possess the property as T and tend to discontinuous upper-semicontinuous functions in the Hausdorff metric for graphs are typical of the q-difference equation.     

De Branges spaces of entire functions closed under forming difference quotients

With a de Branges spaceH(E) of entire functions a functionq, analytic in ⁺ and satisfying there Imq(z)0, is associated. In this note we give necessary and sufficient conditions forH(E) to be closed under forming certain difference quotients in terms of the poles and zeros ofq. Moreover, we obtain a criterion whether a functionq possessing the above mentioned properties can be written as the quotient of the right upper and right lower entry of an entire matrix functionW (z) satisfying a certain kernel condition.     

Estimates of the Best M-Term Trigonometric Approximations of the Classes Lβ, pψ of Periodic Functions of Many Variables in the Space Lq

We obtain order estimates for the best trigonometric approximations of the classes L _{, p} of periodic functions of many variables in the space L _q for 1 < p < q 2 and 1 < q p < .     

Exponential Sums for O+(2n,q) and Their Applications

For a nontrivial additive character of the finite field with q elements and each positive integer r, the exponential sums ( ( trw )^r ) over w SO ⁺(2n,q) and over w O ⁺(2n,q) are considered. We show that both of them can be expressed as polynomials in q involving certain new exponential sums. Estimates on those new exponential sums are given. Also, we derive from these expressions the formulas for the number of elements w in SO ⁺(2n,q) and O ⁺(2n,q) with (trw) ^r = , for each in the finite field with q elements.     

Spreads and ovoids in finite generalized quadrangles

This paper is a survey on the existence and non-existence of ovoids and spreads in the known finite generalized quadrangles. It also contains the following new results. We prove that translation generalized quadrangles of order (s,s ²), satisfying certain properties, have a spread. This applies to three known infinite classes of translation generalized quadrangles. Further a new class of ovoids in the classical generalized quadranglesQ(4, 3 ^e ),e3, is constructed. Then, by the duality betweenQ(4, 3 ^e ) and the classical generalized quadrangleW (3 ^e ), we get line spreads of PG(3, 3 ^e ) and hence translation planes of order 3^2e . These planes appear to be new. Note also that only a few classes of ovoids ofQ(4,q) are known. Next we prove that each generalized quadrangle of order (q ²,q) arising from a flock of a quadratic cone has an ovoid. Finally, we give the following characterization of the classical generalized quadranglesQ(5,q): IfS is a generalized quadrangle of order (q,q ²),q even, having a subquadrangleS isomorphic toQ(4,q) and if inS each ovoid consisting of all points collinear with a given pointx ofS\S is an elliptic quadric, thenS is isomorphic toQ(5,q).     

Some Y-Groups

We call a Y-group a quotient of a Coxeter group with a Y _pqr -diagram in accordance with the ATLAS terminology. Here we prove, without computer aid, that some 3-transposition groups are also Y-groups. For each of these groups, the arms of the Coxeter diagram Y _pqr are such that (1 = r q p 5) or (2 = r q 3, q p 5) holds, the additional relations generally describe the center or the Schur multiplier.