Performance Analysis of Hybrid Cellular and Cell-free MIMO Network

Zhuoyin Dai*, **gran Xu*, Xiaoli Xu*, Ruoguang Li* and Yong Zeng*\dagger
*National Mobile Communications Research Laboratory, Southeast University, Nan**g 210096, China
†Purple Mountain Laboratories, Nan**g 211111, China
Email: {zhuoyin_dai, **gran_xu, xiaolixu, ruoguangli, yong_zeng}@seu.edu.cn
Abstract

Cell-free wireless communication is envisioned as one of the most promising network architectures, which can achieve stable and uniform communication performance while improving the system energy and spectrum efficiency. The deployment of cell-free networks is envisioned to be a long-term evolutionary process, in which cell-free access points (APs) will be gradually introduced into the communication network and collaborate with the existing cellular base stations (BSs). To further explore the performance limits of hybrid cellular and cell-free networks, this paper develops a hybrid network model based on stochastic geometric toolkits, which reveals the coupling of the signal and interference from both the cellular and cell-free networks. Specifically, the conjugate beamforming is applied in hybrid cellular and cell-free networks, which enables user equipment (UE) to benefit from both cellular BSs and cell-free APs. The aggregate signal received from the hybrid network is approximated via moment matching, and coverage probability is characterized by deriving the Laplace transform of the interference. The analysis of signal strength and coverage probability is verified by extensive simulations.

I Introduction

The future wireless communication networks will witness a proliferation of mobile applications and unprecedented growth in wireless data. The realization of higher spectrum and energy efficiency with superior costs remains a challenging issue in current research. As one of the most prominent wireless technologies proposed in recent years, cell-free network is considered as a promising network architecture in the beyond fifth-generation (B5G) and sixth generation (6G) mobile communication system [1]. Different from traditional cellular systems, cell-free network is a user-centric coverage architecture that discards the traditional concept of cellular boundaries [2]. The central processing unit (CPU) controls the access points (APs) to cooperate to provide services to user equipment (UE) on the same time-frequency resources, thus realizing higher spatial multiplexing [3, 4]. Cell-free network improves the energy and spectral efficiency of the system, and effectively reduces the performance gaps between UE by ensuring that there are spatially short-range APs that provide stable services to UE.

However, the deployment of cell-free systems in existing commercial mobile networks still faces serious challenges. First, the construction of cell-free systems requires the deployment of the distributed APs throughout the network and the construction of the corresponding fronthaul links, which brings heavy time costs and deployment expenses. Second, simply introducing the cell-free system without cooperation will inevitably cause mutual interference with existing cellular systems, significantly limiting the system performance. Therefore, the deployment of cell-free systems is bound to be a long-term evolutionary process, and hybrid cellular and cell-free cooperation networks are both a necessity and a desirable choice for B5G and 6G.

Some recent works have investigated the performance analysis and resource allocation of hybrid cellular and cell-free networks. A cell-free and legacy cellular coexistence system deployed on the existing system architecture, as well as the corresponding precoding, power control, etc., are outlined in [5]. With appropriate UE association criteria and coordinated beamforming, hybrid cell-free and small cell systems can provide superior downlink rates for static and dynamic UE than the single architecture [6]. However, the above works do not take into account the impact of the spatial distribution of base stations (BSs), APs, and UE on network performance.

Due to the densification and irregularity of wireless node distributions in the network, traditional grid-based deployment models are difficult to reflect the practical system performance. Stochastic geometry models the spatial distribution of wireless nodes with point processes and can effectively characterize the lower bound of the actual system performance. There have been some works using stochastic geometry to analyze the performance of cell-free networks and coordinated multiple points (CoMP) communication in terms of energy efficiency (EE) [7], power control [8] and channel hardening analysis [9], etc. However, there is still a lack of work related to the characterization of hybrid cellular and cell-free networks. In addition, the existing stochastic geometry-based heterogeneous network studies, which separate different network layers from each other [10], are not applicable to the analysis of hybrid cellular and cell-free networks.

To gain some insights of the performance limit of the hybrid network, this paper develops a stochastic geometry-based model for hybrid cellular and cell-free networks, which reveals the coupling of the signal and interference from both the cellular and cell-free networks. However, the aggregate signals from the BSs and APs with conjugate beamforming make it difficult to characterize the distribution of the signal strength and the corresponding signal-to-interference plus noise ratio (SINR). To tackle this issue, we first derive the closed-form expressions for the average signal strength and interference power from the APs, and then the aggregate signal strength distribution is approximated via moment matching. Finally, the coverage probability is characterized on the basis of the Laplace transform of the system interference power. The analysis of network coverage probability is verified by extensive simulations, and it can be used to guide the network deployment and interference management in the hybrid cellular and cell-free networks.

II System Model

As shown in Fig. 1, a hybrid cellular and cell-free network is considered in this paper. The locations of BSs, cell-free APs, and single-antenna UE are modeled by independent homogeneous Poisson point processes (HPPP) ΛBsubscriptΛ𝐵\Lambda_{B}roman_Λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT, ΛAsubscriptΛ𝐴\Lambda_{A}roman_Λ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT and ΛUsubscriptΛ𝑈\Lambda_{U}roman_Λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT, with density λBsubscript𝜆𝐵\lambda_{B}italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT/km2superscriptkm2\mathrm{km}^{2}roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, λAsubscript𝜆𝐴\lambda_{A}italic_λ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT/km2superscriptkm2\mathrm{km}^{2}roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and λUsubscript𝜆𝑈\lambda_{U}italic_λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT/km2superscriptkm2\mathrm{km}^{2}roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively. Each BS is equipped with NBsubscript𝑁𝐵N_{B}italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT antennas, while each AP is equipped with NAsubscript𝑁𝐴N_{A}italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT antennas. Considering the different configurations that AP and BS can support, PAsubscript𝑃𝐴P_{A}italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT and PBsubscript𝑃𝐵P_{B}italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT denote the maximum downlink power of AP and BS with PA<PBsubscript𝑃𝐴subscript𝑃𝐵P_{A}<P_{B}italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT < italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT. In the network, dmisubscript𝑑𝑚𝑖d_{mi}italic_d start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT and ljisubscript𝑙𝑗𝑖l_{ji}italic_l start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT denote the distance between BS m𝑚mitalic_m and UE i𝑖iitalic_i, and that between AP j𝑗jitalic_j and UE i𝑖iitalic_i, respectively. We consider a typical UE, referred as UE 0, which is jointly served by the closest BS, named BS 0, with the distance d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT, and all the cell-free APs in 𝒜𝒜\mathcal{A}caligraphic_A. The channel vector between BS m𝑚mitalic_m and UE i𝑖iitalic_i is denoted by 𝐡mi[hmi,1,,hmi,NB]NB×1subscript𝐡𝑚𝑖subscript𝑚𝑖1subscript𝑚𝑖subscript𝑁𝐵superscriptsubscript𝑁𝐵1\mathbf{h}_{mi}\triangleq[h_{mi,1},...,h_{mi,N_{B}}]\in\mathbb{C}^{N_{B}\times 1}bold_h start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT ≜ [ italic_h start_POSTSUBSCRIPT italic_m italic_i , 1 end_POSTSUBSCRIPT , … , italic_h start_POSTSUBSCRIPT italic_m italic_i , italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT ] ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT × 1 end_POSTSUPERSCRIPT, while the channel vector between AP j𝑗jitalic_j and UE i𝑖iitalic_i is 𝐠ji[gji,1,,gji,NA]NA×1subscript𝐠𝑗𝑖subscript𝑔𝑗𝑖1subscript𝑔𝑗𝑖subscript𝑁𝐴superscriptsubscript𝑁𝐴1\mathbf{g}_{ji}\triangleq[g_{ji,1},...,g_{ji,N_{A}}]\in\mathbb{C}^{N_{A}\times 1}bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ≜ [ italic_g start_POSTSUBSCRIPT italic_j italic_i , 1 end_POSTSUBSCRIPT , … , italic_g start_POSTSUBSCRIPT italic_j italic_i , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ] ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT × 1 end_POSTSUPERSCRIPT. The channel model consisting of distance-dependent large-scale fading and random small-scale fading is considered as

𝐡mi=βmi12𝜻mi,mωB,formulae-sequencesubscript𝐡𝑚𝑖superscriptsubscript𝛽𝑚𝑖12subscript𝜻𝑚𝑖𝑚subscript𝜔𝐵\mathbf{h}_{mi}=\beta_{mi}^{\frac{1}{2}}\bm{\zeta}_{mi},m\in\omega_{B},bold_h start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT = italic_β start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT , italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , (1)
𝐠ji=δji12𝝃ji,jωA,formulae-sequencesubscript𝐠𝑗𝑖superscriptsubscript𝛿𝑗𝑖12subscript𝝃𝑗𝑖𝑗subscript𝜔𝐴\mathbf{g}_{ji}=\delta_{ji}^{\frac{1}{2}}\bm{\xi}_{ji},j\in\omega_{A},bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT = italic_δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT , italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT , (2)

where βmisubscript𝛽𝑚𝑖\beta_{mi}italic_β start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT and δjisubscript𝛿𝑗𝑖\delta_{ji}italic_δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT are path loss of the channel with βmi=β0dmiα1subscript𝛽𝑚𝑖subscript𝛽0superscriptsubscript𝑑𝑚𝑖subscript𝛼1\beta_{mi}=\beta_{0}d_{mi}^{-\alpha_{1}}italic_β start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT = italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT and δji=δ0ljiα2subscript𝛿𝑗𝑖subscript𝛿0superscriptsubscript𝑙𝑗𝑖subscript𝛼2\delta_{ji}=\delta_{0}l_{ji}^{-\alpha_{2}}italic_δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT = italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. ωBsubscript𝜔𝐵\omega_{B}italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT and ωAsubscript𝜔𝐴\omega_{A}italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT are the sets of all the BSs and APs, respectively. The small-scale fading in both 𝜻misubscript𝜻𝑚𝑖\bm{\zeta}_{mi}bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT and 𝝃jisubscript𝝃𝑗𝑖\bm{\xi}_{ji}bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT are independent and identically distributed (i.i.d.) 𝒞𝒩(0,1)𝒞𝒩01\mathcal{CN}(0,1)caligraphic_C caligraphic_N ( 0 , 1 ) random variables (r.v.s).

The entire network area is represented by 𝒜𝒜\mathcal{A}caligraphic_A.

Refer to caption
Figure 1: Hybrid cellular and cell-free network.

During the downlink transmission, UE in the same cell will be served by the same BS. In addition, both BSs and APs select conjugate beamforming in order to obtain low computational complexity and good performance, and also to avoid channel state information (CSI) interactions between APs [1]. Therefore, the signal transmitted by BS m𝑚mitalic_m is

