This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Set-valued intrinsic measures of systemic risk

Jana Hlavinová      Birgit Rudloff11footnotemark: 1      Alexander Smirnow Vienna University of Economics and Business, Institute for Statistics and Mathematics, Welthandelsplatz 1, 1020 Vienna, Austria, jana.hlavinova@wu.ac.at and birgit.rudloff@wu.ac.atUniversity of Zurich, Department of Banking and Finance, Plattenstrasse 14, 8032 Zurich, Switzerland, alexander.smirnow@bf.uzh.ch
Abstract

In recent years, it has become apparent that an isolated microprudential approach to capital adequacy requirements of individual institutions is insufficient. It can increase the homogeneity of the financial system and ultimately the cost to society. For this reason, the focus of the financial and mathematical literature has shifted towards the macroprudential regulation of the financial network as a whole. In particular, systemic risk measures have been discussed as a risk measurement and mitigation tool. In this spirit, we adopt a general approach of multivariate, set-valued risk measures and combine it with the notion of intrinsic risk measures. In order to define the risk of a financial position, intrinsic risk measures utilise only internal capital, which is received when part of the currently held assets are sold, instead of relying on external capital. We translate this methodology into the systemic framework and show that systemic intrinsic risk measures have desirable properties such as the set-valued equivalents of monotonicity and quasi-convexity. Furthermore, for convex acceptance sets we derive a dual representation of the systemic intrinsic risk measure. We apply our methodology to a modified Eisenberg-Noe network of banks and discuss the appeal of this approach from a regulatory perspective, as it does not elevate the financial system with external capital. We show evidence that this approach allows to mitigate systemic risk by moving the network towards more stable assets.


Keywords: systemic risk, set-valued risk measure, intrinsic risk measure, convex duality

1 Introduction

A key task of risk management is the quantification and assessment of the riskiness of a certain financial position, a portfolio, or even a financial system. Artzner, Delbaen, Eber, and Heath (1999) were the first to axiomatically define risk measures with a specific management action in mind, namely, raising external capital and holding it in a reference asset. We call these measures monetary risk measures, a term coined by Föllmer and Schied (2002), and interpret their value as the minimal monetary amount to be added either directly or through a reference asset to the existing financial position to make it acceptable. Farkas, Koch-Medina, and Munari (2014b, a) formalised this approach for general eligible assets, including the case of defaultable investment vehicles. Monetary risk measures have a straightforward operational interpretation and, seemingly, they can be directly applied as a risk mitigation tool in the real world. However, the question of how and at which cost it is possible to raise the necessary capital remains unanswered. External capital is often not readily available and therefore Farkas and Smirnow (2018) explore the methodology of using internal resources only. They suggest a different management action to alter the existing position, namely, selling a fraction of the current unacceptable position and investing the acquired funds into a general eligible asset as defined in (Farkas, Koch-Medina, and Munari, 2014b, a). This way, in addition to gaining the benefit of holding capital in a safe eligible asset, the existing unacceptable position is reduced. Choosing a suitable eligible asset, for example one with negative correlation to the existing position, can further reduce the risk of the new altered position. In (Laudagé, Sass, and Wenzel, 2022), the concept of intrinsic risk measures of Farkas and Smirnow (2018) is combined with scalar multi-asset risk measures of Farkas, Koch-Medina, and Munari (2015) to consider the multi-asset intrinsic risk of a random variable.

The question of capital adequacy is of even higher importance in the setting of financial systems. During the last two decades and especially considering the events during the Great Recession from 2007 to 2009, it has become apparent that applying a scalar risk measure to the financial positions of each participant in a system individually, and thereby ignoring dependencies within the system, is not an appropriate approach to measure systemic risk. Since then, many contributions have improved the understanding of systemic risk and discussed necessary countermeasures. A discussion of the events during the recession and the economic mechanisms behind them is given in (Brunnermeier, 2009). To better quantify systemic risk, Adrian and Brunnermeier (2016) propose a conditional version of Value-at-Risk (CoVaR) and Acharya, Pedersen, Philippon, and Richardson (2016) introduce the Systemic Expected Shortfall (SES), both to measure the contribution of each financial entity to the overall risk in the system. An extensive survey of systemic risk measures including publications before 2016 is provided in (Silva, Kimura, and Sobreiro, 2017). Chen, Iyengar, and Moallemi (2013) go on to employ an axiomatic approach to define measures of systemic risk. Their approach results in risk measures of the form ρ(Λ(𝒀))\rho(\Lambda(\bm{Y})), where ρ\rho is a scalar risk measure, Λ:d\Lambda\colon\mathbb{R}^{d}\to\mathbb{R} is a non-decreasing aggregation function and 𝒀\bm{Y} is a dd-dimensional random vector representing wealths or net worths of each player in a financial system. Feinstein, Rudloff, and Weber (2017) then argue that applying a scalar risk measure to the aggregated outcome of the system leads to identifying the bailout costs. These, however, are the costs of saving the system after it has been disrupted, rather than capital requirements that would prevent the system from experiencing distress. Moreover, using just a single number to quantify the systemic risk of a system with d2d\geq 2 participants, important information can get lost, for instance the way in which different participants contribute to the overall risk.

Motivated by this realisation, Feinstein, Rudloff, and Weber (2017) introduce set-valued measures of systemic risk. In their framework, the risk measure of a financial system is a collection of all vectors of capital allocations that, added to the individual participants’ positions, yield an acceptable system. The system is deemed acceptable if the random variable describing the aggregated outcome of the system is an element of the acceptance set. Choosing an appropriate vector from the set-valued risk measure, capital requirements can be posed by the regulator. The approach of Feinstein, Rudloff, and Weber (2017) is general in the sense that many risk measures such as the ones in (Chen, Iyengar, and Moallemi, 2013) and (Adrian and Brunnermeier, 2016) can be embedded into their framework.

In this article, we combine the management action of intrinsic risk measures introduced in (Farkas and Smirnow, 2018) and the set-valued approach to measure systemic risk introduced in (Feinstein, Rudloff, and Weber, 2017). For a financial system with d2d\geq 2 participants we define the set-valued intrinsic measure of systemic risk as the collection of all vectors of fractions 𝝀[0,1]d\bm{\lambda}\in[0,1]^{d} such that if the participants sell the respective fraction of their assets and invest this raised capital in an eligible asset, the aggregated system will be acceptable. In the framework of a simulated network, we show evidence that with appropriate aggregation functions these acceptable aggregated systems are less volatile, have milder worst case outcomes, and are more likely to repay more of their liabilities to society, compared to the monetary approach. Intrinsic systemic risk measures therefore provide not only an alternative to measuring risk as capital injections, but also provide alternative risk-reducing management actions that are practical in cases where external monetary injections are unfavourable.

The rest of the paper is structured as follows. In Section 2, we introduce the terminology and lay down the mathematical framework. We briefly discuss the underlying notion of acceptability and recapitulate scalar risk measures and set-valued measures of systemic risk. In Section 3, we introduce our novel set-valued intrinsic risk measures. We derive their properties and juxtapose them to scalar intrinsic risk measures and set-valued measures of systemic risk. Furthermore, we present two algorithms to approximate intrinsic systemic risk measurements numerically. We derive a dual representation of intrinsic systemic risk measures in Section 4. Finally, we apply set-valued intrinsic risk measures to an Eisenberg-Noe network including a sink node and highlight how they can provide asset allocations which improve an unacceptable financial system in Section 5. In Section 6, we conclude our findings and discuss possible extensions and further research avenues.

2 Monetary, intrinsic, and set-valued risk measures

In this section, we review important terminology from risk measure theory. We define acceptance sets axiomatically and use them to define monetary and intrinsic risk measures. Then we proceed to introduce set-valued measures of systemic risk with general eligible assets.

We briefly introduce our notation. Throughout this paper we work on a probability space (Ω,,)(\Omega,\mathcal{F},\mathbb{P}). We employ a one-period model from time t=0t=0 to t=Tt=T. Financial positions or assets have a known initial value at time t=0t=0 and a random value at a fixed point in time t=Tt=T. These scalar future outcomes are represented by random variables in Lp=Lp(Ω,,;)L^{p}=L^{p}(\Omega,\mathcal{F},\mathbb{P};\mathbb{R}), p[1,]p\in[1,\infty], the space of equivalence classes of pp-integrable random variables endowed with the LpL^{p}-norm or, in the case p=p=\infty, of essentially bounded random variables endowed with the weak topology σ(L,L1)\sigma(L^{\infty},L^{1}). Future outcomes of dd\in\mathbb{N}, d2d\geq 2 parties in a financial network are represented by multivariate random variables in Ldp=Lp(Ω,,;d)L^{p}_{d}=L^{p}(\Omega,\mathcal{F},\mathbb{P};\mathbb{R}^{d}) endowed with the canonical norm induced by the LpL^{p}-norm (respectively the weak topology if p=p=\infty) and the pp-norm on d\mathbb{R}^{d}.

We indicate scalar future outcomes by capital letters with the subscript TT, for example XTX_{T}, and their known initial prices by lower-case letters with the subscript 0, for example x0x_{0}. In the multivariate case, we use a bold font to simplify the differentiation, for example 𝑿T\bm{X}_{T} and 𝒙0\bm{x}_{0}.

We use the componentwise ordering \leq on d\mathbb{R}^{d}, that means for 𝒙,𝒚d\bm{x},\bm{y}\in\mathbb{R}^{d} we write 𝒙𝒚\bm{x}\leq\bm{y} if and only if xkykx_{k}\leq y_{k} for all k{1,,d}k\in\{1,\ldots,d\}, and we write 𝒙<𝒚\bm{x}<\bm{y} if all inequalities are strict. Furthermore, we use the notation +d={𝒙d𝒙0}\mathbb{R}_{+}^{d}=\{\bm{x}\in\mathbb{R}^{d}\mid\bm{x}\geq 0\} and ++d={𝒙d𝒙>0}\mathbb{R}_{++}^{d}=\{\bm{x}\in\mathbb{R}^{d}\mid\bm{x}>0\} to denote the non-negative and positive orthant of d\mathbb{R}^{d}, respectively. For d=1d=1 we suppress the superscript. For any set AdA\subseteq\mathbb{R}^{d} we denote its power set by 𝒫(A)\mathcal{P}(A).

We define the cones (Ldp)+={𝑿TLdp𝑿T0-a.s.}(L^{p}_{d})_{+}=\{\bm{X}_{T}\in L^{p}_{d}\mid\bm{X}_{T}\geq 0\;\mathbb{P}\text{-a.s.}\} and (Ldp)++={𝑿TLdp𝑿T>0-a.s.}(L^{p}_{d})_{++}=\{\bm{X}_{T}\in L^{p}_{d}\mid\bm{X}_{T}>0\;\mathbb{P}\text{-a.s.}\}.

Finally, we denote the Hadamard product and the Hadamard division of 𝒙,𝒚d\bm{x},\bm{y}\in\mathbb{R}^{d} by

𝒙\scaleobj0.8𝒚=(x1y1,,xdyd)dand𝒙\scaleobj0.8𝒚=(x1y1,,xdyd)d\displaystyle\bm{x}\,\scaleobj{0.8}{\odot}\,\bm{y}=(x_{1}y_{1},\ldots,x_{d}y_{d})^{\intercal}\in\mathbb{R}^{d}\quad\text{and}\quad\bm{x}\,\scaleobj{0.8}{\oslash}\,\bm{y}=\left(\frac{x_{1}}{y_{1}},\ldots,\frac{x_{d}}{y_{d}}\right)^{\intercal}\in\mathbb{R}^{d}\,

respectively.

2.1 Monetary and intrinsic risk measures

In risk measure theory, we can differentiate between acceptable and non-acceptable outcomes with the help of acceptance sets.

Definition 2.1

A set 𝒜Lp\mathcal{A}\subset L^{p} is called an acceptance set if it satisfies

  1. (A1)

    Non-triviality: 𝒜\mathcal{A} is neither empty nor the whole LpL^{p} space, and

  2. (A2)

    Monotonicity: if XT𝒜X_{T}\in\mathcal{A} and YTLpY_{T}\in L^{p} with XTYTX_{T}\leq Y_{T} \mathbb{P}-a.s., then YT𝒜Y_{T}\in\mathcal{A}.

We call the future outcome XTX_{T} of a financial position acceptable if and only if XT𝒜X_{T}\in\mathcal{A}. We will often assume that 𝒜\mathcal{A} is a closed set, that is 𝒜\mathcal{A} is equal to its closure, 𝒜=𝒜¯\mathcal{A}=\bar{\mathcal{A}}. Furthermore, we say an acceptance set 𝒜\mathcal{A} is a cone if it satisfies

  1. (A3)

    Conicity: for all c>0c>0 and XT𝒜X_{T}\in\mathcal{A} we have cXT𝒜cX_{T}\in\mathcal{A},

and we call 𝒜\mathcal{A} convex if it satisfies

  1. (A4)

    Convexity: for all α[0,1]\alpha\in[0,1] and XT,YT𝒜X_{T},Y_{T}\in\mathcal{A} we have αXT+(1α)YT𝒜\alpha X_{T}+(1-\alpha)Y_{T}\in\mathcal{A}.

Properties (A1) and (A2) are intuitively desirable. The acceptance set should be non-trivial such that there are both acceptable and non-acceptable outcomes. Monotonicity implies that any position with an outcome that is \mathbb{P}-a.s. greater than or equal to the outcome of an acceptable position is also acceptable. Conicity implies that any acceptable position can be scaled by a positive factor and still be acceptable. Convexity is of importance when discussing diversification, since it implies that any convex combination of any two acceptable positions is also acceptable.


To quantify the risk of a financial position, we can use this binary structure of acceptability and non-acceptability imposed on the underlying space to construct risk measures.

To this end, we first introduce an eligible asset as a tuple S=(s0,ST)++×(Lp)+S=(s_{0},S_{T})\in\mathbb{R}_{++}\times(L^{p})_{+}. Such an eligible asset is a traded asset with initial unitary price s0s_{0} and random payoff STS_{T} at time TT and serves as an investment vehicle. For more information on this form of eligible assets see (Farkas, Koch-Medina, and Munari, 2014b, a).

Monetary risk measures quantify the risk of a random variable by its distance to the boundary of the acceptance set. The distance is measured by the additional monetary amount that needs to be added through the eligible asset to the current financial position to make it acceptable.

Definition 2.2

Let S++×(Lp)+S\in\mathbb{R}_{++}\times(L^{p})_{+} be an eligible asset and let 𝒜Lp\mathcal{A}\subset L^{p} be an acceptance set. A monetary risk measure ρ𝒜,S:Lp{+,}{\rho_{\mathcal{A},S}\colon L^{p}\to\mathbb{R}\cup\{+\infty,-\infty\}} is defined by

ρ𝒜,S(XT)=inf{mXT+ms0ST𝒜}.\displaystyle\rho_{\mathcal{A},S}(X_{T})=\inf\Big{\{}m\in\mathbb{R}\mid X_{T}+\frac{m}{s_{0}}S_{T}\in\mathcal{A}\Big{\}}.

By definition and by the structure of the acceptance set, monetary risk measures directly satisfy the following properties:

  1. (R1)

    Nonconstant: ρ𝒜,S\rho_{\mathcal{A},S} has at least two distinct values,

  2. (R2)

    SS-additivity: for all XTLpX_{T}\in L^{p}, kk\in\mathbb{R} we have ρ𝒜,S(XT+kSTs0)=ρ𝒜,S(XT)k\rho_{\mathcal{A},S}\big{(}X_{T}+k\frac{S_{T}}{s_{0}}\big{)}=\rho_{\mathcal{A},S}(X_{T})-k,

  3. (R3)

    Monotonicity: for all XT,YTLpX_{T},Y_{T}\in L^{p} if XTYTX_{T}\leq Y_{T} \mathbb{P}-a.s., then ρ𝒜,S(XT)ρ𝒜,S(YT)\rho_{\mathcal{A},S}(X_{T})\geq\rho_{\mathcal{A},S}(Y_{T}).

Properties (R1)-(R3) constitute the basic structure of monetary risk measures. They are direct consequences of the definitions of 𝒜\mathcal{A} and ρ𝒜,S\rho_{\mathcal{A},S} and are shown in the proof of Proposition 3.2.3 in (Munari, 2015).

Furthermore, we call a monetary risk measure positively homogeneous, if it satisfies

  1. (R4)

    Positive homogeneity: for all c>0c>0, XTLpX_{T}\in L^{p} we have ρ𝒜,S(cXT)=cρ𝒜,S(XT)\rho_{\mathcal{A},S}(cX_{T})=c\rho_{\mathcal{A},S}(X_{T}).

