Elicitability and identifiability of tail risk measures

Abstract

Tail risk measures are fully determined by the distribution of the underlying loss beyond its quantile at a certain level, with Value-at-Risk and Expected Shortfall being prime examples. They are induced by law-based risk measures, called their generators, evaluated on the tail distribution. This paper establishes joint identifiability and elicitability results of tail risk measures together with the corresponding quantile, provided that their generators are identifiable and elicitable, respectively. As an example, we establish the joint identifiability and elicitability of the tail expectile together with the quantile. The corresponding consistent scores constitute a novel class of weighted scores, nesting the known class of scores of Fissler and Ziegel for the Expected Shortfall together with the quantile. For statistical purposes, our results pave the way to easier model fitting for tail risk measures via regression and the generalized method of moments, but also model comparison and model validation in terms of established backtesting procedures.

Key-words: Tail risk measures, elicitability, identifiability, weighted scores, backtesting

MSC Classification: 91G70; 62F07; 62G32; 62P05

1 Introduction

Over the past three decades, tail risk measures, such as Value-at-Risk (VaR) and Expected Shortfall (ES), have been playing a prominent role as the standard risk metrics in global banking and insurance regulatory frameworks, such as Basel III/IV (BCBS, 2019) and Solvency II (EIOPA, 2011). Within the general framework of tail risk measures developed by Liu and Wang (2021) and Liu et al. (2022), there are many tail risk measures in the literature, such as the tail standard deviation (Furman and Landsman, 2006), the tail entropic risk measure (Tsanakas, 2009), the Glue VaR (Belles-Sampera et al., 2014), the Gini Shortfall (Furman et al., 2017), and the Range VaR (Cont et al., 2010; Embrechts et al., 2018), in addition to VaR and ES.

In view of the practical importance of tail risk measures, this paper studies their identifiability and elicitability. A risk measure is identifiable if it is the unique zero (root) of an expected identification function. Similarly, it is elicitable if it is the unique minimizer of an expected score; see Definitions 3.1 and 3.2. As such, identifiability and elicitability facilitate Z- and M-estimation (Huber and Ronchetti, 2009). More generally, model fitting can be pursued via the generalized method of moments (Newey and McFadden, 1994) or regression (Dimitriadis et al., 2024), also using recent tools from machine learning; see Cont et al. (2022) and Fissler et al. (2023) for examples. For model comparison and model validation, commonly subsumed under the umbrella term backtesting, identifiability and elicitability are crucial (Nolde and Ziegel, 2017; Fissler et al., 2016).

Elicitability, together with the closely related concept of identifiability, has received increasing attention in the statistics and risk management literature. In particular, characterization results on risk measures are obtained via elicitability or convex level sets; see Weber (2006), Bellini and Bignozzi (2015) and Delbaen et al. (2016) for convex risk measures, Ziegel (2016) for coherent risk measures, Kou and Peng (2016) and Wang and Ziegel (2015) for distortion risk measures, Wang and Wei (2020) for non-monotone risk measures, and Liu and Wang (2021) for tail risk measures. Elicitability can also be used indirectly to identify ES among coherent risk measures, as done by Embrechts et al. (2021).

A tail risk measure is determined by the tail of the loss distribution and a generating risk measure, called the generator. Our paper is motivated by the intriguing observation that the mean is elicitable, and so is the vector of VaR and ES at the same level (Fissler and Ziegel, 2016), where ES is the tail risk measure generated by the mean. This naturally leads to the question whether the elicitability of a tail risk measure is connected to the elicitability of its generator. This problem, as well as its variants, will be systemically studied in this paper.

Our main results, Theorems 4.3 and 5.3, establish the joint identifiability and elicitability of a tail risk measure together with the corresponding quantile, subject to identifiability and elicitability of its generator, respectively. For the elicitability result, a novel monotonicity condition on the consistent scoring function for the generator is required. Interestingly, the consistent scores of the latter theorem constitute a generalization of the weighted scores discussed by Holzmann and Klar (2017), but with a forecast dependent weight function. This class nests also the well known FZ-scores for ES and the quantile, characterized by Fissler and Ziegel (2016). Vice versa, Propositions 4.1 and 5.1 show that the identifiability and elicitability of the generator is necessary for the joint identifiability and elicitability results, respectively.

The paper is structured as follows. Section 2 collects preliminaries on tail risk measures. Section 3 defines the key concepts of elicitability, identifiability, and convex level sets, as well as some examples. Section 4 contains results on identifiability, and Section 5 contains results on elicitability. Some remarks on our results when changing from the right tail to the left tail, or to a body part of the distribution, are presented in Section 6. Section 7 concludes the paper. Some background on risk measures, technical assumptions, and omitted proofs are collected in three appendices.

2 Preliminaries

2.1 Notation

We work with an atomless probability space $(\Omega,\mathcal{F},\mathbb{P})$. Let $\mathcal{M}^{0}$ be the set of all Borel probability distributions on $\mathbb{R}$ and let $\mathcal{M}^{q}\subseteq\mathcal{M}^{0}$, $q\in[1,\infty)$, be the subset of all distributions with a finite $q$th moment. Moreover, $\mathcal{M}^{\infty}$ denotes the set of all compactly supported distributions. For the ease of presentation, we identify distributions with the corresponding cumulative distribution functions; that is, $F(x)$ is understood as $F((-\infty,x])$ for $x\in\mathbb{R}$. For $F\in\mathcal{M}^{0}$, we define the left-continuous generalized inverse (left-quantile) as

$$F^{-1}(t)=\inf\{x\in\mathbb{R}:F(x)\geqslant t\},\quad t\in(0,1],$$

and in addition set $F^{-1}(0)=\inf\{x\in\mathbb{R}:F(x)>0\}$. For $x\in\mathbb{R}$, denote by $\delta_{x}$ the point-mass probability measure at $x$. For simplicity, $\int$ means integration on $\mathbb{R}$ unless otherwise specified. Throughout this article, if we do not specify $\mathcal{M}$, then the statements hold for any set $\mathcal{M}\subseteq\mathcal{M}^{0}$ such that the functional at consideration is well-defined and finite on $\mathcal{M}$.

2.2 Risk measures

A risk measure is a map** $\hat{\rho}$ from a set of random variables $\mathcal{X}$ on $(\Omega,\mathcal{F},\mathbb{P})$ to $\mathbb{R}$ (Föllmer and Schied, 2016). The typical interpretation of a risk measure is that its argument, $X\in\mathcal{X}$, represents the loss of some financial position, and that $\hat{\rho}(X)\in\mathbb{R}$ represents the amount of capital required to hold to make the risk of $X$ acceptable (we follow the sign convention of McNeil et al. (2015)). In Appendix A, we list several well studied properties for risk measures on $\mathcal{X}$. Most common risk measures are law-based (also called law-invariant), meaning that for any $X,X^{\prime}\in\mathcal{X}$ it holds that $\hat{\rho}(X)=\hat{\rho}(X^{\prime})$ whenever the distributions of $X$ and $X^{\prime}$ coincide, i.e., $F_{X}=F_{X^{\prime}}$. Let $\mathcal{M}=\{F_{X}\in\mathcal{M}^{0}:X\in\mathcal{X}\}$. Then, a law-based risk measure $\hat{\rho}:\mathcal{X}\to\mathbb{R}$ induces a map**

$$\rho\colon\mathcal{M}\to\mathbb{R},\qquad\rho(F):=\hat{\rho}(X)\quad\text{for some $X\in\mathcal{X}$ with $F_{X}=F$.}$$ (2.1)

In this paper, we shall take the map** $\rho$ as the primary object and also call it a risk measure, slightly overloading terminology. Clearly, invoking the relation (2.1), our study can easily be translated into properties of $\hat{\rho}$.

The two most popular classes of risk measures used in banking and insurance practice are the Value-at-Risk (VaR) and the Expected Shortfall (ES). For a confidence level $p\in(0,1)$, the right-quantile ($\mathrm{VaR}^{+}_{p}$) and the left-quantile ($\mathrm{VaR}_{p}^{-}$), defined for $F\in\mathcal{M}^{0}$ as

$$\mathrm{VaR}^{+}_{p}(F) =\inf\{x\in\mathbb{R}:F(x)>p\}=F^{-1}(p+),$$

$$\mathrm{VaR}^{-}_{p}(F) =\inf\{x\in\mathbb{R}:F(x)\geqslant p\}=F^{-1}(p).$$

In addition, let $\mathrm{ess\mbox{-}sup}(F)=\mathrm{VaR}_{1}^{-}(F)$ and $\mathrm{ess\mbox{-}inf}(F)=\mathrm{VaR}_{0}^{+}(F)$ for $F\in\mathcal{M}^{0}$. In risk management practice, one typically does not distinguish between $\mathrm{VaR}_{p}^{+}$ and $\mathrm{VaR}^{-}_{p}$ as they are identical for distributions with a continuous $F^{-1}$ at $p$. However, to allow for the full generality of exposition, for $p\in(0,1)$, we shall mostly work with the interval-valued $p$-quantile

$$Q_{p}(F)=\{x\in\mathbb{R}:F(x-)\leqslant p\leqslant F(x)\}=\left[\mathrm{VaR}_{p}^{-}(F),\mathrm{VaR}_{p}^{+}(F)\right].$$

For a confidence level $p\in(0,1)$, $\mathrm{ES}_{p}$ is defined by

$$\mathrm{ES}_{p}(F)=\frac{1}{1-p}\int_{p}^{1}\mathrm{VaR}^{+}_{r}(F)\,\mathrm{d}r\in\mathbb{R}\cup\{\infty\},\quad F\in\mathcal{M}^{0},$$ (2.2)

$\mathrm{ES}_{1}(F)=\mathrm{VaR}_{1}^{-}(F)=\mathrm{ess\mbox{-}sup}(F)\in\mathbb{R}\cup\{\infty\}$ and $\mathrm{ES}_{0}(F)$ is the mean on $\mathcal{M}^{1}$. We remark that for $p\in(0,1)$ and $F\in\mathcal{M}^{0}$, $\mathrm{ES}_{p}(F)$ is finite if and only if $\int_{0}^{\infty}x\,\mathrm{d}F(x)<\infty$. Since $\mathrm{VaR}_{r}^{-}(F)\neq\mathrm{VaR}_{r}^{+}(F)$ only for at most countably many $r\in[0,1]$, we can also replace $\mathrm{VaR}^{+}_{r}(F)$ by $\mathrm{VaR}^{-}_{r}(F)$ in (2.2).

2.3 Tail distribution and tail risk measures

We follow the same definitions of tail distributions as in Rockafellar and Uryasev (2002). For a distribution $F\in\mathcal{M}^{0}$ and $p\in(0,1)$, let $F_{p}\in\mathcal{M}^{0}$ be the tail distribution of $F$ beyond its $p$-quantile, that is,

