On coset weight distributions of the Z4-linear Goethalscodes

We study the coset weight distributions of two well-known families of codes: the three-error-correcting binary Z₄-linear Goethals codes of length N=2^m+1, m⩾3 odd, and the Z₄ -linear Goethals codes over Z₄ of length n=N/2=2^m . The hard case is the weight distributions of cosets of weight 4. To know the weight distribution of the coset of weight 4 we have to know the number of codewords of weight 4 in such a coset. Altogether, there are nine different types of cosets of weight 4. For six cases, we give the exact expressions for the number of codewords of weight 4, and for three other cases, we give such expressions in terms of Kloosterman sums     

Optimal binary linear codes and Z4-linearity

We give necessary and sufficient conditions for a binary linear code to be Z₄-linear. Especially we treat optimal, binary linear codes and determine all such codes with minimum weight less or equal to six which are Z₄-linear     

Large families of quaternary sequences with low correlation

A family of quaternary (Z₄-alphabet) sequences of length L=2^r-1, size M⩾L²+3L+2, and maximum nontrivial correlation parameter C_max⩽2√(L+1)+1 is presented. The sequence family always contains the four-phase family 𝒜. When r is odd, it includes the family of binary Gold sequences. The sequence family is easily generated using two shift registers, one binary, the other quaternary. The distribution of correlation values is provided. The construction can be extended to produce a chain of sequence families, with each family in the chain containing the preceding family. This gives the design flexibility with respect to the number of intermittent users that can be supported, in a code-division multiple-access cellular radio system. When r is odd, the sequence families in the chain correspond to shortened Z₄-linear versions of the Delsarte-Goethals codes     

On Z4-duality

Recently the notion on binary codes called Z₄-linearity was introduced. This notion explains why Kerdock codes and Delsarte-Goethals codes admit formal duals in spite of their nonlinearity. The “Z₄-duals” of these codes (called “Preparata” and “Goethals” codes) are new nonlinear codes which admit simpler decoding algorithms than the previously known formal duals (the generalized Preparata and Goethals codes). We prove, by using the notion of exact weight enumerator, that the relationship between any Z₄-linear code and its Z₄ -dual is stronger than the standard formal duality and we deduce the weight enumerators of related generalized codes     

Improved estimates via exponential sums for the minimum distance ofZ4-linear trace codes

An upper hound for Weil-type exponential sums over Galois rings was derived by Kumar, Helleseth, and Calderbank (see ibid., vol.41, no.3, p.456, 1995). This bound leads directly to an estimate for the minimum distance of Z₄-linear trace codes. An improved minimum-distance estimate is presented. First, McEliece's result on the divisibility of the weights of binary cyclic codes is extended to Z₄ trace codes. The divisibility result is then combined with the techniques of Serre (1983) and of Moreno and Moreno (see ibid., vol.40, no.11, p.1101, 1994) to derive the improved minimum-distance estimate. The improved estimate is tight for the Kerdock code as well as for the Delsarte-Goethals codes     

Cyclic codes and self-dual codes over F2+uF2

We introduce linear cyclic codes over the ring F₂+uF ₂={0,1,u,u¯=u+1}, where u²=0 and study them by analogy with the Z₄ case. We give the structure of these codes on this new alphabet. Self-dual codes of odd length exist as in the case of Z₄-codes. Unlike the Z₄ case, here free codes are not interesting. Some nonfree codes give rise to optimal binary linear codes and extremal self-dual codes through a linear Gray map     

On algebraic decoding of the Z4-linearCalderbank-McGuire code

The quaternary Calderbank-McGuire (see Des., Codes Cryptogr., vol.10, no.2, 1997) code is a Z₄-linear code of length 32 which has 2³⁷ codewords and a minimum Lee distance of 12. The Gray map of this code is known to be a nonlinear binary (64, 2³⁷,12) code. The Z₄-linear Calderbank-McGuire code can correct all errors with Lee weight ⩽5. An algebraic decoding algorithm for the code is presented in this paper. Furthermore, we discuss an alternative decoding method which takes advantage of the efficient BCH decoding algorithm     

Further results on generalized Hamming weights for Goethals andPreparata codes over Z4

This article contains results on the generalized Hamming weights (GHW) for the Goethals and Preparata codes over Z₄. We give an upper bound on the rth generalized Hamming weights d_r(m,j) for the Goethals code G_m(j) of length 2^m over Z ₄, when m is odd. We also determine d_3.5(m,j) exactly. The upper bound is shown to be tight up to r=3.5. Furthermore, we determine the rth generalized Hamming weight d_r(m) for the Preparata code of length 2^m over Z₄ when r=3.5 and r=4     

