Вы находитесь на странице: 1из 9

МЕТОД ПОПЕРЕМЕННОГО

ПРОЕКТИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ


РАВНОУГОЛЬНЫХ ЖЁСТКИХ ФРЕЙМОВ
А. Б. Певный М. Н. Истомина
pevnyi@syktsu.ru istomina@syktsu.ru

06 июня 2008 г.

Аннотация
В докладе исследуется метод построения равноугольных жёстких
фреймов, предложенный в [1].

1◦ . Пусть m > n > 2 и столбцы матрицы Φ = [ϕ1 , ϕ2 , . . . , ϕm ] размера


n × m образуют равноугольный жёсткий фрейм в Rn . Жёсткость фрейма
равносильна выполнению равенства

ΦΦT = AIn ,

где A – константа, In – единичная матрица порядка n. Равноугольность озна-


чает, что

kϕk k = 1 при всех k ∈ 1 : m и |hϕk , ϕs i| = c при k 6= s.

Это определение использовалось в докладе [2]. Для равноугольного жёсткого


фрейма константы A и c имеют вид
r
m m−n
A= , c= .
n n(m − 1)

Рассмотрим матрицу Грама G = {hϕi , ϕj i}m T


i,j=1 = Φ Φ. Матрицы G и ΦΦ
T

имеют одинаковые ненулевые собственные числа. Но ΦΦT = AIn имеет соб-


ственные числа λk = A, k ∈ 1 : n. Поэтому G имеет n собственных чисел
λk = A, k ∈ 1 : n, и m − n собственных чисел λk = 0, k ∈ n + 1 : m.

1
2

q
m m−n
2◦ . Для чисел A = n
иc= n(m−1)
введём два множества матриц:
GA = {G ∈ Rm×m : G = GT ,
G имеет собственные числа (A, . . . , A, 0, . . . , 0)},
0 m×m
Hc = {H ∈ R : H = HT ;
Hkk = 1, k ∈ 1 : m;
|Hkl | 6 c при k 6= l}.
0
Множество Hc является ограниченным и выпуклым.
Матрица Грама G равноугольного жёсткого фрейма принадлежит как GA ,
так и Hc0 .
Справедливо и обратное утверждение.

ПРЕДЛОЖЕНИЕ 1. Если существует матрица G∗ ∈ GA ∩ Hc0 , то су-


ществует равноугольный жёсткий фрейм из m векторов в пространстве
Rn .

Д о к а з а т е л ь с т в о. Поскольку G∗ ∈ GA , то

G∗ = P T ΛP,

где P – ортогональная матрица, Λ = diag(A, . . . , A, 0, . . . , 0). Введём матрицу


V размера n × m:
 √ 
A √0 . . . 0 0 ... 0
 0 A ... 0 0 ... 0 
V = ... ... ... ... ... ... ... .


0 0 ... A 0 ... 0

Тогда V T V = Λ. Положим Φ = V P – эта матрица размера n × m как раз и


будет матрицей равноугольного жёсткого фрейма.
Действительно,

ΦT Φ = P T V T V P = P T ΛP = G∗ ,

то есть G∗ является матрицей Грама системы столбцов

Φ = [ϕ1 , ϕ2 , . . . , ϕm ]. (1)

Поскольку матрицы ΦΦT и ΦT Φ = G∗ имеют одинаковые ненулевые собствен-


ные числа, то ΦΦT имеет собственные числа λk = A, k ∈ 1 : n. Других соб-
ственных чисел нет. Поэтому

ΦΦT = AIn ,
3

значит система (1) является жёстким фреймом.


Поскольку G∗ ∈ Hc , то
kϕk k2 = G∗ [k, k] = 1, k ∈ 1 : m,
(2)
|hϕk , ϕl i| = |G∗ [k, l]| 6 c, k 6= l.
Введём фреймовый потенциал
m
X £ ¤2
P (Φ) = hϕk , ϕl i .
k,l=1

Ввиду (2) справедлива оценка


m−n
P (Φ) 6 m + (m2 − m)c2 = m + m(m − 1) =
n(m − 1)
mn + m(m − n) m2
= = .
n n
С другой стороны, для P (Φ) справедлива оценка
m2
P (Φ) >
n
(см. доклад [3]). Если хоть в одном из неравенств |hϕk , ϕl i| 6 c будет строго
2
неравенство , то P (Φ) < mn , что невозможно. Значит,
|hϕk , ϕl i| = c при всех k 6= l,
то есть Φ — равноугольный жёсткий фрейм.
З а м е ч а н и е. В точке пересечения G∗ множеств GA и Hc0 все ограничения,
задающие множество Hc выполняются как равенство: |G∗ [k, l]| = c при всех
k 6= l. С геометрической точки зрения G∗ является крайней точкой множества
Hc0 :
4

Поясним рисунок. Все матрицы G из GA имеют одинаковые нормы:


m
X
2 m2
kGk = G2kl = tr(G2 ) = nA2 = ,
k,l=1
n

то есть множество GA лежит на сфере SR радиуса R = m/ n.
Все крайние точки множества Hc0 имеют вид

G∗ [k, k] = 1, k ∈ 1 : m; G∗ [k, l] = ±c, k 6= l,

и также лежат на сфере SR :


m2
kG∗ k = m + m(m − 1)c2 = = R2 .
n
Множество GA заполняет не всю сферу SR и найти точки пересечения GA и
Hc0 нам поможет метод попеременного проектирования.
СЛЕДСТВИЕ. Для существования равноугольного жёсткого фрейма необ-
ходимо и достаточно выполнение условия

GA ∩ Hc0 6= ∅.

3◦ .Метод попеременного проектирования. Для нахождения общей


точки множеств GA и Hc0 будем решать экстремальную задачу

kG − Hk2 → min , (3)


G∈GA ,H∈Hc0
P
где kG − Hk2 = m 2
k,l=1 (Gkl − Hkl ) .
Задачу (3) решаем методом попеременного проектирования (см. статью [1].
Там указано, что попеременное проектирование использовал ещё Джон фон
Нейман в 1938 г. для определения общей точки двух пространств в гильбер-
товом пространстве). В методе строится последовательность матриц

H0 , G0 , H1 , G1 , . . . , Hk , Gk , . . . (4)

Проектирование матрицы Hk на множество GA

Имея матрицу Hk , решаем задачу

kG − Hk k2 → min . (5)
G∈GA

Решение этой задачи обозначаем Gk . Это решение существует и строится сле-


дующим образом.
5

Представим Hk в виде
Hk = U ΛU T ,
где U – ортогональная матрица размера m × m,
Λ = diag(λ1 , . . . , λm ), λ1 > λ2 > . . . > λm .
Следующая замечательная теорема установлена в [1]. Нам удалось найти
более простое доказательство.

ТЕОРЕМА 1. (см. [1]) Матрица

Gk = AUn UnT ,

где Un – матрица из первых n столбцов матрицы U , является решением


задачи (5).

Д о к а з а т е л ь с т в о. Введем скалярное произведение матриц


m
X
hH, Gi = Hik Gik .
i,k=1

Если матрица G симметрична, то hH, Gi = tr(HG). Действительно,


m
X m X
X m m
X
tr(HG) = (HG)ii = Hik Gki = Hik Gik .
i=1 i=1 k=1 i,k=1

При H = G получаем kGk2 = tr(G2 ).


Целевая функция в задаче (5) записывается в виде

kG − Hk k2 = kGk2 − 2hG, Hk i + kHk k2 .

Для G ∈ GA имеем

kGk2 = tr(G2 ) = сумме собственных чисел G2 = nA2 .

Поэтому задача (5) равносильна задаче

hHk , Gi → max . (6)


G∈GA

У нас Hk = U ΛU T , где Λ = diag(λ1 , . . . , λm ). Отсюда


m
X
hHk , Gi = tr(Hk G) = tr(U ΛU T G) = tr(U GU T Λ) = xi λ i ,
i=1
6

где xi – диагональные элементы матрицы U GU T . Справедливы неравенства


