Optimal Subcodes of Second Order Reed-Muller Codes andMaximal Linear Spaces of Bivectors of Maximal Rank

There are exactlytwo non-equivalent [32,11,12]-codes in the binaryReed-Muller code which contain and have the weight set {0,12,16,20,32}. Alternatively,the 4-spaces in the projective space over the vector space for which all points have rank 4 fall into exactlytwo orbits under the natural action of PGL(5) on .     

A New Cover of the 3-Local Geometry of Co1

The 3-local geometry of the sporadic simple group Co₁ has been known to have a cover with a flag-transitive automorphism group which is a nonsplit extension of an elementary Abelian 2-group of rank 24 (the Leech lattice modulo 2) by Co₁. It was conjectured that was simply connected. We disprove this conjecture by constructing a double cover of . The automorphism group of is of the shape . However, it is not isomorphic to the involution centralizer of the Monster sporadic simple group.     

Lexicographic Order and Linearity

Let be a list of all words of , lexicographically ordered with respect to some basis. Lexicodes are codes constructed from by applying a greedy algorithm. A short proof, only based on simple principles from linear algebra, is given for the linearity of these codes. The proof holds for any ordered basis, and for any selection criterion, thus generalizing the results of several authors. An extension of the applied technique shows that lexicodes over are linear for a wide choice of bases and for a large class of selection criteria. This result generalizes a property of Conway and Sloane.     

The Invariants of the Clifford Groups

The automorphism group of the Barnes-Wall lattice L _m in dimension 2 ^m (m ; 3) is a subgroup of index 2 in a certain Clifford group of structure 2 ₊ ^1+2m . O ⁺(2m,2). This group and its complex analogue of structure .Sp(2m, 2) have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge@apos;s 1996 result that the space of invariants for of degree 2k is spanned by the complete weight enumerators of the codes , where C ranges over all binary self-dual codes of length 2k; these are a basis if m k - 1. We also give new constructions for L _m and : let M be the -lattice with Gram matrix . Then L _m is the rational part of M ^m, and = Aut(M^m). Also, if C is a binary self-dual code not generated by vectors of weight 2, then is precisely the automorphism group of the complete weight enumerator of . There are analogues of all these results for the complex group , with doubly-even self-dual code instead of self-dual code.     

On the Existence of Relative Injective Covers

Let be a hereditary torsion theory for the category -mod of unital left -modules over an associative ring with an identity element. The purpose of this note is to prove that if the associated Gabriel filter consists of finitely presented left ideals, then every module has a -injective cover and if contains a cofinal subset of finitely presented left ideals, then every module has a -torsionfree -injective cover. The methods used working with pure submodules contained in ``large" submodules also allow to unify the proofs of some previously known results.     

On Sparse Parity Check Matrices

We consider the extremal problem to determine the maximal number of columns of a 0-1 matrix with rows and at most ones in each column such that each columns are linearly independent modulo . For fixed integers and , we shall prove the probabilistic lower bound = ; for a power of , we prove the upper bound which matches the lower bound for infinitely many values of . We give some explicit constructions.     

Minihypers and Linear Codes Meeting the Griesmer Bound: Improvements to Results of Hamada, Helleseth and Maekawa

This article improves results of Hamada, Helleseth and Maekawa on minihypers in projective spaces and linear codes meeting the Griesmer bound.In [10,12],it was shown that any -minihyper, with , where , is the disjoint union of points, lines,..., -dimensional subspaces. For q large, we improve on this result by increasing the upper bound on non-square, to non-square, square, , and (4) for square, p prime, p<3, to . In the case q non-square, the conclusion is the same as written above; the minihyper is the disjoint union of subspaces. When q is square however, the minihyper is either the disjoint union of subspaces, or the disjoint union of subspaces and one subgeometry . For the coding-theoretical problem, our results classify the corresponding codes meeting the Griesmer bound.     

Characterizations of Translation Generalized Quadrangles

If x is a regular point of the generalizedquadrangle of order (s,t), s 1 t, then x defines a dual net . If contains a line L of regularpoints and if for at least one point x on Lthe automorphism group of the dual net satisfies certain transitivityproperties, then is a translation generalized quadrangle. Thisresult has many applications. We give one example. Ifs=t 1, then is a dual affine plane. Let be a generalizedquadrangle of orders,s odd and s 1, which contains a lineL of regular points. If for at least one pointx on L the plane is Desarguesian, then is isomorphic to the classical generalizedquadrangleW(s).     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Stickelberger Codes

Let p be an odd prime and be a primitive p th root of unity over . The Galois group G of over is a cyclic group of order p-1. The integral group ring [G] contains the Stickelberger ideal S _p which annihilates the ideal class group of K. In this paper we investigate the parameters of cyclic codes S _p (q) obtained as reductions of S _p modulo primes q which we call Stickelberger codes. In particular, we show that the dimension of S _p (p) is related to the index of irregularity of p, i.e., the number of Bernoulli numbers B _2k , , which are divisible by p. We then develop methods to compute the generator polynomial of S _p (p). This gives rise to anew algorithm for the computation of the index of irregularity of a prime. As an application we show that 20,001,301 is regular. This significantly improves a previous record of 8,388,019 on the largest explicitly known regular prime.     

Relatively Hyperimmune Relations on Structures

Let be a computable structure and let R be an additional relation on its domain. We establish a necessary and sufficient condition for the existence of an isomorphic copy of such that the image of R is h-simple (h-immune) relative to .     

Automorphisms of Constant Weight Codes and of Divisible Designs

We show that the automorphism group of a divisible design is isomorphic to a subgroup H of index 1 or 2 in the automorphism group of the associated constant weight code. Only in very special cases H is not the full automorphism group.     

True Dimension of Some Binary Quadratic Trace Goppa Codes

We compute in this paper the true dimension over of Goppa Codes (L, g) defined by the polynomial proving, this way, a conjecture stated in [14,16].     

Moduli Spaces of Stable Polygons and Symplectic Structures on\overline {\mathcal{M}} _{0,n}

In this paper, certain natural and elementary polygonal objects in Euclidean space, the stable polygons, are introduced, and the novel moduli spaces of stable polygons are constructed as complex analytic spaces. Quite unexpectedly, these new moduli spaces are shown to be projective and isomorphic to the moduli space of the Deligne–Mumford stable curves of genus 0. Further, built into the structures of stable polygons are some natural data giving rise to a family of (classes of) symplectic (Kähler) forms. This, via the link to , brings up a new tool to study the Kähler topology of . A wild but precise conjecture on the shape of the Kähler cone of is given in the end.     

The Spectrum of the C*-Algebra of Pseudodifferential Boundary Value Problems on a Manifold with Smooth Edges

The C ^*-algebra generated by the operators of pseudodifferential boundary value problems on a manifold with smooth closed disjoint edges and boundary is studied. The operators act in the space L ₂( ) L ₂( ). The goal of this paper is to describe all (up to an equivalence) irreducible representations of the algebra Bibliography: 12 titles.     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.     

Spectral Properties of Abelian C*-Algebras

Let be an Abelian unital C ^*-algebra and let denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of to be unitarily equivalent to a representation in which the elements of act multiplicatively, by their Gelfand transforms, on a space L ²( ,), where is a positive measure on the Baire sets of . We also compare these conditions with the multiplicity-free property of a representation.