On the weight hierarchy of Preparata codes over Z4

Hammons et al. (see ibid., vol.40, p.301-19, 1994) showed that, when properly defined, the binary nonlinear Preparata code can be considered as the Gray map of a linear code over Z₄, the so called Preparata code over Z₄. We consider the rth generalized Hamming weight d_r(m) of the Preparata code of length 2^m over Z₄. For any m⩾3, d_r(m) is exactly determined for r=0.5, 1, 1.5, 2, 2.5 and 3.0. For a composite m, we give an upper bound on d_r(m) using the lifting technique. For m=3, 4, 5, 6 and 8, the weight hierarchy is completely determined. In the case of m=7, the weight hierarchy is completely determined except for d₄(7)     

Algebraic construction of cyclic codes over Z8 with agood Euclidean minimum distance

Let S(8) denote the set of the eight admissible signals of an 8PSK communication system. The alphabet S(8) is endowed with the structure of Z₈, the set of integers taken modulo 8, and codes are defined to be Z₈-submodules of Z₈ⁿ. Three cyclic codes over Z₈ are then constructed. Their length is equal to 6, 8, and 7, and they, respectively, contain 64, 64, and 512 codewords. The square of their Euclidean minimum distance is equal to 8, 16-4√2 and 10-2√2, respectively. The size of the codes of length 6 and 7 can be doubled while the Euclidean minimum distance remains the same     

A Framework for the Construction ofGolay Sequences

In 1999, Davis and Jedwab gave an explicit algebraic normal form for m!/2 - 2^h(m+1) ordered Golay pairs of length 2^mmiddot over Z₂h, involving m!/2 - 2^h(m+1) Golay sequences. In 2005, Li and Chu unexpectedly found an additional 1024 length 16 quaternary Golay sequences. Fiedler and Jedwab showed in 2006 that these new Golay sequences exist because of a "crossover" of the aperiodic autocorrelation function of certain quaternary length eight sequences belonging to Golay pairs, and that they spawn further new quaternary Golay sequences and pairs of length 2^m for m > 4 under Budisin's 1990 iterative construction. The total number of Golay sequences and pairs spawned in this way is counted, and their algebraic normal form is given explicitly. A framework of constructions is derived in which Turyn's 1974 product construction, together with several variations, plays a key role. All previously known Golay sequences and pairs of length 2^m over Z₂h can be obtained directly in explicit algebraic normal form from this framework. Furthermore, additional quaternary Golay sequences and pairs of length 2^m are produced that cannot be obtained from any other known construction. The framework generalizes readily to lengths that are not a power of 2, and to alphabets other than Z_2h .     

Cyclic codes over Z4, locator polynomials, and Newton'sidentities

Certain nonlinear binary codes contain more codewords than any comparable linear code presently known. These include the Kerdock (1972) and Preparata (1968) codes that can be very simply constructed as binary images, under the Gray map, of linear codes over Z₄ that are defined by means of parity checks involving Galois rings. This paper describes how Fourier transforms on Galois rings and elementary symmetric functions can be used to derive lower bounds on the minimum distance of such codes. These methods and techniques from algebraic geometry are applied to find the exact minimum distance of a family of Z ₄. Linear codes with length 2^m (m, odd) and size 2(2^m+1-5m-2). The Gray image of the code of length 32 is the best (64, 2³⁷) code that is presently known. This paper also determines the exact minimum Lee distance of the linear codes over Z₄ that are obtained from the extended binary two- and three-error-correcting BCH codes by Hensel lifting. The Gray image of the Hensel lift of the three-error-correcting BCH code of length 32 is the best (64, 2³²) code that is presently known. This code also determines an extremal 32-dimensional even unimodular lattice     

Z4×(F2+uF2)上的一类循环码

定义了Z₄×（F₂+uF₂）上的循环码,明确了一类循环码的生成元结构,给出了该类循环码的极小生成元集.利用Gray映射,构造了一些二元非线性码.     

Two 16-state, rate R=2/4 trellis codes whose free distances meetthe Heller bound

For rate R=1/2 convolutional codes with 16 states there exists a gap between Heller's (1968) upper bound on the free distance and its optimal value. This article reports on the construction of 16-state, binary, rate R=2/4 nonlinear trellis and convolutional codes having d _free=8; a free distance that meets the Heller upper bound. The nonlinear trellis code is constructed from a 16-state, rate R=1/2 convolutional code over Z₄ using the Gray map to obtain a binary code. Both convolutional codes are obtained by computer search. Systematic feedback encoders for both codes are potential candidates for use in combination with iterative decoding. Regarded as modulation codes for 4-PSK, these codes have free squared Euclidean distance d_{E, free}²=16     

