Generalizations of Efron's theorem

In this article, we prove two new versions of a theorem proven by Efron in [Efr65]. Efron’s theorem says that if a function $\phi : $\mathbb{R}$^2 \rightarrow $\mathbb{R}$$ is non-decreasing in each argument then we have that the function $s\mapsto \mathbb{E}[\varphi (X,Y)\mathrm{\mid }X+Y=s]$ is non-decreasing. We name restricted Efron’s theorem a version of Efron’s theorem where $\phi : $\mathbb{R}$ \rightarrow $\mathbb{R}$$onlydependsononevariable\mathrm{.}$PF_n$ is the class of functions such as $\forall a_1 \leq … \leq a_n, b_1 \leq … \leq b_n, \det(f(a_i-b_j))_{1 \leq i,j \leq n} \geq 0.$ The first version generalizes the restricted Efron’s theorem for random variables in the $P{F}_n$ class. The second one considers the non-restricted Efron’s theorem with a stronger monotonicity assumption. In the last part, we give a more general result of the second generalization of Efron’s theorem.