TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1....

22
Link LAB Dept. of Computer Science UC Santa Barbara TRUST: A General Framework for Tr uthful Dou ble S pectrum Auct ions Xia Zhou and Heather Zheng Department of Computer Science, University of California, Santa Barbara

Transcript of TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1....

Page 1: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Link LAB

Dept. of Computer Science

UC Santa Barbara

TRUST: A General Framework for

Truthful Double Spectrum Auctions

Xia Zhou and Heather ZhengDepartment of Computer Science, University of California, Santa Barbara

Page 2: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Addressing Inefficient Spectrum

Distribution

� Legacy wireless providers own the majority of spectrum � But cannot fully utilize it

Sellers

� New wireless providers are dying for usable spectrum � But have to crowd into

limited unlicensed bands

LINK@UC Santa Barbara2

Market-based Spectrum

Trading

Buyers

Page 3: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Enabling Trading by Double Auctions

BidsBids

� Double Auctions:� Sellers and buyers are

bidders� Seller’s bid: the minimal price it

requires to sell a channel

� Buyer’s bid: the maximal price it is

Winners & Prices

LINK@UC Santa Barbara3

Sellers Buyers

BidsBids� Buyer’s bid: the maximal price it is willing to pay for a channel

� Auctioneer as the match maker� Select winning buyers and

sellers

Page 4: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Need Judicious Auction Designs

BidsBids

� Need to achieve 3 economic properties� Budget balance: Payment to

sellers <= Charge to buyers� Individual rationality:

� Buyer pays less than its bid

$$

LINK@UC Santa Barbara4

Bids

Sellers Buyers

Bids� Buyer pays less than its bid

� Seller receives more than its bid

� Truthfulness: bid the true valuation

� Need to provide efficient spectrum distribution

Page 5: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Our Contribution

� Enable spectrum trading by economic robust double auctions

� Achieving the three economic properties:� Budget balance� Individual rationality� Truthfulnesswhile trying to maximize spectrum efficiency� Achieve spectrum reuse among non-conflicting buyers

LINK@UC Santa Barbara5

Page 6: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Outline

� Motivation of TRUST

� Challenges of enabling double spectrum auctions

� TRUST design & auction properties

� EvaluationsEvaluations

� Conclusions & Future extensions

LINK@UC Santa Barbara6

Page 7: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

What Makes Double Spectrum Auctions

Different?

� Must exploit spectrum reuse� One seller can support multiple buyers

� Traditional auction� 1 channel � 1 buyer

Channel 1

� Spectrum auction� 1 channel � a set of buyers

LINK@UC Santa Barbara7

Channel 1

Channel 1

Channel 1

Channel 1

Page 8: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Existing Solutions No Longer Apply

Truthfulness Individual Rationality

Budget Balance

Spectrum Reuse

McAfee’s Double Auction √ √ √ X

VCG Double √ √ X X

LINK@UC Santa Barbara8

VCG Double Auction √ √ X X

Extension of Single-sided

Truthful AuctionX √ √ √

Our Goal √ √ √ √

Page 9: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Outline

� Motivation of TRUST

� Challenges of enabling double spectrum auctions in practice

� TRUST design & auction properties

� Evaluations

� Conclusions & Future extensions

LINK@UC Santa Barbara9

Page 10: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Design Guidelines

� Start from the McAfee design: the most popular truthful double auction design� Achieve all three economic properties without spectrum reuse

� Extend McAfee to assign multiple buyers to each single sellerseller� Enable spectrum reuse among buyers

� Design the procedure judiciously to maintain the three economic properties

LINK@UC Santa Barbara10

Page 11: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

McAfee Double Auction

S1

S2

Sk-1

B1

B2

Bk-1

Sellers’ bidsBuyers’ bids

(k-1) winning buyers, each

payingBk

(k-1) winning sellers, each getting paid

Sk

LINK@UC Santa Barbara11

m

Sk-1

Sk

Sk+1

Smn

Bk-1

Bk

Bk+1

Bn

� Achieve budget balance, truthfulness, individual rationality without spectrum reuse

Sacrifice one transaction

Page 12: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Enabling Spectrum Reuse

Sellers’ bidsBuyers’ bids

S1

S2

S

B1

B2

B

Buyer Group G1

Buyer Group G2

� Map a group of non-conflicting buyers to one seller

LINK@UC Santa Barbara12

m

Sk-1

Sk

Sk+1

Smn

Bk-1

Bk

Bk+1

Bn

Buyer Group G3

Page 13: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Design

Bid-independent Group Formation

1. Allocate one virtual channel to each buyer

