Академический Документы
Профессиональный Документы
Культура Документы
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 29, NO. 4, APRIL 2011
I. I NTRODUCTION
c 2011 IEEE
0733-8716/11/$25.00
SODAGARI et al.: ON A TRUTHFUL MECHANISM FOR EXPIRING SPECTRUM SHARING IN COGNITIVE RADIO NETWORKS
857
858
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 29, NO. 4, APRIL 2011
SODAGARI et al.: ON A TRUTHFUL MECHANISM FOR EXPIRING SPECTRUM SHARING IN COGNITIVE RADIO NETWORKS
denotes
the accessible information on in all periods t, then
ht = 1 , . . . , t ; 1 , . . . , t ; k 1 , . . . , k t1 [19].
Definition 2: A direct revelation online mechanism is represented by two elements, namely a decision policy, denoted by
tT
tT
= { t }
, and a payment policy, denoted by x = {xt }
.
The decision policy concerns the outcome of the auction
mechanism and the payment policy handles the collection of
payments from winning bidders. A direct revelation mechanism does not allow each bidder to report more than once
about its type [20]. The decision t (ht ) K (ht ) is made
in state ht and consequently the payment xti (ht ) R+ is
collected from the winner i I (ht ), where K (ht ) represents
the set of all feasible decisions in that time period and I (ht )
indicates the bidders for which t [ai , di ] and, hence, are
considered active in state ht [20].
Definition 3: The utility of a bidder in the online auction
setting is the difference of its achieved reward (or equivalently
its valuation estimate of the item) and the final payment to the
auctioneer, i.e., vi (i , k t ) xti (ht ). Note that t [ai , di ].
The decision policy is assumed to be deterministic in this
paper.
B. Collusion Via Misreports
A desired property of the designed mechanism, i.e., the
auction to lease the re-usable goods, is its robustness to
collusion. The most common source of collusion in this
context is misreporting of the type of the bidder. The collusion
might arise in reporting the arrival time instance, the departure
time instance, or the valuation of the auctioned item. The
misreport of arrival time addressed here is referred to as late
arrival, where a bidder might delay the report of its starting
time. Similarly, misreport of departure time assumed here
is known as early departure, in which case the bidder will
859
860
Fig. 1.
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 29, NO. 4, APRIL 2011
m expiring spectral bands available for lease by the primary to secondary CRs only at durations of length T.
vi i , i , i
(1)
vi i , i , i , xi i , i , ,
to be satisfied i i , i C (i ), i i ,
C (i ), and . Furthermore, in (1), (, ) =
i
(k1 , k2 , . . . ) denotes the sequence of decisions and xi (, )
denotes the total payment collected from bidder i, given
type and a realization of stochastic event . Also,
s.t. i (i , i , ) = 1,
min ri
c
for i = (ai , di , (ri , Li ))
v(ai ,di ,Li ) (i , ) =
j=i
j=i
if i = argmax wl
l
t wj ,
and j = argmax wl ,
xi h =
I(ht )\i
0,
otherwise.
SODAGARI et al.: ON A TRUTHFUL MECHANISM FOR EXPIRING SPECTRUM SHARING IN COGNITIVE RADIO NETWORKS
We notice that the critical value for the ith bidder depends
on i ; however, it is independent of the reward ri . In other
words, the critical value is a single positive value such that, if
the valuation of a given bidder is less than that level (assuming
fixed i , ), then the bidder loses. Further note that the critical value only can be calculated by the auctioneer after receipt
of private types of bidders. Therefore, it is not possible for a
bidder to adjust its valuation (i.e., to use valuation misreport)
in order to increase its chances of winning the auction. More
interestingly, as will be discussed later, the optimal valuation
strategy of each bidder when the auctioneer uses critical value
payment policy is to report its truthful valuation, thereby
alleviating any incentive for collusion. Finally, recall from
Section III-A that we assume vi (i , k) = ri , and thus the
auctioneer possess all the necessary information to calculate
the critical value price based on the reported types of the
bidders.
Example 2: To demonstrate the strategy-proof nature of the
critical value payment policy, consider the following simple
example. Assume there are three bidders with similar arrival
and departure times, but different valuation for the auctioned
sub-channel. The types of the bidders are thus 1 = (a, d, w1 ),
2 = (a, d, w2 ), and 3 = (a, d, w3 ). Assume the third bidder
is not truthful (e.g., it knows the bid price information of other
bidders through collusion) and, further, its true valuation of
the sub-channel is higher than both first and second bidders,
i.e., w3 > max (w1 , w2 ). Then, by reporting any bid value
max (w1 , w2 ) < w3 , this third bidder wins the auction.
The auctioneer charges the third bidder based on critical
c
value pricing, which in this scenario is v(a,b,L
(1 , 2 , ) =
3)
max (w1 , w2 ). As the charged price for the third bidder is
independent of its bid price, as long as the bid price satisfies
the condition max (w1 , w2 ) < w3 and, given its true
valuation w3 satisfies this constraint, the third bidder has no
incentive to report untruthfully.
On the other hand, assume w3 < max (w1 , w2 ). In order to
win the auction, the third bidder needs to report a valuation
max (w1 , w2 ) < w3 ; however, this untruthful bid
is higher than the true valuation of the third bidder, i.e.,
w3 > w3 . Upon winning the auction, the auctioneer will
charge the third bidder according to the critical value pricing,
in which case the bidder will need to pay an extra cost equal
to max (w1 , w2 ) w3 for the sub-channel, which implies a
negative utility and is not desirable. So, again, the optimal
policy for the third bidder is to report its true valuation, which
makes critical value pricing a truthful mechanism. Please note
that, in this special case where the arrival and departure of
all bidders are similar, the critical value pricing resembles the
second-highest bid value in a VCG-style auction. However, the
proposed critical value pricing generalizes the second-highest
bid pricing to the cases of different arrival or departure time
for bidders, which is a more practical scenario is a real-life
situation.
We are now ready to define the monotonicity property for
the policy as follows [19]. Define the partial order over
the set of types of bidders, , such that
i i (ai > ai ) (di < di ) (ri < ri ) (Li = Li ).
861
862
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 29, NO. 4, APRIL 2011
c
i ,
,
if
= 1,
i
i
i
ai ,di ,Li
,
xti ht =
0,
otherwise,
0,
this CR will win the auction at time t, and will not compete
in the subsequent expiry periods. Therefore, reporting bi
bi will not affect the state of the auction in the consequent
expiry periods. Finally, if CRi along with some other CRl
have submitted an equal highest bid, then the monotonicity of
decision policy dictates the bidder with the longest interest
interval, di ai , will win the auction. In which case, reporting
bi bi will indeed decrease the chances of a CR to win the
auction. Therefore, as we assume IR in our setup, there is no
incentive for a CR to misreport early departure in the proposed
online auction mechanism.
We consider the following spectrum allocation decision
policy in each period:
I ht
t : {0, 1}| ( )| ,
t = 1i (1) , 1i (2) , . . . , 1i (|I (ht )|) ,
where
1A (x) =
(6)
1 xA
0 otherwise
if t = di
(3)
if t = di
SODAGARI et al.: ON A TRUTHFUL MECHANISM FOR EXPIRING SPECTRUM SHARING IN COGNITIVE RADIO NETWORKS
250
1.8
1.6
no misreports
misreports
200
1.4
Winning Times
863
1.2
no collusion
50% collusion
150
100
0.8
50
0.6
0.4
0
0
10
15
20
25
0.2
10
20
30
40
Number of periods
50
60
70
80
Fig. 2.
Comparison of average rewards of winning secondary CRs in
misreporting and truthful cases.
Fig. 3. Winning times for secondary CRs for truthful and untruthful cases
for the total number of secondary CRs equal to 40 (half of them committing
misreporting collusion) and the available number of periods equal to 20 with
100 Monte-Carlo iterations.
1.4
Critical Value
2nd Price
1.2
0.8
0.6
0.4
0.2
0
10
20
30
40
50
60
70
80
Number of participating secondary CRs
90
100
Fig. 4. The average reward of winning CRs vs. the total number of bidding
CRs for 20 available spectral bands for the static VCG and the online auction.
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 29, NO. 4, APRIL 2011
1
critical value
2nd price
0.9
3000
2500
Primary revenue
864
0.8
0.7
0.6
Primary revenue
1000
500
80
20
60
15
40
0.4
Number of periods
10
20
0
0.3
0.2
10
15
Number of available bands
20
Fig. 7.
80
60
40
Number of periods
Fig. 6.
1500
0
100
0.5
Fig. 5. The average value of winning CRs vs. the number of available spectral
bands for 25 secondary CRs for the static VCG and the online auction.
3000
2500
2000
1500
1000
500
0
100
2000
20
20
15
10
Number of participating secondary CR
SODAGARI et al.: ON A TRUTHFUL MECHANISM FOR EXPIRING SPECTRUM SHARING IN COGNITIVE RADIO NETWORKS
865
Alireza Attar received his PhD from Kings College London, where he was awarded the UKs Virtual Centre of Excellence in Mobile and Personal
Communications (Mobile VCE) scholarship. He is
currently a Post-Doctoral Fellow at the department
of electrical and computer engineering, University
of British Columbia, Vancouver, BC, Canada. His
main areas of interests are cognitive radio, adaptive
radio resource allocation techniques, Game Theory, optimization techniques, MAC and scheduling
mechanism. Alireza is a leading co-guest editor for
the IEEE Journal on Select. Areas in Commun., special issue on Game Theory
in Wireless Communications. Further, he served as a co-guest editor for
the IEEE Trans. on Vehicular Tech., special issue on Achievements and the
Road Ahead: The First Decade of Cognitive Radio, which was published in
May 2010. He has served as TPC co-chair for the International Workshop
on Cognitive Wireless Communications and Networking (CWCN), and as
publications chair for IEEE International Conference on Ultra-Wideband
(ICUWB), both in 2009. He has been an active member of TPC for most
major IEEE conferences in Communication, Signal Processing and Vehicular
Technology societies for the past couple of years and has reviewed numerous
papers for over a dozen IEEE, IET, IEICE and Elsevier journals. Alireza is a
member of IEEE and is a co-recipient of INTERNET09 best paper award.