Advertisement

Arithmetic codes - Survey, recent and new results

  • Antoine C. Lobstein
  • Patrick Solé
Submitted Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 539)

Abstract

Arithmetic codes are used to check or correct arithmetic operations on computers, such as addition or modular addition, on integers which are represented in a fixed radix r (r≥2). The need for a measure of an error leads one to define the weight of an integer. Three definitions are known (one of them does not always satisfy the triangle inequality). From these notions, several problems arise (for instance, about perfect codes). We list these problems together with complete or partial previously known results, as well as some new results.

Key words

AN-codes arithmetic codes completely regular codes perfect codes covering radius distance arithmetic distance external distance minimum distance modular distance dual degree radix-r form minimal form modified form nonadjacent form metric sphere triangle inequality weight arithmetic weight modular weight 

Notations

a|b

nonzero integer a divides integer b

m

ring of integers (mod m), ranging from 0 to m-1

a≡b (mod c)

c|(b-a)

|A|

cardinality of set A

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AS86]
    J. Astola, "A note on perfect arithmetic codes," IEEE Trans. on Inform. Theory, vol. IT-32, pp. 443–445, May 1986.Google Scholar
  2. [CR70]
    A.C.L. Chiang and I.S. Reed, "Arithmetic norms and bounds of the arithmetic AN codes," IEEE Trans. on Inform. Theory, vol. IT-16, pp. 470–476, July 1970.Google Scholar
  3. [CL73]
    W.E. Clark and J.J. Liang, "On arithmetic weight for a general radix representation of integers," IEEE Trans. on Inform. Theory, vol. IT-19, pp. 823–826, November 1973.Google Scholar
  4. [CL74]
    W.E. Clark and J.J. Liang, "On modular weight and cyclic nonadjacent forms for arithmetic codes," IEEE Trans. on Inform. Theory, vol. IT-20, pp. 767–770, November 1974.Google Scholar
  5. [CD79]
    G. Cohen and M. Deza, "Distances invariantes et L-cliques sur certains demi-groupes finis," Math. Sci. Hum., vol. 67, pp. 49–69, 1979.Google Scholar
  6. [ER82]
    S. Ernvall, "When does the modular distance induce a metric in the binary case ?," IEEE Trans. on Inform. Theory, vol. IT-28, pp. 665–668, July 1982.Google Scholar
  7. [ER83]
    S. Ernvall, "When does the modular distance induce a metric ?," Annales Univ. Turku, Ser. A, Math., No185, 64 p., 1983.Google Scholar
  8. [ER85a]
    S. Ernvall, "On the modular distance," IEEE Trans. on Inform. Theory, vol. IT-31, pp. 521–522, July 1985.Google Scholar
  9. [ER85b]
    S. Ernvall, "The Hamming bound for binary arithmetic AN codes," Ars Combinatoria, vol. 20-B, pp. 207–227, December 1985.Google Scholar
  10. [ER88]
    S. Ernvall, "On the Hamming bound for nonbinary arithmetic AN codes," Ars Combinatoria, vol. 25-B, pp. 31–53, June 1988.Google Scholar
  11. [GO87]
    D.M. Gordon, "Perfect multiple error-correcting arithmetic codes," Mathematics of Computation, vol. 49, pp. 621–633, October 1987.Google Scholar
  12. [HE85]
    T. Helleseth, "On the covering radius of cyclic linear codes and arithmetic codes", Discr. Appl. Math., vol. 11, pp. 157–173, 1985.Google Scholar
  13. [vL82]
    J.H. van Lint, Introduction to coding theory. Chapter 10, New York-Heidelberg-Berlin: Springer-Verlag, 1982.Google Scholar
  14. [LO86]
    A. Lobstein, "When are modular weights identical ?," EUT Report 86-WSK-05, University of Technology of Eindhoven, Netherlands, 54 p., August 1986.Google Scholar
  15. [LO88a]
    A. Lobstein, "On modular weights in arithmetic codes," Proceedings of ‘Coding Theory and Applications', 2nd International Colloquium, Cachan-Paris, November 1986, Lecture Notes in Computer Science, No311, pp. 56–67, New York: Springer Verlag, 1988.Google Scholar
  16. [LO88b]
    A. Lobstein, "Comments on ‘A note on perfect arithmetic codes'," IEEE Trans. on Inform. Theory, vol. IT-34, pp. 589–590, May 1988.Google Scholar
  17. [LO88c]
    A. Lobstein, "On the nonexistence of a perfect binary arithmetic code with modulus 1791," ENST Report 88D013, Ecole Nationale Supérieure des Télécommunications, Paris, France, 12 p., September 1988.Google Scholar
  18. [LO88d]
    A. Lobstein, "On the nonexistence of a perfect binary arithmetic code with modulus 4097," ENST Report 88D014, Ecole Nationale Supérieure des Télécommunications, Paris, France, 23 p., September 1988.Google Scholar
  19. [LO90]
    A. Lobstein, "On perfect binary arithmetic codes which can correct two errors or more," Ars Combinatoria, vol. 29, pp. 24–27, June 1990.Google Scholar
  20. [MS83]
    F.J. MacWilliams and N.J.A. Sloane, The theory of error-correcting codes. Amsterdam-New York-Oxford: North-Holland, 1983.Google Scholar
  21. [MG72]
    J.L. Massey and O.N. Garcia, "Error-correcting codes in computer arithmetics," in Advances in Information Systems Science. vol. 4, Chapter 5, New York-London: Plenum Press, 1972.Google Scholar
  22. [PE61]
    W.W. Peterson, Error-correcting codes. Chapter 13, New York-London: MIT Press, 1961.Google Scholar
  23. [PW72]
    W.W. Peterson and E.J. Weldon, Jr., Error-correcting codes. Cambridge: MIT Press, 1972.Google Scholar
  24. [PR71]
    F.P. Preparata, "On the representation of integers in nonadjacent forms," SIAM J. Appl. Math., vol. 21, pp. 630–635, December 1971.Google Scholar
  25. [RA74]
    T.R.N. Rao, Error coding for arithmetic processors. New York-London: Academic Press, 1974.Google Scholar
  26. [RG71]
    T.R.N. Rao and O.N. Garcia, "Cyclic and multiresidue codes for arithmetic operations," IEEE Trans. on Inform. Theory, vol. IT-17, pp. 85–91, January 1971.Google Scholar
  27. [SO87]
    P. Solé, Covering radius and association schemes. (In French). Thèse de Docteur-Ingénieur, Ecole Nationale Supérieure des Télécommunications, Paris, France, 66 p., 1987.Google Scholar
  28. [SO89]
    P. Solé, "A Lloyd theorem in weakly metric association schemes," Europ. J. Combinatorics, vol. 10, pp. 189–196, 1989.Google Scholar
  29. [SO91]
    P. Solé, "On the parameters of codes for the Lee and modular distance", Discr. Math., to appear.Google Scholar
  30. [TA83]
    R.E. Tarjan, Data structures and networks algorithms. Chapter 7, CBMS Ser. 44, SIAM, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Antoine C. Lobstein
    • 1
  • Patrick Solé
    • 2
  1. 1.Centre National de la Recherche ScientifiqueParisFrance
  2. 2.Centre National de la Recherche ScientifiqueValbonneFrance

Personalised recommendations