Главная страница  Дискретный канал связи 

[0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [ 79 ] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189]

и в силу однозначности преобразования Фурье гЯ = Vc для всех i. Таким образом, Vi являются корнями многочлена - х при всех i, и этими корнями исчерпывается все поле GF (q). □

Чтобы применить данную теорему, следующим образом разобьем числа по mod п на подмножества, известные под названием классов сопряженных элементов:

Ajlhjq, .... Г-}, где mj - наименьшее целое положительное число, удовлетворяющее равенству fq"i = j (mod n). В силу конечности поля такое mj всегда существует. Например, если (/ = 2 и я = 7, то классы сопряженных «элементов имеют вид

Ло={0}, Л1=1, 2, 4}, Л, = 3, 6, 5Ь

Класс сопряженных элементов Aj выделяет в спектре множество частот. Назовем это множество частот хорхом.Теорема 8.2.1 утверждает, что если временной сигнал принимает значения в поле GF (q), то значение спектра в одной из частот хорды определяет значения спектра при всех частотах этой хорды. В следующем параграфе мы воспользуемся этим, чтобы дать спектральное описание кодов.

На рис. 8.1 приведены классы сопряженных элементов для некоторых малых полей в несколько измененных обозначениях. Для того чтобы подчеркнуть получающиеся симметрии, классы сопряженных элементов выписаны с использованием отрицательных целых чисел. При желании на рис. 8.1 отрицательное целое число / можно заменить положительным целым п + /. Классы сопряженных элементов по модулю 21 включены в таблицу для напоминания того, что в качестве модуля можно выбирать любое целое число. Заметим, что если члены классов сопряженных элементов по модулю 21 умножить на 3, то эти классы становятся классами сопряженных элементов по модулю 63.

Определение 8.2.2. q-ичным следом элемента Р поля GF {q") называется сумма

tr(P)= 1]р.

Согласно теореме 4.6.10, q-я степень (/-ичного следа элемента Р равна (/-ичному следу элемента р, и, следовательно, (/-ичный след является элементом поля GF (q). Если класс сопряженных элементов, которому принадлежит р, содержит т элементов, то tr (Р) равен сумме всех элементов этого класса сопряженных элементов. В противном случае число элементов в классе сопряженных делит т, и кратность, с которой каждый элемент входит в след.



По мобулю 7

По мойулю 63

[-11,

-22,

-25,

1 о;

[ -9,

-18,

!• I, 2,-3J

1 -5,

-10,

-20,

-17,

[ -3,

-12,

-24,

-16,

( 0)

По мойулю 15

( ь

-31}

- 3,

-15,

-30}

[-1,-2,-4, 7}

{ 5,

-23,

-29}

{ 01

{ г

-14,

-28}

[ 1, 2, 4, -7)

( 9,

-27}

• 3, 6, -3, -6

{ И.

-19,

-13,

-26}

{ 5,-5) :

{ 21,

-21}

По мойулю 31

По мо5улю 12,7

(-5,-10, И,

-21,

-42,

-41,

-37,

[-3, -6, -12,

-19,

-38,

-25,

-50,

(-1, -2, -4,

-13,

-26,

-52,

-35,

-22,

-44,

-49,

58} 59}

{ 1, 2, 4,

8, -

-18,

-36,

-17,

-34,

[ 3, 6, 12,

-7, -

-14,

-28,

-56,

{ 5, 10, -П,

9, -

-10,

-20,

-40,

-33,

-12,

-24,

-1, 0}

-16,

-32,

-63}

По мобулю Zi

-31,

-62}

-47,

-61}

1-3,-6, 9}

-15,

-зо;

-60}

(-1, -2, -4, -

8, 5,

-55,

17,.

-59}

{ 0}

-39,

-29,

-58}

( 1, 2, 4,

8, -5,

-10}

-23,

-46,

-57}

( 3, 6,-9}

-51,

5.0,

-27,

-54}

1 7,-7} .

-45,

-53}

Рис. 8.1. Классы сопряженных элементов.

равна получающемуся частному. Из определения следа и теоремы 4.6.10 следует, что

tr ф+у) = tr (Р) + tr (у)

и что все сопряженные элементы имеют один и тот же след.



Согласно теореме 8.2.1, обратное преобразование Фурье для этого спектра является вектором над GF (q), который можно представить многочленом w (х). Так как в частотной области свертка (х) преобразуется в произведение W}, то W) = Wj,

Теорема 8.2.3. Над GF (q") q-ичный след принимает в качестве своего значения каждое из чисел поля GF (q) одинаково часто, а именно q"~ раз.

Доказательство. Пусть у - элемент поля GF (q), а Р - элемент из GF ((/"), след которого равен у. Тогда Р является корнем многочлена

XQ-"- + -I-----хЧ-\~Х-у.

Степень этого многочлена равна д", и, следовательно, он имеет не более q"~ корней. Но всего существует только q таких многочленов, и каждый из элементов поля GF (q") является корнем одного из них. Это доказывает теорему. □

Одно из полезных свойств следа устанавливает следующая теорема.

Теорема 8.2.4. Квадратное уравнение х + X + а О,

где а - элеменЬг поля GF (2"), имеет корни в поле GF (2") тогда и только тогда, когда двоичный след элемента а равен ну.т.

Доказательство. Пусть Р - корень этого квадратного уравнения. Вычисленный в точке Р двоичный след соответствующего квадратичного трехчлена равен

tr (Р + р + а) = tr (0) = 0.

По отношению к сложению след дистрибутивен, а следы элементов Р и Р являются одним и тем же элементом поля GF (2). Следовательно,

tr (а) = 0.

Обратно, каждое Р является корнем многочлена х + х + а для некоторого а, а именно для а, равного -(Р -- Р). Всего имеется 2"- таких а, для которых след равен нулю, и этого в точности хватает, чтобы составить 2™" уравнений с двумя корнями каждое. Доказательство закончено. □

Предположим теперь, что мы выбрали хорду и определили спектр

О, jAu, 1. УЛ-




[0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [ 79 ] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189]

0.0156