A New Family of 2-Designs over GF (q) Admitting SLm(q1)

Given a 2-(l,3,q³(q^l-5-1/q-1);q) design for an integer l 5 mod 6(q-1) which admits the action of a Singer cycle Z_l of GL_l(q), we construct a 2-(ml,3,q³(q^l-5-1/q-1);q) design for an arbitrary integer m 3 which admits the action of SL_m(q^l). The construction applied to Suzuki's designs actually provides a new family of 2-designs over GF(q) which admit the SL_m(q^l) action.     

Characterization of 3 D 4(q)

The author defined the concept order components in [2] and gave a new characterization of sporadic simple groups by their order components in [7]. Afterwards the following groups were characterized by the author: G₂(q), q = 0 (mod 3)^[8]; E₈(q)^[9]; Suzuki-Ree groups^[10]; PSL₂(q)^[11]. Here the author will continue such kind of characterization and prove that:Theorem 1. Let G be a finite group, M = ³D₄(q). If G and M has the same order components, then G M.And the following theorems follows from Theorem 1.Theorem 2. (Thompsons Conjecture) Let G be a finite group, Z(G) = 1,M = ³D₄(q). If N(G) = N(M), then G M. (ref. [6])Theorem 3. (Wujie Shi) Let G be a finite group, M = ³D₄(q). If|G| = |M|, _e(G) = _e(M), then G M. (ref. [15])All notations are the same as in [2]. According to the classification theorem of finite simple groups, [12] and [13], we can list the order components of finite simple groups with nonconnected prime graphs in Tables 1-4 (ref. [5]).American Mathematics Society Classification 20D05 20D60The author is indebted to Fred and Barbara Kort Sino-Israel Postdoctoral Programme for supporting my post-doctoral position (1999.10-2000.10) at Bar-Ilan University, also to Emmy Noether Mathematics Institute and NSFC for partially financial support.     

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

Ebene algebraische Kurven vom Typ p,q

Let p,q be relatively prime integers with 2pr ^p,q be the numerical semigroup generated by p,q,{(p–1) (q–1)–1–(ip+jq)¦i+jr–2}. Then there exists a smooth projective curve X and a point x on X, such that H _r ^p,q is the set of orders of poles of the rational functions on X, which are regular on X\{x}; in other words: H _r ^p,q is a Weierstraß semigroup.     

Translation Ovoids of Generalized Quadrangles and Hexagnos

We define the notion of a translation ovoid in the classical generalized quadrangles and hexagons of order q, and we enumerate all known examples; translation spreads are defined dually. A modification of the known ovoids in the generalized hexagon H(q), q=3^2h+1, yields new ovoids of that hexagon. Dualizing and projecting along reguli, we obtain an alternative construction of the Roman ovoids due to Thas and Payne. Also, we construct a new translation spread in H(q) for any 1 mod 3, q odd, with the property that any projection along reguli yields the classical ovoid in the generalized quadrangle Q(4,q). Finally, we prove that for q odd, the new example is the only non-Hermitian translation spread in H(q) with the property that any projection along reguli yields the classical ovoid in Q(4,q).     

A family of translation planes of order q3

In this note, some new class of translation planes of order q³, where q is an odd prime power with q 3,7, are constructed. The translation complement of any plane of this class has three orbits lengths 1, 1 and q³-1 on 1.     

Some combinatorial and geometric characterizations of the finite dual classical generalized hexagons

We characterize the dual of the generalized hexagons naturally associated to the groupsG ₂(q) and³ D ₄(q) by looking at certain configurations, and also by considering intersections of traces. For instance, the dual of a generalized hexagon of finite order (s, t) is associated to the Chevalley groups mentioned above if and only if the intersection of any two tracesx ^y andx ^z, with some additional condition, contains at mostt/s + 1 elements.     

On the condition number of linear least squares problems in a weighted Frobenius norm

LetA be anm × n, m n full rank real matrix andb a real vector of sizem. We give in this paper an explicit formula for the condition number of the linear least squares problem (LLSP) defined by min Ax–b₂,x ⁿ . Let and be two positive real numbers, we choose the weighted Frobenius norm [A, b] _F on the data and the usual Euclidean norm on the solution. A straightforward generalization of the backward error of [9] to this norm is also provided. This allows us to carry out a first order estimate of the forward error for the LLSP with this norm. This enables us to perform a complete backward error analysis in the chosen norms.Finally, some numerical results are presented in the last section on matrices from the collection of [5]. Three algorithms have been tested: the QR factorization, the Normal Equations (NE), the Semi-Normal Equations (SNE).     

