Алгоритмы обучения на основе ортогонализации последовательных векторов

УДК 519.6

АЛГОРИТМЫ ОБУЧЕНИЯ НА ОСНОВЕ ОРТОГОНАЛИЗАЦИИ ПОСЛЕДОВАТЕЛЬНЫХ ВЕКТОРОВ

Я. Н. Вершинин, В. Н. Крутиков

ORTHOGONALIZATION OF THE SEQUENCE VECTORS LEARNING ALGORITHMS

Y. N. Vershinin, V. N. Krutikov

Эффективные релаксационные субградиентные методы оптимизации негладких функций основываются на алгоритмах решения систем неравенств, целью которых является поиск направления спуска на очередной итерации основного алгоритма. Для нахождения решения указанных систем неравенств могут быть использованы итеративные алгоритмы, называемые алгоритмами обучения. В этой работе предлагаются и изучаются многошаговые методы, в которых для ускорения сходимости используется идея орто-гонализации последовательных направлений процесса обучения.

Effective relaxation subgradient optimization methods for nonsmooth functions are based on algorithms for solving systems of inequalities, which are focused on computing the descent direction for the next iteration of the main algorithm. Iterative algorithms, called learning algorithms, can be used to find the solution of such inequality systems. In this paper we propose and study multi-step methods which use orthogonalization of sequential directions to accelerate learning process convergence.

Ключевые слова: алгоритм Качмажа, алгоритм с попарной ортогонализацией векторов, многошаговый алгоритм, скорость сходимости.

Keywords: Kaczmarz algorithm, pairwise orthogonalization of sequential vectors algorithm, multistep algorithm, convergence rate.

1. Постановка задачи Пусть требуется решить задачу оценивания неизвестных параметров линейной модели.

Задача 1. По данным наблюдения дк е Еп, ук е Е1, к = 0,1,2,..., процесса

Ук = (8 ^, дк) + 4,

где £к - ошибка наблюдения, необходимо найти

вектор неизвестных параметров 8* е Еп.

Здесь и далее п - размерность пространства, а (, )—оператор скалярного произведения. Соотношение (1) будем называть обучающим соотношением. Можно сказать, что целью решения задачи 1 является нахождение 8* е Еп, в определенной мере удовлетворяющего обучающим соотношениям.

Алгоритм Качмажа [1]

для оценки 8* в задаче 1 имеет вид [4-6]:

ук —

где | | - Евклидова норма вектора.

Итерацию (2) при £к = 0 можно интерпретировать как шаг минимизации функции

Ф

из точки s, в направлении

т. е.:

°к+1

= sk - t *9к , t * =

где Ь* - оптимальный шаг. Обозначим вектор невязки, как Ак = 8к — 8*. Мера качества направле-

ния спуска дк минимизации квадратичной функции ф (8) с равными собственными значениями матрицы вторых производных определяется выражением

€ = (Лк > 9к)2 / II А,

\9к\

Вместо

Ь = [д, 8к) — Ук ]/(дк, дк).

В качестве меры ошибки наблюдений ук при мем относительную ошибку

Ак = (ь — О/ь* =

= [(, 8к) — Ук] / [(к, 8к) — д, 8*)] — 1

Сделаем следующее предположение о данных задачи 1.

Предположение 1. Пусть данные в задаче 1 удовлетворяют следующим условиям:

<?2 > ?2 > 0.

< 1.

Ограничение (6) на Ак обеспечивает гарантиро-

ванную точность одномерного спуска алгоритма (2) вдоль дк и одновременно соответствует неполной

релаксации одномерного спуска, т. е. отсутствию проскакивания точки одномерного минимума.

Свойство (7) говорит о согласованности векторов невязки Ак и обучения дк. Вектор дк в алгоритме обучения (2) играет роль, аналогичную градиенту в градиентном методе. При условии (7) справедлив более сильный аналог (5):

0 < -\ < X

1 > % =

(Ак. 9к) А, II II д,.

> д > 0 , д2 > д2 > 0.

Далее мы будем использовать равенство

которое следует из (4).

Исследуемые в данной работе алгоритмы строятся на принципе ортогонализации последовательных векторов процесса обучения. Выбор этого принципа обусловлен тем, что процесс минимизации квадратичной функции ф (8) с одинаковыми

