Математический анализ

Integral

Интеграл

актуальноТекущий рабочий стандарт

Определённый интеграл — площадь под кривой, неопределённый — обратная операция к дифференцированию. В ML интеграл почти всегда означает математическое ожидание.

Что означает каждый компонент
  • величина, среднее которой мы хотим получить (например, ошибка модели)
  • плотность распределения данных — вес каждой точки
  • суммирование по всем возможным значениям. На практике интеграл заменяют средним по выборке

Ключевые тезисы

  • Функция плотности интегрируется в единицу — это определение непрерывного распределения.
  • Ожидание, дисперсия, энтропия и KL-дивергенция записываются интегралами.
  • Большинство интегралов в ML не берутся аналитически и оцениваются методом Монте-Карло.

Подробный разбор

2 подтем — раскройте любую, чтобы увидеть объяснение, формулы, примеры и интерактивные графики.

1

Интеграл как ожидание

Главное применение интеграла в ML.

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

Функция потерь на всей популяции, энтропия, KL-дивергенция, ELBO вариационного автоэнкодера — всё это интегралы. Почти ни один из них не берётся аналитически, поэтому их заменяют средним по выборке.

Обозначения
  • аргумент функции — точка, в которой её рассматривают
  • номер члена последовательности или порядок производной
  • показатель степени или вероятность — зависит от формулы
  • функция, о которой идёт речь
  • суммирование по всем перечисленным элементам
  • интегрирование — непрерывный аналог суммы
Оценка Монте-Карло: точность независимо от размерности
2

Функция распределения и квантили

Интеграл плотности — это вероятность.

Обозначения
  • коэффициент, задающий вес слагаемого или скорость обновления
  • аргумент функции — точка, в которой её рассматривают
  • показатель степени или вероятность — зависит от формулы
  • распределение, предсказанное моделью
  • интегрирование — непрерывный аналог суммы
  • AUC ROC — тоже интеграл: площадь под кривой.
  • Квантильная регрессия оптимизирует pinball loss и предсказывает квантиль, а не среднее.
  • Метод обратной функции распределения — базовый способ сэмплировать из произвольного распределения.

Связанные темы

Аппарат анализа

Limits and Continuity85%

Пределы и непрерывность · Математический анализ

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

Derivative85%

Производная · Математический анализ

Скорость изменения функции: предел отношения приращения функции к приращению аргумента. Геометрически — наклон касательной.

Differentiation Rules85%

Правила дифференцирования · Математический анализ

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

Taylor Series85%

Ряд Тейлора · Математический анализ

Приближение функции многочленом по производным в точке. Инструмент, которым обосновывают почти все методы оптимизации.

Multivariable Calculus85%

Многомерный анализ · Математический анализ

Функции многих переменных: частные производные, градиент, производная по направлению и линии уровня.

Jacobian85%

Якобиан · Математический анализ

Матрица частных производных векторной функции. Описывает, как преобразование растягивает пространство локально.

Lagrange Multipliers85%

Множители Лагранжа · Математический анализ

Метод условной оптимизации: минимизировать функцию при ограничениях, не решая их подстановкой.

Convexity85%

Выпуклость · Математический анализ

Свойство функции, гарантирующее единственность минимума и сходимость градиентных методов.

Numerical Differentiation85%

Численное дифференцирование · Математический анализ

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

Series and Convergence85%

Ряды и сходимость · Математический анализ

Когда бесконечная сумма имеет конечное значение и с какой скоростью алгоритм приближается к ответу.

Differential Equations85%

Дифференциальные уравнения · Математический анализ

Уравнения, связывающие функцию с её производными. Описывают динамику — от роста популяций до обратного процесса в диффузионных моделях.

Calculus85%

Математический анализ · Основы

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

Gradient85%

Градиент · Математический справочник

Вектор частных производных, указывающий направление наибыстрейшего роста функции.

Hessian85%

Гессиан · Математический справочник

Матрица вторых производных, описывающая локальную кривизну функции.

Backpropagation85%

Обратное распространение ошибки · Глубокое обучение

Эффективное вычисление градиентов по всем параметрам сети за один обратный проход с помощью правила цепочки.