Семь грехов численной линейной алгебры

В численной линейной алгебре нас интересуют точное и эффективное решение задач и понимание чувствительности задач к возмущениям. К старту флагманского курса по Data Science делимся материалом от профессора Ника Хигэма о семи грехах линейной алгебры, из-за которых теряется точность/эффективность или информация о чувствительности [к возмущениям] оказывается недостоверной.

1. Обращение матрицы

На курсе линейной алгебры мы узнаём, что решение линейной системы, состоящей из уравнений, содержащих неизвестных, можно записать в виде , где — обратная матрица. При этом не всегда подчёркивается, что случаев, когда следует вычислять , очень мало. На самом деле, () скалярную систему нельзя решить, вычислив . Вместо этого лучше выполнить деление [прим. ред. — мы помним, что 7 в минус первой степени — это одна седьмая единицы, и, конечно, помним о свойствах умножения и деления дробей. Возможно, здесь имеется в виду разница в подходе к вычислениям в контексте вычислительной машины]. В случае быстрее и точнее будет решение линейной системы (методом Гаусса) путём выбора ведущего элемента столбца, а не обращения , которое в любом случае потребует LU-разложения матрицы).

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

2. Формирование перекрёстного произведения матриц

Решение линейной задачи наименьших квадратов , где — матрица полного ранга , где удовлетворяет нормальным уравнениям . Поэтому естественно сформировать симметричную положительно определённую матрицу и решить нормальные уравнения с помощью разложения Холецкого. Хотя этот метод быстрый, он численно неустойчив при слабообусловленной . В противоположность этому решение задачи наименьших квадратов с разложением QR матрицы всегда численно устойчиво.

Что не так с перекрёстным произведением матриц (известным как матрица Грама)? Она возводит данные в квадрат, что может привести к потере информации в арифметике с плавающей точкой. Например, при

где — единичная ошибка округления для плавающей запятой, то

является положительно определённой, но, так как в арифметике с плавающей точкой округляется до , получается вырожденная

,

при этом информация в потеряна.

Другая проблема с перекрёстным произведением матриц заключается в том, что — нормальное число обусловленности — является квадратом такового для . Это приводит к численной нестабильности алгоритмов, которые работают с , если число обусловленности велико.

3. Неэффективный порядок действий при определении произведения матриц

Число действий при определении произведения матриц зависит от порядка его определения (если принять, что не все матрицы ). Иными словами, умножение матриц ассоциативно, поэтому . В общем случае число действий при определении произведения матриц зависит от того, где поставить скобки. Один порядок может быть намного лучше других, поэтому не следует просто оценивать произведение в фиксированном порядке слева направо или справа налево. Например, если , и — — векторы, то можно определить так:

• : внешнее произведение векторов с последующим матрично-векторным произведением, которое требует операций, а
• : скалярное произведение векторов с последующим масштабированием вектора требует всего действий.

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

4. Предположение, что матрица является положительно определённой

Симметричные положительно определённые матрицы (симметричные матрицы с положительными собственными значениями) широко распространены, в том числе, потому, что они возникают при решении многих задач минимизации. Однако матрица, которая должна быть положительно определённой, может не быть таковой по целому ряду причин. Отсутствие или несоответствие данных при формировании ковариационной или корреляционной матрицы может привести к потере определённости, а ошибки округления могут сделать крошечное положительное собственное значение отрицательным.

Определённость подразумевает, что:

• диагональные элементы матрицы положительны;
• ;
• для всех .

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

Лучший способ проверить определённость, который зачастую может потребоваться сам по себе — рассчёт разложения Холецкого. функция MATLAB chol возвращает сообщение об ошибке, если разложение не удалось. При этом может быть запрошен второй выходной аргумент, в этом случае ему задаётся номер этапа, на котором случилась неудача факторизации, или 0, если факторизация прошла успешно. В случае неудачи частично вычисленный фактор возвращается в первом аргументе, и его можно использовать, например, для вычисления направления отрицательной кривизны, как это необходимо для оптимизации.

Этот грех занимает первое место в «Семи грехах оптимизации портфеля» (Seven Sins in Portfolio Optimization) Шмельцера и Хаузера, поскольку в этом случае отрицательное собственное значение в ковариационной матрице может определять портфель с отрицательной дисперсией, обещая при этом условно высокие инвестиции без риска!

5. Неиспользование структуры матрицы

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

Для задач нахождения седловой точки матрицы являются симметрично неопределёнными и имеют вид:

где является симметричной положительно определённой. Разработка числовых методов для решения с использовании блочной структуры и возможной разреженности и оказалась весьма трудоёмкой задачей. Ещё один пример — циркулянтная матрица:

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

В идеале программное обеспечение линейной алгебры должно обнаруживать структуру в матрице и вызывать алгоритм, использующий эту структуру. Ярким примером такого мета-алгоритма в MATLAB является функция x = A\b с обратным слешем для решения . Функция с обратным слешем проверяет, является ли данная матрица треугольной (или преобразованной треугольной) матрицей, верхней матрицей Хессенберга, симметричной или симметричной положительно определённой. После такой проверки применяется подходящий метод. При этом также может быть прямоугольной. При этом задача наименьших квадратов решается, если строк больше, чем столбцов, или недоопределённая система, если столбцов больше, чем строк.

6. Определение приближения вырожденности с помощью определителя

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

Ещё одно ограничение для определителя показано на примере двух матриц:

В обеих матрицах есть единично диагональные и внедиагональные элементы, ограниченные по модулю . Поэтому , но

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

7. Определение обусловленности при помощи собственных значений

Для любой матрицы и любой нормы согласованной матрицы справедливо, что для всех , где являются собственными значениями . Поскольку собственные значения — это , число обусловленности матрицы ограничено снизу отношением наибольшего собственному значению к наименьшему по абсолютной величине, т. е.:

Но, как показала матрица в (1), эта связь может быть очень слабой.

Число обусловленности характеризует вырожденные, а не собственные значения 2-нормальной матрицы. В частности

где — сингулярное разложение матрицы с и ортогональностью и , . Если симметрична, то, например, множества и идентичны, но в целом собственные и вырожденные значения могут заметно различаться.

А мы разобраться с математикой, чтобы вы прокачали карьеру или стали востребованным IT-специалистом:

• Профессия Data Scientist (24 месяца)
• Профессия Data Analyst (12 месяцев)

Чтобы посмотреть все курсы, кликните по баннеру: