2025-11-10T02:48:02.300387

Markov Decision Processes with Recursive Risk Measures

Bäuerle, Glauner
In this paper, we consider risk-sensitive Markov Decision Processes (MDPs) with Borel state and action spaces and unbounded cost under both finite and infinite planning horizons. Our optimality criterion is based on the recursive application of static risk measures. This is motivated by recursive utilities in the economic literature, has been studied before for the entropic risk measure and is extended here to an axiomatic characterization of suitable risk measures. We derive a Bellman equation and prove the existence of Markovian optimal policies. For an infinite planning horizon, the model is shown to be contractive and the optimal policy to be stationary. Moreover, we establish a connection to distributionally robust MDPs, which provides a global interpretation of the recursively defined objective function. Monotone models are studied in particular.
academic

Марковские процессы принятия решений с рекурсивными мерами риска

Основная информация

  • ID статьи: 2010.07220
  • Название: Markov Decision Processes with Recursive Risk Measures
  • Авторы: Nicole Bäuerle, Alexander Glauner
  • Классификация: math.OC (Оптимизация и управление), q-fin.RM (Количественные финансы - управление рисками)
  • Дата публикации: 14 октября 2020 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2010.07220

Аннотация

В статье исследуются чувствительные к риску марковские процессы принятия решений (МПР) с борелевскими пространствами состояний и действий, а также неограниченными затратами, охватывающие конечные и бесконечные горизонты планирования. Критерий оптимизации основан на рекурсивном применении статических мер риска. Этот подход вдохновлен рекурсивной полезностью из экономической литературы и ранее изучался на примере энтропийных мер риска. В статье расширяется применение на аксиоматические характеристики подходящих мер риска. Авторы выводят уравнение Беллмана и доказывают существование марковских оптимальных стратегий. Для бесконечного горизонта планирования модель доказывается сжимающей, а оптимальная стратегия является стационарной. Кроме того, устанавливается связь с распределительно-робастными МПР, обеспечивающая глобальную интерпретацию рекурсивно определённых целевых функций.

Научный контекст и мотивация

Постановка проблемы

Классическая теория марковских процессов принятия решений сосредоточена на минимизации ожидаемых дисконтированных затрат управляемых динамических систем на конечном или бесконечном временном горизонте. Однако простое математическое ожидание не отражает истинный риск решений, что особенно важно в приложениях, таких как управление денежными потоками.

Научная мотивация

  1. Необходимость в чувствительности к риску: В финансовой и страховой сферах лица, принимающие решения, предпочитают использовать динамическую полезность для оценки производительности вместо простого ожидания
  2. Временная согласованность: Существующая теория динамических мер риска показывает, что единственные временно согласованные меры риска — это те, которые итеративно применяют статические меры риска
  3. Совершенствование теории: Необходимо разработать полный теоретический каркас для общих мер риска, а не только для конкретных энтропийных мер риска

Ограничения существующих подходов

  • Большинство исследований ограничены ограниченными случайными величинами или конкретными типами мер риска
  • Некоторые методы требуют косвенных предположений о свойствах мер риска
  • Отсутствует систематическое рассмотрение общих борелевских пространств и неограниченных функций затрат

Основные вклады

  1. Расширение теоретического каркаса: Расширение теории МПР с рекурсивными мерами риска с энтропийных мер на общие аксиоматические меры риска
  2. Вывод уравнения Беллмана: Вывод уравнения Беллмана для МПР с рекурсивными мерами риска и доказательство существования марковских оптимальных стратегий
  3. Доказательство сжимаемости: Доказательство сжимаемости модели с бесконечным горизонтом и существования стационарной оптимальной стратегии
  4. Связь с распределительной робастностью: Установление теоретической связи с распределительно-робастными МПР, обеспечивающей глобальную интерпретацию рекурсивных целевых функций
  5. Анализ монотонных моделей: Углублённое исследование специальных моделей с монотонными свойствами, ослабляющее предположения о непрерывности

Подробное описание методов

Определение задачи

Рассмотрим марковский процесс принятия решений, где пространства состояний E и действий A являются борелевскими пространствами:

  • Переходы состояний задаются измеримой функцией переходов Tn:Dn×ZET_n: D_n \times Z \to E
  • Одношаговая функция затрат cn:Dn×ERc_n: D_n \times E \to \mathbb{R}
  • Терминальная функция затрат cN:ERc_N: E \to \mathbb{R}