The translation planes of order q2 that admit SL(2,q) as a collineation group. II. Odd order

Let be a translation plane of odd order q², where q=p^r and p is a prime. If admits SL(2,q) (or PSL(2,q)) as a collineation group then is a Desarguesian, Hall, or Hering plane, or one of two Walker planes of order 25.Partially supported by grants from the National Science Foundation.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

Sur les bornes d'erreur a posteriori pour les éléments propres d'opérateurs linéaires

Summary The theoretical framework of this study is presented in Sect. 1, with a review of practical numerical methods. The linear operatorT and its approximationT _n are defined in the same Banach space, which is a very common situation. The notion of strong stability forT _n is essential and cannot be weakened without introducing a numerical instability [2]. IfT (or its inverse) is compact, most numerical methods are strongly stable. Without compactness forT(T ^–1) they may not be strongly stable [20].In Sect. 2 we establish error bounds valid in the general setting of a strongly stable approximation of a closedT. This is a generalization of Vainikko [24, 25] (compact approximation). Osborn [19] (uniform and collectivity compact approximation) and Chatelin and Lemordant [6] (strong approximation), based on the equivalence between the eigenvalues convergence with preservation of multiplicities and the collectively compact convergence of spectral projections. It can be summarized in the following way: , eigenvalue ofT of multiplicitym is approximated bym numbers, _n is their arithmetic mean.- _n and the gap between invariant subspaces are of order _n =(T-T _n)P. IfT _n ^* converges toT ^*, pointwise inX ^*, the principal term in the error on - _n is . And for projection methods, withT _n= _n T, we get the bound . It applies to the finite element method for a differential operator with a noncompact resolvent. Aposteriori error bounds are given, and thegeneralized Rayleigh quotient TP _n appears to be an approximation of of the second order, as in the selfadjoint case [12].In Sect. 3, these results are applied to the Galerkin method and its Sloan variant [22], and to approximate quadrature methods. The error bounds and the generalized Rayleigh quotient are numerically tested in Sect. 4.

---

Sur les bornes d'erreur a posteriori pour les éléments propres d'opérateurs linéaires

     

Difference Sets with n = 2pm

Let D be a (v,k,) difference set over an abelian group G with even n = k - . Assume that t N satisfies the congruences t q _i ^fi (mod exp(G)) for each prime divisor q_i of n/2 and some integer f_i. In [4] it was shown that t is a multiplier of D provided that n > , (n/2, ) = 1 and (n/2, v) = 1. In this paper we show that the condition n > may be removed. As a corollary we obtain that in the case of n= 2p^a when p is a prime, p should be a multiplier of D. This answers an open question mentioned in [2].     

Jacobiformen und Thetareihen

We give a characterisation of Jacobi forms by classical modular forms from which we obtain dimension formulas for the spaces of Jacobi forms in certain cases. Then we consider the ordinary theta series to the quaternary quadratic forms of discriminant q² (q an odd prime) representing 2; these possess a natural continuation to Jacobi forms for which we give a sufficient condition of linear independence. If this condition is fulfilled and if there is no cusp form of weight 4 with respect to _o(q) which vanishes at the cusp 0 with a certain order then the classical theta series are also linear independent.     

A Remarkable q,t-Catalan Sequence and q-Lagrange Inversion

We introduce a rational function C _n(q, t) and conjecture that it always evaluates to a polynomial in q, t with non-negative integer coefficients summing to the familiar Catalan number . We give supporting evidence by computing the specializations and C _n (q) = C _n(q,1) = C _n(1,q). We show that, in fact, D _n(q) q-counts Dyck words by the major index and C _n(q) q-counts Dyck paths by area. We also show that C _n(q, t) is the coefficient of the elementary symmetric function e _nin a symmetric polynomial DH_n(x; q, t) which is the conjectured Frobenius characteristic of the module of diagonal harmonic polynomials. On the validity of certain conjectures this yields that C _n(q, t) is the Hilbert series of the diagonal harmonic alternants. It develops that the specialization DH_n(x; q, 1) yields a novel and combinatorial way of expressing the solution of the q-Lagrange inversion problem studied by Andrews [2], Garsia [5] and Gessel [11]. Our proofs involve manipulations with the Macdonald basis {P (x; q, t)} which are best dealt with in -ring notation. In particular we derive here the -ring version of several symmetric function identities.Work carried out under NSF grant support.     