$$F_{p}(x)=\frac{(F(x)-p)_{+}}{1-p},\quad x\in\mathbb{R}.$$

Invoking our sign convention that a distribution $F\in\mathcal{M}^{0}$ is a loss distribution, it is clear that the this right tail is the region of interest from a risk measurement and management perspective (McNeil et al., 2015). Clearly, with another sign convention and from a mathematical perspective, we could similarly consider the left tail of the distribution, and all the results presented in the article hold mutatis mutandis (this will be made more clear in Section 6). We impose the tacit condition on our generic classes $\mathcal{M}\subseteq\mathcal{M}^{0}$ that $F_{p}\in\mathcal{M}$ for each $F\in\mathcal{M}$ and $p\in(0,1)$. This assumption holds for common choices of $\mathcal{M}$, such as $\mathcal{M}=\mathcal{M}^{q}$, $q\in[1,\infty]$. Note that $F_{p}=G_{p}$ if and only if $F(x)=G(x)$ for all $x\geqslant\mathrm{VaR}_{p}^{+}(F)$.

The following definition corresponds to Definition 3.1 of Liu and Wang (2021).

Definition 2.1 (Tail risk measures).

For $p\in(0,1)$, a risk measure $\rho\colon\mathcal{M}\to\mathbb{R}$ is a $p$-tail risk measure if $\rho(F)=\rho(G)$ for all $F,G\in\mathcal{M}$ satisfying $F_{p}=G_{p}$. A risk measure $\rho\colon\mathcal{M}\to\mathbb{R}$ is tail relevant if it is a $p$-tail risk measure for some $p\in(0,1)$. In this case, we simply call it a tail risk measure.

It is immediate from Definition 2.1 that for $p\in(0,1)$, $\mathrm{VaR}^{+}_{p}$ and $\mathrm{ES}_{p}$ are $p$-tail risk measures, whereas the expectation is not a tail risk measure. An important property of tail risk measures is that they can be generated by other risk measures. Precisely, for any $p\in(0,1)$ and $p$-tail risk measure $\rho$ on $\mathcal{M}$, there exists a risk measure $\rho^{*}$ on $\mathcal{M}$, called the $p$-generator of $\rho$, satisfying

$$\rho(F)=\rho^{*}(F_{p}),\quad\text{ for all }F\in\mathcal{M},$$ (2.3)

and such a $\rho^{*}$ is unique on the set $\mathcal{M}^{*}$ of distributions in $\mathcal{M}$ whose support is bounded from below (Proposition 1 of Liu and Wang (2021)). Conversely, to obtain a $p$-tail risk measure, $p\in(0,1)$, it suffices to specify a generic risk measure $\rho^{*}$ and to define $\rho$ via (2.3). We will define $(\rho,\rho^{*})$ as a pair, and study their joint properties.

Definition 2.2.

For $p\in(0,1)$, a pair of risk measures $(\rho,\rho^{*})$ is called a $p$-tail pair on $\mathcal{M}$ if $\rho(F)=\rho^{*}(F_{p})$ for all $F\in\mathcal{M}$, and $(\rho,\rho^{*})$ is called a tail pair on $\mathcal{M}$ if it is a $p$-tail pair on $\mathcal{M}$ for some $p\in(0,1)$.

3 Elicitability, identifiability and convex level sets

In the literature, the general discussion about elicitability and its importance due to its connection to comparative backtests and forecasts can be found in Lambert et al. (2008), Gneiting (2011a), Fissler and Ziegel (2016), and the references therein. In particular, Nolde and Ziegel (2017) elaborated in detail on its relevance in backtesting, and they provide calibration tests exploiting the notion of identifiability. More recently, Liu and Wang (2021) provided a characterization of VaR among tail risk measures based on elicitability. Moreover, both identifiability and elicitability can be used in estimation, and particularly elicitability also in regression (Huber and Ronchetti, 2009; Koenker, 2005; Dimitriadis et al., 2024).

We want to define the notions of identifiability, elicitability and two convex level sets (CxLS) properties in a unified manner, that is applicable for real-valued risk measures, interval-valued quantiles, and vectors consisting of (possibly multiple) real-valued risk measures and an interval-valued quantile. To this end, we study set-valued functionals $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$, where $\mathcal{P}(\mathbb{R}^{k})$ denotes the power set of $\mathbb{R}^{k}$. Moreover, we use the tacit convention to identify $x\in\mathbb{R}^{k}$ with the singleton $\{x\}\in\mathcal{P}(\mathbb{R}^{k})$, such that the definitions apply also to $\mathbb{R}^{k}$-valued functionals.

Definition 3.1.

For a functional $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$, a function $V\colon\mathbb{R}^{k}\times\mathbb{R}\to\mathbb{R}^{k}$ is an $\mathcal{M}$-identification function for $T$ if for all $F\in\mathcal{M}$

$$T(F)\subseteq\left\{x\in\mathbb{R}^{k}:\int_{\mathbb{R}}V(x,y)\,\mathrm{d}F(y)=0\right\},$$ (3.1)

assuming that the integral is well-defined. If (3.1) holds with an equality, then $V$ is a strict $\mathcal{M}$-identification function for $T$. If $T$ has a strict $\mathcal{M}$-identification function, we call it $\mathcal{M}$-identifiable.

Definition 3.2.

1. For a functional $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$, a function $S\colon\mathbb{R}^{k}\times\mathbb{R}\to\mathbb{R}$ is an $\mathcal{M}$-consistent score if for all $F\in\mathcal{M}$

   $$T(F)\subseteq\operatorname*{arg\,min}_{x\in\mathbb{R}^{k}}\int_{\mathbb{R}}S(x,y)\,\mathrm{d}F(y),$$ (3.2)

   assuming that the integral is well-defined. If (3.2) holds with an equality, then $S$ is a strictly $\mathcal{M}$-consistent score for $T$. If $T$ has a strictly $\mathcal{M}$-consistent score, we call it $\mathcal{M}$-elicitable.

2. A functional $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$, is $\mathcal{M}$-conditionally elicitable with a functional $T^{\prime}\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k^{\prime}})$ if $T^{\prime}$ is $\mathcal{M}$-elicitable and $T$ is $\mathcal{M}(r,T^{\prime})$-elicitable for any $r\in\mathbb{R}^{k^{\prime}}$, where

   $$\mathcal{M}(r,T^{\prime})=\{F\in\mathcal{M}:r\in T^{\prime}(F)\}.$$

The notion of conditional elicitability simplifies the original definition given in Emmer et al. (2015); see also Fissler and Hoga (2023).

Example 3.3.

The mean functional is $\mathcal{M}^{1}$-identifiable with the strict $\mathcal{M}^{1}$-identification function $V(x,y)=x-y$, $x,y\in\mathbb{R}$. Under mild conditions, any other strict $\mathcal{M}^{1}$-identification function is of the form $h(x)(x-y)$, where $h\neq 0$ (Dimitriadis et al., 2023). Moreover, under similar conditions, any strictly $\mathcal{M}^{1}$-consistent scoring function for the mean is given by

$$S(x,y)=-\phi(x)+\phi^{\prime}(x)(x-y)+a(y),\quad x,y\in\mathbb{R},$$

where $\phi\colon\mathbb{R}\to\mathbb{R}$ is strictly convex with subgradient $\phi^{\prime}$, and $a\colon\mathbb{R}\to\mathbb{R}$ is an $\mathcal{M}$-integrable function (Gneiting, 2011a). This class nests the ubiquitous squared loss $S(x,y)=(x-y)^{2}$, which is strictly $\mathcal{M}^{2}$-consistent for the mean.

Example 3.4.

For $p\in(0,1)$, the $p$-quantile $Q_{p}$ is identifiable on

$$\mathcal{M}_{(p)}=\{F\in\mathcal{M}^{0}:F(\mathrm{VaR}_{p}^{-}(F))=p\}$$

with the strict $\mathcal{M}_{(p)}$-identification function $V(x,y)=\mathds{1}_{\{y\leqslant x\}}-p,\ x,y\in\mathbb{R}.$ Essentially, all other strict $\mathcal{M}_{(p)}$-identification functions are given by $h(x)(\mathds{1}_{\{y\leqslant x\}}-p)$, where $h\neq 0$; see Dimitriadis et al. (2023) for details. Here, “essentially” means that for any other strict $\mathcal{M}_{(p)}$-identification function $\tilde{V}(x,y)$ it holds that $\int\tilde{V}(x,y)\,\mathrm{d}F(y)=h(x)(F(x)-p)$ for all $x\in\mathbb{R}$ and $F\in\mathcal{M}_{(p)}$. Interestingly, $Q_{p}$ is elicitable on the entire $\mathcal{M}^{0}$. Subject to integrability and richness conditions, any strictly $\mathcal{M}^{0}$-consistent scoring function is given by

$$S(x,y)=\mathds{1}_{\{y>x\}}g(y)+\big{(}\mathds{1}_{\{y\leqslant x\}}-p\big{)}g(x)+a(y),\quad x,y\in\mathbb{R},$$

where $g$ is strictly increasing (Gneiting, 2011b). This recovers the well-known pinball loss $S(x,y)=\big{(}\mathds{1}_{\{y\leqslant x\}}-p\big{)}(x-y)$, which is strictly $\mathcal{M}^{1}$-consistent for $Q_{p}$.

Example 3.5.

It is known that $\mathrm{ES}_{p}$ generally fails to be identifiable and elicitable on sufficiently rich classes $\mathcal{M}$ (Weber, 2006; Gneiting, 2011a). However, the pair $(Q_{p},\mathrm{ES}_{p})$ turns out to be $\mathcal{M}^{1}\cap\mathcal{M}_{(p)}$-identifiable using the strict identification function

$$V(v,x,y)=\begin{pmatrix}\mathds{1}_{\{y\leqslant v\}}-p\\ x-\tfrac{1}{1-p}\big{[}\mathds{1}_{\{y>v\}}y+(\mathds{1}_{\{y\leqslant v\}}-p)v\big{]}\end{pmatrix},\quad v,x,y\in\mathbb{R},$$ (3.3)

see Dimitriadis et al. (2023) for the full class of identification functions. Acerbi and Szèkely (2014) established the $\mathcal{M}$-elicitability of $(Q_{p},\mathrm{ES}_{p})$ under certain restrictive conditions on $\mathcal{M}$; and Fissler and Ziegel (2016, 2021b) showed that the pair is generally $\mathcal{M}^{1}$-elicitable. Strictly $\mathcal{M}^{1}$-consistent scoring functions are of the form

$$\begin{aligned} S(v,x,y)&=\,\mathds{1}_{\{y>v\}}g(y)+\left(\mathds{1}_{\{y\leqslant v\}}-p\right)g(v)\\ &\qquad+\phi^{\prime}(x)\Big{(}x-\tfrac{1}{1-p}\big{[}\mathds{1}_{\{y>v\}}y+(\mathds{1}_{\{y\leqslant v\}}-p)v\big{]}\Big{)}-\phi(x)+a(y),\quad v,x,y\in\mathbb{R},\end{aligned}$$ (3.4)

