The reference interval in higher-order stochastic dominance

Qinyu Wu; Ruodu Wang

REVIEW 2 major objections 5 minor 32 references

The reference interval in higher-order stochastic dominance

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Stochastic dominance rankings depend on the reference interval precisely when the order is at least four.

desk verdict Main results are right, but Lemma 1 as printed is false and Proposition 1 leans on it; the paper deserves review with a mandatory fix. read the letter →

arxiv 2411.15401 v4 pith:OX7SI6P5 submitted 2024-11-23 math.PR econ.TH

Ruodu Wang , Qinyu Wu This is my paper · ORCID

classification math.PRecon.TH MSC 60E1591B16

keywords higher-orderstochasticdominancereferenceintervalmean-preservingprudencetemperanceexpectedutilityboundaryconditionsriskattitudes

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks whether the statement "X dominates Y in nth-order stochastic dominance" is well-defined once the random variables are known to live in a bounded interval, or whether it secretly depends on which reference interval the modeler draws around that support. The answer is a sharp cutoff: for n ≤ 3 the two standard formulations — whole-line $n$SDR and interval-based $n$SD$_{[a,b]}$ — always rank bounded variables identically, while for n ≥ 4 shrinking the interval makes the dominance relation strictly harder to satisfy. The same phenomenon extends to mean-preserving versions, where interval-dependence appears exactly when $n-m \ge 4$. If correct, rankings under fourth-order dominance (the "temperance" order) and higher are not robust to a subjective modeling choice, which matters for portfolio choice, precautionary-saving comparisons, and other applications built on higher-order risk preferences.

What carries the argument

The machinery is the iterated distribution function $F^{[n]}(\eta)=\int_{-\infty}^{\eta}F^{[n-1]}(\xi)\,d\xi$, which turns dominance into pointwise inequalities of $E[(\eta-X)_+^{n-1}]$ over all of $\mathbb{R}$ or over a compact interval $[a,b]$. The interval version (Jean 1980) adds boundary conditions $F^{[k]}_X(b) \le F^{[k]}_Y(b)$ for every $k \in [n]$, equivalently $E[(b-X)^{k-1}] \le E[(b-Y)^{k-1}]$. The load-bearing identity is $\lim_{\eta \to \infty}(\eta - (E[(\eta-Z)_+^n])^{1/n}) = E[Z]$, which converts whole-line dominance into a mean comparison; this is why at $n=3$ the only extra boundary condition (the mean) is automatic, and why at $n=4$ the second-moment boundary condition is not implied. Example 1 and the scaling construction behind Lemma 2 then produce four-point distributions that flip ranking between intervals.

What would settle it

Compute for Example 1 whether $X \ge^{[0,c]}_4 Y$ holds as $c$ varies between 1 and 2; the theorem predicts it holds at $c=2$ and fails at $c=1$. If it held for every $c \in [1,2]$, Theorem 1 would be false. A pair of variables supported in $[0,1]$ with $X \ge_4 Y$ and $X \ge^{[0,c]}_4 Y$ for all $c \in (0,1]$ would also refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for random variables supported in $[a,b]$, $n$SD$_{[a,c]}$ implies $n$SD$_{[a,d]}$ whenever $c<d$, but the converse implication holds for all such variables if and only if $n \le 3$. For $n \ge 4$ there exist $X,Y$ supported inside $[a,b]$ such that $X$ dominates $Y$ over the larger interval $[a,d]$ but not over the smaller $[a,c]$, so the ranking depends on the right endpoint even when both variables stay inside the intersection of the two intervals. Theorem 2 generalizes the same cutoff to $n$th degree $m$-mean preserving stochastic dominance, where interval-independence holds exactly when $n-m \le 3$. The paper identifies the mechanism at $n=4$: the interval criterion adds the boundary condition $E[(b-X)^2] \le E[(b-Y)^2]$, which whole-line fourth-order dominance does not enforce.

Load-bearing premise

