О декодере мягких решений двоичных кодов Рида— Маллера второго порядка

Abstract

Построена общая модель помехоустойчивого двоичного канала передачи данных, предназначенная для использования с различными декодерами мягких решений. Линия связи, рассматриваемая в модели, является дискретной по входу и непрерывной по выходу. На ее вход подаются дискретные сигналы из мультиплика- тивного двоичного алфавита, а в результате непреднамеренных помех, возникающих в линии связи, на выходе после фильтрации формируются символы из мультипликативной группы поля вещественных чисел, которые затем подаются на вход декодера помехоустойчивого кода. Мягкие и вероятностные декодеры позволяют исправлять большее количество ошибок в кодовых словах, чем гарантируется минимальным расстоянием используемого помехоустойчивого кода. В работе рассмотрен вероятностный декодер мягких решений Сидельникова—Першакова для кодов Рида—Маллера второго порядка в модификации, предложенной П. Лоидрю и Б. Саккуром. Ранее эффективность этих декодеров была подтверждена с помощью имитационных экспериментов, но теоретическое обоснование отсутствовало. В настоящей работе сформулировано требование к каналу связи, названное гладкостью канала, при выполнении которого теоретически доказана корректность этого декодера в случае, когда количество ошибок в каждом кодовом слове ограничено половиной кодового расстояния. В основе доказательства лежит использование теории квадратичных форм и методов дифференциального исчисления в кольце полиномов нескольких переменных над полями Галуа. A general model of a noise-resistant binary data channel is constructed, intended for use with various soft decision decoders. The communication line considered in the model is discrete in input and continuous in output. Discrete signals from the multiplicative binary alphabet are received at its input, and due to distortions acting in the communication line, symbols from the multiplicative group of the field of real numbers are formed at the output after filtering, which are then fed to the input of the error-correcting code decoder. Soft and probabilistic decoders of error-correcting codes allow correcting more errors in code words than is guaranteed by the minimum distance of the code used. The paper considers a probabilistic Sidelnikov–Pershakov decoder of soft solutions for Reed–Muller codes of the second order in the modification proposed by P. Loidreau and B. Sakkour. Earlier, the effectiveness of these decoders was confirmed by simulation experiments, but there was no theoretical justification. In this paper, the requirement to the communication channel, called the smoothness of the channel, is formulated, in which the correctness of this decoder is theoretically proved in the case when the number of errors per code word does not exceed half the code distance. The proof is based on the use of the theory of quadratic forms and methods of differential calculus in the polynomial ring of several variables over Galois fields.