Статьи

Ограничивающие суммы случайных величин: часть 1

Для последнего курса MAT8886 этого (длинного) зимнего сеанса по связкам (и крайним значениям) мы обсудим агрегацию рисков. Курс будет в основном посвящен проблеме ограничения распределения (или некоторой меры риска, скажем, Value-at-Risk) для двух случайных величин с заданным предельным распределением. Например, у нас есть два гауссовских риска. Какой может быть наихудший сценарий для квантиля 99% суммы? Обратите внимание, что я упоминаю последствия с точки зрения управления рисками, но, конечно, эти вопросы чрезвычайно важны с точки зрения статистического вывода, см., Например, Fan & Park (2006) .

Эта проблема иногда связана с каким-то вопросом, заданным Колмогоровым почти сто лет назад, как упоминалось у Макарова (1981) . Через год Рюшендорф (1982) также предложил доказательство расчета границ. Здесь мы сосредоточимся на измерении 2. Как обычно, это простой случай. Но, как упоминалось недавно, в Kreinovich & Ferson (2005) , в измерении 3 (или выше), « вычисление наилучших возможных границ для произвольного n является NP-сложной (вычислительно неразрешимой) задачей ». Итак, давайте сосредоточимся на случае, когда мы суммируем (только) две случайные величины (для тех, кто интересуется более высокой размерностью, Puccetti & Rüschendorf (2012) предоставили интересные результаты для двойной версии этих оптимальных границ).

Обозначим http://latex.codecogs.com/gif.latex?\Deltaчерез множество одномерной непрерывной функции распределения, непрерывной слева, на http://latex.codecogs.com/gif.latex?\mathbb{R}. И http://latex.codecogs.com/gif.latex?\Delta^+множество раздач по http://latex.codecogs.com/gif.latex?\mathbb{R}^+. Таким образом, http://latex.codecogs.com/gif.latex?F\in\Delta^+если http://latex.codecogs.com/gif.latex?F\in\Deltaи http://latex.codecogs.com/gif.latex?F(0)=0. Рассмотрим теперь два распределения http://latex.codecogs.com/gif.latex?F,G\in\Delta^+. В очень общем случае можно рассматривать операторы на http://latex.codecogs.com/gif.latex?\Delta^+\times%20\Delta^+. Итак, позвольте http://latex.codecogs.com/gif.latex?T:[0,1]\times[0,1]\rightarrow[0,1]обозначить оператор, увеличивающийся в каждом компоненте, таким образом, что http://latex.codecogs.com/gif.latex?T(1,1)=1. И рассмотрим некоторую функцию, которая, как http://latex.codecogs.com/gif.latex?L:\mathbb{R}^+\times\mathbb{R}^+\rightarrow\mathbb{R}^+предполагается, также увеличивается в каждом компоненте (и непрерывна). Для таких функций http://latex.codecogs.com/gif.latex?Tи http://latex.codecogs.com/gif.latex?Lопределите следующий (общий) оператор, http://latex.codecogs.com/gif.latex?\tau_{T,L}(F,G)как

http://latex.codecogs.com/gif.latex?\tau_{T,L}(F,G)(x)=\sup_{L(u,v)=x}\{T(F(u) G (V)) \}

Один интересный случай может быть получен , когда http://latex.codecogs.com/gif.latex?Tэто копула, http://latex.codecogs.com/gif.latex?C. В этом случае,

http://latex.codecogs.com/gif.latex?\tau_{C,L}(F,G):\Delta^+\times\Delta^+\rightarrow\Delta^+

и далее можно написать

http://latex.codecogs.com/gif.latex?\tau_{C,L}(F,G)(x)=\sup_{(u,v)\in%20L^{-1}(x) } \ {С (Р (и), G (V)) \}

Также можно рассмотреть другие (общие) операторы, например, на основе суммы

http://latex.codecogs.com/gif.latex?\sigma_{C,L}(F,G)(x)=\int_{(u,v)\in%20L^{-1}(x) }% 20DC (Р (и), G (v))

или по минимуму,

http://latex.codecogs.com/gif.latex?\rho_{C,L}(F,G)(x)=\inf_{(u,v)\in%20L^{-1}(x) } \ {C ^ \ звезда (F (и), G (v)) \}

