The MacWilliams Identity of the Linear Codes over the Ring F p +uf p +vf p +uvf p

Similar documents
A Remark on Generalized Free Subgroups. of Generalized HNN Groups

National Conference on Recent Trends in Synthesis and Characterization of Futuristic Material in Science for the Development of Society

Efficient Estimators for Population Variance using Auxiliary Information

The Lattice of Fully Invariant Subgroups of the Cotorsion Hull

The algebraic immunity of a class of correlation immune H Boolean functions

Cyclically Interval Total Colorings of Cycles and Middle Graphs of Cycles

Analysis of a Stochastic Lotka-Volterra Competitive System with Distributed Delays

Reliability Equivalence of a Parallel System with Non-Identical Components

Parameters Estimation in a General Failure Rate Semi-Markov Reliability Model

New approach for numerical solution of Fredholm integral equations system of the second kind by using an expansion method

The Signal, Variable System, and Transformation: A Personal Perspective

Some Probability Inequalities for Quadratic Forms of Negatively Dependent Subgaussian Random Variables

Key words: Fractional difference equation, oscillatory solutions,

14. Poisson Processes

8. Queueing systems lect08.ppt S Introduction to Teletraffic Theory - Fall

Upper Bound For Matrix Operators On Some Sequence Spaces

A note on Turán number Tk ( 1, kn, )

On the Quasi-Hyperbolic Kac-Moody Algebra QHA7 (2)

Continuous Indexed Variable Systems

Random Generalized Bi-linear Mixed Variational-like Inequality for Random Fuzzy Mappings Hongxia Dai

Introducing Sieve of Eratosthenes as a Theorem

An interesting result about subset sums. Nitu Kitchloo. Lior Pachter. November 27, Abstract

The Poisson Process Properties of the Poisson Process

Linear Approximating to Integer Addition

Least Squares Fitting (LSQF) with a complicated function Theexampleswehavelookedatsofarhavebeenlinearintheparameters

Competitive Facility Location Problem with Demands Depending on the Facilities

Fully Fuzzy Linear Systems Solving Using MOLP

Probability Bracket Notation and Probability Modeling. Xing M. Wang Sherman Visual Lab, Sunnyvale, CA 94087, USA. Abstract

Moments of Order Statistics from Nonidentically Distributed Three Parameters Beta typei and Erlang Truncated Exponential Variables

Factorization of Finite Abelian Groups

Continuous Time Markov Chains

Standby Redundancy Allocation for a Coherent System under Its Signature Point Process Representation

Comparison of the Bayesian and Maximum Likelihood Estimation for Weibull Distribution

Bianchi Type II Stiff Fluid Tilted Cosmological Model in General Relativity

Level of Service Snow and Ice Control operations are intended to provide a reasonably safe traveling surface, not bare or dry pavement.

MATH 247/Winter Notes on the adjoint and on normal operators.

K3 p K2 p Kp 0 p 2 p 3 p

CS344: Introduction to Artificial Intelligence

Brownian Motion and Stochastic Calculus. Brownian Motion and Stochastic Calculus

Calibration Approach Based Estimators of Finite Population Mean in Two - Stage Stratified Random Sampling

Complementary Tree Paired Domination in Graphs

BIBECHANA A Multidisciplinary Journal of Science, Technology and Mathematics

On the Rational Valued Characters Table of the

The Lucas congruence for Stirling numbers of the second kind

Determination of Antoine Equation Parameters. December 4, 2012 PreFEED Corporation Yoshio Kumagae. Introduction

Parts Manual. EPIC II Critical Care Bed REF 2031

The Linear Regression Of Weighted Segments

Midterm Exam. Tuesday, September hour, 15 minutes

Types Ideals on IS-Algebras

General Complex Fuzzy Transformation Semigroups in Automata

P a g e 3 6 of R e p o r t P B 4 / 0 9

10.2 Series. , we get. which is called an infinite series ( or just a series) and is denoted, for short, by the symbol. i i n

= lim. (x 1 x 2... x n ) 1 n. = log. x i. = M, n

Nilpotent Elements in Skew Polynomial Rings

The Structure of Z p when p is Prime

QR factorization. Let P 1, P 2, P n-1, be matrices such that Pn 1Pn 2... PPA

A Family of Non-Self Maps Satisfying i -Contractive Condition and Having Unique Common Fixed Point in Metrically Convex Spaces *

Integral Form of Popoviciu Inequality for Convex Function

