Joint Rate and Resource Allocation in Hybrid Digital-Analog Transmission over Fading Channels
In hybrid digital-analog (HDA) systems, resource allocation has been utilized to achieve desired distortion performance. However, existing studies on this issue assume error-free digital transmission, which is not valid for fading channels. With time-varying channel fading, the exact channel state information is not available at the transmitter. Thus, random outage and resulting digital distortion cannot be ignored. Moreover, rate allocation should be considered in resource allocation, since it not only determines the amount of information for digital transmission and that for analog transmission, but also affects the outage probability. Based on above observations, in this paper, we attempt to perform joint rate and resource allocation strategies to optimize system distortion in HDA systems over fading channels. Consider a bandwidth expansion scenario where a memoryless Gaussian source is transmitted in an HDA system with the entropy-constrained scalar quantizer (ECSQ). Firstly, we formulate the joint allocation problem as an expected system distortion minimization problem where both analog and digital distortion are considered. Then, in the limit of low outage probability, we decompose the problem into two coupled sub-problems based on the block coordinate descent method, and propose an iterative gradient algorithm to approach the optimal solution. Furthermore, we extend our work to the multivariate Gaussian source scenario where a two-stage fast algorithm integrating rounding and greedy strategies is proposed to optimize the joint rate and resource allocation problem. Finally, simulation results demonstrate that the proposed algorithms can achieve up to 2.3dB gains in terms of signal-to-distortion ratio over existing schemes under the single Gaussian source scenario, and up to 3.5dB gains under the multivariate Gaussian source scenario.
RECENT advances in mobile computing have promoted transmission of analog-valued signals over wireless fading channels. Examples include multimedia delivery to mobile users and measurements accumulation at the sensor fusion center. However, it is well known that the conventional digital scheme, based on the Shannon separation principle, cannot provide robustness over a wide range of wireless channel conditions. Specifically, it may suffer from cliff effect : performance degrades drastically when the instantaneous signal-to-noise ratio (SNR) drops beneath the target SNR, due to the quantized bit’s sensitivity to noise; while performance could not improve even if SNR increases beyond the target SNR, due to the nonrecoverable quantization errors. On the contrary, analog systems, such as amplitude modulation (AM) schemes, can eliminate cliff effect inherently, and are optimal for a Gaussian vector transmitted over a Gaussian channel with equal source-channel bandwidth . However, due to low compression efficiency, the analog system is practically inferior to the digital system, especially for the case of bandwidth mismatch between the source and the channel.
To achieve the balance between efficiency and robustness, hybrid digital-analog (HDA) transmission schemes have been proposed, with the capability to outperform digital and analog systems both in theoretical fields , , , , ,  and for image/video applications , , , . In HDA, as reconstructed signals consist of digital and analog components, resources (i.e., power and bandwidth) should be wisely assigned to digital and analog codes to achieve optimal performance in terms of distortion , , , , . The authors in  constructed HDA schemes with various power allocation coefficients, and demonstrated the importance of power allocation on system distortion. Two vector quantization (VQ) based HDA schemes with bandwidth mismatch were proposed in , where power allocation was optimized for asymptotical distortion over additive white Gaussian noise (AWGN) channels. The authors in  implemented HDA transmission in wireless relay network, and proposed a joint power allocation scheme for both digital-analog power allocation and source-relay power allocation. Apart from power allocation, He et al. in  also took bandwidth allocation into consideration.
Nonetheless, there still remains challenges for resource allocation in HDA transmission over wireless fading channels. First, in most existing studies, the exact channel state information (CSI) is assumed to be available at the transmitter and enough resources are allocated for digital codes to enable error-free digital transmission. Consequently, distortion optimization is only performed by the analog part. However, in wireless fading channels where the exact CSI is not known at the transmitter, such kind of resource allocation strategies cannot be adopted. In fact, due to inevitable random outage, digital distortion cannot be neglected in this case. Second, rate allocation is important in a general HDA system, where source is split into quantized bits for digital transmission and quantization errors for analog transmission , . The reason is that rate allocation determines the amount of information for digital transmission and that for analog transmission. However, it is preset empirically before resource allocation in early studies. This operation is much reasonable with perfect CSI assumption, but not valid in fading channels. With consideration of digital distortion, rate allocation and resource allocation are coupled and both have significant impacts on system distortion. More information with higher coding rate or less resources allocated to digital transmission would increase distortion caused by digital outage, at the same time, distortion introduced by analog decoding would be alleviated.
To overcome aforementioned challenges, in this paper, we jointly perform rate and resource allocation in HDA transmission over wireless fading channels, with the goal to minimize expected system distortion. Both analog and digital distortion are considered due to inevitable random outage in wireless fading channels. We first study the joint allocation problem under the single Gaussian source scenario. Further, we extend our work to the multivariate Gaussian (or parallel Gaussian) source scenario, where each Gaussian vector is independent and non-identically distributed with diverse variances from other vectors. In fact, the multivariate Gaussian model has been widely used in many signal processing applications, including sensor data , , multimedia data , watermarking application , and object clustering . The main contributions are summarized as follows.
1) In an HDA system with the entropy-constrained scalar quantizer (ECSQ), where quantized bits are transmitted in the digital branch and quantization errors are transmitted in the analog branch , , the quantization rate is configured to determine information split between digital and analog parts. Considering such system with bandwidth expansion over a quasi-static Rayleigh fading channel, orthogonal transmission for analog and digital signals are adopted. We analyze analog distortion as well as digital distortion theoretically under random outage. In the limit of low outage probability, we derive the closed-form expression of expected distortion of the HDA system, based on the asymptotical characteristic of the ECSQ.
2) Under the single Gaussian source scenario, the derived joint rate and resource allocation problem is a non-convex nonlinear problem when the ECSQ is involved. we decompose it into two coupled sub-problems based on the block coordinate descent (BCD) method . Moreover, we derive the expression of the solution for each individual sub-problem. Based on our theoretical work, we propose an iterative gradient algorithm to approach the optimal solution for the derived problem.
3) Under the multivariate Gaussian source scenario, we solve the joint rate and resource allocation problem in two stages when the ECSQ is considered, i.e. intra-component optimization and inter-component optimization. The former distributedly optimizes rate and resource allocation for each Gaussian vector component, which could be solved analogously as that in the single Gaussian source scenario. The latter attempts to allocate resources among components, which is a mixed integer nonlinear programming (MINLP) problem. An efficient algorithm adopting rounding and greedy strategies is proposed, which can converge to the optimal solution for the slack problem due to its proved convexity. Then a locally optimal integer solution is found in a greedy manner.
The rest of the paper is organized as follows. Related work is discussed briefly in Section II. In Section III, the system model of HDA transmission with bandwidth expansion is described in detail. In Section IV, we formulate the joint rate and resource allocation problem under single Gaussian source scenario and propose an algorithm to solve it. In Section V, we extend our work to the multivariate Gaussian source scenario. Performance evaluation is presented in Section VI. Finally, we conclude our work with a summary in Section VII.
Notations: Vectors and matrices are denoted by bold-faced characters. Upper-case letters are used for random entities and lower-case letters for their realizations. denotes . Unless specified otherwise, the base of logarithms is two. and represent the set of real numbers and the set of non-negative integers, respectively.
Ii Related Work
Due to severely limited resources (i.e., bandwidth and power) and time-varying channel conditions in wireless networks, it is desirable to construct a robust system over a wide range of channel conditions. Recently, HDA transmission, which integrates both analog coding approach and digital coding approach, has attracted wide attention , , , , , , . It has been proven that graceful degradation and robustness over varying SNR can be achieved in HDA systems for Gaussian channels.
System performance of HDA is usually measured in terms of distortion. Several researches focused on theoretically analyzing distortion performance of HDA schemes. Different from separate source and channel coding, HDA transmission can be categorized into joint source-channel coding (JSCC) schemes, which can achieve noticeable gains in the aspect of distortion performance and coding efficiency , , . The authors in  studied HDA JSCC schemes of transmitting the Gaussian source over the Gaussian channel with the presence of an interference, where the tradeoff of distortion between the source and the channel state was analyzed. The theoretical analysis characterized the achievable region of such distortion pair. A generalized HDA framework was proposed in  for Gaussian systems. Distortion performance of this unified HDA design was investigated for two typical scenarios: lossy JSCC over multiple access channels and channel coding over relay networks. In above studies, Gaussian channels were assumed. G.Caire and K.Narayananin in  considered the Rayleigh fading channel and analyzed the distortion SNR exponent versus spectral efficiency in the limit of high SNR. A tight lower bound of the exponent was shown achievable by a proposed HDA space-time coding scheme.
Resource allocation especially power allocation has been investigated to achieve desired distortion performance in HDA systems , , , , . In most existing HDA systems, power allocation is performed with the assumption that perfect CSI is available at the transmitter. Chen et al. in  developed an HDA joint source-channel coding method for Wyner-Ziv problem, and further applied such HDA scheme in scenarios without side information but with 1:2 bandwidth expansion. The source utilized one channel use for analog transmission and another channel use for superposed digital and analog transmission. Power allocation of the two channel uses, as well as digital-analog power allocation of the second channel use, were numerically optimized. In , HDA transmission was implemented into the wireless relay network, where a joint power allocation scheme has been proposed for both digital-analog power allocation and source-relay power allocation. Wang et al. in  investigated the effect of digital-analog power allocation on designing the optimal HDA system. Two HDA systems have been proposed for transmission of a Gaussian vector over an AWGN channel under bandwidth compression, where the upper bound on asymptotically optimal distortion was analyzed. Moreover, the authors in  implemented HDA transmission in heterogeneous cellular networks, where a femto user received its superposed digital and analog signals from macro base stations or femto access points according to a load balancing parameter. Power allocation for HDA transmission in  was analyzed with the stochastic geometry theory.
In an HDA system, the first step is to split the source for analog transmission and digital transmission, which is referred as rate allocation in this paper. Like resource allocation, rate allocation also has significant impact on performance of HDA transmission. As quantization errors are transmitted in the analog branch of the HDA system, rate allocation can be configured by the quantizer. Some work has been carried out to investigate the effect of quantizers in HDA ,. The hybrid scalar quantizer linear coder was proposed in  for bandwidth expansion of ratio two. Subsequently, Kleiner et al. in  extended the system into arbitrary bandwidth expansion ratio, which quantized the source along with repeatedly quantizing the error caused from the previous step, and ended the last step with linear coders. Unfortunately, in these studies, resource allocation has not been considered. A recent study in  has taken both rate allocation and power allocation into consideration for HDA transmission of video. In this literature, rate allocation was controlled by the quantization parameter (QP) and a prediction model was proposed to characterize the relationship between the QP and the data variance of analog data. Based on the model, it optimized power allocation and the QP. However, it only considered transmission under the Gaussian channel with matched bandwidth, its solution could not be directly applied into fading channels without CSI and the scenario that source bandwidth and channel bandwidth are mismatched.
Iii System Model
The block diagram of the HDA transmission system over the fading channel with bandwidth expansion is shown in Fig.1. The upper part of the system is the digital coder and the lower part is the analog coder. The source is split into quantized bits and quantization errors for digital and analog transmission, respectively. For convenience, the main notations are summarized in Table I.
At the transmitter, the time-discrete and analog-valued memoryless vectors are grouped as an matrix , where denotes transposition. Each vector is with dimension, i.e., , . Besides, the samples in each vector (e.g., ) are independent identically distributed (i.i.d.). At the digital encoder, these vectors are successively fed to the source encoder and channel encoder. For the vector , its digital codeword is . At the analog encoder, the output of the digital source encoder is first sent to a source decoder, to generate time-discrete and discrete-valued vector . Then by subtracting from , the quantization error can be obtained, which is further coded with a linear encoder into the analog codeword . Finally, and , which are separatively transmitted with corresponding channel uses, form the transmitted codeword . Note that the dimension of is related to the number of of channel uses assigned to it. Since bandwidth expansion is considered, analog signals and digital signals occupies different numbers of channel uses for orthogonal transmission.
|number of Gaussian vectors in multivariate Gaussian source|
|number of samples in each Gaussian vector|
|multivariate Gaussian vectors matrix,|
|vector whose transposition represents the row of ,|
|power budget, number of available channel uses|
|quantization error vector of , vector|
|channel codeword of , vector|
|power, number of channel users assigned for|
|analog channel codeword of , vector|
|power, number of channel users assigned for|
|digital channel codeword of , vector|
|power, number of channel users assigned for|
|channel noise during transmission of , vector|
|received signal corresponding to , vector|
|correlation matrix of with dimension|
|quantization rate of|
At the receiver, the decoder maps the channel output into the estimation . Ideally, the mapping should be selected to minimize the mean squared-error (MSE) distortion . However, the high implementation complexity prohibits the use of such a decoder. To enable practical HDA transmission, we adopt a suboptimal decoder proposed in , as shown in Fig. 1. The received digital and analog signals are separately decoded. The decoding process of the digital signal is inverse of the digital encoding process, while the analog decoder is a linear minimum mean square error (MMSE) estimator. The add of and , which are corresponding outputs of the digital and analog decoders, respectively, forms the reconstructed vector .
Iii-B Source and Channel
We assume to be a zero-mean multivariate Gaussian complex vector. is said to be multivariate Gaussian if it follows Gaussian distribution , where is an -length vector of means, and is an correlation matrix. Throughout the paper, is a all-zero vector , and is considered to be diagonal, where is the variance of the vector . This implies that the vectors are independent with each other. If the correlation matrix is not diagonal, can be de-correlated by multiplying the Karhunen-Loeve transforming matrix , i.e., . Such diagonal assumption and de-correlation for signals can be traced in early work , , . In fact, such multivariate Gaussian source model is practical to characterize wide data analysis applications , , , , . Although samples in each vector is complex Gaussian i.i.d. (i.e., ), samples of different vectors are non-identically distributed with different variances. Without a loss of generality, all vectors in are in the descending order of their variances, i.e., .
Assume that uncorrelated channel uses are available, and the channel coherence time is much larger than the sampling time of each Gaussian vector. Based on this assumption, the channel can be modeled as a quasi-static Rayleigh fading channel. Specifically, the channel is assumed to be constant over the duration of any vector transmission but random with Rayleigh fading coefficient . Thus, the channel is assumed as non-ergodic, which implies that the exact is not available at the transmitter. is complex additive white Gaussian noise, corresponding to transmission of . Hence, such channel can be modeled as
The power of Gaussian noise is assumed to be same among all available channels, denoted as . The system average SNR per channel use is
where is the system power budget.
Iii-C Rate Allocation
Some theoretical and practical methods are available for information split between digital and analog parts in HDA. For example, dimension splitting is adopted in , where an -dimensional vector is split into the -dimensional digital vector and -dimensional analog vector. For video transforming coefficients, more important coefficients are conveyed by digital transmission and the residual is conveyed by analog transmission , . In this research, we adopt a general HDA framework, where the source is split into quantized bits for digital transmission and quantization errors for analog transmission. In this case, digital-analog information split can be configured with the quantization rate, which is called rate allocation. This approach to achieve rate allocation for HDA transmission is common in theoretical fields ,  and practical fields .
To enable quantization with variable rates, the vector is assumed to be encoded by the ECSQ, with rate bits per sample. With the ECSQ, is actually the entropy of the encoder output. In fact, it has been shown that the quantization error is asymptotically Gaussian distributed with zero mean and variance . Furthermore, for the ECSQ adopted in this research, Gish and Pierce  have demonstrated that the rate of the quantizer asymptotically exceeds the rate given by Shannon rate-distortion function, with a constant parameter , i.e.,
This also indicates that the analog signal is determined by the quantization rate.
Iii-D Resource Allocation
Let respectively be the channel and power allocation vetors among multivariate Gaussian components. For arbitrary , the digital and analog coded signals of the Gaussian vector should respectively satisfy the power constraint as
where is the power allocation coefficient for digital transmission of . Furthermore, the average SNR per channel use for digital transmission and that for analog transmission of is:
where and are the number of channel uses (bandwidth) for digital transmission and that for analog transmission, respectively. In this research, linear AM is adopted as the analog encoder. The number of of channel uses occupied by analog transmission is set to be equal to the number of source samples, i.e., , . Note that, in the case of bandwidth expansion, each vector is transmitted, which implies that the available channel uses are more than samples. Thus, for arbitrary and . Besides, system transmission should meet the bandwidth budget, namely, .
Iv Joint Rate and Resource Allocation for Single Gaussian Source Scenario
In this section, we jointly optimize rate allocation and resource allocation for single complex Gaussian vector HDA transmission with bandwidth expansion. Given fading statistics and specific codes, the expression of expected system distortion is first derived with consideration of digital distortion and analog distortion. Then we formulate the joint optimization problem as a minimization problem on expected system distortion, in the limit of low outage probability and with ECSQ. We finally propose an iterative algorithm adopting BCD and gradient methods, based on the analytical efforts.
Iv-a Problem Formulation
Without a loss of generality, we take transmission of the vector into consideration in this scenario.
Iv-A1 Outage Formulation
The commonly adopted concept for non-ergodic fading channels is information outage , . It can be defined as the event that the mutual information of the channel could not support a certain data rate . Mathematically, the information outage event can be expressed as
Hence, the outage probability can be derived as
where is the channel fading gain and is the cumulative distribution function (CDF) of . Since is exponentially distributed with parameter , the outage probability can be reexpressed as
Iv-A2 Expected System Distortion
Distortion between the vector and its reproduction is a common parameter to characterize performance of transmission. With the criteria of MSE, system distortion is
Given channel distribution, expected system distortion is the expectation of . Throughout this paper, the expectation is taken with respect to the random fading gain . For expression simplicity, we denote expected system distortion as in the subsequent discussion.
As outage happens randomly, system distortion is caused by both digital transmission and analog transmission. As Fig. 1 shows, the reconstructed signal at the receiver is . When outage happens in digital transmission, the digital signal cannot be decoded at all. In such case, and system distortion is the variance of the Gaussian vector, i.e., . On the other hand, if outage does not happen, the digital signal can always be decoded correctly based on the assumption of ideal coding scheme. In this case, distortion of the digital part is . Moreover, it has been shown that the quantization error can be considered as asymptotically uncorrelated with . Thus we have
Therefore, system distortion when outage does not occur, is merely the linear MMSE estimation error of the analog signal, i.e., . Based on the above analysis, expected system distortion can be expressed as:
where the integral is taken over the fading gain . represents the event of non-outage. Based on (3), the ratio of and is . Hence, the variance of quantization errors decreases rapidly with increasing . We introduce a large enough threshold , based on the results of . When is above a threshold , is small enough, and the quantization is fine enough. In this case, quantization errors contribute little to the performance improvement. In other word, purely digital transmission, not HDA transmission, should be considered when is above a certain threshold. Based on the above discussion, the joint optimization problem for HDA transmission over fading channels can be formulated as a constrained expected system distortion minimization problem, which is expressed as
Iv-B Problem Analysis
We first analyze expected system distortion in the case that outage happens. Based on (7), it can be rewritten and approximated as
Define . Then the above approximation holds with , as . From this, we can find that implies the limit of low outage probability. For this general HDA scheme, quantized bits are transmitted via digital codes. While quantization errors are transmitted via analog codes, act as the supplement to enhance performance. In this case, once outage happens, both digital and analog signals cannot be decoded. Thus, performance of HDA transmission would degrade rapidly with increasing outage probability. And in the following content, we mainly analyze the problem in the limit of low outage probability, i.e., . The simulation result of Fig. 6 also shows that the solution obtained with approximation can also achieve comparable performance in practical implementation. Similarly approximation can be referred to , , .
Next we begin to analyze expected distortion when outage does not happen. As analyzed in III-C, the quantization error is asymptotically Gaussian distributed. With the linear MMSE, the estimation error of is
where is the variance of . The relationship between and is expressed in (3).
For expression brevity, define
where is the probability density function (pdf) of channel gain . The last line of (13) holds with small approximation.
where is the variance of , and are the average digital SNR and analog SNR, respectively, as expressed in (4).
Such coupled optimization objective is a constrained multi-variable function, which contains integral components. It is difficult to derive the optimal solution with general convex optimization methods. Inspired by the BCD method , we tackle such problem by dividing it into two coupled sub-problems: optimizing rate allocation under given resource allocation, and then optimizing resource allocation based on derived rate allocation.
Iv-B1 Rate Allocation
Under given resource allocation, the rate allocation problem is a relaxed problem of (14), which can be expressed as
For this sub-problem, we can derive its analytical solution as follows.
Let () be a given digital-analog resource allocation strategy. Then the quantization rate is the optimal solution for the problem formulated in (15) if and only if
The second derivative of function with respect to is , which is positive. Thus, such sub-problem is strictly convex, which has unique solution. This implies that this function can be minimized by finding the stationary point.
Then we analyze the existence of the optimal solution. The first derivative of with respect to can be derived as . By equating the derivative to zero, we can derive the stationary point. And considering the constraint of rate, the optimal solution can be obtained as expressed in (16). ∎
According to Theorem 1, the optimal quantization rate might be zero. In this case, no information is allocated for digital transmission, which implies that the optimal scheme reduces to the purely analog transmission scheme.
For such a nonlinear optimization problem, the above analysis indicates that the rate allocation problem can be solved efficiently according to (16).
Iv-B2 Resource Allocation
Based on the solution of rate allocation, the problem of resource allocation can be written as
As assumed in III-D, analog transmission occupies channel uses. Therefore, bandwidth allocation is determined by the dimension of the Gaussian vector, i.e., . Next, we focus on deriving the necessary condition for the optimal power allocation coefficient via the analysis of the Karush-Kuhn-Tucker (KKT) condition .
Given the transmission resource constraints and the quantization rate , let satisfy
then the optimal digital-analog power allocation coefficient of the problem formulated in (17) must satisfy
is a sign function which equals one with and zero otherwise.
According to the Leibniz integral rule, the second derivative of with respect to is , which is positive. This indicates that this sub-problem is strictly convex, and also has unique solution.
Next we analyze whether an optimal point exists. The Lagrangian function of the problem formulated in (17) can be expressed as
The optimal solution can be obtained by applying the KKT condition if and only if there exists Lagrange multipliers such that
where can be written as
Observe that the solution means no power is allocated to analog transmission, which implies the optimal scheme reduces to purely digital transmission. Such situation might occur when the quantization is fine enough so that the quantization residual is negligible to the signal reconstruction.
The above analysis suggests that the digital-analog power allocation problem can be solved based on (19). Recognizing that the integral component contains variable , the computational complexity of obtaining directly from (18) is high. However, the analysis also indicates that the formulation (17) is a constrained convex optimization problem, which can be addressed tractably through the gradient method.
According to the above analysis, we develop an iterative solution to jointly optimize rate and resource allocation as formulated in (14). The algorithm is elaborated in detail in Algorithm 1. Such iterative idea can be traced from the widely used BCD method proposed in . For the optimization of a multi-variable function in the BCD method, the coordinates of variables are first partitioned into blocks. Then at each iteration, the function is optimized in terms of one of the coordinate blocks while the other coordinates are fixed. With BCD, one can find the optimal solution with an acceptable convergence rate, even if the objective function is not (block) convex ,  or differentiable . The following theorem establishes the optimality of Algorithm 1 for the approximative problem .
Algorithm 1 converges; and the converged solution is the optimal solution to the problem in (14).
This theorem can be proved, based on the fact that each sub-problem has unique solution and the constraint set is a Cartesian product of closed convex sets . The details of proof can be found in . In Algorithm 1, we implement the gradient method to solve the problem of power allocation (Lines 13-19). The power allocation coefficient is evolved on the gradient descent direction . Note that in the process of rate allocation and power allocation, the expectation of distortion as defined in (14) needs to be computed repeatedly. To reduce the complexity of calculating integral component , we further analyze the integral and adopt a lookup table for it.
The fading gain is exponentially distributed with pdf as analyzed in IV-B. Thus the function can be rewritten as . Further, we can derive it as follows,
where is the widely known exponential integral function. Therefore, a lookup table can be implemented to calculate the function , which can further reduce the computational complexity.
V Joint Rate and Resource Allocation for Multivariate Gaussian Source Scenario
In this section, we further extend our work to the multivariate Gaussian source scenario. In this case, the variance of each Gaussian vector, which characterizes the transmission priority, would accordingly affect both rate allocation and resource allocation. Thus, we investigate the joint optimization problem with consideration of not only the fading distribution, but also source characteristics differences. Finally, we propose an efficient algorithm combining rounding and greedy strategies.
V-a Problem Formulation
In this scenario, suppose a set of zero mean complex Gaussian vectors are grouped as with the correlation matrix . And is diagonal with the non-zero entry , . If the vectors are correlated, we can diagonalize the matrix as , where is the Karhunen-Loeve transforming matrix. Without a loss of generality, we suppose . The total power and bandwidth of the HDA system are and , while the average noise power per channel use is , as assumed in III-B. As analyzed in Section IV, rate allocation and digital-analog resource allocation of each vector component should be optimized jointly to minimize expected system distortion. Moreover, due to the difference of source characteristics, the optimization of power allocation , as well as bandwidth allocation among vectors components, should also be considered. Mathematically, such problem can be formulated as follows.
where is expected system distortion of as (14) expressed. and are the corresponding channel bandwidth and power, respectively. and () represent rate allocation and digital-analog resource allocation corresponding to , respectively, which should satisfy the corresponding constraints.
V-B Problem Analysis
Due to the consideration of source characteristics differences, the problem formulated in (22) is hard to be solved. To tame the complexity, we decompose the problem and propose a two-stage algorithm inspired by the perspective of formulated problem expression. One stage is intra-component optimization, namely distributedly optimizing rate and digital-analog resource allocation , based on given resource assignment . And the other stage is inter-component optimization, which obtains the resource allocation vectors among independent components, given the result of the first stage. Note that the process of the first stage could be viewed as the joint optimization for the single Gaussian source scenario (i.e., ). Hence, it could be solved asymptotically referring to the approach in Section IV.
In the subsequent discussion, we will focus on the analysis of the second stage. Since the problem of resource allocation among vectors is an MINLP problem, it is quite challenging to solve it directly. We tame the complexity by first relaxing the integer constraint. Thus, the slack problem can be formulated as follows
The slack optimization problem as formulated in (23) is a multivariate optimization problem, which is constrained convex for the vector and .
According to (14), we can obtain the Hessian matrix of the function with respect to and . And the determinant of the Hessian matrix can be written as
Since and , the integral part of the above function is non-negative. Then the residual part of can be represented as , where the function can be expressed as:
It can be proved that is a monotonically non-decreasing function when , and . Hence, based on the above analysis, is non-negative. Besides, it can be derived that and . Thus, is a convex function for and . Further, we can verify that the problem as formulated in (23) is a constrained convex optimization problem for the vector and . ∎
The above analysis suggests that the slack problem can be solved by general convex optimization methods, such as the interior-point method , which is an efficient solution for a nonlinear constrained convex optimization problem. Based on the fractional results, we need to further obtain a feasible integer bandwidth solution. The rounding technique is first employed and then the residual channel uses are reallocated wisely.
Intuitively, more channel uses should be allocated to the Gaussian vector with larger significance for better performance. If this is true, we may allow the Gaussian vector with larger variance to retain more channel uses at the reallocated step. Next, we will present a lemma to verify our conjecture.
Give the power allocation vector , as well as rate allocation and digital-analog resource allocation strategies, to reduce system expected distortion, the bandwidth allocation vector must satisfy: the Gaussian vector with larger variance is allocated with more channel uses than the vector with smaller variance. In other words, suppose the set of variances denoted by () is in the descending order (i.e. ), and the corresponding bandwidth allocation solution is . Then, should satisfy:
According to the analysis in IV-B, the component of expected system distortion, which is associated with the results of bandwidth allocation, is .