𝐱B,m=PBηBnϕB,m𝐡mn𝐡mnqn,subscript𝐱𝐵𝑚subscript𝑃𝐵subscript𝜂𝐵subscript𝑛subscriptitalic-ϕ𝐵𝑚subscript𝐡𝑚𝑛normsubscript𝐡𝑚𝑛subscript𝑞𝑛\mathbf{x}_{B,m}=\sqrt{P_{B}\eta_{B}}\sum_{n\in\phi_{B,m}}\frac{\mathbf{h}_{mn% }}{\|\mathbf{h}_{mn}\|}q_{n},bold_x start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT = square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_n ∈ italic_ϕ start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ∥ end_ARG italic_q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , (3)

where ϕB,msubscriptitalic-ϕ𝐵𝑚\phi_{B,m}italic_ϕ start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT denotes the set of UE that are served by BS m𝑚mitalic_m, and qn𝒞𝒩(0,1)similar-tosubscript𝑞𝑛𝒞𝒩01q_{n}\sim\mathcal{CN}(0,1)italic_q start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∼ caligraphic_C caligraphic_N ( 0 , 1 ) denotes the information-bearing symbols for UE n𝑛nitalic_n. ηBsubscript𝜂𝐵\eta_{B}italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT denotes the power constraint parameter with 𝔼[𝐱B,mH𝐱B,m]=PB𝔼delimited-[]superscriptsubscript𝐱𝐵𝑚𝐻subscript𝐱𝐵𝑚subscript𝑃𝐵\mathbb{E}[\mathbf{x}_{B,m}^{H}\mathbf{x}_{B,m}]=P_{B}blackboard_E [ bold_x start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_x start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT ] = italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT. For convenience, ηBsubscript𝜂𝐵\eta_{B}italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is expressed as the average number of users per BS, i.e., ηB=1|ϕ¯B|=λBλUsubscript𝜂𝐵1subscript¯italic-ϕ𝐵subscript𝜆𝐵subscript𝜆𝑈\eta_{B}=\frac{1}{|\bar{\phi}_{B}|}=\frac{\lambda_{B}}{\lambda_{U}}italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_ARG = divide start_ARG italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT end_ARG, where |ϕ¯B|subscript¯italic-ϕ𝐵|\bar{\phi}_{B}|| over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | denotes the average of |ϕB,m|subscriptitalic-ϕ𝐵𝑚|\phi_{B,m}|| italic_ϕ start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT | for any m𝑚mitalic_m.

Denote the set of UE in the network as ϕUsubscriptitalic-ϕ𝑈\phi_{U}italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT. Therefore, the corresponding downlink signal from each cell-free AP j𝑗jitalic_j is

𝐱A,j=PAηAiϕU𝐠ji𝐠jiqi,subscript𝐱𝐴𝑗subscript𝑃𝐴subscript𝜂𝐴subscript𝑖subscriptitalic-ϕ𝑈subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖subscript𝑞𝑖\mathbf{x}_{A,j}=\sqrt{P_{A}\eta_{A}}\sum_{i\in\phi_{U}}\frac{\mathbf{g}_{ji}}% {\|\mathbf{g}_{ji}\|}q_{i},bold_x start_POSTSUBSCRIPT italic_A , italic_j end_POSTSUBSCRIPT = square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (4)

where ηAsubscript𝜂𝐴\eta_{A}italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT denotes the power constraint parameter. Note that the averaged number of UE in ϕUsubscriptitalic-ϕ𝑈\phi_{U}italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT is 𝔼[|ϕU|]=U¯=λU|𝒜|𝔼delimited-[]subscriptitalic-ϕ𝑈¯𝑈subscript𝜆𝑈𝒜\mathbb{E}[|\phi_{U}|]=\bar{U}=\lambda_{U}|\mathcal{A}|blackboard_E [ | italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT | ] = over¯ start_ARG italic_U end_ARG = italic_λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT | caligraphic_A |, ηAsubscript𝜂𝐴\eta_{A}italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT can be denoted as ηA=1U¯subscript𝜂𝐴1¯𝑈\eta_{A}=\frac{1}{\bar{U}}italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_U end_ARG end_ARG to ensure 𝔼[𝐱A,jH𝐱A,j]=PA𝔼delimited-[]superscriptsubscript𝐱𝐴𝑗𝐻subscript𝐱𝐴𝑗subscript𝑃𝐴\mathbb{E}[\mathbf{x}_{A,j}^{H}\mathbf{x}_{A,j}]=P_{A}blackboard_E [ bold_x start_POSTSUBSCRIPT italic_A , italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_x start_POSTSUBSCRIPT italic_A , italic_j end_POSTSUBSCRIPT ] = italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT.

For any UE i𝑖iitalic_i in the network, isuperscript𝑖i^{*}italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT is denoted as the index of the associated and nearest BS providing the service. With the collaboration of cell-free APs and cellular BSs, the downlink signal received by the typical UE 0 is

y0=mωB𝐡m0H𝐱B,m+jωA𝐠j0H𝐱A,j+n0=PBηB𝐡00S0Bq0+jωAPAηA𝐠j0S0Aq0+iϕU\0(PBηB𝐡i0H𝐡ii𝐡ii+PAηAjωA𝐠j0H𝐠ji𝐠ji)IUqi+n0,subscript𝑦0absentsubscript𝑚subscript𝜔𝐵superscriptsubscript𝐡𝑚0𝐻subscript𝐱𝐵𝑚subscript𝑗subscript𝜔𝐴superscriptsubscript𝐠𝑗0𝐻subscript𝐱𝐴𝑗subscript𝑛0missing-subexpressionabsentsubscriptsubscript𝑃𝐵subscript𝜂𝐵normsubscript𝐡00subscript𝑆0𝐵subscript𝑞0limit-fromsubscriptsubscript𝑗subscript𝜔𝐴subscript𝑃𝐴subscript𝜂𝐴normsubscript𝐠𝑗0subscript𝑆0𝐴subscript𝑞0missing-subexpressionsubscriptsubscript𝑖subscriptitalic-ϕ𝑈subscript\0subscript𝑃𝐵subscript𝜂𝐵superscriptsubscript𝐡superscript𝑖0𝐻subscript𝐡superscript𝑖𝑖normsubscript𝐡superscript𝑖𝑖subscript𝑃𝐴subscript𝜂𝐴subscript𝑗subscript𝜔𝐴superscriptsubscript𝐠𝑗0𝐻subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖subscript𝐼𝑈subscript𝑞𝑖subscript𝑛0\begin{aligned} y_{0}&=\sum_{m\in\omega_{B}}\mathbf{h}_{m0}^{H}\mathbf{x}_{B,m% }+\sum_{j\in\omega_{A}}\mathbf{g}_{j0}^{H}\mathbf{x}_{A,j}+n_{0}\\ &=\underbrace{\sqrt{P_{B}\eta_{B}}\|\mathbf{h}_{00}\|}_{S_{0B}}q_{0}+% \underbrace{\sum_{j\in\omega_{A}}\sqrt{P_{A}\eta_{A}}\|\mathbf{g}_{j0}\|}_{S_{% 0A}}q_{0}+\\ &\underbrace{\sum_{i\in\phi_{U}\backslash_{0}}\!\Big{(}\sqrt{P_{B}\eta_{B}}% \mathbf{h}_{i^{*}0}^{H}\frac{\mathbf{h}_{i^{*}i}}{\|\mathbf{h}_{i^{*}i}\|}\!+% \!\sqrt{P_{A}\eta_{A}}\sum_{j\in\omega_{A}}\mathbf{g}_{j0}^{H}\frac{\mathbf{g}% _{ji}}{\|\mathbf{g}_{ji}\|}\Big{)}}_{I_{U}}q_{i}+n_{0},\end{aligned}start_ROW start_CELL italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL start_CELL = ∑ start_POSTSUBSCRIPT italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT bold_h start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_x start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_x start_POSTSUBSCRIPT italic_A , italic_j end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = under⏟ start_ARG square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG ∥ bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∥ end_ARG start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + under⏟ start_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ end_ARG start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL under⏟ start_ARG ∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT \ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT ∥ end_ARG + square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG ) end_ARG start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , end_CELL end_ROW

(5)

where the first term S0Asubscript𝑆0𝐴S_{0A}italic_S start_POSTSUBSCRIPT 0 italic_A end_POSTSUBSCRIPT and the second term S0Bsubscript𝑆0𝐵S_{0B}italic_S start_POSTSUBSCRIPT 0 italic_B end_POSTSUBSCRIPT represent the desired signals from BS 0 and cell-free APs, respectively. The total interference is shown in the third term IUsubscript𝐼𝑈I_{U}italic_I start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT. Each term in IUsubscript𝐼𝑈I_{U}italic_I start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT consists of the signal sent by cellular BSs and cell-free APs to any other UE. The last term n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT denotes the additive white Gaussian noise (AWGN) with power σ2superscript𝜎2\sigma^{2}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Based on (5), the interference power caused by the signal intended to UE i𝑖iitalic_i is given by

Ii=|PBηB𝐡i0H𝐡ii𝐡ii+PAηAjωA𝐠j0H𝐠ji𝐠ji|2.subscript𝐼𝑖superscriptsubscript𝑃𝐵subscript𝜂𝐵superscriptsubscript𝐡superscript𝑖0𝐻subscript𝐡superscript𝑖𝑖normsubscript𝐡superscript𝑖𝑖subscript𝑃𝐴subscript𝜂𝐴subscript𝑗subscript𝜔𝐴superscriptsubscript𝐠𝑗0𝐻subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖2I_{i}=\Big{|}\sqrt{P_{B}\eta_{B}}\mathbf{h}_{i^{*}0}^{H}\frac{\mathbf{h}_{i^{*% }i}}{\|\mathbf{h}_{i^{*}i}\|}\!+\!\sqrt{P_{A}\eta_{A}}\sum_{j\in\omega_{A}}% \mathbf{g}_{j0}^{H}\frac{\mathbf{g}_{ji}}{\|\mathbf{g}_{ji}\|}\Big{|}^{2}.italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = | square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT ∥ end_ARG + square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (6)

In interference Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, BS channel vector 𝐡i0subscript𝐡superscript𝑖0\mathbf{h}_{i^{*}0}bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT 0 end_POSTSUBSCRIPT is independent of channel vector 𝐠j0,jωAsubscript𝐠𝑗0for-all𝑗subscript𝜔𝐴\mathbf{g}_{j0},\forall j\in\omega_{A}bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT , ∀ italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT. Meanwhile, the channel gains 𝐠i0subscript𝐠𝑖0\mathbf{g}_{i0}bold_g start_POSTSUBSCRIPT italic_i 0 end_POSTSUBSCRIPT and 𝐠j0subscript𝐠𝑗0\mathbf{g}_{j0}bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT from different APs are also independent of each other, ijfor-all𝑖𝑗\forall i\neq j∀ italic_i ≠ italic_j. Taking into account the law of large number and the mutual independence of channels as well as beamforming vectors between different BSs and APs, Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT can be approximated as