Finally, we call a monetary risk measure coherent, as defined by Artzner, Delbaen, Eber, and Heath (1999), if in addition to properties (R1) through (R4) it satisfies

  1. (R5)

    Subadditivity: for all XT,YTLpX_{T},Y_{T}\in L^{p} we have ρ𝒜,S(XT+YT)ρ𝒜,S(XT)+ρ𝒜,S(YT)\rho_{\mathcal{A},S}(X_{T}+Y_{T})\leq\rho_{\mathcal{A},S}(X_{T})+\rho_{\mathcal{A},S}(Y_{T}).

It is noteworthy that under positive homogeneity, subadditivity is equivalent to

  1. (R6)

    Convexity: for all α[0,1]\alpha\in[0,1], and all XT,YTLpX_{T},Y_{T}\in L^{p} we have

    ρ𝒜,S(αXT+(1α)YT)αρ𝒜,S(XT)+(1α)ρ𝒜,S(YT).\displaystyle\rho_{\mathcal{A},S}(\alpha X_{T}+(1-\alpha)Y_{T})\leq\alpha\rho_{\mathcal{A},S}(X_{T})+(1-\alpha)\rho_{\mathcal{A},S}(Y_{T})\,.

Therefore, convex risk measures as in (Föllmer and Schied, 2002, Definition 4.4) naturally arise from coherent risk measures by dropping property (R4) and substituting (R5) with (R6).

Acceptance sets and monetary risk measures exhibit a canonical correspondence which allows us to define one from the other. In Definition 2.2, we used an acceptance set to define a monetary risk measure. Proposition 2.3 describes how a functional satisfying properties (R1)-(R3) defines an acceptance set. Furthermore, it shows how properties (R4) and (R6) can directly be inferred from (A3) and (A4) and vice versa.

Proposition 2.3

Let 𝒜\mathcal{A} be an acceptance set and let ρ𝒜,S\rho_{\mathcal{A},S} be the corresponding monetary risk measure. If 𝒜\mathcal{A} is a cone, then ρ𝒜,S\rho_{\mathcal{A},S} is positively homogeneous, and if 𝒜\mathcal{A} is convex, then ρ𝒜,S\rho_{\mathcal{A},S} is convex

On the other hand, any functional ρS:Lp\rho_{S}\colon L^{p}\to\mathbb{R} satisfying properties (R1)-(R3) defines an acceptance set 𝒜ρ\mathcal{A}_{\rho} via

𝒜ρ={XTLpρS(XT)0}.\displaystyle\mathcal{A}_{\rho}=\left\{X_{T}\in L^{p}\mid\rho_{S}(X_{T})\leq 0\right\}.

If ρS\rho_{S} is positively homogeneous, then 𝒜ρ\mathcal{A}_{\rho} is a cone, and if ρS\rho_{S} is convex, then 𝒜ρ\mathcal{A}_{\rho} is convex.

In particular, ρ𝒜ρ,S=ρS\rho_{\mathcal{A}_{\rho},S}=\rho_{S} and 𝒜ρ𝒜,S𝒜\mathcal{A}_{\rho_{\mathcal{A},S}}\subseteq\mathcal{A} with equality if 𝒜\mathcal{A} is closed.

Proof.

See the proofs of propositions 4.6 and 4.7 in (Föllmer and Schied, 2004) for the case of bounded random variables, or the proofs of propositions 3.2.3, 3.2.4, 3.2.5, and 3.2.8 in (Munari, 2015) for any real ordered topological vector space. ∎

The approach with general eligible assets is versatile and, in particular, allows the use of defaultable investment vehicles. Cash-additive risk measures as in (Artzner, Delbaen, Eber, and Heath, 1999) are a special case with STs0r++\frac{S_{T}}{s_{0}}\equiv r\in\mathbb{R}_{++}. Two monetary risk measures we will use to construct acceptance sets via Proposition 2.3 in Section 5 are Value-at-Risk and Expected Shortfall.

Definition 2.4

Let XLpX\in L^{p} and α(0,1)\alpha\in(0,1). The Value-at-Risk at level α\alpha is defined as

VaRα(X)=inf{m[X+m<0]α},\displaystyle\operatorname*{\mathrm{VaR}}\nolimits_{\alpha}(X)=\inf\{m\in\mathbb{R}\mid\mathbb{P}[X+m<0]\leq\alpha\}\,,

and the Expected Shortfall at level α\alpha is defined as

ESα(X)=1α0αVaRβ(X)dβ.\displaystyle\operatorname*{\mathrm{ES}}\nolimits_{\alpha}(X)=\frac{1}{\alpha}\int_{0}^{\alpha}\operatorname*{\mathrm{VaR}}\nolimits_{\beta}(X)\,d\beta\,.

Intrinsic risk measures are also defined via eligible assets and acceptance sets, but their underlying management operation is different. The methodology of Farkas and Smirnow (2018) relies on restructuring the unacceptable position instead of adding external capital.

Definition 2.5

Let 𝒜\mathcal{A} be an acceptance set and let S=(s0,ST)++×𝒜S=(s_{0},S_{T})\in\mathbb{R}_{++}\times\mathcal{A} be an eligible asset. The intrinsic risk measure is a functional ρ𝒜,Sint:++×Lp[0,1]\rho^{\mathrm{int}}_{\mathcal{A},S}\colon\mathbb{R}_{++}\times L^{p}\to[0,1] defined as

ρ𝒜,Sint(X)=inf{λ[0,1](1λ)XT+λx0s0ST𝒜}.\rho^{\mathrm{int}}_{\mathcal{A},S}(X)=\inf\Big{\{}\lambda\in\left[0,1\right]\mid(1-\lambda)X_{T}+\lambda\frac{x_{0}}{s_{0}}S_{T}\in\mathcal{A}\Big{\}}. (2.1)

In this approach, a percentage λ[0,1]\lambda\in[0,1] of the initial position XTX_{T} is sold at the initial price x0x_{0}. The received monetary value λx0\lambda x_{0} is then reinvested in the eligible asset with return STs0\frac{S_{T}}{s_{0}} resulting in the convex combination

XTλ,S(1λ)XT+λx0s0ST.\displaystyle X_{T}^{\lambda,S}\coloneqq(1-\lambda)X_{T}+\lambda\frac{x_{0}}{s_{0}}S_{T}\,. (2.2)

The intrinsic risk measure returns the smallest λ\lambda such that XTλ,SX_{T}^{\lambda,S} is acceptable, at least in the extended sense that XTλ,S𝒜¯X_{T}^{\lambda,S}\in\bar{\mathcal{A}}, for suitable choices of STS_{T} and 𝒜\mathcal{A}. For more details see the discussion below Definition 3.1 in (Farkas and Smirnow, 2018).

Similarly to monetary risk measures, intrinsic risk measures are decreasing when we choose a suitable order on ++×Lp\mathbb{R}_{++}\times L^{p}. However, in contrast to the convex correspondence between an acceptance set and its monetary risk measure, convexity of the acceptance set corresponds to quasi-convexity of the intrinsic risk measure. The proof of the following assertions can be found in (Farkas and Smirnow, 2018, Proposition 3.1).

Let 𝒜\mathcal{A} be an acceptance set including 0 and let S++×𝒜S\in\mathbb{R}_{++}\times\mathcal{A} be an eligible asset. Then the intrinsic risk measure satisfies

  1. 1.

    Element-wise monotonicity: if x0y0x_{0}\geq y_{0} and XTYTX_{T}\geq Y_{T}, then ρ𝒜,Sint(X)ρ𝒜,Sint(Y)\rho^{\mathrm{int}}_{\mathcal{A},S}(X)\leq\rho^{\mathrm{int}}_{\mathcal{A},S}(Y).

  2. 2.

    Return-wise monotonicity: if 𝒜\mathcal{A} is a cone and XTx0YTy0\frac{X_{T}}{x_{0}}\geq\frac{Y_{T}}{y_{0}}, then ρ𝒜,Sint(X)ρ𝒜,Sint(Y)\rho^{\mathrm{int}}_{\mathcal{A},S}(X)\leq\rho^{\mathrm{int}}_{\mathcal{A},S}(Y).

  3. 3.

    Quasi-convexity: if 𝒜\mathcal{A} is convex, then for all α[0,1]\alpha\in[0,1] and all X,Y++×Lp{X,Y\in\mathbb{R}_{++}\times L^{p}} we have

    ρ𝒜,Sint(αX+(1α)Y)max{ρ𝒜,Sint(X),ρ𝒜,Sint(Y)}.\displaystyle\rho^{\mathrm{int}}_{\mathcal{A},S}(\alpha X+(1-\alpha)Y)\leq\max\{\rho^{\mathrm{int}}_{\mathcal{A},S}(X),\rho^{\mathrm{int}}_{\mathcal{A},S}(Y)\}\,.

Quasi-convexity precisely represents the diversification principle, which states that diversification should not increase risk. Intrinsic risk measures with respect to convex acceptance sets satisfy this principle and do not penalise diversification. On the other hand, monetary risk measures use convexity to represent the diversification principle, which is possible, since convexity and quasi-convexity are equivalent under SS-additivity, see also (Cerreia-Vioglio, Maccheroni, Marinacci, and Montrucchio, 2011) and the references therein for the case with s0=1s_{0}=1 and ST=1S_{T}=1 \mathbb{P}-a.s.  (i.e. cash-additive).

We show in Proposition 3.4 and Proposition 3.5 that these properties translate to the intrinsic measure of systemic risk.

2.2 Measures of systemic risk

While monetary and intrinsic risk measures can quantify the risk of a single isolated financial institution or position, they are not suitable to measure the systemic risk of a financial system. In this section, we turn to financial systems with d2d\geq 2 participants. As mentioned in the introduction, risk measures of the form ρΛ:Ldp\rho\circ\Lambda:L^{p}_{d}\to\mathbb{R} might discard crucial information, as capital is added after aggregation to the whole system so that identifying and understanding the source of the risk becomes difficult. In order to be most useful for regulators to recognise and mitigate systemic risk and prevent cascades of risk, one can add risk capital to each institution separately before aggregation. This way, the risk capital of single participants or groups of participants can be adjusted while observing the effects on the whole system. For this reason we adopt the set-valued approach of Feinstein, Rudloff, and Weber (2017), where the authors search for all capital allocations 𝒌d\bm{k}\in\mathbb{R}^{d} such that Λ(𝑿T+𝒌)\Lambda(\bm{X}_{T}+\bm{k}) belongs to the acceptance set 𝒜\mathcal{A}. For the sake of consistency, we generalise Definition 2.2 in (Feinstein, Rudloff, and Weber, 2017) to 𝑺\bm{S}-additive systemic risk measures.

Consider an interconnected network of d2d\geq 2 financial institutions enumerated by {1,,d}\{1,\ldots,d\}. Let the random vector 𝑿T=(XT1,,XTd)Ldp\bm{X}_{T}=(X_{T}^{1},\ldots,X_{T}^{d})^{\intercal}\in L^{p}_{d} denote their future wealths. In order to use univariate acceptance sets, we need the concept of an aggregation function as a mechanism to map random vectors to univariate random variables.

Definition 2.6

An aggregation function is a non-constant, non-decreasing function Λ:d\Lambda\colon\mathbb{R}^{d}\to\mathbb{R}. This means that Λ\Lambda has at least two distinct values and that if 𝒙𝒚\bm{x}\leq\bm{y}, then Λ(𝒙)Λ(𝒚)\Lambda(\bm{x})\leq\Lambda(\bm{y}).

Furthermore, an aggregation function can be concave or positively homogeneous. If these properties are required, we list them explicitly. For an overview and a discussion of specific examples of aggregation functions see (Feinstein, Rudloff, and Weber, 2017, Example 2.1) and the references given therein.

Definition 2.7

Let 𝒜\mathcal{A} be an acceptance set, let Λ\Lambda be an aggregation function, and let 𝑺=(𝒔0,𝑺T)++d×(Ldp)+\bm{S}=(\bm{s}_{0},\bm{S}_{T})\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+} be a vector of eligible assets. A set-valued measure of systemic risk is a functional R𝑺:Ldp𝒫(d)R_{\bm{S}}\colon L^{p}_{d}\to\mathcal{P}(\mathbb{R}^{d}) defined by

R𝑺(𝑿T)\displaystyle R_{\bm{S}}(\bm{X}_{T}) ={𝒌dΛ(𝑿T+𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜}.\displaystyle=\big{\{}\bm{k}\in\mathbb{R}^{d}\mid\Lambda(\bm{X}_{T}+\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\big{\}}\,. (2.3)

We will refer to these measures also as monetary measures of systemic risk, as an additional monetary amount 𝒌\bm{k} is added to the system. This will make it easier to differentiate these measures from the intrinsic type defined in Definition 3.1.

In the following, we collect some important properties of R𝑺R_{\bm{S}}. The proofs can be found in Appendix A. Note that these proofs generalise the corresponding proofs of the properties for the case 𝒔0=𝟏\bm{s}_{0}=\bm{1} and 𝑺T=𝟏\bm{S}_{T}=\bm{1} \mathbb{P}-a.s. which can be found in Ararat and Rudloff (2020) and Feinstein, Rudloff, and Weber (2017).

Proposition 2.8

Let 𝒜\mathcal{A}, Λ\Lambda and 𝐒\bm{S} be as in Definition 2.7. Then R𝐒:Ldp𝒫(d)R_{\bm{S}}\colon L^{p}_{d}\to\mathcal{P}(\mathbb{R}^{d}) as defined in (2.3) satisfies the following properties:

  1. (i)

    Values of R𝑺R_{\bm{S}} are upper sets: for all 𝑿TLdp:R𝑺(𝑿T)=R𝑺(𝑿T)++d\bm{X}_{T}\in L^{p}_{d}\colon R_{\bm{S}}(\bm{X}_{T})=R_{\bm{S}}(\bm{X}_{T})+\mathbb{R}^{d}_{+}.

  2. (ii)

    𝑺\bm{S}-additivity: for all 𝑿TLdp\bm{X}_{T}\in L^{p}_{d} and d:R𝑺(𝑿T+\scaleobj0.8𝑺T\scaleobj0.8𝒔0)=R𝑺(𝑿T)\bm{\ell}\in\mathbb{R}^{d}\colon R_{\bm{S}}(\bm{X}_{T}+\bm{\ell}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})=R_{\bm{S}}(\bm{X}_{T})-\bm{\ell}.

  3. (iii)

    Monotonicity: for any 𝑿T,𝒀TLdp\bm{X}_{T},\bm{Y}_{T}\in L^{p}_{d} with 𝑿T𝒀T-a.s.:R𝑺(𝑿T)R𝑺(𝒀T)\bm{X}_{T}\leq\bm{Y}_{T}\;\mathbb{P}\text{-a.s.}\colon R_{\bm{S}}(\bm{X}_{T})\subseteq R_{\bm{S}}(\bm{Y}_{T}).

Moreover, if 𝒜\mathcal{A} is a cone and Λ\Lambda is positively homogeneous, then R𝐒R_{\bm{S}} also satisfies

  1. (iv)

    Positive homogeneity: for all 𝑿TLdp\bm{X}_{T}\in L^{p}_{d} and c>0:R𝑺(c𝑿T)=cR𝑺(𝑿T)c>0\colon R_{\bm{S}}(c\bm{X}_{T})=cR_{\bm{S}}(\bm{X}_{T}).

Finally, if 𝒜\mathcal{A} is convex and Λ\Lambda concave, the following properties hold:

  1. (v)

    Convexity: for all 𝑿T,𝒀TLdp\bm{X}_{T},\bm{Y}_{T}\in L^{p}_{d} and α[0,1]\alpha\in[0,1] we have

    R𝑺(α𝑿T+(1α)𝒀T)αR𝑺(𝑿T)+(1α)R𝑺(𝒀T),\displaystyle R_{\bm{S}}(\alpha\bm{X}_{T}+(1-\alpha)\bm{Y}_{T})\supseteq\alpha R_{\bm{S}}(\bm{X}_{T})+(1-\alpha)R_{\bm{S}}(\bm{Y}_{T})\,,
  2. (vi)

    R𝑺R_{\bm{S}} has convex values: for all 𝑿TLdp\bm{X}_{T}\in L^{p}_{d} the set R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}) is a convex set in d\mathbb{R}^{d}.

