There exists no (15,5,4) RBIBD†*

An (n, M, d)_q code is a q‐ary code of length n, cardinality M, and minimum distance d. We show that there exists no (15,5,4) resolvable balanced incomplete block design (RBIBD) by showing that there exists no (equidistant) (14,15,10)₃ code. This is accomplished by an exhaustive computer search using an orderly algorithm combined with a maximum clique algorithm. © 2001 John Wiley & Sons, Inc. J Combin Designs 9: 357–362, 2001     

Enumerating and decoding perfect linear Lee codes

Using group theory approach, we determine all numbers q for which there exists a linear 1-error correcting perfect Lee code of block length n over Z _q , and then we enumerate those codes. At the same time this approach allows us to design a linear time decoding algorithm.      

The Maximum or Minimum Number of Rational Points on Genus Three Curves over Finite Fields

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre–Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.with an Appendix by Jean-Pierre Serre     

A Family of Non-quasiprimitive Graphs Constructed From PSU3（q） Where q Is Odd

Let Г be a simple connected graph and let G be a group of automorphisms of Г. Г is said to be （G, 2）-arc transitive if G is transitive on the 2-arcs of Г. It has been shown that there exists a family of non-quasiprimitive （PSU3（q）, 2）-arc transitive graphs where q = 2^3m with m an odd integer. In this paper we investigate the case where q is an odd prime power.     

Optimal linear perfect hash families with small parameters

A linear (q^d, q, t)‐perfect hash family of size s consists of a vector space V of order q^d over a field F of order q and a sequence ?₁,…,?_s of linear functions from V to F with the following property: for all t subsets X ? V, there exists i ∈ {1,·,s} such that ?_i is injective when restricted to F. A linear (q^d, q, t)‐perfect hash family of minimal size d( – 1) is said to be optimal. In this paper, we prove that optimal linear (q², q, 4)‐perfect hash families exist only for q = 11 and for all prime powers q > 13 and we give constructions for these values of q. © 2004 Wiley Periodicals, Inc. J Comb Designs 12: 311–324, 2004     

On the construction of [q 4 + q 2 − q, 5,q 4 − q 3 + q 2 − 2q; q]-codes meeting the Griesmer bound

It is unknown whether or not there exists an [87, 5, 57; 3]-code. Such a code would meet the Griesmer bound. The purpose of this paper is to give a constructive proof of the existence of [q ⁴ + q ² – q, 5, q ⁴ – q ³ + q ² – 2q; q]-codes for any prime power q 3. As a special case, it is shown that there exists an [87, 5, 57; 3]-code with weight enumerator 1 + 156z ³⁷ + 82z ⁶⁰ + 2z ⁶³ + 2z ⁷⁸. The new construction settles an open problem due to Hill and Newton [10].     

On codewords in the dual code of classical generalised quadrangles and classical polar spaces

In [J.L. Kim, K. Mellinger, L. Storme, Small weight codewords in LDPC codes defined by (dual) classical generalised quadrangles, Des. Codes Cryptogr. 42 (1) (2007) 73-92], the codewords of small weight in the dual code of the code of points and lines of Q(4,q) are characterised. Inspired by this result, using geometrical arguments, we characterise the codewords of small weight in the dual code of the code of points and generators of Q⁺(5,q) and H(5,q²), and we present lower bounds on the weight of the codewords in the dual of the code of points and k-spaces of the classical polar spaces. Furthermore, we investigate the codewords with the largest weights in these codes, where for q even and k sufficiently small, we determine the maximum weight and characterise the codewords of maximum weight. Moreover, we show that there exists an interval such that for every even number w in this interval, there is a codeword in the dual code of Q⁺(5,q), q even, with weight w and we show that there is an empty interval in the weight distribution of the dual of the code of Q(4,q), q even. To prove this, we show that a blocking set of Q(4,q), q even, of size q²+1+r, where 0<r<(q+4)/6, contains an ovoid of Q(4,q), improving on [J. Eisfeld, L. Storme, T. Sz?nyi, P. Sziklai, Covers and blocking sets of classical generalised quadrangles, Discrete Math. 238 (2001) 35-51, Theorem 9].     