The results rest on Jean's interval-based definition, which appends boundary conditions at the right endpoint for every order up to $n$; without those boundary conditions, as in Fishburn's criterion, the consistency cutoff shifts to $n \in \{1,2\}$ and the paper's threshold is not definition-independent.

Editorial extensions

If this is right

If Theorem 1 is correct, portfolio and saving decisions that invoke fourth-order dominance can be reversed by changing the assumed upper bound on possible wealth, even when all variables stay within both bounds.
Third-order (prudence) comparisons are interval-free, so precautionary-saving statements at order three do not inherit the ambiguity.
For mean-preserving comparisons, the interval choice is harmless when the gap between dominance degree and preserved moments is at most three; for larger gaps it starts to matter.
Enlarging a reference interval makes higher-order dominance easier to satisfy, so empirical studies should treat the interval length as a robustness parameter rather than a fixed modeling input.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper's comparison with Fishburn's criterion implies that interval-dependence is not a feature of stochastic dominance in the abstract but a feature of Jean's boundary-condition formulation; adopting a different interval definition would move the cutoff.
A direct diagnostic suggested by the results: when comparing risks by fourth- or higher-order dominance, rerun the ranking over nested intervals $[-R,R]$ for a range of $R$; any rank reversal indicates the conclusion is an artifact of the chosen bound.
The $n-m \le 3$ threshold hints at a wider pattern — boundary information only matters once more than three moments beyond the preserved ones enter — and testing whether analogous cutoffs hold for other moment-based orderings would be a natural extension.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Start with the punchline: the main results of this paper are correct, but there is a real error in the proof of Proposition 1 that has to be fixed before publication. The stress-test note is right. Lemma 1 as stated has a factor n that makes the limit diverge for a constant Z. For Z=1, the expression is n(eta - (eta-1)) = n, not E[Z]=1. The standard identity drops the factor n. That matters because Step (a) and Step (b) of Proposition 1 both rely on this lemma. The conclusions drawn there - that X >=_3 Y implies E[X] >= E[Y], and that when E[X] > E[Y] one can find M with all iterated integrals ordered - are true, and they follow from polynomial asymptotics of the iterated integrals as eta -> infinity. But that argument is not supplied. So the 'if' half of Theorem 1 has a genuine gap, even though it is an easily repairable one.

What is genuinely new: the sharp thresholds. Theorem 1 gives the if-and-only-if n <= 3 for consistency between nSD[a,b] and nSDR, and Theorem 2 extends this to nth-degree m-mean preserving orders with the n-m <= 3 threshold. Example 1 is a clean explicit counterexample showing a 4SD ranking that flips when the reference interval changes from [0,1] to [0,2]; the boundary-violation arithmetic (341/72900) checks out. The attribution to Fang and Post is accurate, and the paper fills a gap they left open.

The proofs are mostly self-contained and careful. Lemma 2's construction and the cone-contradiction argument in Theorem 2 are legitimate. One minor caveat worth noting, not a flaw: the boundary conditions in Definition 2 are Jean's, so the result is about that formulation rather than about reference-interval dependence in the abstract; the paper is transparent about this.

Bottom line: the central argument holds up after a standard correction. This deserves a serious referee. Send it out, but the authors should be required to fix Lemma 1 and supply the missing asymptotic argument in Proposition 1 before acceptance.

Referee Report

2 major / 5 minor

Summary. The paper compares two formulations of higher-order stochastic dominance for bounded random variables: the whole-line relation nSDR and Jean's interval-based relation nSD[a,b], which adds boundary conditions at b. Proposition 1 provides utility-class characterizations and asserts that nSDR implies nSD[a,b] for all pairs supported in [a,b] exactly when n ≤ 3. Theorem 1 shows that enlarging the right endpoint of the reference interval preserves rankings for all such pairs exactly when n ≤ 3, while for n ≥ 4 there exist pairs supported inside the smaller interval that dominate on the larger interval but fail on the smaller one. Theorem 2 extends the threshold to nth-degree m-mean preserving stochastic dominance: consistency holds exactly when n − m ≤ 3. Example 1 gives an explicit 4SD counterexample with distributions supported in [0,1] and reference intervals [0,1] and [0,2].

