---
title: Risk-Assignment Consistency Constraints
url: https://www.emergentmind.com/topics/risk-assignment-consistency-constraints
type: topic
---

# Risk-Assignment Consistency Constraints

Searching arXiv for recent and foundational papers relevant to risk-assignment consistency constraints across dynamic risk, stochastic programming, routing, fairness, and constrained optimization.
Risk-assignment consistency constraints are conditions that make a risk evaluation, risk budget, or risk-based decision rule remain coherent when it is transported across time, stages, horizons, groups, feasible sets, or assignment structures. Across the literature, the expression does not denote a single universal axiom; it denotes a family of constraints that prevent re-optimization paradoxes, nonrecursive dynamic assessments, unstable rankings after appending common uncertainty, group-dependent error allocation, or feasibility distortions under exogenous constraints. In dynamic risk theory this family includes multi-portfolio time consistency, recursivity, restriction, and h-longevity; in multistage stochastic programming it includes decomposability together with conditions that preserve conditional optimality; in statistical learning it includes approximate constancy of conditional risk and second-best surrogate consistency; and in constrained risk sharing and rating it includes convex-order solidity, quasi-convexity, pooling-effect consistency, and diversification consistency [1201.1483, 1806.01497, 1312.4193, 1802.08626, 2301.04971, 2506.13435].

## 1. General structural patterns