Optimal biphase sequences with large linear complexity derived fromsequences over Z4

New families of biphase sequences of size 2^r-1+1, r being a positive integer, are derived from families of interleaved maximal-length sequences over Z₄ of period 2(2^r-1). These sequences have applications in code-division spread-spectrum multiuser communication systems. The families satisfy the Sidelnikov bound with equality on &thetas;_max, which denotes the maximum magnitude of the periodic cross-correlation and out-of-phase autocorrelation values. One of the families satisfies the Welch bound on &thetas;_max with equality. The linear complexity and the period of all sequences are equal to r(r+3)/2 and 2(2 ^r-1), respectively, with an exception of the single m-sequence which has linear complexity r and period 2^r-1. Sequence imbalance and correlation distributions are also computed     

Evaluation of the quantization error in denominator-separable 2-Drecursive filters

The evaluation of the quantization error in two-dimensional (2-D) digital filters involves the computation of the infinite square sum J=Σ^∞_m=φΣ ^∞_n=φy² (m, n). A simple method is presented for evaluating J based on partial fraction expansion and using the residue method provided the Z-transform Y(Z₁, Z₂) of the sequence y(m, n) having quadrant support is a causal bounded input, bounded output (BIBO) stable denominator-separable rational function. The value of J is expressed as a sum of simple integrals which can easily be evaluated. The simple integrals are tabulated for ready reference. The proposed method is suitable for analytical as well as numerical computation and can easily be programmed     

Chase Decoding of Linear Z4 Codes at Low to Moderate Rates

A free Z₄ code C may be decoded by decoding its canonical image C macr over Z₂ twice in succession. Hence, a Chase decoder for C could employ as its hard-decision (HD) decoder, a two-stage decoder which performs HD decoding on C macr in each stage. Alternatively, one could have a two-stage soft-decision decoder by employing a Chase decoder for C macr in each stage. We demonstrate that the latter approach can offer a significant reduction in complexity over the other, with little or no price to pay in terms of word error rate performance, particularly at low to moderate code rates.     

The Correlation Distribution of Quaternary Sequences of Period $2(2^n-1)$

Family A is a family of sequences of period 2ⁿ - 1 over Zi, the ring of integers modulo 4. This family has optimal correlation properties and its correlation distribution is well known. Two related families of quaternary sequences are the families B and C. These are families of sequences over Z₄ of period 2(2ⁿ - 1). In recent years, new families of quaternary sequences of period 2(2ⁿ - 1) have been constructed by modifying the sequence families B and C in a nonlinear way. This has resulted in a new family D of sequences of period 2(2ⁿ - 1) which has optimal correlation properties, but until now the correlation distribution of this family has not been known. In this paper, we completely determine the correlation distribution of family D by making use of properties of exponential sums.     

Modal characteristics of ferrimagnetic tridisk-coupled resonator

The eigenvalue characteristics of a ferrimagnetic tridisk-coupled (TDC) resonator are described first. A TDC resonator is made of three AlYIG ferrite disks partially scraped and mutually attached on a center conductor. The EM field is treated with a consistent theory. The eigenvalue characteristics computed with stress on the mode of ν=1 are represented by the Z₁₀ versus Z₀ and Z₁ versus κ/μ relationships, where Z₁₀ is a degenerate eigenvalue, Z₀ is a wavenumber-eccentric radius product, and Z₁ is a continuously varying eigenvalue dependent on κ/μ with a given value of Z₀. Z₁₀ is distinguished by either a single- or double-value region as a function of Z₀. The computed Z₁ versus κ/μ graph belonging to the double-value region demonstrates a contradiction to the physical reality, which is resolved by introducing an equivalent circular resonant mode. The equivalent resonant mode is definitely identified by a degenerate eigenvalue and its modal curve with large modal separation. Experiments were carried out with various center conductors. The experimental results support the equivalent resonant mode. Finally, discussions are presented     

An Assmus-Mattson theorem for Z4-codes

The Assmus-Mattson theorem is a method to find designs in linear codes over a finite field. The purpose of this paper is to give an analog of this theorem for Z₄-codes by using the harmonic weight enumerator introduced by Bachoc. This theorem can find some 5-designs in the lifted Golay code over Z₄ which were discovered previously by other methods