where $\phi\colon\mathbb{R}\to\mathbb{R}$ is strictly convex with subgradient $\phi^{\prime}$, such that for all $x$ the function $v\mapsto g(v)-\frac{1}{1-p}\phi^{\prime}(x)v$ is strictly increasing, and where $a\colon\mathbb{R}\to\mathbb{R}$ is a function such that the expectation $\int S(v,x,y)\,\mathrm{d}F(y)$ is finite for all $F\in\mathcal{M}^{1}$.

We close this section by providing two versions of the CxLS property, defined in Fissler et al. (2021).

Definition 3.6.

1. A functional $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$ satisfies the CxLS property on $\mathcal{M}$ if for all $F_{0},F_{1}\in\mathcal{M}$ and for all $\lambda\in(0,1)$ such that $(1-\lambda)F_{0}+\lambda F_{1}\in\mathcal{M}$ it holds that

   $$T(F_{0})\cap T(F_{1})\subseteq T((1-\lambda)F_{0}+\lambda F_{1}).$$

2. A functional $T\colon\mathcal{M}\to\mathcal{P}(\mathbb{R}^{k})$ satisfies the CxLS* property on $\mathcal{M}$ if for all $F_{0},F_{1}\in\mathcal{M}$ and for all $\lambda\in(0,1)$ such that $(1-\lambda)F_{0}+\lambda F_{1}\in\mathcal{M}$ it holds that

   $$T(F_{0})\cap T(F_{1})\neq\emptyset\implies T(F_{0})\cap T(F_{1})=T((1-\lambda)F_{0}+\lambda F_{1}).$$

Note that Fissler et al. (2021) coined these two properties the selective CxLS and CxLS* properties. Since we do not make use of the counterpart – the exhaustive notion – we omit the qualifier “selective” in this paper.

Obviously, the CxLS* property implies the CxLS property. They both generalize the CxLS property for singleton-valued functionals, for which they coincide. Importantly for us, elicitability implies the CxLS* property (Fissler et al., 2021, Proposition 3.4), and similarly, identifiability implies the CxLS property (Proposition B.4 of the preprint version of Fissler and Hoga (2023)). This necessity has already partially been established by Osband (1985) and Gneiting (2011a). Under additional regularity conditions and for real-valued functionals, Steinwart et al. (2014) also showed the sufficiency of the CxLS property for elicitability and identifiability.

4 Identifiability results

We first define the following sets:

$$\mathcal{M}^{\rm c}_{p} =\left\{F\in\mathcal{M}^{0}:F^{-1}\text{ is continuous at }p\right\},\quad\text{ for }p\in(0,1);$$

$$\mathcal{M}_{\geqslant r} =\left\{F\in\mathcal{M}^{0}:F^{-1}(0)\geqslant r\right\},\quad\text{ for }r\in\mathbb{R};$$

$$\mathcal{M}_{(p)} =\left\{F\in\mathcal{M}^{0}:F(F^{-1}(p))=p\right\},\quad\text{ for }p\in[0,1).$$

The first result in this section discusses how the identifiability of the tail risk measure implies that of the corresponding generator.

Proposition 4.1.

Let $(\rho,\rho^{*})$ be a $p$-tail pair for some $p\in(0,1)$. The following statements hold.

1. For any $r\in\mathbb{R}$ it holds that if $\rho$ is $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-identifiable with a strict identification function $V$, then $\rho^{*}$ is $\mathcal{M}_{\geqslant r}\cap\mathcal{M}$-identifiable with the strict identification function

   $$V_{r}^{*}(x,y)=(1-p)V(x,y)+pV(x,r),\quad x,y\in\mathbb{R}.$$ (4.1)

2. For any $r\in\mathbb{R}$ it holds that if $(Q_{p},\rho)$ is $\mathcal{M}_{(p)}\cap\big{(}\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}\big{)}$-identifiable with a strict identification function

   $$\big{(}\mathds{1}_{\{y\leqslant v\}}-p,V(v,x,y)\big{)},~{}~{}~{}~{}v,x,y\in\mathbb{R},$$

   for some function $V\colon\mathbb{R}^{3}\to\mathbb{R}$, then $\rho^{*}$ is $\mathcal{M}_{\geqslant r}\cap\mathcal{M}_{(0)}\cap\mathcal{M}$-identifiable with the strict identification function

   $$V_{r}^{*}(x,y)=(1-p)V(r,x,y)+pV(r,x,r),\quad x,y\in\mathbb{R}.$$ (4.2)

Proof.

1. Let $V$ be a strict $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-identification function for $\rho$ and $V_{r}^{*}$ as given in (4.1) for some $r\in\mathbb{R}$. Choose some $G\in\mathcal{M}_{\geqslant r}\cap\mathcal{M}$ and define

   $$F(y)=\mathds{1}_{\{y\geqslant r\}}\big{(}(1-p)G(y)+p\big{)}=(1-p)G(y)+p\mathds{1}_{\{y\geqslant r\}}.$$

   Due to the assumed identifiability of $\rho$ and since $F_{p}=G$, we get

   $$\rho^{*}(G)=\rho^{*}(F_{p})=\rho(F) =\left\{x\in\mathbb{R}:\int V(x,y)\,\mathrm{d}F(y)=0\right\}$$

   $$=\left\{x\in\mathbb{R}:\int V(x,y)\,\mathrm{d}\left(\mathds{1}_{\{y\geqslant r\}}(1-p)G(y)\right)+pV(x,r)=0\right\}$$

   $$=\left\{x\in\mathbb{R}:\int\big{(}(1-p)V(x,y)+pV(x,r)\big{)}\,\mathrm{d}G(y)=0\right\}$$

   $$=\left\{x\in\mathbb{R}:\int V^{*}_{r}(x,y)\,\mathrm{d}G(y)=0\right\},$$

   where $V^{*}_{r}(x,y)$ is defined in (4.1). This shows the claim.

2. Let $\big{(}\mathds{1}_{\{y\leqslant v\}}-p,V(v,x,y)\big{)}$, $v,x,y\in\mathbb{R}$, be a strict $\mathcal{M}_{(p)}\cap\big{(}\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}\big{)}$-identification function for $(Q_{p},\rho)$ and $V_{r}^{*}$ given in (4.2) for some $r\in\mathbb{R}$. For any $F\in\mathcal{M}_{(p)}\cap\big{(}\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}\big{)}$ and $v\in Q_{p}(F)$ it holds that

   $$\int V(v,x,y)\,\mathrm{d}F(y)=0\quad\text{ if and only if }\quad x=\rho(F).$$

   Let $G\in\mathcal{M}_{\geqslant r}\cap\mathcal{M}_{(0)}\cap\mathcal{M}$. Then, as in part (i), define $F(y)=\mathds{1}_{\{y\geqslant r\}}\big{(}(1-p)G(y)+p\big{)}$, resulting in $F\in\mathcal{M}_{(p)}\cap\big{(}\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}\big{)}$ and $r=\mathrm{VaR}_{p}^{-}(F)\in Q_{p}(F)$. Again, $F_{p}=G$, which implies

   $$\rho^{*}(G)=\rho^{*}(F_{p})=\rho(F) =\left\{x\in\mathbb{R}:\int V(r,x,y)\,\mathrm{d}F(y)=0\right\}$$

   $$=\left\{x\in\mathbb{R}:\int V(r,x,y)\,\mathrm{d}\left(\mathds{1}_{\{x\geqslant r\}}(1-p)G(x)\right)+pV(r,x,r)=0\right\}$$

   $$=\left\{x\in\mathbb{R}:\int\big{(}(1-p)V(r,x,y)+pV(r,x,r)\big{)}\,\mathrm{d}G(x)=0\right\},$$

   which shows the claim. ∎

Example 4.2.

We illustrate the part (i) of Proposition 4.1. Let $\mathcal{M}$ be the class of continuous distribution functions which are strictly increasing on their support. For any $\alpha\in(0,1)$, $p\in(0,\alpha]$ and $r\in\mathbb{R}$, $\mathrm{VaR}_{\alpha}^{-}$ is $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-identifiable with the strict identification function $V(x,y)=\mathds{1}_{\{y\leqslant x\}}-\alpha$. Moreover, $\mathrm{VaR}_{\alpha}^{-}$ is a $p$-tail risk measure with generator $\mathrm{VaR}_{\alpha^{*}}^{-}$, where $\alpha^{*}=(\alpha-p)/(1-p)$. Then, we (4.1) yields $V_{r}^{*}(x,y)=(1-p)\big{(}\mathds{1}_{\{y\leqslant x\}}-\alpha\big{)}+p\big{(}\mathds{1}_{\{y\leqslant r\}}-\alpha\big{)}$. Indeed, for any $F\in\mathcal{M}_{\geqslant r}\cap\mathcal{M}$ it holds that

$$\int V_{r}^{*}(x,y)\,\mathrm{d}F(y)=(1-p)(F(x)-\alpha)+p(1-\alpha)=0\quad\text{ if and only if }\quad F(x)=\frac{\alpha-p}{1-p}=\alpha^{*},$$

showing that $V_{r}^{*}$ is a strict $\mathcal{M}_{\geqslant r}\cap\mathcal{M}$-identification function for $\mathrm{VaR}_{\alpha^{*}}^{-}$.

The next result addresses the inverse direction of Proposition 4.1, that is, how the identifiability of $\rho^{*}$ implies that of $\rho$, together with the quantile interval.

Theorem 4.3.

Let $(\rho,\rho^{*})$ be a $p$-tail pair for some $p\in(0,1)$. If $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ is $\mathcal{M}$-identifiable with the strict identification function $V^{*}\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$, then $(Q_{p},\rho)$ is $\mathcal{M}_{(p)}\cap\mathcal{M}$-identifiable with the strict $\mathcal{M}_{(p)}\cap\mathcal{M}$-identification function

$$V(v,x,y)=\begin{pmatrix}\mathds{1}_{\{y\leqslant v\}}-p\\ \mathds{1}_{\{y>v\}}V^{*}(x,y)+(\mathds{1}_{\{y\leqslant v\}}-p)V^{*}(x,v)\end{pmatrix},\quad v,x,y\in\mathbb{R}.$$ (4.3)

Proof.

Let $F\in\mathcal{M}_{(p)}\cap\mathcal{M}$. Clearly, $\int\left(\mathds{1}_{\{y\leqslant v\}}-p\right)\,\mathrm{d}F(y)=0$ if and only if $v\in Q_{p}(F)$. Take $v\in Q_{p}(F)$. Since $F_{p}(y)=\frac{(F(y)-p)^{+}}{1-p}$, we have

$$\int\left(\mathds{1}_{\{y>v\}}V^{*}(x,y)+(\mathds{1}_{\{y\leqslant v\}}-p)V^{*}(x,v)\right)\,\mathrm{d}F(y) =\int\mathds{1}_{\{y>v\}}V^{*}(x,y)\,\mathrm{d}F(y)$$