A L A BA M A L A W R E V IE W

A New Generalized Gronwall-Bellman Type Inequality

The Theory of Membership Degree of Γ-Conclusion in Several n-valued Logic Systems *

Physics 240: Worksheet 16 Name

A Remark on Polynomial Mappings from to

The Mean Residual Lifetime of (n k + 1)-out-of-n Systems in Discrete Setting

Asymptotic Behavior of Solutions of Nonlinear Delay Differential Equations With Impulse

Square Difference Labeling Of Some Path, Fan and Gear Graphs

THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Series A, OF THE ROMANIAN ACADEMY Volume 10, Number 2/2009, pp

Analysis of Boundedness for Unknown Functions by a Delay Integral Inequality on Time Scales

THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Series A, OF THE ROMANIAN ACADEMY Volume 9, Number 3/2008, pp

Linear, Cyclic and Constacyclic Codes over S 4 = F 2 + uf 2 + u 2 F 2 + u 3 F 2

100Z-1 100Z-1 51 HA 50. Cushion ring Cushion ring. Type. Standard type. Switch Set

Fakultas Matematika dan Ilmu Pengetahuan Alam, Institut Teknologi Bandung, Bandung, 40132, Indonesia *

P a g e 5 1 of R e p o r t P B 4 / 0 9

Solution. The straightforward approach is surprisingly difficult because one has to be careful about the limits.

Basic Results in Functional Analysis

The ray paths and travel times for multiple layers can be computed using ray-tracing, as demonstrated in Lab 3.

Fourth Order Runge-Kutta Method Based On Geometric Mean for Hybrid Fuzzy Initial Value Problems

Semi-Riemann Metric on. the Tangent Bundle and its Index

Chapter 8. Simple Linear Regression

Available online Journal of Scientific and Engineering Research, 2014, 1(1): Research Article

VARIATIONAL ITERATION METHOD FOR DELAY DIFFERENTIAL-ALGEBRAIC EQUATIONS. Hunan , China,

A Method for Solving the Three-dimensional Wave Equation

Lecture 3 Topic 2: Distributions, hypothesis testing, and sample size determination

ONE APPROACH FOR THE OPTIMIZATION OF ESTIMATES CALCULATING ALGORITHMS A.A. Dokukin

On Linear Codes over a non-chain extension of Z 4

Cyclone. Anti-cyclone

STK4080/9080 Survival and event history analysis

A Second Kind Chebyshev Polynomial Approach for the Wave Equation Subject to an Integral Conservation Condition

BIG TEX GRADE 5 SOCIAL STUDIES CELEBRATING SYMBOLS: BIG TEX & LADY LIBERTY UNITE

On Probability Density Function of the Quotient of Generalized Order Statistics from the Weibull Distribution

Speech, NLP and the Web

(1) Cov(, ) E[( E( ))( E( ))]

1 Solution to Problem 6.40

For the plane motion of a rigid body, an additional equation is needed to specify the state of rotation of the body.

FIXED FUZZY POINT THEOREMS IN FUZZY METRIC SPACE

MA 524 Homework 6 Solutions

Partial Molar Properties of solutions

As evident from the full-sample-model, we continue to assume that individual errors are identically and

T h e C S E T I P r o j e c t

MATH 371 Homework assignment 1 August 29, 2013

Transcription:

