Основы тензорных вычислений (2025/26) — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
 
(не показано 11 промежуточных версии этого же участника)
Строка 33: Строка 33:
 
* '''Семинар 7.''' [[https://disk.360.yandex.ru/i/mRyjWJDQzVlWoA Запись]], [[https://colab.research.google.com/drive/1MEQEQtQXUqpun6DjWve7kcO4oFcRDyme?usp=sharing Журнал 1]], [[https://colab.research.google.com/drive/1O-pnGX2BjeiPTCiANsNGc870Bg-iy-sk?usp=sharing Журнал2]], [[https://disk.360.yandex.ru/d/A8BA4pkWrAHmPQ Конспект]] Поэлементное умножение тензоров. Поэлементное обращение тензора.  Разреженные тензоры. Демонстрация сжатия данных тензорными структурами.
 
* '''Семинар 7.''' [[https://disk.360.yandex.ru/i/mRyjWJDQzVlWoA Запись]], [[https://colab.research.google.com/drive/1MEQEQtQXUqpun6DjWve7kcO4oFcRDyme?usp=sharing Журнал 1]], [[https://colab.research.google.com/drive/1O-pnGX2BjeiPTCiANsNGc870Bg-iy-sk?usp=sharing Журнал2]], [[https://disk.360.yandex.ru/d/A8BA4pkWrAHmPQ Конспект]] Поэлементное умножение тензоров. Поэлементное обращение тензора.  Разреженные тензоры. Демонстрация сжатия данных тензорными структурами.
 
* '''Лекция 8. TT-разложение (продолжение).''' [[https://disk.360.yandex.ru/d/oHY6QtpKt67V6Q Запись]], [[https://disk.360.yandex.ru/i/SDJZX6wNQFG19w Конспект]] Ортогонализация ядер (продолжение). Алгоритм TT-SVD. Эффективная рекомпрессия TT-разложения. Арифметика в TT-формате.
 
* '''Лекция 8. TT-разложение (продолжение).''' [[https://disk.360.yandex.ru/d/oHY6QtpKt67V6Q Запись]], [[https://disk.360.yandex.ru/i/SDJZX6wNQFG19w Конспект]] Ортогонализация ядер (продолжение). Алгоритм TT-SVD. Эффективная рекомпрессия TT-разложения. Арифметика в TT-формате.
* '''Семинар 8.''' [[https://disk.360.yandex.ru/i/Q_zAyf8uvzSAaA Конспект]], [[https://disk.360.yandex.ru/i/Aq6NrIS_8LuOuQ Запись]] TT-SVD в виде псевдокода. Почему ошибка в TT-SVD не накапливается экспоненциально?
+
* '''Семинар 8.''' [[https://disk.360.yandex.ru/i/Aq6NrIS_8LuOuQ Запись]], [[https://disk.360.yandex.ru/i/toThczGrAZQBPA  Конспект]] TT-SVD в виде псевдокода. Почему ошибка в TT-SVD не накапливается экспоненциально?
* '''Лекция 9. Линейные операторы в TT-формате.''' [[https://disk.360.yandex.ru/d/dGVZlX-WeQ3K5w Запись]], [[https://disk.360.yandex.ru/i/YL777Ush69DXjw Конспект]] Введение, формулировка, где встречаются. ALS для TT. DMRG. Крестовая аппроксимация матриц.
+
* '''Лекция 9. Линейные операторы в TT-формате.''' [[https://disk.360.yandex.ru/d/dGVZlX-WeQ3K5w Запись]], [[https://disk.360.yandex.ru/i/YL777Ush69DXjw Конспект]] Введение, формулировка, где встречаются. ALS для TT.  
* '''Семинар 9.'''[[https://disk.360.yandex.ru/i/ayPR8X1k8BmJsQ Запись]], [[https://disk.360.yandex.ru/i/Chb3IG9LYQRlqA Конспект]]  TT-SVD с округлением. TT-матрицы (продолжение).
+
* '''Семинар 9.'''[[https://disk.360.yandex.ru/i/ayPR8X1k8BmJsQ Запись]], [[https://disk.360.yandex.ru/i/6vYeliYsLTrU6w Конспект]]  TT-SVD с округлением. TT-матрицы (продолжение).
* '''Лекция 10. Риманова оптимизация.'''[[https://disk.360.yandex.ru/i/Ah3NY4Fk6kk3PA Запись]], [[https://disk.360.yandex.ru/i/qKx5yM8-xGXxtw Конспект]] Методы римановой оптимизации.
+
* '''Лекция 10. Риманова оптимизация.'''[[https://disk.360.yandex.ru/i/Ah3NY4Fk6kk3PA Запись]], [[https://disk.360.yandex.ru/i/eVmVSCNDCRcTmw Конспект]] Методы римановой оптимизации.
* '''Семинар 10.'''[[https://disk.360.yandex.ru/i/Ah3NY4Fk6kk3PA Запись]], [[https://disk.360.yandex.ru/i/lvpfKh0NtGKl2A Конспект]]  Примеры приведения операторов к TT-формату. Переход от канонического разложения к TT-разложению. ALS для TT (продолжение).  
+
* '''Семинар 10.'''[[https://disk.360.yandex.ru/i/Ah3NY4Fk6kk3PA Запись]], [[https://disk.360.yandex.ru/i/shtuIwnl8uGzyw Конспект]]  Примеры приведения операторов к TT-формату. Переход от канонического разложения к TT-разложению. ALS для TT (продолжение).  
* '''Лекция 11. Крестовая аппроксимация тензоров. Иерархический Таккер.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Крестовая аппроксимация матриц. Крестовая аппроксимация тензоров, TT-cross. Интегрирование многомерных функций. Разложение иерархического Таккера (HT): определение, ранги, ортогонализация, сложение. Замкнутость множеств тензоров ограниченного ранга.
+
* '''Лекция 11. Тензоризация. ''' [[https://disk.360.yandex.ru/i/R5KPD3BYYmuHug Конспект]], [[https://disk.360.yandex.ru/d/F2Hty1Y2jM7DjA Запись]] ALS для ТТ, Алгоритм DMRG. Тензоризация. Интегрирование многомерных функций.  
* '''Семинар 11.''' [[https://disk.360.yandex.ru/i/h7yGGpSj9QLWdg Запись]], [[https://disk.360.yandex.ru/i/gvTSkE_DU23q8Q Конспект]] Касательное пространство к S^{n-1}. Ретракция на сферу. Многообразие матриц фиксированного ранга, касательное пространство к нему.
+
* '''Семинар 11.''' [[https://disk.360.yandex.ru/i/h7yGGpSj9QLWdg Запись]], [[https://disk.360.yandex.ru/i/gvTSkE_DU23q8Q Конспект]] Понятие ретракции. Касательное пространство к S^{n-1}. Ретракция на сферу. Многообразие матриц фиксированного ранга.
 
* '''Лекция 12. Обзор тензорных сетей.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Замкнутость тензорных сетей: теорема Ландсберга. Популярные тензорные сети: тензорное кольцо (TR), PEPS, MERA. Ранги произвольных развёрток. Канонические формы тензорных сетей. Тензоризация в ML. Приближение функций по сетке.
 
* '''Лекция 12. Обзор тензорных сетей.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Замкнутость тензорных сетей: теорема Ландсберга. Популярные тензорные сети: тензорное кольцо (TR), PEPS, MERA. Ранги произвольных развёрток. Канонические формы тензорных сетей. Тензоризация в ML. Приближение функций по сетке.
 
* '''Семинар 12.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]]  Является ли TT частным случаем HT? Степени свободы в HT и TT. Пример HT-разложения. Библиотека ttpy.  
 
* '''Семинар 12.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]]  Является ли TT частным случаем HT? Степени свободы в HT и TT. Пример HT-разложения. Библиотека ttpy.  
* '''Лекция 13. Обзор тензорных сетей.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Тензоризация (продолжение). Билинейные алгоритмы и каноническое разложение.
+
* '''Лекция 13. Обзор тензорных сетей.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] . Билинейные алгоритмы и каноническое разложение.
 
* '''Семинар 13.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Пример HT-разложения. Теорема Ландсберга: пример незамкнутого множества. TR-разложение (продолжение). MERA (продолжение), PEPS (продолжение)
 
* '''Семинар 13.''' [[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Пример HT-разложения. Теорема Ландсберга: пример незамкнутого множества. TR-разложение (продолжение). MERA (продолжение), PEPS (продолжение)
 
* '''Лекция 14. Вычисление свёрток.'''[[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Билинейные алгоритмы и каноническое разложение. Одномерная свёртка: виды свёрток, алгоритм Тоома-Кука, малоранговый случай.Алгоритм Винограда. Вычисление многомерных свёрток. Свёрточный слой, его сингулярные числа. Тензорные разложения ядра свёртки.   
 
* '''Лекция 14. Вычисление свёрток.'''[[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Билинейные алгоритмы и каноническое разложение. Одномерная свёртка: виды свёрток, алгоритм Тоома-Кука, малоранговый случай.Алгоритм Винограда. Вычисление многомерных свёрток. Свёрточный слой, его сингулярные числа. Тензорные разложения ядра свёртки.   
Строка 57: Строка 57:
 
* '''Теоретическое ДЗ-2.''' [[https://disk.360.yandex.ru/i/sTD-26VLdeAS3Q PDF]], [[https://disk.360.yandex.ru/d/0XqZCZ8ZWaI9Hw LaTeX]] Дедлайн: '''11.11.2025 23:59 МСК'''.
 
* '''Теоретическое ДЗ-2.''' [[https://disk.360.yandex.ru/i/sTD-26VLdeAS3Q PDF]], [[https://disk.360.yandex.ru/d/0XqZCZ8ZWaI9Hw LaTeX]] Дедлайн: '''11.11.2025 23:59 МСК'''.
 
* '''Практическое ДЗ-2.''' [[https://disk.360.yandex.ru/d/3iCO0LtnQw_v5A Материалы]] Дедлайн: '''21.11.2025 23:59 МСК'''.
 
* '''Практическое ДЗ-2.''' [[https://disk.360.yandex.ru/d/3iCO0LtnQw_v5A Материалы]] Дедлайн: '''21.11.2025 23:59 МСК'''.
* '''Практическое ДЗ-3.''' [[https://disk.360.yandex.ru/d/Fshn8ldpAPJf-Q Материалы]] Дедлайн: '''07.12.2025 23:59 МСК'''.
+
* '''Практическое ДЗ-3.''' [[https://disk.360.yandex.ru/d/Fshn8ldpAPJf-Q Материалы]] Дедлайн: '''08.12.2025 23:59 МСК'''.
* '''Теоретическое ДЗ-3.'''[[Заглавная_страница|TBD]], [[Заглавная_страница|TBD]] Дедлайн: TBD.
+
* '''Теоретическое ДЗ-3.''' [[https://disk.360.yandex.ru/i/ov4Ov3lj5gp2Zg PDF]], [[https://disk.360.yandex.ru/d/FT5nu-K5FQW1eg LaTeX]] Дедлайн: '''19.12.2025 23:59 МСК'''.
  
 
== Итоговая оценка за курс ==
 
== Итоговая оценка за курс ==

Текущая версия на 23:58, 5 декабря 2025

О курсе

Курс читается для студентов 3-го и 4-го курса ПМИ.

Лектор: Рахуба Максим Владимирович

Семинарист: Моложавенко Александр

Учебные ассистенты: Игорь Воротников, Николай Юдин, Артем Потарусов

Полезные ссылки

Ведомость

Материалы курса

Телеграм-канал курса

Лекции и семинары

  • Лекция 1. Введение. [Запись], [Конспект] Тензоры и тензорные произведения. Свёртки тензоров. Тензоры как мультилинейные отображения: нормы, сингулярные числа и векторы.
  • Семинар 1. [Запись], [Конспект] Абстрактные тензоры. Универсальное свойство тензорного произведения. Тензорные диаграммы. Сингулярные числа и векторы (продолжение).
  • Лекция 2. Каноническое разложение тензоров (CP). [Запись], [Конспект] Определение. Канонический ранг тензоров. Произведение Хатри-Рао. Оценки на ранг. Единственность разложения.
  • Семинар 2. [Запись], [Конспект] Каноническое разложение: определения, виды записей, канонический ранг, тензорная диаграмма, пример вычисления, комплексный вариант. Приближение тензора бОльшего канонического ранга тензорами меньшего канонического ранга.
  • Лекция 3. Алгоритмы вычисления CP-разложения. [Запись], [Конспект] Единственность разложения (продолжение). Алгоритм Дженриха. ALS. Гаусс-Ньютон.
  • Семинар 3. [Запись], [Конспект] Построение канонического разложения: метод Ньютона, метод Гаусса-Ньютона (начало).
  • Лекция 4. Обобщение SVD на многомерный случай. [Запись], [Конспект] Метод Гаусса-Ньютона (продолжение). Разложение Таккера. Higher-order SVD (HOSVD). Приближение тензора тензором меньшего ранга, T-HOSVD (truncated HOSVD).
  • Семинар 4. [Запись], [Конспект] метод Гаусса-Ньютона.
  • Лекция 5. Обобщение SVD на многомерный случай — 2. [Запись, [Конспект] Квазиоптимальность T-HOSVD. Алгоритмы поиска разложения Таккера: HOSVD, HOOI. "Арифметика" малоранговых тензоров.
  • Семинар 5. [Запись], [Журнал 1], [Журнал 2], [Конспект] Векторизации, einsum, T-HOSVD (начало). Переход к новому базису в тензорном произведении пространств. (Не)Единственность разложения Таккера.
  • Лекция 6. Приложения тензорных вычислений.[Запись], [Конспект] "Арифметика" малоранговых тензоров (продолжение). Некоторые приложения: мультилинейный PCA, задача коллаборативной фильтрации, графы знаний, сжатие слоёв нейросетей. Проклятье размерности.
  • Семинар 6. [Запись], [Конспект] Приведение разложения Таккера к HOSVD. T-HOSVD (продолжение). ST-HOSVD. HOOI vs ALS. Сложность алгоритмов.
  • Лекция 7. Разложение тензорного поезда (TT). [Запись], [Конспект] Определение, формы записи. Сильное кронекерово произведение. TT-ранги. Ортогонализация ядер.
  • Семинар 7. [Запись], [Журнал 1], [Журнал2], [Конспект] Поэлементное умножение тензоров. Поэлементное обращение тензора. Разреженные тензоры. Демонстрация сжатия данных тензорными структурами.
  • Лекция 8. TT-разложение (продолжение). [Запись], [Конспект] Ортогонализация ядер (продолжение). Алгоритм TT-SVD. Эффективная рекомпрессия TT-разложения. Арифметика в TT-формате.
  • Семинар 8. [Запись], [Конспект] TT-SVD в виде псевдокода. Почему ошибка в TT-SVD не накапливается экспоненциально?
  • Лекция 9. Линейные операторы в TT-формате. [Запись], [Конспект] Введение, формулировка, где встречаются. ALS для TT.
  • Семинар 9.[Запись], [Конспект] TT-SVD с округлением. TT-матрицы (продолжение).
  • Лекция 10. Риманова оптимизация.[Запись], [Конспект] Методы римановой оптимизации.
  • Семинар 10.[Запись], [Конспект] Примеры приведения операторов к TT-формату. Переход от канонического разложения к TT-разложению. ALS для TT (продолжение).
  • Лекция 11. Тензоризация. [Конспект], [Запись] ALS для ТТ, Алгоритм DMRG. Тензоризация. Интегрирование многомерных функций.
  • Семинар 11. [Запись], [Конспект] Понятие ретракции. Касательное пространство к S^{n-1}. Ретракция на сферу. Многообразие матриц фиксированного ранга.
  • Лекция 12. Обзор тензорных сетей. TBD, TBD Замкнутость тензорных сетей: теорема Ландсберга. Популярные тензорные сети: тензорное кольцо (TR), PEPS, MERA. Ранги произвольных развёрток. Канонические формы тензорных сетей. Тензоризация в ML. Приближение функций по сетке.
  • Семинар 12. TBD, TBD Является ли TT частным случаем HT? Степени свободы в HT и TT. Пример HT-разложения. Библиотека ttpy.
  • Лекция 13. Обзор тензорных сетей. TBD, TBD . Билинейные алгоритмы и каноническое разложение.
  • Семинар 13. TBD, TBD Пример HT-разложения. Теорема Ландсберга: пример незамкнутого множества. TR-разложение (продолжение). MERA (продолжение), PEPS (продолжение)
  • Лекция 14. Вычисление свёрток.TBD, TBD Билинейные алгоритмы и каноническое разложение. Одномерная свёртка: виды свёрток, алгоритм Тоома-Кука, малоранговый случай.Алгоритм Винограда. Вычисление многомерных свёрток. Свёрточный слой, его сингулярные числа. Тензорные разложения ядра свёртки.
  • Семинар 14.TBD, TBD. Тензоризация многочленов. Библиотека TensorNetwork. Билинейные алгоритмы: алгоритм Карацубы.

Домашние задания

Теоретические ДЗ выдаются каждые 2 или 3 недели.

Также планируется 3-4 практических ДЗ.

  • Теоретическое ДЗ-1. [PDF], [LaTeX] Дедлайн: 13.10.2025 23:59 МСК.
  • Практическое ДЗ-1. [Материалы] Дедлайн: 24.10.2025 23:59 МСК.
  • Теоретическое ДЗ-2. [PDF], [LaTeX] Дедлайн: 11.11.2025 23:59 МСК.
  • Практическое ДЗ-2. [Материалы] Дедлайн: 21.11.2025 23:59 МСК.
  • Практическое ДЗ-3. [Материалы] Дедлайн: 08.12.2025 23:59 МСК.
  • Теоретическое ДЗ-3. [PDF], [LaTeX] Дедлайн: 19.12.2025 23:59 МСК.

Итоговая оценка за курс

Итог = Округление(min(10, 0.2 * ДЗ_Теор + 0.15 * ДЗ_Практ + 0.1 * Б + 0.15 * ПР + 0.2 * К + 0.3 * Э))

ДЗ_Теор –– средняя оценка за теоретические домашние задания

ДЗ_Практ –– средняя оценка за практические домашние задания

Б –– средняя оценка за бонусные задачи в ДЗ

ПР — средняя оценка за самостоятельные работы на семинарах

К –– оценка за устный коллоквиум (проводится в начале 2-го модуля)

Э –– письменный экзамен.

Округление арифметическое.