$$=(1-p)\int V^{*}(x,y)\,\mathrm{d}F_{p}(y).$$

Hence, $\int V^{*}(x,y)\,\mathrm{d}F_{p}(y)=0$ if and only if $x=\rho^{*}(F_{p})=\rho(F)$. This shows the claim. ∎

Remark 4.4.

Theorem 4.3 holds also by using

$$V(v,x,y)=\begin{pmatrix}\mathds{1}_{\{y\leqslant v\}}-p\\ \mathds{1}_{\{y>v\}}V^{*}(x,y)\end{pmatrix},\quad v,x,y\in\mathbb{R}$$ (4.4)

in (4.3). The reason for the seemingly more involved representation in (4.3) including the “correction term” $(\mathds{1}_{\{y\leqslant v\}}-p)V^{*}(x,v)$ is the structural similarity to the form of the consistent scoring functions in Theorem 5.3; see the discussion in Remark 5.4.

Example 4.5.

To illustrate Theorem 4.3, we let $\rho^{*}$ be the expectation with a strict $\mathcal{M}^{1}$-identification function $V^{*}(x,y)=x-y$, $x,y\in\mathbb{R}$. The corresponding $p$-tail risk measure $\rho$ induced by $\rho^{*}$ is $\mathrm{ES}_{p}$. Indeed, a straightforward calculation yields that the second component of (4.3) is $(1-p)$ times the second component of (3.3).

Corollary 4.6.

Let $(\rho,\rho^{*})$ be a $p$-tail pair for some $p\in(0,1)$. If $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ is $\mathcal{M}$-identifiable, then $(Q_{p},\rho)$ satisfies the CxLS* property on $\mathcal{M}_{(p)}\cap\mathcal{M}$.

Proof.

Due to Proposition B.4 of the preprint version of Fissler and Hoga (2023), Theorem 4.3 implies that $(Q_{p},\rho)$ satisfies the CxLS property on $\mathcal{M}_{(p)}\cap\mathcal{M}$. Since $Q_{p}$ is $\mathcal{M}_{(p)}$-elicitable, it satisfies the CxLS* property on $\mathcal{M}_{(p)}$. And since $\rho$ can be identified with a singleton-valued functional, $(Q_{p},\rho)$ satisfies the CxLS* property on $\mathcal{M}_{(p)}\cap\mathcal{M}$. ∎

Remark 4.7.

Due to Corollary 10 of Steinwart et al. (2014), under some continuity assumptions on $\rho^{*}$ and richness assumptions on $\mathcal{M}$, the risk measure $\rho^{*}$ is $\mathcal{M}$-identifiable if and only if it satisfies the CxLS property on $\mathcal{M}$, which is in turn equivalent to its $\mathcal{M}$-elicitability.

5 Elicitability results

5.1 Elicitability relations and score functions

Corollary 4.6 and Remark 4.7 establish that for a $p$-tail pair $(\rho,\rho^{*})$ with an $\mathcal{M}$-elicitable $\rho^{*}$, the pair $(Q_{p},\rho)$ satisfies the CxLS* property on $\mathcal{M}_{(p)}\cap\mathcal{M}$, which is an important necessary condition for the elicitability of $(Q_{p},\rho)$. We emphasize that for multivariate functionals, the CxLS* property fails to be a sufficient condition for elicitability, as shown by Fissler et al. (2021) and Fissler and Hoga (2023). This section first establishes the conditional $\mathcal{M}$-elicitability of $(Q_{p},\rho)$ and then provides a simple sufficient condition for its $\mathcal{M}$-elicitability. The result below establishes the strictly consistent score function for $\rho^{*}$ from that of $\rho$ or $(Q_{p},\rho)$, if it exists, respectively.

Proposition 5.1.

Let $(\rho,\rho^{*})$ be a $p$-tail pair for some $p\in(0,1)$. The following statements hold.

1. For any $r\in\mathbb{R}$ it holds that if $\rho$ is $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-elicitable with a strictly consistent score $S(x,y)$, $x,y\in\mathbb{R}$, then $\rho^{*}$ is $\mathcal{M}_{\geqslant r}\cap\mathcal{M}$-elicitable with the strictly consistent score

   $$S_{r}^{*}(x,y)=(1-p)S(x,y)+pS(x,r),\quad x,y\in\mathbb{R}.$$ (5.1)

2. For any $r\in\mathbb{R}$ it holds that if $(Q_{p},\rho)$ is $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-elicitable with a strictly consistent score $S(v,x,y)$, $v,x,y\in\mathbb{R}$, then $\rho^{*}$ is $\mathcal{M}_{\geqslant r}\cap\mathcal{M}$-elicitable with the strictly consistent score

   $$S_{r}^{*}(x,y)=(1-p)S(r,x,y)+pS(r,x,r),\quad x,y\in\mathbb{R}.$$ (5.2)

The proof is very similar to that of Proposition 4.1 and is presented in Appendix C.

Example 5.2 (Continuation of Example 4.2).

We now illustrate part (i) of Proposition 5.1. A strictly $\mathcal{M}^{0}$-consistent score for $\mathrm{VaR}_{\alpha}^{-}$ is of the form $S(x,y)=\big{(}\mathds{1}_{\{y\leqslant x\}}-\alpha\big{)}\big{(}g(x)-g(y)\big{)}$ for a strictly increasing and bounded function $g$ (Gneiting, 2011b) (upon restricting the class $\mathcal{M}\subseteq\mathcal{M}^{0}$, we can also choose unbounded $g$). For any $p\in(0,\alpha]$ and $r\in\mathbb{R}$ it holds for any random variable $Y$ with distribution $F\in\mathcal{M}_{\geqslant r}$ that the score $S_{r}^{*}$ in (5.1) is almost surely

$$S^{*}_{r}(x,Y)=(1-p)\big{(}\mathds{1}_{\{Y\leqslant x\}}-\alpha\big{)}\big{(}g(x)-g(Y)\big{)}+p\big{(}1-\alpha\big{)}\big{(}g(x)-g(Y)\big{)},\quad x\in\mathbb{R}.$$

A direct calculation verifies that this is a positive multiple of

$$\big{(}\mathds{1}_{\{Y\leqslant x\}}-\alpha^{*}\big{)}\big{(}g(x)-g(Y)\big{)},\quad\alpha^{*}=\frac{\alpha-p}{1-p}.$$

The next result provides the score function for the tail risk measure $\rho$ from that of $\rho^{*}$ under some conditions. A list of technical assumptions adapted from those used by Fissler and Ziegel (2016) is needed for part (iii). Due to its length, this list is presented in Appendix B.

Theorem 5.3.

Let $(\rho,\rho^{*})$ be a $p$-tail pair for some $p\in(0,1)$. If $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ is $\mathcal{M}$-elicitable with the strictly $\mathcal{M}$-consistent score $S^{*}\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$. Then the following statements hold.

1. $\rho$ is $\mathcal{M}$-conditionally elicitable with $Q_{p}$. In particular, for any $v\in\mathbb{R}$, the score

   $$S_{v}(x,y)=\mathds{1}_{\{y>v\}}S^{*}(x,y)+\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}S^{*}(x,v)+a(y),\quad x,y\in\mathbb{R},$$ (5.3)

   is strictly $\mathcal{M}(v,Q_{p})$-consistent for $\rho$, where $\mathcal{M}(v,Q_{p})=\{F\in\mathcal{M}:v\in Q_{p}(F)\}$.

2. If for all $x\in\mathbb{R}$, $S^{*}(x,y)$ is strictly increasing in $y$, then $(Q_{p},\rho)$ is $\mathcal{M}$-elicitable with a strictly $\mathcal{M}$-consistent score

   $$S(v,x,y)=\mathds{1}_{\{y>v\}}S^{*}(x,y)+\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}S^{*}(x,v)+a(y),\quad v,x,y\in\mathbb{R},$$ (5.4)

   where $a\colon\mathbb{R}\to\mathbb{R}$ is some $\mathcal{M}$-integrable function.

3. Suppose $\mathcal{M}\subseteq\mathcal{M}_{p}^{\rm c}\cap\mathcal{M}_{(p)}$ and Assumption B.1 in Appendix B holds. Any (strictly) $\mathcal{M}$-consistent score $S\colon\mathbb{R}^{3}\to\mathbb{R}$ for $(Q_{p},\rho)$ is necessarily of the form (5.4) for almost every $(v,x,y)\in\operatorname*{int}(\mathsf{A})\times\mathbb{R}$, where $\mathsf{A}=\{(\mathrm{VaR}_{p}^{-}(F),\rho(F)):F\in\mathcal{M}\}\subseteq\mathbb{R}^{2}$ and $S^{*}\colon\mathbb{R}^{2}\to\mathbb{R}$ is a (strictly) $\mathcal{M}$-consistent score for $\rho^{*}$ such that $y\mapsto S^{*}(x,y)$ is (strictly) increasing for $x\in\mathbb{R}$.

Proof.

For the part (i), let $F\in\mathcal{M}$ and $v\in Q_{p}(F)$. For $S_{v}$ in (5.3), it holds that

$$\int S_{v}(x,y)\,\mathrm{d}F(y)=\int S^{*}(x,y)\,\mathrm{d}\big{(}F(y)-p\big{)}_{+}+\int a(y)\,\mathrm{d}F(y).$$

Hence

$$\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S_{v}(x,y)\,\mathrm{d}F(y)=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S^{*}(x,y)\,\mathrm{d}F_{p}(y)=\rho^{*}(F_{p})=\rho(F),$$

which shows the claim.

For the part (ii), observe that, since $S^{*}(x,y)$ is strictly increasing in $y$ for all $x\in\mathbb{R}$, the function $(v,y)\mapsto S(v,x,y)$ given in (5.4) is a generalized piecewise linear loss, which is strictly $\mathcal{M}$-consistent for $Q_{p}$, see Gneiting (2011b). Hence, for all $x\in\mathbb{R}$,

$$Q_{p}(F)=\operatorname*{arg\,min}_{v\in\mathbb{R}}\int S(v,x,y)\,\mathrm{d}F(y).$$

The rest follows from part (i). The proof of part (iii) can be found in Appendix C. ∎

Remark 5.4.