The properties in Proposition 2.8 show that risk measures as in Equation 2.3 are a natural generalisation of univariate monetary risk measures. Properties (ii)-(v) can be interpreted in analogy to the corresponding properties of scalar monetary risk measures. Properties (i) and (vi) are particularly useful for the numerical approximation of the values. Furthermore, the upper set property allows the efficient communication of risk measurements R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}) through efficient cash invariant allocation rules (EARs). For more details see (Feinstein, Rudloff, and Weber, 2017). In addition to these properties, the set R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}) is closed whenever Λ\Lambda is continuous and 𝒜\mathcal{A} is closed, see also (Feinstein, Rudloff, and Weber, 2017, Lemma 2.4 (iii)). Some of these properties will be discussed in more detail in Section 3.

In analogy to univariate monetary risk measures, the defining management action dictates the institutions in the financial system to adjust their capital holdings by raising capital and investing it in a prespecified asset such that the system can be deemed acceptable. In the following section, we will explore a different management action without the use of external capital.

3 Intrinsic measures of systemic risk

In this section, we introduce the novel intrinsic measures of systemic risk. We continue working in the framework of an interconnected network of d2d\geq 2 participants. However, in contrast to monetary measures of systemic risk as defined in Definition 2.7, we will not rely on external capital. Instead, each participant of the network needs to improve their own position by shifting it towards a specified eligible position. A regulatory authority can specify these eligible positions or restrict their choice to certain classes of assets for each participant individually. In this paper, we only discuss the first case, i.e. the case where the regulator specifies one eligible position for each participant in the network. A network in which each participant holds only eligible positions should be acceptable when aggregated, as described in Proposition 3.3.

In the following section, we define the intrinsic systemic risk measures and derive and discuss their most important properties.

3.1 Intrinsic measures of systemic risk and their properties

As in Section 2.2, we collect eligible assets and their initial values in a tuple of vectors 𝑺=(𝒔0,𝑺T)++d×(Ldp)+\bm{S}=(\bm{s}_{0},\bm{S}_{T})\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}. In addition to the random vector 𝑿T\bm{X}_{T}, we also need the initial values of each of the participants’ future values, 𝒙0\bm{x}_{0}, so we extend financial positions to tuples 𝑿=(𝒙0,𝑿T)++d×(Ldp)+\bm{X}=(\bm{x}_{0},\bm{X}_{T})\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}.

The shift from the current position towards an eligible position can mathematically be expressed as a convex combination of two random variables. Since each participant’s position can be altered individually, we extend the notation introduced in Equation 2.2 element-wise to a multivariate random variable. For a financial network with a vector of endowments 𝑿=(𝒙0,𝑿T)++d×(Ldp)+\bm{X}=(\bm{x}_{0},\bm{X}_{T})\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}, a collection of eligible assets 𝑺=(𝒔0,𝑺T)++d×(Ldp)+\bm{S}=(\bm{s}_{0},\bm{S}_{T})\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}, and a vector of coefficients 𝝀[0,1]d\bm{\lambda}\in[0,1]^{d} we define the random vector

𝑿T𝝀,𝑺\displaystyle\bm{X}_{T}^{\bm{\lambda},\bm{S}} =(1𝝀)\scaleobj0.8𝑿T+𝝀\scaleobj0.8𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0=((XT1)λ1,S1,,(XTd)λd,Sd)(Ldp)+.\displaystyle=(1-\bm{\lambda})\,\scaleobj{0.8}{\odot}\,\bm{X}_{T}+\bm{\lambda}\,\scaleobj{0.8}{\odot}\,\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}=\Big{(}(X^{1}_{T})^{\lambda^{1},S^{1}}\,,\,\ldots\,,\,(X^{d}_{T})^{\lambda^{d},S^{d}}\Big{)}^{\intercal}\in(L^{p}_{d})_{+}\,.

This is the element-wise convex combination of 𝑿T\bm{X}_{T} and 𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0} given by the coefficients collected in 𝝀\bm{\lambda}. In this framework, each participant’s financial position XT1,,XTdX_{T}^{1},\ldots,X_{T}^{d} can be altered by a different fraction λ1,,λd\lambda^{1},\ldots,\lambda^{d} and by using a different eligible asset ST1,,STdS^{1}_{T},\ldots,S^{d}_{T}, respectively. Assuming a choice for all dd eligible assets has been made, we aim to find all vectors 𝝀[0,1]d\bm{\lambda}\in[0,1]^{d} such that the aggregated position Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}_{T}^{\bm{\lambda},\bm{S}}) belongs to the acceptance set 𝒜\mathcal{A}.

Definition 3.1

Let Λ\Lambda be an aggregation function and 𝒜\mathcal{A} an acceptance set. Let 𝑺++d×(Ldp)+\bm{S}\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+} be a vector-valued eligible asset. An intrinsic measure of systemic risk is a map R𝑺int:++d×(Ldp)+𝒫([0,1]d)R_{\bm{S}}^{\mathrm{int}}\colon\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}\rightarrow\mathcal{P}([0,1]^{d}) defined as

R𝑺int(𝑿)={𝝀[0,1]dΛ(𝑿T𝝀,𝑺)𝒜}.R_{\bm{S}}^{\mathrm{int}}(\bm{X})=\{\bm{\lambda}\in[0,1]^{d}\mid\Lambda(\bm{X}_{T}^{\bm{\lambda},\bm{S}})\in\mathcal{A}\}\,. (3.1)

It is important to note that we define intrinsic systemic risk measures on ++d×(Ldp)+\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+}. This means XTkX_{T}^{k} represents the future value of the asset side of the balance sheet of institution kk. In particular, 𝑿T\bm{X}_{T} has non-negative values.

Remark 3.2

The choice of non-negative 𝑿T\bm{X}_{T} allows for the most useful operational interpretation of the intrinsic systemic risk measure. In the context of the element-wise convex combination 𝑿T𝝀,𝑺\bm{X}_{T}^{\bm{\lambda},\bm{S}}, the term (1𝝀)\scaleobj0.8𝑿T(1-\bm{\lambda})\,\scaleobj{0.8}{\odot}\,\bm{X}_{T} should be interpreted as the future value of a system 𝑿T\bm{X}_{T} after a fraction 𝝀\bm{\lambda} has been sold. In general, it would not have the intended operational interpretation if 𝑿T\bm{X}_{T} denoted the net worth of the institutions, that is, assets minus liabilities, as liabilities would also be scaled. Only in specific situations, for example with operational costs that are reduced when assets are sold, this interpretation may be accurate. For this reason, we consider assets and liabilities separately. Since in the multivariate framework we make use of aggregation functions, we can incorporate liabilities through them, or if not possible, through the acceptance set. Network models as studied in Section 5 go hand in hand with our framework. This stands in contrast to univariate intrinsic risk measures, where such a restriction is not imposed. There, if one wants to split assets and liabilities, liabilities need to be incorporated via the acceptance set.

As a technical remark, we note that R𝑺intR_{\bm{S}}^{\mathrm{int}} is always well-defined, since 𝒫([0,1]d)\emptyset\in\mathcal{P}([0,1]^{d}) is vacuously true. This is different for the univariate intrinsic risk measure in Equation 2.1, where ρ𝒜,Sint\rho^{\mathrm{int}}_{\mathcal{A},S} is only well defined if x0s0ST𝒜\frac{x_{0}}{s_{0}}S_{T}\in\mathcal{A}, see (Farkas and Smirnow, 2018, below Definition 3.1). However, an empty risk measure has a similar meaning as the value ++\infty for univariate monetary risk measures, namely that the choices of 𝒜\mathcal{A}, Λ\Lambda, and 𝑺\bm{S} cannot yield an acceptable system.

Since the aggregation function and the acceptance set can be thought of as restrictions on the system imposed by a regulatory authority, we assume that these objects are given and have certain properties. In this case, we must choose suitable eligible assets to ensure that R𝑺int(𝑿)R_{\bm{S}}^{\mathrm{int}}(\bm{X}) is not an empty set.

Proposition 3.3

Let Λ\Lambda be an aggregation function and let 𝒜\mathcal{A} be an acceptance set. Let 𝐗\bm{X} be an unacceptable system in the sense that Λ(𝐗T)𝒜\Lambda(\bm{X}_{T})\notin\mathcal{A}. If the eligible asset 𝐒\bm{S} satisfies Λ(𝐱0\scaleobj0.8𝐒T\scaleobj0.8𝐬0)𝒜\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}, then R𝐒int(𝐗)R^{\mathrm{int}}_{\bm{S}}(\bm{X})\neq\emptyset.

Proof.

Notice that Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)=Λ(𝑿T𝟏,𝑺)\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})=\Lambda(\bm{X}_{T}^{\bm{1},\bm{S}}) and hence, 𝟏R𝑺int(𝑿)\bm{1}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}). ∎

This requirement makes sense intuitively. A system in which each agent has fully invested in their eligible asset needs to be acceptable. This system corresponds to the coefficient vector 𝟏\bm{1} and marks the end point of the path from 𝑿T\bm{X}_{T} to 𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}. However, the condition Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A} is not necessary for R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X})\neq\emptyset, as can be seen in Figure 5.4.


In the following, we collect basic properties of intrinsic measures of systemic risk. To this end, let Λ\Lambda be an aggregation function and let 𝒜\mathcal{A} be an acceptance set.

Proposition 3.4 (Monotonicity)

R𝑺intR_{\bm{S}}^{\mathrm{int}} is monotonic in the sense that if 𝐱0𝐲0\bm{x}_{0}\leq\bm{y}_{0} and 𝐗T𝐘T\bm{X}_{T}\leq\bm{Y}_{T} \mathbb{P}-a.s., then R𝐒int(𝐗)R𝐒int(𝐘)R_{\bm{S}}^{\mathrm{int}}(\bm{X})\subseteq R_{\bm{S}}^{\mathrm{int}}(\bm{Y}).

Proof.

Let 𝒙0𝒚0\bm{x}_{0}\leq\bm{y}_{0} and 𝑿T𝒀T\bm{X}_{T}\leq\bm{Y}_{T}, and take 𝝀R𝑺int(𝑿)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}). Notice that

(1𝝀)\scaleobj0.8𝑿T+𝝀\scaleobj0.8𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0(1𝝀)\scaleobj0.8𝒀T+𝝀\scaleobj0.8𝒚0\scaleobj0.8𝑺T\scaleobj0.8𝒔0.\displaystyle(1-\bm{\lambda})\,\scaleobj{0.8}{\odot}\,\bm{X}_{T}+\bm{\lambda}\,\scaleobj{0.8}{\odot}\,\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\leq(1-\bm{\lambda})\,\scaleobj{0.8}{\odot}\,\bm{Y}_{T}+\bm{\lambda}\,\scaleobj{0.8}{\odot}\,\bm{y}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\,.

Since Λ\Lambda is non-decreasing, the assertion follows by the monotonicity of 𝒜\mathcal{A}. ∎

Proposition 3.5 (Quasi-convexity)

If 𝒜\mathcal{A} is convex and Λ\Lambda is concave, then R𝐒intR^{\mathrm{int}}_{\bm{S}} is quasi-convex, that is, for all α[0,1]\alpha\in[0,1] and for all 𝐗,𝐘++d×(Ldp)+\bm{X},\bm{Y}\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+} we have

R𝑺int(𝑿)R𝑺int(𝒀)\displaystyle R_{\bm{S}}^{\mathrm{int}}(\bm{X})\cap R_{\bm{S}}^{\mathrm{int}}(\bm{Y}) R𝑺int(α𝑿+(1α)𝒀).\displaystyle\subseteq R_{\bm{S}}^{\mathrm{int}}(\alpha\bm{X}+(1-\alpha)\bm{Y})\,. (3.2)
Proof.

If R𝑺int(𝑿)R𝑺int(𝒀)=R_{\bm{S}}^{\mathrm{int}}(\bm{X})\cap R_{\bm{S}}^{\mathrm{int}}(\bm{Y})=\emptyset, there is nothing to prove. Assume now that R𝑺int(𝑿)R𝑺int(𝒀)R_{\bm{S}}^{\mathrm{int}}(\bm{X})\cap R_{\bm{S}}^{\mathrm{int}}(\bm{Y}) is not empty. Take any 𝝀R𝑺int(𝑿)R𝑺int(𝒀)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X})\cap R_{\bm{S}}^{\mathrm{int}}(\bm{Y}), then Λ(𝑿T𝝀,𝑺)\Lambda\big{(}\bm{X}_{T}^{\bm{\lambda},\bm{S}}\big{)} and Λ(𝒀T𝝀,𝑺)\Lambda\big{(}\bm{Y}_{T}^{\bm{\lambda},\bm{S}}\big{)} are contained in 𝒜\mathcal{A}. Notice that

(1𝝀)\displaystyle(1-\bm{\lambda}) \scaleobj0.8(α𝑿T+(1α)𝒀T)+𝝀\scaleobj0.8(α𝒙0+(1α)𝒚0)\scaleobj0.8𝑺T\scaleobj0.8𝒔0\displaystyle\,\scaleobj{0.8}{\odot}\,(\alpha\bm{X}_{T}+(1-\alpha)\bm{Y}_{T})+\bm{\lambda}\,\scaleobj{0.8}{\odot}\,(\alpha\bm{x}_{0}+(1-\alpha)\bm{y}_{0})\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}
=α𝑿T𝝀,𝑺+(1α)𝒀T𝝀,𝑺.\displaystyle=\alpha\bm{X}_{T}^{\bm{\lambda},\bm{S}}+(1-\alpha)\bm{Y}_{T}^{\bm{\lambda},\bm{S}}\,.

By convexity of 𝒜\mathcal{A}, the convex combination αΛ(𝑿T𝝀,𝑺)+(1α)Λ(𝒀T𝝀,𝑺)\alpha\Lambda\big{(}\bm{X}_{T}^{\bm{\lambda},\bm{S}}\big{)}+(1-\alpha)\Lambda\big{(}\bm{Y}_{T}^{\bm{\lambda},\bm{S}}\big{)} is contained in 𝒜\mathcal{A} and by monotonicity of 𝒜\mathcal{A} and concavity of Λ\Lambda, also Λ(α𝑿T𝝀,𝑺+(1α)𝒀T𝝀,𝑺)𝒜\Lambda\big{(}\alpha\bm{X}_{T}^{\bm{\lambda},\bm{S}}+(1-\alpha)\bm{Y}_{T}^{\bm{\lambda},\bm{S}}\big{)}\in\mathcal{A}. Hence, 𝝀R𝑺int(α𝑿+(1α)𝒀)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\alpha\bm{X}+(1-\alpha)\bm{Y}). ∎

Property (3.2) is a set-valued version of quasi-convexity. The intersection is the set-valued counterpart of a maximum and the subset relation corresponds to the ordering relation \geq. Monotonicity and quasi-convexity are the most important properties a risk measure should satisfy. Monotonicity implies that all the management actions that make a system of assets 𝑿\bm{X} acceptable will also make a system 𝒀\bm{Y} with larger asset values acceptable. This is also important from a modelling perspective, as the management actions resulting from overestimating risk will not have an adverse effect on the systemic risk. Quasi-convexity implements the notion of the diversification principle. In our set-valued framework, this means that management actions which make both systems 𝑿\bm{X} and 𝒀\bm{Y} acceptable will also make any convex combination of them acceptable.

We turn to show two regularity properties which are of particular value for the numerical approximation of intrinsic systemic risk measures.

Proposition 3.6 (Closed values)

Let Λ\Lambda be continuous and let 𝒜\mathcal{A} be closed. Then R𝐒intR^{\mathrm{int}}_{\bm{S}} has closed values, that is, for all 𝐗++d×(Ldp)+\bm{X}\in\mathbb{R}^{d}_{++}\times(L^{p}_{d})_{+} the set R𝐒int(𝐗)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) is a closed subset of [0,1]d[0,1]^{d}.

Proof.

Let R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X})\neq\emptyset and let (𝝀n)nR𝑺int(𝑿)(\bm{\lambda}_{n})_{n\in\mathbb{N}}\subset R^{\mathrm{int}}_{\bm{S}}(\bm{X}) be a sequence that converges to some 𝝀[0,1]d\bm{\lambda}\in[0,1]^{d}. Notice that 𝑿T𝝀n,𝑺𝑿T𝝀,𝑺=(𝝀𝝀n)\scaleobj0.8(𝑿T𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\bm{X}^{\bm{\lambda}_{n},\bm{S}}_{T}-\bm{X}^{\bm{\lambda},\bm{S}}_{T}=(\bm{\lambda}-\bm{\lambda}_{n})\,\scaleobj{0.8}{\odot}\,(\bm{X}_{T}-\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}). This gives us

