Топология
Группы гомологий
Ayasdi (куплена Citi) использует персистентные гомологии для анализа кредитного риска: по 10^7 транзакций строится barcode, выявляющий аномальные кластеры за 30 секунд. Числа Бетти β₀, β₁, β₂ - это количественное описание формы данных.
- Ayasdi/Citi: персистентные гомологии для обнаружения аномалий в кредитных транзакциях
- Нейронауки: числа Бетти для анализа топологии нейронных сетей мозга
- Молекулярная биология: гомологии для классификации структуры белков
- Теорема Майера-Вьеториса: склейка гомологий = Mayer-Vietoris для составных данных
- Gudhi и Dionysus: вычисление persistent homology на GPU для больших датасетов
- Quantum error correction: гомологические коды (surface code) для топологической защиты
Гомологии - главный инструмент вычислительной топологии. Компания Ayasdi (приобретена Citi) использует персистентные гомологии для анализа кредитного риска: по облаку точек из 10⁷ транзакций строится барcode, выявляющий аномальные кластеры за 30 секунд. Числа Бетти β₀, β₁, β₂ количественно описывают форму данных.
**О чём этот урок:** Симплициальные и сингулярные гомологии. Теорема Майера-Вьеториса и вычисление гомологий классических пространств.
Группы гомологий и последовательность Майера-Вьеториса
Гомологии - главный инструмент вычислительной топологии. Компания Ayasdi (приобретена Citi) использует персистентные гомологии для анализа кредитного риска: по облаку точек из 10⁷ транзакций строится барcode, выявляющий аномальные кластеры за 30 секунд. Числа Бетти β₀, β₁, β₂ количественно описывают форму данных.
Цепной комплекс и группы гомологий
Гомологии - главный инструмент вычислительной топологии. Компания Ayasdi (приобретена Citi) использует персистентные гомологии для анализа кредитного риска: по облаку точек из 10⁷ транзакций строится барcode, выявляющий аномальные кластеры за 30 секунд. Числа Бетти β₀, β₁, β₂ количественно описывают форму данных.
Что такое n-я группа гомологий H_n(X)?
Числа Бетти и последовательность Майера-Вьеториса
Что такое n-е число Бетти β_n?
n-е число Бетти β_n = rank H_n(X) - ранг свободной части n-й группы гомологий. β₀ = число компонент связности, β₁ = число независимых петель, β₂ = число двумерных полостей. Характеристика Эйлера χ = Σ(-1)^n β_n.
Вычисление гомологий на примерах
Гомологии вычислимы алгоритмически: достаточно построить цепной комплекс из триангуляции и применить редукцию Смита для целочисленных матриц граничных операторов. Современные пакеты (Ripser, GUDHI) обрабатывают комплексы из 10⁶ симплексов за секунды.
Чему равны H_0(S²) и H_2(S²) для сферы S²?
Ключевые идеи
- Цепной комплекс: Цепной комплекс: абелевы группы C_n, связанные граничными операторами ∂_n. Услов
- Группа гомологий: H_n - n-я группа гомологий: ядро Z_n (циклы, цепи без границы) по модулю образа
- Числа Бетти и характеристика Эйлера: n-е число Бетти β_n = rank H_n считает «n-мерные дыры». Характеристика Эйлера χ
- Последовательность Майера-Вьеториса: Для X = A∪B: длинная точная последовательность гомологий. Позволяет вычислять H_