Decide the bid of each buyer group

Charge individuals in a winning buyer group

Form buyer group

LINK@UC Santa Barbara13

1. Allocate one virtual channel to each buyer2. Group buyers allocated with the same

channel together

Buyer groups

Page 14: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Design

Buyer group i’s bid =

Form buyer groupDecide the bid of each buyer group;

Apply McAfee

Charge individuals in a winning buyer group

LINK@UC Santa Barbara14

Buyer group i’s bid = The lowest bid in group i * #of bidders in group i

Buyer groups

$8

$6

$3

Sellers’ bids

$3

$4

$5

Winning group$4 $5

$2 $4 $6

$3

Page 15: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Design

Uniform pricing within one winning buyer group

Form buyer groupApply McAfee

Decide the bid of each buyer group;

Apply McAfee

Charge individuals in a winning buyer group

LINK@UC Santa Barbara15

Uniform pricing within one winning buyer group

Winning group

$8

$6

$3

Sellers’ bids

$3

$4

$5 $3 $3

$4 $5

$2 $4 $6

$3

Buyer groups

Page 16: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Auction Properties

Form buyer group

Bid-independent

Apply McAfee

Decide the bid of each buyer group;

Apply McAfee

Buyer group i’s bid =

The lowest bid in

Charge individuals in a winning buyer group

Uniform pricing within one winning

LINK@UC Santa Barbara16

Bid-independent Group Formation

The lowest bid in group i * #of

bidders in group i

within one winning buyer group

Theorem 1. TRUST is ex-post budget balanced, individual rational, and truthful.

Page 17: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Example

ba

c

g

e

f

d Buyer groups:

-- G1: {b, e}

-- G2: {a, d, g}

-- G3: {c, f}Channels

$7

Channel 1

$8

Channel 2

$10

Sellers

II

Ib

a

c

g

e

f

d Buyer groups:

-- G1: {b, e} � $10

-- G2: {a, d, g} � $9

-- G3: {c, f} � $2$1

$3.5

$7

$3

$4

$2

$5

Buyers

LINK@UC Santa Barbara17

f -- G3: {c, f}

III: $10

I: $7

II: $8

III: $10 G3: $2

G1: $10

G2: $9

G3: $2

Bids of buyer groupsSellers’ bids

<

<

>Seller I

receives 8Buyer b, e

each pays 9/2

Winners

$10

Channel 3III

f -- G3: {c, f} � $2$1

Page 18: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Outline

� Motivation of TRUST

� Challenges of enabling double spectrum auctions in practice

� TRUST design & auction properties

� Evaluations

� Conclusions & Future extensions

LINK@UC Santa Barbara18

Page 19: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Evaluations

� Impact of economics on spectrum distribution� Impact of topologies of buyers� Impact of bid patterns (variance)

Allocation Topologies Bid

LINK@UC Santa Barbara19

Allocation Algorithms

�Max-IS�Greedy-U�Greedy�RAND

Topologies

�Random topology�Cluster topology

Bid Distribution

Bid b is generated by:

�v : range of variance�α: ~ U[0,1]

)1( vvb −+⋅= α

Page 20: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

TRUST: Economic Impact

90

100Random Topology Cluster Topology

� Comparing to traditional spectrum allocation algorithms without economic factors, they choose groups by sizes

Utilization of TRUST

Utilization of spectrum allocations� Performance ratio =

� TRUST chooses buyer group by the lowest

LINK@UC Santa Barbara20

0

10

20

30

40

50

60

70

80

90

Max-IS Greedy-U RAND Greedy

Pe

rfo

rma

nce

ra

tio

(%) group by the lowest

bid * group size

� In cluster topology, larger fraction of small groups, larger discrepancy in group sizes

Page 21: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

Conclusions

� Dynamic spectrum trading using double auctions� The first work on truthful double spectrum auction while

enabling spectrum reuse� Work with any spectrum allocation algorithm

� Examine the impact of economic designs on spectrum distribution

LINK@UC Santa Barbara21

distribution� Must tradeoff spectrum efficiency for economic robustness

� Extensions� Allow each bidders to buy / sell multiple channels� How the auctioneer obtains interference conditions � Achieve other economic properties i.e. collusion resistance

Page 22: TRUST: A General Framework for Tr uthful Double Spectrum ...xia/papers/infocom09-slides.pdf1. Allocate one virtual channel to each buyer Decide the bid of each buyer group Charge individuals

� Thank You!

Additional information at

22

Additional information at

http://link.cs.ucsb.edu

Link LAB

Dept. of Computer Science

UC Santa Barbara