![Page 1: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/1.jpg)
eBay in the Sky: StrategyProof Wireless Spectrum Auctions
Department of Computer Science
University of California, Santa Barbara
Xia Zhou, Sorabh Gandhi, Subhash Suri, Heather Zheng
IUSTITIA (Goddess of Justice)
VERITAS (Goddess of Truth)
University of California, Santa Barbara
![Page 2: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/2.jpg)
Need for On-Demand Spectrum Auctions
• Explosion in the number of wireless devices• FCC: static long term licenses -> artificial
scarcity• Solution:
– Dynamic spectrum redistributions a2– Dynamic spectrum redistributions– Exploit spatial reusability
• Auctions widely used to distribute scarce resources – Fair and open– Economic Efficiency # of channels = 2
a1
a2
a4a3
a5
Channel1 Channel2
![Page 3: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/3.jpg)
Need for On-Demand Spectrum Auctions
• Explosion in the number of wireless devices• FCC: static long term licenses -> artificial
scarcity• Solution:
– Dynamic spectrum redistributions a2– Dynamic spectrum redistributions– Exploit spatial reusability
• Auctions widely used to distribute scarce resources– Fair and open– Economic Efficiency
a1
a2
a3
a5
# of channels = 2
a4
1Channel1 Channel2
![Page 4: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/4.jpg)
Need for On-Demand Spectrum Auctions
• Explosion in the number of wireless devices• FCC: static long term licenses -> artificial
scarcity• Solution:
– Dynamic spectrum redistributions a2– Dynamic spectrum redistributions– Exploit spatial reusability
• Auctions widely used to distribute scarce resources– Fair and open– Economic Efficiency
a1
a2
a3
a5
# of channels = 2
a4
1Channel1 Channel2
![Page 5: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/5.jpg)
Need for Truthful Mechanisms
• Selfish Bidders lead to challenges and overheads
– Auction: Game among strategic players
– Goal: Maximize individual utility
• Utility = (True Value – Price Paid)
– Players strategize over others
– Counter productive for the auctioneer
• Truthful Auctions help overcome these challenges and overheads
– Truthful auction: Every bidder maximizes its utility
by bidding its true value
2
![Page 6: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/6.jpg)
Vickery: A Classical Truthful Auction
• Consider an auction for single item
• Vickery (Nobel Prize Winner)
- Bidders submit bids in sealed envelopes
- Auctioneer- Auctioneer
- Awards the item to the highest bidder
- Charges winner the bid of the second highest bidder
BIDS
$11,000 $10,000 $9,000
Winner Price $10,0003
![Page 7: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/7.jpg)
Truthful Spectrum Auctions
a1
a2
a3
a
a4
• Items: Channels (k)
• Interference Graph
– Nodes: Bidders
– Edges: Interference Constraintsa5
4
– Edges: Interference Constraints
• Assumptions
– Interference Graph is given
– Static nodes
– No collusion among bidders
– Every bidder is bidding for one (any) channel
![Page 8: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/8.jpg)
Truthful Spectrum Auctions
a1
a2
a3
a
a4
• Items: Channels (k)
• Interference Graph
– Nodes: Bidders
– Edges: Interference Constraintsa5
INTERFERENCE
GRAPH
4
– Edges: Interference Constraints
• Assumptions
– Interference Graph is given
– Static nodes
– No collusion among bidders
– Every bidder is bidding for one (any) channel
![Page 9: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/9.jpg)
Truthful Spectrum Auctions
• Items: Channels (k)
• Interference Graph
– Node: Bidders
– Edges: Interference Constraints
a1
a2
a3
a
a4
– Edges: Interference Constraints
• Assumptions
– Interference Graph is given
– Static nodes
– No collusion among bidders
– Every bidder is bidding for one (any) channel
a5
INTERFERENCE
GRAPH
4
![Page 10: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/10.jpg)
Possible Solution 1: Extending Vickery
• Algorithm (For allocating k channels)– Allocate channels to k highest bidders
– Price: Bid of (k+1)th highest bidder
b =5 b =4 b =1 b =2Bids
• Inefficient spectrum utilization: spatial reuse not exploited
b1=5 b2=4 b3=1 b4=2
# of channels = 2
PRICE CHARGED : 2 a2a1 a3 a4
5
Bids
![Page 11: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/11.jpg)
Possible solution 2: VCG
• Optimal Spectrum utilization : NP-Hard
– VCG is truthful but not polynomial time
• Relax Optimality constraint
– Pareto Optimal solution: Cannot allocate any more channels without de-allocating at least one more channels without de-allocating at least one bidder
• Given an interference graph G, set of bids B, available number of channels k, design a truthful auction mechanism which run in polynomial time, results in pareto optimal allocations and has a non-trivial pricing scheme
6
![Page 12: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/12.jpg)
Possible Solution 3: Extending Secondary Price Auctions
• Sort and Greedily allocate channels– Allocate lowest available index
• Charge every winning bidder the bid of the highest unallocated neighbor VIOLATES
TRUTHFULNESS !!!
a1
b1=5
a2 a3 a4
b2=4 b3=1 b4=2
# of channels = 2
v1=5 v2=4 v3=1 v4=2
u4=1u3=0u2=3u1=5
b1=5 b2=4 b3=3 b4=2
v1=5 v2=4 v3=1 v4=2
u4=2u3=1u2=4u1=5
True Values
Bids
Utility
a1 a2 a3 a4
TRUTHFULNESS !!!
7
a3 lies
![Page 13: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/13.jpg)
Veritas:Truthful and Efficient Spectrum Auctions
• Greedy Allocation – Best known polynomial time channel
allocation schemes are greedy
• Veritas-Pricing:• Veritas-Pricing:– Charge every winner i, the bid of its critical
neighbor C(i)
– Finding Critical Neighbor for i• run allocations on {B/bi} (B: set of bids)
• Critical Neighbor:The neighbor which makes the number of channels available for i go 0
8
![Page 14: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/14.jpg)
Veritas Toy Example
Step1: Run greedy allocations
a1
b1=5
a2 a3 a4
b2=4 b3=1 b4=2
b1=5 b4=2Step2(2): Determine pricing for a2
9
# of channels = 2
a1 a3
b3=1
Channels available for a2
a4
Critical Neighbor for a2
![Page 15: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/15.jpg)
Proof of Veritas’s truthfulness
• Theorem: Veritas spectrum auction is truthful, achieves pareto optimal allocations, and runs in polynomial time O(n3k)
• Proof sketch– Critical Value: Given a bid-set B, unique critical value – Critical Value: Given a bid-set B, unique critical value
exists for every allocated bidder.
– Monotonicity of allocations: If a bidder bids greater its critical value, it is always allocated.
– Truthfulness: If we charge every bidder by its critical value, no bidder has an incentive to lie.
10
![Page 16: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/16.jpg)
Simulations
• Compare revenue and spectrum utilization of Veritas with other truthful and non-truthful designs.
• Synthetic Data• Synthetic Data– Nodes placed randomly in 1 X 1 square
– Unit disk interference graph with radius = 0.1
– Bids are randomly picked from the interval (0, 1]
• All results are averaged over multiple seeds
11
![Page 17: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/17.jpg)
Spectrum Utilization: Best-Greedy vs Veritas
• Best Greedy: best known polynomial time spectrum allocation scheme (non-truthful)
• Veritas: Achieves truthfulness yet comparable spectrum utilizationspectrum utilization
12
# of channels = 8
![Page 18: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/18.jpg)
Veritas Revenue
• Revenue curve not monotonically increasingwhen # of channels is increased– Effect of truthful pricing scheme– Requires sufficient
competition
• Important to choose the
right # of channels
VERITAS ALGORITHM
13
![Page 19: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/19.jpg)
Veritas Revenue
• Revenue curve not monotonically increasingwhen # of channels is increased– Effect of truthful pricing scheme– Requires sufficient
competition
• Important to choose the
right # of channels
VERITAS ALGORITHM
13
Heuristic for choosing number of channels
![Page 20: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/20.jpg)
Veritas Extensions
• Objective functions: Veritas allocation scheme can sort on broad class of functions of bids – Useful for choosing objective function
• Bidding Formats: – Range Format: Every bidder i specifies
parameter di, and requests any number of channels in the range (0, di)
– Contiguous Format: Bidder requests the channels allocations to be contiguous
14
![Page 21: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/21.jpg)
Conclusion
• We propose Veritas: a polynomial time truthful mechanism for dynamic channel allocation (pareto optimal allocations)
• Related work: VERITAS differs from conventional spectrum allocation/auction conventional spectrum allocation/auction designs by achieving both truthfulness and spectrum efficiency (spatial reuse)
• We show that the Veritas mechanism is highly flexible can be extended for many objective functions and bidding formats
15
![Page 22: eBay in the Sky: StrategyProof Wireless Spectrum Auctionsxia/papers/mobicom08-slides.pdf · eBay in the Sky: StrategyProof Wireless Spectrum Auctions Department of Computer Science](https://reader031.vdocument.in/reader031/viewer/2022041009/5eb4c0b3418bdf57664763f9/html5/thumbnails/22.jpg)
Thanks for listening
• Questions ???