Partial Verification as a Substitute for Money

12/18/2018
by   Sofia Ceppi, et al.
0

Recent work shows that we can use partial verification instead of money to implement truthful mechanisms. In this paper we develop tools to answer the following question. Given an allocation rule that can be made truthful with payments, what is the minimal verification needed to make it truthful without them? Our techniques leverage the geometric relationship between the type space and the set of possible allocations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/16/2022

Double Retrieval and Ranking for Accurate Question Answering

Recent work has shown that an answer verification step introduced in Tra...
research
04/27/2018

Probabilistic Verification for Obviously Strategyproof Mechanisms

Obviously strategyproof (OSP) mechanisms maintain the incentive compatib...
research
07/06/2021

A Framework for Proof-carrying Logical Transformations

In various provers and deductive verification tools, logical transformat...
research
09/24/2021

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems

Verification is a critical process in the development of engineered syst...
research
04/12/2021

Automated Mechanism Design for Classification with Partial Verification

We study the problem of automated mechanism design with partial verifica...
research
08/07/2020

Prolog for Verification, Analysis and Transformation Tools

This article examines the use of the Prolog language for writing verific...
research
11/18/2021

Optimal Allocation of Water and Sanitation Facilities To Prevent Communicable Diarrheal Diseases in Senegal Under Partial Interference

For several decades, Senegal has faced inadequate water, sanitation, and...

Please sign up or login with your details

Forgot password? Click here to reset