Critical Dependence Stress for Portfolio Diversification

Abstract

We ask how much dependence uncertainty a diversification benefit can withstand when every marginal loss law is fixed. Our measure is the smallest weighted 1 1 -Wasserstein perturbation that reverses the Expected Shortfall ranking of two nearby allocations evaluated under a common stressed law. For a positive continuous density on a compact box, exchangeability of the two traded positions eliminates the first-order gain, so the stress radius to study is ρ = s ε 2 \rho=s\varepsilon^2 for trade size ε \varepsilon . At this scale we obtain a Γ \Gamma -limit for the rescaled transport energies and prove convergence of the paired risk differences, with the two ES thresholds optimized separately. Coordinatewise quantile restoration incurs a marginal-flux cost, although its leading effects on the two ES values cancel in their difference. The limiting risk profile is continuous and strictly increasing, and its unique zero is the common leading coefficient of the budgets for a tie and for a strict reversal. We introduce the marginal-restoration premium, the excess of that coefficient over the local-efficiency lower bound, and prove that it vanishes exactly when background displacement is cheapest per unit change in portfolio loss. Otherwise it is strictly positive, even when the profile is exactly linear on an initial interval. For independent uniform losses on [ 0 , 2 ] 3 [0,2]^3 with β = 1 \beta=1 , p = 1 / 2 p=1/2 , and γ = ( 1 , 1 , 2 ) \gamma=(1,1,2) , the premium is at least 30 % 30\% of the local-efficiency bound. At equal effective costs, we characterize the right derivative of the critical coefficient with respect to the background penalty by continuous maximum-flow/minimum-cut duality.

I. Introduction

A risk desk may have agreed marginal models for its individual positions without an equally well-determined model for their joint losses with the background book [31]. That leaves open how much of a portfolio's diversification benefit survives uncertainty about dependence. We study the question by keeping the marginal models, letting the coupling change, and looking for the smallest dependence perturbation that reverses the Expected Shortfall (ES) advantage of a proposed reallocation when both allocations face the same stressed law. We develop a variational framework for this critical stress. It yields a critical-scale Γ \Gamma -limit, a common critical coefficient for a tie and a strict reversal, the marginal-restoration premium with its zero-premium classification, a flow–cut characterization, at equal effective costs, of the premium's sensitivity to background cost, and a uniform benchmark in which the asymptotic reversal budget is at least 30 % 30\% above the initial-slope prediction.

Let X 1 , X 2 X_1,X_2 be the unit losses of two positions of equal initial cost. A transfer from holdings ( 1 + ε , 1 − ε ) (1+\varepsilon,1-\varepsilon) to ( 1 , 1 ) (1,1) , with an unchanged background loss β X 3 \beta X_3 , changes the portfolio loss from A ε = ( 1 + ε ) X 1 + ( 1 − ε ) X 2 + β X 3 = B + ε H A_\varepsilon=(1+\varepsilon)X_1+(1-\varepsilon)X_2+\beta X_3=B+\varepsilon H to B B , where

B = X 1 + X 2 + β X 3 , H = X 1 − X 2 , β > 0 B=X_1+X_2+\beta X_3,\qquad H=X_1-X_2,\qquad \beta>0.

At upper-tail probability p ∈ ( 0 , 1 ) p\in(0,1) , we compare them through Φ ε ( P ) = E S p P ( B ) − E S p P ( A ε ) \Phi_\varepsilon(P)=ES_p^P(B)-ES_p^P(A_\varepsilon) , optimizing the two ES thresholds separately under P P [32], so that Φ ε ( P ) < 0 \Phi_\varepsilon(P)<0 favors the transfer under that law. The background term β X 3 \beta X_3 cancels from the payoff difference A ε − B A_\varepsilon-B , yet we cannot drop it, because its dependence with the traded positions determines which states enter each portfolio's upper tail. A trade assessed in isolation can therefore rank differently once embedded in the whole book [8].

Writing Π \Pi for the Fréchet class of joint laws with these marginals, we measure distance from the reference law P 0 P_0 by weighted W 1 W_1 with ground cost c γ ( x , y ) = | y − x | γ = ∑ i γ i | y i − x i | c_\gamma(x,y)=|y-x|_\gamma=\sum_i\gamma_i|y_i-x_i| , where each γ i > 0 \gamma_i>0 sets the budget penalty per unit coordinate loss displacement as losses are re-paired across joint states. At budget ρ \rho , the stress problem is

D ε ( ρ ) = sup P ∈ Π W γ ( P , P 0 ) ≤ ρ { E S p P ( B ) − E S p P ( A ε ) } , m ε = − D ε ( 0 ) D_\varepsilon(\rho) =\sup_{\substack{P\in\Pi\\ W_\gamma(P,P_0)\le\rho}} \bigl\{ES_p^P(B)-ES_p^P(A_\varepsilon)\bigr\}, \qquad m_\varepsilon=-D_\varepsilon(0).

Under an exchangeable reference law the traded positions have equal marginal ES contributions, so the nominal gain is of second order: m ε = ( J / p ) ε 2 + o ( ε 2 ) m_\varepsilon=(J/p)\varepsilon^2+o(\varepsilon^2) , with J > 0 J>0 . When γ 1 ≤ min { γ 2 , γ 3 / β } \gamma_1\le\min\{\gamma_2,\gamma_3/\beta\} , for example, the local exchange in Proposition 2.2 attains an initial stress derivative K ε K_\varepsilon of order one, which suggests the reversal budget r 0 , ε = m ε / K ε = O ( ε 2 ) r_{0,\varepsilon}=m_\varepsilon/K_\varepsilon=O(\varepsilon^2) . The derivative at zero budget does not determine whether this efficiency persists until the nominal gain is exhausted. The predicted reversal already sits at scale ρ = s ε 2 \rho=s\varepsilon^2 , so the tangent at zero is not enough, and we need the risk profile over a nonvanishing interval of the rescaled budget s s .

Three effects contribute at the critical scale. Moving the O ( ε ) O(\varepsilon) mass in an O ( ε ) O(\varepsilon) -layer around the reference tail boundary by distances of order ε \varepsilon changes both transport cost and tail expectation by O ( ε 2 ) O(\varepsilon^2) , which matches the nominal gain. That local movement need not preserve the marginals, and restoring them has its own price. For a fixed regular local plan the marginal CDF discrepancies are O ( ε 2 ) O(\varepsilon^2) , and by Vallender's formula [39] their L 1 L^1 norms give the one-dimensional restoration costs, even when compensation occurs far from the tail boundary. An O ( ε ) O(\varepsilon) shift of either ES threshold also contributes at order ε 2 \varepsilon^2 through the curvature of its objective. Since all three enter at the same order, we have to optimize the local displacement, marginal restoration, and both thresholds together.

Our main contributions are the following.

The critical-scale limit. When the reference law has a positive continuous density on a compact box I 2 × I 3 I^2\times I_3 and is exchangeable in its first two coordinates, Theorem 3.1 proves that the rescaled stress profile converges to a finite, continuous limit

F ( s ) = lim ε ↓ 0 ε − 2 D ε ( s ε 2 ) , F ( 0 ) = − J / p F(s)=\lim_{\varepsilon\downarrow0}\varepsilon^{-2}D_\varepsilon(s\varepsilon^2), \qquad F(0)=-J/p,

with convergence locally uniform in s ≥ 0 s\ge0 . The proof rests on a Γ \Gamma -limit [11] of the transport energies that charges both for the local displacement and for restoring its marginal projections. In the recovery argument, coordinatewise quantile maps attain the restoration cost for each fixed regular local plan. This correction moves losses throughout the box, but its leading effects on the two ES values cancel outside the threshold layer, and approximation then extends the paired-risk convergence to kernels with finite displacement moment.

A common critical coefficient. Let ρ ε − \rho^-_\varepsilon and ρ ε + \rho^+_\varepsilon be the infima of budgets permitting a tie and a strict reversal. Theorem 3.3 proves that F F is strictly increasing with a unique zero s ∗ > 0 s^*>0 , and that this zero is the common leading coefficient of both budgets, which gives the quadratic law for the critical stress:

ρ ε − = s ∗ ε 2 + o ( ε 2 ) , ρ ε + = s ∗ ε 2 + o ( ε 2 ) \rho^-_\varepsilon=s^*\varepsilon^2+o(\varepsilon^2),\qquad \rho^+_\varepsilon=s^*\varepsilon^2+o(\varepsilon^2).

The marginal-restoration premium. The effective unit costs are γ 1 , γ 2 \gamma_1,\gamma_2 , and c 3 = γ 3 / β c_3=\gamma_3/\beta , with c min = min { γ 1 , γ 2 , c 3 } c_{\min}=\min\{\gamma_1,\gamma_2,c_3\} . If the first traded coordinate is cheapest, Proposition 3.2 constructs a positive interval [ 0 , s l i n ] [0,s_{\rm lin}] on which F ( s ) = − J / p + s / ( p γ 1 ) F(s)=-J/p+s/(p\gamma_1) . To reach zero at this rate, however, efficient displacement would have to stay possible throughout the required interval. We introduce the marginal-restoration premium, the nonnegative gap s ∗ − J c min s^*-Jc_{\min} between the critical coefficient and the universal efficiency bound (normalized by J c min Jc_{\min} when reported as a percentage), and Theorem 4.2 classifies exactly when it vanishes:

s ∗ = J c min ⟺ c 3 ≤ min { γ 1 , γ 2 } s^*=Jc_{\min}\quad\Longleftrightarrow\quad c_3\le\min\{\gamma_1,\gamma_2\}.

When background displacement is cheapest, exchangeability lets opposite shifts balance on every fixed-background slice. When only traded directions are cheapest, a corner region needs a displacement moment of order δ 2 \delta^2 , while its coordinate projections admit only O ( δ 4 ) O(\delta^4) of compensating moment near the diagonal (Figure 2), so the premium is strictly positive. Under the attained-slope condition of Proposition 2.2, with c min = γ 1 < c 3 c_{\min}=\gamma_1<c_3 , this mismatch gives ρ ε ± / r 0 , ε → s ∗ / ( γ 1 J ) > 1 \rho^\pm_\varepsilon/r_{0,\varepsilon}\to s^*/(\gamma_1J)>1 , and (4.10) bounds this limit explicitly.

The uniform benchmark. Take independent uniform losses on [ 0 , 2 ] 3 [0,2]^3 , with β = 1 \beta=1 , p = 1 / 2 p=1/2 , and γ = ( 1 , 1 , 2 ) \gamma=(1,1,2) . Then g = 3 / 8 g=3/8 and J = 5 / 32 J=5/32 , so Proposition 2.2 gives m ε = ( 5 / 16 ) ε 2 + o ( ε 2 ) m_\varepsilon=(5/16)\varepsilon^2+o(\varepsilon^2) . Corollary 5.2 proves that the profile is exactly F ( s ) = 2 s − 5 / 16 F(s)=2s-5/16 for 0 ≤ s ≤ 1 / 96 0\le s\le1/96 , yet its zero satisfies 13 / 64 ≤ s ∗ ≤ 29 / 96 13/64\le s^*\le29/96 . So even in this uniform model, and despite an attainable initial slope, the marginal-restoration premium is at least 30 % 30\% : the lower bound we prove on reversal is 30 % 30\% above the local-efficiency prediction 5 / 32 5/32 .

Flow–cut sensitivity at equal effective costs. Along the cost family γ 1 = γ 2 = γ \gamma_1=\gamma_2=\gamma , c 3 = γ ( 1 + η ) c_3=\gamma(1+\eta) for η ≥ 0 \eta\ge0 , the baseline J c min = γ J Jc_{\min}=\gamma J stays constant, so s ∗ s^* and the marginal-restoration premium have the same right derivative γ J a + \gamma Ja_+ at η = 0 \eta=0 . Here a + ∈ ( 0 , 1 ) a_+\in(0,1) is the least background share among efficient stresses. Theorem 4.3 characterizes it by continuous maximum-flow/minimum-cut duality and writes it as a normalized supremum of projected cut deficits, and Section 5 shows how this share and the budget sensitivity γ J a + \gamma Ja_+ can move in opposite directions as the reference dependence changes.

Our question lies between extremal risk aggregation and local distributional sensitivity. On the aggregation side, subadditivity bounds aggregate risk [1, 25], and rearrangements within a Fréchet class describe how diversification depends on the coupling [33, 15, 5, 16, 41]. Partial information leads to convex-order and mixability constraints [22] but can still permit comonotonic upper tails [12], and fixed-marginal MES bounds quantify uncertainty in individual tail contributions [9]. In allocation comparisons, the symmetry imposed on the candidate laws is decisive. Chen et al. [10] and Liu and Liu [23] use exchangeability and majorization to identify diversification protection, and Liu and Liu also analyze when complete dependence ambiguity favors concentration and how Wasserstein uncertainty modifies that conclusion. We impose exchangeability at the reference law alone: stressed couplings need not remain exchangeable, and the stationarity that symmetry gives at the reference does not by itself protect the reallocation once stress breaks the symmetry. We use this setting to measure the distance to a specified decision reversal, in the spirit of reverse sensitivity analysis [28, 29].

Transport duality is a natural way to preserve the marginal information [40, 34]. In Wasserstein robust optimization [7, 19], adding marginal constraints confines the perturbation to dependence changes [18, 13]; such constraints encode calibrated risk-neutral laws in multiasset robust pricing [14], and Wasserstein and copula restrictions also arise in benchmark portfolio optimization [30]. Here the constraint acts on a common stressed loss law for two allocations. After rescaling, its full coordinate projections remain as a transport penalty, and at equal effective costs we show that the efficient allocation of displacement reduces to a capacity-constrained flow problem [20].

Local Wasserstein expansions relate the sensitivity of optimized decisions and AVaR criteria to changes in the reference law [2], and adapted transport brings in the information available in multiperiod decisions [4]. When a first-order term vanishes, one turns to higher-order expansions: Fiechtner and Blanchet [17] derive a second-order regret expansion under a unique empirical-risk minimizer in this situation, and Sauldubois [35] develops higher-order Wasserstein and adapted-Wasserstein expansions, including martingale constraints. Dependence restrictions also affect local sensitivity, as in Lam [21], while Namkoong [26] evaluates the first-order response over restricted transport directions. In our problem the trade size and stress radius vanish together, so locating a decision reversal at scale ρ = s ε 2 \rho=s\varepsilon^2 takes the full rescaled profile, which Theorem 3.1 gives with global marginal compensation and both optimized ES thresholds retained over the budget interval needed to reach zero.

Section 2 derives the nominal gain and the initial stress slope, and Section 3 takes the variational limit at scale ρ = s ε 2 \rho=s\varepsilon^2 and identifies the unique zero of the limiting profile. Section 4 characterizes zero premium and represents the boundary derivative by continuous projected flow–cut duality. Section 5 works through analytical examples and what they imply for reverse stress testing. The analytic proofs are in Appendix A, and the potential estimates and section calculations for the examples are in Appendix B.

Notation and conventions We write T # μ T_\#\mu for a pushforward and measure displacements by | d | γ = ∑ i γ i | d i | |d|_\gamma=\sum_i\gamma_i|d_i| . The constant in O α ( ε k ) O_\alpha(\varepsilon^k) may depend on the fixed kernel and model, but not on ε \varepsilon . Scalar section integrands are extended by zero outside their domains, and projection identities are equalities of finite signed Borel measures. We use inf ∅ = + ∞ \inf\varnothing=+\infty ; allocation ratios are assigned the value zero where both numerator and denominator vanish.

II. Model formulation and the local benchmark

We first formulate the comparison for arbitrary integrable marginal laws, which are enough for a worst stressed model to exist. The critical-scale analysis will use a positive continuous density and exchangeability of the two traded positions, both introduced in Section 2.2.

A. Fixed marginals and a common stress law

Let n ≥ 2 n\ge2 , let μ 1 , … , μ n \mu_1,\ldots,\mu_n have finite first moments, and fix P 0 P_0 in the Fréchet class Π ( μ 1 , … , μ n ) = { P ∈ P ( R n ) : P i = μ i ,   1 ≤ i ≤ n } \Pi(\mu_1,\ldots,\mu_n)=\{P\in\mathcal P(\mathbb R^n):P_i=\mu_i,\ 1\le i\le n\} .

For exposure vectors b , h ∈ R n b,h\in\mathbb R^n , the losses before and after the proposed reallocation are A ε = B + ε H A_\varepsilon=B+\varepsilon H and B B , with B = b ⋅ X B=b\cdot X and H = h ⋅ X H=h\cdot X . We use the upper-tail mass p ∈ ( 0 , 1 ) p\in(0,1) and the Expected Shortfall representation of Rockafellar and Uryasev [32],

( 2.1 ) E S p P ( L ) = min t ∈ R { t + 1 p E P ( L − t ) + } ES_p^P(L)=\min_{t\in\mathbb R} \left\{t+\frac1pE_P(L-t)_+\right\}. \tag{2.1}

We write E L ( P ; t ) = t + p − 1 E P ( L − t ) + \mathscr E_L(P;t)=t+p^{-1}E_P(L-t)_+ for the threshold objective. For an integrable loss, its minimum is attained on the nonempty compact interval characterized by

( 2.2 ) t ∈ arg ⁡ min u E L ( P ; u ) ⟺ P ( L > t ) ≤ p ≤ P ( L ≥ t ) t\in\arg\min_{u}\mathscr E_L(P;u) \quad\Longleftrightarrow\quad P(L>t)\le p\le P(L\ge t). \tag{2.2}

Without a continuity assumption on the stressed loss law, support gaps can leave a nondegenerate interval of minimizing thresholds. We therefore keep the set-valued characterization (2.2), so that subsequent estimates apply to every minimizer, including for laws with atoms.