Significance. If correct, the results give a clean quantitative answer to a question that has circulated in the literature: the reference interval only matters for stochastic dominance of order at least four, and for mean-preserving variants only when n − m ≥ 4. This is economically relevant because fourth-order dominance (temperance) is now routinely used, and the paper shows concretely that rankings then depend on a subjective modeling choice. The paper also contains explicit, checkable counterexamples and a self-contained proof strategy built on known utility characterizations. The main weakness is a misstated asymptotic lemma in the proof of Proposition 1; the gap is real but appears routine to repair, so the central claims remain plausible and worth publishing after revision.

major comments (2)

[Section 3.1, Lemma 1] Lemma 1 is false as stated. For Z ≡ 1 and any η > 1, E[(η−Z)^n_+]^{1/n} = η−1, so the displayed expression equals n, not E[Z] = 1; the correct identity is either lim_{η→∞} (η − (E[(η−Z)^n_+])^{1/n}) = E[Z], or the displayed statement with right-hand side nE[Z]. Because Proposition 1, Step (a) and Step (b), both invoke Lemma 1 to infer E[X] ≥ E[Y] from X ≥_n Y, the proof of Proposition 1 currently rests on an incorrect statement. The inference itself is true, but the manuscript must replace Lemma 1 with the correct identity and adjust the two uses accordingly.
[Section 3.1, Proof of Proposition 1, Step (b)] The assertion that 'Using Lemma 1 again and noting that E[X] > E[Y], there exists M ≥ b such that F^{[k]}_X(M) ≤ F^{[k]}_Y(M) for all k ∈ [n−1]' does not follow from the first-order limit in Lemma 1. What is needed is the polynomial expansion F^{[k]}_Z(η) = η^{k−1}/(k−1)! − E[Z]η^{k−2}/(k−2)! + O(η^{k−3}) for η beyond the supports; with E[X] > E[Y] this makes each difference negative for sufficiently large η. This assertion is true but must be proved, otherwise the integration-by-parts proof of (iv) ⇒ (v) is incomplete.

minor comments (5)

[Abstract] The sentence 'we study whether one dominates the other in higher-order stochastic dominance depends on the reference interval' is ungrammatical and should be rewritten.
[Section 3.2, Proof of Theorem 1] The text 'the equivalence between (i) and (iii) in Proposition 1 holds for n ≤ 3' appears to be a misreference; it should refer to the equivalence (iv) ⇔ (i).
[Section 3.2, Lemma 2] The displayed computation of the second-moment ratio is compressed: the denominator '45mn' appears after an implicit division by ε_n, and the intermediate algebra is hard to follow. Please add the missing steps or parentheses.
[Section 3.1, Step (b)] The long integration-by-parts display uses nonstandard notation such as '(−1)^{-1}u(η)(F_Y − F_X)|...' and omits some differentials; rewriting this display with explicit integration measures would improve clarity.
[Section 3.2, Proof of Theorem 1] The reduction from Lemma 2's interval [0,9] to a general b should mention the affine rescaling argument; as written, 'the existence is due to Lemma 2' skips a step, even though the rescaling is straightforward.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation rests on external results and explicit constructions, not on self-defined inputs.

full rationale

