Академический Документы
Профессиональный Документы
Культура Документы
fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
Abstract—One of the most promising approaches to overcome wireless cellular networks. To cope with this traffic increase,
the uncertainty and dynamic channel variations of millimeter several new technologies are anticipated for 5G cellular sys-
wave (mmWave) communications is to deploy dual-mode base tems: 1) dense deployment of small cell base stations (SBSs),
stations that integrate both mmWave and microwave (µW)
frequencies. If properly designed, such dual-mode base stations 2) exploitation of the large amount of available bandwidth at
can enhance mobility and handover in highly mobile wireless millimeter wave (mmWave) frequencies, and 3) edge content
environments. In this paper, a novel approach for analyzing caching directly at the user equipments (UEs) to reduce delay
and managing mobility in joint mmWave-µW networks is pro- and improve quality-of-service (QoS). The dense deployment
posed. The proposed approach leverages device-level caching of SBSs with reduced cell-sizes will boost the capacity of
along with the capabilities of dual-mode small base stations
(SBSs) to minimize handover failures, reduce inter-frequency wireless networks by decreasing UE-SBS distance, removing
measurement energy consumption, and provide seamless mobility coverage holes, and improving spectral efficiency. Meanwhile,
in emerging dense heterogeneous networks. First, fundamental mmWave communications will provide high data rates by
results on the caching capabilities, including caching probability leveraging directional antennas and enabling transmission over
and cache duration are derived for the proposed dual-mode a large bandwidth that can reach up to 5 GHz. In addition,
network scenario. Second, the average achievable rate of caching
is derived for mobile users. Moreover, the impact of caching on exploiting the high storage capacity of modern smartphones
the number of handovers (HOs), energy consumption, and the to cache the data at the UE increases the flexibility and
average handover failure (HOF) is analyzed. Then, the proposed robustness of resource management, in particular, for mobile
cache-enabled mobility management problem is formulated as a UEs (MUEs). In fact, caching allows the network to store
dynamic matching game between mobile user equipments (MUEs) the data content in advance, while enabling MUEs to use
and SBSs. The goal of this game is to find a distributed HO
mechanism that, under network constraints on HOFs and limited the cached content when sufficient wireless resources are not
cache sizes, allows each MUE to choose between: a) executing available.
an HO to a target SBS, b) being connected to the macrocell However, dense heterogeneous networks (HetNets), com-
base station (MBS), or c) perform a transparent HO by using posed of macrocell base stations (MBSs) and SBSs with
the cached content. The formulated matching game inherently various cell sizes, will introduce three practical challenges for
captures the dynamics of the mobility management problem
caused by HOFs. To solve this dynamic matching problem, a mobility management. First, MUEs will experience frequent
novel algorithm is proposed and its convergence to a two-sided handovers (HOs), while passing SBSs with relatively small
dynamically stable HO policy for MUEs and target SBSs is cell sizes, which naturally increases the overhead and delay
proved. Numerical results corroborate the analytical derivations in HetNets. Such frequent HOs will also increase handover
and show that the proposed solution will significantly reduce failure (HOF), particularly for MUEs that are moving at high
both the HOF and energy consumption of MUEs, resulting in
an enhanced mobility management for heterogeneous wireless speeds [1]. In fact, due to the small and disparate cell sizes in
networks with mmWave capabilities. HetNets, MUEs will not be able to successfully finish the HO
Index Terms— millimeter wave communications; game the- process by the time they trigger HO and pass a target SBS.
ory; resource allocation. Second, the inter-frequency measurements that are needed to
discover target SBSs can be excessively power consuming
I. I NTRODUCTION and detrimental for the battery life of MUEs, especially in
dense HetNets with frequent HOs. Third, microwave (µW)
The proliferation of bandwidth-intensive wireless applica-
frequencies are stringently congested, and thus, frequent HOs
tions such as social networking, high definition video stream-
may introduce unacceptable overhead and limit the available
ing, and mobile TV has drastically strained the capacity of
frequency resources for the static users. In this regard, offload-
This research was supported by the U.S. National Science Foundation under ing MUEs from heavily used µW frequencies to mmWave
Grants CNS-1460316, CNS-1513697, and IIS-1633363. frequencies can substantially improve the spectral efficiency
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
where θ and θm denote, respectively, the azimuth angle and addition, tcu is the caching duration which is equal to the time
the antennas’ main lobe beamwidth. Gmax and Gmin denote, needed for a given MUE u to traverse the mmWave beam of its
respectively, the antenna gain of the main lobe and side lobes. serving SBS. To derive (3), we note that, given the achievable
For SBSs, we use a model similar to the sectorized pattern rate R̄c (u, k) and the time tcu , the amount of data (bits) that
in (2), however, we allow each SBS k to form Nk beams, can be cached at a given MUE is R̄c (u, k)tcu . Moreover, since
either by using Nk antenna arrays or forming multi-beam each video segment has a size ofB bits, the total number of
beamforming. The beam patten configuration of an SBS k segments that can be cached is
R̄c (u,k)tcu
. Given that any
B
is shown in Fig. 2, where Nk = 3 equidistant beams in
θ ∈ [0, 2π] are formed. To avoid the complexity and overhead device can store a limited number of video segments due to
of beam-tracking for mobile users, the direction of the SBSs’ its limited maximum cache size, Ωumax , the overall number of
beams in azimuth is fixed3 . In fact, an MUE can connect to cached segments will be given by (3). Considering the small
an SBS k over a mmWave link, if the MUE traverses the area green triangle in Fig. 2 as the current location of a given
covered by the k’s mmWave beams. It is assumed that for a MUE crossing a mmWave beam, the caching duration will
desired link between an SBS k and an MUE u, the overall be tcu = ruc /vu where ruc is the distance traversed across the
transmit-receive gain is ψu,k = G2max . mmWave beam. Moreover, R̄c (u, k) is the average achievable
rate for the MUE u during tcu . Given Ωu (k) and the video play
C. Traffic model rate of Q, specified for each video content, the distance an
Video streaming is one of the wireless services with most MUE u can traverse with speed vu , while playing the cached
stringent quality-of-service (QoS) requirement. Meeting the video content will be
QoS demands of such services is prone to the delay caused Ωu (k)
by frequent handovers in HetNets. In addition, HOFs can dc (u, k) = vu . (4)
Q
significantly degrade the performance by making frequent ser-
vice interruptions. Therefore, our goal is to enhance mobility In fact, the MUE can traverse a distance dc (u, k) by using the
management for MUEs that request video or streaming traffic. cached video content after leaving its serving cell k, without
Each video content is partitioned into small segments, each of requiring an HO to any of the target cells. Meanwhile, the
size B bits [35]–[37]. The network incorporates caching to location information and control signals, such as paging, can
transmit incoming video segments to an MUE, whenever a be handled by the MBS during this time. As we discuss in
high capacity mmWave connection is available. In fact, high details, such caching mechanism will help MUEs to avoid re-
capacity mmWave connection, if available, allows to cache a dundant cell search and HOs, resulting in an efficient mobility
large portion or even the entire video in a very short period management in dense HetNets.
of time. We define the cache size of Ωu (k) for an arbitrary
MUE u, associated with an SBS k, as the number of video D. Handover procedure and performance metrics
segments that can be cached at MUE u as follows: The HO process in the 3GPP standard proceeds as follows:
n R̄c (u, k)tc
u
o 1) Each MUE will do a cell search every Ts seconds, which
Ωu (k) = min , Ωumax , (3) can be configured by the network or directly by the MUEs, 2)
B
If any target cell offers an RSS plus a hysteresis that is higher
where b.c and min{., .} denote, respectively, the floor and than the serving cell, even after L1/L3 filtering of input RSS
minimum operands and Ωumax is the maximum cache size. In samples, the MUE will wait for a time-to-trigger (TTT) of ∆T
3 Nonetheless, the model can be extended to accommodate beamforming seconds to measure the average RSS from the target cell, 3) If
with dynamic parameters. the average RSS is higher than that of the serving SBS during
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
s
Note that increasing Ts reduces Etotal , which is desirable.
However, less frequent scans will be equivalent to less HOs
to SBSs. Therefore, there is a tradeoff between reducing
the consumed power for cell search and maximizing traffic
offloads from the MBS to SBSs. Content caching will allow
increasing Ts , while maintaining traffic offloads from the
MBS.
Next, we propose a geometric framework to analyze the
caching opportunities, in terms of the caching duration tc , and
the average achievable rate R̄c , for MUEs moving at random
directions in joint mmWave-µW HetNets.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
that xk = (0, 0). Therefore, the two sides of the beam angle
1
will be given by
0.9
CDF
0.5
p
ru,k (x) = x2u + yu2 . Hereinafter, we will use the parameter 0.4
ru,k = 10
θ0 to simplify our analysis. Let Ftc (.) be the cumulative 0.3 ru,k = 50
distribution function (CDF) of the caching duration tc . Thus, ru,k = 100
0.2
ru,k = 150
Ftcu (t0 ) = P(tcu ≤ t0 ) = P(ruc ≤ vu t0 ), (9) 0.1 ru,k = 200
where ruc is the distance that MUE u will traverse across the 0
0 2 4 6 8 10 12
Caching duration (s)
mmWave beam, as shown in Fig. 2. Given the location of
MUE xu , the minimum possible distance to traverse, rumin , is Fig. 3: CDF of caching duration tc .
xu tan θ0 − yu
min
ru = p . (10) IV. P ERFORMANCE A NALYSIS OF THE P ROPOSED
1 + tan2 θ0 C ACHE - ENABLED M OBILITY M ANAGEMENT S CHEME
In fact, (10) represents the distance of the point xu from Next, we analyze the average achievable rate for content
the beam angle side y = x tan(θ0 ). If rumin > vu t0 , then caching, for an MUE with speed vu , direction θu , and initial
Ftcu (t0 ) = 0. Therefore, for the remainder of this analysis we distance ru,k (x) from the serving dual-mode SBS. In addition,
consider rumin ≤ vu t0 . Next, let x0u denote the intersection we evaluate the impact of caching on mobility management.
of the MUE’s path with line y = x tan(θ0 ). It is easy For this analysis, we ignore the shadowing effect and only
to see that x0u = (xu + ruc cos θu , yu + ruc sin θu ). Hence, consider distance path loss.
yu + ruc sin θu = [xu + ruc cos θu ] tan θ0 , and ruc , i.e., the A. Average Achievable Rate for Caching
distance that MUE u traverses during the caching duration
tc , is given by: The achievable rate of caching is given by:
Z ru,k (x0 ) −α
!
yu − xu tan θ0 c 1 βPt ψru,k
ruc = vu tcu = . (11) R (u, k) = w log 1 + dru,k , (14)
tan θ0 cos θu − sin θu vu tcu ru,k (x) wN0
λ
Next, from (9) and (11), the CDF can be written as where β = ( 4πr 0
)2 r0α . The integral in (14) is taken over the
line with length ruc that connects the MUE location x to x0 ,
yu − xu tan θ0
Ftcu (t0 ) = P ≤ vu t0 . (12) as shown in Fig. 2. With this in mind, we can find the average
tan θ0 cos θu − sin θu achievable rate of caching R̄c as follows.
Using the geometry shown in Fig. 2, we find the CDF of the Theorem 2. The average achievable rate for an MUE u served
caching duration as follows: by an SBS k, R̄c (u, k), is:
Lemma 1. The CDF of the caching duration, tc , for an R̄c (u, k) = Pck (Nk , θk )Rc (u, k), (15)
arbitrary MUE u with speed vu is given by Z f (0)
1
1
min
ru = δ2 2 (θ)
log (1 + δ1 f α (θ)) df (θ), (16)
Ftc (t0 ) = arccos + (13) f (θk ) f
π − θk vu t0 p
ln(δ1 f 2 (θk ) + 1)
(a) δ2 p
min
ru
min
ru = 2 δ1 arctan( δ1 f (θk ))− ,
min arccos , arccos . ln(2) f (θk )
ru,k (x) vu t0 p p ln(δ1 f 2 (0) + 1)
−2 δ1 arctan( δ1 f (0))+ , (17)
Proof. See Appendix B. f (0)
h i−α
The CDF of tc is shown in Fig. 3 for different MUE where δ1 = βP wN0
tψ
ru,k (x) sin θ̂ . Moreover, δ2 =
distances from the serving SBS. Fig. 3 shows that as the wru,k (x) sin θ̂Pck (Nk , θk )/vu tc , and θ̂ = θu − θ0 + θk . For
MUE is closer to the SBS, tc takes smaller values with higher (a) to hold, we set α = 2 which is a typical value for the path
probability which is expected, since the MUE will traverse a loss exponent of LoS mmWave links [27].
shorter distance to cross the mmWave beam.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
Proof. See Appendix C. Thus far, the provided analysis are focused on studying the
B. Achievable gains of caching for mobility management caching opportunities for the mobility management in single-
MUE scenarios. However, in practice, the SBSs can only serve
From (3), (4), and (17), we can find dc (u, k) which is the a limited number of MUEs simultaneously. Therefore, an HO
distance that MUE u can traverse, while using the cached decision for an MUE is affected by the decision of the other
video content. On the other hand, by having the average inter- MUEs. In this regard, we propose a cache-enabled mobility
cell distances in a HetNet, we can approximate the number of management framework to capture the inter-dependency of HO
SBSs that an MUE can pass over distance dc (u, k). Hence, the decisions in dynamic multi-MUE scenarios.
average number of SBSs that MUE is able to traverse without
performing cell search for HO is V. DYNAMIC M ATCHING FOR C ACHE - ENABLED M OBILITY
M ANAGEMENT
E [dc (u, k)]
η≈ , (18) Within the proposed mobility management scenarios, the
l
MUEs have a flexibility to perform either a vertical or horizon-
where the expected value is used, since dc (u, k) is a random tal HO, while moving to their chosen target cell. Additionally,
variable that depends on θu . Moreover, l denotes the average as elaborated in Section IV, caching enables MUEs to skip a
inter-cell distance. Here, we note that certain HO, depending on the cache size Ω. In fact, there are
Z ∞ three HO actions possible for an arbitrary MUE that is being
E [dc (u, k)] =
1 − Ftcu (vu t) dt, (19) served by an SBS: 1) Execute an HO for a new assignment
0
with a target SBS, 2) Use the cached content and mute HO,
where Ftc (.) is derived in Lemma 1. We note that (19) is the 3) Perform an HO to the MBS. Similarly, an MUE assigned
direct result of writing an expected value in terms of CDF. to the MBS can decide whether to handover to an SBS, use
Based on the definition of η in (18) and considering that the cached content, or stay connected to the MBS.
inter-frequency energy consumption linearly scales with the Our next goal is to maximize possible handovers to the
number of scans, we can make the following observation. SBSs in order to increase the traffic offload from the MBS,
Remark 1. The proposed caching scheme will reduce the subject to constraints on the HOF, SBSs’ quota, and limited
average energy consumption E s for inter-frequency cell search cache sizes. With this in mind, our goal is to find an HO policy
by a factor of 1/η with η being defined in (18). ζ for MUEs and target BSs4 that satisfies:
X
Furthermore, from the definition of γHOF in (5), we can argmin ζ(u, k0 ), (22a)
ζ u∈U
define the probability of HOF as P(Du,k < vu tMTS ) [38], !
where Du,k = tu,k /vu , and tu,k is the ToS. To compute
P
X
the HOF probability, we use the probability density function s.t. ζ(u, k)Du,k < vu tMTS ≤ Puth , (22b)
k∈K
(PDF) of a random chord length within a circle with radius a, " #
as follows: X Ωu
1− ζ(u, k) Ts ≤ , (22c)
2 Q
fD (D) = √ , (20) k∈K0
π 4a2 − D2
X
ζ(u, k) ≤ 1, (22d)
where (20) relies on the assumption that one side of the chord k∈K0
is fixed and the other side is determined by choosing a random
X
ζ(u, k) ≤ Ukth , ∀k ∈ K, (22e)
θ ∈ [0, π]. This assumption is in line with our analysis as u∈U
shown in Fig. 2. Using (20), we can find the probability of ζ(u, k) ∈ {0, 1}, (22f)
HOF as follows:
Z vu tMTS where K0 = K ∪ {k0 } and ζ is a vector of binary elements
P(Du,k < vu tMTS ) = p
2
dD ζ(u, k) ∈ {0, 1}. In fact, a variable ζ(u, k) = 1, if MUE u
0 π 4a2k − D2 is chosen to execute an HO to the target cell k, otherwise,
2 vu tMTS ζ(u, k) = 0. Constraints (22b)-(22f) must hold for all u ∈ U.
= arcsin . (21)
π 2ak In fact, the objective in (22a) is to minimize the number
In fact, γHOF is a binomial random variable whose probability of MUEs associated with MBS k0 . (22b) Pensures that once
of success depends on the MUE’s speed, cell radius, and tMTS . an MUE u is assigned to an SBS, i.e. k∈K ζ(u, k) = 1,
Hence, by reducing the number of HOs by a factor of 1/η, the the probability of HOF must be less than a threshold Puth ,
proposed scheme will reduce the expected value of the sum determined based on the QoS requirement of the MUE u’s
P
γHOF , taken over all SBSs that an MUE visits during the 4 For brevity, if not specified, we refer to a base station (BS) as either an
considered time T . SBS k ∈ K or the MBS k0 .
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
service. Constraint (22c) ensures that if an MUE u is not A. Handover as a matching game: Preliminaries
assigned to any SBS nor the MBS, there will be enough cached Matching theory is a mathematical framework that provides
video segments for the next Ts time duration. Moreover, polynomial time solutions for combinatorial assignment prob-
constraints (22d) and (22e) indicate, respectively, that each lems such as (22a)-(22f) [20]. In a static form, a matching
MUE can be assigned to at most one BS and each SBS can game is defined as a two-sided assignment problem between
serve maximum Ukth MUEs simultaneously. two disjoint sets of players in which the players of each set
We note that are interested to be matched to the players of the other set,
using (21), we can rewrite (22b) as
2 vu tMTS according to their preference profiles. A preference profile for
ζ(u, k) ≤ Puth , which is a linear
P
k∈K π arcsin 2ak player i, denoted by i , is defined as a complete, reflexive,
constraint. Hence, the posed problem in (22a)-(22f) is an and transitive binary relation between the elements of a given
integer linear programming (ILP), and thus, it is NP-hard. set. Within the context of our proposed cache-enabled HO
Although an approximation algorithm [39] can be employed problem, we define the matching problem as follow:
to solve (22a)-(22f), centralized algorithms are not scalable
and typically introduce latency which is not desired for Definition 1. Given the two disjoint sets of MUEs and BSs,
real-time applications such as streaming for mobile users. respectively, in U and K0 = K ∪ {k0 }, a single-period HO
Moreover, these solutions will typically rely on the current matching is defined as a many-to-one mapping µ : U ∪ K0 →
network instances, such as the location, speed and cache size U ∪ K0 that satisfies:
of the MUEs, and, hence, they fail to capture the dynamics of 1) ∀u ∈ U, µ(u) ∈ K0 ∪ {u}. In fact, µ(u) = k means u is
the system. To show this, we consider two critical scenarios, assigned to k, and µ(u) = u indicates that the MUE u
shown in Fig. 4, as follows: is not matched to any BS, and thus, will use the cached
content.
Illustrative Scenario 1: Consider a feasible solution for
2) ∀k ∈ K0 , µ(k) ⊆ U ∪ {k}, and ∀k ∈ K, |µ(k)| ≤ Ukth . In
(22a)-(22f), where an MUE u is not assigned to the target SBS
fact, µ(k) = k implies that no MUE is assigned to the
k and will use the cached content for the next Ts time duration,
BS k.
as shown in scenario 1 of Fig. 4. However, the MUE has to
3) µ(u) = k, if and only if u ∈ µ(k).
be assigned to the MBS after Ts , since eventually no target
SBS is detected. Alternatively, the MUE could be assigned Note that, by definition, the matching game satisfies con-
to k initially and fill up the cache, while later, it could use straints (22d)-(22f). More interestingly, the matching frame-
the saved cached content to reach the next target cell without work allows defining relevant utility functions per MUE and
requiring to be assigned to the MBS. SBSs, which can capture the preferences of MUEs and SBSs.
In this regard, the utility that an arbitrary MUE u ∈ U assigns
Illustrative Scenario 2: Consider a feasible solution for to an SBS k ∈ K will be:
(22a)-(22f) which assigns an arbitrary MUE 1, in Fig. 4, to a !
Φ(u, k) = Pu − P
target SBS k1 . If there are not enough cached contents for the th
X
ζ(u, k)Du,k < vu tMTS
MUE 1 to move to the next SBS and at the same time HO
k∈K
fails, the MUE has to be assigned to the MBS as shown in
2 vu tMTS
scenario 2 of Fig. 4. Alternatively, we could assign MUE 2 = Puth − arcsin . (23)
with a large cache size to the SBS k1 such that in case of an π 2ak
HOF, the MUE 2 can reach the next target SBS k2 by using Here, we observe that the utility in (23) is larger for SBSs
its available cached contents. having a larger cell radius ak . In addition, as the speed of the
MUEs increases, the utility generated from those MUEs being
These examples show that taking into account the future
assigned to an SBS decreases. Meanwhile, the utility that an
network information, such as the estimated distance from the
SBS k assigns to an MUE u is given by
next target SBS, is imperative to effectively maximize the
traffic offloads from the MBS. Therefore, an efficient HO Ωu
Γ (u, k) = Ts − . (24)
policy must take into account post-handover scenarios that Q
may occur due to the HOFs. In this regard, we propose a
In fact, an SBS assigns higher utility to MUEs that are not
framework based on dynamic matching theory [40] which
capable of using caching for the next time duration Ts . Based
allows effective mobility management, as presented in (22a)-
on the defined utility functions, the preference profile of an
(22f), while capturing future network instances, such as the
arbitrary MUE u, u , will be:
cache size, MUEs’ trajectory, and the topology of the network.
Next, we present the fundamentals of matching theory and k u k 0 ⇔ Φ(u, k) > Φ(u, k 0 ), (25a)
explain how the proposed problem can be formulated as a u u k ⇔ Φ(u, k) < 0, (25b)
dynamic matching problem.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
where k u k 0 implies that SBS k is strictly more preferred Algorithm 1 DA Algorithm for Single-period Association
than SBS k 0 by MUE u. Moreover, u u k means that Between MUEs and SBSs
an SBS k is not acceptable to an MUE u, if and only if Inputs: Π , (U ∪ K, u , k ).
the assigned utility is negative. In fact, (25b) known as an Outputs: Stable matching µ∗ .
individual rationality constraint and is in line with satisfying 1: If not already accepted by an SBS, each unmatched MUE u ∈ U
applies for its most preferred SBS k u u. Remove k from u’s
the feasibility condition in (22b). Similarly, we can define the preference profile u .
preference profile of an SBS k, k , as follows 2: Each SBS k ∈ K receives the proposals from the applicants in
Step 1, tentatively accepts Ukth of most preferred MUEs from new
u k u0 ⇔ Γ (u, k) > Γ (u0 , k), (26a) applicants and the MUEs that are so far accepted in µ(k), and
k k u ⇔ Γ (u, k) < 0, (26b) rejects the rest.
3: repeat Steps 1 to 2
where (26b) is the individual rationality requirement for SBSs 4: until Each MUE u is accepted by an SBS, or u is applied for
which is equivalent to satisfying the feasibility constraint in all SBSs k u u.
5: if ∃u ∈ U , µ(u) ∈ / K and Ωu /Q < Ts , then
(22c). With this in mind, the proposed matching game is 6: µ(u) = u,
formally defined as a tuple Π , (U ∪ K, u , k ), where 7: else
u = {u }u∈U and k = {k }k∈K . 8: Assign u to the MBS.
To solve this game, one desirable solution concept is to find 9: end if
a two-sided stable matching between the MUEs and SBSs, µ∗ ,
which is defined as follow [41]:
to achieve stability for dynamic settings, such as in Scenarios
Definition 2. An MUE-SBS pair (u, k) ∈ / µ is said to be a 1 and 2, we need to incorporate the post-HO scenarios into
blocking pair of the matching µ, if and only if k u {µ(u), u} the matching game, such that no MUE can block the stability
and u k {µ(k), k}. Matching µ is stable, µ ≡ µ∗ , if there is even after experiencing an HOF. To this end, we extend the
no blocking pair. notion of one-stage stability in Algorithm 1 into a dynamic
A two-sided stable association between MUEs and SBSs stability concept that is suitable for the problem at hand.
ensures fairness for the MUEs. That is, if an MUE u envies B. Dynamic matching for mobility management in heteroge-
the association of another MUE u0 , then u0 must be preferred neous networks
by the SBS µ∗ (u0 ) to u, i.e., the envy of MUE u is not justified. To account for possible scenarios that may occur after HO,
we consider a two-stage dynamic matching game that incor-
Remark 2. For a given single-period HO matching game
porates within the preference profiles, some of the possible
Π, the deferred acceptance (DA) algorithm [20], presented
scenarios that may face the MUEs and base stations after
in Algorithm 1, is guaranteed to find a two-sided stable
handover execution. Such a dynamic matching will allow the
association µ∗ between MUEs and SBSs.
MUEs to build preference profiles over different association
Unfortunately, the DA algorithm is not suitable to capture plans rather than SBSs. An association plan is defined as a
the dynamics of the system which arise from the mobility sequence of two matchings for a given MUE or SBS. For
of the MUEs. In fact, the preference profiles of the MUEs example, kk 0 is an association plan that indicates an MUE
and SBSs only depend on the current state of the system, will be assigned to the SBS k followed by another HO to
such as the location of the MUEs, and the cache sizes. In SBS k 0 . In this regard, k1 k2 u k10 k20 means that MUE
addition, the DA algorithm cannot guarantee stability, if the u prefers plan k1 k2 to k10 k20 . With this in mind, we can
preference of the MUEs change after HOFs. Thus, to be able modify the one-period matching in Definition 1 to a relation
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
µ† : U ∪ K0 → (U ∪ K0 )2 , such that µ† (u) = (µ1 (u), µ2 (u)), is one of the possible ex ante stable matchings. However,
where µ1 and µ2 are one-period matchings. For example, this matching is not dynamically stable. That is because
µ† (u) = (k, u) indicates that MUE u will first perform an conditioned to µ1 (u) = k1 , the MUE-MBS pair (u1 , k0 )
HO to SBS k, µ1 (u) = k, followed by using the content of will period-2 block the matching, since k1 k0 u1 k1 u1 and
the cache after exiting the coverage of SBS k, µ2 (u) = u. k0 u1 k0 k0 k0 . In practice, such a blocking occurs if the
Next, we use the following definitions to formally define the MUE experiences an HOF with its first matching to k1 .
stability in dynamic matchings [40]:
Next, we propose an algorithm that finds a dynamically sta-
Definition 3. An MUE-BS pair (u, k) can period-1 block the ble solution for the proposed mobility management problem.
matching, if any of the following conditions is satisfied: 1)
kk u µ† (u) and uu k µ† (k); 2) ku u µ† (u) and uk k C. Dynamically stable matching algorithm for mobility man-
µ† (k); 3) uk u µ† (u) and ku k µ† (k); or 4) uu u µ† (u) agement
and kk k µ† (k). A matching is ex ante stable, if it cannot To find the dynamically stable solution, we note that the
be period-1 blocked by any MUE/BS or MUE-BS pair. solution must first admit the ex ante stability. Therefore, we
In a dynamic matching problem, either the MUEs or the propose an algorithm, inspired from [40] that yields an ex
BSs may block the matching, after knowing the outcome of ante stable association in the first stage, followed by a simple
the first matching µ1 . In this regard, we define the notion of modification to resolve any possible period-2 blocking cases.
period-2 blocking and dynamic stability as follows: For each MUE u, let Pu = ∪k∈K {kk, uk, ku} be the set of
all plans considered by u. The algorithm proceeds as follows:
Definition 4. An MUE u can period-2 block a matching µ† if Stage-1 (Finding an ex ante stable matching):
(µ1 (u), u) u µ† (u). Similarly, an MUE-BS pair (u, k) can 1) For each MUE u ∈ U, if uu u κ, for all κ ∈ Pu , then
period-2 block if any of the following conditions is satisfied: u does not send any plan proposal to the BSs. Otherwise,
1) (µ1 (u), k) u µ† (u) and (µ1 (k), u) k µ† (k), or 2) MUE u sends a plan proposal to a BS, according to the
(µ1 (u), u) u µ† (u) and (µ1 (k), k) k µ† (k). A matching most preferred plan κ∗u as follows. If κ∗u = kk, MUE u
is said to be dynamically stable, if it cannot be period-1 or sends a request for a two-period association to the BS
period-2 blocked by any MUE or MUE-BS pair5 . k. If κ∗u = ku, the MUE sends an association request to
From Definitions 3 and 4, we can see that, any dynamically BS k, only for period-1. Similarly, if κ∗u = uk, the MUE
stable matching is also an ex ante stable matching. However, sends an association request to k only for period-2. The
ex ante stability does not guarantee dynamic stability. For MUE removes κ∗u from its preference profile for the rest
example, if µ† (u) = (k, u) for an MUE u, ex ante stability of the procedure.
does not guarantee that the MUE commits to use the cache, 2) Each SBS k ∈ K receives the plan proposals and
if the first handover to SBS k fails. In other words, the MUE tentatively accepts the most preferred plans, such that
may block an ex ante stable matching after the actual outcome the quota Ukth is not violated at each period. Clearly, any
of the first matching is known. To help better understand the accepted plan κ by SBS k satisfies κ k kk.
stability for dynamic matchings, we consider the following 3) MUEs with rejected plans apply in the next round, based
simple example. on their next most preferred plan. The first stage of the
algorithm converges, once no plan is rejected.
Example 1. Consider a dynamic matching game Π † , com-
posed of MUEs U = {u1 , u2 }, MBS k0 , and SBSs K = Proposition 1. Stage-1 of the proposed algorithm in Algo-
{k1 , k2 }, with Ukth = 1 for k = k1 , k2 , as shown in scenario 2 rithm 2 converges to an ex ante stable association between
of Fig. 4. The preference plans of MUEs, MBS k0 , and SBSs MUEs and BSs.
are as follows: Proof. See Appendix D.
u1 : k1 k0 , k1 u1 , u1 k0 , u1 u1 ; u2 : k1 u2 , u2 k2 , u2 u2 ;
To avoid period-2 blockage, we introduce a certain structure
k1 : u1 k1 , u2 k1 , k1 k1 ; k2 : k2 u2 , k2 k2 ; k0 : k0 u1 , k0 k0 ;
to the preference profile of the SBSs as follows. For any SBS
where the preference profiles are sorted in descending order for whom the maximum quota of Ukth MUEs are assigned, i.e.
and association plans that are not included do not meet the |µ†2 (k)| = Ukth ,
individual rationality constraint. Here, the underlined matching µ† k µ†1 (k), µ˜2 † (k) ∪ {u} , (27)
5 In general, a matching is dynamically stable for any time t, if it cannot where µ˜2 † (k) is µ2 † (k) with one associated MUE removed
be period-t blocked by any MUE or MUE-BS pair. Extending the dynamic to accommodate a new matching with MUE u. In fact, (27)
matching to more than two periods depends on how much information is
available for MUEs about the network. In this work, we focus on a two- implies that an MUE cannot period-2 block the matching with
period matching problem, since it is more tractable and practical. any SBS k that is associated to Ukth MUEs. In addition,
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
Algorithm 2 Proposed Algorithm for Dynamic Matching TABLE II: Simulation parameters
Notation Parameter Value
Between MUEs and BSs fc Carrier frequency 73 GHz [27]
Inputs: Preference plans κ for all MUEs, MBS, and SBSs. Pt,k Total transmit power of SBSs [20, 27, 30] dBm
Outputs: Dynamically stable matching µ∗ . K Total number of SBSs 50
w Available Bandwidth 5 GHz [27]
Phase 1:
(αLoS ,αNLoS ) Path loss exponent (2, 3.5) [27]
1: For each MUE u ∈ U, if uu u κ, for all κ ∈ Pu , then u does d0 Path loss reference distance 1 m [27]
not send any plan proposal to the BSs. Otherwise, MUE u sends Gmax Antenna main lobe gain 18 dB [28]
a plan proposal to a BS, according to the most preferred plan Gmin Antenna side lobe gain −2 dB [28]
κ∗u . Nk Number of mmWave beams 3
2: Each SBS k ∈ K receives the plan proposals and tentatively θm , θ k beam width 10◦ [28]
N0 Noise power spectral density −174 dBm/Hz
accepts most preferred plans (also compared to plans that are tMTS Minimum time-of-stay 1s [24]
previously accepted), such that the quota Ukth is not violated at Q Play rate 1k segments per second
each period. Clearly, any accepted plan κ by SBS k satisfies B Size of video segments 1 Mbits
κ k kk. (vmin , vmax ) Minimum and maximum MUE speeds (1, 16) m/s [24]
3: repeat Steps 1 to 2 Es Energy per inter-frequency scan 3 mJ [22]
4: until No plan is rejected. The yielded ex ante stable matching is
denoted by µ† = (µ†1 , µ†2 ).
Phase 2: Proof. See Appendix E.
†
5: if ∃u ∈ U, µ2 (u) = u, then apply DA algorithm in Algorithm
To analyze the signaling overhead of the proposed algo-
1 to the subset of MUEs with µ†2 (u) = u and the subset of BSs
with |µ†2 (k)| < Ukth , considering the constraints in (27) and (28).
rithm, we consider the total number of HO requests sent to a
Return yielded matching. target SBS by the MUEs. This metric allows to capture the
6: else overhead of the proposed scheme, in terms of the number of
7: return µ† . control signals that must be handled by the SBS. Additional
8: end if control signals from the SBSs to MUEs can be managed by
using a broadcast channel and do not significantly contribute to
! the overhead of the proposed scheme. In this regard, consider
† 2 vu tMTS
(µ1 (k0 ), u) k0 µ ⇐⇒ Pµth† (u) − arcsin < , the worst-case scenario in which the initial cache size is
1 π 2aµ† (u) Ωu = 0 for all u ∈ U. Therefore, all MUEs seek to perform an
1
(28) HO to the target SBS k by sending a request for plan κ = ku
during Stage-1 of the proposed algorithm. The SBS k accepts
where is a non-negative scalar. In fact, (28) allow MUEs
up to Ukth association plans and rejects the rest. Clearly, if there
that are assigned to SBSs in period 1, with not small enough
is one target SBS for the MUEs, the signaling overhead will
HOF probability, to be assigned to the MBS in period 2.
be O(U ). Otherwise, rejected MUEs will send an HO request
Another alternative was to set P th a small value from the start.
to the next target SBS, based on their preference profiles. The
However, this policy will discourage MUEs to be assigned
maximum signaling overhead occurs for a case when all MUEs
to SBSs and could increase the load on the MBS. With this
have the same preference profile as it introduces the highest
in mind, we construct the second stage of the algorithm as
competition among MUEs. In this case, the signaling overhead
follows:
of the proposed algorithm will be O(U K). In addition, in
Stage-2 (Remove period-2 blocking pairs): Apply the de-
Section VI, we will discuss how caching capabilities will
ferred acceptance algorithm shown in Algorithm 1 to a subset
reduce the overhead of the proposed algorithm.
of MUEs with µ†2 (u) = u, and subset of BSs with |µ†2 (k)| <
Ukth , while considering the constraints in (27) and (28). The VI. S IMULATION R ESULTS
proposed two-stage algorithm is summarized in Algorithm 2. For simulations, we consider a HetNet composed of K = 50
Reconsidering Example 1, it is easy to follow that Algorithm SBSs distributed uniformly across a circular area with radius
2 yields the following solution which is dynamically stable6 : 500 meters [24] with a single MBS located at the center and
u1 : k1 k0 , k1 u1 , u1 k0 , u1 u1 ; u2 : k1 u2 , u2 k2 , u2 u2 ;
a minimum inter-cell distance of 30 meters [42]. Moreover,
k1 : u1 k1 , u2 k1 , k1 k1 ; k2 : k2 u2 , k2 k2 ; k0 : k0 u1 , k0 k0 . the transmit power of SBSs are chosen randomly from the
For the proposed algorithm, we can state the following results: set of powers in [20, 27, 30] dBm. The main parameters are
summarized in Table I. In our simulations, we consider the
Theorem 3. The proposed two-stage algorithm in Algorithm overall transmit-receive antenna gain from an interference link
2 is guaranteed to converge to a dynamically stable association to be random. All statistical results are averaged over a large
between MUEs and BSs. number of independent runs. Next, we first investigate the
6 Here, we assume that (28) holds for u . Otherwise, the ex ante stable
gains achievable by the proposed cache-enabled scheme for a
1
solution in Example 1 is also dynamically stable, since k0 will not make a single user scenario. Then, we will evaluate the performance
period-2 block pair with u1 . of the proposed dynamic matching approach by extending the
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
0.25 0.8
Proposed scheme with caching Conventional HO without caching
Conventional HO without caching Proposed algorithm, Ωu = 0 segments
0.7
Proposed algorithm, Ωu = 104 segments
0.2
0.6
Average handover failure
0.4
0.1
0.3
0.2
0.05
0.1
0 0
3 10 30 45 60 2 4 6 8 10 12
MUE speed (km/h) MUE speed (m/s)
Fig. 5: HOF vs. different MUE speeds. Fig. 7: Average HOF probability vs. MUEs’ speeds.
2
10
Fig. 6 shows the achievable rate of caching for an MUE
with vu = 60 km/h, as a function of different initial distances
10
1
ru,k (x) for various θu . The results in Fig. 6 show that even
for MUEs with high speeds, the achievable rate of caching
10
0 is significant, exceeding 10 Gbps, for all θu values and inital
Achievable rate (Gbps)
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
10 120
vu = 8 m/s vu = 8 m/s
7
Load of the target SBS
80
6
5 60
4
40
3
2
20
1
0 0
10 15 20 25 30 35 40 45 50 10 20 30 40 50
Number of MUEs Number of MUEs
Fig. 8: Load of the target SBS vs. the number of MUEs. Fig. 9: Energy savings for inter-frequency measurements vs number
of MUEs.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
available by using the cached content. Nonetheless, the results B. Proof of Lemma 1
in Fig. 10 clearly demonstrate that the proposed algorithm has From (9), Ftc (t0 ) = P(ruc ≤ vu t0 ). To find this prob-
a manageable overhead, not exceeding 17 requesting signals ability, we note that ruc ≤ vu t0 if MUE moves between
for a network size of U = 50 with vu = 8 m/s. In fact, it is two line segments of length vu t0 that connect MUE to line
interesting to note that although mobility management is, in y = x cos θ0 . Depending on ru,k (x), the intersection of line
general, more challenging for high speed MUEs, the overhead segment with y = x cos θ0 may have one or two solutions.
of the proposed algorithm decreases for high speed scenarios. In case of two intersection points, the two line segments
This is due to the fact that high speed MUEs use the cached will make two equal angles with the perpendicular line from
content more effectively than slow-moving MUEs. xu , to y = x cos θ0 , which each is obviously
min equal to
VII. C ONCLUSIONS r
π−(π/2−θk )− θ̂ = π/2+θk − θ̂ = arccos vuut0 . Therefore,
In this paper, we have proposed a comprehensive framework
min
for mobility management in integrated microwave-millimeter 2 ru
wave cellular networks. In particular, we have shown that Ftc (t0 ) = arccos . (31)
π − θk vu t0
by smartly caching video contents while exploiting the dual-
In fact, θu must be within a range of π − θk for ruc ≤ vu t0
mode nature of the network’s base stations, one can provide
to be valid. Now, if this angle is greater than π/2 − θk , only
seamless mobility to the users. We have derived various
one intersection point exists. Equivalently,
fundamental results on the probability and the achievable rate
min min
for caching video contents by leveraging millimeter wave 1 ru ru
high capacity transmissions. In addition, to capture the dy- Ftc (t0 ) = arccos +arccos . (32)
π − θk vu t0 ru,k (x)
namics of the mobility management, we have formulated the
Integrating (31) and (32), the CDF for caching duration can
multi-user handover problem as a dynamic matching game
be written as (13).
between the mobile users and small base stations. To solve this
game, we have proposed a novel algorithm that is guaranteed C. Proof of Theorem 2
to converge to a dynamically stable handover mechanism.
Theorem 1 implies that with probability 1 − Pck (Nk , θk ),
Moreover, we have shown that the proposed cache-enabled
only µW coverage is available for an MUE. Therefore, the
mobility management framework provides significant gains in
average achievable rate for caching over the mmWave fre-
reducing the number of handovers, energy consumption for
quencies is given by (15). To simplify (15), we have
inter-frequency scanning, as well as mitigating the handover
failure. Numerical results have corroborated our analytical ru,k cos θ = ru,k (x) + ru cos θ̂, ru,k sin θ = ru sin θ̂, (33)
results and showed that the significant rates for caching can be
achieved over the mmWave frequencies, even for fast mobile where θ̂ = θu − θ0 + θk and θ is an angle between the line
users. In addition, the results have shown that the proposed connecting MUE to SBS, ranging from 0 to θk . Moreover, ru
approach substantially decreases the handover failures and is the current traversed distance, with ru = ruc once the MUE
provides significant energy savings in heterogeneous networks. reaches x0 by the end of caching duration, as shown in Fig.
A PPENDIX 2. From (33), we find ru,k = ru,k (x) sin θ̂/ sin(θ̂ − θ). By
A. Proof of Theorem 1 changing the integral variable ru to θ, we can write (15) as
Due to the equidistant beams, we have Z θk cos(θ̂ − θ)
1˜ 1h i 1
2π
R̄c (u, k) = δ2 log 1 + δ1 sinα (θ̂ − θ) dθ,
AoB = AB =
[ 2π − AoB =
¯ 2π − − θk 0 sin2 (θ̂ − θ)
2 2 2 Nk (34)
1 θk
= 1− π+ . (29) where δ1 = βPt ψ(ru,k (x) sin θ̂)−α /wN0 and δ2 =
Nk 2
wru,k (x) sin θ̂Pck (Nk , θk )/vu tc . Next, we can directly con-
Given that an arbitrary MUE can enter the circle in Fig. 2 at clude (16) from (34) by substituting f (θ) = sin(θ̂ − θ) in
any direction, this MUE will be instantly covered by mmWave
with probability P(x ∈ A) = N2π , where A ⊂ R2 denotes
k θk
(34). For α = 2, which is a typical value for the path loss
exponent for LoS mmWave links, (16) can be simplified into
the part of circle’s perimeter that overlaps with mmWave (17) by taking the integration by parts in (16).
beams. Therefore,
1 [ D. Proof of Proposition 1
Pck (Nk , θk ) = P(x ∈ A) + [1 − P(x ∈ A)] AoB, (30)
2π Assume an MUE-BS pair (u, k) period-1 blocks the match-
where (30) results from the fact that θ ∼ U [0, 2π]. Therefore, ing µ† . In consequence, there is a plan κ ∈ {ku, uk, kk} for u
from (29) and (30), the probability of crossing a mmWave and a corresponding plan for k that both prefer to their current
beam follows (7). matching in µ† . If κ u µ† (u), then the MUE u must have
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
sent a proposal for κ to k prior to its associated plan in µ† . [9] H. Zhang, N. Meng, Y. Liu, and X. Zhang, “Performance evaluation for
Since κ is not eventually accepted, that means at some point, local anchor-based dual connectivity in 5G user-centric network,” IEEE
Access, vol. 4, pp. 5721–5729, September 2016.
the SBS k has rejected κ in favor of another plan. Since the [10] I. Elgendi, K. S. Munasinghe, and A. Jamalipour, “Mobility management
matching for SBSs improves at each round, we conclude that in three-tier sdn architecture for densenets,” in 2016 IEEE Wireless
Communications and Networking Conference, pp. 1–6, April 2016.
κ is less preferred by k compared to µ† (k). This contradicts [11] S. G. Park and Y. S. Choi, “Mobility enhancement in centralized
the first assumption, thus, such a period-1 blocking pair does mmwave-based multi-spot beam cellular system,” in 2015 International
not exist and µ† is ex ante stable. Conference on Information and Communication Technology Conver-
gence, pp. 200–205, October 2015.
[12] J. Qiao, X. S. Shen, J. W. Mark, and L. Lei, “Video quality provisioning
E. Proof of Theorem 3 for millimeter wave 5G cellular networks with link outage,” IEEE
Transactions on Wireless Communications, vol. 14, pp. 5692–5703,
From Proposition 1, the solution is guaranteed to be ex ante October 2015.
stable. Therefore, MUEs and BSs will not period-1 block the [13] O. Semiari, W. Saad, M. Bennis, and B. Maham, “Mobility management
for heterogeneous networks: Caching meets millimeter wave to provide
matching. The rest of the proof easily follows the fact that the seamless handover,” in Proc. of the 2017 IEEE GLOBECOM, December
BSs will not make a period-2 blocking pair with any MUE, 2017.
due to the constraints in (27) and (28). In fact, if there is any [14] X. Wang, M. Chen, T. Taleb, A. Ksentini, and V. C. M. Leung,
“Cache in the air: exploiting content caching and delivery techniques
period-2 blocking pair (u, k), there are four possible cases to for 5G systems,” IEEE Communications Magazine, vol. 52, pp. 131–
consider: 1) kk u µ∗ (u) and uu k µ∗ (k), 2) uk u µ∗ (u) 139, February 2014.
[15] Y. Rao, H. Zhou, D. Gao, H. Luo, and Y. Liu, “Proactive caching
and ku k µ∗ (k), 3) uk u µ∗ (u) and u0 u k µ∗ (k), where for enhancing user-side mobility support in named data networking,”
u0 6= u, or 4) k 0 k u µ∗ (u) and u0 u k µ∗ (k), where k 0 6= k in Proc. of 2013 International Conference on Innovative Mobile and
and u0 6= u. The first two cases are not possible, since they Internet Services in Ubiquitous Computing, pp. 37–42, July 2013.
[16] K. Poularakis and L. Tassiulas, “Exploiting user mobility for wireless
indicate that (u, k) can period-1 block µ∗ which contradicts ex content delivery,” in 2013 IEEE International Symposium on Information
ante stability. Considering the last two cases, since MUE u is Theory, pp. 1017–1021, July 2013.
[17] A. S. Gomes, B. Sousa, D. Palma, V. Fonseca, Z. Zhao, E. Monteiro,
not associated with SBS k in period-2, that implies that k has T. Braun, P. Simoes, and L. Cordeiro, “Edge caching with mobility
already been assigned to Ukth MUEs. Otherwise, u would be prediction in virtualized LTE mobile networks,” Future Generation
assigned to k during the second stage of Algorithm 2. Hence, Computer Systems, 2016.
[18] M. Chen, M. Mozaffari, W. Saad, C. Yin, M. Debbah, and C. S. Hong,
due to the constraint (27), k will not make a period-2 blocking “Caching in the sky: Proactive deployment of cache-enabled unmanned
pair with u. Similarly, the MBS will not make a period-2 aerial vehicles for optimized quality-of-experience,” IEEE Journal on
blocking pair with any MUE u that is not assigned to the MBS Selected Areas in Communications, vol. 35, pp. 1046–1061, May 2017.
[19] M. Chen, W. Saad, C. Yin, and M. Debbah, “Echo state networks
during the second stage. Thus, no period-2 blocking pair exists for proactive caching in cloud-based radio access networks with mo-
and the solution µ∗ satisfies dynamic stability. bile users,” IEEE Transactions on Wireless Communications, vol. 16,
pp. 3520–3535, June 2017.
R EFERENCES [20] D. Gale and L. Shapley, “College admissions and the stability of
marriage,” Amer. Math. Monthly, vol. 69, 1962.
[1] D. Lopez-Perez, I. Guvenc, and X. Chu, “Mobility management chal- [21] E. Jorswieck, “Stable matchings for resource allocation in wireless
lenges in 3GPP heterogeneous networks,” IEEE Communications Mag- networks,” in Proc. of 17th International Conference on Digital Signal
azine, vol. 50, pp. 70–78, December 2012. Processing (DSP), (Corfu, Greece), July 2011.
[2] I. F. Akyildiz, J. Xie, and S. Mohanty, “A survey of mobility manage- [22] A. Prasad, O. Tirkkonen, P. Lunden, O. N. Yilmaz, L. Dalsgaard,
ment in next-generation all-IP-based wireless systems,” IEEE Wireless and C. Wijting, “Energy-efficient inter-frequency small cell discovery
Communications, vol. 11, pp. 16–28, August 2004. techniques for LTE-Advanced heterogeneous network deployments,” in
[3] F. Giust, L. Cominardi, and C. J. Bernardos, “Distributed mobility IEEE Communications Magazine, pp. 72–81, May 2013.
management for future 5G networks: overview and analysis of existing [23] K. I. Pedersen, P. H. Michaelsen, C. Rosa, and S. Barbera, “Mobility
approaches,” IEEE Communications Magazine, vol. 53, pp. 142–149, enhancements for lte-advanced multilayer networks with inter-site car-
January 2015. rier aggregation,” IEEE Communications Magazine, vol. 51, pp. 64–71,
[4] A. Prasad, O. Tirkkonen, P. LundÃ
n,
c O. N. C. Yilmaz, L. Dalsgaard, May 2013.
and C. Wijting, “Energy-efficient inter-frequency small cell discovery [24] 3GPP, “E-UTRA: Mobility enhancements in heterogeneous networks,”
techniques for LTE-advanced heterogeneous network deployments,” 3rd Generation Partnership Project, vol. Rel 11, September 2012.
IEEE Communications Magazine, vol. 51, pp. 72–81, May 2013. [25] A. Ravanshid, P. Rost, D. S. Michalopoulos, V. V. Phan, H. Bakker,
[5] D. Xenakis, N. Passas, L. Merakos, and C. Verikoukis, “Mobility D. Aziz, S. Tayade, H. D. Schotten, S. Wong, and O. Holland, “Multi-
management for femtocells in LTE-advanced: Key aspects and survey of connectivity functional architectures in 5g,” in 2016 IEEE International
handover decision algorithms,” IEEE Communications Surveys Tutorials, Conference on Communications Workshops, pp. 187–192, May 2016.
vol. 16, pp. 64–91, First 2014. [26] E. M. Royer, P. M. Melliar-Smith, and L. E. Moser, “An analysis of the
[6] A. Ahmed, L. M. Boulahia, and D. Gaiti, “Enabling vertical handover optimum node density for ad hoc mobile networks,” in ICC 2001. IEEE
decisions in heterogeneous wireless networks: A state-of-the-art and International Conference on Communications. Conference Record (Cat.
a classification,” IEEE Communications Surveys Tutorials, vol. 16, No.01CH37240), vol. 3, pp. 857–861 vol.3, June 2001.
pp. 776–811, Second 2014. [27] A. Ghosh, R. Ratasuk, P. Moorut, T. S. Rappaport, and S. Sun,
[7] K. Vasudeva, M. Simsek, D. Lopez-Perez, and I. Guvenc, “Impact of “Millimeter-Wave enhanced local area systems: A high-data-rate ap-
channel fading on mobility management in heterogeneous networks,” proach for future wireless networks,” IEEE Journal on Selected Areas
in 2015 IEEE International Conference on Communication Workshop, in Communications, vol. 32, no. 6, pp. 1152 –1163, June 2014.
June 2015. [28] S. Singh, M. N. Kulkarni, A. Ghosh, and J. G. Andrews, “Tractable
[8] M. Khan and K. Han, “An optimized network selection and handover model for rate in self-backhauled millimeter wave cellular networks,”
triggering scheme for heterogeneous self-organized wireless networks,” IEEE Journal on Selected Areas in Communications, vol. 33, pp. 2196–
Mathematical Problems in Engineering, vol. 16, pp. 1–11, 2014. 2211, October 2015.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/TWC.2017.2771419, IEEE
Transactions on Wireless Communications
[29] J. G. Andrews, T. Bai, M. N. Kulkarni, A. Alkhateeb, A. K. Gupta, Walid Saad (S’07, M’10, SM’15) received his
and R. W. Heath, “Modeling and analyzing millimeter wave cellular Ph.D degree from the University of Oslo in 2010.
systems,” IEEE Transactions on Communications, vol. 65, pp. 403–430, Currently, he is an Associate Professor at the De-
Jan 2017. partment of Electrical and Computer Engineering
[30] H. N. Dai, K. W. Ng, R. W. Wong, and M. Y. Wu, “On the capacity at Virginia Tech, where he leads the Network
of multi-channel wireless networks using directional antennas,” in IEEE Science, Wireless, and Security (NetSciWiS) lab-
INFOCOM 2008 - The 27th Conference on Computer Communications, oratory, within the Wireless@VT research group.
April 2008. His research interests include wireless networks,
[31] S. Akoum, O. E. Ayach, and R. W. Heath, “Coverage and capacity in machine learning, game theory, cybersecurity, un-
mmwave cellular systems,” in 2012 Conference Record of the Forty Sixth manned aerial vehicles, and cyber-physical systems.
Asilomar Conference on Signals, Systems and Computers (ASILOMAR), Dr. Saad is the recipient of the NSF CAREER award
pp. 688–692, Nov 2012. in 2013, the AFOSR summer faculty fellowship in 2014, and the Young
[32] A. Guo and M. Haenggi, “Asymptotic deployment gain: A simple ap- Investigator Award from the Office of Naval Research (ONR) in 2015. He
proach to characterize the sinr distribution in general cellular networks,” was the author/co-author of six conference best paper awards at WiOpt in
IEEE Transactions on Communications, vol. 63, pp. 962–976, March 2009, ICIMP in 2010, IEEE WCNC in 2012, IEEE PIMRC in 2015, IEEE
2015. SmartGridComm in 2015, and EuCNC in 2017. He is the recipient of the
[33] T. Bai and R. W. Heath, “Coverage and rate analysis for millimeter-wave 2015 Fred W. Ellersick Prize from the IEEE Communications Society. From
cellular networks,” IEEE Transactions on Wireless Communications, 2015-2017, Dr. Saad was named the Stephen O. Lane Junior Faculty Fellow
vol. 14, pp. 1100–1114, Feb 2015. at Virginia Tech and, in 2017, he was named College of Engineering Faculty
[34] M. K. Samimi and T. S. Rappaport, “Local multipath model parameters Fellow. He currently serves as an editor for the IEEE Transactions on Wireless
for generating 5g millimeter-wave 3gpp-like channel impulse response,” Communications, IEEE Transactions on Communications, IEEE Transactions
in 2016 10th European Conference on Antennas and Propagation on Mobile Computing, and IEEE Transactions on Information Forensics and
(EuCAP), pp. 1–5, April 2016. Security.
[35] V. Joseph and G. de Veciana, “Nova: Qoe-driven optimization of dash-
based video delivery in networks,” in IEEE INFOCOM 2014 - IEEE
Conference on Computer Communications, pp. 82–90, April 2014.
[36] F. Fu and M. V. D. Schaar, “A systematic framework for dynamically
optimizing multi-user wireless video transmission,” IEEE Journal on
Selected Areas in Communications, vol. 28, pp. 308–320, April 2010.
[37] V. Joseph and G. de Veciana, “Jointly optimizing multi-user rate adapta- Mehdi Bennis (Senior Member, IEEE) is an asso-
tion for video transport over wireless systems: Mean-fairness-variability ciate professor at the University of Oulu, Finland
tradeoffs,” in 2012 Proceedings IEEE INFOCOM, pp. 567–575, March and an Academy of Finland Research Fellow. He
2012. received his M.Sc. degree from the Ecole Polytech-
[38] C. H. M. de Lima, M. Bennis, and M. Latva-aho, “Modeling and analysis nique Federale de Lausanne (EPFL), Switzerland
of handover failure probability in small cell networks,” in Proc. of and the Eurecom Institute, France in 2002. He
IEEE Conference on Computer Communications Workshops, pp. 736– obtained his Ph.D. degree in electrical engineering
741, April 2014. December 2009 on spectrum sharing for future mo-
[39] P. Raghavan and C. D. Thompson, “Randomized rounding: A technique bile cellular systems. His main research interests
for provably good algorithms and algorithmic proofs,” Combinatorica, are in radio resource management, heterogeneous
vol. 7, no. 4, pp. 365–374, 1987. networks, game theory and machine learning. He
[40] S. Kadam and M. H. Kotowski, “Multi-period matching,” has published more than 100 research papers in international conferences,
Available online at http:// scholar.harvard.edu/ kadam/ publications/ journals, book chapters and patents. Dr Bennis gave a dozen of tutorials
multi-period-matching, April 2016. at IEEE flagship conferences. He was also the recipient of several prizes
[41] A. E. Roth and M. A. O. Sotomayor, Two-sided matching: A study including the 2015 Fred W. Ellersick Prize from the IEEE Communications
in game-theoretic modeling and analysis. Cambridge University Press, Society (COMSOC), the 2016 IEEE COMSOC Best Tutorial Prize, the 2017
1992. EURASIP Best Paper Award for the Journal on Wireless Communications and
[42] 3GPP, “E-UTRA: Further advancements for E-UTRA physical layer Networking (JWCN), and recently the best paper Award at EUCNC 2017.
aspects,” 3rd Generation Partnership Project, vol. Rel 9, 2010.
1536-1276 (c) 2017 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.