Monotonie bei den Quadraturverfahren von Gauß und Newton-Cotes

Summary LetQ _n be the quadrature rule of Gauss or Newton-Cotes withn abscissas. It is proven here, thatf ⁽²ⁿ⁾0 impliesQ _n ^G [f]Q _m ^G [f] (for allm>n) andQ _2n–1 ^NC [f]Q _2n ^NC [f]Q _2n+1 ^NC [f]. It follows that the sequenceQ _n[f] (n=1, 2, ...) is monotone, if all derivatives off are positive.

     

Solving systems of polynomial inequalities over a real closed field in subexponential time

Let _m= (₁,..., _m) denote an ordered field, where _i+1>0 is infinitesimal relative to the elements of _i, 0 < –i < m (by definition, ₀= ). Given a system of inequalities f₁ > 0, ..., f_s > 0, f_s+1 0, ..., f_k 0, where f_{j m} [X₁,..., X_n] are polynomials such that, and the absolute value of any integer occurring in the coefficients of the f_js is at most 2^M. An algorithm is constructed which tests the above system of inequalities for solvability over the real closure of _m in polynomial time with respect to M, ((d)ⁿd₀)^n+m. In the case _m=, the algorithm explicitly constructs a family of real solutions of the system (provided the latter is consistent). Previously known algorithms for this problem had complexity of the order ofM(d d ₀ ^{m 2U(n)} .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 3–36, 1988.     

Necessary conditions for the existence of divisible designs

BOSE and CONNOR [2] proved that a symmetric regular divisible design with w classes of sizes g and joining numbers ₁ and ₂ must satisfy for every prime p the arithmetic condition (d₁, (–1)^sw)_p(d₂,(–l)^tg^w)_p=1, where d₁=k²–v₂, d₂= k–₁ s=(w-1)(w-2)/2, t=(v-w)(v-w-1)/2 and (*,*) is the Hilbert symbol. We show that if in addition _{1 2} and the design is fully symmetric divisible then (d₁, (–1)^s w)_p=(d₂, (–1)^tg^w)=1. Our assumption is by a result of CONNOR [5] fulfilled, if d₁ and ₁–₂ are relatively prime. Thus, we can exclude parameters not accessible to the Bose-Connor-Theorem. Our result can be derived from a theorem of RAGHAVARAO [9], and we give the precise assumptions of this theorem. We also discuss arithmetic restrictions for divisible designs which satisfy diverse other rules for the intersection numbers and generalize a result of DEMBOWSKI [6; 2.1.11].Dedicated to Professor Benz on occasion of his sixtieth birthday     

Maximal partial spreads in PG (3, q)

We transfer the whole geometry of PG(3, q) over a non-singular quadric Q_4,q of PG(4, q) mapping suitably PG(3, q) over Q_4,q. More precisely the points of PG(3, q) are the lines of Q_4,q; the lines of PG(3, q) are the tangent cones of Q_4,q and the reguli of the hyperbolic quadrics hyperplane section of Q_4,q. A plane of PG(3, q) is the set of lines of Q_4,q meeting a fixed line of Q_4,q. We remark that this representation is valid also for a projective space over any field K and we apply the above representation to construct maximal partial spreads in PG(3, q). For q even we get new cardinalities for For q odd the cardinalities are partially known.     

The closed ideal of (c o ,p,q)-summing operators

For 1/p+1/q1, we study the closed ideal formed by the (c _o ,p,q)-summing operators. It turns out thatT:XY does not belong to if and only if it factors the mapId:l _p ^*l _q . By localization, we get the ideal that consists of those operatorsT for which all ultrapowersT ^u are contained in . Operators in the complement of are characterized by the property that they factor the mapsId:l _p ^*n l _q ⁿ uniformly. Our main tools are ideal norms.Supported by DFG grant PI 322/1-2     

On the mixed problem for hyperbolic partial differential-functional equations of the first order

We consider the mixed problem for the hyperbolic partial differential-functional equation of the first order where is a function defined by z _(x,y)(t, s) = z(x + t, y + s), (t, s) [–, 0] × [0, h]. Using the method of bicharacteristics and the method of successive approximations for a certain integral-functional system we prove, under suitable assumptions, a theorem of the local existence of generalized solutions of this problem.