IiPBηB|𝐡i0H𝐡ii𝐡ii|2+PAηAjωA|𝐠j0H𝐠ji𝐠ji|2.subscript𝐼𝑖subscript𝑃𝐵subscript𝜂𝐵superscriptsuperscriptsubscript𝐡superscript𝑖0𝐻subscript𝐡superscript𝑖𝑖normsubscript𝐡superscript𝑖𝑖2subscript𝑃𝐴subscript𝜂𝐴subscript𝑗subscript𝜔𝐴superscriptsuperscriptsubscript𝐠𝑗0𝐻subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖2I_{i}\approx P_{B}\eta_{B}\Big{|}\mathbf{h}_{i^{*}0}^{H}\frac{\mathbf{h}_{i^{*% }i}}{\|\mathbf{h}_{i^{*}i}\|}\Big{|}^{2}+P_{A}\eta_{A}\sum_{j\in\omega_{A}}% \Big{|}\mathbf{g}_{j0}^{H}\frac{\mathbf{g}_{ji}}{\|\mathbf{g}_{ji}\|}\Big{|}^{% 2}.italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≈ italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_i end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT | bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (7)

The approximation in (7) indicates that Iisubscript𝐼𝑖I_{i}italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT can be expressed in the form of the sum of the power of the signal from the associated BS isuperscript𝑖i^{*}italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and each AP. Further, by classifying the interference into intra-cell interference IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT, inter-cell interference IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT, and interference IAsubscript𝐼𝐴I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT due to the APs, the total interference iϕU\{0}Iisubscript𝑖\subscriptitalic-ϕ𝑈0subscript𝐼𝑖\sum_{i\in\phi_{U}\backslash\{0\}}I_{i}∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT can be rewritten as

iϕU\{0}Ii=IB0+IB+IA,subscript𝑖\subscriptitalic-ϕ𝑈0subscript𝐼𝑖subscript𝐼𝐵0subscript𝐼𝐵subscript𝐼𝐴\sum_{i\in\phi_{U}\backslash\{0\}}I_{i}=I_{B0}+I_{B}+I_{A},∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT , (8)

where

IB0subscript𝐼𝐵0\displaystyle I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT =PBηBnϕB,0\{0}|𝐡00H𝐡0n𝐡0n|2,absentsubscript𝑃𝐵subscript𝜂𝐵subscript𝑛\subscriptitalic-ϕ𝐵00superscriptsuperscriptsubscript𝐡00𝐻subscript𝐡0𝑛normsubscript𝐡0𝑛2\displaystyle=P_{B}\eta_{B}\sum_{n\in\phi_{B,0}\backslash\{0\}}\Big{|}\mathbf{% h}_{00}^{H}\frac{\mathbf{h}_{0n}}{\|\mathbf{h}_{0n}\|}\Big{|}^{2},= italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_n ∈ italic_ϕ start_POSTSUBSCRIPT italic_B , 0 end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT 0 italic_n end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT 0 italic_n end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (9)
IBsubscript𝐼𝐵\displaystyle I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT =PBηBmωB\{0}nϕB,m|𝐡m0H𝐡mn𝐡mn|2,absentsubscript𝑃𝐵subscript𝜂𝐵subscript𝑚\subscript𝜔𝐵0subscript𝑛subscriptitalic-ϕ𝐵𝑚superscriptsuperscriptsubscript𝐡𝑚0𝐻subscript𝐡𝑚𝑛normsubscript𝐡𝑚𝑛2\displaystyle=P_{B}\eta_{B}\sum_{m\in\omega_{B}\backslash\{0\}}\sum_{n\in\phi_% {B,m}}\Big{|}\mathbf{h}_{m0}^{H}\frac{\mathbf{h}_{mn}}{\|\mathbf{h}_{mn}\|}% \Big{|}^{2},= italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_n ∈ italic_ϕ start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
IAsubscript𝐼𝐴\displaystyle I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT =PAηAiϕU\{0}jωA|𝐠j0H𝐠ji𝐠ji|2.absentsubscript𝑃𝐴subscript𝜂𝐴subscript𝑖\subscriptitalic-ϕ𝑈0subscript𝑗subscript𝜔𝐴superscriptsuperscriptsubscript𝐠𝑗0𝐻subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖2\displaystyle=P_{A}\eta_{A}\sum_{i\in\phi_{U}\backslash\{0\}}\sum_{j\in\omega_% {A}}\Big{|}\mathbf{g}_{j0}^{H}\frac{\mathbf{g}_{ji}}{\|\mathbf{g}_{ji}\|}\Big{% |}^{2}.= italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT | bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

Therefore, the corresponding received SINR at UE 0 is approximately expressed as

Ω=S0IB0+IB+IA+σ2,Ωsubscript𝑆0subscript𝐼𝐵0subscript𝐼𝐵subscript𝐼𝐴superscript𝜎2\Omega=\frac{S_{0}}{I_{B0}+I_{B}+I_{A}+\sigma^{2}},roman_Ω = divide start_ARG italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (10)

where

S0=(S0B+S0A)2=(PBηB𝐡00+PAηAjωA𝐠j0)2.subscript𝑆0absentsuperscriptsubscript𝑆0𝐵subscript𝑆0𝐴2superscriptsubscript𝑃𝐵subscript𝜂𝐵normsubscript𝐡00subscript𝑃𝐴subscript𝜂𝐴subscript𝑗subscript𝜔𝐴normsubscript𝐠𝑗02\begin{aligned} S_{0}&=\big{(}S_{0B}+S_{0A}\big{)}^{2}=\Big{(}\sqrt{P_{B}\eta_% {B}}\|\mathbf{h}_{00}\|+\sqrt{P_{A}\eta_{A}}\sum_{j\in\omega_{A}}\|\mathbf{g}_% {j0}\|\Big{)}^{2}.\end{aligned}start_ROW start_CELL italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL start_CELL = ( italic_S start_POSTSUBSCRIPT 0 italic_B end_POSTSUBSCRIPT + italic_S start_POSTSUBSCRIPT 0 italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG ∥ bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∥ + square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . end_CELL end_ROW

(11)

III Analysis of Signal Strength and Interference

In this section, the statistical distributions of the received signal and interference power are characterized. The signal strength is approximated via moment matching, with its first- and second-order moments derived in closed-form. The intra- and inter-cell interference caused by BSs are approximated as a Gamma r.v. and a weighted sum of Gamma r.v.s, respectively. The average interference caused by cell-free APs is derived in closed-form. In addition, the performance of the network can be obtained by analyzing a typical UE 0 according to Slivnyak’s theorem [11].

III-A Analysis of Channel Distribution

Based on the channel model of BSs and APs, the power of the channel to UE i𝑖iitalic_i for the m𝑚mitalic_mth BS and the j𝑗jitalic_jth AP can be respectively given by

|𝐡mi|2=βmi𝜻miH𝜻mi,superscriptsubscript𝐡𝑚𝑖2subscript𝛽𝑚𝑖superscriptsubscript𝜻𝑚𝑖𝐻subscript𝜻𝑚𝑖|\mathbf{h}_{mi}|^{2}=\beta_{mi}\bm{\zeta}_{mi}^{H}\bm{\zeta}_{mi},| bold_h start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_β start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT , (12)
|𝐠ji|2=δji𝝃jiH𝝃ji.superscriptsubscript𝐠𝑗𝑖2subscript𝛿𝑗𝑖superscriptsubscript𝝃𝑗𝑖𝐻subscript𝝃𝑗𝑖|\mathbf{g}_{ji}|^{2}=\delta_{ji}\bm{\xi}_{ji}^{H}\bm{\xi}_{ji}.| bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT . (13)

Since all the entries in both 𝜻misubscript𝜻𝑚𝑖\bm{\zeta}_{mi}bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT and 𝝃jisubscript𝝃𝑗𝑖\bm{\xi}_{ji}bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT follow the i.i.d. 𝒞𝒩(0,1)𝒞𝒩01\mathcal{CN}(0,1)caligraphic_C caligraphic_N ( 0 , 1 ), 𝜻misubscript𝜻𝑚𝑖\bm{\zeta}_{mi}bold_italic_ζ start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT and 𝝃jisubscript𝝃𝑗𝑖\bm{\xi}_{ji}bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT are isotropic vectors in NBsubscript𝑁𝐵N_{B}italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT and NAsubscript𝑁𝐴N_{A}italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT dimensions respectively [12].

Note that for the isotropic vector 𝐱N×1𝐱superscript𝑁1\mathbf{x}\in\mathbb{C}^{N\times 1}bold_x ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × 1 end_POSTSUPERSCRIPT with each entry following i.i.d. 𝒞𝒩(1,δ2)𝒞𝒩1superscript𝛿2\mathcal{CN}(1,\delta^{2})caligraphic_C caligraphic_N ( 1 , italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), 𝐱H𝐱superscript𝐱𝐻𝐱\mathbf{x}^{H}\mathbf{x}bold_x start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_x is the sum of i.i.d. variables Γ(1,δ2)Γ1superscript𝛿2\Gamma(1,\delta^{2})roman_Γ ( 1 , italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), and thus follows Γ(N,δ2)Γ𝑁superscript𝛿2\Gamma(N,\delta^{2})roman_Γ ( italic_N , italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) [13]. Therefore, we have 𝜻00H𝜻00Γ(NB,1)similar-tosuperscriptsubscript𝜻00𝐻subscript𝜻00Γsubscript𝑁𝐵1\bm{\zeta}_{00}^{H}\bm{\zeta}_{00}\sim\Gamma(N_{B},1)bold_italic_ζ start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_ζ start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∼ roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , 1 ) and 𝝃j0H𝝃j0Γ(NA,1)similar-tosuperscriptsubscript𝝃𝑗0𝐻subscript𝝃𝑗0Γsubscript𝑁𝐴1\bm{\xi}_{j0}^{H}\bm{\xi}_{j0}\sim\Gamma(N_{A},1)bold_italic_ξ start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_ξ start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∼ roman_Γ ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT , 1 ).

Lemma 1.

For the Gamma distributed r.v. XΓ(a,θ)similar-to𝑋Γ𝑎𝜃X\sim\Gamma(a,\theta)italic_X ∼ roman_Γ ( italic_a , italic_θ ) and any b>0𝑏0b>0italic_b > 0, Y=bXΓ(a,bθ)𝑌𝑏𝑋similar-toΓ𝑎𝑏𝜃Y=bX\sim\Gamma(a,b\theta)italic_Y = italic_b italic_X ∼ roman_Γ ( italic_a , italic_b italic_θ ) [14].

Based on Lemma 1, the BS and AP channel power in (12) and (13) are distributed according to

|𝐡mi|2Γ(NB,βmi),similar-tosuperscriptsubscript𝐡𝑚𝑖2Γsubscript𝑁𝐵subscript𝛽𝑚𝑖|\mathbf{h}_{mi}|^{2}\sim\Gamma(N_{B},\beta_{mi}),| bold_h start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , italic_β start_POSTSUBSCRIPT italic_m italic_i end_POSTSUBSCRIPT ) , (14)
|𝐠ji|2Γ(NA,δji),similar-tosuperscriptsubscript𝐠𝑗𝑖2Γsubscript𝑁𝐴subscript𝛿𝑗𝑖|\mathbf{g}_{ji}|^{2}\sim\Gamma(N_{A},\delta_{ji}),| bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ roman_Γ ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ) , (15)