The paper's central claims (Proposition 1, Theorems 1 and 2) are proved from standard external benchmarks rather than from assumptions that already contain the target conclusion. The equivalence between nSD[a,b] and expected-utility comparisons is imported from Eeckhoudt et al. (2009) and Denuit and Eeckhoudt (2013), and the representation of multiply monotone utilities over R is taken from Williamson (1956); neither is a self-citation. Lemma 1 is attributed to Proposition 6 of Ogryczak and Ruszczynski (2001), while Theorem 2 invokes Shaked and Shanthikumar (2007, Theorem 4.A.58) and Müller (1997, Corollary 3.8). None of these citations is authored by the present paper's authors, and none assumes the target theorem. The threshold n=3 is not built into Definition 2: Jean's boundary conditions are fixed independently, and the proof demonstrates that the third-order boundary condition reduces to a comparison of means that is implied by 3SDR, whereas the fourth-order second-moment boundary condition is not. Example 1 and Lemma 2 construct explicit distributions satisfying the stated dominance relations and failures; these are existential constructions, not fitted parameters or renamed predictions. The only flagged issue is the printed Lemma 1, whose factor n appears incorrect for the stated limit and leads to a gap in the proof of Proposition 1 as written; this is a correctness or reference issue, not a circularity, because the lemma is not defined in terms of the target result and the surrounding conclusions have independent asymptotic derivations. Accordingly, no claim in the derivation chain reduces by construction to its own inputs, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard results in stochastic dominance theory (Ogryczak and Ruszczynski, Eeckhoudt et al., Williamson, Shaked and Shanthikumar, Müller). No free parameters are fitted; the counterexample constants are explicit constructions. The main domain assumption is Jean's Definition 2 with its boundary conditions, which the paper states explicitly and which drives the threshold.

assumptions (6)

standard math Proposition 6 of Ogryczak and Ruszczynski (2001), used as Lemma 1: n-th order stochastic dominance implies E[X] ≥ E[Y].
Used in the proof of the n=3 consistency direction and to extract mean comparisons from stochastic dominance; it is an external, well-established result.
standard math Expected-utility characterization of nSD[a,b] and nSDR (Eeckhoudt et al. 2009, Denuit and Eeckhoudt 2013, Levy 2015), used in Proposition 1.
The paper relies on the equivalence between stochastic dominance and expected utility over the corresponding utility classes; this is standard and cited.
standard math Representation of multiply monotone functions as positive linear combinations of singularity functions (Williamson 1956), used in the proof of (iv) ⇒ (v) in Proposition 1.
The proof of the utility characterization of nSDR invokes this classical representation; cited explicitly.
standard math Theorem 4.A.58 of Shaked and Shanthikumar (2007), used in Theorem 2 to establish the (m+1)-th moment comparison for n-m = 3.
Load-bearing for the 'consistency' half of the mean-preserving generalization; cited explicitly.
standard math Corollary 3.8 of Müller (1997), used as Lemma 4: two expected-utility orders on closed convex cones are equivalent iff the cones coincide.
Used to prove that the interval-based and whole-line versions differ when n-m ≥ 4; cited explicitly.
domain assumption Jean's Definition 2, with boundary conditions at b for all orders k ∈ [n], is the operative definition of interval-based stochastic dominance.
The sharp thresholds (n=3, n-m=3) are specific to this boundary-condition specification. The paper itself notes Fishburn's criterion without these conditions gives different consistency behavior. This is a modeling choice, not a mathematical fact.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The reference interval in higher-order stochastic dominance." pith.science (2026). https://pith.science/paper/OX7SI6P5

@misc{pith2026241115401,
  author       = {Pith},
  title        = {Pith review of: The reference interval in higher-order stochastic dominance},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OX7SI6P5}},
  note         = {Machine review of arXiv:2411.15401}
}

read the original abstract

Given two random variables taking values in a bounded interval, we study whether one dominates the other in higher-order stochastic dominance depends on the reference interval in the model setting. We obtain two results. First, the stochastic dominance relations get strictly stronger when the reference interval shrinks if and only if the order of stochastic dominance is larger than three. Second, for mean-preserving stochastic dominance relations, the reference interval is irrelevant if and only if the difference between the degree of the stochastic dominance and the number of moments is no larger than three. These results highlight complications arising from using higher-order stochastic dominance in economic applications.

Figures

Figures reproduced from arXiv: 2411.15401 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

[1]

and Menegatti, M

Baiardi, D., Magnani, M. and Menegatti, M. (2020). The theory of precautionary saving: an overview of recent developments. Review of Economics of the Household, 18, 513–542. Caball´ e, J. and Pomansky, A. (1996). Mixed risk aversion.Journal of Economic Theory, 71(2), 485–513

