Топология
Персистентная гомология (продвинутая)
Цели урока
- Доказать теорему устойчивости и понять метрики Боттлнекк и Вассерштейна
- Освоить категорный взгляд на персистентность через персистентные модули
- Изучить теорему Крулля-Ремака-Шмидта и её роль в интерпретации диаграмм
- Понять фундаментальные препятствия для многомерной персистентности
Предварительные знания
- Топологический анализ данных (TDA)
- Группы гомологий
- Линейная алгебра
Можно ли строго измерить «насколько похожи» две топологические структуры данных? Метрики на диаграммах персистентности отвечают на этот вопрос - и теорема устойчивости гарантирует, что ответ надёжен.
- Фармакология: сравнение 3D-структур белков через d_W между их персистентными диаграммами
- Квантовая химия: топологический анализ электронной плотности через QTAIM использует персистентные модули
- Временные ряды: персистентная гомология скользящих окон выявляет цикличность в финансовых данных
- Нейронауки: многомерная персистентность нейронных активаций при нескольких стимулах
Математическая зрелость TDA
Коэн-Штайнер, Эдельсбруннер и Херер доказали теорему устойчивости в 2007 году. Зомородян и Карлссон в 2005 году дали алгебраическую постановку через персистентные модули и теорему разложения. Карлссон и де Сильва в 2009 году доказали неполноту любого дискретного инварианта для многомерной персистентности. В 2015 году была доказана изометрическая теорема, связывающая d_B с interleaving-расстоянием.
Теорема устойчивости и метрики на диаграммах
Дэвид Коэн-Штайнер, Герберт Эдельсбруннер и Джон Херер доказали теорему устойчивости персистентной гомологии в 2007 году (Discrete and Computational Geometry). Она гарантирует: при малых возмущениях данных диаграммы персистентности меняются мало.
Почему многомерная персистентность (>=2 параметров) значительно сложнее одномерной?
Верно. Теорема Карлссона-де Сильвы 2009: многомерные персистентные модули не имеют полной дискретной классификации.
Персистентные модули и теорема Крулля-Ремака-Шмидта
Персистентная гомология - это функтор из категории пространств с фильтрациями в категорию персистентных модулей. Теорема KRS даёт уникальное разложение модуля на «кирпичики» - интервальные модули. Каждый кирпичик = одна точка в диаграмме персистентности.
Изометрическая теорема (Коэн-Штайнер, 2015): расстояние Боттлнекк между диаграммами персистентности равно interleaving-расстоянию между персистентными модулями. Это «правильное» теоретико-категорное определение метрики.
Что утверждает теорема Крулля-Ремака-Шмидта для персистентных модулей?
Верно. Разложение V = direct sum I(b,d) уникально. Пары (b,d) составляют диаграмму персистентности.
Многомерная персистентность
Одномерная фильтрация использует один параметр epsilon. В реальных данных бывает несколько: расстояние И плотность, два разных временных масштаба. При n >= 2 параметрах теорема KRS перестаёт работать - не существует полного дискретного инварианта.
Задача классификации модулей над R^2 содержит задачу классификации представлений квиверов дикого типа (undirected 2-cycle) - доказано неразрешимой в общем случае. Именно поэтому полного дискретного инварианта не существует.
Какой инвариант используется вместо диаграммы персистентности в многомерном случае?
Верно. Rank invariant - неполный, но вычислимый инвариант для многомерной персистентности.
Связи с другими темами
Продвинутая персистентная гомология соединяет теорию представлений с вычислительной топологией.
- Теория представлений квиверов — Связанная тема
- Категорная алгебра — Связанная тема
- Оптимальный транспорт — Связанная тема
- Вычислительная сложность — Связанная тема
Итоги
- Теорема устойчивости: d_B(PD(f), PD(g)) <= ||f-g||_inf - устойчивость к возмущениям данных
- p-Вассерштейн расстояние d_p учитывает вклад всех точек диаграммы, более чувствителен чем d_B
- Персистентный модуль V = {V_t, phi_{s<=t}} - функториальный взгляд на персистентность
- KRS: V = direct sum I(b,d) - уникальное разложение при одном параметре фильтрации
- Изометрическая теорема: d_int(V,W) = d_B(PD_V, PD_W) - связь категорного и комбинаторного
- Многомерная персистентность (n>=2): нет полного дискретного инварианта (Карлссон-де Сильва 2009)
Вопросы для размышления
- Почему изометрическая теорема важна: что она говорит о связи категорного и комбинаторного подходов?
- Как препятствие к многомерной персистентности связано с теорией представлений квиверов дикого типа?
- Какие частичные инварианты (rank invariant, fibered barcodes) позволяют работать с многомерной персистентностью на практике?
Связанные уроки
- top-27 — Базовые персистентные гомологии - предпосылка продвинутых тем
- top-29 — Алгоритм Mapper использует персистентные модули как теоретическую основу
- top-23 — Теория гомологий необходима для понимания персистентных модулей
- la-25-quadratic-forms