Dual Random Utility Maximisation
n?u=RePEc:san:wpecon:1605&r=upt
n?u=RePEc:san:wpecon:1605&r=upt
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
impacts u in L 1 j , so that by Contraction Consistency it also impacts u in L1 k+1 ∪ {u} ⊂<br />
L 1 j , i.e.<br />
)<br />
)<br />
p<br />
(u, L 1 k+1 ∪ {u} > p<br />
(u, L 1 k+1 ∪ {u, v}<br />
a contradiction with (7). A symmetric argument applies if u is a predecessor of v using<br />
(8).<br />
A straightforward adaptation of the argument above shows that cases (2.i) and (2.ii)<br />
are exhaustive.<br />
3. Showing that the algorithm retrieves the observed choice.<br />
(<br />
r 1 , r 2 ,<br />
2<br />
1<br />
Let p 1 be the dRUM generated by<br />
2<br />
(weak) lower contour set in ranking r i , that is<br />
L i x = {x} ∪ {s ∈ X : x ≻ i s}<br />
)<br />
. For any alternative x denote L i x its<br />
and note that by construction p ( x, L i x) > 0. We examine the possible cases of failures<br />
of the algorithm in succession.<br />
3.1: p (a, A) = 0 and p 1 (a, A) > 0.<br />
2<br />
Then a ≻ i a ′ for some i, for all a ′ ∈ A \ {a}, hence A ⊆ L i a, and thus by Regularity<br />
and p ( a, L i a) > 0 we have p (a, A) > 0, a contradiction.<br />
3.2: p (a, A) = 1 and p 1 (a, A) < 1.<br />
2<br />
Then there exists b ∈ B such that b ≻ i a ′ for some i, for all a ′ ∈ A \ {b}, hence<br />
A ⊆ L i b , and thus by Regularity and p ( b, L i a) > 0 we have p (b, A) > 0, a contradiction.<br />
3.3: p (a, A) = 1 2 and p 2<br />
1 (a, A) = 1.<br />
)<br />
Let I<br />
(p 1 be the set of all pairs (a, A) satisfying the conditions of this case. Fix an<br />
2 )<br />
)<br />
)<br />
(a, A) ∈ I<br />
(p 1 that is maximal in I<br />
(p 1 in the sense that (b, B) ∈ I<br />
(p 1 ⇒ a ≻ i b<br />
2 2 2<br />
for some i.<br />
Because p 1 (a, A) = 1 we have A ⊆ L 1<br />
2<br />
a ∩ L 2 a. If p ( a, L 1 a ∩ L 2 a) = 1 we have an immediate<br />
contradiction, since by Regularity p (a, A) = 1. So it must be p ( a, L 1 a ∩ L 2 a) =<br />
1<br />
2<br />
.<br />
We show that this also leads to a contradiction.<br />
19