логарифм Зеха
Логарифмы Зеха используются для реализации сложения в конечных полях , когда элементы представлены как степени генератора. .
Логарифмы Зеха названы в честь Юлия Зеха , [1] [2] [3] [4] и называются также логарифмами Якоби , [5] в честь Карла Г. Дж. Якоби , который использовал их для теоретико-числовых исследований. [6]
Определение
[ редактировать ]Учитывая примитивный элемент конечного поля логарифм Цеха по основанию определяется уравнением
который часто переписывают как
Выбор базы обычно опускается из обозначений, если это ясно из контекста.
Если быть более точным, является функцией по целых чисел модулю мультипликативного порядка и принимает значения из того же набора. Для описания каждого элемента удобно формально добавить новый символ , наряду с определениями
где является целым числом, удовлетворяющим , то есть для поля характеристики 2 , и для поля нечетной характеристики с элементы.
Используя логарифм Зеха, арифметику конечных полей можно выполнить в экспоненциальном представлении:
Эти формулы остаются верными с учетом наших соглашений с символом с оговоркой, что вычитание является неопределенным. В частности, формулы сложения и вычитания необходимо учитывать. как частный случай.
Это можно распространить на арифметику проективной прямой , введя еще один символ. удовлетворяющий и другие правила по мере необходимости.
Для полей характеристики 2
- .
Использование
[ редактировать ]Для достаточно малых конечных полей таблица логарифмов Зеха позволяет особенно эффективно реализовать всю арифметику конечных полей с точки зрения небольшого количества целочисленных сложений/вычитаний и поиска в таблице.
Полезность этого метода снижается для больших полей, где невозможно эффективно хранить таблицу. Этот метод также неэффективен при выполнении очень небольшого количества операций в конечном поле, поскольку на вычисление таблицы тратится больше времени, чем на реальные вычисления.
Примеры
[ редактировать ]Пусть α ∈ GF(2 3 ) быть корнем примитивного многочлена x 3 + х 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 + х 2 + 1 , то это означает α 3 + а 2 + 1 = 0 , или если вспомнить, что, поскольку все коэффициенты принадлежат GF(2), вычитание аналогично сложению, получим α 3 = а 2 + 1 .
Преобразование экспоненциального представления в полиномиальное определяется выражением
- (как показано выше)
Использование логарифмов Зеха для вычисления α 6 + а 3 :
или, что более эффективно,
и проверяем это в полиномиальном представлении:
См. также
[ редактировать ]- Гауссов логарифм
- Ирландский логарифм — аналогичный метод, полученный эмпирически Перси Ладгейтом.
- Арифметика конечных полей
- Таблица логарифмов
Ссылки
[ редактировать ]- ^ Зех, Юлиус Август Кристоф (1849). Таблицы семизначных логарифмов сложения и вычитания (на немецком языке) (Специально переиздано (из коллекции Веги – Хюльсе) 1-е изд.). Лейпциг: Книжный магазин Вайдмана . Архивировано из оригинала 14 июля 2018 г. Проверено 14 июля 2018 г. Также часть: Барон фон Вега, Георг (1849). Хюльсе, Юлиус Амброзиус [на немецком языке] ; Зех, Юлиус Август Кристоф (ред.). Сборник математических таблиц (на немецком языке) (Полностью переработанная ред.). Лейпциг: Книжный магазин Вайдмана . Бибкод : 1849смт..книга.....В . Архивировано из оригинала 14 июля 2018 г. Проверено 14 июля 2018 г.
- ^ Зех, Юлиус Август Кристоф (1863) [1849]. Таблицы семизначных логарифмов сложения и вычитания (на немецком языке) (Специально перепечатано (из коллекции Веги – Хюльсе) 2-е изд.). Берлин: Книжный магазин Вайдмана . Архивировано из оригинала 14 июля 2018 г. Проверено 13 июля 2018 г.
- ^ Зех, Юлиус Август Кристоф (1892) [1849]. Таблицы семизначных логарифмов сложения и вычитания (на немецком языке) (Специально перепечатано (из коллекции Веги – Хюльсе) 3-е изд.). Берлин: Книжный магазин Вайдмана . Архивировано из оригинала 14 июля 2018 г. Проверено 13 июля 2018 г.
- ^ Зех, Юлиус Август Кристоф (1910) [1849]. Таблицы логарифмов сложения и вычитания семизначных цифр (на немецком языке) (Специально перепечатано (из коллекции Веги – Хюльсе) 4-е изд.). Берлин: Книжный магазин Вайдмана . Архивировано из оригинала 14 июля 2018 г. Проверено 13 июля 2018 г.
- ^ Лидл, Рудольф; Нидеррайтер, Харальд (1997). Конечные поля (2-е изд.). Издательство Кембриджского университета . ISBN 978-0-521-39231-0 .
- ^ Якоби, Карл Густав Якоб (1846). «О делении кругов и его приложении к теории чисел» . Журнал чистой и прикладной математики (на немецком языке). 1846 (30): 166–182. дои : 10.1515/crll.1846.30.166 . ISSN 0075-4102 . S2CID 120615565 . (Примечание. Также входит в «Собрание сочинений», том 6, страницы 254–274.)
Дальнейшее чтение
[ редактировать ]- Флетчер, Алан; Миллер, Джеффри Чарльз Перси ; Розенхед, Луи (1946) [1943]. Указатель математических таблиц (1-е изд.). Blackwell Scientific Publications Ltd. , Оксфорд/ МакГроу-Хилл , Нью-Йорк.
- Конвей, Джон Хортон (1968). Черчхаус, Роберт Ф.; Герц, Ж.-К. (ред.). «Таблица некоторой информации, касающейся конечных полей». Компьютеры в математических исследованиях . Амстердам: Издательство Северной Голландии : 37–50. МР 0237467 .
- Лам, Клемент Винг Хонг ; Маккей, Джон К.С. (1 ноября 1973 г.). «Алгоритм 469: Арифметика над конечным полем [A1]» . Коммуникации АКМ . Сборник алгоритмов ACM (CALGO). 16 (11). Ассоциация вычислительной техники (ACM): 699. doi : 10.1145/355611.362544 . ISSN 0001-0782 . S2CID 62794130 . том/469. [1] [2] [3]
- Кюн, Клаус (2008). «CF Гаусс и логарифмы» (PDF) (на немецком языке). Аллинг-Бибург, Германия. Архивировано (PDF) из оригинала 14 июля 2018 г. Проверено 14 июля 2018 г.