Reearch Joural of Aled Scece Eeer ad Techoloy (6): 28-282 22 ISSN: 2-6 Maxwell Scefc Orazao 22 Submed: March 26 22 Acceed: Arl 22 Publhed: Auu 5 22 The MacWllam Idey of he Lear ode over he R F +uf +vf +uvf aofa u ad Haq Ha School of Mahemac ad Phyc Hube Polyechc Uvery Huah 5 ha Abrac: I h udy a ew comlee weh eumeraor ad a ew ymmerzed weh eumeraor over he r R = F +uf +vf +uvf are defed. By u a ecal varable he comlee weh MacWllam dey ad he ymmerzed weh MacWllam dey over he r R are ve. Keyword: omlee weh eumeraor lear code MacWllam dey ymmerzed weh eumeraor INTRODUTION ode over r have bee uded exevely he a decade wh he emerece of he roud-break work doe Hammo e al. (99) whch hey looked a lear code over Z. Sce he may dffere ye of r have bee uded coeco wh cod heory. I 99 he weh drbuo of he lear code over r were uded (Wa 99). The eeralzed MacWllam dee of he lear code over he fe feld wa ve (Shromoo 996). The MacWllam dee of he lear code over he r F +uf were uded L ad he (2). Recely lear code over he r F 2 +uf 2 +vf 2 +uvf 2 were uded Yldz ad Karadez (2) ad cyclc code over he r F 2 +uf 2 +vf 2 +uvf 2 were uded Yldz ad Karadez (2) where he r F 2 +uf 2 +vf 2 +uvf 2 o a fe cha r. I h udy we udy he cod heory over he r R = F + uf + vf + uvf. A ew comlee weh eumeraor ad a ew ymmerzed weh eumeraor over he r R are defed. By u a ecal varable a ew comlee weh MacWllam dey ad a ew ymmerzed weh MacWllam dey over he r R are ve. LINEAR ODE OVER THE RING R The r R = F + uf + vf + uvf defed a a characerc r ubjec o he rerco u 2 = v 2 = ad uv = vu where rme. I eay o oberve ha R a local Frobeu r whch o fe cha or rcal. The deal ca be decrbed a: where I = fi uv fi u I v I u+v fi u v fi = R () I uv = uv(f +uf +vf +uvf ) I u = u(f +uf +vf +uvf ) = uf +uvf I v = v(f +uf +vf +uvf ) = vf +uvf I u+v = (u+v)r = (u+v)f +uvf I u v = uf +vf +vf Le R * = R!I uv we ca ee ha R* co of all u R I u v he uque maxmal deal ad ha o a rcal deal. I u v co of all zero dvor R. Defo : A lear code over he r R of leh a R-ubmodule of R. The comlee weh MacWllam dey of he lear code over he r R: Le R = { 2... } ome order. For examle = 2 =...ad o o. œx = (x x 2... x ) y = (y y 2... y )R he er roduc of x y defed a he follow: <x y> = x y +x 2 y 2 + +x y I h udy defe z = {x <x y> = œy} o be he dual code of. Defo : The comlee weh eumeraor of he lear code over he r R defed a: cwe c c c 2... 2 2... where c c he umber of aearace of he vecor c. Lemma 2: Th udy roduce a abrac whoe exoe wll be eleme of R uch ha 2 a b a b uv e where a br he I = for all ozero deal I of R: Proof: Th ca be how by rahforward calculao. For examle le = au+buv I u he: aubuv au buv au uv b ( ) I af bf af bf af b u b 2 2 au au e e 2 a F b a F e orreod Auhor: aofa u School of Mahemac ad Phyc Hube Polyechc Uvery Huah 5 ha 28

Re. J. Al. Sc. E. Techol. (6): 28-282 22 Theorem : Le be he lear code of leh over R ad le z be dual. The wh ad a defed above we have: cwe 2... c cwe. 2..... Proof: For ay he c c le: c x x Fc xr c x Fc xr c xr x c c x x Now uoe for fxed x R we coder he fuco f x from o R. f x defed a fx cc x. By he rucure of he er roduc we kow ha f x a R- module homomorhm. The by he defo of he dual code we have: ker fx c x c The for ay x we have x cx. Now uoe ha x h mle ha ker fx. By he roery of he homomorhm we kow ha Im(f x ) a ozero ub-module of R ad hece a ozero deal of R. The by Lemma 2 we have ha: whe x o x cx. Th mea ha: c Fc c x cwe... 2 whch equvale o ay ha: cwe Fc 2... c c (2) O he oher had le *(x y) deoe he Kroecker x y Dela fuco: *(x y) =. So: x y cx x Fc xr x x2... x R cj. j j j. j c j cx j j xj By he defo of he comlee weh eumeraor dey we have: Fc cwe. 2...... c () omb (2) ad () we kow ha he heorem ca be roved.. Lemma : For all eleme R we have. R Proof: Smlar o he roof of lemma Yldz ad Karadez (2). Theorem 5: Le be a lear code of leh over R: he. Proof: By he defo of he comlee weh eumeraor dey U he heorem we have: cw... cwe... cwe cwe. 2........ The by he lemma we e: cwe... cwe... Thu we have roved he heorem. 29

