We formalize the definition of symmetric auctions to study fundamental properties of incentive compatible auction protocols. We characterize such auction protocols for those with a fixed number of items to sell and study some important properties of those with an indefinite number of sales.
Xiaotie Deng, Kazuo Iwama, Qi Qi, Aries Wei Sun, T