work page 2020
[2]

and Trannoy, A

Crainich, D., Eeckhoudt, L. and Trannoy, A. (2013). Even (mixed) risk lovers are prudent. American Eco- nomic Review, 103(4), 1529–1535

work page 2013
[3]

and Schlesinger, H

Deck, C. and Schlesinger, H. (2014). Consistency of higher order risk preferences. Econometrica, 82(5), 1913–1943

work page 2014
[4]

and Eeckhoudt, L

Denuit, M. and Eeckhoudt, L. (2010). Stronger measures of higher-order risk attitudes. Journal of Economic Theory, 145(5), 2027–2036

work page 2010
[5]

and Eeckhoudt, L

Denuit, M. and Eeckhoudt, L. (2013). Risk attitudes and the value of risk transformations. Journal of Economic Theory, 9(3), 245–254

work page 2013
[6]

and Lefevre, C

Denuit, M. and Lefevre, C. (1997). Some new classes of stochastic order relations among arithmetic random variables, with applications in actuarial sciences. Insurance: Mathematics and Economics, 20(3), 197–213

work page 1997
[7]

and Shaked, M

Denuit, M., Lefevre, C. and Shaked, M. (1998). The s-convex orders among real random variables, with applications. Mathematical Inequalities and Applications, 1(4), 585–613

work page 1998
[8]

and Utev, S

Denuit, M., Lefevre, C. and Utev, S. (1999). Stochastic orderings of convex/concave-type on an arbitrary grid. Mathematics of Operations Research, 24(4), 835–846

work page 1999

Show all 32 references

[9]

and Lefevre, C

Denuit, M., De Vylder, E. and Lefevre, C. (1999). Extremal generators and extremal distributions for the continuous s-convex stochastic orderings. Insurance: Mathematics and Economics, 24(3), 201–217

1999
[10]

and Schlesinger, H

Eeckhoudt, L. and Schlesinger, H. (2006). Putting risk in its proper place.American Economic Review, 96(1), 280–289

2006
[11]

and Tsetlin, I

Eeckhoudt, L., Schlesinger, H. and Tsetlin, I. (2009). Apportioning of risks via stochastic dominance. Journal of Economic Theory, 144(3), 994–1003

2009
[12]

Ekern, S. (1980). Increasing N th degree risk. Economics Letters, 6, 329–333

1980
[13]

and Post, T

Fang, Y. and Post, T. (2022). Optimal portfolio choice for higher-order risk averters. Journal of Banking and Finance, 137, 106429

2022
[14]

Fishburn, P. C. (1976). Continua of stochastic dominance relations for bounded probability distributions. Journal of Mathematical Economics, 3(3), 295–311

1976
[15]

Fishburn, P. C. (1980). Continua of stochastic dominance relations for unbounded probability distributions. Journal of Mathematical Economics, 7(3), 271–285

1980
[16]

Fishburn, P. C. and Lavalle, I. H. (1995). Stochastic dominance on unidimensional grids. Mathematics of Operations Research, 20(3), 513–525

1995
[17]

Jean, W. H. (1980). The geometric mean and stochastic dominance. The Journal of Finance, 35(1), 151–158

1980
[18]

Kimball, M. S. (1989). Precautionary saving in the small and in the large. Econometrica, 58(1), 53–73

1989
[19]

Kimball, M. S. (1992). Precautionary motives for holding assets. In G. Hubbard (Ed.), Asymmetric Infor- 16 mation, Corporate Finance, and Investment. University of Chicago Press

1992
[20]

Levy, H. (2015). Stochastic Dominance: Investment Decision Making under Uncertainty. Third Edition. Springer New York

2015
[21]

Liu, L. (2014). Precautionary saving in the large: nth degree deteriorations in future income. Journal of Mathematical Economics, 52, 169–172

2014
[22]

and Neilson, W

