Логарифм Заха

Логарифм Заха

редактировать

Логарифмы Цеха используются для выполнения сложения в конечных полях, когда элементы представлены как мощности генератора. α {\ displaystyle \ alpha}

Логарифмы Зека названы в честь Юлиуса Зеха, а также называются логарифмами Якоби в честь Карла Дж. Дж. Якоби, который использовал их для теоретико-числовых исследований.

СОДЕРЖАНИЕ
  • 1 Определение
  • 2 использования
  • 3 Примеры
  • 4 См. Также
  • 5 ссылки
  • 6 Дальнейшее чтение
Определение

Учитывая примитивный элемент конечного поля, логарифм Зека относительно основания определяется уравнением α {\ displaystyle \ alpha} α {\ displaystyle \ alpha}

α Z α ( п ) знак равно 1 + α п , {\ Displaystyle \ альфа ^ {Z _ {\ альфа} (п)} = 1+ \ альфа ^ {п},}

который часто переписывается как

Z α ( п ) знак равно бревно α ( 1 + α п ) . {\ displaystyle Z _ {\ alpha} (n) = \ log _ {\ alpha} (1+ \ alpha ^ {n}).}

Выбор базы обычно опускается из обозначений, когда это ясно из контекста. α {\ displaystyle \ alpha}

Чтобы быть более точным, является функцией целых чисел по модулю мультипликативного порядка и принимает значения в том же наборе. Для описания каждого элемента удобно формально добавить новый символ вместе с определениями Z α {\ displaystyle Z _ {\ alpha}} α {\ displaystyle \ alpha} - {\ displaystyle - \ infty}

α - знак равно 0 {\ displaystyle \ alpha ^ {- \ infty} = 0}
п + ( - ) знак равно - {\ Displaystyle п + (- \ infty) = - \ infty}
Z α ( - ) знак равно 0 {\ Displaystyle Z _ {\ альфа} (- \ infty) = 0}
Z α ( е ) знак равно - {\ Displaystyle Z _ {\ альфа} (е) = - \ infty}

где - удовлетворяющее целое число, то есть для поля характеристики 2 и для поля нечетной характеристики с элементами. е {\ displaystyle e} α е знак равно - 1 {\ displaystyle \ alpha ^ {e} = - 1} е знак равно 0 {\ displaystyle e = 0} е знак равно q - 1 2 {\ Displaystyle е = {\ гидроразрыва {q-1} {2}}} q {\ displaystyle q}

Используя логарифм Зека, арифметика конечных полей может быть выполнена в экспоненциальном представлении:

α м + α п знак равно α м ( 1 + α п - м ) знак равно α м α Z ( п - м ) знак равно α м + Z ( п - м ) {\ displaystyle \ alpha ^ {m} + \ alpha ^ {n} = \ alpha ^ {m} \ cdot (1+ \ alpha ^ {nm}) = \ alpha ^ {m} \ cdot \ alpha ^ {Z ( нм)} = \ альфа ^ {m + Z (нм)}}
- α п знак равно ( - 1 ) α п знак равно α е α п знак равно α е + п {\ displaystyle - \ alpha ^ {n} = (- 1) \ cdot \ alpha ^ {n} = \ alpha ^ {e} \ cdot \ alpha ^ {n} = \ alpha ^ {e + n}}
α м - α п знак равно α м + ( - α п ) знак равно α м + Z ( е + п - м ) {\ Displaystyle \ альфа ^ {м} - \ альфа ^ {п} = \ альфа ^ {м} + (- \ альфа ^ {п}) = \ альфа ^ {м + Z (е + нм)}}
α м α п знак равно α м + п {\ Displaystyle \ альфа ^ {м} \ CDOT \ альфа ^ {п} = \ альфа ^ {м + п}}
( α м ) - 1 знак равно α - м {\ Displaystyle \ влево (\ альфа ^ {м} \ вправо) ^ {- 1} = \ альфа ^ {- м}}
α м / α п знак равно α м ( α п ) - 1 знак равно α м - п {\ displaystyle \ alpha ^ {m} / \ alpha ^ {n} = \ alpha ^ {m} \ cdot \ left (\ alpha ^ {n} \ right) ^ {- 1} = \ alpha ^ {mn}}

Эти формулы остаются верными нашим соглашениям с символом, с той оговоркой, что вычитание не определено. В частности, формулы сложения и вычитания нужно рассматривать как особый случай. - {\ displaystyle - \ infty} - {\ displaystyle - \ infty} м знак равно - {\ Displaystyle м = - \ infty}