III-B Approximation of the Signal Power Distribution

According to (14), the power of the nearest associated BS channel |𝐡00|2superscriptsubscript𝐡002|\mathbf{h}_{00}|^{2}| bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the sum of NBsubscript𝑁𝐵N_{B}italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT i.i.d. variables following Γ(1,β00)Γ1subscript𝛽00\Gamma(1,\beta_{00})roman_Γ ( 1 , italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ), i.e., |𝐡00|2Γ(NB,β00)similar-tosuperscriptsubscript𝐡002Γsubscript𝑁𝐵subscript𝛽00|\mathbf{h}_{00}|^{2}\sim\Gamma(N_{B},\beta_{00})| bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ). For further analysis of the desired signal S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in (9), Lemma 2 about the square root of Gamma variable is first introduced.

Lemma 2.

For any Gamma distributed r.v. XΓ(k,θ)similar-to𝑋Γ𝑘𝜃X\sim\Gamma(k,\theta)italic_X ∼ roman_Γ ( italic_k , italic_θ ), the square root Y𝑌Yitalic_Y of X𝑋Xitalic_X follows the Nakagami distribution as Y=XNakagami(m,ω)𝑌𝑋similar-toNakagami𝑚𝜔Y=\sqrt{X}\sim\mathrm{Nakagami}(m,\omega)italic_Y = square-root start_ARG italic_X end_ARG ∼ roman_Nakagami ( italic_m , italic_ω ) [15], where the parameters are m=k,ω=mθformulae-sequence𝑚𝑘𝜔𝑚𝜃m=k,\omega=m\thetaitalic_m = italic_k , italic_ω = italic_m italic_θ.

Therefore, the distribution of 𝐡00normsubscript𝐡00\|\mathbf{h}_{00}\|∥ bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∥ is obtained according to Lemma 2 as

𝐡00=|𝐡00|2Nakagami(NB,NBβ00),normsubscript𝐡00superscriptsubscript𝐡002similar-toNakagamisubscript𝑁𝐵subscript𝑁𝐵subscript𝛽00\|\mathbf{h}_{00}\|=\sqrt{|\mathbf{h}_{00}|^{2}}\sim\mathrm{Nakagami}(N_{B},N_% {B}\beta_{00}),∥ bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∥ = square-root start_ARG | bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∼ roman_Nakagami ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT , italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) , (16)

while the component of AP channel 𝐠j0normsubscript𝐠𝑗0\|\mathbf{g}_{j0}\|∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ in S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT has

𝐠j0=|𝐠j0|2Nakagami(NA,NAδj0),jωA.formulae-sequencenormsubscript𝐠𝑗0superscriptsubscript𝐠𝑗02similar-toNakagamisubscript𝑁𝐴subscript𝑁𝐴subscript𝛿𝑗0for-all𝑗subscript𝜔𝐴\|\mathbf{g}_{j0}\|=\sqrt{|\mathbf{g}_{j0}|^{2}}\sim\mathrm{Nakagami}(N_{A},N_% {A}\delta_{j0}),\forall j\in\omega_{A}.∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ = square-root start_ARG | bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∼ roman_Nakagami ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT , italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ) , ∀ italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT . (17)

The distribution of the desired signal S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is composed of the signals from the associated BS 0 together with all APs. Considering the random distribution of the cell-free APs in the network, the following Lemma 3 is introduced.

Lemma 3.

With the law of large number, the desired signal in S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT due to the APs can be approximated by their average LAsubscript𝐿𝐴L_{A}italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT when the number of APs is large and α2<4subscript𝛼24\alpha_{2}<4italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 4, i.e.,

