CC BY
27
УДК 517.98
БО!: 10.18287/2541-7525-2017-23-4-25-32
Д.А. Рогач1
ФРЕЙМ ДЛЯ АЛГОРИТМА ВОССТАНОВЛЕНИЯ ВЕКТОРА-СИГНАЛА
Рассмотрен фрейм конечномерного евклидова пространства, составленный из ортов и их сумм. Представлено операторное доказательство фреймовых свойств построенной системы, для матрицы фреймового оператора найдены собственные значения, которые являются и фреймовыми границами. Доказано свойство альтернативной полноты построенной системы. Именно это свойство является причиной интереса к построенному фрейму, так как в вещественном евклидовом пространстве оно эквивалентно инъективности оператора измерений, который отображает вектор-сигнал в последовательность модулей измерений. Исследуемый фрейм лежит в основе быстрого алгоритма восстановления сигнала, предложенного М. Штрауссом. Найден оператор, который переводит построенный фрейм в ближайший к нему фрейм Парсеваля — Стеклова.
Ключевые слова: фрейм, фрейм Парсеваля — Стеклова, оператор анализа, оператор синтеза, фреймовый оператор, собственное значение, собственный вектор, альтернативная полнота.
1. Фреймы конечномерных пространств
1.1. Определение фрейма
Пусть — конечномерное пространство со скалярным произведением {■, ■) и ортонормированным
базисом {еп]1^=1. Каждый вектор-сигнал х единственным образом представим суммой
N
х =
п=1
^ ^ {Х1 еП)еП7
где {х, еп) — координаты вектора в выбранном базисе. Физические приборы, которые применяются в процессе обработки сигналов, настроены на регистрацию положительных чисел, хотя точными значениями координат могут быть как отрицательные числа, так и комплексные. Для решения задачи о восстановлении сигнала по модулям измерений важно подобрать такую систему "измерительных векторов" Г = {/1,...,/м< М, чтобы максимально точно восстановить сигнал х по "измерениям" \{х, /т)\, т = 1,...,М.
Для решения этой задачи полезными оказываются фреймы конечномерных пространств.
Определение 1.1. Набор элементов Г = {/т, т = 1,...,М} С HN называется фреймом для пространства Н"^^, если существуют положительные числа А и В такие, что для любого х £ Нлг
м
А||х||2 ^ \{х,/т)\2 < В\\хГ (1.1)
т=1
Числа А, В называются нижней и верхней границами фрейма соответственно. Они определены неоднозначно [2], поэтому естественно возникает понятие оптимальных нижней и верхней границы фрейма.
Правое неравенство в (1.1) выполняется в силу неравенства Буняковского-Коши-Шварца:
м
Т,\{х,/т)\2 < Ш1'2)М
т=1
(Е ш\2) ихи2 (1.2)
\т=1 )
м
для всех х из Н"^^, верхняя граница при этом (обычно далекая от оптимальной) равна ||/т||2.
т=1
!© Рогач Д.А., 2017
Рогач Дарья Александровна (ida@ssau.ru), кафедра теории вероятностей и математической статистики, Самарский национальный исследовательский университет имени академика С.П. Королева, 443086, Российская Федерация, г. Самара, Московское шоссе, 34.
Для выполнения нижнего неравенства в (1.1) необходима полнота системы {/т}М=1- Докажем, что span ({fm}M=i)^ = {0}. Пусть x — произвольный элемент из span ({fk}N=i)^ ■ Тогда <x,fm >= 0 для всех m = 1,...,M. Из (1.1) получаем, что x = 0. Таким образом, доказана полнота системы {fm}M=1.
Если оптимальная верхняя и нижняя границы совпадают, т. е. A = B, то фрейм называется жестким. Для жесткого фрейма соотношение (1.1) переходит в равенство
м
J2\(x,fm)\2 = A||x||2, (1.3)
m=1
которое при A =1 принимает форму равенства Парсеваля — Стеклова:
м
J2\(x,u\2 = м2. (1.4)
m=1
Фреймы, для которых выполнено (1.4), называют фреймами Парсеваля -Стеклова. Эти фреймы оказываются наиболее подходящими для восстановления сигнала, так как для них, и только для них, спра-
м
ведливо равенство x = Y1 (x,fm)fm, что показано в работе [2].
m=1
1.2. Фреймовый оператор
Определение 1.2. Фреймовый оператор — положительный, самосопряженный обратимый оператор
S : HN ^ HN ,S = V *V,
где V — оператор анализа
V : x е HN ^{(x,fm)}M=i е CM.
V* — оператор синтеза, сопряженный оператор к V, который удовлетворяет:
M
V* : {zm}M=1 е CM Zm fm £ HN ■
m=1
Следовательно, (1.1) можно переписать следующим образом:
A{x,x) ^ (Sx,x) ^ B(x,x).
1.3. Восстановление без фаз
Введем понятие системы, которая позволяет по модулям измерений \{x, fm}\M=1 восстановить сигнал. На HN вводится отношение эквивалентности x ~ y тогда и только тогда, когда существует постоянная z, \z\ = 1, такая что y = zx. Пусть H = HN/ ~ - фактор-пространство. Таким образом, класс эквивалентности имеет вид x = {±x}.
Рассмотрим следующее нелинейное отображение
в : H ^ RM, (в(х))т = \{x,fm)\2,1 < m < M,
корректно определено на классах x, поскольку из x ~ y следует \{x,fm)\2 = \{y,fm)\2.
Определение 1.3. Будем говорить, что фрейм F = {f1,...,fM} восстанавливает без фаз (ВБФ-фрейм), если нелинейное отображение в инъективно.
Заметим, что любой сигнал x £ HN однозначно (с точностью до множителя) определяется модулями фреймовых коэффициентов с точностью до фазового множителя тогда и только тогда, когда F является ВБФ-фреймом.
Для определения, является ли система ВБФ, будем использовать свойство альтернативной полноты, так как данное свойство эквивалентно ВБФ в RN, что будет доказано ниже.
Определение 1.4. Набор векторов F = {fm}M=1 в RN альтернативно полон (АП), если для любого P С {1,... ,M} либо {fm}meP, либо {fm}mePс полно в RN (Pc —дополнение к множеству P).
Теорема 1.1. [3] Фрейм {fm}M=1 в RN является ВБФ-системой тогда и только тогда, когда он обладает свойством альтернативной полноты.
Доказательство: 1) Дана система векторов F = {fm}M=1 в RN. F- фрейм. Предположим, что F не обладает свойством альтернативной полноты. Следовательно, найдется P С {1,... ,M} такое, что ни {fm}meP, ни {fm}mepc не полно в RN.
Возьмем ненулевые векторы u,v G RN так, что (u, fm) = 0 для всех m G P и (v,fm) = 0 для всех m G Pc.
Для каждого m получим
\(u + v,fm)\2 = \(u,fm)\2 + 2(u,fm)(v,fm) + \(v,fm)\2 = \(u,fm)\2 + \(v,fm)\2.
\(u - v,fm)\2 = \(u,fm)\2 — 2(u, fm)(v, fm) + \(v,fm)\2 = \(u, fm)\2 + \(v,fm)\2.
Отсюда следует, что \(u + v,fm)\2 = \(u — v,fm)\2 для каждого m, и для отображения A справедливо
A(u + v) = A(u — v).
По предположению u и v не нулевые, значит,
u + v = ±(u — v).
Таким образом, отображение A - не инъективно.
2) F — АП. Предположим, что A не инъективно. Это означает, что существуют векторы x,y G RN такие, что x = ±y и A(x) = A(y).
Обозначим P := {n : (x, fm) = —(y, fm)}. Имеем: (x + y, fm) = 0 для каждого m G P, и (x — y, fm) = 0 для каждого m G Pc.
По предположению, x + y = 0 и x — y = 0. Таким образом, и {fm}m^p, и {fm}m^pc не полны в RN. Что противоречит определению альтернативной полноты. Теорема доказана. Теорема 1.2. [2] Для произвольного фрейма {fm}M=1 С HN фрейм
{S-1/2fm}M=
1 является фреймом Парсеваля — Стеклова. Доказательство: Для каждого x G HN верно представление
M M
x / \ ^ "f-'i/m. ^^ J m
m=1 m=1
M
x = S-1/2SS-1/2 x =Ys < S-1/2x, fm > S-1/2fm = ^ < x, Sfm > S-1/2 fm.
Таким образом, получаем, что {S-1/2fm}m=1 является фреймом Парсеваля — Стеклова. В следующей теореме показана связь между собственными значениями фреймового оператора и границами фрейма.
Теорема 1.3.[3] Пусть {fm}M=1 —фрейм для HN с фреймовым оператором S, собственные значения которого суть Ai ^ ... ^ AN. Тогда Ai совпадает с оптимальной верхней фреймовой границей, а AN — с оптимальной нижней фреймовой границей.
Доказательство Пусть {gn^^ - нормированные собственные векторы фреймового оператора и соответствующими собственными значениями, выписанными в порядке убывания. Для произвольного x G HN
N
имеем x = Y1 {x,gn)gn, отсюда
n=1
N
Sx = E An(x, gn)gn.
n=i
Далее, получаем
M IN N \
E \(x,fm)\2 = (Sx,x) = / E^n(x,gn)gn,^2(x,gn)gn )
m=1 \n=1 n=1 /
NN
J2Xn\(x,gn)\2 < A^\(x,gn)\2 = \1\\x\\2.
n\
n=1 n=1
Таким образом, Вор ^ А^ здесь Вор обозначает оптимальную верхнюю фреймовую границу фрейма {/т}м=1. Равенство Вор = А1 оказывается следствием следующих равенств:
м
Е \{91,/т)\2 = {^191,д1) = {А191,91) = А1.
т=1
Аналогичные рассуждения проводятся в отношении нижней границы.
2. Фрейм из ортов
Рассмотрим, следуя [1], систему векторов Г = {е1, е2,..., } и {е^ + е^, где {е1, е2,..., } -ортонормированный базис в RN.
Фрейм Г состоит из М векторов.
М = N + С% = N +
N N - 1) N (N +1)
2 2
Вычислим фреймовый оператор для нашей системы, для это сначала запишем V - оператор синтеза и V*- оператор анализа.
Столбцы матрицы оператора синтеза являются координатами фреймовых векторов V = Г. Матрица оператора анализа V* = Гт, где Гт —транспонированная матрица Г.
/ N 1 1 ... 1 \
5 = V ^
1 N 1 1 1 N
\ 1 1 1 ... N )
Мы получаем матрицу, все диагональные элементы которой равны N, а на остальных местах стоят единицы.
Корнями характеристического уравнения |5 — ЛЕ\ = 0 будут Лх = N — 1 кратности N — 1 и Л2 = 2N —
— 1 кратности равной 1. Для Лх собственные вектора, найденные из уравнения (5 — Л\Е)х = 0 будут выражаться из соотношения х\ = —Х2 — ... — хN. Для Л2: х\ = Х2 = ... = хN.
Так как полученная матрица является самосопряженной и обратимой, можно сказать [3], что выбранная система векторов Г — фрейм. Притом Лх = N — 1 —оптимальная нижняя граница, а Л2 = 2N — 1 — верхняя.
Выясним, является ли Г — ВБФ-фреймом. Для определения, является ли Г ВБФ, будем использовать свойство альтернативной полноты, так как оно эквивалентно ВБФ в , что было доказано выше.
Рассмотрим всевозможные разбиения Г. Так как эта системапредставляет собой набор векторов ор-тонормированного базиса и линейные комбинации этих векторов, то легко увидеть, что при любом разбиении Г получится хотя бы одна система векторов, которая будет полна в .
Распишем подробно операторы синтеза, анализа и фреймовый оператор в пространстве М4.
1000 0100 0010 0 0 0 1 110 0 1010 1001 0110 0101 V 0 0 1 1 /
Найдем собственные значения Л^ и собственные вектора г^, г = 1,..., 4. Для этого найдем значения |5 —
— ЛЕ\ = 0.
V =
/10001 1 1000\ 0 1 0 0 1 0 0 1 1 0 0010010101 ^000100101 1/
V * =
5 =
4111 1411 1141
V 1 1 1 4 У
|5 — ЛЕ\
4—Л 1 1
1
1
4 — Л 1 1 4-Л
1
1
1 1 1
4—Л
Л4 — 16Л3 + 90Л2 — 216Л + 189 :
= (Л — 3)3(Л — 7) =0.
Корнями этого выражения будут Лх = 3 кратности 3, Л2 теристическое уравнение и найдем собственные вектора. 1) Л1 =3
1111
(5 — 3Е) =
1111 1111
7. Подставим найденные значения в харак-
1111
0000 0000
1 1 1 1 0 0 0 0
Из уравнения (5 — 3Е)х = 0 получаем соотношение хх = —х2 — хз — х4. Возьмем х2 = 1, хз = х4 = 0, тогда хх = —1. Первый собственный вектор примет значение гх = (1, —1,0,0)т. Теперь возьмем хз = 1, х2 = х4 = 0, тогда хх = —1 и г2 = (1,0, —1, 0)т. Аналогично и для оставшегося случая, получим вектор
г3 = (1, 0,0, —1)т.
1
2) Л2
(5 — 7Е) =
Получаем сиситему
—3 1 1 1 1 0 0 —1
1 —3 1 1 0 1 0 — 1
1 1 —3 1 0 0 1 — 1
1 1 1 —3 0 0 0 0
{хх = х4 х2 = х4 ; хз = х4.
Возьмем х4 = 1, тогда г4 = (1,1,1,1)т.
Обозначим матрицу, столбцы которой найденные собственные вектора, Т. В случае М4
Т =
—1 —1 —1 1 10 0 1 0 10 1 \ 0 0 1 1 /
Из первой части мы знаем, что из любого фрейма можно получить фрейм Парсеваля — Стектова. Для этого нужно найти оператор 5-х/2.
5 = ТОТ, где Б —диагональная матрица для матрицы 5.
^л/2 = TD1/2T
Вычислим в М4:
—1 —1 —1 1 / л/3 0 00 —1 3 —1 —1
1 1 0 0 1 0 л/3 0 0 —1 —1 3 — 1
4 0 1 0 1 00 0 —1 —1 —1 3
0 0 1 1 У 00 0 ^У V 1 1 1 1
/ 3л/3 + Л/7 — ^3 + Л —^3 + ^7 —^3 + Л \
1 —^3 + ^7 —^3 + ^7 —уД + ^Л
= 4 —л/3 + %/7 -v/3 + уП 3\/3 + \/7 +
V —^ + ^ — >/3 + Vх? —^3 + 3^+^ /
Для того чтобы получить искомый 5 х/2, нужно лишь найти обрытный оператор от полученного выше 5х/2.
5
"!/2 = _
1
81
( 21^+377 —7^ + 3^ —7^+3^ —
—7^ + 3^ 21^3 + 3^7 —7^3 + 3^7 —7^+3^ —7^ + 3^ —7^ + 3^ 21^3 + 3^7 — 7^+3^
\ —7^/3 + 3^/7 —7^/3 + 3^/7 —7^/3 + 3^/7 21^+3^ /
Теперь подействуем найденным оператором на состему векторов Г. Получим фрейм Парсеваля Стеклова, который представлен в виде матрицы размерности М на N.
7
2.1. Алгоритм восстановления сигнала
Проанализировав выбранную систему векторов, перейдем к алгоритму восстановления сигнала, в соотверствии с [1]. Как указано в [1] идея алгоритма принадлежит М.Штрауссу.
Возьмем систему Г = {вх,в2, ...,вы}"0{въ + в^, которая, как доказано выше, является ВБФ-фреймом.
Обозначим измерения, как
< х, вп >= ап, п =1,..., N
<х,в, + вз >= аи 1 < г <з < N,1 = N + 1,..., М.
Но на практике, нам известны лишь модули измерений. Пусть а^ - первый ненулевой коэффициент, и пусть Ь^ = аз/а¿, где г = ], г,] = 1,..., М.
Представим сигнал в виде суммы и распишем её, используя введённые ранее обозначения:
N
х = (х, вп)вп = ах/х + а2/2 + ... + аы/ы. (2.1)
п=х
- = - /х + ... + /г + ... + — /ы = Ь/ + ... + / + ...Ьы /ы. (2.2)
аг аг аг
Для bj справедлива формула:
bj
|1 + bj\2 — \bj\2 — 1
2
где
|6>| = Ф = j ■
+ b-1 = и + a—i = iai + a- i = \ <x,e > + < x,ej > \ =
3 ai ai \ ai \
= \ < x,ei + e- > \ = ]aj l ai \ \ ai \
Вычислим нужные значения bj, и подставим значения в (2). Получим, что
x = \ ai \ (be + ... + ei + ...bN eN).
Для наглядности метода представим примеры восстановления сигнала в Rs и R4. Пример 2.1. В пространстве R3 даны измерения
!ai \ = \(x,e1) \ = 3; ! a2 \ = \(x,e2) \ = V3; \as\ = \ (x,e3) \ = 2;
\a,4\ = \(x,eA) \ = 3 + V3; \a5 \ = \(x, e5) \ = 5; \a6\ = \(x,ee) \ = 2 + V3 Фрейм представим векторами
ei = {1,0,0}; e2 = {0,1, 0}; es = {0, 0,1}; e4 = {1,1,0}; e5 = {1,0,1}; ee = {0,1,1}. Мы знаем, что исходный сигнал можно представить в следующем виде
x = a\e\ + a2e2 + a3e3,
Возьмем ai, так как ai = 0:
x a2 as
— = ei +--e2 +--es = ei + b2e2 + bses (2.3)
ai ai ai
12 i 2 N2 - M2 - 1 J3
, _ | a 112 | a 11 2 _ V3
2 = 2 = 3.
Вычислим
OJ__JaJ__1 2
b = Oi\2 Oi\2 = 2
3 = 2 =3
Подставляем найденные значения в уравнение (2.3).
x = \a\\(ei + b2e2 + Ьзез) = ±{3, -V3, 2}
Получаем, что исходный сигнал принимал одно из полученных значений x = ±{3, -у/3, 2}. Пример 2.2 Даны измерения:
\ai \ = \(x,ei)\ = 1; \a2\ = \(x,e2)\ = 0; \аз\ = \(x,e3)\ = 3; \a4\ = \(x,eá)\ = 1;
\a5 \ = \(x, ei + e2)\ = 1; \a& \ = \(x,ei + e3) \ = 4; \ar\ = \(x,ei + e±) \ = 2;
Ы = \(x,e2 + e3)\ = 1; \as\ = \(x,e2 + eA)\ = 1; \ai0\ = \(x, e3 + eA)\ = 4.
Вычислим коэффициенты Ь2,Ьз,Ь4.
12 |2
b2 = \1 - b2\2 \b2\2 - 1 = OF - fek - 1 =0
____1
7 I®i|2 I®i|2 o
Ьз =-~-= 3
22 I a 7 | | a.4 | 1
b = FTP — FiF — = 1
4 2
Получаем исходный сигнал: x = ±{1,0, 3,1}.
Литература
[1] Fast algorithms for signal reconstruction without phase / R. Balan [et al.]. Wavelets XII. 2007. Vol. 6701 of Proc. SPIE. P. 670111920-670111932.
[2] Новиков С.Я., Лихобабенко М.А. Фреймы конечномерных пространств. Самара: Самарский госуниверситет, 2013. C. 5-24
[3] Новиков С.Я. Фреймы конечномерных пространств и дискретная фазовая проблема. Самара: Самарский госуниверситет, 2016. C. 25-35
[4] Фрейзер М. Введение в вэйвлеты в свете линейной алгебры. М.: БИНОМ, 2008. 487 с.
[5] Christensen O. An Introduction to Frames and Riesz bases. Boston: Birkhäuser. 2003. 440 p.
[6] Saving phase: Injectivity and stability / A. Bandeira [et al.]. arXiv: math. 1302.4618v1.
[7] Balan R., Casazza P., Edidin D. On signal reconstruction without phase. Appl. Comput. Harmon. Anal. 2006. № 20:3. P. 345-356.
[8] Dustin G.M. SOFT 2016: Summer of Frame Theory.
URL: http://dustingmixon.wordpress.com/2016/05/03/soft-2016-summer-of-frame-theory (15.06.2016).
References
[1] R. Balan, B.G. Bodmann, P.G. Casazza, D. Edidin Fast algorithms for signal reconstruction without phase. Wavelets XII, 2007, Volume 6701 of Proc. SPIE, pp. 670111920-670111932 [in English].
[2] Novikov S.Ya., Likhobabenko M.A. Freimy konechnomernykh prostranstv [Frames of finite dimensional spaces]. Samara: Samarskii gosuniversitet, 2013, pp. 5-24 [in Russian].
[3] Novikov S.Ya. Freimy konechnomernykh prostranstv i diskretnaia fazovaia problema [Frames of finite dimensional spaces and discrete phase problem]. Samara: Samarskii gosuniversitet, 2016, pp. 25-35 [in Russian].
[4] Frazier М. Vvedenie v veivlety v svete lineinoi algebry [An Introduction to Wavelets Through Linear Algebra]. М.: BINOM, 2008, 487 p. [in Russian].
[5] Christensen O. An Introduction to Frames and Riesz bases. Boston: Birkhäuser, 2003, 440 pp. [in English]
[6] Bandeira A.S., Cahill J., Mixon G., Nelson A.A. Saving phase: Injectivity and stability. arXiv: math. 1302.4618v1. [in English]
[7] Balan R., Casazza P., Edidin D. On signal reconstruction without phase. Appl. Comput. Harmon. Anal., 2006, no. 20:3, pp. 345-356 [in English].
[8] Dustin G. Mixon SOFT 2016: Summer of Frame Theory. Retrieved from: http://dustingmixon.wordpress.com/2016/05/03/soft-2016-summer-of-frame-theory (accessed 15.06.2016) [in English].
D.A. Rogach2
THE FRAME FOR ALGORITHM SIGNAL RECOVERY
A frame of a finite-dimensional Euclidean space composed of vectors and their sums is considered. The operator proof of frame properties of the constructed system is presented, the eigenvalues for the matrix of the frame operator are found, which are also frame boundaries. The property of alternative completeness of the constructed system is proved. This property is the cause of interest in the constructed frame, since in real Euclidean space it is equivalent to injectivity of the measurement operator, which maps the signal vector into a sequence of measurement modules. The investigated frame underlies the fast algorithm of signal reconstruction, proposed by M. Shapiro and stated in [1]. An operator that translates the constructed frame into the Parseval-Steklov frame closest to it, is found.
Key words: frame, Parseval-Steklov frame, analysis operator, synthesis operator, frame operator, eigenvalent, eigenvector, alternative completeness.
Статья поступила в редакцию 11/X//2017. The article received 11/XI/2017.
2Rogach Daria Alexandrovna (ida@ssau.ru), Department of Probability Theory and Mathematical Statistics, Samara National Research University, 34, Moskovskoye shosse, Samara, 443086, Russian Federation.