Каркас рекурсивных мер риска

Свойства мер риска

В статье рассматриваются меры риска ρ:LpR\rho: L^p \to \overline{\mathbb{R}} со следующими свойствами:

  • Монетарность: Монотонность и инвариантность относительно сдвига
  • Согласованность: Положительная однородность и субаддитивность
  • Свойство Фату: Полунепрерывность снизу относительно управляемой сходимости

Определение рекурсивной стоимости

Для стратегии π=(d0,,dN1)\pi = (d_0, \ldots, d_{N-1}) рекурсивно определяется функция стоимости: VNπ(hN)=cN(xN)V_N^\pi(h_N) = c_N(x_N)Vnπ(hn)=ρn(cn(xn,dn(hn),Tn(xn,dn(hn),Zn+1))+Vn+1π())V_n^\pi(h_n) = \rho_n\left(c_n(x_n, d_n(h_n), T_n(x_n, d_n(h_n), Z_{n+1})) + V_{n+1}^\pi(\cdot)\right)

Технические инновации

1. Метод глобальных граничных функций

Предложена концепция глобальных верхних и нижних граничных функций, более подходящих для рекурсивных мер риска, чем традиционные локальные граничные функции:

Лемма 4.3: Для подходящих согласованных мер риска, если существуют локальные граничные функции, удовлетворяющие: ρn(cn(x,a,Tn(x,a,Zn+1)))b(x)\rho_n(c_n(x,a,T_n(x,a,Z_{n+1}))) \geq \underline{b}(x)ρn(b(Tn(x,a,Zn+1)))αb(x)\rho_n(-\underline{b}(T_n(x,a,Z_{n+1}))) \leq -\alpha\underline{b}(x)

то глобальная граничная функция имеет вид B=11αb\underline{B} = \frac{1}{1-\alpha}\underline{b}.

2. Уравнение Беллмана

Теорема 4.7: При надлежащих предположениях функция стоимости удовлетворяет уравнению Беллмана: JN(x)=cN(x)J_N(x) = c_N(x)Jn(x)=TnJn+1(x)=infaDn(x)ρn(cn(x,a,Tn(x,a,Zn+1))+Jn+1(Tn(x,a,Zn+1)))J_n(x) = T_nJ_{n+1}(x) = \inf_{a \in D_n(x)} \rho_n(c_n(x,a,T_n(x,a,Z_{n+1})) + J_{n+1}(T_n(x,a,Z_{n+1})))

3. Свойства сжимаемости

Лемма 5.4: Оператор Беллмана TT является сжимающим отображением с модулем αβ\alpha\beta на интервале I=[B,B]I = [\underline{B}, \overline{B}].

Экспериментальная установка

Теоретическая верификация

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

Прикладные примеры

  1. Близорукость Value-at-Risk: В монотонных моделях доказано, что оптимальная стратегия при критерии VaR является близорукой
  2. Задачи остановки: Демонстрируется сохранение структуры пороговых стратегий
  3. Азартные игры в казино: Анализируются оптимальные стратегии ставок
  4. Задача балансировки денежных средств: Доказывается оптимальность стратегий типа (S⁻, S⁺)

Результаты экспериментов

Основные теоретические результаты

Конечный горизонт

  • Доказано существование марковских оптимальных стратегий
  • Установлено рекурсивное уравнение Беллмана
  • Функция стоимости обладает полунепрерывностью снизу

Бесконечный горизонт

  • Теорема 5.5:
    • Предельная функция стоимости является единственной неподвижной точкой оператора Беллмана
    • Существует оптимальная стационарная стратегия
    • Модель обладает свойством сжимаемости с модулем αβ<1\alpha\beta < 1

Результаты для специальных случаев

Случай ограниченных затрат

Следствие 5.6: Когда одношаговые затраты ограничены, применима любая нормализованная монетарная мера риска с свойством Фату.

Монотонные модели

Предложение 7.5: При монотонных предположениях можно ослабить требование согласованности меры риска, требуя только совмонотонную аддитивность.

Анализ примеров

