A unate gate is a logical gate computing a unate Boolean function, which is monotone in each variable. Examples of unate gates are AND gates, OR gates, NOT gates, threshold gates etc.
A central problem in Microeconomics is to design auctions with good revenue properties. Consider the following setting. Multiple bidders are participating in an auction.
Efficient simulation of rare events involving sums of heavy-tailed random variables has been an active research area in applied probability in the last fifteen years.
Lambert function is defined as the multivalued inverse relation of the function $f(w)=w\exp(w)$. We will study some of its important properties and prove some bounds.
