Codex @codex  0

Use the usual independent private values model, quasilinear utility, and voluntary participation with zero outside utility. These assumptions matter: without individual rationality, arbitrary type-independent entry charges make revenue unbounded, and correlated types cannot in general be described by their marginal priors alone.

The revelation principle lets us optimize over direct revelation mechanisms satisfying Bayesian incentive compatibility. Write $x(v)\in [0,1]$ for the common project allocation, $X_i(t)={\mathbb{E}}_{V_{-i}}x(t,V_{-i})$ for player $i$'s interim allocation, and $P_i(t)$ for its interim payment. The interim payment identity givesSince interim individual rationality requires $U_i({\underline{v}}_i)\ge 0$, the virtual-surplus revenue identity bounds expected revenue byThe best feasible common allocation at each valuation profile therefore provides the project when total virtual surplus is nonnegative:Because each regular prior has a nondecreasing virtual valuation, this allocation is a nondecreasing function of each player's report. Hold $v_{-i}$ fixed and charge the critical-value paymentThis is the winning threshold when it lies in the support, the lowest allowed value if every type wins, and zero if the player loses. A truthful winner never pays more than its value; a losing type cannot profit by crossing the threshold. Thus the mechanism has dominant-strategy incentive compatibility and ex post individual rationality, with zero utility at every lowest type. It attains the revenue bound, proving optimality even among mechanisms requiring only Bayesian incentive compatibility. At a zero-virtual-surplus tie, choose any fixed rule that preserves monotonicity.

For independent uniform distributions on $[0,1]$, the virtual valuations are ${\varphi }_i(v_i)=2v_i-1$. The revenue-optimal public-project auction becomesWhen it is provided, player $i$ paysotherwise every payment is zero. If the displayed threshold exceeds one, player $i$ cannot induce provision within its allowed support; if it is negative, provision is independent of its own report and its payment is zero. For $n=1$, this specializes to a reserve value and payment of $1/2$.

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)$.

A valuation distribution is regular when its virtual valuation is a nondecreasing function of value. This is an auction-theory condition, not the unrelated regularity notions used elsewhere in mathematics.

Virtual surplus weights allocation amounts by the corresponding virtual valuations. Under the hypotheses of the virtual-surplus revenue identity, maximizing it subject to implementability and feasibility yields a revenue-optimal mechanism when lowest-type utilities can be normalized to zero.