It should be pointed out that for the elicitability result of Theorem 5.3 part (ii), we do not need the restriction to $\mathcal{M}_{(p)}\cap\mathcal{M}$ as for the corresponding identifiability result of Theorem 4.3. The reason for this is that, on the one hand, the $p$-quantile $Q_{p}$ is elicitable on the entire $\mathcal{M}^{0}$ whereas it is identifiable only on $\mathcal{M}_{(p)}$. On the other hand, the presence of the “correction term” $(\mathds{1}_{\{y\leqslant v\}}-p)S^{*}(x,y)$ in (5.4) is crucial. In fact, part (i) of Theorem 5.3 would hold on $\mathcal{M}\cap\mathcal{M}_{(p)}$ without this correction term. That is, for any $v\in\mathbb{R}$, the score $S_{v}(x,y)=\mathds{1}_{\{y>v\}}S^{*}(x,y)$ is strictly consistent for $\rho$ on $\big{\{}F\in\mathcal{M}\cap\mathcal{M}_{(p)}:v\in Q_{p}(F)\big{\}}$. For part (ii), the correction term is also needed to render the score $(v,y)\mapsto\mathds{1}_{\{y>v\}}S^{*}(x,y)+(\mathds{1}_{\{y\leqslant v\}}-p)S^{*}(x,v)$ a strictly $\mathcal{M}$-consistent score for $Q_{p}$ for any $x$. Interestingly, the score $S_{v}(x,y)=\mathds{1}_{\{y>v\}}S^{*}(x,y)$ constitutes a weighted score in the sense of Holzmann and Klar (2017) – see also Gneiting and Ranjan (2011) – with weight function $w(y)=\mathds{1}_{\{y>v\}}$. However, for the score in (5.4), the weight function obtains a variable threshold, given in terms of a quantile-forecast $v$. This extends the existing theory substantially, and it only works with the additional correction term and the monotonicity requirement on $S^{*}$.

Recall that if $S^{*}(x,y)$ is (strictly) $\mathcal{M}$-consistent for $\rho^{*}$ and if $g\colon\mathbb{R}\to\mathbb{R}$ is $\mathcal{M}$-integrable, then $\tilde{S}^{*}$ given by

$$\tilde{S}^{*}(x,y)=S^{*}(x,y)+g(y)$$

is again (strictly) $\mathcal{M}$-consistent for $\rho^{*}$. Following Dawid (1998), we call $S^{*}$ and $\tilde{S}^{*}$ strongly equivalent. Even though they coincide in terms of (strict) consistency for $\rho^{*}$, they can be clearly different in terms of their monotonicity behavior in $y$. The following lemma explores conditions for the existence of a strongly equivalent version of the score which is strictly increasing in its second argument.

Lemma 5.5.

Suppose that $S^{*}\colon\mathbb{R}^{2}\to\mathbb{R}$ is partially differentiable with respect to its second argument. Then there is a differentiable function $g\colon\mathbb{R}\to\mathbb{R}$ such that $y\mapsto S^{*}(x,y)+g(y)$ is increasing for all $x$ if and only if there is a function $h\colon\mathbb{R}\to\mathbb{R}$ such that

$$h(y)\leqslant\partial_{y}S^{*}(x,y)\quad\text{ for all }x,y\in\mathbb{R}.$$ (5.5)

Proof.

If (5.5) holds, then we can choose $g$ to be an antiderivative of $-h$. Moreover, if $g$ is an antiderivative of $-h$ plus a strictly increasing function, then $S^{*}(x,y)+g(y)$ is even strictly increasing in $y$. On the other hand, if $S^{*}(x,y)+g(y)$ is increasing in $y$, then (5.5) holds with $h=-g^{\prime}$. ∎

In practice, the forecast for $Q_{p}$ might rather play an auxiliary role in comparison to the forecast of the $p$-tail risk measure $\rho$. The following proposition establishes two relevant notions of order-sensitivity for strictly consistent scoring functions of the form (5.4). For a general discussion of order-sensitivity, we refer to Fissler and Ziegel (2019).

Proposition 5.6.

For the strictly $\mathcal{M}$-consistent score in (5.4) and for any $F\in\mathcal{M}$, if $v_{2}<v_{1}\leqslant\mathrm{VaR}_{p}^{-}(F)$ or $\mathrm{VaR}_{p}^{+}(F)\leqslant v_{1}<v_{2}$, then

1. $\int S(v_{1},x,y)\,\mathrm{d}F(y)<\int S(v_{2},x,y)\,\mathrm{d}F(y)\text{ for all }x\in\mathbb{R};$

2. $\min_{x\in\mathbb{R}}\int S(v_{1},x,y)\,\mathrm{d}F(y)<\min_{x\in\mathbb{R}}\int S(v_{2},x,y)\,\mathrm{d}F(y).$

Proof.

Part (i) follows from the fact that for any fixed $x\in\mathbb{R}$, the score $(v,y)\mapsto S(v,x,y)$ is strictly $\mathcal{M}$-consistent for $Q_{p}$. This readily implies the claimed order-sensitivity by (Nau, 1985, Proposition 3) and (Bellini and Bignozzi, 2015, Proposition 3.4). For part (ii) suppose that $x_{1}\in\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(v_{1},x,y)\,\mathrm{d}F(y)$ and $x_{2}\in\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(v_{2},x,y)\,\mathrm{d}F(y)$. Then $\int S(v_{2},x_{2},y)\,\mathrm{d}F(y)>\int S(v_{1},x_{2},y)\,\mathrm{d}F(y)\geqslant\int S(v_{1},x_{1},y)\,\mathrm{d}F(y)$, where the first inequality is due to part (i). ∎

5.2 Special cases and discussions

We first provide the simple example of the pair of the expectation and ES.

Example 5.7.

Take the $p$-tail pair $(\rho,\rho^{*})=(\mathrm{ES}_{p},\mathbb{E})$. If we choose the strictly $\mathcal{M}^{1}$-consistent score $S^{*}(x,y)=\frac{1}{1-p}\big{(}-\phi(x)+\phi^{\prime}(x)(x-y)\big{)}+g(y)$ with $\phi$ strictly convex, then the score in (5.4) coincides with the one in (3.4). The condition that $y\mapsto S^{*}(x,y)$ is strictly increasing is equivalent to the condition that $y\mapsto g(y)-\frac{1}{1-p}\phi^{\prime}(x)y$ is strictly increasing. Invoking Lemma 5.5, a necessary and sufficient condition for the existence of such a $g$ is that $\phi^{\prime}$ is bounded from above.

Let us consider the $\tau$-expectile $\rho_{\tau}$, $\tau\in(0,1)$. On the class $\mathcal{M}^{1}$ of distributions with finite mean, Newey and Powell (1987) introduced the $\tau$-expectile as the unique solution $x=\rho_{\tau}(F)$ to the equation

$$\tau\int_{x}^{\infty}(y-x)\,\mathrm{d}F(y)=(1-\tau)\int_{-\infty}^{x}(x-y)\,\mathrm{d}F(y).$$

For $\tau=1/2$, this family contains the usual expectation. Bellini et al. (2014) showed that for $\tau\geqslant 1/2$, the $\tau$-expectile constitutes a coherent risk measure. Ziegel (2016) established that these are the only elicitable law-based coherent risk measures. The following elicitability result about induced $p$-tail risk measures is novel to the literature.

Proposition 5.8.

Let $(\rho,\rho^{*})$ be a $p$-tail pair and $\rho^{*}$ the $\tau$-expectile, $\tau\in(0,1)$. The pair $(Q_{p},\rho)$ is $\mathcal{M}^{1}$-elicitable.

Proof.

Subject to mild regularity and integrability conditions, any strictly $\mathcal{M}^{1}$-consistent score for $\rho^{*}$ is of the form

$$S^{*}(x,y)=|\mathds{1}_{\{y\leqslant x\}}-\tau|\big{(}\phi(y)-\phi(x)+\phi^{\prime}(x)(x-y)\big{)}+g(y),$$

where $\phi$ is strictly convex with subgradient $\phi^{\prime}$ and $g$ is arbitrary (Gneiting, 2011a, Theorem 10). For $g=0$ and $y\neq x$, the partial derivative is

$$\partial_{y}S^{*}(x,y)=|\mathds{1}_{\{y\leqslant x\}}-\tau|\big{(}\phi^{\prime}(y)-\phi^{\prime}(x)\big{)}.$$

For $y=x$, the left-sided and right-sided partial derivative with respect to $y$ exist, coincide and are both 0. Take $\phi$ such that $|\phi^{\prime}|<C$ for some $C>0$, for example we can use $\phi(x)=x^{2}/(1+|x|)$, then $|\partial_{y}S^{*}(x,y)|<2C$. Therefore, we can apply Theorem 5.3 and Lemma 5.5 to construct a strictly $\mathcal{M}^{1}$-consistent score for the $p$-tail-$\tau$-expectile and $Q_{p}$. ∎

Proposition 5.9.

Let $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ be the ratio of expectations, that is,

$$\rho^{*}(F)=\frac{\int u(y)\,\mathrm{d}F(y)}{\int t(y)\,\mathrm{d}F(y)}$$

for two functions $u,t\colon\mathbb{R}\to\mathbb{R}$, where $\mathcal{M}$ is chosen such that $\rho^{*}$ is well-defined and finite. Let $(\rho,\rho^{*})$ be a $p$-tail pair. If $u$ and $t$ are differentiable, then the pair $(Q_{p},\rho)$ is $\mathcal{M}$-elicitable.

Proof.

Subject to mild regularity and integrability conditions, any strictly $\mathcal{M}$-consistent score for $\rho^{*}$ is of the form

$$S^{*}(x,y) =-\phi(x)t(y)+\phi^{\prime}(x)\big{(}xt(y)-u(y)\big{)}+g(y)$$

$$=t(y)\big{(}\phi^{\prime}(x)x-\phi(x)\big{)}-t(y)\phi^{\prime}(x)+g(y).$$

where $\phi$ is strictly convex with subgradient $\phi^{\prime}$ and $g$ is arbitrary (Gneiting, 2011a, Theorem 8). For the strictly convex function $\phi(x)=x^{2}/(1+|x|)$, we obtain that $\phi^{\prime}(x)\in[-1,1]$ and $\phi^{\prime}(x)x-\phi(x)\in[0,1]$ for all $x\in\mathbb{R}$. If $u$ and $t$ are differentiable, then $|\partial_{y}S^{*}(x,y)|\leqslant|u^{\prime}(y)|+|t^{\prime}(y)|$ such that we can apply Lemma 5.5 and Theorem 5.3. ∎

Remark 5.10.

We can further relax the differentiability condition on $u$ and $t$ in Proposition 5.9. Suppose that both $u$ and $t$ have a finite total variation on any compact interval, and we use the notation

$$\|u\|(y)=\mathrm{sign}(y)\sup_{P\in\mathcal{P}(y)}\sum_{i=0}^{n_{P}-1}|u(z_{i+1})-u(z_{i})|,\qquad y\in\mathbb{R},$$

where $\mathcal{P}(y)$ denotes the set of all partitions $P=\{z_{0},z_{1},\ldots,z_{n_{P}}:z_{i}<z_{i+1}\}$ of the interval $[\min(0,y),\max(0,y)]$, then we obtain a strictly consistent score $S$ in (5.4) upon choosing $g(y)=\|u\|(y)+\|t\|(y)+y$, $y\in\mathbb{R}$. For example, if $u=1$ and $t(y)=y^{2}$, then $\|u\|(y)=0$ and $\|t\|(y)=\mathrm{sign}(y)y^{2}$ for $y\in\mathbb{R}$. If $u(y)=\mathds{1}_{[a,b)}(y)$ for $a<b$, then $\|u\|(y)=\mathds{1}_{[a,\infty)}(y)+\mathds{1}_{[b,\infty)}(y)$ for $y\in\mathbb{R}$.