где http://latex.codecogs.com/gif.latex?C^\starэто копула выживание связано с http://latex.codecogs.com/gif.latex?C, то есть http://latex.codecogs.com/gif.latex?C^\star(u,v)=u+vC(u,v). Обратите внимание, что эти операторы могут использоваться для определения функций распределения, т.е.

http://latex.codecogs.com/gif.latex?\sigma_{C,L}(F,G):\Delta^+\times\Delta^+\rightarrow\Delta^+

и аналогично

http://latex.codecogs.com/gif.latex?\rho_{C,L}(F,G):\Delta^+\times\Delta^+\rightarrow\Delta^+

Все это кажется слишком теоретическим? Приложением может быть случай суммы, т. Е. http://latex.codecogs.com/gif.latex?L(x,y)=x+yВ этом случае http://latex.codecogs.com/gif.latex?\sigma_{C,+}(F,G)есть распределение суммы двух случайных величин с маргинальными распределениями http://latex.codecogs.com/gif.latex?Fи http://latex.codecogs.com/gif.latex?G, и связка http://latex.codecogs.com/gif.latex?C. Таким образом, http://latex.codecogs.com/gif.latex?\sigma_{C^\perp,+}(F,G)это просто свертка двух распределений,

http://latex.codecogs.com/gif.latex?\sigma_ {С ^ \ преступник +} (F, G) (х) = \ int_ {и + у = х}% 20DC ^ \ преступник (Р ( и), G (v))

Важный результат (который можно найти в главе 7, в работе Schweizer and Sklar (1983) ) заключается в том, что, учитывая оператор http://latex.codecogs.com/gif.latex?L, для любой связки http://latex.codecogs.com/gif.latex?Cможно найти нижнюю оценку дляhttp://latex.codecogs.com/gif.latex?\sigma_{C,L}(F,G)

http://latex.codecogs.com/gif.latex?\tau_{C^-,L}(F,G)\leq%20\tau_{C,L}(F,G)\leq\sigma_{C , L} (F, G)

а также верхняя граница

http://latex.codecogs.com/gif.latex?\sigma_{C,L}(F,G)\leq%20\rho_{C,L}(F,G)\leq\rho_{C^- , L} (F, G)

Эти неравенства исходят из того , что для все связки http://latex.codecogs.com/gif.latex?C, http://latex.codecogs.com/gif.latex?C\geq%20C^-где http://latex.codecogs.com/gif.latex?C^-есть связка. Поскольку эта функция не является связкой в ​​более высоком измерении, можно легко представить, что получить эти границы в более высоком измерении будет намного сложнее …

В случае суммы двух случайных величин, с предельными распределениями http://latex.codecogs.com/gif.latex?Fи http://latex.codecogs.com/gif.latex?G, границы для распределения суммы http://latex.codecogs.com/gif.latex?H(x)=\mathbb{P}(X+Y\leq%20x), где http://latex.codecogs.com/gif.latex?X\sim%20Fи http://latex.codecogs.com/gif.latex?Y\sim%20G, могут быть записаны

http://latex.codecogs.com/gif.latex?H^-(x)=\tau_{C^-%20,+}(F,G)(x)=\sup_{u+v=x} \ {% 20 \ макс \ {Р (и) + G (V) -1,0 \}% 20 \}

для нижней границы, и

http://latex.codecogs.com/gif.latex?H^+(x)=\rho_{C^-%20,+}(F,G)(x)=\inf_{u+v=x} \ {% 20 \ мин \ {Р (и) + G (V), 1 \}% 20 \}

для верхней границы. И эти границы четкие, в том смысле, что для всех http://latex.codecogs.com/gif.latex?t\in(0,1)существует связка http://latex.codecogs.com/gif.latex?C_tтакая, что

http://latex.codecogs.com/gif.latex?\tau_{C_t,+}(F,G)(x)=\tau_{C^-%20,+}(F,G)(x)= T

и есть (другая) связка http://latex.codecogs.com/gif.latex?C_tтакая, что

http://latex.codecogs.com/gif.latex?\sigma_{C_t,+}(F,G)(x)=\tau_{C^-%20,+}(F,G)(x)= T

Таким образом, используя эти результаты, можно связать накопительную функцию распределения. Но на самом деле все это можно сделать и на квантилях (см. Frank, Nelsen & Schweizer (1987)). Для всех http://latex.codecogs.com/gif.latex?F\in\Delta^+пусть http://latex.codecogs.com/gif.latex?F^{-1}обозначает его обобщенный обратный, слева непрерывный, и пусть http://latex.codecogs.com/gif.latex?\nabla^+обозначает множество этих функций квантиль. Определите тогда двойные версии наших операторов,

