Presentation from the University of Bristol
grape_uw
151 views
231 slides
Jun 25, 2024
Slide 1 of 231
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
About This Presentation
Presentation from the University of Bristol
Slide Content
Inequality-aware Market Design
and Income Taxation
Mohammad Akbarpour (Stanford University)
Paweł Doligalski (University of Bristol)
Piotr Dworczak
?
(Northwestern University; GRAPE)
Scott Duke Kominers (Harvard University; a16z)
March 6, 2024
Department Seminar, University of Bristol
?
Co-funded by the European Union (ERC, IMD-101040122). Views and opinions expressed are those of the authors
only and do not necessarily reflect those of the European Union or the European Research Council.
and Income Taxation
Mohammad Akbarpour (Stanford University)
Paweł Doligalski (University of Bristol)
Piotr Dworczak
?
(Northwestern University; GRAPE)
Scott Duke Kominers (Harvard University; a16z)
March 6, 2024
Department Seminar, University of Bristol
?
Co-funded by the European Union (ERC, IMD-101040122). Views and opinions expressed are those of the authors
only and do not necessarily reflect those of the European Union or the European Research Council.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Policymakers frequently distort allocation of goods and services in
markets, often motivated by redistributive and fairness concerns:
žHousing(rent control; public housing; LIHTC in the US)žHealth care(public health care in Europe, Medicare and Medicaid in the US)žFood(food stamps in the US; in-kind food transfer programs (rice, wheat,...)
in developing countries)
žEnergy(electricity in virtually all European countries at the moment;
kerosene in India; energy subsidies in Latin America;... )
žCovid-19 vaccinesžRoad accessžLegal services
ž...Such policies naturally raise concerns among economists.
Inequality-aware Market Design
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
Inequality-aware Market Design
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
Inequality-aware Market Design
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
Inequality-aware Market Design
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
žArgument #1 against redistribution through markets:II Welfare
Theorem(let’s assume that I Welfare Theorem holds):žBut: II Welfare Theorem does not account for private information!žInequality-aware Market Design (IMD):
How to designindividualmarkets in the presence of
socioeconomicinequalityandprivate information?
žMain takeaway: Market distortions (taxes, subsidies, inefficient
rationing) can be part of optimal mechanisms when the market
designer has sufficiently strong redistributive preferences (and
does not have access to other tools to effect redistribution).
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
žThere are 3 agents: Ann, Bob, and Claire.
žThere are 2 homogeneous goods (e.g., houses) to allocate.žAgents have the following utilitiesufor a house:
Ann: 1/4, Bob: 3/4, Claire: 1.
žHowever, these agents also differ in wealthw:
Ann: 8, Bob: 1, Claire: 1.
žAll agents have the same utility function
log(w) +u˙x;
wherexis the probability of having a house.
žSocial planner aims to maximize the sum of utilities.
Inequality-aware Market Design—Example
Inequality-aware Market Design—Example
Inequality-aware Market Design—Example
Inequality-aware Market Design—Example
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8
Bob 3/4 1
Claire 1 1
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8
Bob 3/4 1
Claire 1 1
Inequality-aware Market Design—Example
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
Equivalentrepresentation of the problem:
val. goodval. moneywilling. paywelfare weight
Ann 2 1 2 1/8
Bob 3/4 1 3/4 1
Claire 1 1 1 1
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
Equivalentrepresentation of the problem:
val. goodval. moneywilling. paywelfare weight
Ann 2 1 2 1/8
Bob 3/4 1 3/4 1
Claire 1 1 1 1
Inequality-aware Market Design—Example
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
Equivalentrepresentation of the problem:
val. goodval. moneywilling. paywelfare weight
Ann 2 1 2 1/8
Bob 3/4 1 3/4 1
Claire 1 1 1 1
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
Equivalentrepresentation of the problem:
val. goodval. moneywilling. paywelfare weight
Ann 2 1 2 1/8
Bob 3/4 1 3/4 1
Claire 1 1 1 1
Inequality-aware Market Design—Example
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
utility for goodvalue for moneywillingness to pay
Ann 1/4 1/8 2
Bob 3/4 1 3/4
Claire 1 1 1
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙1=3
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
0+1˙2=3
Claire 1 1 1
1Γ1˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
2=3
Claire 1 1 1
11˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
2=3
Claire 1 1 1
11˙1=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
2=3
Claire 1 1 1
2=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
5=24
Bob 3/4 1 3/4
2=3
Claire 1 1 1
2=3
Mechanism #1:Market equilibrium(+ lump-sum transfers)Market-clearing price: 1
House owners: Ann & Claire
Lump-sum transfer: 2=3Total utility: 37=24
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
2=3˙1=4
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
2=3fl3=4
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3˙1
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Total utility: 32=24 (<37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Among all mechanisms charging a single pricep,p=1 is optimal.
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=6
Bob 3/4 1 3/4
1=2
Claire 1 1 1
2=3
Mechanism #2:Random allocation
Price: 0
House owners: 66% Ann & 66% Bob & 66% Claire
Lump-sum transfer: 0Among all mechanisms charging a single pricep,p=1 is optimal.
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
1=4Γ1=8˙2=3
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
1=2˙3=4+1˙1=3
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
1=2˙1Γ1˙1=3
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
20=24
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
20=24
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3Total utility: 41=24(>37=24)
Inequality-aware Market Design—Example
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
20=24
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3This is in fact the optimal mechanism! (subject to IC constraints)
val. goodval. moneyWTP utility
Ann 1/4 1/8 2
4=24
Bob 3/4 1 3/4
17=24
Claire 1 1 1
20=24
Mechanism #3: Allocate 1st unit bylottery, sell 2nd unit inmarketMarket-clearing price for 2nd unit: 1
(Ann’s indifference: 1=4Γ1=8˙1=1=2fl1=4)
House owners: Ann & 50% Claire & 50% Bob
Lump-sum transfer: 1=3This is in fact the optimal mechanism! (subject to IC constraints)
Inequality-aware Market Design—Example
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
Inequality-aware Market Design—Example
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
Inequality-aware Market Design—Example
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
Inequality-aware Market Design—Example
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
val. moneyWTPutility—marketutility—rationing
Ann 1/8 2 5 4
Bob 1 3/4 16 17
Claire 1 1 16 20
Intuition:žValues for money (welfare weights) are negatively correlated with
willingness to pay.
žMarket behavior can be used for screening: Choosing the lottery
reveals a higher-than-average value for money.
žThe designer can then increase the utility of agents with higher
value for money by reducing the price of the rationed option.
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
Inequality-aware Market Design—Papers
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
žDKA (2021):
žTwo-sided market with buyers and sellers for an indivisible good
žRationing used if significant inequality within a side of the marketžTaxes/ subsidies used if inequality across the two sides of the marketžADK (2023):
žOne-sided allocation problem with goods differing in quality, observable
information, and flexible preferences over revenue
žA Budish DK (2023):
žApplication to allocation of Covid-19 vaccines (interaction of redistributive
preferences with allocative externalities)
žTokarski KAD (2023):Application to energy pricing in EuropežD (2023), Yang DA (2024):Optimality of using costly screening (e.g., queuing)
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
žArgument #2 against redistribution through markets:The
Atkinson-Stiglitz theorem
žUnder certain conditions, redistribution should be done entirely
via income taxation.
žBut: Atkinson-Stiglitz theorem assumes that the only
heterogeneity in the population is in ability to generate income.
žMain questions for this project:
žShould markets be optimally distorted when there is also
heterogeneity in tastes for goods?
žIf yes, what is the interaction between IMD and income
taxation?
IMD and Income Taxation
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
IMD and Income Taxation
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
IMD and Income Taxation
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
IMD and Income Taxation
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
IMD and Income Taxation
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Result #1:Assuming separable utility functions and multidimensional
heterogeneity, if
1.
2.
3.
then the conclusion of the AS theorem holds.
Result #2:If any of the assumptions 1, 2, or 3 are relaxed, then
distortions in markets may be optimal.
žWe provide analytical solutions in a linear model with a single
good, binary ability type, and continuous taste type.
žDistortions in markets are “generically” optimal.
Literature Review
žSuboptimality of goods market distortions:
Diamond and Mirrlees (1971), Atkinson and Stiglitz (1976), Gauthier and
Laroque (2009), Doligalski et al. (2023)
žTaste heterogeneity and failure of Atkinson-Stiglitz theorem:
Cremer and Gavhari (1995, 1998, 2002), Saez (2002), Kaplow (2008),
Golosov et al. (2013), Gauthier and Henriet (2018), Scheuer and Slemrod
(2020), Hellwig and Werquin (2023), Ferey et al. (2023), ...
žTwo-dimensional heterogeneity in public finance:
Cremer et al. (2003), Blomquist and Christiansen (2008), Diamond and
Spinnewijn (2011), Piketty and Saez (2013), Saez and Stantcheva (2018),...
žIMD precursors:Spence (1977), Weitzman (1977), Nichols and
Zeckhauser (1982), Condorelli (2013), ...
žRelated mechanism-design papers:Jullien (2000), Che et al. (2013),
Fiat et al. (2016), Li (2021), Dworczak and Muir (2024), ...
žSuboptimality of goods market distortions:
Diamond and Mirrlees (1971), Atkinson and Stiglitz (1976), Gauthier and
Laroque (2009), Doligalski et al. (2023)
žTaste heterogeneity and failure of Atkinson-Stiglitz theorem:
Cremer and Gavhari (1995, 1998, 2002), Saez (2002), Kaplow (2008),
Golosov et al. (2013), Gauthier and Henriet (2018), Scheuer and Slemrod
(2020), Hellwig and Werquin (2023), Ferey et al. (2023), ...
žTwo-dimensional heterogeneity in public finance:
Cremer et al. (2003), Blomquist and Christiansen (2008), Diamond and
Spinnewijn (2011), Piketty and Saez (2013), Saez and Stantcheva (2018),...
žIMD precursors:Spence (1977), Weitzman (1977), Nichols and
Zeckhauser (1982), Condorelli (2013), ...
žRelated mechanism-design papers:Jullien (2000), Che et al. (2013),
Fiat et al. (2016), Li (2021), Dworczak and Muir (2024), ...
Literature Review
žSuboptimality of goods market distortions:
Diamond and Mirrlees (1971),Atkinson and Stiglitz (1976), Gauthier and
Laroque (2009),Doligalski et al. (2023)
žTaste heterogeneity and failure of Atkinson-Stiglitz theorem:
Cremer and Gavhari (1995, 1998, 2002), Saez (2002), Kaplow (2008),
Golosov et al. (2013), Gauthier and Henriet (2018), Scheuer and Slemrod
(2020), Hellwig and Werquin (2023), Ferey et al. (2023), ...
žTwo-dimensional heterogeneity in public finance:
Cremer et al. (2003), Blomquist and Christiansen (2008), Diamond and
Spinnewijn (2011), Piketty and Saez (2013), Saez and Stantcheva (2018),...
žIMD precursors:Spence (1977), Weitzman (1977), Nichols and
Zeckhauser (1982), Condorelli (2013), ...
žRelated mechanism-design papers:Jullien (2000), Che et al. (2013),
Fiat et al. (2016), Li (2021), Dworczak and Muir (2024), ...
žSuboptimality of goods market distortions:
Diamond and Mirrlees (1971),Atkinson and Stiglitz (1976), Gauthier and
Laroque (2009),Doligalski et al. (2023)
žTaste heterogeneity and failure of Atkinson-Stiglitz theorem:
Cremer and Gavhari (1995, 1998, 2002), Saez (2002), Kaplow (2008),
Golosov et al. (2013), Gauthier and Henriet (2018), Scheuer and Slemrod
(2020), Hellwig and Werquin (2023), Ferey et al. (2023), ...
žTwo-dimensional heterogeneity in public finance:
Cremer et al. (2003), Blomquist and Christiansen (2008), Diamond and
Spinnewijn (2011), Piketty and Saez (2013), Saez and Stantcheva (2018),...
žIMD precursors:Spence (1977), Weitzman (1977), Nichols and
Zeckhauser (1982), Condorelli (2013), ...
žRelated mechanism-design papers:Jullien (2000), Che et al. (2013),
Fiat et al. (2016), Li (2021), Dworczak and Muir (2024), ...
Talk outline
1.
2.
3.
žOptimal design with a simple income effect
žOptimal design with welfare weights depending on taste
žOptimal design under correlation of ability and taste
1.
2.
3.
žOptimal design with a simple income effect
žOptimal design with welfare weights depending on taste
žOptimal design under correlation of ability and taste
Model
Model
Model
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
žWe introduce a general model to prove the AS result; we make
simplifying assumptions later to solve the model when the AS
result fails.
žThere is a unit mass of agents characterized by two-dimensional
types:(t; ȷ), wheretis “taste” andȷis “ability.”
žSocial planner allocates:
žnumeraire consumption goodc2R,
žvector of goodsx2X∂R
L
+,žearnings (pre-tax)y2R.
žEach agent’s utility function is
U((c;x;y);(t; ȷ)) =u(c) +v(x;t)Γw(y;ȷ);
where the functionu;v;ware non-decreasing.
Model
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
Model
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
Model
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
Model
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
žTypes(t; ȷ)have a joint distributionF(t; ȷ)in the population.
žGoods inxcan be produced at fixed marginal costsk2R
L
+
(in terms of the numeraire).
žThe planner must respect the resource constraint:
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB;
whereBcould be positive (government expenditure) or negative
(outside source of revenue).
žThe planner uses social welfare weightsffl(t; ȷ)ffl0, with
average weight normalized to 1.
Planner’s problem
Choose an allocationa= (c;x;y)to maximize
Z
ffl(t; ȷ)U(a(t; ȷ);(t; ȷ))dF(t; ȷ)
subject to incentive-compatibility constraints
U(a(t; ȷ);(t; ȷ))fflU(a(t
0
; ȷ
0
);(t; ȷ));8(t; ȷ);(t
0
; ȷ
0
);
and the resource constraint
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB:
Choose an allocationa= (c;x;y)to maximize
Z
ffl(t; ȷ)U(a(t; ȷ);(t; ȷ))dF(t; ȷ)
subject to incentive-compatibility constraints
U(a(t; ȷ);(t; ȷ))fflU(a(t
0
; ȷ
0
);(t; ȷ));8(t; ȷ);(t
0
; ȷ
0
);
and the resource constraint
Z
[y(t; ȷ)Γc(t; ȷ)Γk˙x(t; ȷ)]dF(t; ȷ)fflB:
Atkinson-Stiglitz result
Atkinson-Stiglitz result
Atkinson-Stiglitz result
Atkinson-Stiglitz result
Given the additive separability, the efficient allocation of goods is
x
?
(t; ȷ) =argmax
x
fu(˜c(t; ȷ)Γk˙x) +v(x;t)g, where˜cdenotes
post-tax earnings (or total consumption expenditures).
Theorem
Suppose that:
1.There are no income effects: u(c) =c;c2R;
2.Welfare weights depend only on the productivity type:
ffl(t; ȷ) =
¯
ffl(ȷ);8(t; ȷ);
3.Ability and taste types are statistically independent:
F(t; ȷ) =Ft(t)Fȷ(ȷ);8(t; ȷ), where Ftand Fȷdenote the marginal
distributions.
Then, the optimal mechanism induces the efficient choice of x, and
can be implemented with an income tax alone.
Given the additive separability, the efficient allocation of goods is
x
?
(t; ȷ) =argmax
x
fu(˜c(t; ȷ)Γk˙x) +v(x;t)g, where˜cdenotes
post-tax earnings (or total consumption expenditures).
Theorem
Suppose that:
1.There are no income effects: u(c) =c;c2R;
2.Welfare weights depend only on the productivity type:
ffl(t; ȷ) =
¯
ffl(ȷ);8(t; ȷ);
3.Ability and taste types are statistically independent:
F(t; ȷ) =Ft(t)Fȷ(ȷ);8(t; ȷ), where Ftand Fȷdenote the marginal
distributions.
Then, the optimal mechanism induces the efficient choice of x, and
can be implemented with an income tax alone.
Atkinson-Stiglitz result
Given the additive separability, the efficient allocation of goods is
x
?
(t; ȷ) =argmax
x
fu(˜c(t; ȷ)Γk˙x) +v(x;t)g, where˜cdenotes
post-tax earnings (or total consumption expenditures).
Theorem
Suppose that:
1.There are no income effects: u(c) =c;c2R;
2.Welfare weights depend only on the productivity type:
ffl(t; ȷ) =
¯
ffl(ȷ);8(t; ȷ);
3.Ability and taste types are statistically independent:
F(t; ȷ) =Ft(t)Fȷ(ȷ);8(t; ȷ), where Ftand Fȷdenote the marginal
distributions.
Then, the optimal mechanism induces the efficient choice of x, and
can be implemented with an income tax alone.
Given the additive separability, the efficient allocation of goods is
x
?
(t; ȷ) =argmax
x
fu(˜c(t; ȷ)Γk˙x) +v(x;t)g, where˜cdenotes
post-tax earnings (or total consumption expenditures).
Theorem
Suppose that:
1.There are no income effects: u(c) =c;c2R;
2.Welfare weights depend only on the productivity type:
ffl(t; ȷ) =
¯
ffl(ȷ);8(t; ȷ);
3.Ability and taste types are statistically independent:
F(t; ȷ) =Ft(t)Fȷ(ȷ);8(t; ȷ), where Ftand Fȷdenote the marginal
distributions.
Then, the optimal mechanism induces the efficient choice of x, and
can be implemented with an income tax alone.
Atkinson-Stiglitz result
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Atkinson-Stiglitz result
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Atkinson-Stiglitz result
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Atkinson-Stiglitz result
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Atkinson-Stiglitz result
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Proof outline:
1.
2. t=t0, dropping the IC
constraints of reportingttruthfully.
3.
separability, the standard Atkinson-Stiglitz result holds (formally,
we use the approach from Doligalski et al., 2023).
4.
˜c(t0; ȷ) =c(t0; ȷ) +k˙x
?
(t0)(note:x
?
does not depend onȷ).
5. (˜c;y)that solves the relaxed problem fort=t0does
not depend ont0.
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Proof outline continued:
5.(˜c;y)does not depend ont0because:
žBy assumption 2, the distribution ofȷis the same for allt0;
žBy assumption 3, the welfare weights do not vary witht0;žBy assumption 1,t0only affects the “split” of total
consumption between numeraire and other goods.
6. (˜c(ȷ);y(ȷ);x
?
(t))is IC for the full problem:
˜c(ȷ)Γk˙x
?
(t) +v(x
?
(t);t)Γw(y(ȷ); ȷ)=(˜c(ȷ)Γw(y(ȷ); ȷ))+(v(x
?
(t);t)Γk˙x
?
(t))ffl(˜c(ȷ
0
)Γw(y(ȷ
0
); ȷ))+(v(x
?
(t
0
);t)Γk˙x
?
(t
0
))=˜c(ȷ
0
)Γk˙x
?
(t
0
) +v(x
?
(t
0
);t)Γw(y(ȷ
0
); ȷ): ⁄
Atkinson-Stiglitz result
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Atkinson-Stiglitz result
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Atkinson-Stiglitz result
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Comments:
žAssumption 1 is crucial—in particular, we have used the fact that
ccan be potentially negative.
žAssumptions 2 and 3 similar in spirit to the conditions derived by
Saez (2002) using the perturbation approach.
žIf we add a participation constraint, and assume that the planner
maximizes revenue (or is Rawlsian), the result breaks down.
Optimality of market distortions
Optimality of market distortions
Optimality of market distortions
Framework
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
Framework
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
Framework
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
Framework
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
Framework
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
žTo solve the model without Assumptions 1–3, we make further
simplifying assumptions.
žThere is a single indivisible good,x2[0;1](can be interpreted
as bounded quality); earningsy2[0;¯y].
žAbility typeȷis binary:ȷ2 fȷ
L; ȷ
Hg, whereȷ
L≥0, andȷ
H>1.žLet≠
ibe the mass of ability typesi, andF
i(t)the CDF of tastet
conditional on ability typei, supported on[0;¯t], fori2 fL;Hg.
žUtility function is piece-wise linear:
(
c+t˙xΓ
1
ȷ
˙y cfflc;
Γ1 c<c;
wherecis a “subsistence” level.
Framework
Framework
Framework
Framework
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Framework
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Framework
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Commentsabout the framework:
žWillingness to pay is
WTP=
t c >c;
2[0;t]c=c;
0 c<c:
žSo efficiency requires
x
?
(t;c) =
1 c>candt>k;
2[0;1]c=candt>k;
0 c<cort<k:
žThe framework is a “best-case” scenario for income taxation.
Results
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Results
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Results
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Results
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Results
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Lemma
There exists an optimal mechanism that features
žefficient provision of labor (high-ability agents choose y=¯y,
low-ability agents choose y=0);
žone-step allocation rule x
L(possibly with rationing) for low-ability
agents;
žat most a three-step allocation rule x
Hfor high-ability agents.
If there is no income effect (c! Γ1or B! Γ1), then both
allocation rules reach1at the highest step, and x
Hhas at most two
steps.
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Proof overview:
žIf high-ability agents do not work full time, increase their labor
supplyyand consumptioncto keep them indifferent:
žleaves utilities unchanged;
žrelaxes the incentive-compatibility constraints;žrelaxes the resource constraint=)strict improvement.žUse the envelope formula to solve for the consumption rule in
terms of the two allocation rules, a lump-sum payment, and an
extra monetary payment to high types.
žLump-sum payment pinned down by the resource constraint.žThe “subsistence constraint” (c
i(t)fflc) binds only at the highest
type¯tfor eachi2 fL;Hg, and hence depends onx
i(¯t).
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
žParameterize¯x
L=x
L(¯t),¯x
H=x
H(¯t), and assign Lagrange
multipliersı
Lffl0; ı
Hffl0 to the two subsistence constraints.
žIncentive-compatibility constraints:
žNo misreport oftconditional on true report ofȷ=ȷ
L:
=)x
L(t)is non-decreasing;
žNo misreport oftconditional on true report ofȷ=ȷ
H:
=)x
H(t)is non-decreasing;
žNo misreport oftand misreport ofȷ=ȷ
L
()ruled out by the assumption thatȷ
L≥0.
žNo misreport oftand misreport ofȷ=ȷ
H
()no misreport ofȷ=ȷ
Hbut truthful report oft
()an outside option constraint.
Results
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
Results
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
Results
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
Results
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
Results
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
žAn outside option constraint:
∆ +
Z
t
0
x
H(∏)d∏fflU
L(t) :=
Z
t
0
x
L(∏)d∏;8t2[0;¯t]:
žIf we fixx
L, the problem is analogous to linear mechanism design
with a type-dependent outside option constraint (Jullien, 2000)
žDworczak and Muir (2024): We can solve this problem using an
adaptation of the ironing technique (Myerson, 1981).
=)The optimal(∆;x
H)depend linearly onx
L.
žThe problem of optimizing overx
Lis linear with no constraints:
=)The optimalx
Ltakes the formx
L(t) =¯x
L˙1
ftfflt
?
L
g.
žThis implies a bound on the number of steps ofx
H(t). ⁄
Case # 1: Income effect
Case # 1: Income effect
Case # 1: Income effect
Case # 1: Income effect
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
Case # 1: Income effect
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
Case # 1: Income effect
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
Case # 1: Income effect
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
Case # 1: Income effect
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
žSuppose that Assumptions 2 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žffl
H(t) =0 and≠
Lffl
L(t) =1, for allt.
žSuppose that buyer and seller virtual surpluses
tΓ(1ΓF(t))=f(t)andt+F(t)=f(t)are non-decreasing.
žFinally, assume that
≠
H
ȷ
1Γ
1
ȷ
H
ff
<B+c+k;
=)income effect has bite.
Case # 1: Income effect
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Case # 1: Income effect
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Case # 1: Income effect
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Case # 1: Income effect
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Case # 1: Income effect
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Theorem
There exists an optimal mechanism that can be implemented as
follows:
žIncome is taxed at a rate1Γ1=ȷ
H(high-ability agents work);
žAnyone can purchase eitherž¯x
Lof the good at a unit price p
L<k; or
ž¯x
Hunits of the good at a unit price p
H(1Γ¯x
L=¯x
H) +p
L;
where p
Hlies between marginal cost k and the optimal
monopoly price (equal to optimal monopoly price if¯x
H=1)
žEveryone receives a lump-sum transfer equal to c+p
L
¯x
L.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Discussion:
žIncome tax extracts all surplus but is not distortionary.žLow-ability agents with sufficiently hightpurchase the good at a
subsidized price subject to rationing.
žBasic intuition:žSuppose the good is priced atk. Low-ability agents are
constrained and buyx<1 despite having high tastet.
žConsider perturbing the price top=kΓž, for smallž >0.žThere is a second-order loss in efficiency (marginal effect)...ž... but there is a first-order gain in welfare since all types
t>kcan now buyžmore of the good (inframarginal effect)
žHigh-ability agents can “top up” in the market but pay a unit price
higher than marginal cost.
Case # 1: Income effect
Goods allocation in optimal mechanism
Goods allocation in optimal mechanism
Case # 1: Income effect
Goods allocation in optimal mechanism
Goods allocation in optimal mechanism
Case # 1: Income effect
Numeraire consumption in optimal mechanism
Numeraire consumption in optimal mechanism
Case # 1: Income effect
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Case # 1: Income effect
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Case # 1: Income effect
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Case # 1: Income effect
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Case # 1: Income effect
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Is the result driven by our stylized “income effect”?
žModel with income effect very difficult to solve analytically.
žWe are working on two extensions:
žConcave utilityu(c)in a 2fi2 model;
žOptimality of distortion in the “same direction” in a model
with concave utilityu(c).
žNumerically, results appear robust.
Case # 1: Income effect
Goods allocation in optimal mechanism
Goods allocation in optimal mechanism
Case # 1: Income effect
Goods allocation in optimal mechanism (u(c) =
p
c)
Goods allocation in optimal mechanism (u(c) =
p
c)
Case # 1: Income effect
Goods allocation in optimal mechanism (u(c) =
p
c)
Goods allocation in optimal mechanism (u(c) =
p
c)
Case # 1: Income effect
Numeraire consumption in optimal mechanism
Numeraire consumption in optimal mechanism
Case # 1: Income effect
Numeraire consumption in optimal mechanism (u(c) =
p
c)
Numeraire consumption in optimal mechanism (u(c) =
p
c)
Case # 1: Income effect
Goods allocation in optimal mechanism (multiple ability types)
Goods allocation in optimal mechanism (multiple ability types)
Case # 1: Income effect
Numeraire consumption in optimal mechanism (multiple ability types)
Numeraire consumption in optimal mechanism (multiple ability types)
Case # 1: Income effect
Numeraire consumption in optimal mechanism (multiple ability types)
Numeraire consumption in optimal mechanism (multiple ability types)
Case # 1: Income effect
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Case # 1: Income effect
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Case # 1: Income effect
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Case # 1: Income effect
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Intuitionfor the result under concaveu:
žPurchasing the good implies higher marginal utility for money
u
0
(c)relative to agents who do not buy.žThus, the planner endogenously values giving more money to
agents who buy the good (higher typet).
žWelfare improvement can therefore be accomplished by
subsidizing the purchase of the good (below marginal cost).
žHelpful thought exercise: Think of the good being treatment for a
serious illness.
Case # 2: Welfare weights depend on taste type
Case # 2: Welfare weights depend on taste type
Case # 2: Welfare weights depend on taste type
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
žSuppose that Assumptions 1 and 3 from the AS result hold:
žF
L(t) =F
H(t) =F(t), for allt;
žu(c) =c;c2R.žSuppose that welfare weights can depend on the taste type.žLetΛ
i(t)be the average welfare weight on all types higher
thant, conditional oni2 fL;Hg.
žLetΛ(t) =≠
LΛ
L(t) +≠
HΛ
H(t):žLeth(t)be the inverse hazard rate, andJ(t) =tΓh(t)be
the virtual surplus function associated with distributionF.
žAssume thatž(Λ
i(t)h(t) +J(t)Γk)f(t)is non-decreasing whenever it is
negative, fori2 fL;Hg.
žΛ
L(t)fflΛ
H(t);for allt(weaker thanffl
L(t)fflffl
H(t)for allt).
Case # 2: Welfare weights depend on taste type
Theorem
There are two candidate optimal mechanism:
1.High-ability agents work efficiently at a wage of1=ȷ
H(with the
remaining surplus taxed away), and the good is provided at a
single price p
?
given by
p
?
=k+ (1ΓΛ(p
?
))h(p
?
):
2.High-ability agents work efficiently at a wage w>1=ȷ
H;and the
good is sold at a lower price to low-ability agents than to
high-ability agents.
Theorem
There are two candidate optimal mechanism:
1.High-ability agents work efficiently at a wage of1=ȷ
H(with the
remaining surplus taxed away), and the good is provided at a
single price p
?
given by
p
?
=k+ (1ΓΛ(p
?
))h(p
?
):
2.High-ability agents work efficiently at a wage w>1=ȷ
H;and the
good is sold at a lower price to low-ability agents than to
high-ability agents.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 2: Welfare weights depend on taste type
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Discussion:
žIn the first case, there is:
žSubsidy for the good if the average welfare weight on agents
buying it,Λ(p
?
), exceeds the average welfare weight 1.
žTax on the good if the average welfare weight on agents
buying it,Λ(p
?
), is below the average welfare weight 1.
žIn the second case:žThe reduced price of the good is available only to agents
who don’t work—the two instruments are bundled together.
žIncentive compatibility is maintained by decreasing tax on
labor, so that high-ability agents get a strictly positive
surplus from working.
Case # 3: Correlation of taste and ability types
Case # 3: Correlation of taste and ability types
Case # 3: Correlation of taste and ability types
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
žSuppose that Assumptions 1 and 2 from the AS result hold:
žffl
i(t) =¯ffl
i, for allt;
žu(c) =c;c2R.
žSuppose thatF
L(t)6=F
H(t).žLetΛ(t)be the average welfare weight on all types higher thant:
Λ(p) =
¯ffl
L≠
L(1ΓF
L(p)) +¯ffl
H≠
H(1ΓF
H(p))
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
:
žAssume thatž
Γ
tΓ(1Γ¯ffl
H)h
H(t)Γk
˙
f
H(t)is increasing when negative;
ž
Γ
tΓ(1Γ¯ffl
L)h
L(t)Γk
˙
f
L(t)crosses zero once from below;ž(
¯
ffl
LΓ1)h
L(r)ffl(
¯
ffl
HΓ1)h
H(r);for allt:
Case # 3: Correlation of taste and ability types
Theorem
There are two candidate optimal mechanism:
1.High-ability agents work efficiently at a wage of1=ȷ
H(with the
remaining surplus taxed away), and the good is provided at a
single price p
?
given by
p
?
=k+ (1ΓΛ(p
?
))h(p
?
):
2.High-ability agents work efficiently at a wage w>1=ȷ
H;and the
good is sold at a lower price to low-ability agents than to
high-ability agents.
Theorem
There are two candidate optimal mechanism:
1.High-ability agents work efficiently at a wage of1=ȷ
H(with the
remaining surplus taxed away), and the good is provided at a
single price p
?
given by
p
?
=k+ (1ΓΛ(p
?
))h(p
?
):
2.High-ability agents work efficiently at a wage w>1=ȷ
H;and the
good is sold at a lower price to low-ability agents than to
high-ability agents.
Case # 3: Correlation of taste and ability types
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Case # 3: Correlation of taste and ability types
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Case # 3: Correlation of taste and ability types
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Case # 3: Correlation of taste and ability types
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Case # 3: Correlation of taste and ability types
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Discussion:(recall thatp
?
=k+ (1ΓΛ(p
?
))h(p
?
))
žConditional on buying the good,tfflp
?
, the designer can infer
the likelihood of the agent being a high- or low-ability worker.
žThus, the goods market can be used to redistribute more utility
from high- to low-ability agents.
žAssuming that
¯
ffl
H=0, we have that
Λ(p)ı
1ΓF
L(p)
≠
L(1ΓF
L(p)) +≠
H(1ΓF
H(p))
<1()F
L(p)>F
H(p):
žIf ability and taste are positively correlated, the good is taxed,
and revenue is redistributed lump-sum;
žIf ability and taste are negatively correlated, the good is
subsidized.
Concluding Remarks
Concluding Remarks
Concluding Remarks
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Concluding Remarks
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
žWe investigated the optimaljoint designof anincome taxand
amarketfor goods.
žIncome taxation is used as the only redistributive instrument
under narrow assumptions.
žWhenever these assumptions fail,redistribution through
marketscan also be useful.
žWe contributed a tractable (and relatively rich) model of
multi-dimensional heterogeneityby assuming that ability is
a binary variable, while taste type is continuous.
žWork in progress:
žTaste type binary, continuous ability type (more difficult).
žPartial extensions to both types being continuous, and to a
concave utility function.
Tags
Categories
EducationDownload
Download Slideshow Get the original presentation fileQuick Actions
Statistics
- Views 151
- Slides 231
- Age 526 days
Related Slideshows
11
TLE-9-Prepare-Salad-and-Dressing.pptxkkk
MaAngelicaCanceran
32 views
12
LESSON 1 ABOUT MEDIA AND INFORMATION.pptx
JojitGueta
27 views
60
GRADE-8-AQUACULTURE-WEEKQ1.pdfdfawgwyrsewru
MaAngelicaCanceran
42 views
26
Feelings PP Game FOR CHILDREN IN ELEMENTARY SCHOOL.pptx
KaistaGlow
42 views
![Jeopardy_Figures_of_Speech_Template.pptx [Autosaved].pptx](https://slidepub.com/thumb/5828/284015828.jpg)
54
Jeopardy_Figures_of_Speech_Template.pptx [Autosaved].pptx
acecamero20
25 views
7
Jeopardy_Figures_of_Speech.pptxvdsvdsvsdvsd
acecamero20
26 views