Under a common candidate law P ∈ Π P\in\Pi , we compare Φ ε ( P ) = E S p P ( B ) − E S p P ( A ε ) \Phi_\varepsilon(P)=ES_p^P(B)-ES_p^P(A_\varepsilon) , minimizing each loss over its own threshold. Maximizing this paired difference tests whether a single dependence scenario can erase the nominal gain, whereas separate maximizations of the two ES values may select different joint laws. We measure changes in dependence with positive weights γ i \gamma_i and ground cost

c γ ( x , y ) = ∑ i = 1 n γ i | y i − x i | , W γ ( P , P 0 ) = min π ∈ Γ ( P 0 , P ) ∫ c γ d π c_\gamma(x,y)=\sum_{i=1}^n\gamma_i|y_i-x_i|, \qquad W_\gamma(P,P_0)=\min_{\pi\in\Gamma(P_0,P)}\int c_\gamma\,d\pi.

Within Π = Π ( μ 1 , … , μ n ) \Pi=\Pi(\mu_1,\ldots,\mu_n) , transport changes how component losses are paired across joint states. With the weights and all marginal laws held fixed, we define the worst comparison at budget ρ \rho and the nominal gain by

( 2.3 ) A ρ = { P ∈ Π : W γ ( P , P 0 ) ≤ ρ } , D ε ( ρ ) = max P ∈ A ρ Φ ε ( P ) , m ε = − Φ ε ( P 0 ) \mathcal A_\rho=\{P\in\Pi:W_\gamma(P,P_0)\le\rho\},\quad D_\varepsilon(\rho)=\max_{P\in\mathcal A_\rho}\Phi_\varepsilon(P),\quad m_\varepsilon=-\Phi_\varepsilon(P_0). \tag{2.3}

Proposition 2.1 guarantees attainment in (2.3), allowing atoms, singular dependence, and unbounded marginal supports. A nondecreasing profile can vanish on a whole interval, so we distinguish the infimal budgets for a tie and a strict reversal,

( 2.4 ) ρ ε − = inf { ρ ≥ 0 : D ε ( ρ ) ≥ 0 } , ρ ε + = inf { ρ ≥ 0 : D ε ( ρ ) > 0 } \rho^-_\varepsilon=\inf\{\rho\ge0:D_\varepsilon(\rho)\ge0\}, \qquad \rho^+_\varepsilon=\inf\{\rho\ge0:D_\varepsilon(\rho)>0\}, \tag{2.4}

which, by Theorem 3.3, have the same leading asymptotics in the exchangeable box model of Section 2.2.

Proposition 2.1 (Existence under integrable marginal laws). Let n ≥ 2 n\ge2 , let μ 1 , … , μ n \mu_1,\ldots,\mu_n have finite first moments, and fix P 0 ∈ Π ( μ 1 , … , μ n ) P_0\in\Pi(\mu_1,\ldots,\mu_n) , positive weights γ i \gamma_i , exposure vectors b , h ∈ R n b,h\in\mathbb R^n , and p ∈ ( 0 , 1 ) p\in(0,1) . Then Π \Pi and every A ρ \mathcal A_\rho are compact for W γ W_\gamma , and the maximum in (2.3) is attained. For each fixed ε \varepsilon , the profile D ε D_\varepsilon is nondecreasing and Lipschitz on [ 0 , ∞ ) [0,\infty) .

Proof. The fixed-marginal class is tight and weakly closed. Moreover, along any weakly convergent sequence P k → P P_k\to P in Π \Pi , the first moments satisfy ∫ | x | γ d P k = ∑ i γ i ∫ | x i | d μ i = ∫ | x | γ d P \int|x|_\gamma\,dP_k=\sum_i\gamma_i\int|x_i|\,d\mu_i=\int|x|_\gamma\,dP , so the Wasserstein convergence criterion [40] implies W γ W_\gamma -compactness of Π \Pi and its closed subsets A ρ \mathcal A_\rho . For a linear loss L = a ⋅ X L=a\cdot X , coupling the laws and minimizing the uniformly Lipschitz hinges over their thresholds gives

| E S p P ( L ) − E S p Q ( L ) | ≤ p − 1 ‖ a ‖ γ , ∗ W γ ( P , Q ) , ‖ a ‖ γ , ∗ = max i | a i | / γ i |ES_p^P(L)-ES_p^Q(L)|\le p^{-1}\|a\|_{\gamma,*}W_\gamma(P,Q), \qquad \|a\|_{\gamma,*}=\max_i|a_i|/\gamma_i.

Applying this bound to B = b ⋅ X B=b\cdot X and A ε = ( b + ε h ) ⋅ X A_\varepsilon=(b+\varepsilon h)\cdot X , we find that their ES difference Φ ε \Phi_\varepsilon is Lipschitz with constant C ε = p − 1 ( ‖ b ‖ γ , ∗ + ‖ b + ε h ‖ γ , ∗ ) C_\varepsilon=p^{-1}(\|b\|_{\gamma,*}+\|b+\varepsilon h\|_{\gamma,*}) . Compactness of A ρ \mathcal A_\rho then ensures attainment. To compare two budgets ρ 2 > ρ 1 \rho_2>\rho_1 , take a maximizer P P at ρ 2 \rho_2 . The mixture P a = ( 1 − a ) P 0 + a P P_a=(1-a)P_0+aP , a = ρ 1 / ρ 2 a=\rho_1/\rho_2 , satisfies W γ ( P a , P 0 ) ≤ a ρ 2 W_\gamma(P_a,P_0)\le a\rho_2 and W γ ( P a , P ) ≤ ( 1 − a ) ρ 2 W_\gamma(P_a,P)\le(1-a)\rho_2 , by mixing an optimal plan with the corresponding identity plans. Comparing Φ ε ( P a ) \Phi_\varepsilon(P_a) and Φ ε ( P ) \Phi_\varepsilon(P) yields 0 ≤ D ε ( ρ 2 ) − D ε ( ρ 1 ) ≤ C ε ( ρ 2 − ρ 1 ) 0\le D_\varepsilon(\rho_2)-D_\varepsilon(\rho_1)\le C_\varepsilon(\rho_2-\rho_1) . Q.E.D.

For a transfer H = X i − X j H=X_i-X_j between positions with the same marginal law, replacing X j X_j by X i X_i preserves every marginal and gives A ε = B A_\varepsilon=B at cost γ j E P 0 | X i − X j | \gamma_jE_{P_0}|X_i-X_j| ; reversing their roles yields

0 ≤ ρ ε − ≤ min { γ i , γ j } E P 0 | X i − X j | < ∞ 0\le\rho^-_\varepsilon \le\min\{\gamma_i,\gamma_j\}\,E_{P_0}|X_i-X_j|<\infty.

So the tie budget is finite, but this bound leaves its small-trade scale open. Under the exchangeable box assumptions introduced next, Section 3 shows that both critical budgets are of order ε 2 \varepsilon^2 .

B. The exchangeable box model

To isolate how dependence with the rest of a portfolio affects a small reallocation, we keep the two traded losses separate and collect all unchanged positions into their aggregate loss β X 3 \beta X_3 . The marginal law of X 3 X_3 counts as retained information, and we specify the transport metric directly on ( X 1 , X 2 , X 3 ) (X_1,X_2,X_3) . This aggregate model fixes the information used in the stress test: the retained marginal and displacement cost are those of the aggregate loss, a different specification from fixing separately the marginals and transport costs of every underlying background position.

Standing assumptions (exchangeable box model) Let

I = [ ℓ , r ] , I 3 = [ ℓ 3 , r 3 ] , S = I 2 × I 3 , Δ I = r − ℓ > 0 , Δ 3 = r 3 − ℓ 3 > 0 I=[\ell,r],\qquad I_3=[\ell_3,r_3],\qquad S=I^2\times I_3,\qquad \Delta_I=r-\ell>0,\quad \Delta_3=r_3-\ell_3>0.

We also write I 1 = I 2 = I I_1=I_2=I when treating coordinate projections together. The reference law has a continuous density f > 0 f>0 on the closed box S S , normalized to integrate to one and satisfying f ( x , y , z ) = f ( y , x , z ) f(x,y,z)=f(y,x,z) . We take

B = X 1 + X 2 + β X 3 , H = X 1 − X 2 , A ε = B + ε H , β > 0 , 0 < ε < 1 B=X_1+X_2+\beta X_3,\qquad H=X_1-X_2,\qquad A_\varepsilon=B+\varepsilon H,\qquad \beta>0,\quad 0<\varepsilon<1,

with arbitrary p ∈ ( 0 , 1 ) p\in(0,1) and γ i > 0 \gamma_i>0 , so that b = ( 1 , 1 , β ) b=(1,1,\beta) and h = ( 1 , − 1 , 0 ) h=(1,-1,0) in the preceding notation. All model parameters remain fixed as ε ↓ 0 \varepsilon\downarrow0 . The first two unit positions are expressed at equal initial cost, allowing the trade to change their holdings from ( 1 + ε , 1 − ε ) (1+\varepsilon,1-\varepsilon) to ( 1 , 1 ) (1,1) without changing the initial outlay. The position β X 3 \beta X_3 represents the background book, whose holding remains unchanged during the trade.

The stressed law may be any coupling in Π ( ( P 0 ) 1 , ( P 0 ) 2 , ( P 0 ) 3 ) \Pi((P_0)_1,(P_0)_2,(P_0)_3) ; exchangeability and absolute continuity are assumptions on the reference law only. Reference symmetry makes the equal allocation stationary under P 0 P_0 , and equality of the first two marginals gives E P [ A ε ] − E P [ B ] = ε ( E P [ X 1 ] − E P [ X 2 ] ) = 0 E_P[A_\varepsilon]-E_P[B]=\varepsilon(E_P[X_1]-E_P[X_2])=0 under every candidate, so before implementation costs the ES comparison distinguishes tail risks between portfolios with the same expected loss.

We work on a compact box with a positive continuous density because that lets us study this dependence mechanism with uniform control of marginal restoration. Positivity on the closed box gives both the interior mass that local exchanges need and lower bounds on the marginal densities, hence Lipschitz bounds for their inverse CDFs, and these bounds enter the quantile recovery in Section 3.2 and Appendix A.5. Section 5.3 takes up the additional difficulties posed by unbounded marginals.

Loss units and effective stress costs A shift Δ X 3 \Delta X_3 changes the portfolio loss by β Δ X 3 \beta\Delta X_3 at cost γ 3 | Δ X 3 | = ( γ 3 / β ) | β Δ X 3 | \gamma_3|\Delta X_3|=(\gamma_3/\beta)|\beta\Delta X_3| . So c 1 = γ 1 c_1=\gamma_1 , c 2 = γ 2 c_2=\gamma_2 , and c 3 = γ 3 / β c_3=\gamma_3/\beta are the costs per unit change of B B along the three coordinate axes, and the ratio c 3 / γ 1 c_3/\gamma_1 compares a background displacement with a first-position displacement having the same effect on portfolio loss.

Canonical box normalization Writing the original coordinates as X = T b o x ( u ) = ( ℓ + κ u 1 , ℓ + κ u 2 , ℓ 3 + κ 3 u 3 ) X=T_{\rm box}(u)=(\ell+\kappa u_1,\ell+\kappa u_2,\ell_3+\kappa_3u_3) , with κ = Δ I / 2 \kappa=\Delta_I/2 and κ 3 = Δ 3 / 2 \kappa_3=\Delta_3/2 , gives a normalized model on [ 0 , 2 ] 3 [0,2]^3 with β ^ = β κ 3 / κ \widehat\beta=\beta\kappa_3/\kappa and γ ^ = ( κ γ 1 , κ γ 2 , κ 3 γ 3 ) \widehat\gamma=(\kappa\gamma_1,\kappa\gamma_2,\kappa_3\gamma_3) . By cash invariance and positive homogeneity of ES, the original paired risk is κ \kappa times its normalized counterpart, while corresponding transport plans have equal cost; hence the critical budgets agree and p p is unchanged. A common rescaling of all transport weights rescales those budgets.

C. Nominal curvature and the exact initial slope

Under the reference model of Section 2.2, let v v be the upper-tail p p threshold of B B . The marginal expected shortfall (MES) of a unit position X i X_i , namely E P 0 [ X i ∣ B > v ] E_{P_0}[X_i\mid B>v] , is the ES derivative with respect to its holding, and multiplying by that holding gives its Euler contribution [36, 38]. The first two holdings in B B both equal one, so the directional derivative along H = X 1 − X 2 H=X_1-X_2 is their MES difference: with T H = E P 0 [ H 1 { B > v } ] T_H=E_{P_0}[H1_{\{B>v\}}] , it equals p − 1 T H = E P 0 [ X 1 − X 2 ∣ B > v ] = 0 p^{-1}T_H=E_{P_0}[X_1-X_2\mid B>v]=0 by exchangeability. To find the gain from a nonzero trade we then have to differentiate the moving tail boundary, which leads to a conditional variance on the tail section.

We record the classical section differentiation formula under our continuity assumptions in Lemma A.1.

The tail boundary can be parameterized by

Ω = { ( x , y ) ∈ ( ℓ , r ) 2 : ℓ 3 < z v ( x , y ) < r 3 } , z v ( x , y ) = v − x − y β , ξ = ( x , y , z v ( x , y ) ) \Omega=\{(x,y)\in(\ell,r)^2:\ell_3<z_v(x,y)<r_3\},\qquad z_v(x,y)=\frac{v-x-y}{\beta},\qquad \xi=(x,y,z_v(x,y)).

Since p ∈ ( 0 , 1 ) p\in(0,1) and f > 0 f>0 , the threshold satisfies 2 ℓ + β ℓ 3 < v < 2 r + β r 3 2\ell+\beta\ell_3<v<2r+\beta r_3 . To locate a nondegenerate part of the section, follow the segment joining the lower and upper vertices of S S . The loss increases strictly along it and crosses v v at an interior point ( x ∗ , x ∗ , z ∗ ) (x_*,x_*,z_*) , so a neighborhood of ( x ∗ , x ∗ ) (x_*,x_*) lies in Ω \Omega , and its points off the diagonal have H = x − y ≠ 0 H=x-y\ne0 .

By the coarea formula, integration in the normal coordinate B − v B-v gives the section measure d σ = f ( ξ ) d x d y / β d\sigma=f(\xi)\,dx\,dy/\beta . We denote the density of B B at v v and the nominal gain coefficient by

( 2.5 ) g = σ ( Ω ) > 0 , J = 1 2 ∫ Ω H 2 d σ > 0 g=\sigma(\Omega)>0,\qquad J=\frac12\int_\Omega H^2\,d\sigma>0. \tag{2.5}

Here g = f B ( v ) g=f_B(v) is the loss density at the threshold, and d σ / g d\sigma/g is its normalized conditional section law. Exchangeability makes the conditional mean of H H zero, giving 2 J / g = Var P 0 ⁡ ( H ∣ B = v ) 2J/g=\operatorname{Var}_{P_0}(H\mid B=v) , so the second-order diversification gain is governed by the conditional variance of the trade payoff on { B = v } \{B=v\} , weighted by the threshold density g g .

Proposition 2.2 (Nominal benchmark and exact initial efficiency). In the exchangeable box model of Section 2.2:

(i) Nominal gain and threshold curvature. The reference thresholds and nominal gain satisfy

( 2.6 ) t ε − v = o ( ε ) , m ε = J p ε 2 + o ( ε 2 ) t_\varepsilon-v=o(\varepsilon),\qquad m_\varepsilon=\frac Jp\varepsilon^2+o(\varepsilon^2). \tag{2.6}

The threshold of B + η H B+\eta H is unique for every | η | < 1 |\eta|<1 , and m ε > 0 m_\varepsilon>0 for 0 < ε < 1 0<\varepsilon<1 . With L c , ε = B + c ε H L_{c,\varepsilon}=B+c\varepsilon H , the unoptimized objective satisfies, uniformly for c = 0 , 1 c=0,1 and | τ | ≤ T < ∞ |\tau|\le T<\infty ,

( 2.7 ) E L c , ε ( P 0 ; v + ε τ ) = E S p P 0 ( B ) + ε 2 p ( c 2 J + g 2 τ 2 ) + o ( ε 2 ) \mathscr E_{L_{c,\varepsilon}}(P_0;v+\varepsilon\tau) =ES_p^{P_0}(B)+\frac{\varepsilon^2}{p} \left(c^2J+\frac g2\tau^2\right)+o(\varepsilon^2). \tag{2.7}

(ii) Fixed-marginal Lipschitz bound and initial slope. For every P , Q ∈ Π P,Q\in\Pi ,

( 2.8 ) | Φ ε ( P ) − Φ ε ( Q ) | ≤ κ ε W γ ( P , Q ) , κ ε = 1 p max { 1 + ε / 2 γ 1 , 1 − ε / 2 γ 2 , β γ 3 } |\Phi_\varepsilon(P)-\Phi_\varepsilon(Q)|\le \kappa_\varepsilon W_\gamma(P,Q),\quad \kappa_\varepsilon=\frac1p\max\left\{\frac{1+\varepsilon/2}{\gamma_1}, \frac{1-\varepsilon/2}{\gamma_2},\frac\beta{\gamma_3}\right\}. \tag{2.8}

For fixed 0 < ε < 1 0<\varepsilon<1 , if

( 2.9 ) 1 + ε / 2 γ 1 ≥ max { 1 − ε / 2 γ 2 , β γ 3 } \frac{1+\varepsilon/2}{\gamma_1} \ge\max\left\{\frac{1-\varepsilon/2}{\gamma_2},\frac\beta{\gamma_3}\right\}, \tag{2.9}

then there exists r ε > 0 r_\varepsilon>0 such that

( 2.10 ) K ε = 1 + ε / 2 p γ 1 , D ε ( ρ ) = − m ε + K ε ρ ( 0 ≤ ρ ≤ r ε ) K_\varepsilon=\frac{1+\varepsilon/2}{p\gamma_1},\qquad D_\varepsilon(\rho)=-m_\varepsilon+K_\varepsilon\rho \quad(0\le\rho\le r_\varepsilon). \tag{2.10}