Это можно распространить на арифметику проективной линии, введя другой удовлетворяющий символ и другие правила, если это необходимо. + {\ displaystyle + \ infty} α + знак равно {\ Displaystyle \ альфа ^ {+ \ infty} = \ infty}

Для полей характеристики два

Z α ( п ) знак равно м Z α ( м ) знак равно п {\ displaystyle Z _ {\ alpha} (n) = m \ iff Z _ {\ alpha} (m) = n}.
Использует

Для достаточно маленьких конечных полей таблица логарифмов Зека позволяет особенно эффективно реализовать всю арифметику конечных полей с точки зрения небольшого числа целочисленных сложений / вычитаний и поиска в таблице.

Полезность этого метода уменьшается для больших полей, где невозможно эффективно хранить таблицу. Этот метод также неэффективен при выполнении очень небольшого числа операций в конечном поле, поскольку на вычисление таблицы уходит больше времени, чем на фактическое вычисление.

Примеры

Пусть α ∈ GF (2 3) - корень примитивного многочлена x 3 + x 2 + 1. Традиционное представление элементов этого поля - полиномы от α степени 2 или меньше.

Таблица логарифмов Зеха для этого поля: Z (−∞) = 0, Z (0) = −∞, Z (1) = 5, Z (2) = 3, Z (3) = 2, Z (4) = 6, Z (5) = 1 и Z (6) = 4. Мультипликативный порядок α равен 7, поэтому экспоненциальное представление работает с целыми числами по модулю 7.

Поскольку α является корнем из x 3 + x 2 + 1, это означает, что α 3 + α 2 + 1 = 0, или, если вспомнить, что, поскольку все коэффициенты находятся в GF (2), вычитание аналогично сложению, получаем α 3 = α 2 + 1.

Преобразование от экспоненциального к полиномиальному представлению дается формулой

α 3 знак равно α 2 + 1 {\ Displaystyle \ альфа ^ {3} = \ альфа ^ {2} +1} (как показано выше)
α 4 знак равно α 3 α знак равно ( α 2 + 1 ) α знак равно α 3 + α знак равно α 2 + α + 1 {\ Displaystyle \ альфа ^ {4} = \ альфа ^ {3} \ альфа = (\ альфа ^ {2} +1) \ альфа = \ альфа ^ {3} + \ альфа = \ альфа ^ {2} + \ альфа +1}
α 5 знак равно α 4 α знак равно ( α 2 + α + 1 ) α знак равно α 3 + α 2 + α знак равно α 2 + 1 + α 2 + α знак равно α + 1 {\ Displaystyle \ альфа ^ {5} = \ альфа ^ {4} \ альфа = (\ альфа ^ {2} + \ альфа +1) \ альфа = \ альфа ^ {3} + \ альфа ^ {2} + \ альфа = \ альфа ^ {2} +1+ \ альфа ^ {2} + \ альфа = \ альфа +1}
α 6 знак равно α 5 α знак равно ( α + 1 ) α знак равно α 2 + α {\ Displaystyle \ альфа ^ {6} = \ альфа ^ {5} \ альфа = (\ альфа +1) \ альфа = \ альфа ^ {2} + \ альфа}

Используя логарифмы Зека для вычисления α 6 + α 3:

α 6 + α 3 знак равно α 6 + Z ( - 3 ) знак равно α 6 + Z ( 4 ) знак равно α 6 + 6 знак равно α 12 знак равно α 5 {\ Displaystyle \ альфа ^ {6} + \ альфа ^ {3} = \ альфа ^ {6 + Z (-3)} = \ альфа ^ {6 + Z (4)} = \ альфа ^ {6 + 6} = \ alpha ^ {12} = \ alpha ^ {5}},

или, что более эффективно,

α 6 + α 3 знак равно α 3 + Z ( 3 ) знак равно α 3 + 2 знак равно α 5 {\ Displaystyle \ альфа ^ {6} + \ альфа ^ {3} = \ альфа ^ {3 + Z (3)} = \ альфа ^ {3 + 2} = \ альфа ^ {5}},

и проверив его в полиномиальном представлении:

α 6 + α 3 знак равно ( α 2 + α ) + ( α 2 + 1 ) знак равно α + 1 знак равно α 5 {\ Displaystyle \ альфа ^ {6} + \ альфа ^ {3} = (\ альфа ^ {2} + \ альфа) + (\ альфа ^ {2} +1) = \ альфа + 1 = \ альфа ^ {5 }}.
Смотрите также
Рекомендации
дальнейшее чтение
Последняя правка сделана 2024-01-12 04:30:40
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Соглашение
О проекте