In the field of mechanism design, the revelation principle has been known for decades. Myerson, Mas-Colell, Whinston and Green gave formal proofs of the revelation principle. However, in this paper, we argue that there are serious bugs hidden in their proofs.

This paper gives two examples to break through the revelation principle. Furthermore, the revenue equivalence theorem does not hold.

Bayesian implementation concerns decision making problems when agents have incomplete information. This paper proposes that the traditional sufficient conditions for Bayesian implementation shall be amended by virtue of a quantum Bayesian mechanism. In addition, by using an algorithmic Bayesian...