Определённый интеграл — площадь под кривой, неопределённый — обратная операция к дифференцированию. В 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%
Обратное распространение ошибки · Глубокое обучениеЭффективное вычисление градиентов по всем параметрам сети за один обратный проход с помощью правила цепочки.