Main menu

Персистентные гомологии: линейная алгебра в топологическом анализе данных (TDA)

Когда данные имеют сверхвысокую размерность и нелинейную природу (например, форма молекул белка в биоинформатике, структура космической паутины галактик или данные с датчиков мозговой активности), традиционные статистические методы классификации дают сбой. Данные — это не просто числа, данные имеют «форму». Извлечением геометрической структуры (дыр, туннелей, пустот) из хаотичных облаков точек занимается Топологический анализ данных (Topological Data Analysis, TDA). Вычислительным ядром TDA являются персистентные гомологии — метод, который переводит абстрактную алгебраическую топологию на язык матриц над конечными полями Галуа, превращая вычисление многомерных геометрических пустот в простую процедуру гауссова исключения.

Подробнее

Матричное дифференцирование: алгебра градиентов и гессианов

Математический анализ (дифференцирование и интегрирование) изначально создавался для работы со скалярными функциями. Однако в современной статистике, теории управления и алгоритмах машинного обучения (в частности, при тренировке глубоких нейронных сетей) функции зависят не от одной переменной, а от огромных векторов и матриц. Поиск минимума таких сложных многомерных функций потерь требует вычисления производных по матричному аргументу. Матричное исчисление (Matrix Calculus) — это строгий математический аппарат, объединяющий компактную нотацию линейной алгебры с цепными правилами математического анализа, позволяющий брать производные от матриц по векторам и от скаляров по матрицам без утомительного расписывания тысяч частных производных.

Подробнее

Теорема Кули-Тьюки: линейная алгебра Быстрого преобразования Фурье

Дискретное преобразование Фурье (ДПФ) — это абсолютный фундамент всей современной цифровой эры. Оно позволяет разложить любой сигнал (звук, изображение, радиоволну) на гармонические составляющие (спектр). С точки зрения линейной алгебры, ДПФ является не чем иным, как умножением вектора сигнала на квадратную матрицу Вандермонда, заполненную комплексными корнями из единицы. Однако прямое умножение вектора на плотную матрицу размера n на n требует O(n^2) арифметических операций. Для обработки аудиосигнала с частотой 44100 Гц компьютеру потребовались бы миллиарды вычислений в секунду, что сделало бы MP3 и стриминг невозможными. Изящное решение — алгоритм Быстрого преобразования Фурье (БПФ), алгебраическая структура которого основана на факторизации матриц.

Подробнее

Соц. сети