0 6 hU GU T y, yi 6 Akyk2 для любого y ∈ Rm .
Поэтому при y равном i-му орту ei получим
0 6 xi = hGU T ei , U T ei i 6 AkU T ei k = A, i ∈ 1 : m.
P
Кроме того, m T T
i=1 xi = tr(U GU ) = tr(GU U ) = tr(G) = nA.
Приходим к задаче
m
f (x) := max λi xi → max,
i=1
m
X
0 6 xi 6 A, xi = nA.
i=1
решение очевидно: x∗ = (A, . . . , A, 0, . . . , 0),
Поскольку λ1 > λ2 > . . . > λm , тоP
где A повторяется n раз, f (x∗ ) = A ni=1 λi .
Вернёмся к задаче (6). Для любой матрицы G ∈ GA
m
X n
X
hHk , Gi = xi λi 6 f (x∗ ) = A λi .
i=1 i=1

Для матрицы G∗ = AUn UnT (принадлежащей GA ) будет


hHk , G∗ i = A tr(Hk Un UnT ) = A tr(UnT Hk Un ). (7)
Но столбцы Un являются собственными векторами, соответствующими соб-
ственным числам λ1 , . . . , λn . Поэтому UnT Hk Un = diag(λ1 , . . . , λn ). Из (7) полу-
чаем n
X
hH, G∗ i = A λi .
i=1
Значит, G∗ – решение задач (6) и (5).
Проектирование Gk на множество Hc0
Имея матрицу Gk , решаем задачу
kGk − Hk2 → min0 . (8)
H∈Hc

Решение обозначаем Hk+1 . Это очень простая задача, так как она рас-
падается на отдельные одномерные подзадачи: для данного числа Gk [i, j],
где i 6= j. Найти число H[i, j] ∈ [−c, c], которое минимизирует величину
(Gk [i, j] − H[i, j])2 . Решением будет
½
Gk [i, j], если Gk [i, j] ∈ [−c, c],
Hk+1 [i, j] =
c sign Gk [i, j], в противном случае.
7

4◦ .Пример несходимости метода к решению задачи (3). Пусть n =


2, m = 3. Тогда r
m 3 m−n 1
A= = , c= = .
n 2 n(m − 1) 2
В этом случае существует равноугольный жёсткий фрейм Мерседес–Бенц.
Возьмём в качестве начального приближения матрицу
 
1 0 0
H0 = 0 1 0 =: I3
0 0 1

(это центральная точка множества Hc0 ). Справедливо равенство H0 = U ΛU T ,


где U = I3 , Λ = I3 . Имеем
   
1 0 · ¸ 1 0 0
1 0 0
Un UnT = 0 1 = 0 1 0  .
0 1 0
0 0 0 0 0
По теореме 2 проекцией H0 на GA является матрица
 
3/2 0 0
G0 = AUn UnT =  0 3/2 0 .
0 0 0
Проекцией G0 на Hc0 является матрица
 
1 0 0
H 1 = 0 1 0  ,
0 0 1
совпадающая с H0 . Тем самым в данном случае Hk = H0 и Gk = G0 для
всех k, при этом пара {H0 , G0 } не является решением задачи (3). Такую пару
{H0 , G0 } можно назвать точкой застревания. При обнаружении такой точки
метод нужно начать заново с нового начального приближения.
5◦ .Критерий конца итерационного процесса. Зададим малое ε > 0.
Если после очередного проектирования на Hc0 выполнится неравенство
kGk − Hk+1 k < ε,
то вычисления прекращаем. По матрице Hk+1 строим сигнатурную матрицу
Q, полагая
Q[i, j] = sign Hk+1 [i, j] при i 6= j,
(9)
Q[i, i] = 0, i ∈ 1 : m.
8

Если матрица Q удовлетворяет уравнению