𝑿T𝝀n,𝑺𝑿T𝝀,𝑺Ldpmaxk{1,,d}XTkx0kSTks0kLp|𝝀𝝀n|p.\displaystyle\|\bm{X}^{\bm{\lambda}_{n},\bm{S}}_{T}-\bm{X}^{\bm{\lambda},\bm{S}}_{T}\|_{L^{p}_{d}}\leq\max_{k\in\{1,\ldots,d\}}\Big{\|}X_{T}^{k}-\frac{x_{0}^{k}S_{T}^{k}}{s_{0}^{k}}\Big{\|}_{L^{p}}\cdot|\bm{\lambda}-\bm{\lambda}_{n}|_{p}\,.

Since Λ\Lambda is continuous, we get a sequence Λ(𝑿T𝝀n,𝑺)n𝒜\Lambda(\bm{X}^{\bm{\lambda}_{n},\bm{S}}_{T})_{n\in\mathbb{N}}\subset\mathcal{A} that converges to Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T}). Since 𝒜\mathcal{A} is closed, the limit Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T}) is also contained in 𝒜\mathcal{A}. Hence 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}). ∎

Many important examples of acceptance sets are closed, such as the ones associated with Value-at-Risk and Expected Shortfall. While in the financial literature closedness is often required to simplify mathematical technicalities, it has also a financial relevance. Closedness of the acceptance set prevents unacceptable positions to become acceptable through arbitrarily small perturbations, see also (Munari, 2015, Section 2.2.3). With continuity of Λ\Lambda this interpretation translates to the set-valued framework.

Proposition 3.7 (Convex values)

If Λ\Lambda is concave and 𝒜\mathcal{A} is convex, then for any 𝐗++d×Ldp\bm{X}\in\mathbb{R}^{d}_{++}\times L^{p}_{d} the set R𝐒int(𝐗)R_{\bm{S}}^{\mathrm{int}}(\bm{X}) is convex.

Proof.

Assume that R𝑺int(𝑿)R_{\bm{S}}^{\mathrm{int}}(\bm{X}) is not empty, or else there is nothing to show. Let 𝝀1,𝝀2R𝑺int(𝑿)\bm{\lambda}_{1},\bm{\lambda}_{2}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}) and for α[0,1]\alpha\in[0,1] define 𝝀α=α𝝀1+(1α)𝝀2[0,1]d\bm{\lambda}_{\alpha}=\alpha\bm{\lambda}_{1}+(1-\alpha)\bm{\lambda}_{2}\in[0,1]^{d}. Notice that

𝑿T𝝀α,S\displaystyle\bm{X}_{T}^{\bm{\lambda}_{\alpha},S} =(1α𝝀1(1α)𝝀2)\scaleobj0.8𝑿T+(α𝝀1+(1α)𝝀2)\scaleobj0.8𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0\displaystyle=(1-\alpha\bm{\lambda}_{1}-(1-\alpha)\bm{\lambda}_{2})\,\scaleobj{0.8}{\odot}\,\bm{X}_{T}+(\alpha\bm{\lambda}_{1}+(1-\alpha)\bm{\lambda}_{2})\,\scaleobj{0.8}{\odot}\,\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}
=α𝑿T𝝀1,𝑺+(1α)𝑿T𝝀2,𝑺.\displaystyle=\alpha\bm{X}_{T}^{\bm{\lambda}_{1},\bm{S}}+(1-\alpha)\bm{X}_{T}^{\bm{\lambda}_{2},\bm{S}}\,.

Hence, by concavity of Λ\Lambda we have

Λ(𝑿T𝝀α,𝑺)αΛ(𝑿T𝝀1,𝑺)+(1α)Λ(𝑿T𝝀2,𝑺).\displaystyle\Lambda(\bm{X}_{T}^{\bm{\lambda}_{\alpha},\bm{S}})\geq\alpha\Lambda(\bm{X}_{T}^{\bm{\lambda}_{1},\bm{S}})+(1-\alpha)\Lambda(\bm{X}_{T}^{\bm{\lambda}_{2},\bm{S}})\,.

Since both Λ(𝑿T𝝀1,𝑺)\Lambda(\bm{X}_{T}^{\bm{\lambda}_{1},\bm{S}}) and Λ(𝑿T𝝀2,𝑺)\Lambda(\bm{X}_{T}^{\bm{\lambda}_{2},\bm{S}}) are contained in 𝒜\mathcal{A}, we know by convexity and monotonicity of 𝒜\mathcal{A} that Λ(𝑿T𝝀α,𝑺)𝒜\Lambda(\bm{X}_{T}^{\bm{\lambda}_{\alpha},\bm{S}})\in\mathcal{A} and thus, 𝝀αR𝑺int(𝑿)\bm{\lambda}_{\alpha}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}) for all α[0,1]\alpha\in[0,1]. ∎

Convexity of the acceptance set corresponds to the diversification principle. However, since we work with random vectors, we must aggregate them accordingly, which is achieved by requiring that Λ\Lambda is concave. Indeed, concavity is in line with the diversification principle, as the aggregation of a convex combination of two systems should not reduce the value when compared to the convex combination of two aggregated systems. This way, convexity of 𝒜\mathcal{A} is passed on to R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}). Furthermore, there is a wide range of numerical methods for the approximation and representation of convex sets. In Section 3.2, we will see that convexity allows for a modification of the algorithm for the computation of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) that makes the approximation faster for the same accuracy or more accurate when performing the same number of iterations.

Remark 3.8

An important and useful property of monetary systemic risk measures is the upper set property stated in Proposition 2.8 (i). It motivates the definition of EARs in (Feinstein, Rudloff, and Weber, 2017, Definition 3.3), which can be interpreted as minimal capital requirements for the participants of a financial system, and the communication of which is easier compared to the whole systemic risk measure. Furthermore, the upper set property lays the basis for the algorithm presented in (Feinstein, Rudloff, and Weber, 2017, Section 4). In contrast, intrinsic systemic risk measures do not, in general, exhibit this property, as one can see for example in Figure 5.2. We will attempt to give an intuitive explanation for this.

The upper set property is essentially a consequence of the monotonicity of Λ\Lambda and 𝒜\mathcal{A}, as shown in Appendix A. This means, any participant of an acceptable system is free to add an arbitrary amount of capital through their eligible asset without influencing the acceptability of the system. In particular, intra- and inter-dependencies of 𝑿T\bm{X}_{T} and 𝑺T\bm{S}_{T} are irrelevant.

In the intrinsic approach, however, no external capital is injected into the system. Instead, the system is translated element-wise to a system of eligible assets and, in general, the partial order on LdpL^{p}_{d} is not enough to compare the resulting positions. In particular, the set R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) depends on the interplay of 𝑿\bm{X} and 𝑺\bm{S}. For example, assume the elements of 𝑿T=(XT1,XT2)\bm{X}_{T}=(X_{T}^{1},X_{T}^{2})^{\intercal} are negatively correlated and the eligible vector 𝑺T\scaleobj0.8𝒔0=(r,r)\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}=(r,r)^{\intercal} is constant. If one institution decreases its holding in its original position and increases its holding in the eligible asset, the correlation between the institutions increases. This in turn can result in an unacceptable aggregate system. So since the management action in the intrinsic approach does not rely on external capital injections, it is more sensitive to the overall dependency structure of the system and the eligible assets.

The definition of a concept similar to EARs is still possible, as will be discussed in Section 3.2. However, on a stand-alone basis, institutions are in general not allowed to increase their holdings in the eligible assets beyond the prescribed proportion 𝝀\bm{\lambda}.

For convex R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) the lack of the upper set property is not a drawback for the computational approximation. For conic acceptance sets and concave aggregation functions, an additional assumption is sufficient to apply the algorithm described in Section 3.2, see Proposition 3.9.

Proposition 3.9

Let Λ\Lambda be concave and let 𝒜\mathcal{A} be a cone. Assume that the eligible asset satisfies Λ(𝐱0\scaleobj0.8𝐒T\scaleobj0.8𝐬0)0\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\geq 0. If 𝛌R𝐒int(𝐗)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}), then for α[0,1]\alpha\in[0,1] we have (1α)𝛌+α𝟏R𝐒int(𝐗)(1-\alpha)\bm{\lambda}+\alpha\bm{1}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}).

Proof.

Let α[0,1]\alpha\in[0,1]. Since 𝝀R𝑺int(𝑿)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}), the aggregated position Λ(XT𝝀,𝑺)\Lambda(X^{\bm{\lambda},\bm{S}}_{T}) is contained in 𝒜\mathcal{A}, and since 𝒜\mathcal{A} is a cone, also (1α)Λ(XT𝝀,𝑺)(1-\alpha)\Lambda(X^{\bm{\lambda},\bm{S}}_{T}) is contained in 𝒜\mathcal{A}. By concavity of Λ\Lambda, we arrive at

Λ((1α)𝑿T𝝀,𝑺+α(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0))\displaystyle\Lambda\left((1-\alpha)\bm{X}^{\bm{\lambda},\bm{S}}_{T}+\alpha(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\right) (1α)Λ(𝑿T𝝀,𝑺)+αΛ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\displaystyle\geq(1-\alpha)\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T})+\alpha\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})
(1α)Λ(𝑿T𝝀,𝑺)𝒜,\displaystyle\geq(1-\alpha)\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T})\in\mathcal{A}\,,

and thus by monotonicity of 𝒜\mathcal{A}, the position Λ((1α)𝑿T𝝀,𝑺+α𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\Lambda\left((1-\alpha)\bm{X}^{\bm{\lambda},\bm{S}}_{T}+\alpha\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\right) is acceptable. A short calculation shows that

(1α)𝑿T𝝀,𝑺+α(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)=𝑿T(1α)𝝀+α𝟏,𝑺,\displaystyle(1-\alpha)\bm{X}^{\bm{\lambda},\bm{S}}_{T}+\alpha(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})=\bm{X}^{(1-\alpha)\bm{\lambda}+\alpha\bm{1},\bm{S}}_{T}\,,

proving the assertion. ∎

The above result can be interpreted as a set-valued counterpart of

{XTλ,Sλ[ρ𝒜,Sint(X),1]}𝒜\displaystyle\left\{X^{\lambda,S}_{T}\mid\lambda\in[\rho^{\mathrm{int}}_{\mathcal{A},S}(X),1]\right\}\subseteq\mathcal{A}

for univariate intrinsic risk measures on conic acceptance sets mentioned in (Farkas and Smirnow, 2018, p. 175). However, while in the univariate case this means that any proportion λρ𝒜,Sint(X)\lambda\geq\rho^{\mathrm{int}}_{\mathcal{A},S}(X) would lead to an acceptable position XTλ,SX^{\lambda,S}_{T}, in the multivariate case it is important that starting from 𝝀R𝑺int(𝑿)\bm{\lambda}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}) all entries of 𝝀\bm{\lambda} would have to be increased proportionally to ensure that 𝝀𝟐𝝀\bm{\lambda_{2}}\geq\bm{\lambda} is also included in R𝑺int(𝑿)R_{\bm{S}}^{\mathrm{int}}(\bm{X}), see also Figure 3.1.

Remark 3.10

Notice that a statement similar to the one in Proposition 3.9 is true if Λ\Lambda is concave, 𝒜\mathcal{A} is convex and we demand Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}. In this case, we know by Proposition 3.7 that R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) is convex and hence, (1α)𝝀+α𝟏R𝑺int(𝑿)(1-\alpha)\bm{\lambda}+\alpha\bm{1}\in R_{\bm{S}}^{\mathrm{int}}(\bm{X}) for all 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

This observation and Proposition 3.9 are used in the algorithms described in Section 3.2 to approximate values of intrinsic systemic risk measures.

3.2 Computation of intrinsic measures of systemic risk

As a set-valued measure, the intrinsic systemic risk measure is more difficult to calculate compared to scalar risk measures. In general, one has to rely on numerical methods to approximate these sets. A natural approximation would consist of a collection of points 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) which lie close to the boundary R𝑺int(𝑿)\partial R^{\mathrm{int}}_{\bm{S}}(\bm{X}). Assuming a concave aggregation function, we know by Proposition 3.9 for conic acceptance sets and Remark 3.10 for convex acceptance sets that all line segments which connect points 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) with 𝟏\bm{1} are contained in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

In the following, we will use these results to construct a simple bisection method which approximates the boundary of the intrinsic risk measure with a prespecified accuracy. In this section, we assume that either the assumptions in Proposition 3.9 or Remark 3.10 hold. The algorithm is illustrated for a network of two and three participants in Figure 3.1. Since the intrinsic measure maps into the power set of [0,1]d[0,1]^{d}, we can a priori restrict our search to [0,1]d[0,1]^{d}.

We consider the dd faces of the cube [0,1]d[0,1]^{d} which contain the point 𝟎d\bm{0}\in\mathbb{R}^{d} and construct a grid on each of these faces. The resolution of this grid influences the spacing of the points we approximate on the boundary of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

  1. 1.

    Let 𝝀0\bm{\lambda}_{0} be a point on this grid. If 𝝀0R𝑺int(𝑿)\bm{\lambda}_{0}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}), add it to the collection of approximation points and proceed with a new grid point 𝝀0\bm{\lambda}_{0}, otherwise continue with Step 2.

  2. 2.

    Do a bisection search along the line connecting 𝝀0\bm{\lambda}_{0} and 𝟏\bm{1}. To this end, define 𝝀a0=𝝀0R𝑺int(𝑿)\bm{\lambda}_{a_{0}}=\bm{\lambda}_{0}\notin R^{\mathrm{int}}_{\bm{S}}(\bm{X}) and 𝝀b0=𝟏R𝑺int(𝑿)\bm{\lambda}_{b_{0}}=\bm{1}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) as the initial end points.

  3. 3.

    Iterate over k1k\geq 1 and construct a sequence that tends to a point 𝝀\bm{\lambda} on the boundary of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}). In each iteration, define 𝝀k=12(𝝀ak1+𝝀bk1)\bm{\lambda}_{k}=\frac{1}{2}(\bm{\lambda}_{a_{k-1}}+\bm{\lambda}_{b_{k-1}}) and check whether the aggregated position corresponding to 𝝀k\bm{\lambda}_{k} is acceptable.

  4. 4.

    If Λ(𝑿T𝝀k,𝑺)𝒜\Lambda(\bm{X}_{T}^{\bm{\lambda}_{k},\bm{S}})\in\mathcal{A}, set 𝝀ak=𝝀ak1\bm{\lambda}_{a_{k}}=\bm{\lambda}_{a_{k-1}} and 𝝀bk=𝝀k\bm{\lambda}_{b_{k}}=\bm{\lambda}_{k}, otherwise 𝝀ak=𝝀k\bm{\lambda}_{a_{k}}=\bm{\lambda}_{k} and 𝝀bk=𝝀bk1\bm{\lambda}_{b_{k}}=\bm{\lambda}_{b_{k-1}}.

  5. 5.

    Stop this procedure at nn\in\mathbb{N} at which the distance 𝝀bn𝝀an\|\bm{\lambda}_{b_{n}}-\bm{\lambda}_{a_{n}}\| is smaller than some desired threshold ϵ>0\epsilon>0 and take 𝝀^=𝝀bn\hat{\bm{\lambda}}=\bm{\lambda}_{b_{n}} as the approximation of 𝝀\bm{\lambda}. This also covers the rare case that for some kk, 𝝀k=𝝀\bm{\lambda}_{k}=\bm{\lambda}. Add 𝝀^\hat{\bm{\lambda}} to the collection of approximations and repeat the procedure with a new grid point 𝝀0\bm{\lambda}_{0}.

By definition, 𝝀^=𝝀bn\hat{\bm{\lambda}}=\bm{\lambda}_{b_{n}} lies in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) and is arbitrarily close to the boundary, as 𝝀^𝝀𝝀bn𝝀an=2n1𝝀02nd\|\hat{\bm{\lambda}}-\bm{\lambda}\|\leq\|\bm{\lambda}_{b_{n}}-\bm{\lambda}_{a_{n}}\|=2^{-n}\|1-\bm{\lambda}_{0}\|\leq 2^{-n}\sqrt{d}. Since for any point 𝝀0\bm{\lambda}_{0} on the grid we have 1𝝀001-\bm{\lambda}_{0}\geq 0, we also know that 𝝀an𝝀𝝀bn\bm{\lambda}_{a_{n}}\leq\bm{\lambda}\leq\bm{\lambda}_{b_{n}}.