PAηAsubscript𝑃𝐴subscript𝜂𝐴\displaystyle\sqrt{P_{A}\eta_{A}}square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG jωA𝐠j0PAηA𝔼[jωA𝐠j0]subscript𝑗subscript𝜔𝐴normsubscript𝐠𝑗0subscript𝑃𝐴subscript𝜂𝐴𝔼delimited-[]subscript𝑗subscript𝜔𝐴normsubscript𝐠𝑗0\displaystyle\sum_{j\in\omega_{A}}\|\mathbf{g}_{j0}\|\approx\sqrt{P_{A}\eta_{A% }}\mathbb{E}[\sum_{j\in\omega_{A}}\|\mathbf{g}_{j0}\|]∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ ≈ square-root start_ARG italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG blackboard_E [ ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∥ bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT ∥ ] (18)
=4πρAλAδ0124α2Γ(NA+12)Γ(NA)(|𝒜|π)1α24LA,absentsubscript4𝜋subscript𝜌𝐴subscript𝜆𝐴superscriptsubscript𝛿0124subscript𝛼2Γsubscript𝑁𝐴12Γsubscript𝑁𝐴superscript𝒜𝜋1subscript𝛼24subscript𝐿𝐴\displaystyle=\underbrace{\frac{4\pi\sqrt{\rho_{A}}\lambda_{A}\delta_{0}^{% \frac{1}{2}}}{4-\alpha_{2}}\frac{\Gamma(N_{A}+\frac{1}{2})}{\Gamma(N_{A})}\Big% {(}\frac{|\mathcal{A}|}{\pi}\Big{)}^{1-\frac{\alpha_{2}}{4}}}_{L_{A}},= under⏟ start_ARG divide start_ARG 4 italic_π square-root start_ARG italic_ρ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG italic_λ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG 4 - italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG divide start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) end_ARG ( divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT ,

where ρA=PAηAsubscript𝜌𝐴subscript𝑃𝐴subscript𝜂𝐴\rho_{A}=P_{A}\eta_{A}italic_ρ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT. The detailed derivation is based on the Campbell Theorem [11], and will be shown in an extended journal version.

From Lemma 3, the power expression S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for the desired signal is simplified as the square of the sum of a Nakagami r.v. and the constant LAsubscript𝐿𝐴L_{A}italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT as S0(PBηB𝐡00+LA)2subscript𝑆0superscriptsubscript𝑃𝐵subscript𝜂𝐵normsubscript𝐡00subscript𝐿𝐴2S_{0}\approx(\sqrt{P_{B}\eta_{B}}\|\mathbf{h}_{00}\|+L_{A})^{2}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≈ ( square-root start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG ∥ bold_h start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ∥ + italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Therefore, the following Lemma is introduced.

Lemma 4.

For any Nakagami r.v. XNakagami(m,ω)similar-to𝑋Nakagami𝑚𝜔X\sim\mathrm{Nakagami}(m,\omega)italic_X ∼ roman_Nakagami ( italic_m , italic_ω ), the probability density function (PDF) of the square of the shifted Nakagami r.v. Y=(X+A)2𝑌superscript𝑋𝐴2Y=(X+A)^{2}italic_Y = ( italic_X + italic_A ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for Y>A2𝑌superscript𝐴2Y>A^{2}italic_Y > italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is

fY(y)=mmΓ(m)ωm(yA)2m1exp(mω(yA)2)y12.subscript𝑓𝑌𝑦absentsuperscript𝑚𝑚Γ𝑚superscript𝜔𝑚superscript𝑦𝐴2𝑚1exp𝑚𝜔superscript𝑦𝐴2superscript𝑦12\begin{aligned} f_{Y}(y)&=\!\frac{m^{m}}{\Gamma(m)\omega^{m}}\!(\!\sqrt{y}\!-% \!A)^{2m\!-\!1}\mathrm{exp}\!\big{(}\!-\!\frac{m}{\omega}(\sqrt{y}\!-\!A)^{2}% \big{)}y^{\frac{1}{2}}.\end{aligned}start_ROW start_CELL italic_f start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT ( italic_y ) end_CELL start_CELL = divide start_ARG italic_m start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG roman_Γ ( italic_m ) italic_ω start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG ( square-root start_ARG italic_y end_ARG - italic_A ) start_POSTSUPERSCRIPT 2 italic_m - 1 end_POSTSUPERSCRIPT roman_exp ( - divide start_ARG italic_m end_ARG start_ARG italic_ω end_ARG ( square-root start_ARG italic_y end_ARG - italic_A ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_y start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT . end_CELL end_ROW

(19)
Refer to caption
Figure 2: The distribution of the square of shifted Nakagami r.v. Y=(X+A)2𝑌superscript𝑋𝐴2Y=(X+A)^{2}italic_Y = ( italic_X + italic_A ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

The verification of the distribution of Y=(X+A)2𝑌superscript𝑋𝐴2Y=(X+A)^{2}italic_Y = ( italic_X + italic_A ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is shown in Fig. 2. From (19) and Fig. 2, the exact distribution of S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is difficult to characterize, but the corresponding PDF of S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT has a similar structure to that of the Gamma distribution. Therefore, with given distance of the nearest associated BS 0, S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT can be approximated as a Gamma r.v. based on its first- and second-order moments [16]. The corresponding Lemma (5) is introduced as follows.

Lemma 5.

According to the definition of the Gamma r.v. [17], the desired signal power S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT can be approximated as the Gamma distribution Γ(kS0,θS0)Γsubscript𝑘subscript𝑆0subscript𝜃subscript𝑆0\Gamma(k_{S_{0}},\theta_{S_{0}})roman_Γ ( italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) with

kS0subscript𝑘subscript𝑆0\displaystyle k_{S_{0}}italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT =(𝔼[S0])2Var{S0}=(𝔼[S0])2𝔼[S02](𝔼[S0])2,absentsuperscript𝔼delimited-[]subscript𝑆02Varsubscript𝑆0superscript𝔼delimited-[]subscript𝑆02𝔼delimited-[]superscriptsubscript𝑆02superscript𝔼delimited-[]subscript𝑆02\displaystyle=\frac{\big{(}\mathbb{E}[S_{0}]\big{)}^{2}}{\mathrm{Var}\{S_{0}\}% }=\frac{\big{(}\mathbb{E}[S_{0}]\big{)}^{2}}{\mathbb{E}[S_{0}^{2}]-\big{(}% \mathbb{E}[S_{0}]\big{)}^{2}},= divide start_ARG ( blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Var { italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT } end_ARG = divide start_ARG ( blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] - ( blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (20)
θS0subscript𝜃subscript𝑆0\displaystyle\theta_{S_{0}}italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT =Var{S0}𝔼[S0]=𝔼[S02](𝔼[S0])2𝔼[S0],absentVarsubscript𝑆0𝔼delimited-[]subscript𝑆0𝔼delimited-[]superscriptsubscript𝑆02superscript𝔼delimited-[]subscript𝑆02𝔼delimited-[]subscript𝑆0\displaystyle=\frac{\mathrm{Var}\{S_{0}\}}{\mathbb{E}[S_{0}]}=\frac{\mathbb{E}% [S_{0}^{2}]-\big{(}\mathbb{E}[S_{0}]\big{)}^{2}}{\mathbb{E}[S_{0}]},= divide start_ARG roman_Var { italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT } end_ARG start_ARG blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] end_ARG = divide start_ARG blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] - ( blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] end_ARG ,

where the first- and second-order moments of S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT are

𝔼[S0]=ρBNBβ00+2ρB12LAΓ(NB+12)Γ(NB)β0012+LA2,𝔼delimited-[]subscript𝑆0subscript𝜌𝐵subscript𝑁𝐵subscript𝛽002superscriptsubscript𝜌𝐵12subscript𝐿𝐴Γsubscript𝑁𝐵12Γsubscript𝑁𝐵superscriptsubscript𝛽0012superscriptsubscript𝐿𝐴2\mathbb{E}[S_{0}]=\rho_{B}N_{B}\beta_{00}+2\rho_{B}^{\frac{1}{2}}L_{A}\frac{% \Gamma(N_{B}+\frac{1}{2})}{\Gamma(N_{B})}\beta_{00}^{\frac{1}{2}}+L_{A}^{2},blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] = italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT + 2 italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT divide start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) end_ARG italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT + italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (21)
𝔼[S02]𝔼delimited-[]superscriptsubscript𝑆02\displaystyle\mathbb{E}[S_{0}^{2}]blackboard_E [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] =ρB2NB(NB+1)β002+4ρB32LAΓ(NB+32)Γ(NB)β0032absentsuperscriptsubscript𝜌𝐵2subscript𝑁𝐵subscript𝑁𝐵1superscriptsubscript𝛽0024superscriptsubscript𝜌𝐵32subscript𝐿𝐴Γsubscript𝑁𝐵32Γsubscript𝑁𝐵superscriptsubscript𝛽0032\displaystyle=\rho_{B}^{2}N_{B}(N_{B}+1)\beta_{00}^{2}+4\rho_{B}^{\frac{3}{2}}% L_{A}\frac{\Gamma(N_{B}+\frac{3}{2})}{\Gamma(N_{B})}\beta_{00}^{\frac{3}{2}}= italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + 1 ) italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 4 italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 3 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT divide start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + divide start_ARG 3 end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) end_ARG italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 3 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT (22)
+6ρBLA2NBβ00+4ρB12LA3Γ(NB+12)Γ(NB)β0012+LA4.6subscript𝜌𝐵superscriptsubscript𝐿𝐴2subscript𝑁𝐵subscript𝛽004superscriptsubscript𝜌𝐵12superscriptsubscript𝐿𝐴3Γsubscript𝑁𝐵12Γsubscript𝑁𝐵superscriptsubscript𝛽0012superscriptsubscript𝐿𝐴4\displaystyle+6\rho_{B}L_{A}^{2}N_{B}\beta_{00}+4\rho_{B}^{\frac{1}{2}}L_{A}^{% 3}\frac{\Gamma(N_{B}+\frac{1}{2})}{\Gamma(N_{B})}\beta_{00}^{\frac{1}{2}}+L_{A% }^{4}.+ 6 italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT + 4 italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG roman_Γ ( italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) end_ARG italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT + italic_L start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT .

The detailed derivation is based on the raw moments of Gamma distribution, and is omitted here for space.

III-C Analysis of Interference Power Distribution

Similar to the case of the desired signal, the power distribution of the interference is analyzed in this subsection. Considering that conjugate beamforming is applied by both BSs and APs in the network, the Lemma 6 for the projection of isotropic channel vectors is introduced.

Lemma 6.

Denote 𝐱N×1𝐱superscript𝑁1\mathbf{x}\in\mathbb{C}^{N\times 1}bold_x ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × 1 end_POSTSUPERSCRIPT as an isotropic vector with i.i.d. 𝒞𝒩(0,θ)𝒞𝒩0𝜃\mathcal{CN}(0,\theta)caligraphic_C caligraphic_N ( 0 , italic_θ ) entries. If 𝐱𝐱\mathbf{x}bold_x is projected onto an s-dimensional beamforming subspace, the power distribution is [18]

|𝐱H𝐰|2Γ(s,θ).similar-tosuperscriptsuperscript𝐱𝐻𝐰2Γ𝑠𝜃|\mathbf{x}^{H}\mathbf{w}|^{2}\sim\Gamma(s,\theta).| bold_x start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_w | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ roman_Γ ( italic_s , italic_θ ) . (23)

Based on Lemma 6, the power IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT of intra-cell interference in (9) can be approximated as the sum of (|ϕ¯B|1)subscript¯italic-ϕ𝐵1(|\bar{\phi}_{B}|-1)( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | - 1 ) i.i.d. variables following Γ(1,PBηBβ00)Γ1subscript𝑃𝐵subscript𝜂𝐵subscript𝛽00\Gamma(1,P_{B}\eta_{B}\beta_{00})roman_Γ ( 1 , italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ). Further, extracting the scale parameter, the power of intra-cell interference can be rewritten as IB0=PBηBβ00κB,0subscript𝐼𝐵0subscript𝑃𝐵subscript𝜂𝐵subscript𝛽00subscript𝜅𝐵0I_{B0}=P_{B}\eta_{B}\beta_{00}\kappa_{B,0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT italic_κ start_POSTSUBSCRIPT italic_B , 0 end_POSTSUBSCRIPT, where κB,0Γ(|ϕ¯B|1,1)similar-tosubscript𝜅𝐵0Γsubscript¯italic-ϕ𝐵11\kappa_{B,0}\sim\Gamma(|\bar{\phi}_{B}|-1,1)italic_κ start_POSTSUBSCRIPT italic_B , 0 end_POSTSUBSCRIPT ∼ roman_Γ ( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | - 1 , 1 ).

For the inter-cell interference, since 𝐡m0subscript𝐡𝑚0\mathbf{h}_{m0}bold_h start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT is also independent of 𝐡mnsubscript𝐡𝑚𝑛\mathbf{h}_{mn}bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT, the interference power of each BS mωB\{0}𝑚\subscript𝜔𝐵0m\in\omega_{B}\backslash\{0\}italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT \ { 0 } in IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is approximated as nϕB,m|𝐡m0H𝐡mn𝐡mn|2Γ(|ϕ¯B|,βm0)similar-tosubscript𝑛subscriptitalic-ϕ𝐵𝑚superscriptsuperscriptsubscript𝐡𝑚0𝐻subscript𝐡𝑚𝑛normsubscript𝐡𝑚𝑛2Γsubscript¯italic-ϕ𝐵subscript𝛽𝑚0\sum_{n\in\phi_{B,m}}\Big{|}\mathbf{h}_{m0}^{H}\frac{\mathbf{h}_{mn}}{\|% \mathbf{h}_{mn}\|}\Big{|}^{2}\sim\Gamma(|\bar{\phi}_{B}|,\beta_{m0})∑ start_POSTSUBSCRIPT italic_n ∈ italic_ϕ start_POSTSUBSCRIPT italic_B , italic_m end_POSTSUBSCRIPT end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_h start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ roman_Γ ( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | , italic_β start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT ). Therefore, as the sum of interference from BSs in ωB\{0}\subscript𝜔𝐵0\omega_{B}\backslash\{0\}italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT \ { 0 }, the inter-cell interference IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT can be further expressed as the sum of Gamma variables with the same shape parameters and scale parameters, i.e.,

IB=PBηBmωB\{0}βm0κB,m0,subscript𝐼𝐵subscript𝑃𝐵subscript𝜂𝐵subscript𝑚\subscript𝜔𝐵0subscript𝛽𝑚0subscript𝜅𝐵𝑚0I_{B}=P_{B}\eta_{B}\sum_{m\in\omega_{B}\backslash\{0\}}\beta_{m0}\kappa_{B,m0},italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT italic_m 0 end_POSTSUBSCRIPT italic_κ start_POSTSUBSCRIPT italic_B , italic_m 0 end_POSTSUBSCRIPT , (24)

where κB,m0Γ(|ϕ¯B|,1),mωB\{0}formulae-sequencesubscript𝜅𝐵𝑚0Γsubscript¯italic-ϕ𝐵1for-all𝑚\subscript𝜔𝐵0\kappa_{B,m0}\in\Gamma(|\bar{\phi}_{B}|,1),\forall m\in\omega_{B}\backslash\{0\}italic_κ start_POSTSUBSCRIPT italic_B , italic_m 0 end_POSTSUBSCRIPT ∈ roman_Γ ( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | , 1 ) , ∀ italic_m ∈ italic_ω start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT \ { 0 }.

Next, we need to analyze the interference IAsubscript𝐼𝐴I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT from the APs. According to (3) and (6), the following Lemma about IAsubscript𝐼𝐴I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT is introduced.

Lemma 7.

By the law of large number, the interference IAsubscript𝐼𝐴I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT due to the APs is approximated by its average I¯Asubscript¯𝐼𝐴\bar{I}_{A}over¯ start_ARG italic_I end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT when the number of APs is large and α2<2subscript𝛼22\alpha_{2}<2italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 2, i.e.,

IAsubscript𝐼𝐴\displaystyle I_{A}italic_I start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT PAηA𝔼[iϕU\{0}jωA|𝐠j0H𝐠ji𝐠ji|2]absentsubscript𝑃𝐴subscript𝜂𝐴𝔼delimited-[]subscript𝑖\subscriptitalic-ϕ𝑈0subscript𝑗subscript𝜔𝐴superscriptsuperscriptsubscript𝐠𝑗0𝐻subscript𝐠𝑗𝑖normsubscript𝐠𝑗𝑖2\displaystyle\approx P_{A}\eta_{A}\mathbb{E}\bigg{[}\sum_{i\in\phi_{U}% \backslash\{0\}}\sum_{j\in\omega_{A}}\Big{|}\mathbf{g}_{j0}^{H}\frac{\mathbf{g% }_{ji}}{\|\mathbf{g}_{ji}\|}\Big{|}^{2}\bigg{]}≈ italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT blackboard_E [ ∑ start_POSTSUBSCRIPT italic_i ∈ italic_ϕ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT \ { 0 } end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j ∈ italic_ω start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT | bold_g start_POSTSUBSCRIPT italic_j 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_g start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ∥ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (25)
=2πρAλAδ0(λU|𝒜|1)2α2(|𝒜|π)1α22I¯A.absentsubscript2𝜋subscript𝜌𝐴subscript𝜆𝐴subscript𝛿0subscript𝜆𝑈𝒜12subscript𝛼2superscript𝒜𝜋1subscript𝛼22subscript¯𝐼𝐴\displaystyle=\underbrace{\frac{2\pi\rho_{A}\lambda_{A}\delta_{0}(\lambda_{U}|% \mathcal{A}|-1)}{2-\alpha_{2}}\Big{(}\frac{|\mathcal{A}|}{\pi}\Big{)}^{1-\frac% {\alpha_{2}}{2}}}_{\bar{I}_{A}}.= under⏟ start_ARG divide start_ARG 2 italic_π italic_ρ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT | caligraphic_A | - 1 ) end_ARG start_ARG 2 - italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ( divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT over¯ start_ARG italic_I end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT .

The detailed derivation is based on the Campbell Theorem [11], and will be shown in an extended journal version.

IV Coverage Probability of Hybrid Cellular and Cell-free Network

In this section, the coverage probability of hybrid cellular and cell-free network is analyzed based on the distribution of signal strength and various interference components, derived in the preceding section. In general, the coverage probability is the complementary cumulative distribution function (CCDF) of SINR over the overall network, which can be defined as

pc[Ω=S0IB0+IB+I¯A+σ2>T],subscript𝑝cdelimited-[]Ωsubscript𝑆0subscript𝐼𝐵0subscript𝐼𝐵subscript¯𝐼𝐴superscript𝜎2𝑇p_{\mathrm{c}}\triangleq\mathbb{P}[\Omega=\frac{S_{0}}{I_{B0}+I_{B}+\bar{I}_{A% }+\sigma^{2}}>T],italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ≜ blackboard_P [ roman_Ω = divide start_ARG italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + over¯ start_ARG italic_I end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG > italic_T ] , (26)

where T𝑇Titalic_T denotes the target threshold of the SINR ΩΩ\Omegaroman_Ω.

IV-A Analysis of Coverage Probability

Taking the distance d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT between the typical UE 0 and its associated and nearest BS 0 as an r.v., the average coverage probability in the network is

pcsubscript𝑝c\displaystyle p_{\mathrm{c}}italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT =𝔼[pc(d00)]=0|𝒜|πpc(r)fd00(r)dr,absent𝔼delimited-[]subscript𝑝csubscript𝑑00superscriptsubscript0𝒜𝜋subscript𝑝c𝑟subscript𝑓subscript𝑑00𝑟differential-d𝑟\displaystyle=\mathbb{E}\big{[}p_{\mathrm{c}}(d_{00})\big{]}=\int_{0}^{\sqrt{% \frac{|\mathcal{A}|}{\pi}}}p_{\mathrm{c}}(r)f_{d_{00}}(r)\mathrm{d}r,= blackboard_E [ italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ( italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) ] = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG end_ARG end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ( italic_r ) italic_f start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_r ) roman_d italic_r , (27)

where fd00(r)subscript𝑓subscript𝑑00𝑟f_{d_{00}}(r)italic_f start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_r ) denotes the PDF of the nearest point distance in PPP. With the cumulative distribution function (CDF) of r.v. d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT as Fd00(r)=1eλBπr2subscript𝐹subscript𝑑00𝑟1superscript𝑒subscript𝜆𝐵𝜋superscript𝑟2F_{d_{00}}(r)=1-e^{-\lambda_{B}\pi r^{2}}italic_F start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_r ) = 1 - italic_e start_POSTSUPERSCRIPT - italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT [11], there is

fd00(r)subscript𝑓subscript𝑑00𝑟\displaystyle f_{d_{00}}(r)italic_f start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_r ) =dFd00(r)drabsentdsubscript𝐹subscript𝑑00𝑟d𝑟\displaystyle=\frac{\mathrm{d}F_{d_{00}}(r)}{\mathrm{d}r}= divide start_ARG roman_d italic_F start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_r ) end_ARG start_ARG roman_d italic_r end_ARG =2λBπreλBπr2.absent2subscript𝜆𝐵𝜋𝑟superscript𝑒subscript𝜆𝐵𝜋superscript𝑟2\displaystyle=2\lambda_{B}\pi re^{-\lambda_{B}\pi r^{2}}.= 2 italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_π italic_r italic_e start_POSTSUPERSCRIPT - italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT . (28)