On the maximality of linear codes

We show that if a linear code admits an extension, then it necessarily admits a linear extension. There are many linear codes that are known to admit no linear extensions. Our result implies that these codes are in fact maximal. We are able to characterize maximal linear (n, k, d) _q -codes as complete (weighted) (n, n − d)-arcs in PG(k − 1, q). At the same time our results sharply limit the possibilities for constructing long non-linear codes. The central ideas to our approach are the Bruen-Silverman model of linear codes, and some well known results on the theory of directions determined by affine point-sets in PG(k, q).      

A new extension theorem for linear codes

For an [n,k,d]_q code with k3, gcd(d,q)=1, the diversity of is defined as the pair (Φ₀,Φ₁) with

All the diversities for [n,k,d]_q codes with k3, d−2 (mod q) such that A_i=0 for all i0,−1,−2 (mod q) are found and characterized with their spectra geometrically, which yields that such codes are extendable for all odd q5. Double extendability is also investigated.     

More cyclic triplewhist tournaments

We extend the set of values of n for which it is known that a Z-cyclic triple whist tournament for 4n players exists by proving that if there exists such a tournament for q + 1 players, where q ≡ 3 (mod 4) is prime, then there exists such a tournament for qp^a1₁…p^an_n + 1 players, whenever the p_i are primes ≡ 5 (mod 8). © 1995 John Wiley & Sons, Inc.     

On implicit Runge-Kutta methods with a stability function having distinct real poles

Because of their potential for offering a computational speed-up when used on certain multiprocessor computers, implicit Runge-Kutta methods with a stability function having distinct poles are analyzed. These are calledmultiply implicit (MIRK) methods, and because of the so-calledorder reduction phenomenon, their poles are required to be real, i.e., only real MIRK's are considered. Specifically, it is proved that a necessary condition for aq-stage, real MIRK to beA-stable with maximal orderq+1 is thatq=1, 2, 3 or 5. Nevertheless, it is shown that for every positive integerq, there exists aq-stage, real MIRK which is stronglyA ₀-stable with orderq+1, and for every evenq, there is aq-stage, real MIRK which isI-stable with orderq. Finally, some useful examples of algebraically stable real MIRK's are given.This work was supported by the National Aeronautics and Space Administration under NASA Contract No. NAS1-18107 while the author was in residence at the Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Hampton, VA 23665-5225.     

Critical Exponents for a System of Heat Equations Coupled in a Non-linear Boundary Condition

In this paper we consider a system of heat equations u_t = Δu, v_t = Δv in an unbounded domain Ω⊂ℝ^N coupled through the Neumann boundary conditions u_v = v^p, v_v = u^q, where p>0, q>0, pq>1 and ν is the exterior unit normal on ∂Ω. It is shown that for several types of domain there exists a critical exponent such that all of positive solutions blow up in a finite time in subcritical case (including the critical case) while there exist positive global solutions in the supercritical case if initial data are small.     

Hermitian varieties as codewords

We show that the incidence vector of any hermitian variety in the projective geometry PG _m–1(F _q ²), where q = p ^t , and p is a prime, is in the code over F _p of the symmetric design of points and hyperplanes of the geometry by using the theorem of Delsarte [8] that identifies this code with a nonprimitive generalized Reed-Muller code.     

New Results on Codes with Covering Radius 1 and Minimum Distance 2

The minimal cardinality of a q-ary code of length n and covering radius at most R is denoted by K_q(n, R); if we have the additional requirement that the minimum distance be at least d, it is denoted by K_q(n, R, d). Obviously, K_q(n, R, d) K_q(n, R). In this paper, we study instances for which K_q(n,1,2) > K_q(n, 1) and, in particular, determine K₄(4,1,2)=28 > 24=K₄(4,1).Supported in part by the Academy of Finland under grant 100500.     

Code length between Markov processes

LetX ₁ andX ₂ be two mixing Markov shifts over finite alphabet. If the entropy ofX ₁ is strictly larger than the entropy ofX ₂, then there exists a finitary homomorphism ϕ:X ₁→X ₂ such that the code length is anL ^p random variable for allp<4/3. In particular, the expected length of the code ϕ is finite. Research supported by KBN grant 2 P03A 039 15 1998–2001.     

