CC BY
57
АЛГОРИТМЫ ДЕКОМПОЗИЦИИ СИГНАЛА НА ОСНОВЕ НЕРАЗДЕЛИМЫХ ВЕЙВЛЕТ-ПРЕОБРАЗОВАНИЙ ХААРА
А.М. Белов
Институт систем обработки изображений РАН Самарский государственный аэрокосмический университет им. С.П. Королева
Аннотация
В работе рассматриваются два алгоритма декомпозиции сигнала построенные на основе обобщенных неразделимых вейвлет-преобразований Хаара. Особенностью таких вейвлет преобразований является то, что они строятся на фундаментальных областях канонических систем счислений в мнимых квадратичных полях.
Введение
В настоящее время вейвлет-преобразование нашло широкое применение в обработке изображений, особенно в задачах компрессии цифровых изображений. Большинство вейвлетов, используемых в обработке изображений, являются разделимыми, что влечет появление различных артефактов на изображении, включая блочные и линейные, к которым глаз человека особенно чувствителен [1]. В связи с этим возникает вопрос о необходимости разработки методики построения неразделимых вейвлет-базисов.
В работе [2] был рассмотрен вопрос о конструировании многомерных неразделимых аналогов базиса Хаара. Такой вейвлет-базис был определен, как вейвлет-базис над Ь (Яп) с компактным носителем, соответствующий кратномасштабному анализу, порожденному масштабирующей функцией вида, где Хе (х) - характеристическая (индикаторная) функция компактного множества Q:
В этой же работе показано, что такой вейвлет-базис над Ь2(Кп) может быть построен на основе характеристической функции %Q (х) компактного множества Q , тогда и только тогда, когда Q - интегральное самоподобное покрытие Яп с единичной мерой Лебега.
Построение таких преобразований, а именно, отыскание масштабирующей функции, является довольно сложной задачей, что затрудняет использование этого метода. В работах [1], [3] был предложен метод построения таких вейвлет-базисов над Ь2(Я2) с использованием систем счислений, основаниями которых являются целые Гауссовы числа.
В работе [4] было представлено обобщение метода построения неразделимых двумерных вейвлет-базисов Хаара, которое стало возможным после разработки венгерскими математиками Катаем и Кова-чем теории так называемых канонических систем счисления (КСС) в квадратичных полях [5, 6, 7]. В настоящей работе предлагаются алгоритмы декомпозиции исходного сигнала для таких обобщенных вейвлет-базисов Хаара.
Структура статьи следующая: В разделе 1 приведены необходимые данные из теории КСС. В разделе 2 представлены сведения об обобщенных вейв-лет-базисах Хаара. В разделе 3 приведена общая идея алгоритмов декомпозиции сигнала для таких преобразований. Два алгоритма декомпозиции рассмотрены в разделах 4 и 5, соответственно.
1. Канонические системы счисления в квадратичных полях
Пусть - квадратичное поле
= {2 = а + Ъ\/ё; а,Ъ е о}, ё е Ъ, свободное
от квадратов. В работе будем рассматривать мнимые квадратичные поля, т.е. ё < -1.
Определение 1: Если для элемента
2 = а +
Ъ-[ё е 0(4ё) норма и след - целые числа: Ыогт(2) = (а + Ъ4ё)(а - Ъ4ё) = а1 - ёЪ2 е Ъ, Тг( 2) = (а + Ь-Д)
+ (а - ь4ё ) = 2а е Ъ, то элемент называется целым алгебраическим числом поля
Целое алгебраическое число 2 = а + Ъ'~[й называется целым Гауссовым числом, если а е Ъ и Ъ е Ъ .
В работах [5], [6] введено понятие канонической системы счисления в кольце $>(у[ё) целых элементов поля
Определение 2: Целое алгебраическое число называется основанием канонической системы счисления в кольце целых поля
, если любой целый элемент поля однозначно представим в форме конечной суммы:
к (2)
2 = ^ 2jа', 2j е Б = {0,1,..., |Могт(а)| -1} .
]=0
Определение 3: Пара (а, Б) называется канонической системой счисления в кольце &(\[ё) целых поля
Обычно, для представления некоторого числа 2 е £ё) в КСС (а, Б) используют так называемую позиционную запись этого числа (или адрес
числа): 2 = (2к(22к(2... г0)а , где г] е Б . В работе
[7] описаны рекуррентные соотношения, позволяющие получить такое представление произвольного
числа г е £(4а) в КСС (а, Б) .
Теорема 1: Пусть ё < -2 . (а) При ё = 2,3(mod4) пусть а = А ±4ё является основанием канонической системы счисления в кольце S(^/d); пусть далее для г = + г24ё е $,(4ё), е Ъ целые рациональ-
ные (г) определены рекуррентными соотношениями:
sk(z) sk _1( z)
Norm (a) Norm (a)
sk+i( z) = 2 А
s_1(z) = + z2Norm (a), s0(z) = z1 + z2 A.
k > 0,
(Ь) При ё = 1(mod4) пусть а = -2(В ±л/ё) является
основанием канонической системы счисления в кольце S(^/d); пусть далее для
z = z.
1 + —— z2 e S(Vd), z1, z2 e Z целые рацио-
нальные Sk (z) определены рекуррентными соотношениями:
sk+1( z) = в
sk(z) sk _1( z)
Norm (a) Norm (a)
k > 0, B _ 1
s_1 (z) = + z2Norm(a), s0 (z) = z1 + z2
2
Тогда
k (z)
z = Z zjaJ, где zj = sj (z)(modNorm(a)).
j=0
Определение 4: Фундаментальной областью T(a, D) e C КСС (a, D) в кольце целых
элементов поля называется множество
комплексных чисел с нулевой целой частью, т.е.:
_i
T(a, D) = Z djaj, dj e D .
j=_■»
2. Обобщенные вейвлет-базисы Хаара Пусть задана КСС (a, D), ее основание - целое алгебраическое число a = a +
a e
S (Vd), алфавит - множество D = {d0, d1, d2... djNorm(a)|_1} , и
T(a, D) - фундаментальная область этой КСС.
Положим Г = ГS ^ . Матрица умножения произвольного числа z e S(\[d) на основание системы счисления a имеет вид:
( a bd Л А = 1 .
Тогда можно построить кратномасштабный анализ (КМА), ассоциированный с парой (А,Г), причем масштабирующей функцией будет характеристическая функция фундаментальной области КСС (a, D) - ф = xT(a D). Множество D образует полную систему вычетов mod a . Пусть |det А| = q , тогда вейвлет-базис искомого преобразования будем
искать в виде:
q
V=Zu'+i,jф1,dj,
j=1
где Uj,j - элементы унитарной матрицы U, в которой u1 j = q~1/2, j = 1... q , dj e D . Здесь элементы нулевой строки матрицы соответствуют фильтрам hj, а элементы остальных строк - фильтрам gj .
3. Общая идея алгоритмов декомпозиции сигнала Основная идея алгоритмов декомпозиции базируется на интерпретации точек двумерной целочисленной решетки (растра изображения) как элементов кольца целых алгебраических чисел квадратичного поля, т. е. переход от двумерной целочисленной решетки Tz к решетке целых алгебраических чисел
rs ^jd) некоторого квадратичного поля. Дадим определение решетки.
Определение 5: Пусть a = (a0, a1,., ak_1) -множество линейно независимых векторов пространства Rk. Линейная оболочка с целыми коэффициентами Г векторов (a0, a1,., ak_1) называется
решеткой над Rk порождаемой базисом
a = (a0, a1,..., ak _1) . Г = 1 I C = {^0a0 +^1a1 + .•• + ^k_1ak_1} ,
где e Z, i = 0,1,.,k_ 1.
Определим решетки целых алгебраических чисел квадратичного поля.
Лемма 1: Решетка целых алгебраических чисел Ts(jd) порождается базисом a = ((1,0), (0,4ё)),
(
при d = 2,3(mod4) и базисом a =
2,0
0.
Vd"
при ё = 1(mod 4).
Утверждение данной Леммы является следствием теоремы 1.
Покажем, что решетки целых алгебраических чисел изоморфны целочисленным решеткам. Лемма 2: Решетка Г^(^) над кольцом
изоморфна целочисленной решетке Г2 , для всех ё . Доказательство:
Пусть целочисленная решетка Г2 над Я2 определяется базисом аЪ = (, аЪ), а решетка Г,(^)
над кольцом 8(73) - базисом
а,«3) = (), )). Поставим в соответствие произвольному элементу ' = ' 0 аЪ + ' аЪ решетки тх элемент '' = 'о^ +'1^ решетки Г,ьЗ) , который имеет относительно базиса а,те же самые координаты, что элемент ' относительно базиса аъ .
Покажем, что установленное соответствие является взаимно однозначным. Каждому элементу ' в
решетке Г2 однозначно соответствуют координаты
'0, ' (согласно определению базиса), которые, в
свою очередь, однозначно определяют элемент ' в
решетке Г,(^). В силу равноправности решеток
Гъ и Г,(^) каждому элементу ' в решетке
Г,(^3) соответствует единственный элемент ' в
решетке Г^ .
Поскольку параметр ё определяет лишь базис Г,() в пространстве Я2, то приведенные рассуждения могут быть обобщены для всех 3 .
Виду утверждения леммы 2 переход к рассмотрению исходного растрового сигнала на решетке алгебраических целых чисел обоснован.
После перехода к другой решетке двумерная индексация отсчетов исходного сигнала заменяется одномерной, в силу того факта, что каждое алгебраическое целое число имеет уникальный адрес в КСС. После этого отсчеты исходного сигнала рассматриваются как точки фундаментальной области КСС, и здесь возможно два варианта: либо исходный сигнал полностью покрывается фундаментальной областью, либо - ее фрагментом. В данной работе рассмотрены оба этих случая.
4. Алгоритм с полным деревом декомпозиции
Данный алгоритм разработан для случая, когда фундаментальная область полностью покрывает все отсчеты исходного сигнала.
Пусть заданы КСС с основанием а е , (73 ),
Ыогт(а) = q и изображение, I(т,п), содержащее
N х N точек. При этом выполняется следующее
Ь = 1о§qN2, Ь е Ъ, т.е. число отсчетов исходного
изображения совпадает с числом точек фундаментальной области размерности Ь .
Шаг 0: Рассчитывается минимальная длина адресов L = log N2.
Шаг 1: Строится множество DL всех возможных адресов длины L . Всем адресам a(La D) 6 DL
ставятся в соответствие числа решетки S(4d), т.е. a(aD) о k + l4d , или a(LaD) о (k, l). Трактуя исходное изображение как заданное на решетке S(л/d), осуществляется переход от двумерной индексации отсчетов изображения, к одномерной, т.е. I (k, l) О I (a(La,D) ) .
Рис. ¡.Полное покрытие исходного сигнала фундаментальной областью
Шаг 2: Рассчитываются фильтры И3, gd, 3 е Б .
Шаг3: Полагается 5 Ь = I(а!' >).
0,а(а.О) ( ' 4
Шаг 4: Для всех I = 1... Ь выполняется вейвлет-декомпозиция:
V = / И V
-I,(1)аЬ„вч 3 -1+1,(1 )аЬат3'
ЗеБ
W-1,(1)аЬ„„ч = ^ gdS-l+1,(/)а,Ьа„ЧЗ . ЗеБ
В результате работы описанного алгоритма получается полное дерево декомпозиции, т. е. не содержащее пустых узлов.
5. Алгоритм с частичным деревом декомпозиции
Данный алгоритм разработан для случая, когда исходный сигнал покрывается фрагментом фундаментальной области.
Пусть заданы КСС с основанием а е , {43), Могт(а) = q и изображение I(т,п), содержащее М х N точек.
Шаг 0: Исходное изображение трактуется, как заданное на решетке ,(л[3), т.е. каждой точке изображения ставится в соответствие элемент решетки над кольцом ,(-<¡3), а именно, I(к,I) -о к + 1л13 .
Каждому числу к + 1л[3 из кольца ,(л/3) соответ-
Ьк ' Ак I)
ствует адрес а(а,Б) длины Ь ''.
w
Рис. 2. Частичное покрытие исходного сигнала фундаментальной областью
Шаг 1: Рассчитывается длина минимального адреса как
Ь = тах{Ь к ,1)}, к = 0. М -1,/ = 0. N -1.
Шаг 2: Строится множество О1 всех возможных адресов длины Ь (при этом адреса длины меньшей, чем Ь , дополняются нулями слева до длины Ь), которое разбивается на два подмножества
^ Ь ~ ь ^ Ь
О и О . Причем множество О состоит из адресов а^а о) чисел к + , для которых справедливо
~ Ь
0 < к < М, 0 < / < N, а в множество О включаются
~ Ь Ь \ ^ Ь
все остальные адреса, т.е. О = О \ О .
Шаг 3: Исходное изображение трактуется, как заданное на решетке £(л/ё), и осуществляется переход от двумерной индексации отсчетов изображения к одномерной, т.е. I(к,/) ^ I(а^^о)) при
а(а,О) е О ■
Шаг 4: Рассчитываются фильтры , gd, ё е О . Шаг 5: Полагается
= 1 Н*,^, ПрИ
-V, D)
е D и s ¿ = 0, при a(
(a,D)
е dl
Шаг 6: Для всех / = 1... L выполняется следующее:
^ L-/ ~ L-/
Конструируются множества D и D
^L-i L L ^L-(/-1) — L-/ L , ^ L-/
D = {(/)a(a,D) : (/ 1)a(a,D) е D } и D = D-/ \ D .
Выполняется вейвлет- декомпозиция для всех
5-/,(/) таких, что (/)a(a,D) Е D :
S-l,(/d) S +1,(/d)d 5
d eD
/ +1,(/)a(La,D) d
В результате работы описанного алгоритма получается неполное дерево декомпозиции, т.е. содержащее пустые узлы.
Заключение
В работе предложены алгоритмы декомпозиции сигналов для обобщенных вейвлет-преобразований Хаара для случаев с полным и частичным покрытием исходного сигнала фундаментальными областями КСС. Эти алгоритмы позволяют применять обобщенные вейвлеты Хаара в задачах обработки изображений и, в частности, в задаче компрессии цифровых изображений.
Благодарности
Работа выполнена при финансовой поддержке Министерства образования РФ, Правительства Самарской области и Американского фонда гражданских исследований и развития (грант RUX0-014-SA-06) в рамках российско-американской программы «Фундаментальные исследования и высшее образование» (BRHE), а также при поддержке Российского фонда фундаментальных исследований (РФФИ), грант № 05-01-96501, 06-01-00722.
Литература
1. Mendivil F., Piché D. Two Alghoritms for Non-Separable Wavelet Transforms and Applications to Image Compression // Fractals: Theory and Applications in Engineering, Springer-Verlag, 1999.
2. Grochenig K., Madych W.R. Multiresolution Analysis, Haar Bases, and Self-Similar Tilings of Rn // IEEE Trans. Inform. Theory, 1992. 38. P. 556-568.
3. Piché D.G. Complex Bases, Number Systems and Their Application to Fractal-Wavelet Image Coding // PhD in Applied Mathematics thesis. Ontario, Canada: University of Waterloo, 2002.
4. Белов А.М. Применение канонических систем счисления в задаче построения неразделимых хааро-подобных вейвлетов // Компьютерная оптика, Самара-Москва, 2006. №28. C. 119-123
5. Katai I., Kovacs B. Canonical number systems in imaginary quadratic fields // Acta Math. Acad. Sci. Hungari-cae, 1981. 37. Р. 159-164.
6. Katai I., Szabo J. Canonical number systems for complex integers // Acta Sci. Math. (Szeged), 1975. 37. Р. 255260.
7. Kovacs A. Generalized binary number systems // Annales univ. Sci. Budapest, Sect. Comp. 2001. 20. Р. 195-206.
L-/