Близорукость Value-at-Risk

В монотонных моделях, когда функция затрат не зависит от действия: Jn(x)=infaD(x)h(VaRα(T(x,a,Z)))J_n(x) = \inf_{a \in D(x)} h(\text{VaR}_\alpha(T(x,a,Z))) где hh — возрастающая полунепрерывная снизу функция, что приводит к тому, что оптимальная стратегия является стационарной и близорукой.

Задача балансировки денежных средств

Сохраняются структурные свойства классического МПР:

  • Существуют критические уровни SS^- и S+S^+
  • Оптимальная стратегия имеет форму (S,S+)(S^-, S^+)
  • Функция стоимости сохраняет выпуклость

Связанные работы

Теория динамических мер риска

  • Epstein & Schneider (2003): Рекурсивные модели с множественными приорами
  • Riedel (2004): Динамически согласованные меры риска
  • Shapiro (2012): Теория временной согласованности

Чувствительные к риску МПР

  • Ruszczyński (2010): Аксиоматический подход, ограничен ограниченными случайными величинами
  • Shen et al. (2013): Метод отображения риска
  • Chu & Zhang (2014): Согласованные меры риска, требуют предположения о существовании предела

Приложения конкретных мер риска

  • Asienkiewicz & Jaśkiewicz (2017): Энтропийные меры риска
  • Bäuerle & Jaśkiewicz (2017, 2018): Финансовые приложения

Заключение и обсуждение

Основные выводы

  1. Рекурсивное применение статических мер риска обеспечивает единый теоретический каркас для чувствительных к риску МПР
  2. При надлежащих предположениях можно построить полную теорию Беллмана
  3. Монотонные модели позволяют значительно ослабить технические предположения
  4. Связь с распределительно-робастными МПР обеспечивает глобальную интерпретацию

Ограничения

  1. Технические предположения: Требуются относительно сложные предположения о глобальных граничных функциях
  2. Вычислительная сложность: Статья недостаточно обсуждает методы численных расчётов
  3. Эмпирическая верификация: Отсутствуют крупномасштабные численные эксперименты для проверки теоретических результатов

Направления будущих исследований

  1. Разработка эффективных численных алгоритмов
  2. Исследование более общих классов мер риска
  3. Изучение алгоритмов обучения в чувствительной к риску среде

Глубокая оценка

Преимущества

  1. Теоретическая строгость: Обеспечивает полный математический каркас с безупречными доказательствами
  2. Общность: По сравнению с существующими работами применима к более широкому спектру мер риска и параметров моделей
  3. Инновационность: Метод глобальных граничных функций и связь с распределительно-робастными МПР являются инновационными
  4. Сохранение структуры: Доказывает, что многие структурные свойства классических МПР сохраняются в чувствительном к риску случае

Недостатки

  1. Вычислительный аспект: Отсутствуют конкретные алгоритмы и методы численных расчётов
  2. Практическое применение: Теоретический характер, относительно ограниченные примеры практического применения
  3. Условия предположений: Некоторые технические предположения могут быть сложны для проверки в практических приложениях

Влияние

  1. Теоретический вклад: Обеспечивает прочную теоретическую основу для чувствительных к риску МПР
  2. Методологическая ценность: Метод рекурсивных мер риска может повлиять на направление исследований в смежных областях
  3. Междисциплинарное значение: Связывает исследования в области исследования операций, финансовой математики и теории вероятностей

Области применения

  1. Финансовая инженерия: Оптимизация портфеля, управление рисками
  2. Страховая актуарная математика: Управление резервами, стратегии перестрахования
  3. Управление цепочками поставок: Чувствительное к риску принятие решений в условиях неопределённости
  4. Управление энергией: Чувствительное к риску диспетчеризация и ценообразование электроэнергии

Библиография

Статья цитирует 34 важные работы, охватывающие классические и передовые работы в основных областях теории мер риска, марковских процессов принятия решений и динамического программирования, обеспечивая прочную теоретическую основу для исследования.


Общая оценка: Это высококачественная теоретическая статья, вносящая значительный вклад в область чувствительных к риску марковских процессов принятия решений. Хотя она сосредоточена на теоретическом анализе, она закладывает важную основу для дальнейшего развития этой области.