First, the relationship between intra-cell interference IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT and inter-cell interference IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is analyzed. Clearly, both IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT and IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT are dependent on the distance d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT, i.e., IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT comes from the associated BS 0 with a distance of d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT, and IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT comes from the other BSs with distances dd00𝑑subscript𝑑00d\geq d_{00}italic_d ≥ italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT. However, there is no interaction between IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT and IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT. Specifically, with the given d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT, IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT depends on the distribution of UE in the cell of BS 0, while IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT depends mainly on the distribution of other BSs with a distance no smaller than d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT. Therefore, IB0subscript𝐼𝐵0I_{B0}italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT and IBsubscript𝐼𝐵I_{B}italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT are independent of each other with a given d00subscript𝑑00d_{00}italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT. Therefore, the coverage probability can be further expressed as in Lemma 8.

Lemma 8.

Considering that the desired signal S0subscript𝑆0S_{0}italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT following the Gamma distribution, i.e., S0Γ(kS0,θS0)similar-tosubscript𝑆0Γsubscript𝑘subscript𝑆0subscript𝜃subscript𝑆0S_{0}\sim\Gamma(k_{S_{0}},\theta_{S_{0}})italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ roman_Γ ( italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) the network coverage probability in (26) can be expressed as

pc(d00)=[S0>T(IB0+IB+I¯A+σ2)]subscript𝑝csubscript𝑑00delimited-[]subscript𝑆0𝑇subscript𝐼𝐵0subscript𝐼𝐵subscript¯𝐼𝐴superscript𝜎2\displaystyle p_{\mathrm{c}}(d_{00})=\mathbb{P}[S_{0}>T(I_{B0}+I_{B}+\bar{I}_{% A}+\sigma^{2})]italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ( italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) = blackboard_P [ italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT > italic_T ( italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT + italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT + over¯ start_ARG italic_I end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] (29)
=i=0kS01(1)ii!iis{esTIeθS0YIB0(s)YIB(s)}s=1,absentsuperscriptsubscript𝑖0subscript𝑘subscript𝑆01superscript1𝑖𝑖superscript𝑖superscript𝑖𝑠subscriptsuperscript𝑒𝑠𝑇subscript𝐼𝑒subscript𝜃subscript𝑆0subscriptsubscript𝑌subscript𝐼𝐵0𝑠subscriptsubscript𝑌subscript𝐼𝐵𝑠𝑠1\displaystyle=\sum_{i=0}^{k_{S_{0}}-1}\frac{(-1)^{i}}{i!}\frac{\partial^{i}}{% \partial^{i}s}\Big{\{}e^{-s\frac{TI_{e}}{\theta_{S_{0}}}}\mathcal{L}_{Y_{I_{B0% }}}(s)\mathcal{L}_{Y_{I_{B}}}(s)\Big{\}}_{s=1},= ∑ start_POSTSUBSCRIPT italic_i = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT divide start_ARG ( - 1 ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG italic_i ! end_ARG divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG { italic_e start_POSTSUPERSCRIPT - italic_s divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT caligraphic_L start_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_s ) caligraphic_L start_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_s ) } start_POSTSUBSCRIPT italic_s = 1 end_POSTSUBSCRIPT ,

where the sum of interference from APs and noise is denoted as Ie=I¯A+σ2subscript𝐼𝑒subscript¯𝐼𝐴superscript𝜎2I_{e}=\bar{I}_{A}+\sigma^{2}italic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = over¯ start_ARG italic_I end_ARG start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The shape parameter kS0subscript𝑘subscript𝑆0k_{S_{0}}italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is integer. The Laplace transforms of YIB0=TIB0θS0subscript𝑌subscript𝐼𝐵0𝑇subscript𝐼𝐵0subscript𝜃subscript𝑆0Y_{I_{B0}}=\frac{TI_{B0}}{\theta_{S_{0}}}italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG and YIB=TIBθS0subscript𝑌subscript𝐼𝐵𝑇subscript𝐼𝐵subscript𝜃subscript𝑆0Y_{I_{B}}=\frac{TI_{B}}{\theta_{S_{0}}}italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG are