Example 5.11.

Consider $\rho^{*}$ to be a shortfall risk measure induced by the loss function $\ell\colon\mathbb{R}\to\mathbb{R}$, which is left-continuous, non-decreasing and $\inf_{x\in\mathbb{R}}\ell(x)<0<\sup_{x\in\mathbb{R}}\ell(x)$. Then

$$\rho^{*}(F)=\inf\left\{m\in\mathbb{R}:\int\ell(y-m)\,\mathrm{d}F(y)\leqslant 0\right\}.$$

Further, suppose that we consider a class $\mathcal{M}$ of distributions such that for all $F\in\mathcal{M}$ and for all $m\in\mathbb{R}$

$$m=\rho^{*}(F)\quad\text{ if and only if }\quad\int\ell(y-m)\,\mathrm{d}F(y)=0.$$

This means that $\rho^{*}$ is $\mathcal{M}$-identifiable with the strict $\mathcal{M}$-identification function $V^{*}(m,y)=\ell(y-m)$. We can apply Osband’s principle (Fissler and Ziegel, 2016, Theorem 3.2 and Corollary 3.3) to see that – subject to regularity conditions – any strictly $\mathcal{M}$-consistent score $S^{*}$ for $\rho^{*}$ is of the form

$$S^{*}(x,y)=\int_{0}^{x}h(z)\ell(y-z)\,\mathrm{d}z+g(y)$$

for some non-positive function $h\colon\mathbb{R}\to\mathbb{R}$. The question as to what choices of $h$ and $g$ lead to a score which is strictly increasing in its second argument is hard to answer in full generality. We only provide a sufficient condition: If $\ell$ is bounded from below, then we can find some function $g$ such that

$$S^{*}(x,y)=-\int_{0}^{x}\ell(y-z)\,\mathrm{d}z+g(y)$$

is increasing. Indeed, $\partial_{y}\big{[}S^{*}(x,y)-g(y)\big{]}=\ell(y-x)-\ell(y)$. Hence, by Lemma 5.5 and Theorem 5.3, the pair $(Q_{p},\rho)$ is $\mathcal{M}$-elicitable. We emphasize that the boundedness of $\ell$ is not necessary for the elicitability of $(Q_{p},\rho)$ as the case of $\rho^{*}=\mathbb{E}$ with $\ell(x)=x$ shows (or more generally the $\tau$-expectile; see Proposition 5.8).

Remark 5.12.

The CoVaR (Adrian and Brunnermeier, 2016) has become an important systemic risk measure. In its definition according to Girardi and Tolga Ergün (2013) and Nolde and Zhang (2020), it is closely resembles a $p$-tail risk measure. For $\alpha\in(0,1)$ and $\beta\in[0,1)$, the CoVaR_α|β of a two-dimensional random vector $(X,Y)$ with joint distribution $F_{X,Y}$ is defined as CoVaR${}_{\alpha|\beta}(F_{X,Y})=\mathrm{VaR}_{\alpha}^{-}(F_{Y|X\geqslant\mathrm{VaR}_{\beta}^{-}(F_{X})})$ where we assume that the marginal distributions are continuous and strictly increasing, such that the distinction between the lower and upper quantile is inessential. Fissler and Hoga (2023) showed that the pair (CoVaR${}_{\alpha|\beta}(F_{X,Y}),\mathrm{VaR}_{\beta}(F_{X})$) generally fails to be elicitable (even though it is identifiable and thus has convex level sets). The reason why it is not possible to leverage the construction principle of Theorem 5.3 is the fact that for CoVaR, the observation process is bivariate.

5.3 Elicitation of the tail distribution

In a risk management context, but also in other statistical contexts, one could be interested in the entire tail distribution $F_{p}$ for some $F\in\mathcal{M}^{0}$, $p\in(0,1)$, instead of a given tail risk measure.

Consistent scoring functions are tailored to evaluate the accuracy of a point forecast for a certain functional of interest. Their counterpart for probabilisitic forecasts, specifying the entire distribution, are proper scoring rules (Gneiting and Raftery, 2007). Mathematically, a scoring rule is a map $s\colon\mathcal{M}\times\mathbb{R}\to\mathbb{R}\cup\{\infty\}$ for some $\mathcal{M}\subseteq\mathcal{M}^{0}$. It is $\mathcal{M}$-proper if for all $F\in\mathcal{M}$

$$F\in\operatorname*{arg\,min}_{G\in\mathcal{M}}\int s(G,y)\,\mathrm{d}F(y).$$

It is strictly $\mathcal{M}$-proper if $F$ is the unique element of the above argmin. In a similar vein, we define that $s$ is $\mathcal{M}$-proper for the $p$-tail if for all $F\in\mathcal{M}$

$$\{H\in\mathcal{M}:H_{p}=F_{p}\}\subseteq\operatorname*{arg\,min}_{G\in\mathcal{M}}\int s(G,y)\,\mathrm{d}F(y).$$

Similarly, $s$ is strictly $\mathcal{M}$-proper for the $p$-tail if we have equality above. Tail scores have been hinted at in the discussion at the end of Subsection 2.3 in Holzmann and Klar (2017).

The most prominent proper scoring rules are the log-score, $\mathrm{LogScore}(f,y)=-\log(f(y))$, where $f$ is a predictive density, and the continuous ranked probability score (CRPS),

$$\mathrm{CRPS}(F,y)=\int\big{(}F(z)-\mathds{1}_{\{y\leqslant z\}}\big{)}^{2}\,\mathrm{d}z.$$

The CRPS is strictly $\mathcal{M}^{1}$-proper. Moreover, one can check that $\partial_{y}\mathrm{CRPS}(F,y)=2F(y)-1$ for all $F\in\mathcal{M}^{1}$. Hence, invoking Lemma 5.5 and using a similar construction as in Theorem 5.3 (ii), the map

$$S(v,F,y)=\mathds{1}_{\{y>v\}}\big{(}\mathrm{CRPS}(F,y)+2y\big{)}+\big{(}\mathds{1}_{\{y\leqslant z\}}-p\big{)}\big{(}\mathrm{CRPS}(F,v)+2v\big{)},\quad v,y\in\mathbb{R},\ F\in\mathcal{M}^{1}$$

is strictly $\mathcal{M}$-proper for $F\mapsto(Q_{p}(F),F_{p})$.

While, to the best of our knowledge, the above score is novel to the statistical literature, an alternative strictly $\mathcal{M}^{1}$-proper score for the $p$-tail has been known in the form of the quantile weighted CRPS (Gneiting and Ranjan, 2011)

$$\mathrm{CRPS}_{p}(F,y)=\int_{p}^{1}2\big{(}\mathds{1}_{\{y\leqslant F^{-1}(r)\}}-r\big{)}\big{(}F^{-1}(r)-r\big{)}\,\mathrm{d}r.$$

This result hinges on the fact that for any $F\in\mathcal{M}^{0}$ and $p\in(0,1)$, we have a bijection between $F_{p}$ and $\big{(}F^{-1}(r)\big{)}_{r\in(p,1]}$.

6 Results on the left tail or the body of the distribution

We have been working with tail risk measures defined for the right tail distribution. Mathematically, it is also possible to translate all our results to the left tail distribution. This may be useful when the positions of gains and losses are switched, as in, e.g., the convention of Föllmer and Schied (2016), or when the best scenarios of random outcomes are of interest. We only mention a few useful points when converting to the left tail.

For $q\in(0,1]$, we can define the left tail distribution of $F\in\mathcal{M}^{0}$ as

$$F^{q}(x)=\frac{\min(F(x),q)}{q},\quad x\in\mathbb{R}.$$

To formulate the corresponding tail risk measure, for a risk measure $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ and a class $\mathcal{M}$ such that $F^{q}\in\mathcal{M}$ for each $F\in\mathcal{M}$, we can define

$$\rho^{q}(F)=\rho^{*}(F^{q}).$$

The pair $(\rho^{q},\rho^{*})$ is called left $q$-tail pair. With the above definitions, we can reproduce our main results as well. We only state the most interesting and relevant counterpart, namely the one of Theorem 5.3 part (ii).

Theorem 6.1.

Let $(\rho^{q},\rho^{*})$ be a left $q$-tail pair for some $q\in(0,1)$. If $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ is $\mathcal{M}$-elicitable with the strictly $\mathcal{M}$-consistent score $S^{*}\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ and if for all $x\in\mathbb{R}$, $S^{*}(x,y)$ is strictly decreasing in $y$, then

$$S(v,x,y) =\mathds{1}_{\{y\leqslant v\}}S^{*}(x,y)-\big{(}\mathds{1}_{\{y\leqslant v\}}-q\big{)}S(x,v)+a(y),$$

$$=-\mathds{1}_{\{y>v\}}S^{*}(x,y)-\big{(}\mathds{1}_{\{y\leqslant v\}}-q\big{)}S(x,v)+\tilde{a}(y),\quad v,x,y\in\mathbb{R},$$

is strictly $\mathcal{M}$-consistent for $(Q_{q},\rho^{q})$, where $a\colon\mathbb{R}\to\mathbb{R}$ and $\tilde{a}\colon\mathbb{R}\to\mathbb{R}$ are some $\mathcal{M}$-integrable functions.

The proof of Theorem 6.1 is almost identical to the one of Theorem 5.3 (ii) and therefore omitted. While the left-tail results can be obtained directly form the right-tail results, more work is needed to combine these two tails. One relevant question is related to the body part of the distribution, which can be seen as the intersection of two tails. For $0\leqslant p<q\leqslant 1$ and $F\in\mathcal{M}^{0}$, we can define $F^{[p,q]}\in\mathcal{M}^{0}$ by

$$F^{[p,q]}(x)=\frac{(\min(F(x),q)-p)_{+}}{q-p},\quad x\in\mathbb{R},$$

and a risk measure $\rho^{[p,q]}$ via another risk measure $\rho^{*}$ by

$$\rho^{[p,q]}(F)=\rho^{*}(F^{[p,q]}).$$ (6.1)

We obtain the following counterpart to Theorem 5.3 part (ii) and Theorem 6.1.

Theorem 6.2.

Let $\rho^{*}\colon\mathcal{M}\to\mathbb{R}$ be $\mathcal{M}$-elicitable with strictly $\mathcal{M}$-consistent score $S^{*}\colon\mathbb{R}\times\mathbb{R}\to\mathbb{R}$. For $0<p<q<1$, let $\rho^{[p,q]}$ be defined via (6.1). Then the function given by