Error Correcting Sequence and Projective De Bruijn Graph

Let X be a finite set of q elements, and n, K, d be integers. A subset C ⊂ X ⁿ is an (n, K, d) error-correcting code, if #(C) = K and its minimum distance is d. We define an (n, K, d) error-correcting sequence over X as a periodic sequence {a _i } _i=0,1,... (a _i ∈ X) with period K, such that the set of all consecutive n-tuples of this sequence form an (n, K, d) error-correcting code over X. Under a moderate conjecture on the existence of some type of primitive polynomials, we prove that there is a error correcting sequence, such that its code-set is the q-ary Hamming code with 0 removed, for q > 2 being a prime power. For the case q = 2, under a similar conjecture, we prove that there is a error-correcting sequence, such that its code-set supplemented with 0 is the subset of the binary Hamming code [2 ^m  − 1, 2 ^m  − 1 − m, 3] obtained by requiring one specified coordinate being 0. Received: October 27, 2005. Final Version received: December 31, 2007     

Primitive polynomial with three coefficients prescribed

The authors proved in Fan and Han (Finite Field Appl., in press) that, for any given (a₁,a₂,a₃)F_q³, there exists a primitive polynomial f(x)=xⁿ−σ₁xⁿ⁻¹++(−1)ⁿσ_n over F_q of degree n with the first three coefficients σ₁,σ₂,σ₃ prescribed as a₁,a₂,a₃ when n8. But the methods in Fan and Han (in press) are not effective for the case of n=7. Mills (Existence of primitive polynomials with three coefficients prescribed, J. Algebra Number Theory Appl., in press) resolves the n=7 case for finite fields of characteristic at least 5. In this paper, we deal with the remaining cases and prove that there exists a primitive polynomial of degree 7 over F_q with the first three coefficient prescribed where the characteristic of F_q is 2 or 3.     

A generalization of the binary Preparata code

A classical binary Preparata code P₂(m) is a nonlinear (2^m+1,2^2(2m-1-m),6)-code, where m is odd. It has a linear representation over the ring Z₄ [Hammons et al., The Z₄-linearity of Kerdock, Preparata, Goethals and related codes, IEEE Trans. Inform. Theory 40(2) (1994) 301-319]. Here for any q=2^l>2 and any m such that (m,q-1)=1 a nonlinear code P_q(m) over the field F=GF(q) with parameters (q(Δ+1),q^2(Δ-m),d?3q), where Δ=(q^m-1)/(q-1), is constructed. If d=3q this set of parameters generalizes that of P₂(m). The equality d=3q is established in the following cases: (1) for a series of initial admissible values q and m such that q^m<2¹⁰⁰; (2) for m=3,4 and any admissible q, and (3) for admissible q and m such that there exists a number m₁ with m₁|m and d(P_q(m₁))=3q. We apply the approach of [Nechaev and Kuzmin, Linearly presentable codes, Proceedings of the 1996 IEEE International Symposium Information Theory and Application Victoria, BC, Canada 1996, pp. 31-34] the code P is a Reed-Solomon representation of a linear over the Galois ring R=GR(q²,4) code P dual to a linear code K with parameters near to those of generalized linear Kerdock code over R.     

Quantum superdeterminants for OSP q (1-2n)

It is shown that there exists a quantum superdeterminant sdet _q T for the quantum super group OSP _q (1|2n). It is also shown that the quantum superdeterminant sdet _q T is a group-like element and central, and that the square of sdet _q T for OSP _q (1|2n) is equal to 1.     

The generic division rings

LetA=k (X ₁, X₂..., X_m) be the division ring generated by genericn×n matrices over a fieldk; thenA is not a crossed product in the following cases: (i) there exists a primeq such thatq ³ℛn;(ii)[k:Q]=m, whereQ is the field of rationals, then if eitherq ³ℛn for someq for whichq-1ℛm, orq ²/nn for some other prime; (iii)k=Z _p ^r a finite field ofp ^r elements and eitherq ³ℛn for sameqℛp ^r-1 orq ²ℛn for some other primes. Other cases are also considered.