We repeat this procedure for all points 𝝀0\bm{\lambda}_{0} in the grid on the faces of the cube containing 𝟎\bm{0}. This establishes an approximation of the boundary of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) as a collection of points {𝝀^k}k=1NR𝑺int(𝑿)\{\hat{\bm{\lambda}}_{k}\}_{k=1}^{N}\subset R^{\mathrm{int}}_{\bm{S}}(\bm{X}), where NN is the number of grid points. Notice that this algorithm approximates only the boundary marked in green in Figure 3.1. The rest of the boundary is approximated by all lines connecting the algorithmically found points on the faces of [0,1]d[0,1]^{d} with 𝟏\bm{1}.

Refer to caption
Figure 3.1: Illustration of grid search algorithm on [0,1]2[0,1]^{2} and [0,1]3[0,1]^{3}.
Remark 3.11

This collection of points constitutes an inner approximation of the set R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}). Notice that an outer approximation of the set as part of a 𝒗\bm{v}-approximation as described in (Feinstein, Rudloff, and Weber, 2017, Definition 4.1) is in general not possible, since the values of R𝑺intR^{\mathrm{int}}_{\bm{S}} are in general not upper sets and therefore R𝑺int(𝑿)R𝑺int(𝑿)𝒗R^{\mathrm{int}}_{\bm{S}}(\bm{X})\not\subset R^{\mathrm{int}}_{\bm{S}}(\bm{X})-\bm{v}, for 𝒗++d\bm{v}\in\mathbb{R}^{d}_{++}. However, this is not a drawback, since we are only interested in elements of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

We can easily communicate this approximation of the set R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) for small dimensions. In particular, since all line segments connecting points of the approximation and 𝟏\bm{1} are contained in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}), we get a ‘discrete cover’ of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) by lines. For a fine grid, this may be precise enough for practical purposes. However, interpolation between these lines is, in general, not possible if the acceptance set is not convex.

If, however, the acceptance set is convex, then we know by Proposition 3.7 that R𝑺int(𝑿)R_{\bm{S}}^{\mathrm{int}}(\bm{X}) is convex. In this case, we can define a stronger approximation as the convex hull of {𝝀^k}k=1N\{\hat{\bm{\lambda}}_{k}\}_{k=1}^{N} and the vector 𝟏\bm{1},

R^𝑺int(𝑿)conv{{𝝀^k}k=1N{𝟏}}R𝑺int(𝑿).\displaystyle\hat{R}^{\mathrm{int}}_{\bm{S}}(\bm{X})\coloneqq\operatorname*{\mathrm{conv}}\{\{\hat{\bm{\lambda}}_{k}\}_{k=1}^{N}\cup\{\bm{1}\}\}\subset R^{\mathrm{int}}_{\bm{S}}(\bm{X})\,.

In particular, any interpolation between the line segments is also contained in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}). This allows for the tradeoff between accuracy at the boundary of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) and substantially faster computation by coarsening the grid on the faces, while still covering the majority of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

Remark 3.12

This algorithm can be applied to high-dimensional systems at the expense of considerably longer runtime and memory usage. Feinstein, Rudloff, and Weber (2017, Remark 4.3) suggest to reduce the dimension of the problem by dividing the set of institutions into groups with equal capital requirements for the computation of their measure of systemic risk. This is also possible in the intrinsic framework. In analogy to (Feinstein, Rudloff, and Weber, 2017, Example 2.1 (iv)), for k<dk<d groups we can restrict the risk measurement to vectors of the form 𝝀=(λ1,,λ1,λ2,,λ2,,λk,,λk)[0,1]d\bm{\lambda}=(\lambda_{1},\ldots,\lambda_{1},\lambda_{2},\ldots,\lambda_{2},\ldots,\lambda_{k},\ldots,\lambda_{k})^{\intercal}\in[0,1]^{d}. However, since the values of intrinsic systemic risk measures are not upper sets, players cannot, in general, deviate from this position. This means a system is not guaranteed to remain acceptable if an institution in group j{1,,k}j\in\{1,\ldots,k\} increases its position in the eligible asset, that is, chooses to sell a greater fraction of its position than λj\lambda_{j}.

Remark 3.13

In analogy to (Feinstein, Rudloff, and Weber, 2017, Definition 3.3), we can define a notion similar to EARs for intrinsic systemic risk measures. For a convex, closed risk measurement R𝑺int(𝑿){,[0,1]d}R^{\mathrm{int}}_{\bm{S}}(\bm{X})\notin\{\emptyset,[0,1]^{d}\} we define the set of minimal points as

MinR𝑺int(𝑿)={𝝀[0,1]d(𝝀[0,1]d)R𝑺int(𝑿)={𝝀}}.\displaystyle\mathrm{Min}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X})=\{\bm{\lambda}\in[0,1]^{d}\mid(\bm{\lambda}-[0,1]^{d})\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X})=\{\bm{\lambda}\}\}\,.

However, since R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) is not an upper set in general, it is not true that for 𝝀MinR𝑺int(𝑿)\bm{\lambda}^{*}\in\mathrm{Min}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X}) the set (𝝀+[0,1]d)[0,1]d(\bm{\lambda}^{*}+[0,1]^{d})\cap[0,1]^{d} is a maximal subset of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}). In fact, it is not necessarily a subset at all. In particular, there are points 𝝀MinR𝑺int(𝑿)\bm{\lambda}^{*}\in\mathrm{Min}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X}) such that 𝝀+ϵ𝒆kR𝑺int(𝑿)\bm{\lambda}^{*}+\epsilon\bm{e}_{k}\notin R^{\mathrm{int}}_{\bm{S}}(\bm{X}) for any ϵ>0\epsilon>0 and some standard unit vector 𝒆kd\bm{e}_{k}\in\mathbb{R}^{d}. This means agents cannot deviate from allocations in MinR𝑺int(𝑿)\mathrm{Min}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X}). To tackle this problem and allow small perturbations without loosing acceptability, we could further restrict the set of minimal points for ϵ>0\epsilon>0 to

MinϵR𝑺int(𝑿)={𝝀MinR𝑺int(𝑿)𝝀+ϵ[0,1]dR𝑺int(𝑿)}.\displaystyle\mathrm{Min}_{\epsilon}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X})=\{\bm{\lambda}\in\mathrm{Min}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X})\mid\bm{\lambda}+\epsilon[0,1]^{d}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X})\}\,.

However, a priori this set is not guaranteed to be non-empty. Take for example a pointed, closed, convex cone, C++dC\subsetneq\mathbb{R}_{++}^{d}. Then for any 𝒙(0,1)d\bm{x}\in(0,1)^{d} the set (C+𝒙)[0,1]d(C+\bm{x})\cap[0,1]^{d} has only one minimal point, 𝒙\bm{x}, and 𝒙+ϵ𝒆k(C+𝒙)[0,1]d\bm{x}+\epsilon\bm{e}_{k}\notin(C+\bm{x})\cap[0,1]^{d}, for any ϵ>0\epsilon>0 and standard unit vector 𝒆k\bm{e}_{k}. However, it remains to be investigated whether convex intrinsic systemic risk measurements can take this form.


From a practical perspective, the objective of the regulator might be to make a network acceptable with as little alteration to existing positions as possible. What exactly this means depends on the choice of the objective function. The most straightforward choice would be to minimise the overall percentage change of all positions in the network. In that case, we are interested in all 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) with minimal sum over their components, or equivalently on [0,1]d[0,1]^{d}, with minimal 11-norm,

argmin𝝀R𝑺int(𝑿)𝝀𝟏=argmin𝝀R𝑺int(𝑿)|𝝀|1.\displaystyle\operatorname*{arg\,min}_{\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X})}\bm{\lambda}^{\intercal}\bm{1}=\operatorname*{arg\,min}_{\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X})}|\bm{\lambda}|_{1}\,. (3.3)

Alternatively, one could minimise the total nominal change in the sense of the value 𝒙0\scaleobj0.8𝝀\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{\lambda}. The optimisation for this, and in fact any weighted sum with non-negative weights 𝒘\bm{w}, can be written in the form of Equation 3.3 by minimising over the set 𝒘\scaleobj0.8R𝑺int(𝑿)={𝒘\scaleobj0.8𝝀𝝀R𝑺int(𝑿)}\bm{w}\,\scaleobj{0.8}{\odot}\,R^{\mathrm{int}}_{\bm{S}}(\bm{X})=\{\bm{w}\,\scaleobj{0.8}{\odot}\,\bm{\lambda}\mid\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X})\}. So in the following, we will concentrate on the case in (3.3).

To simplify the problem, we define for k0k\geq 0 the plane Ek={[0,1]d𝟏=k}E_{k}=\{\ell\in[0,1]^{d}\mid\ell^{\intercal}\bm{1}=k\}, on which each element has the same 11-norm. For increasing k[0,d]k\in[0,d] these planes contain elements with increasing 11-norms. In particular, the first nonempty intersection EkR𝑺int(𝑿)E_{k}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}) for increasing kk contains all points with minimal 11-norm in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}),

argmin𝝀R𝑺int(𝑿)𝝀𝟏=EkminR𝑺int(𝑿),\displaystyle\operatorname*{arg\,min}_{\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X})}\bm{\lambda}^{\intercal}\bm{1}=E_{k_{\min}}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X})\,,

where kmin=min{k[0,d]EkR𝑺int(𝑿)}k_{\min}=\min\left\{k\in[0,d]\mid E_{k}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X})\neq\emptyset\right\}. So if we are interested in these minimal points, we do not need to approximate the whole boundary of the risk measurement. Instead, we can take advantage of this observation and adapt the algorithm to find only the minimal points. This also reduces the computational load.

To implement this procedure, we define the orthogonal complement of 𝟏d\bm{1}\in\mathbb{R}^{d}, 𝟏={d𝟏=0}\bm{1}^{\perp}=\{\ell\in\mathbb{R}^{d}\mid\ell^{\intercal}\bm{1}=0\}, and we write Ek=(kd𝟏+𝟏)[0,1]dE_{k}=(\frac{k}{d}\bm{1}+\bm{1}^{\perp})\cap[0,1]^{d}. The idea is to do a modified bisection search, where in each iteration we check whether the intersection of EkE_{k} and R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) is empty or not. The algorithm is described below and its modification using the method described in Remark 3.14 is illustrated in Figure 3.2.

  1. 1.

    Generate a grid on the plane 𝟏\bm{1}^{\perp}, such that it covers the whole cube [0,1]d[0,1]^{d} when translated along the vector 𝟏\bm{1}.

  2. 2.

    Define ka0=0k_{a_{0}}=0 and kb0=dk_{b_{0}}=d as the initial end points of the search.

  3. 3.

    In each iteration, define k=12(ka1+kb1)k_{\ell}=\frac{1}{2}(k_{a_{\ell-1}}+k_{b_{\ell-1}}) and translate the grid from 𝟏\bm{1}^{\perp} to EkE_{k_{\ell}}. Calculate which grid points lie in EkR𝑺int(𝑿)E_{k_{\ell}}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}). If the intersection contains no grid points, set ka=kk_{a_{\ell}}=k_{\ell} and kb=kb1k_{b_{\ell}}=k_{b_{\ell-1}}, otherwise set ka=ka1k_{a_{\ell}}=k_{a_{\ell-1}} and kb=kk_{b_{\ell}}=k_{\ell}.

  4. 4.

    Repeat Step 3 until kbka<δk_{b_{\ell}}-k_{a_{\ell}}<\delta, for some prespecified threshold δ>0\delta>0.

This leaves us with a sequence of planes that converge to EkminE_{k_{\min}} and we can easily check which grid points lie in EkminR𝑺int(𝑿)E_{k_{\min}}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}).

Remark 3.14

If the acceptance set is convex, we can reduce the computational time even further with the help of Lemma 3.15. This method is briefly outlined below. In addition to the steps described above, we also keep track of the current acceptable grid points in EkR𝑺int(𝑿)E_{k_{\ell}}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}). Then, whenever we consider grid points of a non-empty intersection EkϵR𝑺int(𝑿)E_{k_{\ell}-\epsilon}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}) for some ϵ>0\epsilon>0, we compare them to the current acceptable grid points. If all the grid points in EkϵR𝑺int(𝑿)E_{k_{\ell}-\epsilon}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}) are contained in the set of grid points in (EkR𝑺int(𝑿))ϵd𝟏(E_{k_{\ell}}\cap R^{\mathrm{int}}_{\bm{S}}(\bm{X}))-\frac{\epsilon}{d}\bm{1}, we can, by Lemma 3.15 , restrict our search to only the former grid points.

Alternatively, we can increase the accuracy of the algorithm by refining the grid. Whenever we use Lemma 3.15 and restrict our search from a grid on some EkE_{k} to a smaller grid on EkϵE_{k-\epsilon}, we can decrease the step size between grid points such that the number of grid points per iteration stays the same.

Refer to caption
Figure 3.2: Visualisation of grid search algorithm to find minimal points.
Lemma 3.15

Let AdA\subset\mathbb{R}^{d} be a closed, convex set. Let Ak={𝐱A𝐱𝟏=k}A_{k}=\{\bm{x}\in A\mid\bm{x}^{\intercal}\bm{1}=k\}. If there exists ϵ>0\epsilon>0 such that AkϵAkϵd𝟏A_{k-\epsilon}\subset A_{k}-\frac{\epsilon}{d}\bm{1}, then for all δ>ϵ\delta>\epsilon also AkδAkϵδϵd𝟏A_{k-\delta}\subset A_{k-\epsilon}-\frac{\delta-\epsilon}{d}\bm{1}.

The proof of Lemma 3.15 is given in Appendix A.

4 Dual representations

It is a classical result, which can be found for example in (Föllmer and Schied, 2004, Section 4.2), that a convex proper lower semi-continuous risk measure ρ𝒜:L\rho_{\mathcal{A}}:L^{\infty}\to\mathbb{R} with 𝑺=(1,𝟏)\bm{S}=(1,\bm{1}) can be written in the form

ρ𝒜(X)=sup(){𝔼[X]α()}\displaystyle\rho_{\mathcal{A}}(X)=\sup\limits_{\mathbb{Q}\in\mathcal{M}(\mathbb{P})}\left\{\mathbb{E}^{\mathbb{Q}}\left[-X\right]-\alpha(\mathbb{Q})\right\}

where ()\mathcal{M}(\mathbb{P}) denotes the set of all probability measures that are absolutely continuous with respect to \mathbb{P} and α\alpha denotes the minimal penalty function defined by

α()=supX𝒜𝔼[X].\alpha(\mathbb{Q})=\sup\limits_{X\in\mathcal{A}}\mathbb{E}^{\mathbb{Q}}\left[-X\right]. (4.1)

This can be seen as considering all possible probabilistic models, with their plausibility and closeness to \mathbb{P} being conveyed in the penalty function α\alpha. The value of the risk measure then corresponds to the worst case expectation over all possible models, penalised by α\alpha.

Farkas and Smirnow (2018, Section 3.4) derive a similar result for scalar intrinsic risk measures, whereas Ararat and Rudloff (2020) provide the dual representations for monetary systemic risk measures with constant eligible assets under appropriate assumptions on the underlying acceptance set and aggregation function.

In this section, we derive the dual representation for the intrinsic systemic risk measure. We denote by ρ𝒜\rho_{\mathcal{A}} the scalar risk measure associated with the acceptance set 𝒜\mathcal{A} and a constant eligible assets S=(1,1)+×L+S=(1,1)\in\mathbb{R}_{+}\times L^{\infty}_{+}. In the following, we consider only the subspace (Ld)+(L^{\infty}_{d})_{+} and we assume that the aggregation function Λ\Lambda is concave. Moreover, we assume that 𝒜\mathcal{A} is convex and weak closed. Note that if 𝒜\mathcal{A} is convex, we know by Proposition 2.3 that ρ𝒜\rho_{\mathcal{A}} is convex. Furthermore, weak closedness of 𝒜\mathcal{A} is equivalent to ρ𝒜\rho_{\mathcal{A}} being weak lower semi-continuous as well as to ρ𝒜\rho_{\mathcal{A}} satisfying the Fatou property, see for example (Föllmer and Schied, 2004, Theorem 4.31).

Let g:dg:\mathbb{R}^{d}\to\mathbb{R} be the Legendre-Fenchel conjugate of the convex function f:df:\mathbb{R}^{d}\to\mathbb{R} defined by f(𝒙)=Λ(𝒙)f(\bm{x})=-\Lambda(-\bm{x}), that is,

g(𝒛)=sup𝒙d(Λ(𝒙)𝒛𝒙).\displaystyle g(\bm{z})=\sup\limits_{\bm{x}\in\mathbb{R}^{d}}\left(\Lambda(\bm{x})-\bm{z}^{\intercal}\bm{x}\right)\,.