собственными значениями матрицы вторых производных гарантированно сходится к стационарной точке не более чем за п итераций при условии взаимной ортогональности направлений движения.

2. Оценка скорости сходимости алгоритма Качмажа

На каждом шаге алгоритма Качмажа оценка новых параметров производится так, что выполняются обучающие соотношения (1).

Лемма 1. Пусть последовательность }- ре-

зультат процесса (2) решения задачи 1, 1Ы1 *0

выполнены равен-

ства

Доказательство. Умножив (2) на 8к, получим: (5к+l, 8к) =(5к, 8к) +

+

Ук—^цЗк),

ы2

(8к, 8к) = Ук •

если выполнено

предположение 1, имеет место оценка:

Доказательство. Вычитая из обеих частей

*

вектор 5 , с учетом (9), получим:

А к+1 = А к -

Отсюда найдем:

(? А )2 2

Из (13), с учетом (3), получим:

При условиях

Для обоснования (11) используем рекуррентно оценку (15).

3. Алгоритм обучения на основе попарной ор-тогонализации последовательных векторов Если в (2) используется система из п взаимно ортогональных векторов дк, и отсутствует ошибка,

т. е. ук = (5*, 8к), дк тогда решение 5* є Еп будет получено за цикл итераций (2) вдоль этих векторов. Мы, используя ортогонализацию, построим алгоритм, который решает задачу точно в

пространстве двух последовательных векторов.

Введем итерационный процесс с ортогонализа-цией последовательных векторов:

Ук

дк ,

где

Рк =

8 к 8 к

(к > ак]

( 8 к , 8 к -1 ) 1І8 к Л2

если яы) > 0,

если ^к, Як-1) < 0.

На каждом шаге алгоритма (16), (17) оценка новых параметров производится так, что выполняются обучающие соотношения (1).

Лемма 2. Пусть последовательность {8к }- результат процесса (16), (17) решения задачи 1, дЛ ^ 0 для к = 0,1,2, • • •, 8о е Еп. Тогда выпол-

нены равенства

(вк+1, дк ) = Ук -

Теорема 1. Пусть последовательность {к} -результат процесса (2) решения задачи 1, ||8к || ^ 0 для к = 0,1,2, • • •, є К". Тогда,

Доказательство. Умножив (16) на дк , получим:

(5к+і. дк) = (5к> ак) +

Ук -

(л> дк) = Ук.