http://latex.codecogs.com/gif.latex?\tau^ {-1} _ {T, L} (Р ^ {-1}, G ^ {-1}) (х) = \ inf_ {( U, V) \ в% 20T ^ {- 1} (х)} \ {Ь (Р ^ {- 1} (и), G ^ {- 1} (v)) \}

и

http://latex.codecogs.com/gif.latex?\rho^ {-1} _ {T, L} (Р ^ {-1}, G ^ {-1}) (х) = \ sup_ {( U, V) \ в% 20T ^ \ ^ звезда {- 1} (х)} \ {Ь (Р ^ {- 1} (и), G ^ {- 1} (v)) \}

Эти определения действительно двойственные версии предыдущих, в том смысле, что http://latex.codecogs.com/gif.latex?\tau^{-1}_{T,L}(F^{-1},G^{-1})=[\tau_{T,L } (F, G)] ^ {- 1}и http://latex.codecogs.com/gif.latex?\rho^{-1}_{T,L}(F^{-1},G^{-1})=[\rho_{T,L } (F, G)] ^ {- 1}.

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

http://latex.codecogs.com/gif.latex?\tau^{-1}_{C^{-},+}(F^{-1},G^{-1})(x)= \ инф _ {\ тах \ {и + v-1,0 \} = х} \ {F ^ {- 1} (и) + G ^ {- 1} (v) \}

в то время как верхняя граница

http://latex.codecogs.com/gif.latex?\rho^{-1}_{C^{-},+}(F^{-1},G^{-1})(x)= \ вир _ {\ мин \ {и + V, 1 \} = х} \ {F ^ {- 1} (и) + G ^ {- 1} (v) \}

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

> F=function(x) plnorm(x,0,1)
> G=function(x) plnorm(x,0,1)
> n=100
> X=seq(0,10,by=.05)
> Hinf=Hsup=rep(NA,length(X))
> for(i in 1:length(X)){
+ x=X[i]
+ U=seq(0,x,by=1/n); V=x-U
+ Hinf[i]=max(pmax(F(U)+G(V)-1,0))
+ Hsup[i]=min(pmin(F(U)+G(V),1))}

Если мы построим эти границы, мы получим:

> plot(X,Hinf,ylim=c(0,1),type="s",col="red")
> lines(X,Hsup,type="s",col="red")

Но каким-то образом работать с квантилями еще проще, поскольку они определены на конечной опоре. Квантили здесь:

> Finv=function(u) qlnorm(u,0,1)
> Ginv=function(u) qlnorm(u,0,1)

Идея будет состоять в том, чтобы рассмотреть дискретизированную версию единичного интервала, как обсуждалось в Williamson (1989) , в гораздо более общем контексте. Опять же, идея состоит в том, чтобы вычислить, например,

http://latex.codecogs.com/gif.latex?\sup_ {и \ в [0, х]} \ {F ^ {-1} (и) + G ^ {-1} (Xu) \}

Идея заключается в том , чтобы рассмотреть http://latex.codecogs.com/gif.latex?x=i/nи http://latex.codecogs.com/gif.latex?u=j/n, а граница для функции квантили в точке http://latex.codecogs.com/gif.latex?i/nтогда

http://latex.codecogs.com/gif.latex?\sup_{j\in\{0,1,\cdots,i\}}\left\{F^{-1}\left(\frac{j } {п} \ справа) + G ^ {- 1} \ влево (\ гидроразрыва {IJ} {п} \ справа) \ право \}

Код для вычисления этих границ для заданного http://latex.codecogs.com/gif.latex?nздесь:

> n=1000
> Qinf=Qsup=rep(NA,n-1)
> for(i in 1:(n-1)){
+ J=0:i
+ Qinf[i]=max(Finv(J/n)+Ginv((i-J)/n))
+ J=(i-1):(n-1)
+ Qsup[i]=min(Finv((J+1)/n)+Ginv((i-1-J+n)/n))
+ }

Здесь мы имеем (несколько http://latex.codecogs.com/gif.latex?ns были рассмотрены, так что мы можем визуализировать сходимость этого численного алгоритма),

Здесь у нас есть простой код для визуализации границ квантилей на сумму двух рисков. Но можно пойти дальше …