Let d()\mathcal{M}_{d}(\mathbb{P}) be the set of all vector probability measures =(1,,d)\mathbb{Q}=(\mathbb{Q}_{1},\ldots,\mathbb{Q}_{d})^{\intercal} whose components k\mathbb{Q}_{k} are in ()\mathcal{M}(\mathbb{P}), k{1,,d}k\in\{1,\ldots,d\}, and let α\alpha be the penalty function defined in Equation 4.1. We recall the definition of a systemic penalty function introduced in (Ararat and Rudloff, 2020, Definition 3.1).

Definition 4.1

The function αsys:d()×(+d{0}){+}\alpha^{\mathrm{sys}}:\mathcal{M}_{d}(\mathbb{P})\times(\mathbb{R}^{d}_{+}\setminus\left\{0\right\})\rightarrow\mathbb{R}\cup\left\{+\infty\right\} defined by

αsys(,w)=inf𝕊():k:wkk𝕊{𝔼𝕊[g(𝒘\scaleobj0.8dd𝕊)]+α(𝕊)}\displaystyle\alpha^{\mathrm{sys}}(\mathbb{Q},w)=\inf\limits_{\begin{subarray}{c}\mathbb{S}\in\mathcal{M}(\mathbb{P})\colon\\ \forall k\colon w_{k}\mathbb{Q}_{k}\ll\mathbb{S}\end{subarray}}\left\{\mathbb{E}^{\mathbb{S}}\left[g\left(\bm{w}\,\scaleobj{0.8}{\odot}\,\frac{\mathrm{d}\mathbb{Q}}{\mathrm{d}\mathbb{S}}\right)\right]+\alpha(\mathbb{S})\right\}

for d(),𝒘+d{0}\mathbb{Q}\in\mathcal{M}_{d}(\mathbb{P}),\>\bm{w}\in\mathbb{R}^{d}_{+}\setminus\left\{0\right\} is called the systemic penalty function.

Now we can formulate the dual representation of intrinsic systemic risk measures.

Proposition 4.2

Let 𝐒++d×(Ld)+\bm{S}\in\mathbb{R}^{d}_{++}\times(L^{\infty}_{d})_{+} be an eligible asset, let Λ\Lambda be a concave aggregation function and let 𝒜\mathcal{A} be a weak closed, convex acceptance set. Assume that ρ𝒜(0)Λ(d)\rho_{\mathcal{A}}(0)\in\Lambda(\mathbb{R}^{d}). Then the intrinsic measure of systemic risk R𝐒int:++d×(Ld)+𝒫([0,1]d)R_{\bm{S}}^{\mathrm{int}}\colon\mathbb{R}^{d}_{++}\times(L^{\infty}_{d})_{+}\rightarrow\mathcal{P}([0,1]^{d}) defined in Equation 3.1 admits the following dual representation,

R𝑺int(𝑿)=d(),𝒘+d{0}{𝝀[0,1]d|𝝀(𝒘\scaleobj0.8𝔼[𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0𝑿T])𝒘𝔼[𝑿T]αsys(,𝒘)}.\displaystyle R_{\bm{S}}^{\mathrm{int}}(\bm{X})=\bigcap\limits_{\begin{subarray}{c}\mathbb{Q}\in\mathcal{M}_{d}(\mathbb{P}),\\ \bm{w}\in\mathbb{R}_{+}^{d}\setminus\left\{0\right\}\end{subarray}}\Bigg{\{}\bm{\lambda}\in[0,1]^{d}\;\bigg{|}\;\begin{split}\bm{\lambda}^{\intercal}\big{(}\bm{w}\,\scaleobj{0.8}{\odot}\,\mathbb{E}^{\mathbb{Q}}\left[\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}-\bm{X}_{T}\right]\big{)}\geq\ldots\\ \ldots\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[-\bm{X}_{T}\right]-\alpha^{\mathrm{sys}}(\mathbb{Q},\bm{w})\end{split}\Bigg{\}}\,.
Proof.

From (Ararat and Rudloff, 2020, Proposition 3.4), we have

ρ𝒜(Λ(𝑿𝑻))=supd(),𝒘+d{0}(𝒘𝔼[𝑿T]αsys(,𝒘)).\rho_{\mathcal{A}}(\Lambda(\bm{X_{T}}))=\sup\limits_{\begin{subarray}{c}\mathbb{Q}\in\mathcal{M}_{d}(\mathbb{P}),\\ \bm{w}\in\mathbb{R}^{d}_{+}\setminus\left\{0\right\}\end{subarray}}\left(\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[-\bm{X}_{T}\right]-\alpha^{\mathrm{sys}}(\mathbb{Q},\bm{w})\right)\,. (4.2)

By Proposition 2.3, we can write

R𝑺int(𝑿)={𝝀[0,1]Λ(𝑿T𝝀,𝑺)𝒜}={𝝀[0,1]ρ𝒜(Λ(𝑿T𝝀,𝑺))0}.\displaystyle R_{\bm{S}}^{\mathrm{int}}(\bm{X})=\left\{\bm{\lambda}\in\left[0,1\right]\mid\Lambda\big{(}\bm{X}^{\bm{\lambda},\bm{S}}_{T}\big{)}\in\mathcal{A}\right\}=\left\{\bm{\lambda}\in\left[0,1\right]\mid\rho_{\mathcal{A}}\big{(}\Lambda\big{(}\bm{X}^{\bm{\lambda},\bm{S}}_{T}\big{)}\big{)}\leq 0\right\}\,.

Together with Equation 4.2 it follows that 𝝀[0,1]d\bm{\lambda}\in\left[0,1\right]^{d} lies in R𝑺int(𝑿)R_{\bm{S}}^{\mathrm{int}}(\bm{X}) if and only if

d(),𝒘+d{0}:𝒘𝔼[𝑿T𝝀,𝑺]αsys(,𝒘)0\displaystyle\forall\mathbb{Q}\in\mathcal{M}_{d}(\mathbb{P}),\bm{w}\in\mathbb{R}^{d}_{+}\setminus\{0\}:\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[-\bm{X}^{\bm{\lambda},\bm{S}}_{T}\right]-\alpha^{\mathrm{sys}}(\mathbb{Q},\bm{w})\leq 0

or, rewritten,

d(),𝒘+d{0}:\displaystyle\forall\mathbb{Q}\in\mathcal{M}_{d}(\mathbb{P}),\bm{w}\in\mathbb{R}^{d}_{+}\setminus\{0\}\colon
𝝀(𝒘\scaleobj0.8𝔼[𝑿T𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0])αsys(,𝒘)+𝒘𝔼[𝑿T].\displaystyle\bm{\lambda}^{\intercal}\big{(}\bm{w}\,\scaleobj{0.8}{\odot}\,\mathbb{E}^{\mathbb{Q}}\left[\bm{X}_{T}-\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\right]\big{)}\leq\alpha^{\mathrm{sys}}(\mathbb{Q},\bm{w})+\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[\bm{X}_{T}\right]\,.

From here, the claim follows. ∎

The dual representation of R𝑺intR_{\bm{S}}^{\rm{int}} given in Proposition 4.2 can be interpreted in a similar way as in Ararat and Rudloff (2020, p. 147f). Consider a network consisting of dd institutions, represented by the elements of 𝒙0\bm{x}_{0} and 𝑿T\bm{X}_{T}, as well as society, see Section 5 for an example of such a network model. The dual representation collects the possible restructuring actions in the presence of model uncertainty and weight ambiguity.

Society is assigned a probability measure 𝕊\mathbb{S} and each institution is assigned its own probability measure k\mathbb{Q}_{k} along with a weight wkw_{k} with respect to society. The penalty function αsys\alpha^{\mathrm{sys}} combines two penalty terms. One is the distance of the network to society, captured as the multivariate g-divergence of \mathbb{Q} with respect to 𝕊\mathbb{S}, 𝔼𝕊[g(𝒘\scaleobj0.8dd𝕊)]\mathbb{E}^{\mathbb{S}}\left[g(\bm{w}\,\scaleobj{0.8}{\odot}\,\frac{\mathrm{d}\mathbb{Q}}{\mathrm{d}\mathbb{S}})\right]. The other is the penalty α(𝕊)\alpha(\mathbb{S}) incurred for the choice of 𝕊\mathbb{S}. The penalty function αsys\alpha^{\mathrm{sys}} is then given as the infimum of the sum of these penalties over all choices of 𝕊\mathbb{S}.

Finally, a vector of fractions 𝝀[0,1]d\bm{\lambda}\in[0,1]^{d} is deemed feasible for a specific choice of \mathbb{Q} and 𝒘\bm{w}, if the weighted sum of expected return of the eligible asset held in the restructured portfolios of institutions exceeds the weighted expected negative return of the original positions 𝐗\bf{X} held in the restructured portfolios of the institutions penalised by αsys(,𝒘)\alpha^{\mathrm{sys}}({\mathbb{Q},\bm{w}}),

𝒘𝔼[𝝀\scaleobj0.8𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0]𝒘𝔼[(1𝝀)\scaleobj0.8𝑿T]αsys(,𝒘).\displaystyle\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[\bm{\lambda}\,\scaleobj{0.8}{\odot}\,\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\right]\geq\bm{w}^{\intercal}\mathbb{E}^{\mathbb{Q}}\left[-(1-\bm{\lambda})\,\scaleobj{0.8}{\odot}\,\bm{X}_{T}\right]-\alpha^{\mathrm{sys}}(\mathbb{Q},\bm{w})\,.

To be considered as a feasible action to compensate the systemic risk in the system, the vector of fractions 𝝀\bm{\lambda} has to be deemed feasible for all possible choices of probability measures \mathbb{Q} and weights 𝒘\bm{w}.

5 The network approach - a simulation study

In this section, we will investigate the effects of the management actions underlying intrinsic systemic risk measures on networks as originally proposed by Eisenberg and Noe (2001). We will complement their model with an additional sink node called society and define the aggregation function as the net equity of society after receiving the clearing payments as described in (Ararat and Rudloff, 2020, Section 4.4), see also (Feinstein, Rudloff, and Weber, 2017, Section 5.2). This enables us to derive statements about the repercussions of an under-capitalised financial system and to monitor the impact of intrinsic management actions on the wider economy. Furthermore, this study provides insights into current regulatory policies and challenges the current approach to capital regulation.

5.1 Network model

In the following, we recall the network model. An illustration of the network structure can be seen in Figure 5.1. A financial system consists of d+1d+1, d2d\geq 2, nodes. Nodes {1,,d}\{1,\ldots,d\} represent financial institutions participating in the network and node 0 represents society. The network is interconnected via liabilities towards each other. Throughout this section, we assume for simplicity that liabilities are deterministic, whereas future endowments of participants of the network are represented by a random vector 𝑿T\bm{X}_{T} with an initial value 𝒙0\bm{x}_{0}. For i,j{0,,d}i,j\in\{0,\ldots,d\} let Lij0L_{ij}\geq 0 denote the nominal liability of node ii towards node jj. Self-liabilities are disregarded, that is Lii=0L_{ii}=0 for all i{0,,d}i\in\{0,\ldots,d\}. Node 0 is a sink node, which means, we assume that it has no liabilities towards the other dd nodes in the system, that is L0i=0L_{0i}=0 for i{1,,d}i\in\{1,\ldots,d\}. In line with (Feinstein, Rudloff, and Weber, 2017), we interpret society as part of the wider economy. That means node 0 represents all outside factors which are not explicitly part of the financial system. This allows for the assumption 𝑿T0\bm{X}_{T}\geq 0, implicitly assuming that any operational costs and other factors that could make the endowments negative are treated as liabilities towards society. In particular, we assume that all institutions have liabilities towards society, that is for i{1,,d}i\in\{1,\ldots,d\} we have Li0>0L_{i0}>0. Furthermore, we define relative liabilities for i,j{0,,d}i,j\in\{0,\ldots,d\}, i0i\neq 0 as

Πij=LijL^i with L^i=j=0dLij>0,\displaystyle\Pi_{ij}=\frac{L_{ij}}{\hat{L}_{i}}\;\text{ with }\;\hat{L}_{i}=\sum_{j=0}^{d}L_{ij}>0\,,

where L^i\hat{L}_{i} is the aggregate nominal liability of ii towards all other nodes in the network.

At time point TT, liabilities are cleared. This means that all participants in the network repay all or, if not possible, part of their liabilities. For a realised state 𝒙T𝑿T(ω)+d\bm{x}_{T}\coloneqq\bm{X}_{T}(\omega)\in\mathbb{R}^{d}_{+} at time TT we collect these payments in a vector p(𝒙T)=(p1(𝒙T),,pd(𝒙T))+dp(\bm{x}_{T})=(p_{1}(\bm{x}_{T}),\ldots,p_{d}(\bm{x}_{T}))^{\intercal}\in\mathbb{R}^{d}_{+}, so that node ii pays node jj the amount Πijpi(𝒙T)\Pi_{ij}p_{i}(\bm{x}_{T}). We call p(𝒙T)p(\bm{x}_{T}) a clearing payment vector if it solves the fixed point problem

pi(𝒙T)=min{L^i,xTi+j=1dΠjipj(𝒙T)},i{1,,d}.\displaystyle p_{i}(\bm{x}_{T})=\min\bigg{\{}\hat{L}_{i}\;,\;x_{T}^{i}+\sum_{j=1}^{d}\Pi_{ji}p_{j}(\bm{x}_{T})\bigg{\}}\,,\quad i\in\{1,\ldots,d\}\,.

In the case that institution ii stays in business and no default occurs, it pays all of its liabilities to the rest of the network, pi(𝒙T)=L^ip_{i}(\bm{x}_{T})=\hat{L}_{i}. In the case of default, the payment is equal to the realised wealth, xTix_{T}^{i}, plus the income from the other participants of the network, j=1dΠjipj(𝒙T)\sum_{j=1}^{d}\Pi_{ji}p_{j}(\bm{x}_{T}). The clearing payment vector can be calculated with the ‘fictitious default algorithm’ introduced by Eisenberg and Noe (2001, p. 243, see also Lemma 3 and Lemma 4), or by means of an appropriate optimization problem with linear constraints.

We choose the aggregation function Λ:d\Lambda:\mathbb{R}^{d}\to\mathbb{R} for the intrinsic systemic risk measure to represent the impact of the financial system on society. For β(0,1)\beta\in(0,1) we define

Λ(𝒙)=i=1dΠi0pi(𝒙)βi=1dLi0.\displaystyle\Lambda(\bm{x})=\sum\limits_{i=1}^{d}\Pi_{i0}p_{i}(\bm{x})-\beta\sum_{i=1}^{d}L_{i0}\,. (5.1)

While other choices of an aggregation function are possible, this is an aggregation function often used in the network setting, see e.g. Feinstein, Rudloff, and Weber (2017), Ararat and Rudloff (2020). This aggregation function quantifies the (weighted) difference between what the society obtains from the other nodes in the network at the time of clearing and between what it was promised, i.e. the sum of the liabilities of all network participants towards society. Note that the first term in Equation 5.1 lies in the interval [0,i=1dLi0][0,\sum_{i=1}^{d}L_{i0}]. If we were to use only this term, then every system would be acceptable with regard to 𝒜VaRα={XTLpVaRα(XT)0}\mathcal{A}_{\operatorname*{\mathrm{VaR}}_{\alpha}}=\{X_{T}\in L^{p}\mid\operatorname*{\mathrm{VaR}}_{\alpha}(X_{T})\leq 0\} or 𝒜ESα={XTLpESα(XT)0}\mathcal{A}_{\operatorname*{\mathrm{ES}}_{\alpha}}=\{X_{T}\in L^{p}\mid\operatorname*{\mathrm{ES}}_{\alpha}(X_{T})\leq 0\}. Therefore, we subtract the second term βi=1dLi0\beta\sum_{i=1}^{d}L_{i0}. The interpretation is in line with (Feinstein, Rudloff, and Weber, 2017). We deem a system acceptable if the Value-at-Risk, respectively the Expected Shortfall, of the aggregated payments to society does not exceed the negative of a percentage β\beta of the total liabilities to society. For the Value-at-Risk, this means that a system is acceptable if with at least the probability (1α)(1-\alpha) at least the percentage β\beta of the liabilities towards society can be repaid.

3301122L12L_{12}L21L_{21}L32L_{32}L13L_{13}L10L_{10}L20L_{20}L30L_{30}
Figure 5.1: Network of financial institutions including society as node 0.
Remark 5.1