YIB0(s)=(1+sTρBβ0d00α1θS0)1|ϕ¯B|,YIB(s)=exp(2πλBd00|𝒜|π[(1+sTρBβ0rα1θS0)|ϕ¯B|1]rdr).missing-subexpressionsubscriptsubscript𝑌subscript𝐼𝐵0𝑠superscript1𝑠𝑇subscript𝜌𝐵subscript𝛽0superscriptsubscript𝑑00subscript𝛼1subscript𝜃subscript𝑆01subscript¯italic-ϕ𝐵missing-subexpressionsubscriptsubscript𝑌subscript𝐼𝐵𝑠exp2𝜋subscript𝜆𝐵superscriptsubscriptsubscript𝑑00𝒜𝜋delimited-[]superscript1𝑠𝑇subscript𝜌𝐵subscript𝛽0superscript𝑟subscript𝛼1subscript𝜃subscript𝑆0subscript¯italic-ϕ𝐵1𝑟differential-d𝑟\begin{aligned} &\mathcal{L}_{Y_{I_{B0}}}(s)=\Big{(}1+s\frac{T\rho_{B}\beta_{0% }d_{00}^{-\alpha_{1}}}{\theta_{S_{0}}}\Big{)}^{1-|\bar{\phi}_{B}|},\\ &\mathcal{L}_{Y_{I_{B}}}(s)=\mathrm{exp}\Big{(}2\pi\lambda_{B}\int_{d_{00}}^{% \sqrt{\frac{|\mathcal{A}|}{\pi}}}\big{[}\big{(}1+s\frac{T\rho_{B}\beta_{0}r^{-% \alpha_{1}}}{\theta_{S_{0}}}\big{)}^{-|\bar{\phi}_{B}|}-1\big{]}r\mathrm{d}r% \Big{)}.\end{aligned}start_ROW start_CELL end_CELL start_CELL caligraphic_L start_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_s ) = ( 1 + italic_s divide start_ARG italic_T italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL caligraphic_L start_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT italic_I start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_s ) = roman_exp ( 2 italic_π italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG end_ARG end_POSTSUPERSCRIPT [ ( 1 + italic_s divide start_ARG italic_T italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT - 1 ] italic_r roman_d italic_r ) . end_CELL end_ROW

(30)

Based on Lemma 8, the analysis of the coverage probability is transformed into the analysis of the higher-order derivatives, and the coverage of probability is rewritten as

pc(d00)subscript𝑝csubscript𝑑00\displaystyle p_{\mathrm{c}}(d_{00})italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT ( italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) =i=0kS01(1)ii!iis{L(s)}s=1,absentsuperscriptsubscript𝑖0subscript𝑘subscript𝑆01superscript1𝑖𝑖superscript𝑖superscript𝑖𝑠subscript𝐿𝑠𝑠1\displaystyle=\sum_{i=0}^{k_{S_{0}}-1}\frac{(-1)^{i}}{i!}\frac{\partial^{i}}{% \partial^{i}s}\Big{\{}L(s)\Big{\}}_{s=1},= ∑ start_POSTSUBSCRIPT italic_i = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT divide start_ARG ( - 1 ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG italic_i ! end_ARG divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG { italic_L ( italic_s ) } start_POSTSUBSCRIPT italic_s = 1 end_POSTSUBSCRIPT , (31)

where

L(s)=esTIeθS0(1+sTρBβ0d00α1θS0)1|ϕ¯B|𝐿𝑠superscript𝑒𝑠𝑇subscript𝐼𝑒subscript𝜃subscript𝑆0superscript1𝑠𝑇subscript𝜌𝐵subscript𝛽0superscriptsubscript𝑑00subscript𝛼1subscript𝜃subscript𝑆01subscript¯italic-ϕ𝐵\displaystyle L(s)=e^{-s\frac{TI_{e}}{\theta_{S_{0}}}}\cdot\Big{(}1+s\frac{T% \rho_{B}\beta_{0}d_{00}^{-\alpha_{1}}}{\theta_{S_{0}}}\Big{)}^{1-|\bar{\phi}_{% B}|}italic_L ( italic_s ) = italic_e start_POSTSUPERSCRIPT - italic_s divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG end_POSTSUPERSCRIPT ⋅ ( 1 + italic_s divide start_ARG italic_T italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT (32)
exp(2πλBd00|𝒜|π[(1+sTρBβ0rα1θS0)|ϕ¯B|1]rdr).absentexp2𝜋subscript𝜆𝐵superscriptsubscriptsubscript𝑑00𝒜𝜋delimited-[]superscript1𝑠𝑇subscript𝜌𝐵subscript𝛽0superscript𝑟subscript𝛼1subscript𝜃subscript𝑆0subscript¯italic-ϕ𝐵1𝑟differential-d𝑟\displaystyle\cdot\mathrm{exp}\Big{(}2\pi\lambda_{B}\int_{d_{00}}^{\sqrt{\frac% {|\mathcal{A}|}{\pi}}}\big{[}\big{(}1+s\frac{T\rho_{B}\beta_{0}r^{-\alpha_{1}}% }{\theta_{S_{0}}}\big{)}^{-|\bar{\phi}_{B}|}-1\big{]}r\mathrm{d}r\Big{)}.⋅ roman_exp ( 2 italic_π italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG end_ARG end_POSTSUPERSCRIPT [ ( 1 + italic_s divide start_ARG italic_T italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT - 1 ] italic_r roman_d italic_r ) .

The higher-order derivatives of L(s)𝐿𝑠L(s)italic_L ( italic_s ) is derived in the next part.

IV-B Evaluation of Higher-order Derivatives

The objective function L(s)𝐿𝑠L(s)italic_L ( italic_s ) of the higher-order derivatives in (31) is rewritten in the form of the exponential function, i.e.,

L(s)𝐿𝑠\displaystyle L(s)italic_L ( italic_s ) =exp{sTIeθS0D1(s)+(1|ϕ¯B|)ln(1+sTθS0d00α1)D2(s)\displaystyle=\mathrm{exp}\bigg{\{}\underbrace{-s\frac{TI_{e}}{\theta_{S_{0}}}% }_{D_{1}(s)}+\underbrace{(1-|\bar{\phi}_{B}|)\mathrm{ln}\Big{(}1+sT_{\theta_{S% _{0}}}d_{00}^{-\alpha_{1}}\Big{)}}_{D_{2}(s)}= roman_exp { under⏟ start_ARG - italic_s divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG end_ARG start_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_s ) end_POSTSUBSCRIPT + under⏟ start_ARG ( 1 - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | ) roman_ln ( 1 + italic_s italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) end_ARG start_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_s ) end_POSTSUBSCRIPT (33)
+2πλBd00|𝒜|π[(1+sTθS0rα1)|ϕ¯B|1]rdrD3(s)},\displaystyle+\underbrace{2\pi\lambda_{B}\int_{d_{00}}^{\sqrt{\frac{|\mathcal{% A}|}{\pi}}}\big{[}\big{(}1+sT_{\theta_{S_{0}}}r^{-\alpha_{1}}\big{)}^{-|\bar{% \phi}_{B}|}-1\big{]}r\mathrm{d}r}_{D_{3}(s)}\bigg{\}},+ under⏟ start_ARG 2 italic_π italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG end_ARG end_POSTSUPERSCRIPT [ ( 1 + italic_s italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT - 1 ] italic_r roman_d italic_r end_ARG start_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_s ) end_POSTSUBSCRIPT } ,

where TθS0=TρBβ0θS0subscript𝑇subscript𝜃subscript𝑆0𝑇subscript𝜌𝐵subscript𝛽0subscript𝜃subscript𝑆0T_{\theta_{S_{0}}}=\frac{T\rho_{B}\beta_{0}}{\theta_{S_{0}}}italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_T italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG is applied for convenience.

Since L(s)𝐿𝑠L(s)italic_L ( italic_s ) is a composite function of g(s)=D1(s)+D2(s)+D3(s)𝑔𝑠subscript𝐷1𝑠subscript𝐷2𝑠subscript𝐷3𝑠g(s)=D_{1}(s)+D_{2}(s)+D_{3}(s)italic_g ( italic_s ) = italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_s ) + italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_s ) + italic_D start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_s ), the special case of Faà di Bruno’s formula with exponential functions can be applied to efficiently derive the i𝑖iitalic_ith order derivatives of L(s)𝐿𝑠L(s)italic_L ( italic_s ) [16, 19], i.e.,

iisL(s)=iis{exp(g(s))}=exp(g(s))Bi(1g(s)1s,,ig(s)is),superscript𝑖superscript𝑖𝑠𝐿𝑠absentsuperscript𝑖superscript𝑖𝑠exp𝑔𝑠exp𝑔𝑠subscript𝐵𝑖superscript1𝑔𝑠superscript1𝑠superscript𝑖𝑔𝑠superscript𝑖𝑠\begin{aligned} \frac{\partial^{i}}{\partial^{i}s}L(s)&=\frac{\partial^{i}}{% \partial^{i}s}\big{\{}\mathrm{exp}\big{(}g(s)\big{)}\big{\}}=\mathrm{exp}\big{% (}g(s)\big{)}B_{i}\Big{(}\frac{\partial^{1}g(s)}{\partial^{1}s},...,\frac{% \partial^{i}g(s)}{\partial^{i}s}\Big{)},\end{aligned}start_ROW start_CELL divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG italic_L ( italic_s ) end_CELL start_CELL = divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG { roman_exp ( italic_g ( italic_s ) ) } = roman_exp ( italic_g ( italic_s ) ) italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( divide start_ARG ∂ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_g ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_s end_ARG , … , divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_g ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG ) , end_CELL end_ROW

(34)

where Bi(x1,,xi)subscript𝐵𝑖subscript𝑥1subscript𝑥𝑖B_{i}(x_{1},...,x_{i})italic_B start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) denotes the i𝑖iitalic_ith complete exponential Bell polynomial, whose coefficients can be efficiently obtained according to its definition [20, 21]. The remaining work is to evaluate the higher-order derivatives of g(s)𝑔𝑠g(s)italic_g ( italic_s ), which can be decomposed as

ig(s)is=iD1(s)is+iD2(s)is+iD3(s)is.superscript𝑖𝑔𝑠superscript𝑖𝑠superscript𝑖subscript𝐷1𝑠superscript𝑖𝑠superscript𝑖subscript𝐷2𝑠superscript𝑖𝑠superscript𝑖subscript𝐷3𝑠superscript𝑖𝑠\frac{\partial^{i}g(s)}{\partial^{i}s}=\frac{\partial^{i}D_{1}(s)}{\partial^{i% }s}+\frac{\partial^{i}D_{2}(s)}{\partial^{i}s}+\frac{\partial^{i}D_{3}(s)}{% \partial^{i}s}.divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_g ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG = divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG + divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG + divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG . (35)

For D1(s)subscript𝐷1𝑠D_{1}(s)italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_s ), the derivatives from order 1 to order (kS01)subscript𝑘subscript𝑆01(k_{S_{0}}-1)( italic_k start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - 1 ) can be expressed respectively as

