CC BY
36
ЧИСЛЕННЫЕ МЕТОДЫ И АНАЛИЗ ДАННЫХ
«ЭКЗОТИЧЕСКИЕ» БИНАРНЫЕ СИСТЕМЫ СЧИСЛЕНИЯ ДЛЯ КОЛЕЦ ЦЕЛЫХ ЧИСЕЛ ГАУССА И ЭЙЗЕНШТЕЙНА
В.М. Чернов2
1ИСОИ РАН - филиал ФНИЦ «Кристаллография и фотоника» РАН, 443001, Россия, г. Самара, ул. Молодогвардейская, д. 151, 2 Самарский национальный исследовательский университет имени академика С.П. Королёва, 443086, Россия, г. Самара, Московское шоссе, д 34
Аннотация
В работе рассматриваются нестандартные бинарные системы счисления для колец целых чисел Гаусса и Эйзенштейна. Принципиальным отличием («экзотичностью») таких систем счисления от канонических систем счисления И. Катаи для квадратичных полей является использование в качестве бинарного «цифрового алфавита» двухэлементного множества, не содержащего числового нуля.
В работе синтезируются также алгоритмы представления чисел в рассматриваемой системе счисления и характеризуются возможности эффективной реализации арифметических операций.
Ключевые слова: системы счисления в квадратичных кольцах, кольца целых чисел Гаусса и Эйзенштейна, машинная арифметика.
Цитирование: Чернов, В.М. «Экзотические» бинарные системы счисления для колец целых чисел Гаусса и Эйзенштейна / В.М. Чернов // Компьютерная оптика. - 2018. - Т. 42, № 6. - С. 1068-1073. - БО!: 10.18287/2412-6179-2018-42-6-1068-1073.
Введение
Системы счисления с базисом, порожденным последовательностью иррациональных чисел, как математический объект рассматривались, по всей видимости, впервые в работе [1] Дж. Бергмана (1957). По крайней мере именно на эту работу как приоритетную ссылаются чаще всего.
Фактически в цитированной работе неявно рассматривались более общая задача представления элементов кольца целых элементов Z ^^| квадратичного поля О ^1, то есть подмножества элементов
^ = x+е : = x2 -5y2,Trz = 2x е zj,
в форме
v ( Z )
z = Z ^krok
k=u (z)
(1)
где ю = ф («фи») - так называемое «золотое сечение»: а «цифры» = {0, 1}.
Такая система счисления с основанием ф получила в англоязычной литературе название «Phi number system» или «Golden ratio number system», а в русскоязычной литературе числовые последовательности «цифр» ассоциированные с (1), часто называют «кодами золотого сечения» [2]. Первоначально эти системы использовались в приложениях, в частности, для синтеза отказоустойчивых арифметических устройств. С развитием аппаратных возможностей вычислительной математики такие системы счисления [3 - 5] стали применяться и в криптографии, цифровой обработке сигналов и изображений [6 - 8].
Напомним некоторые теоретические сведения.
Пусть целое число d свободно от квадратов. Пусть далее Z(^d) - кольцо целых квадратичных чисел поля
), то есть чисел z = a + ЬД с условиями:
z) = a2 - Ь2d е ^ Щz) = 2a е ^ Как известно,
Z(Vd) =
z: z = a + Ь-Д; a, Ь е Z при d Ф 1(mod4),
.a+Ь4d
2 ; a = b (mod2) при d = 1(mod 4).
Систематическое исследование позиционных систем счисления в общем случае колец целых элементов
Z (d j квадратичных полей Q (d j началось с работ
И. Катаи, Й. Сабо и Б. Ковача (в частности, [10]), опубликованных в малочитаемых венгерских журналах, где было введено понятие канонической системы счисления
в Z (d j и получена их классификация в зависимости
от связи d, а и алфавита цифр AcZ. В работе [11] автором было обобщено понятие канонической системы счисления до квазиканонической системы счисления путем расширения допустимого множества цифр до множества A c Z (d j. Другими словами, в качестве цифрового множества A рассматривались не только целые рациональные числа (т.е. «обычные» целые), но и целые
элементы квадратичного поля Q (d j.
Цифры представления (1) определяются в общем случае либо посредством нелинейного рекуррентного процесса [12], либо, что возможно далеко не во всех квадратичных кольцах, с помощью алгоритма
деления с остатком [11]. Заметим, что и для канонических, и для квазиканонических систем счисления цифры подчиняются условию 0 < < Norm ю. Иными словами, для построения, например, бинарных систем счисления требовалось существование в
Z ((d ) элемента а с условием Norm ю = 2.
В связи с этим «экзотичность» рассматриваемых бинарных систем счисления, вынесенная в заголовок статьи, определяется следующими факторами.
• В полях Q((-1), Q((-3) нормы оснований ю систем счисления равны (+1).
• Алфавитами «цифр» в обоих случаях является множество Л = {-1, +1} и 0гЛ.
• Рассматриваемые системы счисления являются, как и Phi-система, избыточными (то есть представление элемента соответствующего кольца квадратичных целых в форме (1) не является однозначным).
Заметим, что последнее свойство для Phi-системы счисления рассматривалось как аргумент, обеспечивающий отказоустойчивость ассоциированных кодов машинной арифметики (отказы одного или нескольких триггеров возможно компенсировать переходом к эквивалентному кодовому представлению числа). Поэтому вводимые ниже «экзотические» бинарные системы счисления (далее - ЭСЧ) для целых чисел Гаусса и Эйзенштейна могут также, в известной мере, решить проблему отказоустойчивости, причем с помощью более простых программных средств.
1. Некоторые теоретические сведения Определение 1.1. Говорят, что в кольце A имеет место алгоритм деления с остатком, если на отличных от нуля элементах z кольца определена целочисленная неотрицательная функция v(z) так, что выполняются следующие условия:
1) если z делится на w, то v(z) > v(w);
2) для любых элементов z и w Ф 0 кольца A существуют такие у, peA, что z = wy+p, причем либо p = 0, либо v(p) < v(w).
Кольцо A называется в этом случае евклидовым.
Если в кольце Z ((d) имеет место алгоритм деления с остатком, то метод определения цифр в представлении (1) элемента z e Z ((d) в системе счисления с основанием ю полностью аналогичен методу определения цифр в g-ичной позиционной системе счисления для обычных целых чисел.
При d < 0 (т.е. для мнимых квадратичных колец
целых Z (Vd)) алгоритм деления с остатком (относительно v(z) = Normz) имеет место [13] только при d=-1, -2, -3, -7, -11.
При d = -1, -2, -7 в кольцах Z (d) существуют
элементы с условием Norm ю = 2 и, как следствие, бинарные канонические системы счисления И. Катаи.
В частности, для Z (i ) = Z ((-1) существует «каноническая» система счисления [10] с множеством цифр Л = {0, 1} и основанием
ю = -1 + i, Norm ю = 2.
Поэтому вводимая ниже бинарная система счисления для Z(i) может рассматриваться как альтернатива канонической системе счисления Пенни [3].
В кольце Z ((-3 )нет элементов ю таких, что
Norm ю = 2. Поэтому ни канонических бинарных, ни квазиканонических бинарных систем счисления в этом кольце нет (хотя есть тернарные [14]). В силу этого вводимая ниже бинарная система счисления представляется новой или малоизученной.
В кольце Z (-11) нет элементов
ю e Z((Т)\Z;Normю e {1,2}.
Поэтому в этом кольце нет ни бинарных канонических, ни квазиканонических систем счисления, хотя есть тернарные системы счисления [14].
2. «Экзотическая» бинарная система счисления в кольце целых Гауссовых чисел
Введем обозначения. Пусть Z(i) - кольцо целых Гауссовых чисел:
Z(i) = {z = х + ую; х,y e Z; ю = i, i2 = -1};
Л = {-1, +1}
v(z) = Norm z = Norm(x + ую) = x2 + у2.
2.1.Представление целых Гауссовых чисел в ЭСЧ
Утверждение 2.1. Для zeZ(i), или Re(z) Ф 0 справедливо неравенство
'(z )
v(z -1) при Re(z)> -2, /(z +1) при Re (z)<-( -j).
А при Яе^) = 0 справедливо равенство + 1) = у().
Доказательство. Непосредственная проверка. Следствие 2.1. Для элементов 2<егЩ) справедливы представления (1) в форме
v ( z )
' = & юк
к =0
(2)
где ю = /', ^еЛ = {-1, +1}.
Доказательство. Метод построения представления (2), допуская известную терминологическую вольность, будем называть алгоритмом.
(а) Пусть Яе^) Ф 0. Положим 2о = zеZ(/). Выберем |0еЛ таким образом, чтобы согласно Утверждению 2.1 выполнялось неравенство
Чо )<у().
Далее,
2 = (-§о ) + |о = (() ю1 )ю+|о.
И так как
2 = (2 -§о ) + ^о, а у(ю) = у(ю-1 ) = 1,
то, полагая 21 = ((2-|о)ю-1), получаем v(2l) < у(г).
(б) Пусть Яе(2) = о, 2 Ф о. Положим
2* = 2ою-1 и уже Яе (2* )ф о.
И так как 2о = 2*ю, то для элемента 2* уже возможно корректное применение части (а) алгоритма.
Далее последовательными итерациями части (а) алгоритма и, если потребуется, части (б) получаем цепочку элементов 2* с убывающими до нуля нормами, что и доказывает сформулированную возможность представления элементов 2еZ(/) кольца в форме (2).
2.2. Особенности реализации базовых арифметических операций в ЭСЧ для целых Гауссовых чисел
При сложении элементов 2еZ(/) в форме (2) может возникнуть необходимость использования «правил переноса в старшие разряды»:
1-ю* + 1-ю* =" 2-ю*" = 1-ю* + 1-ю*+4,
(-1)-ю* + (-1)-ю* =" (-2 )-ю*" = (-1)-ю* + (-1)-ю*+4,
1-ю* + (-1)-ю* = "о-ю*" = 1-ю* + 1-ю*+2
(в этих равенствах кавычками отмечены слагаемые, «недопустимые» для формата представления (2)).
Заметим, что представление (2) элемента 2еZ(/) не является однозначным. Более того, например, для четных целых рациональных чисел о < 2nеZcZ(/) тривиальным образом справедливо представление
п-1
2п = £ (1-ю4т + 1-ю4га+' + (-1) -ю4га+2 + 1-ю4т+3).
т=о
Аналогичным образом находятся также одно или несколько «очевидных» представлений для элементов 2е Z(/) кольца целых Гауссовых чисел, расположенных на комплексной плоскости в узлах квадратной целочисленной решетки.
3. «Экзотическая» бинарная система счисления в кольце целых чисел Эйзенштейна
Определение 3.1. Кольцом целых чисел Эйзенштейна называется подкольцо Е(ю)сС комплексного поля, определённое как
17/ \ [ Т -1 + '>/31
Е (ю) = ] 2 = х + ую; х,у е Z; ю =-|.
Нормой элемента 2 = х+уюеЕ(ю) является целое число
е(2) = 22 = (х + ую)(х + ую) = х2 - ху + у2.
Замечание. Разумеется, кольцо Е(ю) можно определить и в «изоморфной терминологии» как кольцо
Z ((-3) целых элементов квадратичного поля О ((-3 ) с С, а именно:
Е(ю) = Z((-3) = |и + ; и,V е ^и = V(шоа2)|
и с обычной нормой, принятой в теории квадратичных полей
(
u + v■
Л
(
= Norm
+ vV^3 Wu2 + 3v2)
В настоящей работе мы будем использовать обе эквивалентные терминологии, руководствуясь, в первую очередь, технической простотой доказательств соответствующих утверждений.
3.1. Представление целых чисел Эйзенштейна в ЭСЧ Как и для целых Гауссовых чисел, для целых чисел Эйзенштейна справедлив аналог Утверждения 2.1 в форме:
Утверждение 3.1. Для 2 е Z (>/3) при Яе(2) Ф о справедливо неравенство
у(2-1) при Яе(2)> 12, у (2 +1) при Яе () < - (1
при Яе(2) = о справедливо равенство v(z±1) = v(z).
Доказательство почти дословно повторяет доказательство Утверждения 2.1, то есть непосредственную проверку с минимальными формальными изменениями.
В «эйзенштейновской терминологии» для кольца Е(ю) и нормы 6(2) = е(х+ую) = х2 - ху + у2 аналогом Утверждения 2.1 является
Утверждение 3.2. Пусть 2 = х+уюеЕ(ю). Тогда:
• при у - 2х| > 1 справедливо неравенство 6(2-1) < 6(2);
• при 2х-у+1 = о справедливо равенство 6(2-1) < 6(2). Доказательство. Пусть = ±1, 2=х+уюеЕ(ю). Имеем:
6(2-£)=(х +1)2-(х + 1)у+у2 =6(2)+(+ у + 2х +1).
Отсюда следует, что неравенство 6(2-1) < 6(2) выполняется при (^ у ± 2х + 1) < о, то есть при выполнении одного из неравенств
2х +1 < у, 2х -1 > у, что равносильно выполнению неравенства |у - 2х| > 1.
Так как х, yеZ, то последнее неравенство выполняется для всех х, yеZ за исключением целочисленных решений уравнения 2х - у + 1 = о. Очевидно, что в этом случае для норм элементов имеет место равенство 6(2-1) = 6(2).
Следствие 3.1. Для элементов zеZ(ю) справедливы представления, аналогичные (1), в форме
z = £^ю*, ю = -1 + %к е Л = {-1, +1}. (3)
*=0
Доказательство. Как и при доказательстве Следствия 2.1, метод построения представления (3), допуская известную вольность речи, будем называть алгоритмом.
(а) Пусть z = х + уюе Z(ю), 2х - у + 1 Ф 0.
Выберем |0еЛ таким образом, чтобы согласно Утверждению 3.2 выполнялось неравенство
е(-§„) <е().
Далее
z =(z)+§0 = (()ю-1 )ю+^0.
И так как
z = () + ^0, а е(ю) = е(ю-1 ) = 1,
то, полагая zl = ((z - ^0)ю-1), получаем е^) < s(z).
(б) Пусть zo = z = х + ую, 2х - у + 1 = 0.
Полагая z* = z0 ю-1, имеем
z0* =Х0 (-ю -1) + У0 = ( - Х0 ) + (-1)Х0 = х* + у*ю.
Так как уже 2х* - у* +1Ф 0 при целых х, у и так как z0 = z0ю, то для элемента z0 корректно применение части (а) алгоритма.
Далее последовательными итерациями части (а) алгоритма и, если потребуется, части (б) получаем цепочку элементов zk с убывающими до нуля нормами, что и доказывает сформулированную возможность представления элементов кольца Е(ю) в форме (3). 3.2. Особенности реализации базовых арифметических операций в ЭСЧ для целых чисел Эйзенштейна
При сложении элементов zеE(ю) в форме (2) может возникнуть необходимость использования «правил переноса в старшие разряды»:
1-ю* + Ью* = "2«ю*" = 1-ю* + Ью*+3,
(-1)«ю* +(-1)«ю* = "(-2)«ю*" = (-1)«ю* + (-1)ю*+3,
1-ю* +(-1)ю* = "0«ю*" = 1-ю* + 1-ю*+1 + Ью*+2
(в этих равенствах кавычками отмечены слагаемые, «недопустимые» для формата представления (3)).
Заметим, что представление (3) элемента zеE(ю) не является однозначным. Более того, например, для целых чисел 0 < nеZcE(ю) тривиальным образом справедливо представление
и-1
п = £ ((-1) • ю3т+1 + (-1) • ю3т+2).
т=0
Аналогичным образом находятся также одно или несколько «очевидных» представлений для элементов zеE(ю) кольца целых чисел Эйзенштейна, располо-
женных на комплексной плоскости в узлах треугольной решетки.
Неоднозначность представления целых элементов колец в рассмотренных системах счисления лишний раз подтверждает тезис, что с точки зрения синтеза отказоустойчивых арифметических устройств РЫ-системы счисления с дробным основанием ф не являются уникальными. Относительным недостатком, на первый взгляд, является целочисленность рассматриваемых решеток комплексных чисел. Претензии, указывающие на этот недостаток, легко парируются тем аргументом, что в практических задачах исследователь имеет дело исключительно с рациональными аппроксимациями «виртуально» действительных чисел, то есть с масштабированными элементами многомерных целочисленных решёток.
Заключение
В работе рассмотрены системы счисления для квадратичных колец, ассоциированных с двумя целочисленными решетками на комплексной плоскости. Введенные «экзотические» системы счисления связаны с двумя задачами, имеющими скорее методологическую, нежели прикладную значимость.
Во-первых, введенные системы счисления обладают в некотором смысле уникальным свойством: норма каждой из возможных цифр равна норме основания (ср. с традиционными позиционными системами счисления для целых чисел). Кроме того, как показано автором [21], представление элементов алгебры комплексных чисел в «базисе Эйзенштейна» {1, ю} позволяет, в частности, тривиализировать часть умножений в быстрых алгоритмах дискретного преобразования Фурье.
Во-вторых, введенные системы счисления представляют некоторую альтернативу РЫ-системам именно с точки зрения проектирования отказоустойчивых арифметических устройств, для которых РЫ-системам счисления придавалась чуть ли не монопольная значимость.
Автор статьи полностью отдает себе отчет, что проблемы синтеза отказоустойчивых кодов именно как «кодов золотого сечения» может вызвать негативную реакцию у скептического настроенного читателя: «Опять кролики Фибоначчи!». Поэтому автор считает необходимым прояснить свою позицию в отношении «фибоначчиведения». Действительно, несмотря на давнее и эффективное использование чисел Фибоначчи, «золотого сечения» и т. п. в прикладных задачах (сортировка данных, построение квадратурных формул для численного интегрирования, моделирование «хаотических» и фрактальных процессов или объектов и т. д.), основная масса публикаций связана фактически с нумерологией, к «научному жанру» не относящейся. Несмотря на то, что автор использовал числа Фибоначчи, Люка и т.п. для решения локальных задач обработки сигналов [16 - 19], он никогда не разделял энтузиазма в поисках «Всеобщей
гармонии» и/или построения «Общей теории всего» на основе анализа тех или иных числовых феноменов.
Тем не менее, вполне серьёзные профессиональные исследования в тематике, связанной, в частности, с теорией и приложениями последовательности чисел Фибоначчи, проводятся под эгидой Fibonacci Association. Регулярно проводятся конференции, издаются книги и журнал Fibonacci Quarterly. К сожалению, большинство из этих изданий практически недоступно российскому читателю. Приоритет в области применения теории чисел Фибоначчи к задачам информатики в СССР принадлежит А.П. Стахову (например, [2], [15] и др.), рассматривавшему представления данных в системе счисления Фибоначчи как средство построения отказоустойчивых машинных кодов. Разумеется, вопрос о целесообразности широкого использования «процессоров Фибоначчи» остается открытым с неоднозначным к нему отношением, хотя, скорее всего, в настоящее время создание таких процессоров не представляет принципиальной технологической трудности.
Благодарности
Работа выполнена при поддержке Министерства науки и высшего образования в рамках выполнения работ по Государственному заданию ФНИЦ «Кристаллография и фотоника» РАН в части «Системы счисления» и Российского фонда фундаментальных исследований (проекты РФФИ №16-41-630676 р а, № 18-29-03135_ мк) в части «Машинная арифметика».
Литература
1. Bergman, G. A number system with an irrational base / G. Bergman // Mathematics Magazine. - 1957. - Vol. 31, No. 2. - P. 98-110.
2. Стахов, А.П. Коды золотой пропорции / А.П. Стахов. - М.: Радио и связь, 1984. - 152 с.
3. Кнут, Д. Искусство программирования для ЭВМ. Том 2. Получисленные алгоритмы / Д. Кнут. - М.: Мир, 1977. - 728 с.
4. Fraenkel, A.S. Systems of numeration /A.S. Fraenkel // The American Mathematical Monthly. - 1985. - Vol. 92, Issue 2. - P. 105-114. - DOI: 10.2307/2322638.
5. Fraenkel, A.S. The use and usefulness of numeration systems / A.S. Fraenkel // Information and Computation. -1989. - Vol. 81, Issue 1. - P. 46-61. - DOI: 10.1016/0890-5401(89)90028-X.
6. Joo, 1 Expansion with respect to non-integer bases/ I. Joo, F. Snitzer // Grazer Mathematische Berichte. - 1996. -Vol. 329. - P. 1-35.
7. Fibonacci ratios with pattern recognition / ed. by L. Pesa-vento, S. Shapiro. - Greenville: Trader Press Inc., 1997. -184 p. - ISBN: 978-0-934380-36-2.
8. Peters, J.M.H A ten point FFT calculation which features the golden ratio / J.M.H. Peters // The Fibonacci Quarterly.
- 1996. - Vol. 34, Issue 4. - P. 323-325.
9. Agaian, S.S. Fast orthogonal Fibonacci transforms / S.S. Agaian, S.B. Alaverdian // Proc. Int. Coll. On Coding Theory. - 1998. - P. 335-352.
10. Kátai, 1 Canonical number systems in imaginary quadratic fields / I. Kátai, J. Szabo // Acta Scientiarum Mathemat-icarum. - 1975. - Vol. 37. - P. 255-260.
11. Богданов, П. С. Классификация бинарных квазиканонических систем счисления в мнимых квадратичных полях / П.С. Богданов, В.М. Чернов // Компьютерная оптика. - 2013. - Т. 37, № 3. - С. 391-400.
12. Thuswardner, J. Elementary properties of canonical number systems in quadratic fields / J. Thuswaldner. - In: Application of Fibonacci numbers / ed. by G.E. Bergum, A.N. Philippou, A.F. Horadam. - Dordrecht: Springer Sci-ence+Business Media, 1998. - P. 405-414. - DOI: 10.1007/978-94-011-5020-0_45.
13. Боревич, З.И. Теория чисел / З.И. Боревич, И.Р. Шафа-ревич. - 3-е изд. - М.: Наука, 1985. - 504 с.
14. Чернов, В.М. Тернарные системы счисления в конечных полях / В. М. Чернов // Компьютерная оптика. -2018. - Т. 42, № 4. - С. 704-711. - DOI: 10.18287/24126179-2018-42-4-704-711.
15. Стахов, А.П. Помехоустойчивые коды (Компьютер Фибоначчи) / А.П. Стахов. - М.: Знание, 1989. - 64 с. -ISBN: 5-07-000867-6.
16. Чернов, В.М. Реализация теоретико-числовых преобразований в кодах, порождённых избыточными системами счисления / В.М. Чернов // Электронное моделирование. - 1992. - Т. 15, № 4. - С. 33-37.
17. Chernov, V.M. Fast algorithms of discrete orthogonal transforms realized in the number system with an irrational base / V.M. Chernov, D.V. Sobolev // Optical Memory & Neural Networks. - 2000. - Vol. 9, Issue 2. - P. 91-100.
18. Chernov, V.M. Fibonacci-Mersenne and Fibonacci-Fermat discrete transforms / V.M. Chernov, M.V. Pershina // The Golden Section: Theory and Applications. Boletim de Informatica. - 1999. - No. 9/10. - P. 25-31.
19. Chernov, V.M. Fast algorithm for «error-free» convolution computation using Mersenne-Lucas codes / V.M. Chernov // Chaos, Solitons and Fractals. - 2006. -Vol. 29, Issue 2. -P. 372-380. - DOI: 10.1016/j.chaos.2005.08.081.
20. Чернов, В.М. Квазипараллельный алгоритм безошибочного вычисления свёртки в редуцированных кодах Мерсенна-Люка / В.М. Чернов // Компьютерная оптика. - 2015. - Т. 39, № 2. - С. 241-248. - DOI: 10.18287/0134-2452-2015-39-2-241-248.
21. Чернов, В.М. Арифметические методы синтеза быстрых алгоритмов дискретных ортогональных преобразований / В.М. Чернов. - М.: Физматлит, 2007. - 261 c.
- ISBN: 5-9221-0940-6.
Сведения об авторе
Чернов Владимир Михайлович, 1949 г.р., математик, доктор физико-математических наук. Главный научный сотрудник лаборатории математических методов обработки изображений Института систем обработки изображений РАН (филиал ФНИЦ «Кристаллография и фотоника» РАН); профессор кафедры геоинформатики и информационной безопасности Самарского национального исследовательского университета имени академика С.П. Королева. Область научных интересов: алгебраические методы в цифровой обработке сигналов, криптография, машинная арифметика. E-mail: vche@smr.ru .
ГРНТИ:2 7.41.41 .
Поступила в редакцию 28 октября 2018 г. Окончательный вариант - 11 ноября 2018 г.
"EXOTIC" BINARY NUMBER SYSTEMS FOR RINGS OF GAUSS AND EISENSTEIN INTEGERS
V.M. Chernov1'2
'IPSIRAS - Branch of the FSRC "Crystallography and Photonics " RAS, Russia, Samara, 443001, Molodogvardeyskaya 151, 2Samara National Research University, 443086, Russia, Samara, Moskovskoye Shosse 34
Abstract
The paper considers nonstandard binary number systems for rings of Gauss and Eisenstein integers. The principal difference ("exoticism") of such number systems from the canonical number systems introduced by I. Katai for quadratic fields is that as a binary "digital alphabet", it uses a two-element set that does not contain a numeric zero. The paper also synthesizes algorithms for the representation of numbers in the considered number system and characterizes the possibility of an efficient implementation of arithmetic operations.
Keywords: number systems in quadratic rings, rings of Gauss and Eisenstein integers, machine arithmetic.
Citation: Chernov VM. "Exotic" binary number systems for rings of Gauss and Eisenstein integers. Computer Optics 2018; 42(6): 1068-1073. DOI: 10.18287/2412-6179-2018-42-6-1068-1073.
Acknowledgements: This work was partly funded by the RF Ministry of Science and Higher Education under FSRC "Crystallography and Photonics" RAS' state project ("Number systems") and the Russian Foundation for Basic Research under grants 16-41-630676_p_a and 18-29-03135_ mk ("Machine arithmetic").
References
[1] Bergman G. A number system with an irrational base. Math Magaz 1957; 31(2): 98-110.
[2] Stahov AP. Golden ratio codes [In Russian]. Moscow: "Radio & Sviaz" Publisher, 1984.
[3] Knuth DE. The art of computer programming. Volume 2: Seminumerical algorithms. 3rd ed. Reading, MA: Addison-Wesley; 1997. ISBN: 978-0-201-89684-8.
[4] Fraenkel AS. Systems of numeration. Amer Math Monthly 1985; 92(2): 105-114. DOI: 10.2307/2322638.
[5] Fraenkel AS. The use and usefulness of numeration systems. Information and Computation 1989; 81(1): 46-61. DOI: 10.1016/0890-5401(89)90028-X.
[6] Joo I, Snitzer F. Expansion with respect to non-integer bases. Graz Math Bericht 1996; 329: 1-35.
[7] Pesavento L, Shapiro S, eds. Fibonacci ratios with pattern recognition. Greenville: Trader Press Inc; 1997. ISBN: 978-0-934380-36-2.
[8] Peters JMH. A ten point FFT claculation which features the golden ratio. The Fibonacci Quarterly 1996; 34(4): 323-325.
[9] Agaian SS, Alaverdian SB. Fast orthogonal Fibonacci transforms. Proc Int Coll on Coding Theory, Osaka, Japan, 1998: 335-352.
[10] Katai I, Szabo J. Canonical number systems in imaginary quadratic fields. Acta Sci Math 1975; 37: 255-260.
[11] Bogdanov PS, Chernov VM. Classification of binary quasi-canonical number systems in imaginary quadratic fields [In Russian]. Computer Optics 2013; 37(3): 391-400.
[12] Thuswardner J. Elementary properties of canonical number systems in quadratic fields. In Book: Bergum GE, Philippou AN, Horadam AF, eds. Applications of Fibonacci numbers.
405-414. Dordrecht: Springer Science+Business Media; 1998: 405-414. DOI: 10.1007/978-94-011-5020-0_45.
[13] Borevich ZI, Shafarevich IR. Number theory. New York, London: Academic Press; 1966.
[14] Chernov VM. Ternary number systems in finite fields. Computer Optics 2018; 42(4): 704-711. DOI: 10.18287/2412-6179-2018-42-4-704-711.
[15] Stahov AP. Error-correcting codes (Fibonacci computer) [In Russian]. Moscow: "Znanie" Publisher, 1989. ISBN: 507-000867-6.
[16] Chernov VM. The implementation of number-theoretic transforms in the code generated by the redundant number systems [In Russian]. Electronic Simulation 1992; 15(4): 33-37.
[17] Chernov VM, Sobolev DV. Fast algorithms of discrete orthogonal transforms realized in the number system with an irrational base. Optical Memory & Neural Networks 2000; 9(2): 91-100.
[18] Chernov VM, Pershina MV. Fibonacci-Mersenne and Fibonacci-Fermat discrete transforms. Boletim de Informatica, 1999; 9/10: 25-31.
[19] Chernov VM. Fast algorithm for «error-free» convolution computation using Mersenne-Lucas codes // Chaos, Solitons and Fractals 2006; 29(2): 372-380. DOI: 10.1016/j.chaos.2005.08.081.
[20] Chernov VM. Quasi-parallel algorithm for error-free convolution computation using reduced Mersenne-Lucas codes [In Russian]. Computer Optics 2015; 39(2): 241248. DOI: 10.18287/0134-2452-2015-39-2-241-248.
[21] Chernov V.M Arithmetic methods of fast algorithm of discrete orthogonal transforms synthesis [In Russian]. Moscow: "Fizmathlit" Publisher; 2007. ISBN: 5-9221-0940-6.
Author's information
Vladimir Mikhailovich Chernov (b. 1949) is mathematician, Doctor of Physical and Mathematical Sciences. Chief researcher of the Image Processing Systems Institute of the RAS (Branch of the FSRC "Crystallography and Photonics" RAS) and a professor of Geo-Information Science and Information Security department at Samara National Research University (SSAU). Research interests are algebraic methods in digital signal processing, cryptography, computer arithmetic.
Received October 28, 2018. The final version - November 11, 2018.