It is possible to extend this network model in a variety of ways. A natural extension would incorporate random liabilities. Furthermore, one can incorporate the illiquidity of assets during fire sales, see for example (Cifuentes, Ferrucci, and Shin, 2005; Feinstein, 2017; Hurd, 2016), bankruptcy costs as in (Rogers and Veraart, 2013), cross holdings as in (Elsinger, 2009), or a combination of the above as in (Weber and Weske, 2017).

5.2 Numerical case studies

In order to get a better understanding of the behaviour of intrinsic systemic risk measures under different model parameters, it is helpful to first consider a simple network of d=2d=2 institutions. The following model parameters define the base model. Throughout this section, we will adjust them separately to see their effects. The marginal distributions of the agents’ wealths at time TT are assumed to be beta distributions, XTkBeta(ak,bk)X_{T}^{k}\sim\mathrm{Beta}(a_{k},b_{k}), with ak=2,bk=5a_{k}=2,b_{k}=5, k{1,2}k\in\{1,2\}. We choose the initial value 𝒙0\bm{x}_{0} such that the expected return of each institution is 15%15\%, that is, 𝔼[𝑿T]=1.15𝒙0\mathbb{E}[\bm{X}_{T}]=1.15\,\bm{x}_{0}. The eligible assets have a log-normal marginal distribution, STklog𝒩(μk,σk2)S_{T}^{k}\sim\log\mathcal{N}(\mu_{k},\sigma_{k}^{2}), k{1,2}k\in\{1,2\}. We specify μk\mu_{k} and σk\sigma_{k} such that the expectations of the eligible assets are equal to the expectations of the agent’s positions, 𝔼[𝑿T]=𝔼[𝑺T]\mathbb{E}[\bm{X}_{T}]=\mathbb{E}[\bm{S}_{T}], and such that the variances are a fifth of the variances of 𝑿T\bm{X}_{T}, 𝕍[𝑺T]=0.2𝕍[𝑿T]\mathbb{V}[\bm{S}_{T}]=0.2\,\mathbb{V}[\bm{X}_{T}]. We set the initial cost of the eligible assets such that the expected return is 10%10\%, 𝔼[𝑺T]=1.1𝒔0\mathbb{E}[\bm{S}_{T}]=1.1\,\bm{s}_{0}. In this model, the eligible assets are more secure in the sense that their distributions are a lot narrower. But, in turn, this security comes at an additional cost, since 𝒙0𝒔0\bm{x}_{0}\leq\bm{s}_{0}.

Dependence is incorporated via a Gaussian copula with a correlation ρ[1,1]\rho\in[-1,1] between XT1X_{T}^{1} and XT2X_{T}^{2}. The eligible assets are uncorrelated with each other and with XTkX_{T}^{k}, k{1,2}k\in\{1,2\}.

Furthermore, we assume that the agents have symmetric liabilities to each other, L12=L21=0.6L_{12}=L_{21}=0.6, and to society, L10=L20=0.2L_{10}=L_{20}=0.2. We use the aggregation function specified in Equation 5.1. We deem a system acceptable if the Expected Shortfall at probability level α=5%\alpha=5\% of the aggregated network outcome is less or equal 0, that is, 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) if and only if ESα(Λ(𝑿T𝝀,𝑺))0\operatorname*{\mathrm{ES}}_{\alpha}(\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T}))\leq 0.

The following numerical studies consist of 10510^{5} simulated samples of the described multivariate distribution. The step size of the grid on the axes is set to 0.050.05 and the size of the interval at which we stop the bisection search is set to 10610^{-6}. The computations are done using MATLAB.

In the following, for 𝝀R𝑺int(𝑿)\bm{\lambda}\in R^{\mathrm{int}}_{\bm{S}}(\bm{X}) we will refer to 𝑿T𝝀,𝑺\bm{X}^{\bm{\lambda},\bm{S}}_{T} as an intrinsic system and to Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}^{\bm{\lambda},\bm{S}}_{T}) as an aggregate intrinsic system. We use analogous nomenclature for the monetary case.

In the following figures, we depict the boundaries of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) on the left-hand side and the boundaries of R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}) on the right-hand side.

Influence of the dependency structure

In Figure 5.2, we illustrate the risk measures for different correlations between the elements of 𝑿T\bm{X}_{T}. We observe that as the correlation between the elements of 𝑿T\bm{X}_{T} increases, the risk measures become smaller in the sense that R𝑺int(𝑿ρ)R𝑺int(𝑿ρ^)R^{\mathrm{int}}_{\bm{S}}(\bm{X}_{\rho})\subset R^{\mathrm{int}}_{\bm{S}}(\bm{X}_{\hat{\rho}}) for correlations ρ>ρ^\rho>\hat{\rho}. This is expected, since higher correlation between the participants of the network results in higher probability of cascades of defaults and hence, the inability to repay society. Furthermore, allocations which are acceptable for highly correlated agents are also acceptable if the correlation decreases while other dependencies stay unaltered.

We also observe that the lines representing the boundaries of all the sets meet in two points on the boundary of [0,1]2[0,1]^{2}. This comes from the fact that 𝑿\bm{X} and 𝑺\bm{S} are uncorrelated, so if one agent translates fully to the eligible asset, the correlation between XT1X_{T}^{1} and XT2X_{T}^{2} becomes irrelevant. A similar statement can be made for the monetary risk measures, where the whole system is deemed acceptable when enough capital is added to either of the two agents.

In this symmetric case, we observe the intuitive result that the cheapest way to acceptance, in the sense that λ1+λ2\lambda_{1}+\lambda_{2} or k1+k2k_{1}+k_{2} is minimal, is when both agents adjust their position equally, that is λ1=λ2\lambda_{1}=\lambda_{2} or k1=k2k_{1}=k_{2}.

Refer to caption
Figure 5.2: Visualisation of the influence of different correlations between the agents’ positions.

In the next scenario, we adjust the previous setup and assume different correlations between institution 11 and their eligible asset. In Figure 5.3, we sample distributions such that XT1X_{T}^{1} and ST1S_{T}^{1} are correlated with parameter ρ\rho, while the rest of the system remains uncorrelated. The yellow lines are the same as the yellow lines in Figure 5.2, as in both cases, XT1,XT2,ST1X^{1}_{T},X^{2}_{T},S^{1}_{T}, and ST2S^{2}_{T} are uncorrelated. We observe an accumulation point on the set {λ1=1}\{\lambda_{1}=1\}, since XT2X_{T}^{2}, ST2S_{T}^{2}, and ST1S_{T}^{1} are uncorrelated, and no accumulation point on {λ2=1}\{\lambda_{2}=1\}, since XT1X_{T}^{1} and ST1S_{T}^{1} are correlated. Furthermore, close to {λ1=1}\{\lambda_{1}=1\}, the sets are almost identical to the ones depicted in Figure 5.2. This means that when institution 11 has almost fully invested in their eligible asset, the correlation between XT1X_{T}^{1} and ST1S_{T}^{1} has little effect on the management actions of institution 22. However, close to {λ2=1}\{\lambda_{2}=1\}, we observe that negative correlation results in less strict management actions for institution 11, whereas positive correlation results in stricter management actions compared to Figure 5.2.

Refer to caption
Figure 5.3: Visualisation of the influence of different correlations between the position of one agent and their corresponding eligible asset.

Now we move on to discuss the effect of correlated eligible assets. For this we adapt the base setup by setting the correlation between ST1S_{T}^{1} and ST2S_{T}^{2} to ρ\rho and all other correlations to 0. The resulting risk measures are depicted in Figure 5.4. Compared to the monetary measure of systemic risk, the intrinsic measure is more sensitive to the choice of eligible assets. In this example, the aggregate position of the system consisting of only the eligible assets is acceptable up to approximately a correlation of 0.240.24. Correlations higher than this result in an intrinsic risk measure which does not include 𝟏\bm{1}. However, this does not mean that the set R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) is necessarily empty. For completeness we have included the risk measurement for ρ=0.4\rho=0.4, which demonstrates that the condition Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A} is conservative in the sense that it is sufficient but not necessary for a non-empty risk measurement. In particular, it can be possible to construct an acceptable system even if Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\notin\mathcal{A}. However, this boundary cannot be calculated with the algorithm described in Section 3.2 and we check the grid points on the full grid on [0,1]2[0,1]^{2} instead.

Whereas from a regulatory point of view, a first thought might be to adapt the agents’ positions with only one single eligible asset or asset class, this result underlines the importance of a diversified network. In particular, it is beneficial to choose eligible assets which are negatively correlated or uncorrelated with each other. This effect is less apparent for monetary measures, since adding eligible assets inherently increases the overall capital level and the dependence between eligible assets plays a secondary role. Nevertheless, adding positively correlated eligible assets increases the correlations between the agents.

Refer to caption
Figure 5.4: Visualisation of the influence of different correlations between the eligible assets.

Influence of the liability structure

In this paragraph, we investigate the impact of the liability structure on the systemic intrinsic risk measure. We use the parameters of the base case with uncorrelated XTk,STkX_{T}^{k},S_{T}^{k}, k{1,2}k\in\{1,2\}.

In Figure 5.5, we leave the bilateral liabilities of the institutions at L12=L21=0.6L_{12}=L_{21}=0.6 and we gradually increase both their liabilities towards society from L10=L20=0.1L_{10}=L_{20}=0.1 to L10=L20=0.2L_{10}=L_{20}=0.2. We observe that the risk measurements are decreasing with increasing liabilities towards society. This is expected, as the term βi=1dLi0\beta\sum_{i=1}^{d}L_{i0} in Equation 5.1 has a linear influence on the aggregation. It is noticeable that for low liabilities the monetary systemic risk measurements have considerable parts intersecting with 2+2\mathbb{R}^{2}\setminus\mathbb{R}^{2}_{+}. This means that if one institution raises enough capital, then the other one can extract capital from the system while the system remains acceptable. Compared to Figure 5.2, where changes in correlation changed the shape of the sets and made them ‘pointier’, changes in liabilities to society rather translate the whole set.

Refer to caption
Figure 5.5: Visualisation of the influence of increasing symmetric liabilities towards society.

In the next example, we keep liabilities towards society constant at L10=L20=0.2L_{10}=L_{20}=0.2 and vary bilateral liabilities between the agents. At first, the result in Figure 5.6 might seem counter-intuitive, as both intrinsic and monetary risk measurements increase with increasing liabilities. However, increasing liabilities between the institutions in this network essentially means adding capital to the system. In particular, if one institution is doing poorly and goes bankrupt while the other is doing well, it will still receive the full payment from the other institution. The higher this payment, the higher is the payment from the defaulting institution towards society. It is an interesting observation that the intrinsic risk measurements appear to converge to a ‘maximal set’. This set is very close to the one represented by the red line in Figure 5.6. In the case of the monetary measure, it is not clear from this preliminary investigation whether the sets approach a half-space which is supported at a point with k1=k2k_{1}=k_{2}. See also Figure B.1 in Appendix B. However, the higher the bilateral liabilities and the more external capital one of the agents holds, the more capital the other agent can extract from their position. This could be a dangerous feature of the monetary approach.

Refer to caption
Figure 5.6: Visualisation of the influence of increasing symmetric bilateral liabilities between the agents.

Influence of volatility

We briefly discuss how the variance of an agent’s position influences the risk measurements. In Figure 5.7, we start with the base case with uncorrelated random variables. We then decrease the variance of the beta distribution of agent 11 (from green to red) while keeping the expectation at a1a1+b1=22+5\frac{a_{1}}{a_{1}+b_{1}}=\frac{2}{2+5}. As expected, we observe that both risk measurements increase with decreasing variance. In particular, agent 11 needs to adjust their position less in comparison with agent 22.

Refer to caption
Figure 5.7: Visualisation of the influence of increasing variance of one agent.

Intrinsic management actions and aggregate network outcomes

We conclude this section with a discussion about the aggregated outcomes resulting from management actions of 𝝀\bm{\lambda} and 𝒛\bm{z} on the boundaries of R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) and R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}), respectively. In the following, we assume that all XTk,STkX_{T}^{k},S_{T}^{k}, k{1,,d}k\in\{1,\ldots,d\} are uncorrelated. Furthermore, since there are more players, we adjust the liability structure. For d=4d=4 we set Lij=0.6L_{ij}=0.6 and Li0=0.23L_{i0}=0.23 and for d=20d=20 we set Lij=0.2L_{ij}=0.2 and Li0=0.25L_{i0}=0.25, for i,j{1,,d}i,j\in\{1,\ldots,d\}. The rest of the parameters remain unchanged.

In Figure 5.8, the histograms of the aggregated outcomes of systems with four and 20 agents are depicted. The aggregate eligible systems Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}) are presented in green, the intrinsic systems Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}_{T}^{\bm{\lambda},\bm{S}}) in yellow, the monetary systems Λ(𝑿T+𝒌)\Lambda(\bm{X}_{T}+\bm{k}) in blue, and the original unacceptable systems Λ(𝑿T)\Lambda(\bm{X}_{T}) in red. The vectors 𝝀\bm{\lambda} and 𝒌\bm{k} lie in R𝑺int(𝑿)R^{\mathrm{int}}_{\bm{S}}(\bm{X}) and R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}), respectively, and they are multiples of 𝟏\bm{1}, that is, 𝝀=λ𝟏\bm{\lambda}=\lambda\bm{1} and 𝒌=k𝟏\bm{k}=k\bm{1}. In particular, the Expected Shortfall of Λ(𝒙0\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\Lambda(\bm{x}_{0}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}) is negative and the Expected Shortfall of Λ(𝑿T𝝀,𝑺)\Lambda(\bm{X}_{T}^{\bm{\lambda},\bm{S}}) and Λ(𝑿T+𝒌)\Lambda(\bm{X}_{T}+\bm{k}) is approximately equal to 0. The dots of corresponding colour indicate the minimum of the support of the histogram. Note that we chose the points of the form 𝝀=λ𝟏\bm{\lambda}=\lambda\bm{1} and 𝒌=k𝟏\bm{k}=k\bm{1} because we work with perfectly symmetric systems which means that these particular choices are also the solution of the scalarised minimisation problem (3.3) and its corresponding version for the monetary risk measures. If the system were not symmetric, other choices of 𝝀\bm{\lambda} and 𝒌\bm{k} might be of interest. One reason for this is that the solution to (3.3) does not take the form of 𝝀=λ𝟏\bm{\lambda}=\lambda\bm{1}. Additionally, in systems where there is a clear distinction between large and small firms, a weighted sum minimisation problem can be formulated by assigning different capital prices to each group of firms.

First we notice that the minimum value of the aggregated intrinsic position (yellow dot) is greater than the one of the monetary position (blue dot). Since the expected shortfall of both positions is approximately 0, the mass in the tail of the distribution of the aggregate monetary position is more spread out. In this sense, the worst cases of the intrinsic positions are milder compared to the monetary positions. Furthermore, we observe that the distribution of the intrinsic system is more right-skewed. This means that the intrinsic system is more likely to repay more of its liabilities to society. From a regulatory perspective this is a valuable insight, as it demonstrates that changing the structure of a financial system can be more beneficial to society than elevating it by external capital.

Refer to caption
Figure 5.8: Visualisation of the influence of increasing liabilities of one agents to the other.

From a preliminary statistical analysis, we observe that the variance of the aggregate intrinsic system is in general slightly smaller compared to the variance of the aggregate monetary system, whereas the expected value is slightly bigger. However, this needs to be verified in a more elaborate study.

In order to understand the effect of additionally incurred costs due to the implementation of the management actions, we have also considered a crude implementation of transaction costs and cost of debt. For the intrinsic measure we implemented transaction costs of 5050 basis points of 𝝀\scaleobj0.8𝒙0\bm{\lambda}\,\scaleobj{0.8}{\odot}\,\bm{x}_{0} once for selling the original position and once for buying the eligible asset. In the monetary case, we implemented transaction costs for buying the eligible asset and the cost of debt of 2.64%2.64\% for raising the necessary external capital 𝒌\bm{k}. In both cases, the resulting aggregate positions do not change considerably and we omit these results here.

6 Conclusion and possible extensions

We proposed a novel approach to measure systemic risk. We challenged the paradigm of using external capital injections to the financial system and suggested realistic management actions that fundamentally change the structure of the system such that it can become less volatile and less correlated. We developed two algorithms, one to approximate the boundary of intrinsic systemic risk measurements and the other to find specific minimal points without calculating the whole boundary. Furthermore, we derived a dual representation of intrinsic systemic risk measures. Finally, on the basis of numerical case studies, we demonstrated that intrinsic systemic risk measures are a useful tool to analyse and mitigate systemic risk.

We mention here possible extensions and further research avenues.

