Conditional expected value of mutlitple draws from uniform distribution There are $m$ i.i.d. draws of $x$ made from a uniform distribution on $[0,1]$. The $n$ ($n\leq m$) lowest draws are "winners", i.e. if we write $x_1\leq\ldots\leq x_n\ldots\leq x_m$, the draws $x_1$ to $x_n$ are "winning draws".
Now player/draw $i$ learns his $x_i$ and the fact that he is a winner, i.e. $i\in[1,n]$. What is the expected value of the remaining $(n-1)$ winning draws, given $i$'s knowledge of his own draw and the fact that he is a winner (but not knowing his "rank"/position among the winners).

EDIT: With the help of the comments below, this is what I have managed to do (credits to the commentators!):


*

*The unconditional expected value of the winning draws is $\frac{1}{n}\sum_{i=1}^n \frac{i}{1+m}=\frac{n+1}{2(m+1)}$.

*Obviously, the unconditional cdf is given by $F(x)=x$ for $x\in[0,1]$.

*$i$ can be the 1st, 2nd, ... nth of the winners. For each rank, compute the expected value of the remaining $n-1$ winners (distributed below/above him, depending on $i$'s rank) and weight it by the probability of this rank.

*The expected value of the remaining winners, conditional on $x_i$ and the knowledge that $i$ is a "winner", can hence be computed by (incomplete and possibly wrong!):


\begin{alignat*}{3}
\frac{1}{n-1}\bigg(%
 &(1-x_i)^{m-1}   &\cdot\binom{m-1}{0} &[(1-1)\frac{x_i}{2} &+\sum_{k=1}^{n-1}(x_i+(1-x_i)E[x_{(k)}^{m-1}])]\\
+ &(1-x_i)^{m-2}x_i^1  &\cdot\binom{m-1}{1} &[(2-1)\frac{x_i}{2} &+\sum_{k=1}^{n-2}(x_i+(1-x_i)E[x_{(k)}^{m-2}])]\\
+ &\ldots\\
+ &(1-x_i)^{m-j-2}x_i^{j-1} &\cdot\binom{m-1}{j-1} &[(j-1)\frac{x_i}{2} &+\sum_{k=1}^{n-j}(x_i+(1-x_i)E[x_{(k)}^{m-j}])]\\
+ &\ldots\\
+ &(1-x_i)^{m-n-1}x_i^{n-1} &\cdot\binom{m-1}{n-1} &[(n-1)\frac{x_i}{2} &+\sum_{k=1}^{n-n}(x_i+(1-x_i)E[x_{(k)}^{m-n}])]%
\bigg)
\end{alignat*}

QUESTIONS: 


*

*Is the above correct? For example, am I missing a normalisation?

*Is it correct that if in addition $i$ also knew his "rank", rather than using the summation above, he would only consider the respective summand indicating the correct position. (From the comments, this seems to be correct.) How does this change a potential normalisation?

*Is it correct that
$$ E[x_{(k)}^{m-j}]=\frac{k}{m+1-j} $$
in the equation above, with $x_{(k)}^{m-j}$ being (if I understand it correctly) the k-th lowest out of $m-j$ iid draws?

*If I was also interested in the expected square of the other "winners" (not the square of the expected other winners), I would need to modify the formula above such that:


*

*replace $(j-1)\frac{x_i}{2}$ by
$$E[\sum_{k=1}^{j-1}x_k^2|x_k\sim U(0,x_i), \text{ iid}]=\frac{x_i^2 (2j-1)}{6j}$$

*and $E[x_{(k)}^{m-j}]$ by
$$E[(x_{(k)}^{m-j})^2]=(\frac{k}{m+1-j})^2$$




Also, should I delete my lengthy (and wrong) comments below? Should I make this question more "canonical" (and if so, how)?
 A: Based on the comments above, this is what I've come to:
There are $m$ i.i.d. draws of X from $U(0,1)$, with $x_{(1)}\leq\ldots\leq x_{(n)}\leq\ldots\leq x_{(m)}$ being the order statistics. Given some $x_{(i)}=x_i, i\in N=\{1,\ldots,n\}$, I want to compute the expected average of the $(n-1)$ remaining lowest draws - conditional on knowing $x_i, i\in N$, but not knowing the rank $(i)$ itself! That is, I know that the draw $x_i$ is among the $n$ lowest, but not its precise order.
With the help of the comments, the solution seems to be that this expectation equals
$$
\underbrace{\frac{1}{(n-1)}}_{1.}\cdot\underbrace{\frac{1}{\sum_{j=1}^n \binom{m-1}{j-1}\left(1-x_i\right)^{m-j}x_i^{j-1}}}_{2.}\cdot\sum_{j=1}^n\underbrace{\binom{m-1}{j-1}(1-x_i)^{m-j}x_i^{j-1}}_{3.}\underbrace{\left((j-1)\frac{x_i}{2}+\sum_{k=1}^{n-j}(x_i+\frac{k(1-x_i)}{m-j+1})\right)}_{4.}
$$
where the terms represent


*

*average ($n-1$ items)

*normalisation

*probability of $x_i$ being order position $j$

*conditional expectation of the remaining $(n-1)$ samples if $x_i$ is order position $j$


If anyone can confirm this (I posted it as a comment previously), I'd be very grateful. Also, if one of the commenters who helped me with the solution would like to post this as an answer themselves, I am more than happy to mark it as accepted!