Proof. For part (i), the coefficients of B + η H B+\eta H are positive whenever | η | < 1 |\eta|<1 , and its support is [ 2 ℓ + β ℓ 3 , 2 r + β r 3 ] [2\ell+\beta\ell_3,2r+\beta r_3] . Since every interior level meets int ⁡ S \operatorname{int}S , Lemma A.1 gives a positive continuous loss density and a unique threshold. The gradients of H H and B + η H B+\eta H are linearly independent, so H H is nonconstant on each such section. Its conditional variance is therefore strictly positive, and the same lemma implies strict convexity of η ↦ E S p P 0 ( B + η H ) \eta\mapsto ES_p^{P_0}(B+\eta H) on ( − 1 , 1 ) (-1,1) .

At η = 0 \eta=0 , exchanging the first two coordinates preserves both the reference tail and its boundary measure and reverses H H , giving T H = m 1 = 0 T_H=m_1=0 . In the notation of Lemma A.1, the remaining section moments at ( 0 , v ) (0,v) are m 0 = g m_0=g and m 2 = 2 J m_2=2J . Thus the threshold derivative vanishes and the optimized second derivative is 2 J / p 2J/p , which yield (2.6) by Taylor expansion at zero. Strict convexity makes this stationary point the strict minimum, so m ε > 0 m_\varepsilon>0 for all 0 < ε < 1 0<\varepsilon<1 . For the unoptimized objective Ψ \Psi , the Hessian at ( 0 , v ) (0,v) is diag ⁡ ( 2 J / p , g / p ) \operatorname{diag}(2J/p,g/p) . Expanding at the trade size and threshold displacement ( c ε , ε τ ) (c\varepsilon,\varepsilon\tau) gives (2.7), uniformly on bounded τ \tau -intervals.

The fixed-marginal Lipschitz bound. We next establish the uniform Lipschitz bound over Π \Pi . Given any minimizing u u for B B under Q Q and any minimizing t t for A ε A_\varepsilon under P P , let

h u , t = ( B − u ) + − ( A ε − t ) + Δ B = E B ( P ; u ) − E S p P ( B ) , Δ A = E A ε ( Q ; t ) − E S p Q ( A ε ) \begin{aligned} h_{u,t}&=(B-u)_+-(A_\varepsilon-t)_+,\\ \Delta_B&=\mathscr E_B(P;u)-ES_p^P(B),& \Delta_A&=\mathscr E_{A_\varepsilon}(Q;t)-ES_p^Q(A_\varepsilon). \end{aligned}

Both gaps are nonnegative, and direct subtraction gives

( 2.11 ) Φ ε ( P ) − Φ ε ( Q ) = p − 1 ∫ h u , t d ( P − Q ) − Δ B − Δ A \Phi_\varepsilon(P)-\Phi_\varepsilon(Q) =p^{-1}\int h_{u,t}\,d(P-Q)-\Delta_B-\Delta_A. \tag{2.11}

A direct bound on h u , t h_{u,t} would use its largest absolute x 1 x_1 -slope, 1 + ε 1+\varepsilon . Because P P and Q Q share their marginals, adding an integrable separable potential does not change the integral against P − Q P-Q . We can thus choose a representative of h u , t h_{u,t} modulo marginal potentials with a smaller Lipschitz bound. Here the required adjustment is linear: since ∫ H d ( P − Q ) = 0 \int H\,d(P-Q)=0 , we may add any scalar multiple of H = X 1 − X 2 H=X_1-X_2 . The extreme x 1 x_1 -slopes, − ( 1 + ε ) -(1+\varepsilon) and 1 1 , have midpoint − ε / 2 -\varepsilon/2 , so adding ε H / 2 \varepsilon H/2 minimizes their largest absolute value among constant shifts and simultaneously centers the x 2 x_2 -slopes. Away from the two tail planes, the four regime slopes are

( 1 { B > u } , 1 { A ε > t } ) ( 0 , 0 ) ( 1 , 0 ) ( 0 , 1 ) ( 1 , 1 ) ∂ x 1 h u , t 0 1 − ( 1 + ε ) − ε ∂ x 1 ( h u , t + ε H / 2 ) ε / 2 1 + ε / 2 − 1 − ε / 2 − ε / 2. \begin{array}{c|rrrr} (1_{\{B>u\}},1_{\{A_\varepsilon>t\}})&(0,0)&(1,0)&(0,1)&(1,1)\\ \partial_{x_1}h_{u,t}&0&1&-(1+\varepsilon)&-\varepsilon\\ \partial_{x_1}(h_{u,t}+\varepsilon H/2)&\varepsilon/2&1+\varepsilon/2&-1-\varepsilon/2&-\varepsilon/2. \end{array}

With the extreme x 1 x_1 -slopes centered at zero, their largest absolute value drops to 1 + ε / 2 1+\varepsilon/2 , while the corresponding bounds for x 2 x_2 and x 3 x_3 are 1 − ε / 2 1-\varepsilon/2 and β \beta . Setting G u , t = h u , t + ε H / 2 G_{u,t}=h_{u,t}+\varepsilon H/2 , which is absolutely continuous along coordinate lines, we obtain

| G u , t ( Y ) − G u , t ( X ) | ≤ ( 1 + ε / 2 ) | Y 1 − X 1 | + ( 1 − ε / 2 ) | Y 2 − X 2 | + β | Y 3 − X 3 | |G_{u,t}(Y)-G_{u,t}(X)| \le(1+\varepsilon/2)|Y_1-X_1| +(1-\varepsilon/2)|Y_2-X_2|+\beta|Y_3-X_3|.

Integrating against an optimal transport plan and then interchanging P , Q P,Q proves (2.8). The mixing argument in Proposition 2.1, now with this sharp constant, also gives

( 2.12 ) 0 ≤ D ε ( ρ 2 ) − D ε ( ρ 1 ) ≤ κ ε ( ρ 2 − ρ 1 ) ( 0 ≤ ρ 1 < ρ 2 ) 0\le D_\varepsilon(\rho_2)-D_\varepsilon(\rho_1) \le \kappa_\varepsilon(\rho_2-\rho_1)\qquad(0\le\rho_1<\rho_2). \tag{2.12}

Attaining the initial slope. Under (2.9), we construct an attaining exchange near an interior intersection of the reference tail planes { B = v } \{B=v\} and { A ε = t ε } \{A_\varepsilon=t_\varepsilon\} . To locate such an intersection, fix ε ∈ ( 0 , 1 ) \varepsilon\in(0,1) and let [ m F , M F ] [m_F,M_F] be the nondegenerate range of A ε A_\varepsilon on F v = { B = v } ∩ S F_v=\{B=v\}\cap S . Both losses increase along each nonconstant segment from the lower vertex x min = ( ℓ , ℓ , ℓ 3 ) x_{\min}=(\ell,\ell,\ell_3) . Any point with B > v B>v lies beyond an intersection of that segment with F v F_v , so t ε ≤ m F t_\varepsilon\le m_F would imply { B > v } ⊂ { A ε > t ε } \{B>v\}\subset\{A_\varepsilon>t_\varepsilon\} . Since A ε A_\varepsilon is nonconstant on F v F_v , the second tail would also contain an open set below B = v B=v , contradicting the equal tail probabilities and f > 0 f>0 . Rays toward the upper corner similarly exclude t ε ≥ M F t_\varepsilon\ge M_F , which leaves t ε ∈ ( m F , M F ) t_\varepsilon\in(m_F,M_F) . The relative-interior property of a linear map on a convex section gives an intersection c = ( x ∗ , y ∗ , z ∗ ) ∈ int ⁡ S c=(x_*,y_*,z_*)\in\operatorname{int}S .

To exchange the first-coordinate marginal intervals of two small source cubes in opposite disagreement regions along e 1 e_1 , we first choose reference points with the same coordinate x ∗ x_* and seek equal and opposite changes in the two losses. From the interior intersection c c , a displacement ( 0 , − ζ 0 , a ζ 0 ) (0,-\zeta_0,a\zeta_0) changes B B by ( − 1 + β a ) ζ 0 (-1+\beta a)\zeta_0 and A ε A_\varepsilon by ( − ( 1 − ε ) + β a ) ζ 0 (-(1-\varepsilon)+\beta a)\zeta_0 . Equating their sum to zero determines a = ( 1 − ε / 2 ) / β a=(1-\varepsilon/2)/\beta . Thus the points

c ± = ( x ∗ , y ∗ ∓ ζ 0 , z ∗ ± ( 1 − ε / 2 ) ζ 0 / β ) c_\pm=(x_*,y_*\mp \zeta_0,z_*\pm(1-\varepsilon/2)\zeta_0/\beta)

have opposite strict tail memberships for small ζ 0 > 0 \zeta_0>0 : at c + c_+ , the losses differ from their thresholds by − ε ζ 0 / 2 -\varepsilon \zeta_0/2 for B B and ε ζ 0 / 2 \varepsilon \zeta_0/2 for A ε A_\varepsilon , with both signs reversed at c − c_- . Choosing 0 < δ x < ε ζ 0 / ( 1 + ε ) 0<\delta_x<\varepsilon\zeta_0/(1+\varepsilon) bounds the loss change along either half-translation by the strict tail margin. With this margin fixed, we can take η 0 > 0 \eta_0>0 small enough that the cubes E ± E_\pm of half-width η 0 \eta_0 , centered at c ± ± ( δ x / 2 ) e 1 c_\pm\pm(\delta_x/2)e_1 , have disjoint second-coordinate intervals and remain inside S S and their respective tail regions throughout translation by ∓ δ x e 1 \mp\delta_xe_1 .

The uniform subdensities ν ± = λ 1 E ± d x d y d z \nu_\pm=\lambda1_{E_\pm}\,dx\,dy\,dz , where λ = min S f \lambda=\min_Sf , have equal mass μ = λ ( 2 η 0 ) 3 \mu=\lambda(2\eta_0)^3 and sum at most P 0 P_0 . The translations T ± ( x ) = x ∓ δ x e 1 T_\pm(x)=x\mp\delta_xe_1 therefore define the admissible perturbation

( 2.13 ) P θ = P 0 − θ ( ν + + ν − ) + θ ( T + ) # ν + + θ ( T − ) # ν − , 0 ≤ θ ≤ 1 P_\theta=P_0-\theta(\nu_++\nu_-) +\theta(T_+)_\#\nu_++\theta(T_-)_\#\nu_-,\qquad 0\le\theta\le1. \tag{2.13}

The translations exchange the first-coordinate marginal intervals, fix the other coordinates, and cross neither tail plane. Thus P θ P_\theta preserves all marginals and both reference tail probabilities, leaving v v and t ε t_\varepsilon optimal. Integrating the affine hinges on the two cubes gives

( 2.14 ) Φ ε ( P θ ) − Φ ε ( P 0 ) = ( 2 + ε ) θ μ δ x p = K ε ( 2 γ 1 θ μ δ x ) \Phi_\varepsilon(P_\theta)-\Phi_\varepsilon(P_0) =\frac{(2+\varepsilon)\theta\mu\delta_x}{p} =K_\varepsilon(2\gamma_1\theta\mu\delta_x). \tag{2.14}

The plan has cost 2 γ 1 θ μ δ x 2\gamma_1\theta\mu\delta_x , and the sharp bound (2.8) forces this to equal W γ ( P θ , P 0 ) W_\gamma(P_\theta,P_0) . Varying θ ∈ [ 0 , 1 ] \theta\in[0,1] proves (2.10) with r ε = 2 γ 1 μ δ x > 0 r_\varepsilon=2\gamma_1\mu\delta_x>0 . Q.E.D.

If γ 2 ≥ γ 1 \gamma_2\ge\gamma_1 and γ 3 ≥ β γ 1 \gamma_3\ge\beta\gamma_1 , condition (2.9) holds for every ε ∈ ( 0 , 1 ) \varepsilon\in(0,1) , which suggests the extrapolated reversal budget r 0 , ε = m ε / K ε r_{0,\varepsilon}=m_\varepsilon/K_\varepsilon . The construction gives r ε > 0 r_\varepsilon>0 for each fixed trade size, but the disagreement regions narrow with ε \varepsilon , so it leaves r ε / ε 2 r_\varepsilon/\varepsilon^2 uncontrolled. Indeed, the unscaled bound | D ε ( ρ ) | ≤ ε ‖ H ‖ ∞ |D_\varepsilon(\rho)|\le\varepsilon\|H\|_\infty makes both iterated limits in ( ρ , ε ) (\rho,\varepsilon) vanish even though K ε → 1 / ( p γ 1 ) > 0 K_\varepsilon\to1/(p\gamma_1)>0 , which is why Section 3 tracks the profile under the joint scaling ρ = s ε 2 \rho=s\varepsilon^2 .

Reference symmetry and stressed dependence Our stress class allows asymmetric dependence between the two traded positions. If every candidate law were exchangeable, the losses B − ε H B-\varepsilon H and B + ε H B+\varepsilon H would have the same distribution, and convexity of ES would give

( 2.15 ) E S p P ( B ) ≤ 1 2 E S p P ( B − ε H ) + 1 2 E S p P ( B + ε H ) = E S p P ( A ε ) ES_p^P(B)\le\tfrac12 ES_p^P(B-\varepsilon H)+\tfrac12 ES_p^P(B+\varepsilon H) =ES_p^P(A_\varepsilon). \tag{2.15}

Requiring exchangeability of every stressed law would thus protect this reallocation [10, 23]. We impose it only at the reference, which gives stationarity there while permitting dependence stresses that test the persistence of the gain. Identical marginal laws alone do not imply stationarity. For example, on S = [ 0 , 2 ] 3 S=[0,2]^3 with β = 1 \beta=1 and p = 1 / 2 p=1/2 , the perturbation f δ = [ 1 + δ ( x − y ) ( z − 1 ) ] / 8 f_\delta=[1+\delta(x-y)(z-1)]/8 , with 0 < | δ | < 1 / 2 0<|\delta|<1/2 , preserves uniform marginals but gives a nonzero tail expectation T H T_H . Antisymmetry in x , y x,y preserves the law of B = x + y + z B=x+y+z , hence v = 3 v=3 . Pairing z = 1 ± t z=1\pm t leaves the strip 2 − t < x + y ≤ 2 + t 2-t<x+y\le2+t , so

T H = δ 8 ∫ 0 1 t ∫ { 2 − t < x + y ≤ 2 + t } ∩ [ 0 , 2 ] 2 ( x − y ) 2 d x d y d t ≠ 0 T_H=\frac{\delta}{8}\int_0^1 t\int_{\{2-t<x+y\le2+t\}\cap[0,2]^2}(x-y)^2\,dx\,dy\,dt\ne0.

III. Variational limit and the critical profile

Under the traded-coordinate condition of Proposition 2.2, a local exchange attains the initial slope. To find out how far that efficiency persists toward reversal, we now hold s = ρ / ε 2 s=\rho/\varepsilon^2 fixed. The limiting objects introduced below connect the stress profile to its reversal coefficient:

ε − 2 D ε ( s ε 2 ) → locally uniformly F ( s ) → unique zero s ∗ \varepsilon^{-2}D_\varepsilon(s\varepsilon^2) \xrightarrow{\text{locally uniformly}} F(s) \xrightarrow{\text{unique zero}} s^*.

The first passage comes from Theorem 3.1, which combines convergence of the transport energies with exact marginal recovery and convergence of the paired risk. Strict growth in Theorem 3.3 then identifies the common critical coefficient.

A. Local transport and marginal compensation

An O ( ε ) O(\varepsilon) -layer around { B = v } \{B=v\} contains O ( ε ) O(\varepsilon) reference mass, so displacements of order ε \varepsilon change both the transport cost and the paired hinge expectation at order ε 2 \varepsilon^2 . We resolve this layer through the normal coordinate u = ( B ( X ) − v ) / ε u=(B(X)-v)/\varepsilon and displacement d = ( Y − X ) / ε d=(Y-X)/\varepsilon , while keeping the cost of any transport outside bounded windows that is needed to restore the marginals.

Definition (Marginal flux and effective energy) On bounded u u -windows the rescaled source converges to d ν = d σ d u d\nu=d\sigma\,du . We disintegrate a limiting plan with this source into a probability kernel α ξ , u ( d d ) \alpha_{\xi,u}(dd) , specifying the rescaled displacement at surface point ξ \xi and normal coordinate u u ; stationary sources have kernel δ 0 \delta_0 . Writing d Π α ( ξ , u , d ) = α ξ , u ( d d ) d ν ( ξ , u ) d\Pi_\alpha(\xi,u,d)=\alpha_{\xi,u}(dd)\,d\nu(\xi,u) , we require a finite weighted displacement moment even though the source measure ν = σ ⊗ d u \nu=\sigma\otimes du has infinite total mass:

I ( α ) = ∫ | d | γ d Π α < ∞ , | d | γ = ∑ i γ i | d i | I(\alpha)=\int|d|_\gamma\,d\Pi_\alpha<\infty, \qquad |d|_\gamma=\sum_i\gamma_i|d_i|.

Across a coordinate cut { X i ≤ q } \{X_i\le q\} , upward movements remove mass from below the cut and downward movements add mass to it. The resulting signed flux has a Lebesgue density j i ∈ L 1 ( I i ) j_i\in L^1(I_i) , as shown by the section formulas in Appendix A.3, and we define

( 3.1 ) j i ( q ) d q = ( ξ i ) # ( d i d Π α ) , C ( α ) = I ( α ) + ∑ i = 1 3 γ i ‖ j i ‖ L 1 ( I i ) j_i(q)dq=(\xi_i)_\#(d_i\,d\Pi_\alpha),\qquad \mathcal C(\alpha)=I(\alpha)+\sum_{i=1}^3\gamma_i\|j_i\|_{L^1(I_i)}. \tag{3.1}

