Year-end Sale % OFF 
Abstract
After the acceptance of our paper “Alternatives to Truthfulness are Hard to Recognize,” Lan Yu pointed out a mistake in our characterization of the Revelation Principle with quasilinear utility (Theorem 7 in our paper). We claimed that the Nested Range Condition (NRC) on a reduced version of the correspondence graph is sufficient and necessary for the Revelation Principle to hold. Lan provided us with a proof that a subtly different and slightly weaker condition, called Strong Decomposability, is actually the correct one. It is nice to know that when payments are allowed not evenNRC guarantees that the Revelation Principle holds!We remark that the other contributions of our work remain correct as Theorem 7 is orthogonal to the rest of our results. In particular, the hardness result in Sect. 4.2 of our work only exploits the non-completeness of the correspondence graph to encode a 3-SAT formula. We wish to thank Lan for her observation and for the interesting discussions about her work. We believe that the model with partial verification is interesting and deserves further studies; it is important that the community has not been misguided by our uncorrect result.
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