Q2 = (m − 1)Im + µm,n Q, (10)
s
m−1
µm,n = (m − 2n) ,
n(m − n)
то полагаем G∗ = Im + cQ и находим равноугольный жёсткий фрейм по схеме,
указанной в предложении 1 (в докладе [4] показано, что G∗ ∈ GA ).
Можно после нахождения каждой матрицы Hk+1 строить Q по формуле
(9) и проверять условие (10).
6◦ .Результаты численных расчётов. В качестве примера приведём ре-
зультаты расчётов для случая n = 7, m = 14. Тогда
r √
m m−n 13
A= = 2, c = = .
n n(m − 1) 13
Вычисления проводились в системе Maple 7. В качестве начального при-
ближения мы брали матрицу, на √ главной диагонали которой стоят 1, а вне-
диагональные элементы равны c.
При ε = 0, 01 неравенство kGk − Hk+1 k < ε выполнилось на 79 шаге. Далее
строим сигнатурную матрице по формуле
Q = {Q[i, i] = 0, Q[i, j] = sign H79 [i, j] при i 6= j}
и проверяем выполнение равенства Q2 = 13I14 .
Дальнейшие вычисления повторяют собой вычисления, приведённые в ра-
боте [4]: построение матрицы G = I14 + cQ, нахождение её ортогонального
разложения G = P T ΛP и построение матрицы Φ размера 7 × 14:
 
−0.4214 0.3771 0.0602 −0.6056 0.2329 0.1176 0.4899
 0.2649 −0.1165 0.1489 −0.6657 −0.5434 0.3258 0.2253 
 
 0.0696 0.2487 0.1128 −0.2336 0.2358 0.8805 −0.1903 
 
 −0.3938 −0.0810 0.7188 −0.0499 0.3574 −0.4319 0.0789 
 
 −0.4429 0.2692 0.6080 0.0840 −0.4522 0.3666 0.1230 
 
 0.3823 0.2731 0.1848 −0.6041 0.0578 −0.6140 0.0412 
 
 −0.0998 0.7667 −0.2122 0.4032 0.0553 0.2972 0.3184 
 .
 0.5460 −0.0037 0.7921 −0.0205 −0.0267 0.1240 −0.2365 
 
 0.3698 0.2590 0.2108 0.0260 0.8129 0.0407 0.2989 
 
 −0.4481 −0.6048 0.1208 −0.0803 −0.1906 0.0413 0.6127 
 
 0.5252 −0.6295 −0.0046 0.0619 0.1867 0.4743 0.2520 
 
 0.1454 −0.0839 0.4286 0.7354 −0.0093 −0.0558 0.4933 
 
 0.3719 0.0702 −0.3355 −0.0795 −0.0595 −0.1468 0.8445 
0.4111 0.4470 0.1149 0.1990 −0.7211 −0.2239 0.0889
9

С помощью системы Maple7 легко проверяются равенства ΦΦT = 2I7 и


T
Φ Φ = G. Тем самым столбцы матрицы Φ образуют равноугольный жёсткий
фрейм в R7 .
Аналогично с помощью Maple7 построены равноугольные жёсткие фреймы
в R5 и R9 . Для этого потребовалось 291 и 76 итераций соответственно, что явно
меньше полного перебора, используемого в [4] для построения сигнатурной
матрицы.

ЛИТЕРАТУРА

1. J. A. Tropp, I. S. Dhillon, R. W. Heath, T. Strohmer. Designing structured tight


frames via an alternating projection method //IEEE Trans. of Inform Theory.
2005. V. 51. N1. P. 188–209.

2. В. Н. Малозёмов, А. Б. Певный Равноугольные системы векторов и жёст-


кие фреймы //Семинар «DHA & CAGD». Избранные доклады. 18 сентября
2007 г. (http://dha.spb.ru/reps07.shtml#0918)

3. В. Н. Малозёмов, А. Б. Певный Четвёртое определение жёсткого фрей-


ма //Семинар «DHA & CAGD». Избранные доклады. 30 мая 2007 г.
(http://dha.spb.ru/reps07.shtml#0530)

4. В. В. Максименко, А. Б. Певный Существование равноугольных жёстких


фреймов //Семинар «DHA & CAGD». Избранные доклады. 21 марта 2008 г.
(http://dha.spb.ru/reps08.shtml#0321)