$$S(v_{1},v_{2},x,y)$$

$$=\mathds{1}_{\{v_{1}<y\leqslant v_{2}\}}S^{*}(x,y)+\big{(}\mathds{1}_{\{y\leqslant v_{1}\}}-p\big{)}S^{*}(x,v_{1})-\big{(}\mathds{1}_{\{y\leqslant v_{2}\}}-q\big{)}S^{*}(x,v_{2})$$

$$\quad+\big{(}\mathds{1}_{\{y\leqslant v_{1}\}}-p\big{)}g_{1}(v_{1})+\mathds{1}_{\{y>v_{1}\}}g_{1}(y)+\big{(}\mathds{1}_{\{y\leqslant v_{2}\}}-p\big{)}g_{2}(v_{2})+\mathds{1}_{\{y>v_{2}\}}g_{2}(y)+a(y),$$

is strictly $\mathcal{M}$-consistent for $(Q_{p},Q_{q},\rho^{[p,q]})$, where $a\colon\mathbb{R}\to\mathbb{R}$ and $\tilde{a}\colon\mathbb{R}\to\mathbb{R}$ are some $\mathcal{M}$-integrable functions, and $g_{1}\colon\mathbb{R}\to\mathbb{R}$ and $g_{2}\colon\mathbb{R}\to\mathbb{R}$ are such that for each $x\in\mathbb{R}$, the functions

$$v_{1}\mapsto g_{1}(v_{1})+S^{*}(x,v_{1})\quad\text{and }\quad v_{2}\mapsto g_{2}(v_{2})-S^{*}(x,v_{2})$$ (6.2)

are strictly increasing.

Proof.

Due to the monotonicity conditions in (6.2), for fixed $v_{2},x\in\mathbb{R}$, the score $(v_{1},y)\mapsto S(v_{1},v_{2},x,y)$ is a generalized piecewise linear loss, and hence $\mathcal{M}$-strictly consistent for $Q_{p}$. Similarly, for fixed $v_{1},x\in\mathbb{R}$, the score $(v_{2},y)\mapsto S(v_{1},v_{2},x,y)$ is strictly $\mathcal{M}$-consistent for $Q_{q}$. Finally, for $F\in\mathcal{M}$ and $v_{1}\in Q_{p}(F)$, $v_{2}\in Q_{q}(F)$ it holds that

$$\int S(v_{1},v_{2},x,y)\,\mathrm{d}F(y)=\int S^{*}(x,y)\,\mathrm{d}\big{(}\min(F(x),q)-p\big{)}_{+}+\int\tilde{a}(y)\,\mathrm{d}F(y),$$

where $\tilde{a}$ does not depend on $x$. Hence,

$$\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(v_{1},v_{2},x,y)\,\mathrm{d}F(y)=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S^{*}(x,y)\,\mathrm{d}F^{[p,q]}(x)=\rho^{*}(F^{[p,q]})=\rho^{[p,q]}(F),$$

which shows the claim. ∎

Theorem 6.2 generalizes the elicitability result for the Range Value-at-Risk of Fissler and Ziegel (2021b). Identifiability results in the spirit of Theorem 4.3 can also be obtained.

7 Concluding remarks

Our main results in Sections 4 and 5 establish an intimate connection between identifiability or elicitability of a tail risk measure $\rho$ and that of its generator $\rho^{*}$, as well as their identification functions and score functions. To summarize briefly, under suitable conditions, the corresponding property of $\rho^{*}$ implies that of $(Q_{p},\rho)$, and the corresponding property of $\rho$ or $(Q_{p},\rho)$ implies that of $\rho^{*}$. Moreover, there is an explicit way to convert between their identification functions and between their score functions.

Some open questions remain. First, elicitability of risk measures defined for the intermediate region of the distribution, instead of the tail distributions, has been discussed briefly in Section 6, without being fully developed, as we only obtained a parallel result to Theorem 5.3 part (ii).

Second, we provided in Theorem 5.3 some sufficient conditions on the elicitable risk measure $\rho^{*}$ that guarantee the elicitability of $p$-tail risk measure $\rho$ itself or the pair $(Q_{p},\rho)$. A full characterization of all elicitable risk measures $\rho^{*}$ yielding elicitability of $\rho$ or $(Q_{p},\rho)$ is missing. Theorem 5.3 does not provide a full answer to this question. In particular, one needs to rely on the knowledge of the existence of a strictly consistent scoring function for $\rho^{*}$, $S^{*}(x,y)$, that is strictly increasing in $y$. Third, the elicitation complexity (Frongillo and Kash, 2021) of tail risk measures remains unclear. Roughly (with suitable regularizing conditions), the elicitation complexity of $\rho$ is a positive integer $k$ that quantifies how many dimensions are needed to make $\rho$ a function of an elicitable vector $(\rho_{1},\dots,\rho_{k})$. It may be tempting to conjecture that if $\rho^{*}$ has elicitation complexity $k$, then $\rho$ has elicitation complexity at most $k+1$, seeing from the example of $(\rho,\rho^{*})=(\mathrm{ES}_{p},\mathbb{E})$ with elicitation complexity $(2,1)$; see Frongillo and Kash (2021). This question seems to be very challenging to answer with current techniques.

Acknowledgements

F. Liu and R. Wang acknowledge financial support from the Natural Sciences and Engineering Research Council of Canada (RGPIN-2024-03728, CRC-2022-00141, RGPIN-2020-04717, DGECR-2020-00340). L. Wei acknowledges financial support from the National Natural Science Foundation of China (No. 12271415).

Appendices

Appendix A Risk measures

Some desirable properties of risk measures are listed below.

1. Law-invariance: if $X,Y\in\mathcal{X}$ and $X\buildrel\,\mathrm{d}\over{=}Y$, then $\hat{\rho}(X)=\hat{\rho}(Y)$.

2. Monotonicity: $\hat{\rho}(X)\leqslant\hat{\rho}(Y)$ if $X\leqslant Y$ a.s, $X,Y\in\mathcal{X}$.

3. Translation-equivariance: $\hat{\rho}(X-m)=\hat{\rho}(X)-m$ for $m\in\mathbb{R}$ and $X\in\mathcal{X}$.

4. Convexity: $\hat{\rho}(\lambda X+(1-\lambda)Y)\leqslant\lambda\hat{\rho}(X)+(1-\lambda)\hat{\rho}(Y)$ for $\lambda\in[0,1]$ and $X,Y\in\mathcal{X}$.

5. Positive homogeneity: $\hat{\rho}(\lambda X)=\lambda\hat{\rho}(X)$ for $\lambda>0$ and $X\in\mathcal{X}$.

6. Subadditivity: $\hat{\rho}(X+Y)\leqslant\hat{\rho}(X)+\hat{\rho}(Y)$ for $X,Y\in\mathcal{X}$.

7. Comonotonic additivity: $\hat{\rho}(X+Y)=\hat{\rho}(X)+\hat{\rho}(Y)$ if $X,Y\in\mathcal{X}$ are comonotonic.

It is well known that any pair of properties (A3), (A4) and (A5) implies the remaining third one. For economic interpretations of these properties, we refer to Artzner et al. (1999), Föllmer and Schied (2016) and Delbaen (2012).

Definition A.1.

A risk measure $\rho$ is a monetary risk measure if it satisfies (A1) and (A2), it is a convex risk measure if it satisfies (A1)–(A3), and it is a coherent risk measure if it satisfies (A1)–(A4). The acceptance set of a monetary risk measure $\rho$ is defined as $\mathcal{A}_{\rho}=\{X\in\mathcal{X}:\hat{\rho}(X)\leqslant 0\}.$

Appendix B Assumptions

The following list of assumptions is an adaptation of the assumptions for Proposition 1 in Fissler and Ziegel (2021a); see also Fissler and Ziegel (2016). This list of assumptions is needed for Theorem 5.3, part (iii). For an identification and scoring functions $V(x,y)$ and $S(x,y)$, $x\in\mathbb{R}^{k}$, $y\in\mathbb{R}$, we use the shorthands $\bar{V}(x,F):=\int V(x,y)\,\mathrm{d}F(y)$ and $\bar{S}(x,F):=\int S(x,y)\,\mathrm{d}F(y)$ for $F\in\mathcal{M}^{0}$, tacitly assuming that the integral is well-defined. In the sequel, we shall only consider $\mathcal{M}\subseteq\mathcal{M}_{p}^{\rm c}\cap\mathcal{M}_{(p)}$. On $\mathcal{M}_{p}^{\rm c}$, $Q_{p}(F)$ is a singleton and we identify it with its unique element, $\mathrm{VaR}_{p}^{-}(F)$. Moreover, here and in the proof of Section C, we work with an identification function of the form (4.4). We remark that we could equivalently work with an identification function of the form (4.3).

Assumption B.1.

1. Let $\mathsf{A}=\{(\mathrm{VaR}_{p}^{-}(F),\rho(F)):F\in\mathcal{M}\}\subseteq\mathbb{R}^{2}$ and suppose that the interior of $\mathsf{A}$, $\operatorname*{int}(\mathsf{A})$ is simply connected.

2. The generator $\rho^{*}$ is identifiable with a strict $\mathcal{M}$-identification function $V_{\rho^{*}}\colon\mathbb{R}^{2}\to\mathbb{R}$, which is locally bounded.

3. The identification function $V\colon\mathbb{R}^{3}\to\mathbb{R}^{2}$ defined by

   $$V(v,x,y)=\begin{pmatrix}\mathds{1}_{\{y\leqslant v\}}-p\\ \mathds{1}_{\{y>v\}}V_{\rho^{*}}(x,y)\end{pmatrix}$$

   is such that its expectation with respect to any $F\in\mathcal{M}$ is continuously differentiable. In particular, any $F\in\mathcal{M}$ has a continuous derivative $f$ (which is also its Lebesgue density).

4. The expectation of the score $S$ with respect to any $F\in\mathcal{M}$ is twice continuously differentiable.

5. Suppose that $\mathcal{M}$ is convex and that for any $(v,x)\in\mathsf{A}$ there are $F_{1},F_{2},F_{3}\in\mathcal{M}$ such that 0 is contained in the interior of the convex hull of $\{\bar{V}(v,x,F_{1}),\bar{V}(v,x,F_{2}),\bar{V}(v,x,F_{3})\}$.

6. Suppose that for any $(v,x)\in\mathsf{A}$ there are $F_{1},F_{2}\in\mathcal{M}$ with derivatives $f_{1}$ and $f_{2}$ such that $(v,x)=(\mathrm{VaR}_{p}^{-}(F_{1}),\rho(F_{1}))=(\mathrm{VaR}_{p}^{-}(F_{2}),\rho(F_{2}))$, $\partial_{x}\bar{V}_{2}(v,x,F_{1})=\partial_{x}\bar{V}_{2}(v,x,F_{2})$, but $f_{1}(v)\neq f_{2}(v)$.