In words, j i j_i is the signed displacement moment projected onto the i i -th coordinate, and its negative is the leading marginal CDF discrepancy produced by a regular local plan. The full plan preserves each marginal, so transport outside a bounded normal and displacement window has to compensate the discrepancy within it, and the one-dimensional CDF formula for W 1 W_1 [39] turns that compensation into a cost lower bound. The energy C \mathcal C adds this limiting restoration cost to I I (Figure 1). Projection contracts total variation, giving I ≤ C ≤ 2 I I\le\mathcal C\le2I , with C = I \mathcal C=I when all projected fluxes vanish and C = 2 I \mathcal C=2I when each d i d_i has a fixed sign Π α \Pi_\alpha -almost everywhere, so that ‖ j i ‖ 1 = ∫ | d i | d Π α \|j_i\|_1=\int|d_i|\,d\Pi_\alpha .

Figure 1
Figure 1. Local transport and full marginal compensation (schematic). A layer with thickness and mass of order O ( ε ) O(\varepsilon) , transported over distances of order O ( ε ) O(\varepsilon) , incurs second-order cost. The remaining nonnegative plan must cancel the local plan's coordinate CDF discrepancies. Their integrated absolute values give the compensation lower bound, with leading coefficients ‖ j i ‖ 1 \|j_i\|_1 ; a zero flux requires no corresponding leading-order compensation. The shaded discrepancy illustrates this mechanism.

B. The limiting risk and convergence theorem

Under the same local plan, each loss has its own minimizing threshold. At threshold v + ε τ v+\varepsilon\tau , a displacement d d changes the leading centered and rescaled loss of L c , ε = B + c ε H L_{c,\varepsilon}=B+c\varepsilon H from u + c H u+cH to u + b ⋅ d + c H u+b\cdot d+cH . Denote the corresponding hinge increment by q c ( τ ) = ( u + b ⋅ d + c H − τ ) + − ( u + c H − τ ) + \mathfrak q_c(\tau)=(u+b\cdot d+cH-\tau)_+-(u+cH-\tau)_+ . We write T c α ( τ ) = ∫ q c ( τ ) d Π α T_c^\alpha(\tau)=\int\mathfrak q_c(\tau)\,d\Pi_\alpha for its integral.

Definition (Limiting paired risk) Moving the threshold away from v v contributes the curvature term g τ 2 / 2 g\tau^2/2 from (2.7). Adding the local transport increment gives the two limiting threshold objectives, which must still be minimized separately:

( 3.2 ) G c α ( τ ) = g 2 τ 2 + T c α ( τ ) , V ( α ) = − J p + min τ B G 0 α ( τ B ) − min τ A G 1 α ( τ A ) p G_c^\alpha(\tau)=\frac g2\tau^2+T_c^\alpha(\tau),\qquad \mathcal V(\alpha)=-\frac Jp+ \frac{\min_{\tau_B}G_0^\alpha(\tau_B)-\min_{\tau_A}G_1^\alpha(\tau_A)}p. \tag{3.2}

The energy C \mathcal C depends only on the absolute displacement moment and the signed coordinate projections, and it is convex under mixtures of kernels. The paired risk also depends on how the displacements are distributed relative to the normal coordinate u u : each of the two hinge objectives optimizes its own threshold, so their difference need not be concave in the common kernel.

We omit the superscript α \alpha when the kernel is clear, and write κ B = max i b i / γ i \kappa_B=\max_i b_i/\gamma_i , κ H = max { γ 1 − 1 , γ 2 − 1 } \kappa_H=\max\{\gamma_1^{-1},\gamma_2^{-1}\} . Since | T c α | ≤ κ B I |T_c^\alpha|\le\kappa_BI , the quadratic term gives coercivity and confines every minimizer to g τ 2 / 2 ≤ 2 κ B I g\tau^2/2\le2\kappa_BI . Together with convexity from Lemma A.4, these properties justify the threshold minimizations in V \mathcal V . We then optimize the paired value over the energy budget, with attainment proved in Theorem 3.1:

( 3.3 ) F ( s ) = max C ( α ) ≤ s V ( α ) , s ≥ 0 F(s)=\max_{\mathcal C(\alpha)\le s}\mathcal V(\alpha),\qquad s\ge0. \tag{3.3}

We use vague convergence on X = M l o c + ( Z ) \mathscr X=\mathcal M^+_{\rm loc}(Z) , testing against compactly supported continuous functions on Z = I 2 × R × R 3 Z=I^2\times\mathbb R\times\mathbb R^3 , so that compensation may occur outside bounded windows. We lift a plan π \pi from P 0 P_0 to a law in Π \Pi by

T ε π = ε − 1 ( X 1 , X 2 , B ( X ) − v ε , Y − X ε ) # π \mathscr T_\varepsilon\pi=\varepsilon^{-1} \left(X_1,X_2,\frac{B(X)-v}{\varepsilon},\frac{Y-X}{\varepsilon}\right)_\#\pi.

Here the factor ε − 1 \varepsilon^{-1} compensates for the thickness of the source layer. The lifted coordinates determine ( X , Y ) (X,Y) for fixed ε \varepsilon , so the rescaled energy can retain the cost of the entire original plan:

