Virtual valuation (source code)

= Virtual valuation
{title2=$\phi(v)=v-\dfrac{1-F(v)}{f(v)}$}
{wiki}

For an absolutely continuous valuation distribution with density $f(v)>0$, its virtual valuation is $v-(1-F(v))/f(v)$. The <virtual-surplus revenue identity> converts expected incentive-compatible payments into expected allocations weighted by virtual valuations. A <regular prior> makes this quantity nondecreasing.