Re. J. Al. Sc. E. Techol. (6): 28-282 22 THE SYMMETRIZED WEIGHT MAWILLIAMS IDENTITY OF THE LINEAR ODES OVER THE RING R Defo : lafy he eleme of R o 8 ube a D = {} D = I uv \{} D 2 = I u+v \I uv D = I v \I uv D = I u \I uv D 5 = {x = bu+cv+du b c F \ {} df b c (b+c)/ (mod )} D 6 = {x = bu+ cv+ duv b c F \ {}df b c (b+c) (mod )} D = R\I u v. Fuco I(@) defed a: I(a) = where ad ( =...). Defo 2: The ymmerzed weh eumeraor of he lear code over he r R defed a: we... cwe... I I 2 I Lemma : Wh he ame oao a above he whe we kow: D = D =! D 2 = D = (!) D = D 5 = (!) D 6 = (!)(!) D = (!). 2... D D D Proof: By he defo of D ( = 2 ) we kow ha eay o be roved I eay o kow ha D D. By he lemma 2 we have D I D uv whe D 2 le = b(u+v)+duv where bf \ {} df we have: D2 b( uv) duv bfp \{} df bu ( v) duv bf\{} df Oher are mlar o be roved. Lemma : Wh he ame oao a above whe >2 we kow:. D If D he D... If D he D D D 2... 6 If D 2 he D D.. D 2 D 5 D 6 D If D he D D D D D 6 D If D he D D D. D D 6 D. If D 5 he D D 2 D 5 D 6 D If D 6 he D D D 2 5 D D 6 If D he D D 256 D 2 5 25 Proof: We ju choce ) ad 8) o rove oher are mlar o be roved. If D le = cv+duv where cf \{} df he. D D D D whe D 2 le = b (u+v)+ d uv d F b F \{} he: D2 bf \{} df bf \{} D whe D le = b v+ d uv d F b F \{} he: D bf \{} df whe D le = b u+ d uv d F b F \{} he: D bf \{} bf bf \{} D 28

Re. J. Al. Sc. E. Techol. (6): 28-282 22 whe D 5 le = b u+ c v+ d uv d F b F \ {} c F \{} b c ( b + c ) = (mod ) he:. D5 bf / df bf / D whe D 6 le = b u+ c v+ d uv d F b F \ {} c F \{} b c ( b + c ) (mod ) he: D6 bf \{} cf \{} cbdf whe D le = a + b u+ c v+ d uv a F \{} b c. d F he:. acv D af \ bf cf df 2. D If D D ( = 2... ) becaue a u we kow: {. D } = D The 2.... By lemma 8) D D eay o be roved. Theorem 5: Le be he lear code of leh over R he where...... we c we Y Y Y Y = +(!) +(!) 2 + (!) +(!) +(!) 5 + (!)(!) 6 + (!) Y = +(!) +(!) 2 + (!) +(!) +(!) 5 + (!)(!) 6! Y 2 = +(!)! 2!! +(!) 5!(!) 6 Y = +(!)! 2 +(!)! P! 5!(!) 6 Y = +(!)! 2! + (!)! 5!(!) 6 Y 5 = +(!) +(!) 2!!! 5!(!) 6 ; Y 6 = +(!)! 2!!! 5 + 6 Y =! Proof: By he defo of he ymmerzed weh eumeraor dey ad he heorem we have: we... cwe... I I I 2 cwe. I 2.. I... I cwe. D 2..... D D By he lemma we kow:...... we we Y Y Y Y D j 2... j D Thu we have roved he heorem. j ONLUSION I h udy we uded wo kd of MacWllam dee of he lear code over he r R. Aoher dreco for reearch h oc of coure he coacyclc code ad he dual code over he r R. AKNOWLEDGMENT Th udy uored by Naoal Naural Scece Foudao of Hube Polyechc Uvery of ha (yjzq). REFERENES Hammo A.R. P.V. Kumar A.R. alderbak N.J.A. Sloae ad P. Sole 99. The Z leary of Kerdock Prearaa Gehal ad relaed code. IEEE T. Iform. Theor. : -9. 28

Re. J. Al. Sc. E. Techol. (6): 28-282 22 L Y. ad L. he 2. The MacWllam dey of he lear code over he r F +uf P. Aca Scearum Nauralum Uvera NaKae ha (2): 8-8. Shromoo K. 996. A ew MacWllam ye dey for lear code. Hokkado Mah. J. 25: 65-656. Wa Z. 99. Quaerary ode. World Scefc Publcao o. Saore : 25-. Yldz B. ad S. Karadez 2. Lear code over F 2 +uf 2 +vf 2 +uvf 2. De.ode ry. 5: 6. Yldz B. ad S. Karadez 2. yclc code over F 2 +uf 2 +vf 2 +uvf 2. De. ode ry. 58: 22-2. 282