E ε ( Λ ) = { ∫ | d | γ d Λ = ε − 2 ∫ c γ d π , Λ = T ε π , π ∈ Γ ( P 0 , P ) ,   P ∈ Π , + ∞ , otherwise , E ( Λ ) = { C ( α ) , Λ = Π α ,   I ( α ) < ∞ , + ∞ , otherwise . \begin{aligned} \mathcal E_\varepsilon(\Lambda) &=\begin{cases} \displaystyle\int |d|_\gamma\,d\Lambda =\varepsilon^{-2}\int c_\gamma\,d\pi, &\begin{gathered}\Lambda=\mathscr T_\varepsilon\pi,\\ \pi\in\Gamma(P_0,P),\ P\in\Pi,\end{gathered}\\ +\infty,&\text{otherwise}, \end{cases}\\ \mathcal E(\Lambda) &=\begin{cases} \mathcal C(\alpha),&\Lambda=\Pi_\alpha,\ I(\alpha)<\infty,\\ +\infty,&\text{otherwise}. \end{cases} \end{aligned}

Here we identify Π α \Pi_\alpha with a measure on Z Z through ( ξ , u , d ) ↦ ( ξ 1 , ξ 2 , u , d ) (\xi,u,d)\mapsto(\xi_1,\xi_2,u,d) , using ξ = ( x , y , z v ( x , y ) ) \xi=(x,y,z_v(x,y)) on Ω \Omega and assigning zero measure to ( I 2 ∖ Ω ) × R × R 3 (I^2\setminus\Omega)\times\mathbb R\times\mathbb R^3 . Because E ε \mathcal E_\varepsilon includes the whole plan, including transport outside bounded normal windows, minimizing it over plans with target law P P gives ε − 2 W γ ( P , P 0 ) \varepsilon^{-2}W_\gamma(P,P_0) . We formulate the following Γ \Gamma -convergence statement in this vague topology [11].

Theorem 3.1 ( Γ \Gamma -convergence and the critical risk profile). Consider the exchangeable box model of Section 2.2.

(i) Transport plans and compactness. E ε \mathcal E_\varepsilon Γ \Gamma -converges to E \mathcal E as ε ↓ 0 \varepsilon\downarrow0 in the vague topology on X \mathscr X . Every sequence ε n ↓ 0 \varepsilon_n\downarrow0 , Π n ∈ X \Pi_n\in\mathscr X , with bounded E ε n ( Π n ) \mathcal E_{\varepsilon_n}(\Pi_n) has a vaguely convergent subsequence. If Π n = T ε n π n → Π α \Pi_n=\mathscr T_{\varepsilon_n}\pi_n\to\Pi_\alpha has bounded energy and P n P_n is the target law of π n \pi_n , then Φ ε n ( P n ) / ε n 2 → V ( α ) \Phi_{\varepsilon_n}(P_n)/\varepsilon_n^2\to\mathcal V(\alpha) .

(ii) Target laws and exact recovery. For every sequence ε n ↓ 0 \varepsilon_n\downarrow0 and every feasible sequence satisfying W γ ( P n , P 0 ) = O ( ε n 2 ) W_\gamma(P_n,P_0)=O(\varepsilon_n^2) , there are a subsequence and a kernel with finite I I such that

( 3.4 ) C ( α ) ≤ lim inf n W γ ( P n , P 0 ) ε n 2 , Φ ε n ( P n ) ε n 2 ⟶ V ( α ) \mathcal C(\alpha)\le\liminf_n\frac{W_\gamma(P_n,P_0)}{\varepsilon_n^2},\qquad \frac{\Phi_{\varepsilon_n}(P_n)}{\varepsilon_n^2}\longrightarrow\mathcal V(\alpha). \tag{3.4}

Conversely, every kernel with finite I I admits a recovery sequence of distributions preserving the original three full marginals, with

( 3.5 ) lim sup ε ↓ 0 W γ ( P ε , P 0 ) ε 2 ≤ C ( α ) , Φ ε ( P ε ) ε 2 ⟶ V ( α ) \limsup_{\varepsilon\downarrow0}\frac{W_\gamma(P_\varepsilon,P_0)}{\varepsilon^2}\le\mathcal C(\alpha),\qquad \frac{\Phi_\varepsilon(P_\varepsilon)}{\varepsilon^2}\longrightarrow\mathcal V(\alpha). \tag{3.5}

(iii) The stress profile. The maximum in (3.3) is attained. The function F F is finite, continuous, and nondecreasing, with F ( 0 ) = − J / p F(0)=-J/p and F > 0 F>0 at some finite budget. For every finite S 0 S_0 ,

( 3.6 ) sup 0 ≤ s ≤ S 0 | D ε ( s ε 2 ) ε 2 − F ( s ) | ⟶ 0 \sup_{0\le s\le S_0}\left|\frac{D_\varepsilon(s\varepsilon^2)}{\varepsilon^2}-F(s)\right|\longrightarrow0. \tag{3.6}

Proof strategy Theorem 3.1(i) gives Γ \Gamma -convergence of the transport energy and convergence of the paired risk along bounded-energy plans, and the exact marginal recovery in part (ii) makes the limiting kernel values asymptotically attainable in Π \Pi . Part (iii) gives uniform convergence of the optimized profiles on compact budget intervals, which, together with the strict crossing in Theorem 3.3, locates the reversal budget s ∗ s^* .

Step 1: Localization and the energy lower bound. Because the two ES thresholds are optimized independently, comparison of the objectives requires a common threshold window for stresses with bounded rescaled energy. In Appendix A.2, Lemma A.2 places every minimizing threshold in an O M ( ε ) O_M(\varepsilon) window. On bounded windows the lifted plans are locally compact; outside them, marginal conservation requires compensation for the projected local flux. The compensation bound above then gives the energy lower bound for arbitrary admissible plans. Choosing optimal plans yields the corresponding Wasserstein bound for their target laws.

Step 2: Convergence of the paired risk. Bounded first moments make each hinge increment integrable, but need not give uniform integrability along convergent plans. The two objectives share the same large-displacement contribution, so we subtract q 0 ( 0 ) \mathfrak q_0(0) from both. The relative increments are bounded on the common threshold window. Outside a normal window enlarged to account for the bounded reallocation H H , a nonzero relative increment requires a sufficiently large displacement, so the first moment controls the far-field contributions. The baseline integral is finite but need not converge. Since it translates both threshold objectives by the same amount independently of the threshold, it cancels exactly from their difference of minima.

Step 3: Exact marginal recovery. Let K f i n c \mathcal K_{\rm fin}^c denote probability kernels with compactly supported continuous weights on finitely many fixed displacement vectors and the remaining mass at zero, as in (A.13). For a fixed kernel in this class, local translations yield a preliminary law Q ε Q_\varepsilon with uniform marginal CDF expansion F i , ε − F i = − ε 2 j i + o ( ε 2 ) F_{i,\varepsilon}-F_i=-\varepsilon^2j_i+o(\varepsilon^2) , where F i F_i is the reference CDF. The quantile maps F i − 1 ∘ F i , ε F_i^{-1}\circ F_{i,\varepsilon} restore all three marginals at cost ε 2 ∑ i γ i ‖ j i ‖ 1 + o ( ε 2 ) \varepsilon^2\sum_i\gamma_i\|j_i\|_1+o(\varepsilon^2) , with O α ( ε 2 ) O_\alpha(\varepsilon^2) displacements.

To see why this correction does not alter the leading paired risk, compare its displacement scale with the O α ( ε ) O_\alpha(\varepsilon) threshold band. Outside a sufficiently wide band, the paired hinge has gradient − ε h -\varepsilon h above both thresholds and zero below both, so multiplying by the restoration displacement gives an O α ( ε 3 ) O_\alpha(\varepsilon^3) contribution. Inside the band the gradient is bounded, but the Q ε Q_\varepsilon -mass is only O α ( ε ) O_\alpha(\varepsilon) , giving the same order after integration. The restoration error is therefore O α ( ε 3 ) O_\alpha(\varepsilon^3) , uniformly over all minimizing threshold pairs.

Approximation by K f i n c \mathcal K_{\rm fin}^c in cost, paired risk, and the vague plan topology (Appendix A.4), followed by diagonal recovery, gives the general o ( ε 2 ) o(\varepsilon^2) error. Compactness, contraction toward the identity, and the common budget-Lipschitz bound then give locally uniform convergence of the optimized profiles.

C. Initial linearity and the critical budget

At zero threshold shifts, the portfolios disagree on tail membership precisely on W = { u ( u + H ) < 0 } W=\{u(u+H)<0\} . The displacement ζ = − ( u + H ) 1 W \zeta=-(u+H)1_W moves a source in this wedge to the limiting A ε A_\varepsilon -boundary and attains the maximal paired hinge increment per unit of normal movement. When c min = γ 1 c_{\min}=\gamma_1 , we can assign this movement along e 1 e_1 provided its downward and upward moments balance on each x x -fiber. On active sources in W W , ζ < 0 \zeta<0 for y < x y<x and ζ > 0 \zeta>0 for y > x y>x , with ∫ ζ d u = − H | H | / 2 \int\zeta\,du=-H|H|/2 . Writing k ( x , y ) = f ( x , y , ( v − x − y ) / β ) 1 { β ℓ 3 < v − x − y < β r 3 } k(x,y)=f(x,y,(v-x-y)/\beta)1_{\{\beta\ell_3<v-x-y<\beta r_3\}} , the available fiber moments are

( 3.7 ) ℓ − ( x ) = 1 2 β ∫ I ( x − y ) + 2 k ( x , y ) d y , ℓ + ( x ) = 1 2 β ∫ I ( y − x ) + 2 k ( x , y ) d y \ell_-(x)=\frac1{2\beta}\int_I(x-y)_+^2k(x,y)\,dy,\qquad \ell_+(x)=\frac1{2\beta}\int_I(y-x)_+^2k(x,y)\,dy. \tag{3.7}

Exchangeability gives ∫ I ℓ − = ∫ I ℓ + = J / 2 \int_I\ell_-=\int_I\ell_+=J/2 , but the two moments need not agree on each fiber. Matching their pointwise minimum cancels the projected flux and gives the budget

q b a l ( x ) = min { ℓ − ( x ) , ℓ + ( x ) } , Q b a l = ∫ I q b a l ( x ) d x s l i n = 2 γ 1 Q b a l = γ 1 J ( 1 − χ ) > 0 , χ = ‖ ℓ − − ℓ + ‖ L 1 ( I ) / J \begin{aligned} q_{\rm bal}(x)&=\min\{\ell_-(x),\ell_+(x)\},& Q_{\rm bal}&=\int_I q_{\rm bal}(x)\,dx,\\ s_{\rm lin}&=2\gamma_1Q_{\rm bal}=\gamma_1J(1-\chi)>0,& \chi&=\|\ell_--\ell_+\|_{L^1(I)}/J. \end{aligned}

Proposition 3.2 (Capacity of the initial linear segment). In the exchangeable box model of Section 2.2, suppose γ 1 = min { γ 1 , γ 2 , γ 3 / β } \gamma_1=\min\{\gamma_1,\gamma_2,\gamma_3/\beta\} . With ℓ ± \ell_\pm as in (3.7) and s l i n = γ 1 J ( 1 − χ ) > 0 s_{\rm lin}=\gamma_1J(1-\chi)>0 as above,

F ( s ) = − J / p + s / ( p γ 1 ) , 0 ≤ s ≤ s l i n F(s)=-J/p+s/(p\gamma_1),\qquad 0\le s\le s_{\rm lin}.

Proof. For W = { u ( u + H ) < 0 } W=\{u(u+H)<0\} and ζ = − ( u + H ) 1 W \zeta=-(u+H)1_W , select the proportion

a ( ξ ) = { q b a l ( x ) / ℓ − ( x ) , H > 0 ,   ℓ − ( x ) > 0 , q b a l ( x ) / ℓ + ( x ) , H < 0 ,   ℓ + ( x ) > 0 , 0 , otherwise , a(\xi)= \begin{cases} q_{\rm bal}(x)/\ell_-(x),&H>0,\ \ell_-(x)>0,\\ q_{\rm bal}(x)/\ell_+(x),&H<0,\ \ell_+(x)>0,\\ 0,&\text{otherwise}, \end{cases}

and define α ξ , u θ = θ a ( ξ ) δ ζ e 1 + ( 1 − θ a ( ξ ) ) δ 0 \alpha^\theta_{\xi,u}=\theta a(\xi)\delta_{\zeta e_1}+(1-\theta a(\xi))\delta_0 for 0 ≤ θ ≤ 1 0\le\theta\le1 . Because 0 ≤ a ≤ 1 0\le a\le1 and the active sources satisfy | u | , | ζ | ≤ Δ I |u|,|\zeta|\le\Delta_I , this is a finite-first-moment probability kernel. Its opposite first-coordinate fluxes equal − θ q b a l ( x ) -\theta q_{\rm bal}(x) and θ q b a l ( x ) \theta q_{\rm bal}(x) , while the other coordinates remain fixed, so j i = 0 j_i=0 for all i i and I ( α θ ) = C ( α θ ) = 2 θ γ 1 Q b a l = θ s l i n I(\alpha^\theta)=\mathcal C(\alpha^\theta)=2\theta\gamma_1Q_{\rm bal}=\theta s_{\rm lin} .

Under this displacement, an active source has target normal losses − H -H for B B and zero for A ε A_\varepsilon . Because sgn ⁡ u = sgn ⁡ ( − H ) ≠ 0 \operatorname{sgn}u=\operatorname{sgn}(-H)\ne0 on W W , its strict B B -tail membership is unchanged and no mass is placed at the B B -threshold. For A ε A_\varepsilon , however, the active sources from the two signs of H H arrive at the kink itself. The resulting atom accounts for the jump between the one-sided derivatives: with m ± = ∫ { ± H > 0 } a ( ξ ) | H | d σ \mathfrak m_\pm=\int_{\{\pm H>0\}}a(\xi)|H|\,d\sigma ,

G 0 , − ′ ( 0 ) = G 0 , + ′ ( 0 ) = 0 , G 1 , − ′ ( 0 ) = − θ m − ≤ 0 , G 1 , + ′ ( 0 ) = θ m + ≥ 0 G'_{0,-}(0)=G'_{0,+}(0)=0,\qquad G'_{1,-}(0)=-\theta \mathfrak m_-\le0,\qquad G'_{1,+}(0)=\theta \mathfrak m_+\ge0.

By Lemma A.4, zero is globally optimal for both objectives. Evaluating the nonzero wedge integrals, H 2 / 2 H^2/2 for B B on H < 0 H<0 and − H 2 / 2 -H^2/2 for A ε A_\varepsilon on H > 0 H>0 , we obtain T 0 ( 0 ) = θ Q b a l T_0(0)=\theta Q_{\rm bal} and T 1 ( 0 ) = − θ Q b a l T_1(0)=-\theta Q_{\rm bal} , which yield V ( α θ ) = − J / p + θ s l i n / ( p γ 1 ) \mathcal V(\alpha^\theta)=-J/p+\theta s_{\rm lin}/(p\gamma_1) . Since 0 < χ < 1 0<\chi<1 by Lemma A.3, we may choose θ = s / s l i n \theta=s/s_{\rm lin} to attain the upper bound inherited from Proposition 2.2. Q.E.D.

Strict growth To identify a common leading budget for a tie and a strict reversal, we improve every bounded-first-moment kernel at arbitrarily small additional cost. If the paired risk were concave in the kernel, mixing with a kernel of larger paired risk would do this directly, but the two threshold objectives are minimized separately and their difference need not be concave along mixtures. We also cannot assume that a kernel leaves stationary mass available for an added displacement, since an everywhere nonzero shift proportional to e − u 2 e 1 e^{-u^2}e_1 already has finite first moment.

We instead replace a small fraction of the existing kernel on two exchanged normal bands beyond the common threshold window. Reflecting u u to − u -u crosses that window. Pairing the bands cancels their B B -increments, while opposite signs of H H produce a positive paired gain per unit replacement fraction, independent of the distance U U . After subtraction of the common baseline the old kernel contributes only an O M ( U − 1 ) O_M(U^{-1}) remainder, because it takes a large displacement to affect the threshold window from those bands. So we first choose U U to make this remainder smaller than the reflection gain, and then reduce the replacement fraction to meet the additional budget. Appendix A.6 verifies the mixing obstruction and carries out this comparison uniformly over the original and modified minimizing thresholds.

Theorem 3.3 (Strict improvement by local replacement and a common critical coefficient). Consider the exchangeable box model of Section 2.2. The limiting profile F F is strictly increasing and has a unique zero s ∗ > 0 s^*>0 , which gives the common leading coefficient of both pre-limit critical budgets at scale ε 2 \varepsilon^2 . More precisely:

(i) Quantitative local improvement. For every 0 ≤ M < ∞ 0\le M<\infty there exists c M > 0 c_M>0 such that every kernel satisfying I ( α ) ≤ M I(\alpha)\le M and every 0 < δ ≤ 1 0<\delta\le1 admit a feasible kernel α ^ \widehat\alpha with

( 3.8 ) C ( α ^ ) ≤ C ( α ) + δ , V ( α ^ ) ≥ V ( α ) + c M δ \mathcal C(\widehat\alpha)\le\mathcal C(\alpha)+\delta,\qquad \mathcal V(\widehat\alpha)\ge\mathcal V(\alpha)+c_M\delta. \tag{3.8}

These kernels can be chosen as a family ( α ^ δ ) 0 < δ ≤ 1 (\widehat\alpha_\delta)_{0<\delta\le1} satisfying

∫ | d | γ | α ^ δ − α | ( d d ) d ν → δ ↓ 0 0 , lim δ ↓ 0 V ( α ^ δ ) − V ( α ) δ ≥ c M > 0 \int |d|_\gamma\,|\widehat\alpha_\delta-\alpha|(dd)\,d\nu \xrightarrow[\delta\downarrow0]{}0, \qquad \lim_{\delta\downarrow0} \frac{\mathcal V(\widehat\alpha_\delta)-\mathcal V(\alpha)}{\delta} \ge c_M>0.

For every finite S 0 > 0 S_0>0 ,

( 3.9 ) F ( t ) − F ( s ) ≥ c S 0 ( t − s ) > 0 ( 0 ≤ s < t ≤ S 0 ) F(t)-F(s)\ge c_{S_0}(t-s)>0\qquad(0\le s<t\le S_0). \tag{3.9}

(ii) Critical budgets. Together with the continuity, negative initial value, and positive value at a finite budget in Theorem 3.1(iii), strict growth of F F gives a unique zero s ∗ > 0 s^*>0 . Over the finite-first-moment kernel class,

( 3.10 ) s ∗ = min α : V ( α ) ≥ 0 C ( α ) = min α : V ( α ) = 0 C ( α ) = inf α : V ( α ) > 0 C ( α ) s^*=\min_{\alpha:\,\mathcal V(\alpha)\ge0}\mathcal C(\alpha) =\min_{\alpha:\,\mathcal V(\alpha)=0}\mathcal C(\alpha) =\inf_{\alpha:\,\mathcal V(\alpha)>0}\mathcal C(\alpha). \tag{3.10}

The corresponding pre-limit critical budgets satisfy

( 3.11 ) ρ ε − = s ∗ ε 2 + o ( ε 2 ) , ρ ε + = s ∗ ε 2 + o ( ε 2 ) \rho^-_\varepsilon=s^*\varepsilon^2+o(\varepsilon^2),\qquad \rho^+_\varepsilon=s^*\varepsilon^2+o(\varepsilon^2). \tag{3.11}

The first two minima are attained, whereas the infimum over strictly positive risk values is not.

Execution costs A positive execution cost proportional to ε \varepsilon exceeds the second-order nominal gain for small trades. To retain a critical-budget comparison, suppose instead that the deterministic cost paid to implement the new allocation B B satisfies c exec , ε ≥ 0 c_{\mathrm{exec},\varepsilon}\ge0 and c exec , ε / ε 2 → θ ∈ [ 0 , J / p ) c_{\mathrm{exec},\varepsilon}/\varepsilon^2\to\theta\in[0,J/p) . With the stress class and metric fixed, cash invariance gives D ε n e t = D ε + c exec , ε D^{\rm net}_\varepsilon=D_\varepsilon+c_{\mathrm{exec},\varepsilon} , whose rescaled profile converges locally uniformly to F + θ F+\theta .

Applying the tie and strict-reversal definitions in (2.4) to the net profile, we obtain by strict growth and local uniform convergence ρ ε ± , n e t = s θ ε 2 + o ( ε 2 ) \rho^{\pm,\rm net}_\varepsilon=s_\theta\varepsilon^2+o(\varepsilon^2) , where s θ s_\theta is the unique solution of F ( s θ ) = − θ F(s_\theta)=-\theta . As the rescaled execution cost θ \theta increases to J / p J/p , this solution decreases continuously from s ∗ s^* to zero. For example, in the cheap-background case of Section 4.1, the explicit linear profile gives s θ = c 3 ( J − p θ ) s_\theta=c_3(J-p\theta) .

IV. Efficiency premiums and projected flow duality

We now ask when the critical coefficient reaches the local-efficiency lower bound and when a strict marginal-restoration premium remains. A locally efficient displacement need not preserve the marginal projections, so any unbalanced moment has to be compensated elsewhere. We measure this obstruction by testing each projected flux against a bounded measurable coordinate potential, using the L 1 L^1 dual representation of the restoration cost:

C ( α ) − I ( α ) = sup | ϕ i | ≤ γ i ∑ i ∫ I i ϕ i ( q ) j i ( q ) d q = sup | ϕ i | ≤ γ i ∫ ∑ i ϕ i ( ξ i ) d i d Π α \mathcal C(\alpha)-I(\alpha) =\sup_{|\phi_i|\le\gamma_i}\sum_i\int_{I_i}\phi_i(q)j_i(q)\,dq =\sup_{|\phi_i|\le\gamma_i}\int\sum_i\phi_i(\xi_i)d_i\,d\Pi_\alpha.

Here ϕ i ( q ) \phi_i(q) acts as a dual shadow price for the projected displacement moment at coordinate level q q . For the projections to vanish, opposite signed displacements have to balance at each coordinate level, and then the leading restoration penalty disappears. We first identify the pointwise displacement required for equality in the efficiency bound, and then test its projections near an off-diagonal corner to rule out equality when only traded coordinates are cheapest. At equal effective costs, continuous potentials lead to the flow–cut duality of Section 4.2, and allowing nonzero projected fluxes in the restoration-cost bound leads to the piecewise-constant potential estimates of Section 5.1.

A. Local efficiency and the zero-premium classification

With c 1 = γ 1 c_1=\gamma_1 , c 2 = γ 2 c_2=\gamma_2 , c 3 = γ 3 / β c_3=\gamma_3/\beta , and c min = min { c 1 , c 2 , c 3 } c_{\min}=\min\{c_1,c_2,c_3\} , Proposition 2.2 and Theorem 3.1 already give F ( s ) ≤ − J / p + s / ( p c min ) F(s)\le-J/p+s/(pc_{\min}) . The issue at zero risk difference is whether a kernel can satisfy the pointwise efficiency conditions while conserving every marginal projection, and we characterize those simultaneous equality conditions below.

Proposition 2.2 gives initial efficiency at each fixed trade size under (2.9), and when γ 1 = c min \gamma_1=c_{\min} , Proposition 3.2 separately realizes the limiting slope by matching opposite first-coordinate moments on each fiber. When only traded coordinates are cheapest, that matching is enough for the initial linear segment but cannot cover the whole tail section. If the background coordinate is cheapest, exchanging x , y x,y and reversing u u instead balances the required displacement on every background slice, which sustains the efficiency bound up to zero risk.

Lemma 4.1 (Local-efficiency bound and critical-level optimality). In the exchangeable box model of Section 2.2, every kernel with I ( α ) < ∞ I(\alpha)<\infty satisfies p V ( α ) + J ≤ C ( α ) / c min p\mathcal V(\alpha)+J\le\mathcal C(\alpha)/c_{\min} , so s ∗ ≥ c min J s^*\ge c_{\min}J . Set b = ( 1 , 1 , β ) b=(1,1,\beta) and ζ = − ( u + H ) 1 { u ( u + H ) < 0 } \zeta=-(u+H)1_{\{u(u+H)<0\}} . Then s ∗ = c min J s^*=c_{\min}J if and only if there is a measurable probability kernel satisfying

( 4.1 ) b ⋅ d = ζ , | d | γ = c min | ζ | Π α -almost everywhere ( ξ i ) # ( d i d Π α ) = 0 i = 1 , 2 , 3 \begin{aligned} b\cdot d=\zeta,\qquad |d|_\gamma=c_{\min}|\zeta| &\quad\Pi_\alpha\text{-almost everywhere},\\ (\xi_i)_\#(d_i\,d\Pi_\alpha)=0 &\quad i=1,2,3. \end{aligned} \tag{4.1}

Such a kernel has C = I = c min J \mathcal C=I=c_{\min}J and V = 0 \mathcal V=0 ; every kernel with V ≥ 0 \mathcal V\ge0 and C ≤ c min J \mathcal C\le c_{\min}J satisfies these conditions.

Proof. Set w = b ⋅ d w=b\cdot d , Δ + ( t , w ) = ( t + w ) + − t + \Delta_+(t,w)=(t+w)_+-t_+ , and choose any τ A ∈ arg ⁡ min G 1 \tau_A\in\arg\min G_1 . To compare the risk gain with its transport cost, we evaluate the B B -objective at zero, bound the difference of hinge increments by | w | |w| , and use c min | w | ≤ | d | γ c_{\min}|w|\le |d|_\gamma . Recording the loss in each comparison gives

( 4.2 ) C c min − ( p V + J ) = C − I c min ⏟ I + ( I c min − ∫ | w | d Π α ) ⏟ II + g 2 τ A 2 ⏟ III + ∫ [ | w | − Δ + ( u , w ) + Δ + ( u + H − τ A , w ) ] d Π α ⏟ IV + G 0 ( 0 ) − min τ B G 0 ( τ B ) ⏟ V \begin{aligned} \frac{\mathcal C}{c_{\min}}-(p\mathcal V+J) ={}&\underbrace{\frac{\mathcal C-I}{c_{\min}}}_{\mathrm{I}} +\underbrace{\left(\frac I {c_{\min}}-\int |w|\,d\Pi_\alpha\right)}_{\mathrm{II}} +\underbrace{\frac g2\tau_A^2}_{\mathrm{III}}\\ &+\underbrace{\int[|w|-\Delta_+(u,w)+\Delta_+(u+H-\tau_A,w)]\,d\Pi_\alpha}_{\mathrm{IV}}\\ &+\underbrace{G_0(0)-\min_{\tau_B}G_0(\tau_B)}_{\mathrm{V}}. \end{aligned} \tag{4.2}

The five terms (I)–(V) in (4.2) have distinct roles: (I) the marginal-restoration penalty; (II) the excess transport cost over the cheapest normal movement, including cancellation between coordinate displacements; (III) the curvature cost of shifting the A ε A_\varepsilon -threshold; (IV) the unsaturated hinge gain; and (V) the gap from evaluating the B B -objective at zero instead of its minimum. For the fourth term, Δ + ( t , w ) ∈ [ min { 0 , w } , max { 0 , w } ] \Delta_+(t,w)\in[\min\{0,w\},\max\{0,w\}] , an interval of length | w | |w| , so the difference of the two hinge increments cannot exceed | w | |w| . All five terms are consequently nonnegative, proving the efficiency bound. Since τ A \tau_A was an arbitrary minimizer, equality forces each defect to vanish for every optimal A ε A_\varepsilon -threshold.

To reach zero risk at the local-efficiency budget, none of these defects can remain. Indeed, if V ≥ 0 \mathcal V\ge0 and C ≤ c min J \mathcal C\le c_{\min}J , the left side of (4.2) is nonpositive, so every nonnegative term must vanish and

( 4.3 ) V = 0 , C = I = c min J , ∫ | w | d Π α = J , j i = 0 ( i = 1 , 2 , 3 ) \mathcal V=0,\qquad \mathcal C=I=c_{\min}J,\qquad \int|w|\,d\Pi_\alpha=J,\qquad j_i=0\quad(i=1,2,3). \tag{4.3}

In addition, arg ⁡ min G 1 = { 0 } \arg\min G_1=\{0\} and 0 ∈ arg ⁡ min G 0 0\in\arg\min G_0 . The vanishing metric defect

( 4.4 ) | d | γ − c min | b ⋅ d | = ∑ i ( γ i − c min b i ) | d i | + c min ( ∑ i b i | d i | − | ∑ i b i d i | ) |d|_\gamma-c_{\min}|b\cdot d| =\sum_i(\gamma_i-c_{\min}b_i)|d_i| +c_{\min}\left(\sum_i b_i|d_i|-\left|\sum_i b_id_i\right|\right) \tag{4.4}

allows only cheapest coordinates, with all nonzero components having the sign of w w . At τ A = 0 \tau_A=0 , equality in the hinge bound requires u ≥ 0 u\ge0 , u + H ≤ − w u+H\le-w if w > 0 w>0 , and u ≤ 0 u\le0 , u + H ≥ − w u+H\ge-w if w < 0 w<0 . Thus | w | ≤ K := | u + H | 1 { u ( u + H ) < 0 } |w|\le K:=|u+H|1_{\{u(u+H)<0\}} , with the sign of ζ \zeta wherever w ≠ 0 w\ne0 . Since

( 4.5 ) ∫ R K d u = H 2 / 2 , ∫ R ζ d u = − H | H | / 2 \int_{\mathbb R}K\,du=H^2/2,\qquad \int_{\mathbb R}\zeta\,du=-H|H|/2, \tag{4.5}

and every conditional kernel has mass one, ∫ K d Π α = J = ∫ | w | d Π α \int K\,d\Pi_\alpha=J=\int|w|\,d\Pi_\alpha . Saturation of this nonnegative bound forces

( 4.6 ) b ⋅ d = ζ Π α -almost everywhere b\cdot d=\zeta\quad\Pi_\alpha\text{-almost everywhere}, \tag{4.6}

which, with the metric and flux equalities, proves necessity.

For the converse, the threshold calculation depends only on the normal displacement w = ζ w=\zeta . We integrate over the disagreement wedge and use exchangeability to obtain

( 4.7 ) T 0 ( 0 ) = J / 2 , T 1 ( 0 ) = − J / 2 , ∫ H > 0 H 2 d σ = ∫ H < 0 H 2 d σ = J T_0(0)=J/2,\qquad T_1(0)=-J/2,\qquad \int_{H>0}H^2\,d\sigma=\int_{H<0}H^2\,d\sigma=J. \tag{4.7}

Because the transformed B B -loss retains its strict tail sign and places no atom at zero, we have G 0 ′ ( 0 ) = 0 G_0'(0)=0 . With m ± = ∫ ( ± H ) + d σ > 0 m_\pm=\int(\pm H)_+\,d\sigma>0 , the mass placed at the A ε A_\varepsilon -threshold kink gives

( 4.8 ) G 1 , − ′ ( 0 ) = − m − < 0 , G 1 , + ′ ( 0 ) = m + > 0 G_{1,-}'(0)=-m_-<0,\qquad G_{1,+}'(0)=m_+>0. \tag{4.8}

By convexity, these strict one-sided inequalities make zero the unique minimizer of G 1 G_1 . For G 0 G_0 , the stationary regions { H > 0 , u > 0 } \{H>0,u>0\} and { H < 0 , u < 0 } \{H<0,u<0\} each have section mass g / 2 g/2 , and their unchanged normal coordinates cover the positive and negative half-lines, respectively. Hence λ 0 ≥ ( g / 2 ) d t \lambda_0\ge(g/2)\,dt on R \mathbb R , and Lemma A.4 yields G 0 ( τ ) − G 0 ( 0 ) ≥ g τ 2 / 4 G_0(\tau)-G_0(0)\ge g\tau^2/4 , so zero is also the unique minimizer of G 0 G_0 . Combining these minima with (4.7) gives V = 0 \mathcal V=0 . Under (4.1), we have I = c min J I=c_{\min}J and vanishing fluxes, so C = c min J \mathcal C=c_{\min}J . Together with attainment of the critical cost in Theorem 3.3, this proves the equivalence. Q.E.D.

Theorem 4.2 (Zero-premium classification). For the exchangeable box model of Section 2.2 and every positive weight vector,

( 4.9 ) s ∗ = J c min ⟺ c 3 ≤ min { γ 1 , γ 2 } s^*=Jc_{\min}\quad\Longleftrightarrow\quad c_3\le\min\{\gamma_1,\gamma_2\}. \tag{4.9}

If c 3 = c min c_3=c_{\min} , the profile is explicitly F ( s ) = − J / p + s / ( p c 3 ) F(s)=-J/p+s/(pc_3) for 0 ≤ s ≤ c 3 J 0\le s\le c_3J .

If γ 2 ≥ γ 1 \gamma_2\ge\gamma_1 and c 3 > γ 1 c_3>\gamma_1 , then

( 4.10 ) 1 < s ∗ γ 1 J ≤ min { 1 + χ , c 3 / γ 1 } < 2 1<\frac{s^*}{\gamma_1J}\le\min\{1+\chi,c_3/\gamma_1\}<2, \tag{4.10}

where χ = ‖ ℓ − − ℓ + ‖ L 1 ( I ) / J ∈ ( 0 , 1 ) \chi=\|\ell_--\ell_+\|_{L^1(I)}/J\in(0,1) is the projected imbalance of Section 3.3.

Proof of Theorem 4.2.

By Lemma 4.1, it suffices to allocate the prescribed displacement ζ \zeta among cheapest coordinates while preserving every marginal projection. The background coordinate admits such a balance because exchanging the traded losses and reversing the normal coordinate leaves each background slice fixed and reverses the required displacement. For the traded coordinates, the corresponding balance must instead be found along each x x - or y y -fiber. Near an off-diagonal corner, the required moment is bounded below by a positive multiple of δ 2 \delta^2 , whereas the opposite-side sources available at those coordinate levels have capacity only O ( δ 4 ) O(\delta^4) . We prove the background construction first and then use this discrepancy to exclude even randomized splitting among the traded directions.

Comparison kernels and the sufficient direction Assigning the prescribed displacement to one coordinate gives

( 4.11 ) α ( 1 ) = δ ζ e 1 , α ( 2 ) = δ ζ e 2 , α ( 3 ) = δ ( ζ / β ) e 3 \alpha^{(1)}=\delta_{\zeta e_1},\qquad \alpha^{(2)}=\delta_{\zeta e_2},\qquad \alpha^{(3)}=\delta_{(\zeta/\beta)e_3} \tag{4.11}

with finite first moments and zero risk differences by the normal-displacement calculation (4.7)–(4.8) in Lemma 4.1. The first two kernels have respective fluxes j 1 = ℓ + − ℓ − j_1=\ell_+-\ell_- and j 2 = ℓ − − ℓ + j_2=\ell_--\ell_+ , all other fluxes being zero. To verify the background projection, we use the exchange ( x , y , u ) ↦ ( y , x , − u ) (x,y,u)\mapsto(y,x,-u) , which preserves ν , ξ 3 \nu,\xi_3 and reverses ζ \zeta . Absolute integrability then allows us to test against every bounded measurable φ \varphi , obtaining

( 4.12 ) ∫ φ ( ξ 3 ) d 3 ( 3 ) d ν = − ∫ φ ( ξ 3 ) d 3 ( 3 ) d ν = 0 \int\varphi(\xi_3)d_3^{(3)}d\nu =-\int\varphi(\xi_3)d_3^{(3)}d\nu=0. \tag{4.12}

All three projections of α ( 3 ) \alpha^{(3)} vanish, yielding

( 4.13 ) C ( α ( 1 ) ) = γ 1 J ( 1 + χ ) , C ( α ( 2 ) ) = γ 2 J ( 1 + χ ) , C ( α ( 3 ) ) = c 3 J \mathcal C(\alpha^{(1)})=\gamma_1J(1+\chi),\quad \mathcal C(\alpha^{(2)})=\gamma_2J(1+\chi),\quad \mathcal C(\alpha^{(3)})=c_3J. \tag{4.13}

The background kernel proves sufficiency, including ties, and the least of these costs gives s ∗ ≤ J min { γ 1 ( 1 + χ ) , γ 2 ( 1 + χ ) , c 3 } s^*\le J\min\{\gamma_1(1+\chi),\gamma_2(1+\chi),c_3\} , which yields the upper bound in (4.10) when γ 2 ≥ γ 1 \gamma_2\ge\gamma_1 and c 3 > γ 1 c_3>\gamma_1 .

When c 3 = c min c_3=c_{\min} , mix the background kernel α ( 3 ) \alpha^{(3)} with the identity using weight θ = s / ( c 3 J ) ∈ [ 0 , 1 ] \theta=s/(c_3J)\in[0,1] . Both kernels have zero projected flux and both threshold objectives attain their minima at zero, by (4.7)–(4.8) and G c δ 0 ( τ ) = g τ 2 / 2 G_c^{\delta_0}(\tau)=g\tau^2/2 , so cost and paired risk are affine along the mixture. Its cost is θ c 3 J = s \theta c_3J=s , and (4.7) gives

( 4.14 ) V = − ( 1 − θ ) J / p \mathcal V=-(1-\theta)J/p. \tag{4.14}

Thus the mixture attains the efficiency bound on the stated interval.

The obstruction for arbitrary randomized kernels For necessity, suppose c 3 > c min c_3>c_{\min} and a kernel with V ≥ 0 \mathcal V\ge0 attains cost c min J c_{\min}J . Lemma 4.1 then requires d 3 = 0 d_3=0 , d 1 + d 2 = ζ d_1+d_2=\zeta , and both traded components to have the sign of ζ \zeta . Since the kernel has finite first moment, its averaged displacement fields m i ( x , y ) = ∫ R ∫ d i α ξ , u ( d d ) d u m_i(x,y)=\int_{\mathbb R}\int d_i\,\alpha_{\xi,u}(dd)\,du , i = 1 , 2 i=1,2 , are integrable on the section and satisfy, by (4.1),

( 4.15 ) m 1 + m 2 = − H | H | / 2 , | m i | ≤ H 2 / 2 m i ≥ 0 for   x < y , m i ≤ 0 for   x > y \begin{aligned} &m_1+m_2=-H|H|/2,\qquad |m_i|\le H^2/2,\\ &m_i\ge0\quad\text{for}\ x<y,\qquad m_i\le0\quad\text{for}\ x>y. \end{aligned} \tag{4.15}

Projected conservation gives, for every pair of Borel sets A , B ⊂ I A,B\subset I ,

( 4.16 ) ∫ Ω ∩ { x ∈ A } m 1 d σ = 0 , ∫ Ω ∩ { y ∈ B } m 2 d σ = 0 \int_{\Omega\cap\{x\in A\}}m_1d\sigma=0,\qquad \int_{\Omega\cap\{y\in B\}}m_2d\sigma=0. \tag{4.16}

We test (4.15)–(4.16) near the upper-left off-diagonal corner of Ω \Omega , where x x is small, y y is large, and the positive moment ( y − x ) 2 / 2 (y-x)^2/2 is bounded away from zero. Compensating this moment at the same coordinate levels requires negative moment from { x > y } \{x>y\} , where the small value of x x or large value of y y confines available sources to a small triangle near the diagonal (Figure 2).

The section base is the intersection of an open square with a diagonal strip, Ω = ( ℓ , r ) 2 ∩ { q − < x + y < q + } \Omega=(\ell,r)^2\cap\{q_-<x+y<q_+\} , whose boundaries and coordinate projection endpoints are

q − = v − β r 3 , q + = v − β ℓ 3 ξ − = max { ℓ , q − − r } , ξ + = min { r , q + − ℓ } , Δ = ξ + − ξ − > 0 \begin{gathered} q_-=v-\beta r_3,\qquad q_+=v-\beta\ell_3,\\ \xi_-=\max\{\ell,q_--r\},\qquad \xi_+=\min\{r,q_+-\ell\},\qquad \Delta=\xi_+-\xi_->0. \end{gathered}

Both coordinate projections of Ω \Omega equal ( ξ − , ξ + ) (\xi_-,\xi_+) , and the interior diagonal point from Section 2.3 satisfies ξ − < x ∗ < ξ + \xi_-<x_*<\xi_+ , confirming Δ > 0 \Delta>0 . In addition, q ∗ := ξ − + ξ + ∈ [ q − , q + ] q_*:=\xi_-+\xi_+\in[q_-,q_+] , so the corner ( ξ − , ξ + ) (\xi_-,\xi_+) lies in the closed strip, possibly on its boundary. The square diagonal through that corner runs parallel to the strip boundaries. On the corner square ( x , y ) = ( ξ − + t , ξ + − z ) (x,y)=(\xi_-+t,\xi_+-z) , 0 < t , z < δ 0<t,z<\delta , the strip condition reads − ( q ∗ − q − ) < t − z < q + − q ∗ -(q_*-q_-)<t-z<q_+-q_* . Because the two nonnegative slacks sum to β Δ 3 \beta\Delta_3 , at least one is at least β Δ 3 / 2 \beta\Delta_3/2 . Choosing δ < β Δ 3 / 2 \delta<\beta\Delta_3/2 therefore includes one of the triangles z < t z<t and t < z t<z . If we also choose δ < Δ / 4 \delta<\Delta/4 , we obtain

E δ = Ω ∩ ( ( ξ − , ξ − + δ ) × ( ξ + − δ , ξ + ) ) , | E δ | ≥ δ 2 / 2 , y − x ≥ Δ / 2 on  E δ E_\delta=\Omega\cap((\xi_-,\xi_-+\delta)\times(\xi_+-\delta,\xi_+)), \qquad |E_\delta|\ge\delta^2/2, \qquad y-x\ge\Delta/2\quad\hbox{on }E_\delta.

Because f f is bounded below on S S and y − x ≥ Δ / 2 y-x\ge\Delta/2 on this region, there is a constant c Ω > 0 c_\Omega>0 , independent of δ \delta , such that

( 4.17 ) M δ := ∫ E δ ( m 1 + m 2 ) d σ ≥ c Ω δ 2 M_\delta:=\int_{E_\delta}(m_1+m_2)d\sigma \ge c_\Omega\delta^2. \tag{4.17}

Testing (4.16) on A δ = ( ξ − , ξ − + δ ) A_\delta=(\xi_-,\xi_-+\delta) and B δ = ( ξ + − δ , ξ + ) B_\delta=(\xi_+-\delta,\xi_+) requires M δ ≤ N 1 + N 2 M_\delta\le N_1+N_2 , where

N 1 = ∫ Ω ∩ { x ∈ A δ ,   x > y } ( − m 1 ) d σ , N 2 = ∫ Ω ∩ { y ∈ B δ ,   x > y } ( − m 2 ) d σ N_1=\int_{\Omega\cap\{x\in A_\delta,\ x>y\}}(-m_1)d\sigma, \qquad N_2=\int_{\Omega\cap\{y\in B_\delta,\ x>y\}}(-m_2)d\sigma.

In N 1 N_1 , the conditions x ∈ A δ x\in A_\delta and y < x y<x force ξ − < y < x < ξ − + δ \xi_-<y<x<\xi_-+\delta ; in N 2 N_2 , the sources similarly satisfy ξ + − δ < y < x < ξ + \xi_+-\delta<y<x<\xi_+ . Each triangle has area O ( δ 2 ) O(\delta^2) , and (4.15) bounds the corresponding displacement moment by − m i ≤ H 2 / 2 = ( x − y ) 2 / 2 = O ( δ 2 ) -m_i\le H^2/2=(x-y)^2/2=O(\delta^2) . Applying the upper density bound gives

( 4.18 ) N 1 + N 2 ≤ C Ω ∫ 0 δ ∫ 0 x ( x − y ) 2 d y d x = C Ω 12 δ 4 N_1+N_2\le C_\Omega\int_0^\delta\int_0^x(x-y)^2\,dy\,dx =\frac{C_\Omega}{12}\delta^4. \tag{4.18}

Here C Ω < ∞ C_\Omega<\infty is independent of δ \delta . For small δ \delta , the bound contradicts c Ω δ 2 ≤ M δ ≤ N 1 + N 2 c_\Omega\delta^2\le M_\delta\le N_1+N_2 . Attainment of the critical cost then implies s ∗ > J c min s^*>Jc_{\min} when c 3 > c min c_3>c_{\min} , and (4.13) gives (4.10). Q.E.D.

Figure 2
Figure 2. Corner demand and return capacity, illustrated on I = I 3 = [ 0 , 2 ] I=I_3=[0,2] for β = 7 / 4 \beta=7/4 , v = 15 / 4 v=15/4 , δ = 0.35 \delta=0.35 . The blue region E δ E_\delta stays away from the diagonal and has demand at least a positive multiple of δ 2 \delta^2 . Return sources lie in the hatched triangles, which may extend beyond Ω \Omega ; their area and squared displacement are both O ( δ 2 ) O(\delta^2) , giving capacity O ( δ 4 ) O(\delta^4) . The bounds shown, with λ = min f \lambda=\min f , Λ = max f \Lambda=\max f , and Δ = ξ + − ξ − \Delta=\xi_+-\xi_- , violate M δ ≤ N 1 + N 2 M_\delta\le N_1+N_2 for sufficiently small positive δ \delta .

B. Boundary sensitivity and the flow–cut representation

At equal effective costs, every efficient kernel has total required displacement J J . At this critical level, the equality conditions and total-moment saturation in Lemma 4.1 fix b ⋅ d = ζ b\cdot d=\zeta pointwise almost everywhere, so normal integration and exchange symmetrization reduce the remaining minimum-background allocation problem to shares on the two-dimensional half-section. Raising only the background penalty selects, to first order, the kernels that use the least background displacement, and we can calculate that amount by assigning as much displacement as possible to the traded coordinates under their projected conservation law. On D = Ω ∩ { x < y } D=\Omega\cap\{x<y\} , the measure d μ = w d σ = w σ ( x , y ) d x d y d\mu=w\,d\sigma=w_\sigma(x,y)\,dx\,dy , where w = ( y − x ) 2 / 2 w=(y-x)^2/2 , has mass J / 2 J/2 and a continuous density, positive in the interior.

Theorem 4.3 (Boundary derivative and projected flow duality). Fix the reference model and p , β , γ p,\beta,\gamma , and set

γ ( η ) = ( γ , γ , β γ ( 1 + η ) ) , π ( η ) = s ∗ ( γ ( η ) ) / ( γ J ) − 1 , η ≥ 0 \boldsymbol\gamma(\eta)=(\gamma,\gamma,\beta\gamma(1+\eta)),\quad \pi(\eta)=s^*(\boldsymbol\gamma(\eta))/(\gamma J)-1,\quad \eta\ge0.

Let C 0 \mathcal C_0 be the cost at η = 0 \eta=0 , and let Z 0 = { α : I ( α ) < ∞ ,   V ( α ) = 0 ,   C 0 ( α ) = γ J } \mathcal Z_0=\{\alpha:I(\alpha)<\infty,\ \mathcal V(\alpha)=0,\ \mathcal C_0(\alpha)=\gamma J\} . When kernels are identified with their measures Π α \Pi_\alpha , the set Z 0 \mathcal Z_0 is nonempty and compact in the vague topology on X \mathscr X from Section 3.2. The following minimum is attained, and

( 4.19 ) π ( η ) = a + η + o ( η ) , a + = β J min α ∈ Z 0 ∫ | d 3 | d Π α ∈ [ 0 , 1 ] \pi(\eta)=a_+\eta+o(\eta),\qquad a_+=\frac\beta J\min_{\alpha\in\mathcal Z_0} \int|d_3|\,d\Pi_\alpha\in[0,1]. \tag{4.19}

On D = Ω ∩ { x < y } D=\Omega\cap\{x<y\} , equip the half-section with d μ = 1 2 ( y − x ) 2 d σ d\mu=\frac12(y-x)^2\,d\sigma . For measurable shares a , b a,b , define

F μ = max { ∫ D ( a + b ) d μ : a , b ≥ 0 ,   a + b ≤ 1 ,   ( x ) # ( a μ ) = ( y ) # ( b μ ) } \mathfrak F_\mu=\max\left\{\int_D(a+b)d\mu: a,b\ge0,\ a+b\le1,\ (x)_\#(a\mu)=(y)_\#(b\mu)\right\}.

The optimum is attained and satisfies 0 < F μ < J / 2 0<\mathfrak F_\mu<J/2 . Moreover,

( 4.20 ) a + = 1 − 2 F μ J ∈ ( 0 , 1 ) , F μ = inf φ  measurable | φ | ≤ 1 ∫ D max { 0 , 1 − φ ( x ) , 1 + φ ( y ) } d μ a_+=1-\frac{2\mathfrak F_\mu}{J}\in(0,1),\qquad \mathfrak F_\mu=\inf_{\substack{\varphi\text{ measurable}\\|\varphi|\le1}} \int_D\max\{0,1-\varphi(x),1+\varphi(y)\}\,d\mu.\tag{4.20}

Equivalently, a + a_+ is the supremum of the projected cut deficits

( 4.21 ) a + = 2 J sup U ∩ V = ∅ [ μ ( D ∩ ( U × V ) ) − μ ( D ∩ ( ( V × I ) ∪ ( I × U ) ) ) ] a_+=\frac2J\sup_{U\cap V=\varnothing} \left[\mu(D\cap(U\times V))- \mu\bigl(D\cap((V\times I)\cup(I\times U))\bigr)\right].\tag{4.21}

Here U , V ⊂ I U,V\subset I are disjoint measurable sets.

In words, 2 F μ 2\mathfrak F_\mu is the largest normal-displacement moment that the traded coordinates can accommodate while balancing their marginal projections. The cut formula (4.21) writes a + a_+ as 2 / J 2/J times the maximal deficit between the moment required on D ∩ ( U × V ) D\cap(U\times V) and the compensating capacity on D ∩ ( ( V × I ) ∪ ( I × U ) ) D\cap((V\times I)\cup(I\times U)) .

Proof sketch. For α ∈ Z 0 \alpha\in\mathcal Z_0 , normal integration and exchange symmetrization yield shares satisfying ( x ) # ( a μ ) = ( y ) # ( b μ ) (x)_\#(a\mu)=(y)_\#(b\mu) and background amount β ∫ | d 3 | d Π α = J − 2 ∫ D ( a + b ) d μ \beta\int|d_3|\,d\Pi_\alpha=J-2\int_D(a+b)\,d\mu . Conversely, every feasible pair of shares lifts to a kernel in Z 0 \mathcal Z_0 , so the minimum background amount is J − 2 F μ J-2\mathfrak F_\mu (Appendix A.8). Dividing by J J gives a + a_+ , and Appendix A.7 establishes (4.19) by comparing perturbed minimizers with a least-background kernel. Sion's theorem with continuous coordinate potentials gives (4.20); signed layer-cake reduction then gives (4.21).

Dependence on the transport weights Varying the positive transport weights leaves the finite-first-moment kernel class and V \mathcal V unchanged. With A i ( α ) = ∫ | d i | d Π α + ‖ j i ‖ 1 A_i(\alpha)=\int|d_i|\,d\Pi_\alpha+\|j_i\|_1 , the coordinate cost including marginal restoration, we may therefore write

( 4.22 ) s ∗ ( γ ) = inf V ( α ) ≥ 0 ∑ i γ i A i ( α ) s^*(\gamma)=\inf_{\mathcal V(\alpha)\ge0}\sum_i\gamma_i A_i(\alpha). \tag{4.22}

Because the feasible class is independent of γ \gamma , this infimum of nonnegative linear functions is positively homogeneous, coordinatewise nondecreasing, and concave. In particular, r − γ ≤ γ ~ ≤ r + γ r_-\gamma\le\widetilde\gamma\le r_+\gamma , with 0 < r − ≤ r + 0<r_-\le r_+ , implies r − s ∗ ( γ ) ≤ s ∗ ( γ ~ ) ≤ r + s ∗ ( γ ) r_-s^*(\gamma)\le s^*(\widetilde\gamma)\le r_+s^*(\gamma) , ensuring stability under relative weight perturbations.

The strict-premium classification also persists as long as the perturbed background cost remains above the cheapest traded cost. For example, equal effective costs γ = ( 1 , 1 , β ) \gamma=(1,1,\beta) lie on the zero-premium boundary. Starting instead from β = 1 \beta=1 and γ = ( 1 , 1 , 2 ) \gamma=(1,1,2) , any perturbation with r + < 2 r − r_+<2r_- satisfies γ ~ 3 > max { γ ~ 1 , γ ~ 2 } \widetilde\gamma_3>\max\{\widetilde\gamma_1,\widetilde\gamma_2\} and therefore retains a strict premium.

V. Analytical illustrations and financial implications

A. Projection potentials and a uniform reference

Assigning a bounded shadow price ϕ i \phi_i to each marginal flux lets us bound the strict premium without solving the full risk optimization. For a prescribed normal displacement we first minimize the adjusted coordinate costs γ i ± ϕ i ( ξ i ) \gamma_i\pm\phi_i(\xi_i) , and then we compare that minimum with the paired hinge gain.

Proposition 5.1 (A projection-potential bound). In the exchangeable box model, let b = ( 1 , 1 , β ) b=(1,1,\beta) and let | ϕ i | ≤ γ i |\phi_i|\le\gamma_i be bounded measurable potentials on the coordinate intervals such that k ± ( ξ ) = min 1 ≤ i ≤ 3 ( γ i ± ϕ i ( ξ i ) ) / b i k_\pm(\xi)=\min_{1\le i\le3}(\gamma_i\pm\phi_i(\xi_i))/b_i are bounded below by a positive constant. For every finite-first-moment kernel, every τ ∈ arg ⁡ min G 1 \tau\in\arg\min G_1 , and every λ > 0 \lambda>0 ,

( 5.1 ) C ( α ) ≥ λ ( J + p V + g 2 τ 2 ) − λ 2 ∫ Ω ( H − τ ) 2 ( λ k ( ξ , H − τ ) − 1 ) + d σ \mathcal C(\alpha)\ge \lambda\left(J+p\mathcal V+\frac g2\tau^2\right) -\frac{\lambda}{2}\int_\Omega(H-\tau)^2 \left(\frac{\lambda}{k(\xi,H-\tau)}-1\right)_+\,d\sigma, \tag{5.1}

where k ( ξ , h ) = k + ( ξ ) k(\xi,h)=k_+(\xi) for h < 0 h<0 and k − ( ξ ) k_-(\xi) for h > 0 h>0 . The integrand is zero when h = 0 h=0 .

The proof in Appendix B.1 optimizes the hinge gain against the adjusted cost k + w + + k − ( − w ) + k_+w_++k_-(-w)_+ , where w = b ⋅ d w=b\cdot d . To quantify how far the reversal budget can exceed the initial-slope prediction, we use an analytically tractable reference with independent uniform losses on [ 0 , 2 ] [0,2] , β = 1 \beta=1 , p = 1 / 2 p=1/2 , and γ = ( γ 0 , γ 0 , 2 γ 0 ) \gamma=(\gamma_0,\gamma_0,2\gamma_0) . Equal exposures and the median tail make the section invariant under central reflection, so v = 3 v=3 , d σ = d x d y / 8 d\sigma=dx\,dy/8 , g = 3 / 8 g=3/8 , and J = 5 / 32 J=5/32 .

In the cut representation of Theorem 4.3, the midpoint partition corresponds to φ ( q ) = 1 [ 0 , 1 ) ( q ) − 1 ( 1 , 2 ] ( q ) \varphi(q)=1_{[0,1)}(q)-1_{(1,2]}(q) . Scaling this potential by γ 0 / 2 \gamma_0/2 and using opposite signs on the two traded coordinates carries the same partition over to the marginal-flux penalty in Proposition 5.1, giving the admissible two-level potentials

ϕ 1 ( x ) = γ 0 2 sgn ⁡ ( 1 − x ) , ϕ 2 ( y ) = γ 0 2 sgn ⁡ ( y − 1 ) , ϕ 3 = 0 \phi_1(x)=\frac{\gamma_0}{2}\operatorname{sgn}(1-x),\qquad \phi_2(y)=\frac{\gamma_0}{2}\operatorname{sgn}(y-1),\qquad \phi_3=0.

Their signs distinguish low-loss from high-loss coordinate halves. At zero threshold shift, a positive paired hinge gain requires normal movement w = b ⋅ d > 0 w=b\cdot d>0 when x < y x<y , and w < 0 w<0 when x > y x>y . With amplitude γ 0 / 2 \gamma_0/2 , the effective cost in this direction across the midpoint is k ( ξ , H ) = 3 γ 0 / 2 k(\xi,H)=3\gamma_0/2 , and both directional costs on either same-side region are γ 0 / 2 \gamma_0/2 . Choosing λ = 3 γ 0 / 2 \lambda=3\gamma_0/2 in (5.1) therefore removes the cross-region penalty at zero threshold. The proof below keeps the correction for shifted minimizing thresholds, which makes the bound valid without prescribing either ES threshold.

Corollary 5.2 (Uniform reference with costly background displacement). For this uniform reference,

( 5.2 ) 13 64 ≤ s ∗ γ 0 ≤ 29 96 , s ∗ γ 0 J ≥ 13 10 \frac{13}{64}\le\frac{s^*}{\gamma_0}\le\frac{29}{96}, \qquad \frac{s^*}{\gamma_0J}\ge\frac{13}{10}. \tag{5.2}

The initial linear profile holds on 0 ≤ s ≤ γ 0 / 96 0\le s\le\gamma_0/96 .

Proof. For 1 / 2 ≤ x ≤ 1 1/2\le x\le1 , the negative-moment section has 1 − x < y < x 1-x<y<x , so integrating ( x − y ) 2 / 16 (x-y)^2/16 over this interval gives ℓ − ( x ) = ( 2 x − 1 ) 3 / 48 \ell_-(x)=(2x-1)^3/48 . For 0 ≤ x ≤ 1 / 2 0\le x\le1/2 , the section is empty and ℓ − ( x ) = 0 \ell_-(x)=0 . Reflection gives ℓ + ( x ) = ℓ − ( 2 − x ) \ell_+(x)=\ell_-(2-x) . On the lower half of I I , ℓ − \ell_- is the smaller moment, which gives Q b a l = 2 ∫ 1 / 2 1 ℓ − ( x ) d x = 1 / 192 Q_{\rm bal}=2\int_{1/2}^1\ell_-(x)\,dx=1/192 . Using ∫ I ( ℓ − + ℓ + ) d x = J \int_I(\ell_-+\ell_+)\,dx=J then gives ‖ ℓ − − ℓ + ‖ 1 = J − 2 Q b a l = 7 / 48 \|\ell_--\ell_+\|_1=J-2Q_{\rm bal}=7/48 , and Proposition 3.2 yields s l i n = γ 0 / 96 s_{\rm lin}=\gamma_0/96 . The first-coordinate kernel δ ζ e 1 \delta_{\zeta e_1} from (4.11) reaches zero risk at cost γ 0 ( J + ‖ ℓ − − ℓ + ‖ 1 ) = 29 γ 0 / 96 \gamma_0(J+\|\ell_--\ell_+\|_1)=29\gamma_0/96 . For the lower bound, the midpoint potentials with λ = 3 γ 0 / 2 \lambda=3\gamma_0/2 give

C γ 0 ≥ { 3 4 V + 13 64 + τ 2 ( 6 − τ 2 ) 64 , | τ | ≤ 1 , 1 2 V + 11 32 , | τ | ≥ 1. \frac{\mathcal C}{\gamma_0}\ge \begin{cases} \displaystyle \frac34\mathcal V+\frac{13}{64} +\frac{\tau^2(6-\tau^2)}{64},& |\tau|\le1,\\[2pt] \displaystyle \frac12\mathcal V+\frac{11}{32},& |\tau|\ge1. \end{cases}

For | τ | ≤ 1 |\tau|\le1 , the section integrations in Appendix B.2 give the first line. For | τ | ≥ 1 |\tau|\ge1 , the efficiency decomposition (4.2) gives the second. Every kernel with V ≥ 0 \mathcal V\ge0 therefore costs at least 13 γ 0 / 64 13\gamma_0/64 , which is 30 % 30\% above γ 0 J \gamma_0J . Q.E.D.

Setting γ 0 = 1 \gamma_0=1 , we obtain analytical envelopes for F ( s ) F(s) on [ 0 , U ] [0,U] , where U = 29 / 96 U=29/96 . The balanced kernel has cost s 0 = 1 / 96 s_0=1/96 , zero projected flux, and risk − 7 / 24 -7/24 , and the first-coordinate comparison kernel has cost U U and risk zero. Their convex mixtures have affine paired risk because zero minimizes both threshold objectives for each kernel, and affine cost because the balanced kernel has zero flux. Joining these mixtures to the exact initial linear segment realizes the lower envelope

F ― ( s ) = { 2 s − 5 / 16 , 0 ≤ s ≤ 1 / 96 , s − 29 / 96 , 1 / 96 ≤ s ≤ 29 / 96. \underline F(s)= \begin{cases} 2s-5/16,&0\le s\le1/96,\\ s-29/96,&1/96\le s\le29/96. \end{cases}

To bound F F from above, we invert the two threshold estimates and combine them with the efficiency bound:

F ( s ) ≤ min { 2 s − 5 16 , max { 4 3 s − 13 48 , 2 s − 11 16 } } = F ― ( s ) := min { 2 s − 5 16 , 4 3 s − 13 48 } ( 0 ≤ s ≤ U ) \begin{aligned} F(s)&\le\min\left\{2s-\frac5{16}, \max\left\{\frac43s-\frac{13}{48},2s-\frac{11}{16}\right\}\right\} \\ &=\overline F(s):=\min\left\{2s-\frac5{16},\frac43s-\frac{13}{48}\right\} \qquad(0\le s\le U). \end{aligned}

The last equality holds because the branches inside the maximum meet only at s = 5 / 8 > U s=5/8>U . Figure 3 plots the analytical envelopes F ― ≤ F ≤ F ― \underline F\le F\le\overline F on [ 0 , U ] [0,U] . The guaranteed linear segment [ 0 , s l i n ] [0,s_{\rm lin}] covers one fifteenth of the tangent prediction J = 5 / 32 J=5/32 , whereas the critical coefficient s ∗ s^* lies between 13 / 10 13/10 and 29 / 15 29/15 times J J . So the initial slope is attained on a positive interval, and the required reversal budget is still at least 30 % 30\% higher than its tangent prediction.

Figure 3
Figure 3. Proved risk envelopes for the independent uniform model with β = 1 \beta=1 , p = 1 / 2 p=1/2 , and γ = ( 1 , 1 , 2 ) \gamma=(1,1,2) . Explicit mixtures attain the lower envelope; the upper envelope follows from midpoint potentials and the efficiency bound. The inset shows the exact initial interval [ 0 , 1 / 96 ] [0,1/96] in green. The dashed line extrapolates its slope to J = 5 / 32 J=5/32 , whereas the critical budget lies in [ 13 / 64 , 29 / 96 ] [13/64,29/96] . Both plotted envelopes are piecewise linear analytical formulas.

B. A dependence family with fixed marginal laws

Section 5.1 used an independent uniform reference with background displacement twice as costly as either traded direction. We now move to the equal-effective-cost boundary to see how changing the reference dependence affects the required background share a + a_+ and the budget derivative γ 0 J a + \gamma_0Ja_+ . Keeping uniform marginals, β = 1 \beta=1 , and p = 1 / 2 p=1/2 , we perturb the independent density by the product of the centered losses x + y − 2 x+y-2 and z − 1 z-1 :

f ϑ ( x , y , z ) = 1 + ϑ ( x + y − 2 ) ( z − 1 ) 8 , | ϑ | < 1 2 , E ϑ [ ( X 1 + X 2 − 2 ) ( X 3 − 1 ) ] = 2 ϑ 9 f_\vartheta(x,y,z)=\frac{1+\vartheta(x+y-2)(z-1)}8,\qquad |\vartheta|<\frac12,\qquad E_\vartheta[(X_1+X_2-2)(X_3-1)]=\frac{2\vartheta}{9}.

After rescaling the losses to [ 0 , 1 ] [0,1] , this is a one-parameter subfamily of the trivariate Farlie–Gumbel–Morgenstern family [27, Section 2]: the interactions between each traded coordinate and the background have parameter ϑ \vartheta , and the other interaction parameters are zero. Centering preserves every marginal, and the parameter restriction keeps the density strictly positive on the cube. Central reflection fixes v = 3 v=3 , where the section density is [ 1 − ϑ ( x + y − 2 ) 2 ] / 8 [1-\vartheta(x+y-2)^2]/8 , so increasing ϑ \vartheta reduces the section mass away from x + y = 2 x+y=2 even as covariance increases. On the unchanged half-section D D , let d μ ϑ = w σ , ϑ ( x , y ) d x d y d\mu_\vartheta=w_{\sigma,\vartheta}(x,y)\,dx\,dy , where w σ , ϑ ( x , y ) = ( y − x ) 2 { 1 − ϑ ( x + y − 2 ) 2 } / 16 w_{\sigma,\vartheta}(x,y)=(y-x)^2\{1-\vartheta(x+y-2)^2\}/16 . Set D − = D ∩ { y < 1 } D_-=D\cap\{y<1\} , D + = D ∩ { x > 1 } D_+=D\cap\{x>1\} , and denote the same-side masses by M ϑ , ± = μ ϑ ( D ± ) M_{\vartheta,\pm}=\mu_\vartheta(D_\pm) .

Proposition 5.3 (Background share along the dependence family). For | ϑ | < 1 / 2 |\vartheta|<1/2 , the boundary flow is attained and

( 5.3 ) J ϑ = 75 − 14 ϑ 480 , M ϑ , − = M ϑ , + = 3 − 2 ϑ 1152 , a + , ϑ = 1 − 4 ( M ϑ , − + M ϑ , + ) J ϑ J_\vartheta=\frac{75-14\vartheta}{480},\qquad M_{\vartheta,-}=M_{\vartheta,+}=\frac{3-2\vartheta}{1152}, \qquad a_{+,\vartheta} =1-\frac{4(M_{\vartheta,-}+M_{\vartheta,+})}{J_\vartheta}. \tag{5.3}

In particular,

J ϑ a + , ϑ = 195 − 22 ϑ 1440 , d a + , ϑ d ϑ = 360 ( 75 − 14 ϑ ) 2 > 0 , d ( J ϑ a + , ϑ ) d ϑ = − 11 720 J_\vartheta a_{+,\vartheta}=\frac{195-22\vartheta}{1440},\qquad \frac{d a_{+,\vartheta}}{d\vartheta} =\frac{360}{(75-14\vartheta)^2}>0,\qquad \frac{d(J_\vartheta a_{+,\vartheta})}{d\vartheta} =-\frac{11}{720}.

To obtain the explicit value, we use all the mass in D − D_- and D + D_+ and match their projections in two disjoint parts of the cross-region. The section inequalities in Appendix B.3 give the required capacity throughout | ϑ | < 1 / 2 |\vartheta|<1/2 , and the midpoint potential gives the same value in the dual problem, so this feasible flow is optimal.

As reference dependence varies through 0 < ϑ < 1 / 2 0<\vartheta<1/2 , the minimum background share and the corresponding unnormalized displacement moment move in opposite directions:

( 5.4 ) a + , ϑ − a + , 0 = 24 ϑ 5 ( 75 − 14 ϑ ) > 0 , J ϑ a + , ϑ − J 0 a + , 0 = − 11 ϑ 720 < 0 a_{+,\vartheta}-a_{+,0} =\frac{24\vartheta}{5(75-14\vartheta)}>0,\qquad J_\vartheta a_{+,\vartheta}-J_0a_{+,0} =-\frac{11\vartheta}{720}<0. \tag{5.4}

The contrast comes from the median plane x + y + z = 3 x+y+z=3 , on which the centered factors satisfy z − 1 = − ( x + y − 2 ) z-1=-(x+y-2) . Increasing ϑ \vartheta thus favors equal signs in the full box but reduces the section density away from x + y = 2 x+y=2 by the factor 1 − ϑ ( x + y − 2 ) 2 1-\vartheta(x+y-2)^2 . Across both exchanged half-sections, the traded-coordinate matching capacity is 4 ( M ϑ , − + M ϑ , + ) 4(M_{\vartheta,-}+M_{\vartheta,+}) . By (5.3), J ϑ J_\vartheta decreases faster in absolute units than this capacity, so their difference J ϑ a + , ϑ J_\vartheta a_{+,\vartheta} declines. In proportion, though, the matching capacity falls faster than J ϑ J_\vartheta throughout 0 < ϑ < 1 / 2 0<\vartheta<1/2 , which leaves a larger relative share for the background coordinate.

Figure 4 compares two examples: independence ( ϑ = 0 \vartheta=0 , model U) and ϑ = 1 / 4 \vartheta=1/4 (model D). The triples ( J ϑ , a + , ϑ , J ϑ a + , ϑ ) (J_\vartheta,a_{+,\vartheta},J_\vartheta a_{+,\vartheta}) are ( 5 / 32 , 13 / 15 , 13 / 96 ) (5/32,13/15,13/96) and ( 143 / 960 , 379 / 429 , 379 / 2880 ) (143/960,379/429,379/2880) , so the minimum background share rises from about 0.8667 0.8667 to 0.8834 0.8834 while its unnormalized displacement moment falls from about 0.1354 0.1354 to 0.1316 0.1316 .

Figure 4
Figure 4. An optimal allocation of normal displacement on the tail surface D D , at the equal-cost boundary, for ϑ = 0 \vartheta=0 (U, top) and ϑ = 1 / 4 \vartheta=1/4 (D, bottom). The panels evaluate the explicit shares a , b , 1 − a − b a,b,1-a-b in (B.2); all use the same scale from zero to one. On each same-side section we allocate displacement to a rebalanced coordinate and match its projection using the cross-region. We allocate the remainder to the background coordinate. Blank regions lie outside D D .

C. Implications for reverse stress testing and further questions

Theorem 4.2 shows that an exact initial sensitivity need not predict how much dependence stress is required to reverse a diversification trade. This bears on reverse sensitivity analysis [28, 29], where the quantity of interest is the distance to a decision reversal. Under the traded-coordinate dominance condition (2.9), r 0 , ε = m ε / K ε r_{0,\varepsilon}=m_\varepsilon/K_\varepsilon extrapolates an attained initial slope, yet if γ 1 = c min < c 3 \gamma_1=c_{\min}<c_3 ,

ρ ε ± r 0 , ε ⟶ s ∗ γ 1 J > 1 \frac{\rho^\pm_\varepsilon}{r_{0,\varepsilon}}\longrightarrow\frac{s^*}{\gamma_1J}>1.

Proposition 3.2 attains the initial slope by balancing opposite movements on selected fibers. Equality in the efficiency bound at reversal would require balancing cheapest-coordinate projections across the entire tail section, and under the stated cost condition the corner obstruction of Theorem 4.2 excludes that. Unlike optimal allocation across full Fréchet or Wasserstein ambiguity sets [23], our reverse stress test fixes a proposed trade and measures the least perturbation of a common reference law that reverses its paired ES ranking.

A whole-book comparison across reference dependence structures also has to account for the size of the nominal advantage. In the family of Section 5.2, consider the boundary perturbation γ ( η ) = ( γ 0 , γ 0 , γ 0 ( 1 + η ) ) \boldsymbol\gamma(\eta)=(\gamma_0,\gamma_0,\gamma_0(1+\eta)) . The gain-normalized critical budget and its right derivative at equal effective costs satisfy

R ϑ ( η ) := lim ε ↓ 0 ρ ε , ϑ ± ( η ) m ε , ϑ = p s ϑ ∗ ( η ) J ϑ , R ϑ ′ ( 0 + ) = p γ 0 a + , ϑ \mathcal R_\vartheta(\eta):=\lim_{\varepsilon\downarrow0} \frac{\rho^\pm_{\varepsilon,\vartheta}(\eta)}{m_{\varepsilon,\vartheta}} =\frac{p\,s^*_\vartheta(\eta)}{J_\vartheta},\qquad \mathcal R_\vartheta'(0+)=p\gamma_0a_{+,\vartheta}.

Theorem 4.3 gives the absolute right derivative ( s ϑ ∗ ) ′ ( 0 + ) = γ 0 J ϑ a + , ϑ (s^*_\vartheta)'(0+)=\gamma_0J_\vartheta a_{+,\vartheta} . By (5.4), increasing ϑ \vartheta raises the gain-normalized response R ϑ ′ ( 0 + ) \mathcal R_\vartheta'(0+) but lowers the absolute response: d d ϑ ( γ 0 J ϑ a + , ϑ ) = γ 0 ( J ϑ ′ a + , ϑ + J ϑ a + , ϑ ′ ) < 0 \frac{d}{d\vartheta}(\gamma_0J_\vartheta a_{+,\vartheta})=\gamma_0(J_\vartheta'a_{+,\vartheta}+J_\vartheta a_{+,\vartheta}')<0 , so the decline in the nominal-gain scale outweighs the increase in background share. Reporting both boundary sensitivities to a risk committee separates a greater relative need for background displacement from a smaller absolute response in budget units.

Characterizing the boundaries between the active and stationary regions of an optimal kernel could help determine the full profile F F between the analytical envelopes, beyond the guaranteed initial linear interval. A uniform rate for sup s ≤ S 0 | ε − 2 D ε ( s ε 2 ) − F ( s ) | \sup_{s\le S_0}|\varepsilon^{-2}D_\varepsilon(s\varepsilon^2)-F(s)| , combined with the lower growth estimate in Theorem 3.3, would yield finite-trade error bounds for the critical budgets.

In the compact-box benchmark, a restoration premium can arise from dependence geometry and full marginal conservation even with bounded marginal tails. For unbounded marginals such as integrable Pareto or lognormal laws, the inverse-CDF derivative is unbounded near probability one, so the uniform displacement estimate in the recovery argument would need a tail-weighted substitute. Since one-dimensional W 1 W_1 remains the L 1 L^1 integral of the CDF discrepancy, this loss of a uniform quantile bound does not by itself imply a different restoration-cost exponent. The open problem is to control that integral jointly with the paired-risk error and determine whether the ε 2 \varepsilon^2 critical scale persists under suitable tail assumptions. Higher-dimensional projected-flow representations and estimation of critical budgets from loss data raise related questions, alongside recent work on ES estimation under weak tail assumptions [3].

Appendices and supporting material

This page includes the complete abstract, five main sections, all four main-text figures, and references. Technical appendices and declarations are available in the full manuscript and the GitHub repository.

References

1. P. Artzner, F. Delbaen, J.-M. Eber, and D. Heath, Coherent measures of risk, Math. Finance, 9(3) (1999), pp. 203–228, doi:10.1111/1467-9965.00068.

2. D. Bartl, S. Drapeau, J. Obłój, and J. Wiesel, Sensitivity analysis of Wasserstein distributionally robust optimization problems, Proc. R. Soc. A, 477(2256) (2021), article 20210176, doi:10.1098/rspa.2021.0176.

3. D. Bartl and S. Eckstein, Optimal nonparametric estimation of the expected shortfall risk, preprint (2026), to appear in SIAM J. Financial Math., arXiv:2405.00357v2.

4. D. Bartl and J. Wiesel, Sensitivity of multiperiod optimization problems with respect to the adapted Wasserstein distance, SIAM J. Financial Math., 14(2) (2023), pp. 704–720, doi:10.1137/22M1537746.

5. C. Bernard, X. Jiang, and R. Wang, Risk aggregation with dependence uncertainty, Insur. Math. Econ., 54 (2014), pp. 93–108, doi:10.1016/j.insmatheco.2013.11.005.

6. D. P. Bertsekas, Convex Optimization Theory, Athena Scientific, Belmont, MA, 2009, author's online edition.

7. J. Blanchet and K. Murthy, Quantifying distributional model risk via optimal transport, Math. Oper. Res., 44(2) (2019), pp. 565–600, doi:10.1287/moor.2018.0936.

8. M. Brandtner, Expected shortfall, spectral risk measures, and the aggravating effect of background risk, or: risk vulnerability and the problem of subadditivity, J. Bank. Financ., 89 (2018), pp. 138–149, doi:10.1016/j.jbankfin.2018.02.002.

9. J. Chen, E. Furman, and X. S. Lin, Static marginal expected shortfall: Systemic risk measurement under dependence uncertainty, Insur. Math. Econ., 130 (2026), article 103285, doi:10.1016/j.insmatheco.2026.103285.

10. Y. Chen, P. Liu, Y. Liu, and R. Wang, Ordering and inequalities for mixtures on risk aggregation, Math. Finance, 32(1) (2022), pp. 421–451, doi:10.1111/mafi.12323.

11. G. Dal Maso, An Introduction to Γ \Gamma -Convergence, Progress in Nonlinear Differential Equations and Their Applications 8, Birkhäuser, Boston, 1993, doi:10.1007/978-1-4612-0327-8.

12. C. De Vecchi, M. Nendel, and J. Streicher, Upper comonotonicity and risk aggregation under dependence uncertainty, Math. Finance, 36(1) (2026), pp. 118–139, doi:10.1111/mafi.70008.

13. S. Eckstein, M. Kupper, and M. Pohl, Robust risk aggregation with neural networks, Math. Finance, 30(4) (2020), pp. 1229–1272, doi:10.1111/mafi.12280.

14. S. Eckstein, G. Guo, T. Lim, and J. Obłój, Robust pricing and hedging of options on multiple assets and its numerics, SIAM J. Financial Math., 12(1) (2021), pp. 158–188, doi:10.1137/19M1286256.

15. P. Embrechts, G. Puccetti, and L. Rüschendorf, Model uncertainty and VaR aggregation, J. Bank. Financ., 37(8) (2013), pp. 2750–2764, doi:10.1016/j.jbankfin.2013.03.014.

16. P. Embrechts, B. Wang, and R. Wang, Aggregation-robustness and model uncertainty of regulatory risk measures, Finance Stoch., 19(4) (2015), pp. 763–790, doi:10.1007/s00780-015-0273-z.

17. L.-B. Fiechtner and J. Blanchet, Wasserstein distributionally robust regret optimization, preprint, 2025, revised 2026, arXiv:2504.10796v5.

18. R. Gao and A. J. Kleywegt, Data-driven robust optimization with known marginal distributions, working paper, 2017, https://faculty.mccombs.utexas.edu/rui.gao/copula.pdf.

19. R. Gao and A. J. Kleywegt, Distributionally robust stochastic optimization with Wasserstein distance, Math. Oper. Res., 48(2) (2023), pp. 603–655, doi:10.1287/moor.2022.1275.

20. J. Korman, R. J. McCann, and C. Seis, Dual potentials for capacity constrained optimal transport, Calc. Var. Partial Differential Equations, 54 (2015), pp. 573–584, doi:10.1007/s00526-014-0795-9.

21. H. Lam, Sensitivity to serial dependency of input processes: A robust approach, Manage. Sci., 64(3) (2018), pp. 1311–1327, doi:10.1287/mnsc.2016.2667.

22. L. Li, H. Shao, R. Wang, and J. Yang, Worst-case Range Value-at-Risk with partial information, SIAM J. Financial Math., 9(1) (2018), pp. 190–218, doi:10.1137/17M1126138.

23. P. Liu and Y. Liu, Portfolio diversification and concentration under dependence uncertainty: A majorization approach, preprint, 2026, arXiv:2609.04496v1.

24. R. J. Martin, Saddlepoint methods in portfolio theory, in The Oxford Handbook of Credit Derivatives, A. Lipton and A. Rennie, eds., Oxford University Press, Oxford (2011), pp. 533–569, doi:10.1093/oxfordhb/9780199546787.013.0015.

25. A. J. McNeil, R. Frey, and P. Embrechts, Quantitative Risk Management: Concepts, Techniques and Tools, revised ed., Princeton University Press, Princeton, NJ, 2015.

26. H. Namkoong, Local sensitivity under transport restrictions, preprint, 2026, arXiv:2606.04276v1.

27. S. Ota and M. Kimura, Effective estimation algorithm for parameters of multivariate Farlie–Gumbel–Morgenstern copula, Jpn. J. Stat. Data Sci., 4 (2021), pp. 1049–1078, doi:10.1007/s42081-021-00118-y.

28. S. M. Pesenti, P. Millossovich, and A. Tsanakas, Reverse sensitivity testing: What does it take to break the model?, European J. Oper. Res., 274(2) (2019), pp. 654–670, doi:10.1016/j.ejor.2018.10.003.

29. S. M. Pesenti, Reverse sensitivity analysis for risk modelling, Risks, 10(7) (2022), article 141, doi:10.3390/risks10070141.

30. S. M. Pesenti and S. Jaimungal, Portfolio optimization within a Wasserstein ball, SIAM J. Financial Math., 14(4) (2023), pp. 1175–1214, doi:10.1137/22M1496803.

31. G. Ch. Pflug and M. Pohl, A review on ambiguity in stochastic portfolio optimization, Set-Valued Var. Anal., 26(4) (2018), pp. 733–757, doi:10.1007/s11228-017-0458-z.

32. R. T. Rockafellar and S. Uryasev, Conditional value-at-risk for general loss distributions, J. Bank. Financ., 26(7) (2002), pp. 1443–1471, doi:10.1016/S0378-4266(02)00271-6.

33. L. Rüschendorf, Mathematical Risk Analysis: Dependence, Risk Bounds, Optimal Allocations and Portfolios, Springer Series in Operations Research and Financial Engineering, Springer, Berlin, Heidelberg, 2013, doi:10.1007/978-3-642-33590-7.

34. F. Santambrogio, Optimal Transport for Applied Mathematicians: Calculus of Variations, PDEs, and Modeling, Progress in Nonlinear Differential Equations and Their Applications 87, Birkhäuser, Cham, 2015, doi:10.1007/978-3-319-20828-2.

35. N. Sauldubois, Higher-order sensitivity analysis of Wasserstein and adapted Wasserstein distributionally robust optimization problems, preprint, 2026, arXiv:2609.25345v1.

36. O. Scaillet, Nonparametric estimation and sensitivity analysis of expected shortfall, Math. Finance, 14(1) (2004), pp. 115–129, doi:10.1111/j.0960-1627.2004.00184.x.

37. M. Sion, On general minimax theorems, Pacific J. Math., 8(1) (1958), pp. 171–176, doi:10.2140/pjm.1958.8.171.

38. D. Tasche, Conditional expectation as quantile derivative, preprint, 2001, arXiv:math/0104190v1.

39. S. S. Vallender, Calculation of the Wasserstein distance between probability distributions on the line, Theory Probab. Appl., 18(4) (1974), pp. 784–786, doi:10.1137/1118101.

40. C. Villani, Topics in Optimal Transportation, Graduate Studies in Mathematics 58, American Mathematical Society, Providence, RI, 2003.

41. R. Wang, V. Bignozzi, and A. Tsanakas, How superadditive can a risk measure be?, SIAM J. Financial Math., 6(1) (2015), pp. 776–803, doi:10.1137/140981046.