7. Suppose that the complement of the set

   $$\{(v,x,y)\in\mathsf{A}\times\mathbb{R}:V(v,x,\cdot)\text{ and }S(v,x,\cdot)\text{ are continuous at the point }y\}$$

   has 3-dimensional Lebesgue measure zero.

8. For every $y\in\mathbb{R}$ there exists a sequence $(F_{n})_{n\in\mathbb{N}}$ of distributions $F_{n}\in\mathcal{M}$ that converges weakly to the Dirac-measure $\delta_{y}$ such there is some $C>0$ such that $F_{n}([-C,C])=1$ for all $n\in\mathbb{N}$.

Appendix C Proofs in Section 5

Proof of Proposition 5.1.

1. Let $S$ be a strictly $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-consistent score for $\rho$ and $S_{r}^{*}$ as given in (5.1) for some $r\in\mathbb{R}$. Choose some $G\in\mathcal{M}_{\geqslant r}\cap\mathcal{M}$ and define $F(y)=\mathds{1}_{\{y\geqslant r\}}\big{(}(1-p)G(y)+p\big{)}$. Due to the assumed elicitability of $\rho$ and since $F_{p}=G$, we get

   $$\rho^{*}(G)=\rho^{*}(F_{p})=\rho(F) =\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(x,y)\,\mathrm{d}F(y)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(x,y)\,\mathrm{d}\left(\mathds{1}_{\{y\geqslant r\}}(1-p)G(y)\right)+pS(x,r)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int\big{(}(1-p)S(x,y)+pS(x,r)\big{)}\,\mathrm{d}G(y)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S^{*}_{r}(x,y)\,\mathrm{d}G(y),$$

   which shows the claim.

2. Let $S(v,x,y)$, $v,x,y\in\mathbb{R}$, be a strictly $\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$-consistent score and $S_{r}^{*}$ given in (5.2) for some $r\in\mathbb{R}$. For any $F\in\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$ and $v\in Q_{p}(F)$ it holds that

   $$\rho(F)=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int_{\mathbb{R}}S(v,x,y)\,\mathrm{d}F(y).$$

   Let $G\in\mathcal{M}_{\geqslant r}\cap\mathcal{M}$. Then, as in part (i), define $F(y)=\mathds{1}_{\{y\geqslant r\}}\big{(}(1-p)G(y)+p\big{)}$, resulting in $F\in\mathcal{M}\cup\{(1-p)G+p\delta_{r}:G\in\mathcal{M}\}$ and $r=\mathrm{VaR}_{p}^{-}(F)\in Q_{p}(F)$. Again, $F_{p}=G$, which implies

   $$\rho^{*}(G)=\rho^{*}(F_{p})=\rho(F) =\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(r,x,y)\,\mathrm{d}F(y)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S(r,x,y)\,\mathrm{d}\left(\mathds{1}_{\{x\geqslant r\}}(1-p)G(x)\right)+pS(r,x,r)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int\left((1-p)S(r,x,y)+pS(r,x,r)\right)\,\mathrm{d}G(x)$$

   $$=\operatorname*{arg\,min}_{x\in\mathbb{R}}\int S^{*}_{r}(x,y)\,\mathrm{d}G(y),$$

   which shows the claim. ∎

For a proof of Theorem 5.3 part (iii), in the sequel, we shall only consider $\mathcal{M}\subseteq\mathcal{M}_{p}^{\rm c}\cap\mathcal{M}_{(p)}$. On $\mathcal{M}_{p}^{\rm c}$, $Q_{p}(F)$ is a singleton and we identify it with its unique element, $\mathrm{VaR}_{p}^{-}(F)$. Moreover, here and in the Assumption Section B, we work with an identification function of the form (4.4). We remark that we could equivalently work with an identification function of the form (4.3).

Proof of Theorem 5.3 part (iii).

Using Theorem 4.3 and Remark 4.4, the function

$$V(v,x,y)=\begin{pmatrix}\mathds{1}_{\{y\leqslant v\}}-p\\ \mathds{1}_{\{y>v\}}V_{\rho^{*}}(x,y)\end{pmatrix},\quad v,x,y\in\mathbb{R}$$

is a strict $\mathcal{M}$-identification function for $(\mathrm{VaR}_{p}^{-},\rho)$; see also (Fissler and Hoga, 2023, Proposition 3.4). We obtain for $F\in\mathcal{M}$ with derivative (and density) $f$

$$\bar{V}_{1}(v,x,F) =F(v)-p,\qquad\partial_{v}\bar{V}_{1}(v,x,F)=f(v),\qquad\partial_{x}\bar{V}_{1}(v,x,F)=0,$$

$$\bar{V}_{2}(v,x,F) =\int_{v}^{\infty}V_{\rho^{*}}(x,y)\,\mathrm{d}F(y),\qquad\partial_{v}\bar{V}_{2}(v,x,F)=-V_{\rho^{*}}(x,v)f(v).$$

Due to Osband’s principle Fissler and Ziegel (2016, Theorem 3.2), there is a matrix-valued function $h\colon\operatorname*{int}(\mathsf{A})\to\mathbb{R}^{2\times 2}$ such that

$$\nabla\bar{S}(v,x,F)=h(v,x)\nabla V(v,x,F)\qquad\text{for all }(v,x)\in\operatorname*{int}(\mathsf{A}),\ F\in\mathcal{M}.$$

We obtain for the second order derivatives

$$\partial_{x}\partial_{v}\bar{S}(v,x,F) =\partial_{x}h_{11}(v,x)\big{(}F(v)-p\big{)}+h_{12}(v,x)\partial_{x}\bar{V}_{2}(v,x,F)+\partial_{x}h_{12}(v,x)\bar{V}_{2}(v,x,F),$$

$$\partial_{v}\partial_{x}\bar{S}(v,x,F) =h_{21}(v,x)f(v)+\partial_{v}h_{21}(v,x)\big{(}F(v)-p\big{)}-h_{22}(v,x)V_{\rho^{*}}(x,v)f(v)$$

$$\qquad+\partial_{v}h_{22}(v,x)\bar{V}_{2}(v,x,F).$$

The Hessian of the expected score $\bar{S}(v,x,F)$ needs to be symmetric for all $(v,x)\in\operatorname*{int}(\mathsf{A})$ and for all $F\in\mathcal{M}$. Evaluating $\partial_{x}\partial_{v}\bar{S}(v,x,F)=\partial_{v}\partial_{x}\bar{S}(v,x,F)$ for $(v,x)=(\mathrm{VaR}_{p}^{-}(F),\rho(F))$, we get

$$h_{12}(v,x)\partial_{x}\bar{V}_{2}(v,x,F)=f(v)\Big{(}h_{21}(v,x)-h_{22}(v,x)V_{\rho^{*}}(x,v)\Big{)}.$$

Using part (vi) of Assumption B.1, this implies that

$$h_{12}(v,x)=0,\qquad h_{21}(v,x)=h_{22}(v,x)V_{\rho^{*}}(x,v).$$

Exploiting the surjectivity, this holds for all $(v,x)\in\operatorname*{int}(\mathsf{A})$. We evaluate $\partial_{x}\partial_{v}\bar{S}(v,x,F)=\partial_{v}\partial_{x}\bar{S}(v,x,F)$ again, but now for a general $(v,x)\in\operatorname*{int}(\mathsf{A})$, and obtain

$$\partial_{x}h_{11}(v,x)\big{(}F(v)-p\big{)}=\partial_{v}h_{21}(v,x)\big{(}F(v)-p\big{)}+\partial_{v}h_{22}(v,x)\bar{V}_{2}(v,x,F).$$

If $v=\mathrm{VaR}_{p}^{-}(F)$ and $x\neq\rho(F)$, we get that $\partial_{v}h_{22}(v,x)=0$. Exploiting the surjectivity, we get

$$\partial_{v}h_{22}(v,x)=0,\qquad\partial_{x}h_{11}(v,x)=\partial_{v}h_{21}(v,x),\qquad\text{ for all }(v,x)\in\operatorname*{int}(\mathsf{A}).$$

Hence, we can write $h_{22}$ as a function of its second argument $x$ only. Now, we integrate the partial derivatives of the expected score.

$$\int\partial_{v}\bar{S}(v,x,F)\,\mathrm{d}v =\int h_{11}(v,x)\big{(}F(v)-p\big{)}\,\mathrm{d}v=\int h_{11}(v,x)\int\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}\,\mathrm{d}F(y)\,\mathrm{d}v$$

$$=\int G(y,x)\mathds{1}_{\{y>v\}}+\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}G(v,x)+a_{1}(y,x)\,\mathrm{d}F(y),$$

where $\partial_{v}G(v,x)=h_{11}(v,x)$ and $a_{1}(y,x)$ is an integration constant not depending on $v$. Similarly,

$$\int\partial_{x}\bar{S}(v,x,F)\,\mathrm{d}x=\int h_{22}(x)\Big{(}V_{\rho^{*}}(x,v)\big{(}F(v)-p\big{)}+\bar{V}_{2}(v,x,F)\Big{)}\,\mathrm{d}x$$

$$=\int h_{22}(x)\int V_{\rho^{*}}(x,v)\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}+\mathds{1}_{\{y>v\}}V_{\rho^{*}}(x,y)\,\mathrm{d}F(y)\,\mathrm{d}x$$

$$=\int\int h_{22}(x)V_{\rho^{*}}(x,v)\,\mathrm{d}x\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}+\mathds{1}_{\{y>v\}}\int h_{22}(x)V_{\rho^{*}}(x,y)\,\mathrm{d}x\,\mathrm{d}F(y)$$

$$=\int\Big{(}S_{\rho^{*}}(x,v)+a_{2}(v,y)\Big{)}\big{(}\mathds{1}_{\{y\leqslant v\}}-p\big{)}+\mathds{1}_{\{y>v\}}\Big{(}S_{\rho^{*}}(x,y)+a_{3}(v,y)\Big{)}\,\mathrm{d}F(y),$$

where $\partial_{x}S_{\rho^{*}}(x,y)=h_{22}(x)V_{\rho^{*}}(x,y)$ and $a_{2}(v,y)$ and $a_{3}(v,y)$ are integration constants not depending on $x$. A comparison of the two results and an application of Proposition 1 in Fissler and Ziegel (2021a) yields the form of $S$ in (5.4). Since for any $F\in\mathcal{M}$, the function $(v,y)\mapsto S(v,\rho(F),y)$ needs to be (strictly) $\mathcal{M}$-consistent for $\mathrm{VaR}_{p}^{-}$, $S_{\rho^{*}}(x,y)$ needs to be (strictly) increasing in $y$. On the other hand, $(x,y)\mapsto S(\mathrm{VaR}_{p}^{-}(F),x,y)$ needs to be (strictly) $\mathcal{M}$-consistent for $\rho$, which is why $S_{\rho^{*}}$ needs to be (strictly) $\mathcal{M}$-consistent for $\rho^{*}$. ∎