Professional Documents
Culture Documents
11.1 School Matching. New Questions
11.1 School Matching. New Questions
choice
How to do tie breaking?
Tradeoffs between Pareto optimality, stability,
strategy proofnesswhat are the costs of
each?
Evaluating welfare from different points in
time
Restricted domains of preferences?
Tie breaking
A tie-breaker is a bijection r:IN, that breaks
ties at school s by associating Rs with a strict
preference relation Ps :
iPs j[(is j) or (is j and r(i) < r(j))].
13
14
15
Proof
If there exists a student who is assigned under and
unassigned under , then (i)=iPi(i), which implies
that is not individually rational, a contradiction. So
every i assigned under is also assigned under .
Therefore |(S)||(S)|. If |(S)|>|(S)| then there
exists some sS and iI such that |(s)|>|(s)| and
(i)=s(i). This implies there is a vacancy at s under
and i is acceptable for s. Furthermore, sPi(i) since
dominates . These together imply that is not
stable, a contradiction. So |(S)|=|(S)|.
Then the same set of students are matched in both
and since |(S)|=|(S)| and every student assigned
under is also assigned under .
16
Improving on DA
Theorem (Erdil and Ergin, 2008): Fix P and R,
and let be a stable matching. If is Pareto
dominated by another stable matching , then
admits a stable improvement cycle.
Algorithm for finding a student optimal
matching: start with a stable matching. Find
and implement a stable improvement cycle, as
long as one exists.
18
Outline of proof
Fix P and R. Suppose is a stable matching Pareto
dominated by another stable matching n.
Simplifying assumption: Each school has one seat.
1. I := ,i I |n(i)Pi(i)- = ,i I |n(i) (i)-.
2. All students in I are matched to a school at n.
3. S := n(I)=(I).
Hence, I *S+ can be partitioned into two subsets I and
I\I *S and S \ S+ such that
Those in I \ I *S \ S+ have the same match under
and n.
The matches of those in I *S+ have been shuffled
among themselves to obtain n from .
19
4. For all s S:
Is := (i I|i desires s at , and no j I desires s at
and j Ps i) is nonempty;.
5. Construct a directed graph on S:
For each s S, arbitrarily choose and fix is Is.
is Bs: i.e., is desires s at , and there is no j I
who desires s at and j Ps i. (from stability of n)
For all s, t S, let t s if t = (is).
6. The directed graph has a cycle of n 2 distinct
schools: s1 s2 sn s1
7. The students is1, is2, . . . , isn constitute a stable
improvement cycle at
20
21
Strategy-proof mechanisms
A direct mechanism is a function that maps
every (PI ,RS) to a matching.
For x IS, let x(PI ;RS) denote the set of
agents that are matched to x by .
A mechanism is dominant strategy incentive
compatible (DSIC) for i I if for every (PI ,RS)
and every Pi ,
i(PI ;RS)Ri i(Pi , Pi;RS).
A mechanism will be called strategy-proof if it is
DSIC for all students.
22
23
Proof
Suppose that there exists a strategy-proof
mechanism and tie-breaking rule r such that
dominates DA. There exists a profile PI such that
i(PI;RS)Ri DA(PI;RS) for all iI, and
i(PI;RS)Pi DA(PI;RS) for some iI.
Let si=DAi(PI;RS) and si=i(PI;RS) be i's assignment
under DA(PI;RS) and (PI;RS), respectively, where
siPisi.
24
continued
Consider profile PI=(Pi,P-i), where Pi ranks si
as the only acceptable school. Since DA is
strategy-proof, si=DAi (PI;RS)RiDAi(PI;RS), and
since DAi(PI;RS) is either si or i, we conclude
that DAi(PI;RS)=i. Then the Lemma implies
i(PI;RS)=i.
Now let (PI;RS ) be the actual preferences. In
this case, i could state Pi and be matched to
i(PI;RS)=si, which under Pi she prefers to
(PI;RS )=i.
So is not strategy-proof.
25
26
27
28
29
Open questions
(Equilibrium) misrepresentation in stable
improvement cycles? (Can potential gains be
realized?)
It appears there will be an incentive to raise popular
schools in your preferences, since they become
tradeable endowments
31
33
35
36
38
Things to note
The uncorrelated environment lets us look at Boston
and DA in a way that we arent likely to see them in
naturally occurring school choice.
In this environment, theres no incentive not to state
preferences truthfully in the Boston mechanism,
even though it isnt a dominant strategy. (So on this
restricted domain, theres no corresponding benefit
to compensate for the cost of strategyproofness.)
Boston stochastically dominates DA, even though it
doesnt dominate it ex-post (ex post the two
mechanisms just redistribute who is unassigned)
39
40