The notion of EARs associated with monetary systemic risk measures needs to be adapted to intrinsic systemic risk measures in a meaningful way. In particular, the absence of the upper set property calls for the introduction of further properties to allow agents in the network to deviate from the suggested risk measurement in a controlled way without loosing acceptability. Furthermore, it remains to be shown that this would allow to group together similar institutions to reduce the complexity of the model and computational time.

The Eisenberg-Noe model has seen numerous extensions which can also be applied to our framework. These include in particular extensions to random liabilities and the incorporation of illiquidity during fire sales. This is interesting, as intrinsic measures rely on selling parts of risky portfolios and buying safer assets. While the primary objective of intrinsic systemic risk measures is to mitigate risk to prevent crises, it is valuable to know what restrictions it faces during a crisis.

Moreover, it is necessary to study more asymmetrically structured networks and develop ‘fair’ allocation rules, as for example according to the contribution of liabilities to society.

Furthermore, it would be valuable to conduct an empirical case study including systemically relevant banks and their actual liabilities towards each other and towards participants of the greater economy.

Appendix A Proofs

In the following, we prove the assertions made in Proposition 2.8.

Proof of Proposition 2.8.

Let 𝑿TLdp\bm{X}_{T}\in L^{p}_{d} and d\bm{\ell}\in\mathbb{R}^{d}. 𝑺\bm{S}-additivity follows directly from

R𝑺(𝑿T+\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\displaystyle R_{\bm{S}}(\bm{X}_{T}+\ell\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}) ={𝒌dΛ(𝑿T+(+𝒌)\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜}\displaystyle=\left\{\bm{k}\in\mathbb{R}^{d}\mid\Lambda(\bm{X}_{T}+(\bm{\ell}+\bm{k})\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\right\}
={𝒌^dΛ(𝑿T+𝒌^\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜}=R𝑺(𝑿T).\displaystyle=\left\{\hat{\bm{k}}\in\mathbb{R}^{d}\mid\Lambda(\bm{X}_{T}+\hat{\bm{k}}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\right\}-\bm{\ell}=R_{\bm{S}}(\bm{X}_{T})-\bm{\ell}.

Monotonicity follows from monotonicity of 𝒜\mathcal{A} and Λ\Lambda. For 𝑿T,𝒀TLdp\bm{X}_{T},\bm{Y}_{T}\in L^{p}_{d} with 𝑿T𝒀T\bm{X}_{T}\leq\bm{Y}_{T} \mathbb{P}-a.s. and 𝒌R𝑺(𝑿T)\bm{k}\in R_{\bm{S}}(\bm{X}_{T}) we have Λ(𝒀T+𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)Λ(𝑿T+𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{Y}_{T}+\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\geq\Lambda(\bm{X}_{T}+\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}. This implies 𝒌R𝑺(𝒀T)\bm{k}\in R_{\bm{S}}(\bm{Y}_{T}).

𝑺\bm{S}-additivity and monotonicity together imply that the values of R𝑺R_{\bm{S}} are upper sets. Let 𝑿TLdp\bm{X}_{T}\in L^{p}_{d} and 𝒚+d\bm{y}\in\mathbb{R}^{d}_{+}. Then 𝑿T𝒚\scaleobj0.8𝑺T\scaleobj0.8𝒔0𝑿T\bm{X}_{T}-\bm{y}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}\leq\bm{X}_{T} and we have

R𝑺(𝑿T)+𝒚=R𝑺(𝑿T𝒚\scaleobj0.8𝑺T\scaleobj0.8𝒔0)R𝑺(𝑿T).\displaystyle R_{\bm{S}}(\bm{X}_{T})+\bm{y}=R_{\bm{S}}(\bm{X}_{T}-\bm{y}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\subseteq R_{\bm{S}}(\bm{X}_{T})\,.

Since the above holds for any 𝒚+d\bm{y}\in\mathbb{R}^{d}_{+}, the claim follows.

For positive homogeneity, assume that 𝒜\mathcal{A} is a cone, Λ\Lambda is positively homogeneous and let XLdpX\in L^{p}_{d} and c>0c>0. Notice that in this case Λ(c𝑿T+𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(c\bm{X}_{T}+\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A} is equivalent to Λ(𝑿T+1c𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜\Lambda(\bm{X}_{T}+\frac{1}{c}\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}. Therefore,

R𝑺(c𝑿T)\displaystyle R_{\bm{S}}(c\bm{X}_{T}) ={𝒌dΛ(𝑿T+1c𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜}\displaystyle=\left\{\bm{k}\in\mathbb{R}^{d}\mid\Lambda(\bm{X}_{T}+\frac{1}{c}\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\right\}
=c{𝒌^dΛ(𝑿T+𝒌^\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜}=cR𝑺(𝑿T).\displaystyle=c\left\{\hat{\bm{k}}\in\mathbb{R}^{d}\mid\Lambda(\bm{X}_{T}+\hat{\bm{k}}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\right\}=cR_{\bm{S}}(\bm{X}_{T})\,.

Finally, for properties (v) and (vi) we assume that 𝒜\mathcal{A} is convex and Λ\Lambda is concave and let 𝑿T,𝒀TLdp\bm{X}_{T},\bm{Y}_{T}\in L^{p}_{d}, α[0,1]\alpha\in[0,1]. To show convexity, let 𝒙R𝑺(𝑿T)\bm{x}\in R_{\bm{S}}(\bm{X}_{T}), 𝒚R𝑺(𝒀T)\bm{y}\in R_{\bm{S}}(\bm{Y}_{T}). We get

Λ(α𝑿T\displaystyle\Lambda(\alpha\bm{X}_{T} +(1α)𝒀T+(α𝒙+(1α)𝒚)\scaleobj0.8𝑺T\scaleobj0.8𝒔0)\displaystyle+(1-\alpha)\bm{Y}_{T}+(\alpha\bm{x}+(1-\alpha)\bm{y})\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})
=Λ(α(𝑿T+𝒙\scaleobj0.8𝑺T\scaleobj0.8𝒔0)+(1α)(𝒀T+𝒚\scaleobj0.8𝑺T\scaleobj0.8𝒔0))\displaystyle=\Lambda\big{(}\alpha(\bm{X}_{T}+\bm{x}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})+(1-\alpha)(\bm{Y}_{T}+\bm{y}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\big{)}
αΛ(𝑿T+𝒙\scaleobj0.8𝑺T\scaleobj0.8𝒔0)+(1α)Λ(𝒀T+𝒚\scaleobj0.8𝑺T\scaleobj0.8𝒔0)𝒜,\displaystyle\geq\alpha\Lambda(\bm{X}_{T}+\bm{x}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})+(1-\alpha)\Lambda(\bm{Y}_{T}+\bm{y}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\in\mathcal{A}\,,

where the element inclusion is implied by the convexity of 𝒜\mathcal{A}. By monotonicity of 𝒜\mathcal{A} the assertion follows.

To show that R𝑺(𝑿T)R_{\bm{S}}(\bm{X}_{T}) has convex values, let 𝒌,R𝑺(𝑿T)\bm{k},\bm{\ell}\in R_{\bm{S}}(\bm{X}_{T}). Notice that

𝑿T\displaystyle\bm{X}_{T} +(α𝒌+(1α))\scaleobj0.8𝑺T\scaleobj0.8𝒔0=α(𝑿T+𝒌\scaleobj0.8𝑺T\scaleobj0.8𝒔0)+(1α)(𝑿T+\scaleobj0.8𝑺T\scaleobj0.8𝒔0).\displaystyle+(\alpha\bm{k}+(1-\alpha)\bm{\ell})\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0}=\alpha(\bm{X}_{T}+\bm{k}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})+(1-\alpha)(\bm{X}_{T}+\bm{\ell}\,\scaleobj{0.8}{\odot}\,\bm{S}_{T}\,\scaleobj{0.8}{\oslash}\,\bm{s}_{0})\,.

The assertion follows as in the proof of (v). ∎


In the following, we prove Lemma 3.15.

Proof of Lemma 3.15.

Assume by contradiction that for some ϵ>0\epsilon>0 with AkϵAkϵd𝟏A_{k-\epsilon}\subset A_{k}-\frac{\epsilon}{d}\bm{1} there exists an δ>ϵ\delta>\epsilon and an 𝒙δAkδ\bm{x}_{\delta}\in A_{k-\delta} such that 𝒙δAkϵδϵd𝟏\bm{x}_{\delta}\notin A_{k-\epsilon}-\frac{\delta-\epsilon}{d}\bm{1}. Since AA is closed, 𝒙^=argmin𝒙Akϵ𝒙𝒙δ\hat{\bm{x}}=\operatorname*{arg\,min}_{\bm{x}\in A_{k-\epsilon}}\|\bm{x}-\bm{x}_{\delta}\| exists and is contained in AkϵA_{k-\epsilon}. Notice that by assumption, 𝒙^𝒙δ+δϵd𝟏\hat{\bm{x}}\neq\bm{x}_{\delta}+\frac{\delta-\epsilon}{d}\bm{1}. Therefore there exists 𝒚d{𝟎}\bm{y}\in\mathbb{R}^{d}\setminus\{\bm{0}\} with 𝒚𝟏=0\bm{y}^{\intercal}\bm{1}=0 such that 𝒙δ=𝒙^δϵd𝟏+𝒚\bm{x}_{\delta}=\hat{\bm{x}}-\frac{\delta-\epsilon}{d}\bm{1}+\bm{y}. Furthermore, notice that 𝒙δ(𝒙^+β𝒚)=(1β)𝒚δϵd𝟏\|\bm{x}_{\delta}-(\hat{\bm{x}}+\beta\bm{y})\|=\|(1-\beta)\bm{y}-\frac{\delta-\epsilon}{d}\bm{1}\| is decreasing in β[0,1]\beta\in[0,1]. In particular for β(0,1]\beta\in(0,1], 𝒙^+β𝒚\hat{\bm{x}}+\beta\bm{y} cannot lie in AkϵA_{k-\epsilon}, and since (𝒙^+β𝒚)𝟏=kϵ(\hat{\bm{x}}+\beta\bm{y})^{\intercal}\bm{1}=k-\epsilon, 𝒙^+β𝒚A\hat{\bm{x}}+\beta\bm{y}\notin A.

Now let 𝒙ϵ=ϵδ𝒙δ+(1ϵδ)(𝒙^+ϵd𝟏)=𝒙^+ϵδ𝒚\bm{x}_{\epsilon}=\frac{\epsilon}{\delta}\bm{x}_{\delta}+(1-\frac{\epsilon}{\delta})(\hat{\bm{x}}+\frac{\epsilon}{d}\bm{1})=\hat{\bm{x}}+\frac{\epsilon}{\delta}\bm{y}. From the previous observation, we see that 𝒙ϵA\bm{x}_{\epsilon}\notin A. However by assumption, 𝒙^+ϵd𝟏Ak\hat{\bm{x}}+\frac{\epsilon}{d}\bm{1}\in A_{k}. So by convexity of AA, 𝒙ϵ\bm{x}_{\epsilon} must lie in AA. This is a contradiction and therefore, such an 𝒙δ\bm{x}_{\delta} cannot exist. ∎

Appendix B Note on increasing bilateral liabilities

This appendix complements the discussion around Figure 5.6. As bilateral liabilities between two agents increase, both systemic risk measures increase. The following figure illustrates the ‘limit set’ of the intrinsic systemic risk measure. For monetary systemic risk measurements it is not clear from our simulations whether they converge to a half-space or not.

Refer to caption
Figure B.1: Visualisation of the limit set for increasing bilateral liabilities.

Acknowledgements

The authors are thankful to Gabriela Kováčová for her contributions to the proof of Lemma 3.15. Jana Hlavinová and Birgit Rudloff acknowledges support from the OeNB anniversary fund, project number 17793, and from the Vienna Graduate School on Computational Optimization, Austrian Science Fund (FWF): W1260-N35.

References

  • Acharya, Pedersen, Philippon, and Richardson (2016) Acharya, V.V., Pedersen, L.H., Philippon, T., and Richardson, M., 2016. Measuring Systemic Risk. The Review of Financial Studies, 30(1), 2–47.
  • Adrian and Brunnermeier (2016) Adrian, T. and Brunnermeier, M.K., 2016. Covar. The American Economic Review, 106(7), 1705–1741.
  • Ararat and Rudloff (2020) Ararat, Ç. and Rudloff, B., 2020. Dual representations for systemic risk measures. Mathematics and Financial Economics, 14, 139–174.
  • Artzner, Delbaen, Eber, and Heath (1999) Artzner, P., Delbaen, F., Eber, J.M., and Heath, D., 1999. Coherent measures of risk. Mathematical Finance, 9(3), 203–228.
  • Brunnermeier (2009) Brunnermeier, M.K., 2009. Deciphering the liquidity and credit crunch 2007-2008. Journal of Economic Perspectives, 23(1), 77–100.
  • Cerreia-Vioglio, Maccheroni, Marinacci, and Montrucchio (2011) Cerreia-Vioglio, S., Maccheroni, F., Marinacci, M., and Montrucchio, L., 2011. Risk measures: Rationality and diversification. Mathematical Finance, 21(4), 743–774.
  • Chen, Iyengar, and Moallemi (2013) Chen, C., Iyengar, G., and Moallemi, C.C., 2013. An Axiomatic Approach to Systemic Risk. Manag. Sci., 59(6), 1373–1388.
  • Cifuentes, Ferrucci, and Shin (2005) Cifuentes, R., Ferrucci, G., and Shin, H.S., 2005. Liquidity risk and contagion. Journal of the European Economic Association, 3(2/3), 556–566.
  • Eisenberg and Noe (2001) Eisenberg, L. and Noe, T.H., 2001. Systemic risk in financial systems. Management Science, 47(2), 236–249.
  • Elsinger (2009) Elsinger, H., 2009. Financial Networks, Cross Holdings, and Limited Liability. Working papers. Österreichische Nationalbank.
  • Farkas, Koch-Medina, and Munari (2014a) Farkas, W., Koch-Medina, P., and Munari, C., 2014a. Beyond cash-additive risk measures: when changing the numéraire fails. Finance and Stochastics, 18(1), 145–173.
  • Farkas, Koch-Medina, and Munari (2014b) Farkas, W., Koch-Medina, P., and Munari, C., 2014b. Capital requirements with defaultable securities. Insurance: Mathematics and Economics, 55, 58–67.
  • Farkas, Koch-Medina, and Munari (2015) Farkas, W., Koch-Medina, P., and Munari, C., 2015. Measuring risk with multiple eligible assets. Mathematics and Financial Economics, 9(1), 3 – 27.
  • Farkas and Smirnow (2018) Farkas, W. and Smirnow, A., 2018. Intrinsic risk measures. In: Innovations in Insurance, Risk- and Asset Management, pages 163–184.
  • Feinstein (2017) Feinstein, Z., 2017. Financial contagion and asset liquidation strategies. Operations Research Letters, 45(2), 109–114.
  • Feinstein, Rudloff, and Weber (2017) Feinstein, Z., Rudloff, B., and Weber, S., 2017. Measures of systemic risk. SIAM Journal on Financial Mathematics, 8(1), 672–708.
  • Föllmer and Schied (2002) Föllmer, H. and Schied, A., 2002. Convex measures of risk and trading constraints. Finance Stoch., 6(4), 429–447.
  • Föllmer and Schied (2004) Föllmer, H. and Schied, A., 2004. Stochastic Finance: An Introduction in Discrete Time. De Gruyter studies in mathematics. Walter de Gruyter.
  • Hurd (2016) Hurd, T.R., 2016. Contagion! Systemic Risk in Financial Networks. Springer Cham.
  • Laudagé, Sass, and Wenzel (2022) Laudagé, C., Sass, J., and Wenzel, J., 2022. Combining multi-asset and intrinsic risk measures. Insurance: Mathematics and Economics, 106, 254–269.
  • Munari (2015) Munari, C.A., 2015. Measuring risk beyond the cash-additive paradigm. Ph.D. thesis, Diss. ETH no. 22541, ETH Zürich.
  • Rogers and Veraart (2013) Rogers, L.C.G. and Veraart, L.A.M., 2013. Failure and Rescue in an Interbank Network. Manag.Sci, 59(4), 882–898.
  • Silva, Kimura, and Sobreiro (2017) Silva, W., Kimura, H., and Sobreiro, V.A., 2017. An analysis of the literature on systemic financial risk: A survey. Journal of Financial Stability, 28, 91–114.
  • Weber and Weske (2017) Weber, S. and Weske, K., 2017. The joint impact of bankruptcy costs, fire sales and cross-holdings on systemic risk in financial networks. Probability, Uncertainty and Quantitative Risk, 2(9).