Liu, L. and Neilson, W. S. (2019). Alternative approaches to comparative nth-degree risk aversion. Manage- ment Science, 65(8), 3824–3834. M¨ uller, A. (1997). Stochastic orders generated by integrals: A unified study.Advances in Applied probability, 29(2), 414–428

2019
[23]

Nocetti, D. C. (2016). Robust comparative statics of risk changes. Management Science, 62(5), 1381–1392

2016
[24]

N., Trautmann, S

Noussair, C. N., Trautmann, S. T. and Van de Kuilen, G. (2014). Higher order risk attitudes, demographics, and financial decisions. Review of Economic Studies, 81(1), 325–355

2014
[25]

and Ruszczy´ nski, A

Ogryczak, W. and Ruszczy´ nski, A. (2001). On consistency of stochastic dominance and mean–semideviation models. Mathematical Programming, 89, 217–232

2001
[26]

Peter, R. (2021). Who should exert more effort? Risk aversion, downside risk aversion and optimal prevention. Economic Theory, 71(4), 1259–1281

2021
[27]

Rolski, T. (1976). Order relations in the set of probability distribution functions and their applications in queueing theory. Dissertationes MathematicaeCXXXII. Warsaw, Poland: Polska Akademia Nauk, Instytut Matematyczny

1976
[28]

and Stiglitz, J

Rothschild, M. and Stiglitz, J. (1970). Increasing risk: I. A definition. Journal of Economic Theory, 2(3), 225–243

1970
[29]

and Shanthikumar, J

Shaked, M. and Shanthikumar, J. G. (2007). Stochastic Orders. Springer New York

2007
[30]

Schoenberg, I. J. (1938). Metric spaces and completely monotone functions. Annals of Mathematics, 39(4), 811–841

1938
[31]

Whitt, W. (1986). Stochastic comparisons for non-Markov processes. Mathematics of Operations Research, 11(4), 608–618

1986
[32]

Williamson, R. E. (1956). Multiply monotone functions and their Laplace transforms. Duke Mathematical Journal, 23(2), 189–207. 17

1956

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [1]

and Menegatti, M

Baiardi, D., Magnani, M. and Menegatti, M. (2020). The theory of precautionary saving: an overview of recent developments. Review of Economics of the Household, 18, 513–542. Caball´ e, J. and Pomansky, A. (1996). Mixed risk aversion.Journal of Economic Theory, 71(2), 485–513

work page 2020

[2] [2]

and Trannoy, A

Crainich, D., Eeckhoudt, L. and Trannoy, A. (2013). Even (mixed) risk lovers are prudent. American Eco- nomic Review, 103(4), 1529–1535

work page 2013

[3] [3]

and Schlesinger, H

Deck, C. and Schlesinger, H. (2014). Consistency of higher order risk preferences. Econometrica, 82(5), 1913–1943

work page 2014

[4] [4]

and Eeckhoudt, L

Denuit, M. and Eeckhoudt, L. (2010). Stronger measures of higher-order risk attitudes. Journal of Economic Theory, 145(5), 2027–2036

work page 2010

[5] [5]

and Eeckhoudt, L

Denuit, M. and Eeckhoudt, L. (2013). Risk attitudes and the value of risk transformations. Journal of Economic Theory, 9(3), 245–254

work page 2013

[6] [6]

and Lefevre, C

Denuit, M. and Lefevre, C. (1997). Some new classes of stochastic order relations among arithmetic random variables, with applications in actuarial sciences. Insurance: Mathematics and Economics, 20(3), 197–213

work page 1997

[7] [7]

and Shaked, M

Denuit, M., Lefevre, C. and Shaked, M. (1998). The s-convex orders among real random variables, with applications. Mathematical Inequalities and Applications, 1(4), 585–613

work page 1998

[8] [8]

and Utev, S

Denuit, M., Lefevre, C. and Utev, S. (1999). Stochastic orderings of convex/concave-type on an arbitrary grid. Mathematics of Operations Research, 24(4), 835–846

work page 1999