[рк, дк,

И если (дк, дк—1) < 0 , то с учетом (рк, дк—1) = 0 , что следует из (17), получим:

(.8к+1, дк—1) = (.8к—1, дк—1) +

. ук—1 — {8к—1, дк—1 ) / ч

+----7----------ч-(Рк—Р дк—1) = У к—1.

{Рк—Р дк—1 )

Согласно (18), (19), в том случае, когда в (17) срабатывает ортогонализация, выполняются два последних обучающих соотношения.

Теорема 2. Пусть последовательность {8к }-результат процесса

При этом на отдельной итерации оценка скорости сходимости процесса (16), (17) не хуже, чем

8

к -1

Вестник КемГУ

№ 2 (50) 2012

у алгоритма Качмажа при условии шага каждого из

алгоритмов из одной и той же точки вк.

Доказательство. Исследование случая

(дк, дк-1) > 0 в (17) нами проведено при оценке

скорости сходимости алгоритма Качмажа. Поэтому мы исследуем случай ортогонализации в (17). Вы-

читая из обеих частей (16) вектор 5*, с учетом (9), получим:

Ак+1 = Ак

-Рк.

Отсюда найдем:

(А к+1, А к+1) = (А к , А к ) - 2

+

= (А к, А к) -

2( р« , А к ) -

В силу

приводится к виду:

(А к+1, А к ,1) = (А к, А к) -(1 + 4)(8 А к) [2( [, А) - (1 + 4)(8 к, А)].

2

Умножив (21) на дк, с учетом (7), получим:

Умножив (17) на Ак , с учетом (дк, дк—1) < 0 и неравенства (24) для индекса к ^ к — 1, получим

оценку:

> (дк. Ак).

При условии, что (рк, дк) > 0 из (23), с учетом (25) и (7) получим:

(Ак+1, Ак+1) — (Ак , Ак ) -

(1 - А2)(дк, Ак )2

Умножив (17) на 8к , получим:

(Рк, 8к ) = (8к, 8к ) -

(8к,8к-1)2 < (8 ,8к).

II

>

>

IIII дк II ^ ^^к (А* • я‘) > %.

>

дк

Отсюда и равенства

Рассмотрим положение векторов дк и Ак -

проекции вектора Ак в плоскости ортогональных

векторов дк—1, рк . Согласно (17), вектор дк имеет

отрицательную компоненту вдоль дк—1. Согласно неравенству (24) для индекса к равного к — 1, вектор Ак имеет положительную компоненту вдоль

дк—1. Поэтому угол между дк, Ак больше угла между векторами дк, рк . Следовательно, для косинусов этих углов можно записать цепочку неравенств:

Из (29), вместе с (24) имеем:

(дк, дк) > (Рк, дк) >

> чк(дк, дк) > 0.

Таким образом, в силу (30), оценка (26) получена корректно, а на основании (24) может быть преобразована к неравенству:

При условиях

Для обоснования (20) используем рекуррентно оценку (32).

Сравнивая оценки (26) и (13) приходим к выводу, что на отдельной итерации при условии, что оба алгоритма ((2) и (16), (17)) делают шаг из одной точки, в силу неравенства в (26) и равенства в (13), следует последнее утверждение теоремы о том, что на отдельной итерации оценка скорости сходимости процесса (16), (17) не хуже, чем у алгоритма Качмажа.

4. Многошаговый алгоритм обучения

Развивая идею алгоритма с парной ортогонали-зацией последовательных векторов обучения, введем итерационный процесс с ортогонализацией,

следующих друг за другом направлении смещения,

т- е- (рк, Pk-і) = 0 •

Ук -(sk

где

[Рк, дк) если д, Рк—1) >0

Рк~ д —^р*—l, если (дк,Рк—1)< °. (34) II Рк—А

На каждом шаге алгоритма оценка новых параметров производится так, что выполняются обучающие соотношения (1). Поведение исследуемого алгоритма представлено на рисунке 1.

Лемма 3. Пусть последовательность {«к } - результат процесса (33), (34) решения задачи 1, ^ 0 для к = 0,1,2, • • •, во е Еп. Тогда выпол-

нены равенства

(sk+і, 9 k) = yk

Доказательство. Используя (33) и (34), полу-

чим:

Ук

-(Pk , 9к) = Ук

выполнено. Вычитая из обеих частей (33) вектор 5 , с учетом (9), получим:

к = 1,..., д

Умножив (38) на Рк и произведя преобразования, получим:

Р, А+1) = Р. А.) —(1 + А )(9‘" А) (Рк, Рк) =

= (Рк, Ак) — (1 + Ак )(дк, Ак) > —Дч (дк, Ак) >0.

Переходы в (39) сделаны на основе равенства

(Рк, Рк) = (,Рк, дк), следующего из (34) в случае

(дк, Рк—1) < 0, и неравенства (36), позволившего

сделать замену (Рк, Ак) ^ (дк, Ак).

В предположении, что неравенства выполнены на предыдущей итерации к — 1, докажем их справедливость на текущей итерации к следующим образом. Для случая, (дк, Рк—1) < 0 умножив (34) на

(35) Ak и учитывая, что (pk-р Ak) > 0 , которое спра-

ведливо в силу (37), получим:

(Pk-і, Ak) > (9k, Ak).

\\Pk-і

Для оценки скорости сходимости нам потребуется следующая лемма, которая исследует характеристики процесса (33), (34) в случае (дк, рк-1) < 0 .

Лемма 4. Пусть последовательность {«к }-результат процесса (33), (34) решения задачи 1, II дк II ^ 0 для к = 0,1,2, • • •, во Є Еп. Тогда, если

выполнено предположение 1, то имеют место оценки:

Доказательство. Будем проводить доказательство по индукции. При к = 0 выполняются равенства рк = дк, рк-1 = 0. Поэтому неравенство

В результате мы доказали (36). Справедливость (37) следует из (39).

Относительно сходимости нового алгоритма обучения справедливо следующее.

Теорема 3. Пусть последовательность {«к }-результат процесса (33), (34) решения задачи 1, II дк II ^ 0 для к = 0,1,2, • • •, во Є Еп. Тогда, если выполнено предположение 1, имеет место оценка:

При этом на отдельной итерации оценка скорости сходимости процесса (33), (34) не хуже, чем у алгоритма Качмажа, при условии шага каждого из алгоритмов из одной и той же точки 5к .

Доказательство. Из (38) найдем:

= (Ak, Ak) -

(і + \ )(Pk, Ak )(9k, Ak) + (і + \ )2(9k, Ak )2(Pk, Pk) (pk, gk) (Pk, 9k)2

2(Pk, Ak) -

В силу ортогональности (pk, gk_1) = 0 , что сле- При условии, что (pk, gk) > 0 из (43), с учетом

дует из (37), выполняется равенство (7) и (36), получим:

V k +1 ^ k+1' — V k5 k' / \ ' '

min •

Вестник КемГУ

№ 2 (50) 2012

Для случая, (дк, Рк—1) < 0, умножив (34) на синусов этих углов можно записать цепочку нера-

венств:

ак 1 , получим:

1кк—Л2 ^

Рассмотрим положение вектора дк и /Ак - про-

II Рк IIII дк II II Ак I

>.. .(А|,и > •

Отсюда и равенства:

>

дк

екции вектора Ак в плоскости ортогональных век- || 11= ^

следует

торов Рк—1, Рк . Согласно (34), вектор дк имеет отрицательную компоненту вдоль Рк—1. Согласно неравенству (37) для индекса к равного к — 1, вектор Ак имеет положительную компоненту

вдоль Рк—1. Поэтому угол между дк, /Ак больше угла между векторами дк, Рк . Следовательно, для ко-

Из (44), вместе с (45) имеем:

(дк, дк) > (Рк, дк) >

> дк2(дк, дк) > 0-

ние по алгоритму Качмажа, X °, X (1),..., X (Т ) — приближение в случае многошагового алгоритма,

S — искомый вектор спуска

*

Таким образом, в силу (48), оценка (44) получена корректно, а на основании (45) приводится к виду:

(Ак+1, Ак+1) — (Ак, Ак ) (1 - (дк, Ак )2

При условиях (5) и (6) из (49) следует оценка:

х*

Для обоснования (41) используем рекуррентно оценку (50).

Сравнивая оценки (49) и (13), приходим к выводу, что на отдельной итерации, при условии, что оба алгоритма ((2) и (33), (34)) делают шаг из одной точки, в силу неравенства в (49) и равенства в (13), следует последнее утверждение теоремы о том, что на отдельной итерации оценка скорости сходимости процесса (33), (34) не хуже, чем у алгоритма Качмажа.

Заключение

В работе предложены и исследованы теоретически многошаговые алгоритмы обучения при условиях, аналогичных условиям работы алгоритмов обучения в субградиентных методах минимизации. Ускоряющие свойства предлагаемых методов определяются использованием идеи ортогонализации последовательных направлений процесса обучения. Теоретически показано, что свойства сходимости подобных алгоритмов не хуже, чем у алгоритма Качмажа. Предложенные алгоритмы в первую очередь предназначены для ускорения сходимости

обучающихся субградиентных методов минимизации негладких функций [6].

Литература

1. Kaczmarz, S. Approximate solution of systems of linear equations / S. Kaczmarz // Internat. J. Control. - 1993. - V. 54. - № 3.

2. Цыпкин, Я. З. Основы теории обучающихся систем / Я. З. Цыпкин. - М.: Наука, 1981. - 251 с.

3. Аведьян, Э. Д. Обобщенный алгоритм Кач-мажа / Э. Д. Аведьян, Я. З. Цыпкин // Автоматика и телемеханика. - 1949. - № 1.

4. Крутиков, В. Н. Релаксационный метод минимизации с растяжением пространства в направлении субградиента / В. Н. Крутиков, Т. В. Петрова // Экономика и мат. методы. - 2003. - Т. 39. - Вып. 1.

5. Крутиков, В. Н. Семейство релаксационных субградиентных методов с двухранговой коррекцией матриц метрики / В. Н. Крутиков, Т. А. Горская // Экономика и мат. методы. - 2009. - Т. 45. - № 4.

6. Крутиков, В. Н. Обучающие методы безусловной оптимизации и их применение / В. Н. Крутиков. - Томск: Изд-во ТГПУ, 2008. - 234 с.