Allocation for Social Good
Auditing Mechanisms for Utility Maximization
Taylor Lundy1, Alexander Wei2, Hu Fu1, Scott Duke Kominers2, Kevin Leyton-Brown1
1University of British Columbia 2Harvard University
Allocation for Social Good Auditing Mechanisms for Utility - - PowerPoint PPT Presentation
Allocation for Social Good Auditing Mechanisms for Utility Maximization Taylor Lundy 1 , Alexander Wei 2 , Hu Fu 1 , Scott Duke Kominers 2 , Kevin Leyton-Brown 1 1 University of British Columbia 2 Harvard University Food Banks and Food Pantries
Auditing Mechanisms for Utility Maximization
Taylor Lundy1, Alexander Wei2, Hu Fu1, Scott Duke Kominers2, Kevin Leyton-Brown1
1University of British Columbia 2Harvard University
Food Pantries Food Bank Shipments of Food
Auditing
to observe how their resources are being utilized
help maintain accountability
Repeated Interactions
withholding future allocations
utility maximization problem (i.e. allocation minus payments)
money to a single round social utility maximization problem.
money into a social utility maximization problem.
π’π to the center.
π = π¦1 π , . . . , π¦π π .
consumption πobsβ min(ππ, π¦π) for each agent.
π, πobs .
π, min ππ, π¦π
Quasilinear utility
ππ’ππππ’π§ = ππππ£π β πππ§ππππ’ Interim: π£π ΖΈ π’π, π’π An auditing mechanism β³ is Bayesian-Nash incentive compatible (BIC) if it makes honest reporting a Bayesian Nash equilibrium, i.e. if under β³ we have π£π π’π, π’π β₯ π£π( ΖΈ π’π, π’π) for all π’π.
max ΰ·
π
π£π( ΖΈ π’π, π’π)
β π’π, ΖΈ π’π π£π π’π, π’π β₯ π£π( ΖΈ π’π, π’π)
π‘. π’.
β π, π, ππππ‘ ππ π, πobs β₯ 0
Maximize value minus payments
BIC constraints No negative payments Difficult to solve for the general case
using classical auction theory.
unused when maximizing utility. Waste-not-Pay-not Mechanisms
Myersonβs Lemma with Auditing Every waste-not-pay-not mechanism satisfies BIC constraints if and only if for each agent π, the following two conditions hold:
π’π when the observed demand is 0 is
ππ( ΖΈ π’π, πobs = 0) = ΖΈ π’π β π¦π( ΖΈ π’π) (1 β ΖΈ π’π) β ΰΆ±
α π’π
π¦π(π€) 1 β π€ 2 ππ€
Agent 1
Agent 2
SPA Price Audited SPA Payment Audited SPA Expected Payment If Agent 2 Deviated
1 β π’π§ππ 1 β ππ πππ
β₯ 1 β€ 1
When type β€ price When type β₯ price Payments are SPA payments scaled by: Ex: Uniform Distribution π πππππππ π’π§ππ =
2 3 and π ππ πππ = 1 3
Auditing cuts the expected payment in half
utility mechanism whenever it charges a payment.
larger gains than just altering the payment.
money to a social utility maximization problem.
distribution π’π βΌ π»
strategy that depends on not only their current type but the history of their interactions.
resolution over finite deviations in strategy.
constants: the allocation length π and the debt rate π
Allocation Rounds:
Punishment Rounds:
rounds
Allocation Rounds:
Punishment Rounds:
rounds
1 2 3 4 5 6 Debt rate: r = 4 Allocation length =3 Ex: p=5 p=0 r=4 p=3 r=4
Given a debt mechanism β³πΈ = (β³, π , π) if:
Average welfare β³πΈ = Expected Utility β³
Utility Maximization
Ruggiero Cavallo. Optimal decision-making with minimal waste: Strategyproof redistribution of vcg payments. Jason D. Hartline and Tim Roughgarden. Optimal mechanism design and money burning.
Repeated allocation without money
Artur Gorokh, Siddhartha Banerjee, and Krishnamurthy Iyer. From monetary to non-monetary mechanism design via artificial currencies. Mingyu Guo, Vincent Conitzer, and Daniel M. Reeves. Competitive repeated allocation with-out payments. Santiago Balseiro, Huseyin Gurkan, and Peng Sun. Multi-agent mechanism design without money.
Auditing
Hongyao Ma, Reshef Meir, David C. Parkes, and James Zou. Contingent payment mechanisms to maximize resource utilization. Robert G. Hansen. Auctions with contingent payments.
efficient solutions to the food bank and food pantry problem.
problem without money to a static utility maximization problem