A recurrent pattern is **recursive compatibility**: a present evaluation should agree with a future evaluation pulled backward through the same risk machinery. In multistage stochastic programming, this appears in the decomposable representation
\[
\mathcal Q = p_2 \circ p_3 \circ \cdots \circ p_T,
\]
or, more explicitly,
\[
\mathcal Q(Z_1+\cdots+Z_T) = Z_1 + p_2\big(Z_2 + p_3(\cdots + p_T(Z_T))\big),
\]
with each \(p_t\) a coherent conditional risk mapping. In stochastic control, the same idea appears through a Bellman recursion on an augmented state carrying a risk threshold \(r_k\), together with feasibility constraints of the form
\[
d(x_k,u)+\rho_k(r'(x_{k+1}))\le r_k.
\]
These formulations encode stagewise risk assignment rather than a single static ex ante bound [1806.01497, 1503.07461].

A second pattern is **invariance under common continuation or horizon extension**. In routing, additive consistency requires
\[
\rho(X)\le \rho(Y)\ \Rightarrow\ \rho(X+Z)\le \rho(Y+Z)\quad \text{for all } Z\perp (X,Y),
\]
so a common independent downstream segment cannot reverse a preference ordering. In fully-dynamic risk measurement, the restriction property
\[
P_{st}(X)=P_{su}(X),\qquad X\in L^p(\mathcal F_t),\ u>t,
\]
requires that once a position is already \(\mathcal F_t\)-measurable, a later horizon should not alter its risk value. These are different manifestations of the same structural demand: a consistency constraint should neutralize artifacts introduced by a common continuation that carries no new position-specific content [1312.4193, 2301.04971].

A third pattern is **ordering preservation under constraints**. In fairness-constrained empirical risk minimization, the conditional risk on positive instances is required to be approximately constant across sensitive groups:
\[
\big|L^{+,a}(f)-L^{+,b}(f)\big|\le \epsilon.
\]
In set-valued dynamic risk measures, ordering must be strong enough to survive backward propagation through sets of eligible portfolios. In Choquet rating criteria, quasi-convexity,
\[
r(\lambda X+(1-\lambda)Y)\le \max\{r(X),r(Y)\},
\]
plays the analogous role for categorical risk scores. This suggests a common interpretation: risk-assignment consistency constraints regulate how comparisons are propagated when the objects being compared are no longer single real numbers but groups, sets, portfolios, or discretized ratings [1802.08626, 1201.1483, 2506.13435].

## 2. Set-valued dynamic risk measures and transaction-cost markets

In markets with transaction costs, capital requirements are naturally set-valued because compensation can be made in a basket of currencies or assets rather than a single numeraire. The basic object is a conditional set-valued risk measure
\[
R_t: L_T^p \to \mathcal P(M_t;(M_t)_+),
\]
where \(M_t=L_t^p(\tilde M_t)\) is the closed linear subspace of eligible portfolios. The map must satisfy \(M_t\)-translativity,
\[
R_t(X+m_t)=R_t(X)-m_t,\qquad m_t\in M_t,
\]
monotonicity,
\[
Y-X\in L_T^p{}_+ \implies R_t(Y)\supseteq R_t(X),
\]
and finiteness at zero. Its primal representation is
\[
R_t^{A_t}(X):=\{u\in M_t:\ X+u\in A_t\},
\]
where \(A_t\) is the associated conditional acceptance set, and the correspondence between \(R_t\) and \(A_t\) is one-to-one [1201.1483].

The central consistency question is whether the scalar equivalence between time consistency and recursion survives in the set-valued setting. The natural extension of scalar time consistency is
\[
R_{t+1}(X)\subseteq R_{t+1}(Y)\ \Rightarrow\ R_t(X)\subseteq R_t(Y).
\]
The paper shows that this is too weak. A risk measure can be time consistent in this sense and still fail to satisfy a Bellman-type recursion. The reason is that set inclusion among risk compensating portfolios does not control how many incomparable eligible portfolios propagate backward. The usual scalar implication “time consistency \(\Leftrightarrow\) recursion” therefore fails in the set-valued framework [1201.1483].

To restore recursion, the paper introduces **multi-portfolio time consistency**:
\[
\bigcup_{X\in A}R_{t+1}(X)\subseteq \bigcup_{Y\in B}R_{t+1}(Y)
\ \Rightarrow\
\bigcup_{X\in A}R_t(X)\subseteq \bigcup_{Y\in B}R_t(Y).
\]
For a normalized dynamic risk measure, this property is equivalent to the recursive form
\[
R_t(X)=\bigcup_{Z\in R_{t+1}(X)} R_t(-Z)=:R_t\bigl(-R_{t+1}(X)\bigr),
\]
and, under \(M_t\subseteq M_{t+1}\), also equivalent to an additive decomposition of the acceptance sets. A common misconception in this area is that the scalar notion of time consistency extends without loss to the vector-valued or set-valued case; the paper shows that the correct recursive notion is strictly stronger. In the scalar embedding, by contrast, the two notions coincide because risk sets reduce to upper intervals of the form
\[
R_t^\rho(X)=\rho_t(X)+L_t^p{}_+.
\]
The set-valued theory therefore replaces claim-by-claim consistency with consistency for collections of claims and collections of portfolios [1201.1483].

## 3. Multistage programs and risk-constrained control

In risk-averse multistage stochastic programming, decomposability provides the stagewise risk assignment:
\[
\mathcal Q(Z_1+\cdots+Z_T) = Z_1 + p_2\big(Z_2 + p_3(\cdots + p_T(Z_T))\big),
\qquad
\mathcal Q_{t,T}:=p_t\circ\cdots\circ p_T.
\]
A policy is time consistent when the tail policy remains optimal for every conditional subproblem. The crucial result is negative: decomposability of \(\mathcal Q\) is not by itself enough to guarantee time consistency of all optimal solutions. The implication from decomposability to time consistency holds under additional assumptions, specifically uniqueness of the optimal solution or strict monotonicity of the nested risk mappings. The latter is expressed as
\[
(R'_2)\quad Z>Z' \implies p_t(Z)>p_t(Z'),
\]
and for a coherent risk measure \(p\) it is characterized by
\[
p \text{ is strictly monotone}
\quad\Longleftrightarrow\quad
\phi(w)>0 \text{ a.e. for every } \phi\in \partial p(Z).
\]
The paper’s counterexample with \(\mathcal Q(Z)=\max_{w\in\Omega} Z(w)\) shows that a decomposable but non-strictly-monotone risk measure can admit one optimal policy that is time consistent and another with the same objective value that is not. Nestedness alone is therefore not a universal risk-assignment consistency guarantee [1806.01497].

In finite-horizon stochastic optimal control, the same issue appears as inconsistency of a static ex ante risk budget under re-optimization. The state is augmented by a **risk-to-go threshold** \(r_k\), and the value function is defined by
\[
V_k(x_k,r_k) = \min_{\pi\in\Pi_k} J_N^\pi(x_k)
\quad\text{s.t.}\quad
R_N^\pi(x_k)\le r_k.
\]
The Bellman operator uses feasible pairs \((u,r')\) satisfying
\[
d(x_k,u)+\rho_k(r'(x_{k+1}))\le r_k.
\]
A key refinement shows that the inequality can be replaced by equality without loss of optimality, which yields an exact stagewise risk assignment. The time-consistent reformulation imposes
\[
\rho_j\bigl(r_{j+1}+d_j(x_j,\pi_j(x_j,r_j))\bigr)=r_j,
\qquad j=0,\ldots,N-1,
\]
and the analytical risk-to-go update is
\[
\tilde r_{k+1} = \tilde r_k + R_N^{\pi^\ast}(x_{k+1}) - R_N^{\pi^\ast}(x_k).
\]
The associated consistency relation,
\[
\rho_k(r_{k+1}^\ast)+d_k(x_k,\pi_k^\ast(x_k,r_k^\ast))=r_k^\ast,
\]
is the explicit stagewise constraint that prevents the re-optimization paradox illustrated by Haviv’s counterexample. In this formulation, time consistency is obtained not by weakening the risk constraint, but by endogenizing the evolution of the remaining risk budget [1503.07461].

## 4. Additivity, horizon matching, and dynamic risk evaluation

For route choice with random travel times, additive consistency is defined by
\[
\rho(X)\le \rho(Y)\ \Rightarrow\ \rho(X+Z)\le \rho(Y+Z)
\quad \text{for all } Z\perp (X,Y).
\]
A key lemma shows that for a risk measure this is equivalent to exact additivity on independent risks:
\[
\rho(X+Y)=\rho(X)+\rho(Y)\qquad \text{for all } X\perp Y.
\]
If arc travel times \(\tau_a\) are independent and a path \(p\) has travel time \(T_p=\sum_{a\in p}\tau_a\), then
\[
\rho(T_p)=\sum_{a\in p}\rho(\tau_a).
\]
Risk-averse routing is thereby reduced to a deterministic shortest path problem with arc lengths \(w_a=\rho(\tau_a)\). The paper emphasizes that mean-standard deviation, Value-at-Risk, and Average Value-at-Risk fail this property, whereas the entropic risk measure
\[
\rho^{ent}_{\beta}(X)=
\begin{cases}
\frac{1}{\beta}\ln \big( \mathbb E[e^{\beta X}] \big), & \beta\neq 0,\\[1ex]
\mathbb E[X], & \beta=0
\end{cases}
\]
is additive on independent random variables. Within expected utility, dual theory, and rank-dependent expected utility, the only preferences satisfying additive consistency are those induced by the entropic risk measures, with expectation as the distortion-only special case [1312.4193].

Fully-dynamic risk measures introduce a second axis of consistency: **horizon matching**. A fully-dynamic risk measure is a two-parameter family
\[
(P_{st})_{s,t\in[0,T]},\qquad P_{st}:L^p(\mathcal F_t)\to L^p(\mathcal F_s),
\]
and the paper identifies **horizon risk** as the error arising when a measure designed for a later horizon \(u\) is used to evaluate \(X\in L^p(\mathcal F_t)\) with \(u>t\). Strong time-consistency is
\[
P_{st}\big(-P_{tu}(X)\big)=P_{su}(X),
\]
order time-consistency is
\[
P_{tu}(X)=P_{tu}(Y)\ \Rightarrow\ P_{su}(X)=P_{su}(Y),
\]
and weak time-consistency is
\[
P_{su}\big(P_{tu}(0)-P_{tu}(X)\big)=P_{su}(X).
\]
Weak and order time-consistency are equivalent, and for normalized fully-dynamic risk measures strong time-consistency is equivalent to restriction plus order time-consistency. The restriction property,
\[
P_{st}(X)=P_{su}(X), \qquad X\in L^p(\mathcal F_t),\ u>t,
\]
eliminates horizon risk; its failure makes horizon dependence observable [2301.04971].

The quantitative measure of horizon risk is the **h-longevity indicator** defined through
\[
P_{su}(X)=P_{st}(X)+y(s,t,u,X),\qquad y(s,t,u,X)\ge 0.
\]
Restriction is equivalent to \(y\equiv 0\). In BSDE-generated risk measures
\[
Y_t = X+\int_t^u g(s,Z_s)\,ds - \int_t^u Z_s\,dB_s,
\qquad
P_{tu}(X)=\mathcal E^g(-X\mid \mathcal F_t),
\]
the paper proves
\[
g(t,0)=0 \quad \Longleftrightarrow \quad \text{normalization} \quad \Longleftrightarrow \quad \text{restriction property}.
\]
If \(g(v,0)\ge 0\), h-longevity holds, and the horizon-risk indicator becomes
\[
y(s,t,u,X)=E_{Q^X}\!\left[\int_t^u g(v,0)\,dv \,\middle|\, \mathcal F_s\right].
\]
An analogous equivalence between vanishing-at-zero drivers, normalization, and restriction is established for BSVIE-based risk measures as well. The conceptual implication is sharp: recursive consistency over evaluation times and correct matching of the risk horizon are distinct constraints, and only the fully-dynamic framework makes that separation explicit [2301.04971].

## 5. Statistical learning, fairness, and constrained surrogate risk

In fairness-constrained classification, risk-assignment consistency is imposed by requiring the positive-class conditional risk to be approximately constant across sensitive groups:
\[
\big|L^{+,a}(f)-L^{+,b}(f)\big|\le \epsilon.
\]
This defines \(\epsilon\)-fairness and generalizes Equal Opportunity. With the hard loss and \(\epsilon=0\), the condition becomes equality of true positive rates across groups; with the linear loss and \(\epsilon=0\), it becomes
\[
\mathbb{E}[f(x)\mid y=1,s=a]=\mathbb{E}[f(x)\mid y=1,s=b].
\]
The corresponding constrained learning problem is
\[
\min\Big\{L(f): f\in\mathcal{F},\ \big|L^{+,a}(f)-L^{+,b}(f)\big|\le\epsilon\Big\},
\]
and its empirical counterpart is the Fair ERM problem. Under a uniform learnability bound, if
\[
\hat\epsilon = \epsilon + \sum_{g\in\{a,b\}} B(\delta,n^{+,g},\mathcal{F}),
\]
then with probability at least \(1-6\delta\),
\[
L(\hat f)-L(f^*)\le 2B(\delta,n,\mathcal{F}),
\]
and
\[
\big|L^{+,a}(\hat f)-L^{+,b}(\hat f)\big|
\le
\epsilon + 2\sum_{g\in\{a,b\}} B(\delta,n^{+,g},\mathcal{F}).
\]
The fairness constraint therefore has both risk consistency and fairness consistency guarantees. In RKHS form, it becomes an orthogonality constraint,
\[
|\langle w,u\rangle|\le \epsilon,\qquad u=u_a-u_b,
\]
and for \(\epsilon=0\) it reduces to \(\langle w,u\rangle=0\), with a corresponding projected kernel
\[
\tilde\kappa(x,t) = \kappa(x,t)-\frac{\langle \phi(x),u\rangle\langle \phi(t),u\rangle}{\|u\|^2}.
\]
For linear models, the same condition becomes a data preprocessing step [1802.08626].

A different constrained-consistency problem arises when the classifier class is restricted by fairness, monotonicity, or interpretability and the Bayes rule need not be feasible. In that setting, the paper shows that when the constraint restricts only the prediction set,
\[
F_G \equiv \{f: G_f\in G,\ f(\cdot)\in[-1,1]\},
\]
hinge losses are the only surrogate losses that preserve consistency in second-best scenarios. The key proportionality condition is
\[
\Delta C_{\phi}(\eta(x)) = c(1-2\eta(x)) \quad \text{for some } c>0,
\]
and among common surrogate losses only the hinge loss satisfies it. Once functional-form restrictions are added, hinge loss is no longer sufficient by itself; consistency requires a classification-preserving reduction satisfying a sublevel-set condition and inclusion of the step classifier
\[
\tilde f_G(x)=2\cdot 1\{x\in G\}-1.
\]
This paper directly refutes the common expectation that a classification-calibrated surrogate remains valid under arbitrary feasible-set restrictions [2106.12886].

Consistency under localization addresses yet another constrained regime. Localized SVMs combine local empirical SVMs over a regionalization
\[
\mathcal X_n=\{\mathcal X_{n,1},\dots,\mathcal X_{n,m_n}\}
\]
with measurable weights \(w_{n,i}\) summing to one. Under a uniform overlap bound, kernel-family control by \(\beta_{n,i}\), moment conditions compatible with the loss growth type \(p\), and regularization/sample-size balances such as
\[
\max_{i\in I_n^+}\beta_{n,i}^2\lambda_{n,i}\to 0,
\]
the empirical localized predictor converges to the theoretical localized predictor in \(L_p(P_X)\), and the risk converges to the Bayes risk:
\[
\mathcal R_{L,P}(f_{L,D_n,\lambda,k,\mathcal X_n}) \to \mathcal R_{L,P}^* \qquad\text{in probability}.
\]
The result shows that localization, overlapping regions, and varying kernels do not by themselves destroy risk consistency, provided the regionalization and regularization constraints are scaled appropriately [2305.09385].

## 6. Assignment, feasibility, and constrained operational systems

In stable matching with assignment constraints, the central consistency question is whether designer-imposed constraints are compatible with stability. The original worker- and firm-based constraints are reduced to a pair-based problem:
\[
\textsc{Reduced Constrained Stable Matchings:} \quad
\text{Given disjoint sets } C^{in}, C^{out} \text{ of worker–firm pairs, is there a stable matching that contains all pairs in } C^{in} \text{ and none in } C^{out}?
\]
The structural tool is the **iterated deletion of unattractive alternatives (IDUA)**, which computes a normal form \(D^*(P)\) preserving stable matchings:
\[
D(P) \text{ and } D^*(P) \text{ contain exactly the same stable matchings.}
\]
A crucial consistency lemma states that if a vertex \(v\) has zero out-degree in one direction, then a stable matching in the current digraph avoids \(v\) if and only if it is a stable matching after deleting \(v\). The paper’s point is that forbidden pairs cannot be deleted arbitrarily; they can be deleted only when they are currently safe to delete. The main algorithm solves the reduced problem in time
\[
O(N^3 + N^3 s),
\]
with \(O(N^3)\) time between consecutive outputs, where \(s\) is the number of feasible stable matchings output. Here feasibility consistency is expressed as compatibility between pair-level assignment constraints and the blocking-pair structure of stable outcomes [2204.03989].

In risk-aware multi-robot assignment and planning, consistency is enforced structurally through the propagation of uncertainty from perception to planning to assignment. Bayesian SegNet with dropout produces a pixelwise uncertainty
\[
uncertainty(x) = \frac{1}{c}\sum_c \operatorname{Var}\!\big(P(c\mid x)\big),
\]
and the risk-aware traversal cost is
\[
\hat{C}(x) := C(l_x) + \lambda \operatorname{Var}(l_x).
\]
Candidate paths are generated by A*, and assignment is performed by maximizing CVaR of the total efficiency
\[
f(\mathcal{S},y)=\sum_{j\in M}\max_{(i,j,k)\in \mathcal{S}_j} e_{ijk}
\]
under a partition matroid constraint \(\mathcal I\):
\[
\mathcal{S}=\bigcup_{j=1}^{M}\mathcal{S}_j,\qquad
\mathcal{S}_j\cap \mathcal{S}_{j'}=\emptyset,\;\forall j\neq j'.
\]
The objective is
\[
\max_{\mathcal{S},\tau}\;
\tau - \frac{1}{\alpha}\mathbb{E}\!\left[\left(\tau-\sum_{j\in M}\max_{(i,j,k)\in \mathcal{S}_j} e_{ijk}\right)_{+}\right],
\]
and the algorithm removes a selected vehicle from further consideration after each greedy choice,
\[
\mathcal{V}\leftarrow \mathcal{V}\setminus i^\star.
\]
The consistency mechanism is not a separate symbolic constraint linking perception and assignment; it is the fact that uncertainty modifies the cost map, which modifies path costs and path efficiencies, and those efficiencies are exactly the random inputs seen by the CVaR assignment problem [2003.11675].

Heavy-traffic redundancy systems with assignment constraints offer a queueing-theoretic analogue. Jobs of type \(S\) can only be assigned to servers in \(S\), and stability is characterized by
\[
N\lambda \sum_{S:S\subseteq U}p_S < \sum_{n\in U}\mu_n
\quad \text{for all non-empty } U\subseteq\{1,\dots,N\}.
\]
The decisive structural condition is the local stability or Complete Resource Pooling condition,
\[
\sum_{S:S\subseteq U}p_S<\frac{1}{N\mu}\sum_{n\in U}\mu_n
\quad \text{for all non-empty } U\subsetneq\{1,\dots,N\}.
\]
Under this condition, as \(\lambda\uparrow\mu\),
\[
\left(1-\frac{\lambda}{\mu}\right)(Q_S)_{S\in\mathcal S}
\xrightarrow{d}
\mathrm{Exp}(1)\,(p_S)_{S\in\mathcal S}.
\]
Thus strict assignment constraints do not prevent full resource pooling in the heavy-traffic limit so long as no local bottleneck appears before the global one. The paper’s message is not that assignment constraints are irrelevant, but that under the explicit CRP inequalities they become asymptotically insensitive at the scale of the heavy-traffic collapse [2005.14566].

## 7. Feasible-set stability, distributional robustness, and rating consistency

In constrained risk sharing, the decisive property is **componentwise convex-order solidity**. For a feasible set \(\mathcal X\subseteq \mathbb A_n(S)\), this means
\[
\forall X\in\mathcal X,\ \forall Y\in\mathbb A_n(S),\quad
\Bigl(Y_i \le_{cx} X_i\ \forall i\in[n]\Bigr)\ \Longrightarrow\ Y\in\mathcal X.
\]
Under this condition, every feasible allocation admits a feasible comonotonic improvement:
\[
\bar X_i \le_{cx} X_i \qquad \forall i\in[n],
\]
and for convex-order-consistent risk measures,
\[
\inf_{X\in\mathcal X}\sum_{i=1}^n \rho_i(X_i)
=
\inf_{X\in\mathcal X\cap\mathbb A_n^+(S)}\sum_{i=1}^n \rho_i(X_i).
\]
This restores the classical comonotonic reduction under constraints. The paper also identifies important failures: Value-at-Risk caps and idiosyncratic deductibles are excluded, and VaR caps can lead to optimal allocations that are non-comonotonic in the aggregate loss. The structural lesson is that a feasible set must be stable under componentwise risk reduction if it is to preserve the economic logic of constrained Pareto optima [2604.24546].

Distributionally robust risk constraints address consistency from a sampling perspective. In the risk-constrained program
\[
\underset{x\in X}{\min} \quad c^\intercal x
\qquad \text{s.t.} \qquad
\mathrm{CVaR}^{P}_{\alpha}(F(x,\xi)) \le 0,
\]
the Wasserstein-robust counterpart replaces the unknown law \(P\) by
\[
M_N^\theta := \left\{ \mu\in P_1(\Xi)\;:\; W_1(\mu,\widehat P_N)\le \theta \right\}.
\]
Under continuity, convexity in \(x\), boundedness and uniform Lipschitz continuity in \(\xi\), a finite-sample radius guarantee with \(\sum_{N=1}^\infty \beta_N<\infty\) and \(\epsilon_N\to 0\), nonempty interior of the original feasible set, and compactness of optimizer sets, the optimal values and optimizers of the distributionally robust CVaR-constrained and chance-constrained programs converge almost surely to those of the original stochastic problems. In particular, eventually
\[
J \le J_N,
\qquad
J_N\to J,
\]
and any accumulation point of robust optimizers is an optimizer of the original problem. The robust constraint is therefore asymptotically conservative but statistically consistent [2012.08850].

Choquet rating criteria formulate consistency for categorical risk scores. A rating criterion \(r\) is represented by a risk measure \(\rho\) through
\[
r(X)=f(\rho(X)),
\]
and in the Choquet case
\[
\rho(X)=\int X\,d\nu.
\]
The paper studies three notions: risk aversion consistency \([RA]\), pooling effect consistency \([PE]\), and diversification consistency \([QC]\). Under law invariance, the hierarchy is
\[
[QC]\Rightarrow[RA]\Rightarrow[PE],
\]
and under scenario-based law invariance,
\[
[QC]\Rightarrow[S\text{-}RA]\Rightarrow[S\text{-}PE].
\]
For a distortion risk measure
\[
\rho(X)=\int X\,d(h\circ P),
\]
the characterizations are
\[
h \text{ concave} \iff [RA]\iff [QC],
\]
and
\[
h \text{ concave on } [0,1) \iff [PE]\iff [PE^*].
\]
For \(S\)-distortion risk measures
\[
\rho(X)=\int X\,d(g\circ P^S),
\]
quasi-convexity is equivalent to coherence and to \(g\) being componentwise concave and submodular. Because the Choquet representation is unique, these properties transfer exactly between the rating criterion and the representing risk measure. The case studies on collateralized loan obligations and catastrophe bonds show that these consistency notions are operational: criteria such as Average ES and Average MAXVAR reward pooling and diversification, whereas Average VaR, Max VaR, and Average PD can behave non-monotonically or perversely [2506.13435].

Taken together, these strands support a unified interpretation. Risk-assignment consistency constraints do not merely ask whether a risk functional is well defined; they ask whether its induced decisions remain coherent after recursion, concatenation, conditioning, discretization, sampling, or feasibility restriction. The strongest negative results are correspondingly structural: standard time consistency is too weak in the set-valued case, decomposability is too weak without strict monotonicity, many popular route-choice risk measures are not additively consistent, hinge consistency fails under unrestricted functional-form constraints, and VaR-type feasible sets need not be stable under risk reduction. The positive results are equally structural: multi-portfolio time consistency restores recursion, exact risk-to-go updates restore time-consistent control, restriction removes horizon risk, orthogonality constraints control group-conditioned error allocation, convex-order solidity restores comonotonic improvement, Wasserstein ambiguity sets yield asymptotically correct robust constraints, and concavity or submodularity of Choquet distortions restores prudent rating orderings.

Source: https://www.emergentmind.com/topics/risk-assignment-consistency-constraints