iD1(s)is={TIeθS0,i=10,i>1\frac{\partial^{i}D_{1}(s)}{\partial^{i}s}=\left\{\begin{aligned} -\frac{TI_{e% }}{\theta_{S_{0}}},\quad i=1\\ 0,\quad i>1\end{aligned}\right.divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG = { start_ROW start_CELL - divide start_ARG italic_T italic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG , italic_i = 1 end_CELL end_ROW start_ROW start_CELL 0 , italic_i > 1 end_CELL end_ROW (36)

Additionally, for D2(s)subscript𝐷2𝑠D_{2}(s)italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_s ), there is

iD2(s)is=(1)i1(1|ϕ¯B|)(i1)!(TθS0d00α11+TθS0d00α1s)i.superscript𝑖subscript𝐷2𝑠superscript𝑖𝑠superscript1𝑖11subscript¯italic-ϕ𝐵𝑖1superscriptsubscript𝑇subscript𝜃subscript𝑆0superscriptsubscript𝑑00subscript𝛼11subscript𝑇subscript𝜃subscript𝑆0superscriptsubscript𝑑00subscript𝛼1𝑠𝑖\frac{\partial^{i}D_{2}(s)}{\partial^{i}s}=(-1)^{i-1}(1-|\bar{\phi}_{B}|)(i-1)% !\Big{(}\frac{T_{\theta_{S_{0}}}d_{00}^{-\alpha_{1}}}{1+T_{\theta_{S_{0}}}d_{0% 0}^{-\alpha_{1}}s}\Big{)}^{i}.divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG = ( - 1 ) start_POSTSUPERSCRIPT italic_i - 1 end_POSTSUPERSCRIPT ( 1 - | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | ) ( italic_i - 1 ) ! ( divide start_ARG italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_s end_ARG ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT . (37)

Finally, the higher-order derivatives of D3(s)subscript𝐷3𝑠D_{3}(s)italic_D start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_s ) is

iD3(s)is=superscript𝑖subscript𝐷3𝑠superscript𝑖𝑠absent\displaystyle\frac{\partial^{i}D_{3}(s)}{\partial^{i}s}=divide start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_s ) end_ARG start_ARG ∂ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_s end_ARG = (38)
2πλBd00|𝒜|π(|ϕ¯B|+i1)!(|ϕ¯B|1)!(TθS0rα1)i(1+TθS0rα1s)|ϕ¯B|+irdr.2𝜋subscript𝜆𝐵superscriptsubscriptsubscript𝑑00𝒜𝜋subscript¯italic-ϕ𝐵𝑖1subscript¯italic-ϕ𝐵1superscriptsubscript𝑇subscript𝜃subscript𝑆0superscript𝑟subscript𝛼1𝑖superscript1subscript𝑇subscript𝜃subscript𝑆0superscript𝑟subscript𝛼1𝑠subscript¯italic-ϕ𝐵𝑖𝑟differential-d𝑟\displaystyle 2\pi\lambda_{B}\int_{d_{00}}^{\sqrt{\frac{|\mathcal{A}|}{\pi}}}% \frac{(|\bar{\phi}_{B}|+i-1)!}{(|\bar{\phi}_{B}|-1)!}\cdot\frac{(-T_{\theta_{S% _{0}}}r^{-\alpha_{1}})^{i}}{(1+T_{\theta_{S_{0}}}r^{-\alpha_{1}}s)^{|\bar{\phi% }_{B}|+i}}r\mathrm{d}r.2 italic_π italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_d start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT square-root start_ARG divide start_ARG | caligraphic_A | end_ARG start_ARG italic_π end_ARG end_ARG end_POSTSUPERSCRIPT divide start_ARG ( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | + italic_i - 1 ) ! end_ARG start_ARG ( | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | - 1 ) ! end_ARG ⋅ divide start_ARG ( - italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_T start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_s ) start_POSTSUPERSCRIPT | over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT | + italic_i end_POSTSUPERSCRIPT end_ARG italic_r roman_d italic_r .

Finally, the network coverage probability can be obtained by substituting (31) with (36), (37) and (38) back into (27).

V Simulation Results

In this section, the analytical results of the coverage probability of the hybrid cell and cell-free network are verified by the comparison with the Monte-Carlo (MC) simulation results. Each result of the MS simulation is averaged from 1000 randomly generated wireless node distributions with 5 realizations per channel. All the wireless nodes are randomly distributed in a circular area of radius 500m and UE 0 is located at the center of the circle. The densities of BSs, APs and UE are λB=40/km2subscript𝜆𝐵40superscriptkm2\lambda_{B}=40/\mathrm{km}^{2}italic_λ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 40 / roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, λA=200/km2subscript𝜆𝐴200superscriptkm2\lambda_{A}=200/\mathrm{km}^{2}italic_λ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = 200 / roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and λU=160/km2subscript𝜆𝑈160superscriptkm2\lambda_{U}=160/\mathrm{km}^{2}italic_λ start_POSTSUBSCRIPT italic_U end_POSTSUBSCRIPT = 160 / roman_km start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively. Other relevant parameters are as follows: α1=2.7subscript𝛼12.7\alpha_{1}=2.7italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 2.7, α2=1.8subscript𝛼21.8\alpha_{2}=1.8italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1.8, PBσ2=130subscript𝑃𝐵superscript𝜎2130\frac{P_{B}}{\sigma^{2}}=130divide start_ARG italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = 130dB, PA=3×105PBsubscript𝑃𝐴3superscript105subscript𝑃𝐵P_{A}=3\times 10^{-5}P_{B}italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = 3 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT, NB=4subscript𝑁𝐵4N_{B}=4italic_N start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 4, NA=2subscript𝑁𝐴2N_{A}=2italic_N start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = 2, C=3×108𝐶3superscript108C=3\times 10^{8}italic_C = 3 × 10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPTm/s, f=3.5𝑓3.5f=3.5italic_f = 3.5GHz and β0=δ0=(C4πf)2subscript𝛽0subscript𝛿0superscript𝐶4𝜋𝑓2\beta_{0}=\delta_{0}=(\frac{C}{4\pi f})^{2}italic_β start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = ( divide start_ARG italic_C end_ARG start_ARG 4 italic_π italic_f end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Fig. 3 shows the coverage probability in cellular networks (PA=0subscript𝑃𝐴0P_{A}=0italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = 0), cell-free networks (PB=0subscript𝑃𝐵0P_{B}=0italic_P start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 0), and hybrid cellular and cell-free networks for different SINR thresholds T𝑇Titalic_T. The coverage probability is obtained from the linear weighted probability of the upper and lower integers of kθSsubscript𝑘subscript𝜃𝑆k_{\theta_{S}}italic_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT, i.e.,

pc=(kθSkθS)pc,kθS+(kθSkθS)pc,kθS.subscript𝑝csubscript𝑘subscript𝜃𝑆subscript𝑘subscript𝜃𝑆subscript𝑝csubscriptksubscript𝜃Ssubscript𝑘subscript𝜃𝑆subscript𝑘subscript𝜃𝑆subscript𝑝csubscriptksubscript𝜃Sp_{\mathrm{c}}=(\left\lceil k_{\theta_{S}}\right\rceil-k_{\theta_{S}})p_{% \mathrm{c,\left\lfloor k_{\theta_{S}}\right\rfloor}}+(k_{\theta_{S}}-\left% \lfloor k_{\theta_{S}}\right\rfloor)p_{\mathrm{c,\left\lceil k_{\theta_{S}}% \right\rceil}}.italic_p start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT = ( ⌈ italic_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⌉ - italic_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) italic_p start_POSTSUBSCRIPT roman_c , ⌊ roman_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⌋ end_POSTSUBSCRIPT + ( italic_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT - ⌊ italic_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⌋ ) italic_p start_POSTSUBSCRIPT roman_c , ⌈ roman_k start_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⌉ end_POSTSUBSCRIPT . (39)

From Fig. 3, It is expected that the coverage probability analysis of the hybrid network is generally consistent with the results of MC simulation under different SINR threshold, and can also be applied to the special case where PA=0subscript𝑃𝐴0P_{A}=0italic_P start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = 0. Compared with traditional cellular networks, hybrid networks effectively improve the communication performance of edge UE and reduce the performance gaps between UE. Compared with cell-free networks, such hybrid networks can achieve higher peak SINR. Therefore, by deploying low-power APs, hybrid cellular and cell-free networks can provide UE with uniformly good communication services while obtaining better peak SINR performance.

Refer to caption
Figure 3: Coverage probability of different architectures under different T𝑇Titalic_T.

VI Conclusion

In this paper, the hybrid cellular and cell-free network is modeled by the stochastic geometry approach, revealing the coupling of the signal and interference from both the cellular and cell-free networks. Moment matching is used to approximate the aggregate signal received from the hybrid network to address the difficulty of distribution analysis due to conjugate beamforming. The coverage probability is then obtained by the Laplace transform for interference. The analysis of the coverage probability of hybrid networks is validated by MC simulation, demonstrating that hybrid networks can reduce the performance gap while improving the peak SINR performance.

VII Acknowledgment

This work was supported by the National Key R&D Program of China with Grant number 2019YFB1803400, and by the National Natural Science Foundation of China with grant number 62071114.

References

  • [1] H. Q. Ngo, A. Ashikhmin, H. Yang, E. G. Larsson, and T. L. Marzetta, “Cell-free massive MIMO versus small cells,” IEEE Trans. Wirel. Commun., vol. 16, no. 3, pp. 1834–1850, Mar. 2017.
  • [2] D. Wang, M. Wang, P. Zhu, J. Li, J. Wang, and X. You, “Performance of network-assisted full-duplex for cell-free massive MIMO,” IEEE Trans. Commun., vol. 68, no. 3, pp. 1464–1478, Mar. 2020.
  • [3] E. Nayebi, A. Ashikhmin, T. L. Marzetta, H. Yang, and B. D. Rao, “Precoding and power optimization in cell-free massive MIMO systems,” IEEE Trans. Wirel. Commun., vol. 16, no. 7, pp. 4445–4459, Jul. 2017.
  • [4] Z. Dai, J. Xu, Y. Zeng, S. **, and T. Jiang, “Characterizing the rate region of active and passive communications with RIS-based cell-free symbiotic radio,” IEEE Internet Things J., pp. 1–1, 2023, early access, doi:10.1109/JIOT.2023.3308970.
  • [5] T. Kim, H. Kim, S. Choi, and D. Hong, “How will cell-free systems be deployed?” IEEE Commun. Mag., vol. 60, no. 4, pp. 46–51, Apr. 2022.
  • [6] S. Elhoushy and W. Hamouda, “Towards high data rates in dynamic environments using hybrid cell-free massive MIMO/small-cell system,” IEEE Wireless Commun. Lett., vol. 10, no. 2, pp. 201–205, Feb. 2021.
  • [7] A. Papazafeiropoulos, P. Kourtessis, M. D. Renzo, S. Chatzinotas, and J. M. Senior, “Performance analysis of cell-free massive MIMO systems: A stochastic geometry approach,” IEEE Trans. Veh. Technol., vol. 69, no. 4, pp. 3523–3537, Apr. 2020.
  • [8] T. M. Hoang, H. Q. Ngo, T. Q. Duong, H. D. Tuan, and A. Marshall, “Cell-free massive MIMO networks: Optimal power control against active eavesdrop**,” IEEE Trans. Commun., vol. 66, no. 10, pp. 4724–4737, Oct. 2018.
  • [9] Z. Chen and E. Björnson, “Channel hardening and favorable propagation in cell-free massive MIMO with stochastic geometry,” IEEE Trans. Commun., vol. 66, no. 11, pp. 5205–5219, Nov. 2018.
  • [10] Y. J. Chun, M. O. Hasna, and A. Ghrayeb, “Modeling heterogeneous cellular networks interference using poisson cluster processes,” IEEE J. Sel. Areas Commun., vol. 33, no. 10, pp. 2182–2195, Oct. 2015.
  • [11] J. G. Andrews, F. Baccelli, and R. K. Ganti, “A tractable approach to coverage and rate in cellular networks,” IEEE Trans. Commun., vol. 59, no. 11, pp. 3122–3134, Nov. 2011.
  • [12] “Isotropic vectors,” http://encyclopediaofmath.org/index.php?title=Isotropic_vector&oldid=47446, Encyclopedia of Mathematics.
  • [13] R. W. Heath Jr, T. Wu, Y. H. Kwon, and A. C. K. Soong, “Multiuser MIMO in distributed antenna systems with out-of-cell interference,” IEEE Trans. Signal Process., vol. 59, no. 10, pp. 4885–4899, Oct. 2011.
  • [14] P. G. Moschopoulos, “The distribution of the sum of independent gamma random variables,” Ann. Inst. Stat. Math., vol. 37, no. 1, pp. 541–544, 1985.
  • [15] L.-F. Huang, “The nakagami and its related distributions,” WSEAS Trans. Math, vol. 15, no. 44, pp. 477–485, 2016.
  • [16] J. Lyu and R. Zhang, “Hybrid active/passive wireless network aided by intelligent reflecting surface: System modeling and performance analysis,” IEEE Trans. Wirel. Commun., vol. 20, no. 11, pp. 7196–7212, Nov. 2021.
  • [17] H. Pishro-Nik, Introduction to probability, statistics, and random processes.   Kappa Research, LLC Blue Bell, PA, USA, 2014.
  • [18] R. J. Muirhead, Aspects of Multivariate Statistical Theory.   Wiley Series in Probability and Statistics. New York, NY, USA: Wiley, 1982., 1982.
  • [19] W. P. Johnson, “The curious history of Faà di Bruno’s formula,” Amer. Math. Monthly, vol. 109, no. 3, pp. 217–234, 2002. [Online]. Available: http://www.maa.org/news/monthly217-234.pdf
  • [20] R. Tanbourgi, H. S. Dhillon, J. G. Andrews, and F. K. Jondral, “Dual-branch MRC receivers under spatial interference correlation and nakagami fading,” IEEE Trans. Commun., vol. 62, no. 6, pp. 1830–1844, Jun. 2014.
  • [21] V. F. Ivanoff, “Problems for solution: 4782,” Amer. Math. Monthly, vol. 65, no. 3, p. 212, 1958. [Online]. Available: http://www.jstor.org/stable/2310076.