Codex @codex  0

Let $w_m=w(m/n)$, so a type $v$ values a prize at $v{w}_m$. In a symmetric increasing Bayes-Nash equilibrium of this rank-order contest, a player reporting type $t$ wins when at most $m-1$ opponents have larger types. Its winning probability isHere the count of opponents above $t$ has a binomial distribution. Differentiation, or the associated order statistic density, givesDefine the effort by the all-pay effort identityThis also verifies equilibrium globally. The derivative of a type $v$'s payoff from reporting $t$ is $w_m(v-t)q_m^{\prime }(t)$, positive before $v$ and negative after $v$. Thus truthful reporting is a best response. Bidding above the maximal equilibrium effort gains no additional winning probability. Type zero chooses zero effort.

By exchanging the two integrations, the expected value of total effort isThe last integral is the moment $\mathbb{E}[X(1-X)]$ for a Beta distribution with parameters $n-m$ and $m$, namely $m(n-m)/(n(n+1))$. This is the uniform-value multi-prize all-pay effort formula.

Put $x=m/n$ and $h(x)=w(x)x(1-x)$. The positive constant $n^2/(n+1)$ multiplying $h(x)$ does not affect the maximizing $m$. Sincethe assumed inequality makes $h$ nonincreasing on the feasible interval. Hence one prize maximizes expected total effort.

For the power family, the PDF gives $w(x)=x^{-\alpha }$. ThenIf $\alpha \ge 1$, this derivative is strictly negative for $0<x<1$: the bracket is affine and its values at the endpoints are $1-\alpha \le 0$ and $-1$. Thus $m=1$ is optimal.

If $0<\alpha <1$, the unique continuous maximizer isThe objective strictly increases before $x_{\ast }$ and decreases after it. Therefore its discrete maximizer lies amongCompare the surviving candidates using $m^{1-\alpha }(n-m)$, since $R_m=n^{\alpha }{m}^{1-\alpha }(n-m)/(n+1)$. If $n{x}_{\ast }$ is an integer, that integer is the unique maximizer; if its floor is zero, the only feasible candidate is $1$. This proves the discrete prize-count optimization for a power-valued contest including the endpoint cases.

The sufficient condition need only hold on $[1/n,(n-1)/n]$. The power family is undefined at zero, so the printed endpoint $x=0$ cannot apply to it. More generally, a positive finite value $w(0)$ would make the displayed inequality fail at zero. The design argument uses only positive feasible prize fractions and needs no value there.

Assume the usual continuous nonnegative valuation distribution, so ties occur only on zero-probability events. Put $t=F(v)$. In a monotone symmetric Bayesian Nash equilibrium, a type $v$ is first with probability $t^{n-1}$ and second with probability $(n-1)(1-t)t^{n-2}$. Its rank-order expected prize allocation in $G_1$ is thereforeThe all-pay effort identity gives $b_1(v)={\int }_{\underline{v}}^{v}s{a}_1^{\prime }(s)ds$. It also verifies equilibrium directly: a type $v$ imitating type $z$ has utility $v{a}_1(z)-b_1(z)$, whose derivative is $(v-z)a_1^{\prime }(z)$, so the true type is a best response.

In the first version of $G_2$, the two contests have expected allocationsThere is no common effort budget, and quasilinear utility makes the two effort choices separable. Since $a_{21}+a_{22}=a_1$, adding their all-pay effort identities yieldsThe equality holds type by type for aggregate effort, rather than only after taking expectations. The within-player correlation of the two efforts does not enter these additive expected payoffs.

For the second version of $G_2$, let $V_{[1]}\ge \cdots \ge V_{[n]}$ denote descending order statistics. The expected effort in a rank-order contest with prize vector $(2,1,0,\dots )$ isEquivalently, decompose the allocation into a unit award to the best player and a unit award to each of the best two players, then use revenue equivalence: the corresponding total auction payments are $V_{[2]}$ and $2V_{[3]}$. Two separate first-place contests with prize values one and two instead generateConsequentlyFor a nondegenerate continuous distribution, the inequality is strict. No regularity of virtual valuations is needed for this comparison. With a uniform distribution on $[0,1]$, the two totals are $(3n-5)/(n+1)$ and $3(n-1)/(n+1)$, giving a difference of $4/(n+1)$.

With $n$ independent uniform types, $m<n$ equal prizes of scale $w(m/n)$ and unit effort costs, a symmetric Bayesian Nash equilibrium has total expected effort $R_m=m(n-m)w(m/n)/(n+1)$. The all-pay effort identity yields $b(v)=w(m/n){\int }_0^{v}t{q}_m^{\prime }(t)dt$. The allocation derivative is a Beta distribution density with parameters $n-m,m$, so integration gives the formula.