When NOMA Meets AIGC: Enhanced Wireless Federated Learning
Abstract
Wireless federated learning (WFL) enables devices to collaboratively train a global model via local model training, uploading and aggregating. However, WFL faces the data scarcity/heterogeneity problem (i.e., data are limited and unevenly distributed among devices) that degrades the learning performance. In this regard, artificial intelligence generated content (AIGC) can synthesize various types of data to compensate for the insufficient local data. Nevertheless, downloading synthetic data or uploading local models iteratively takes a lot of time, especially for a large amount of devices. To address this issue, we propose to leverage non-orthogonal multiple access (NOMA) to achieve efficient synthetic data and local model transmission. This paper is the first to combine AIGC and NOMA with WFL to maximally enhance the learning performance. For the proposed NOMA+AIGC-enhanced WFL, the problem of jointly optimizing the synthetic data distribution, two-way communication and computation resource allocation to minimize the global learning error is investigated. The problem belongs to NP-hard mixed integer nonlinear programming, whose optimal solution is intractable to find. We first employ the block coordinate descent method to decouple the complicated-coupled variables, and then resort to our analytical method to derive an efficient low-complexity local optimal solution with partial closed-form results. Extensive simulations validate the superiority of the proposed scheme compared to the existing and benchmark schemes such as the frequency/time division multiple access based AIGC-enhanced schemes.
Index Terms:
Non-orthogonal multiple access, artificial intelligence generated content, wireless federated learning, synthetic data.I Introduction
Nowadays, due to the explosive growth of Internet of Things (IoT) devices, the data collected by IoT devices are needed to be analyzed using machine learning techniques to support various IoT applications such as augmented reality and virtual reality [1]. However, because of the limited communication resources, it is unbearable to transmit all of the collected data to a data center to perform centralized machine learning. Luckily, the computing capability of devices is surging due to the fast development of chip technology, and it motivates to implement distributed machine learning that lets each device train a learning model locally using its collected data. Wireless federated learning (WFL) is one of the most famous distributed learning framework that allows devices to collaboratively learn a global model while protecting the data privacy [2]. In WFL, devices train local models using local data independently based on a received global model, then the trained local models are transmitted to the WFL server for aggregating to a global model, while the new global model is redistributed back to the devices, and the process repeated until the global model converges. Therefore, wireless transmission schemes affect the WFL performance greatly and need to be tailored for WFL.
Meanwhile, due to data scarcity and heterogeneity, data are limited and unevenly distributed among devices and some important portions of data are missing locally at some devices, which leads to poor learning convergence accuracy [3]. Therefore, to improve global model accuracy, some measures have to be taken. For example, device selection can be performed to select proper devices for global model aggregation [2]. However, this will introduce the fairness issue. Another method is to let devices collect the missing portions of data. However, due to physical limitations, sometimes it is difficult for the devices to collect the missing portions of local data by themselves. Even if collecting data is possible, it will certainly introduce much more latency and energy consumption, which is not desirable for energy-limited devices and delay-sensitive services. In this regard, artificial intelligence generated content (AIGC) [4], which is a promising technology for synthesizing data, can be adopted to generate synthetic data for device local training. Specifically, AIGC can automatically create various data such as texts, images, and videos as the devices request [5, 6], and can save time and resources that may otherwise be spent on the data collection. Since AIGC usually requires high computation capability, it can be deployed at an AIGC server in the cloud computing center, and devices can request the server for synthesizing specific data and then download the synthetic data for local model training.
I-A Related Works
In the context of WFL networks, many works such as [7, 8, 9, 10, 11] have studied various important problems regarding the implementation of WFL. Specifically, in [7], an algorithm for jointly optimizing the learning, radio resource allocation and device selection based on the Hungarian method was proposed to minimize the WFL loss function. In [8], the problem of joint learning and communication resource optimization to minimize the total energy consumption was investigated, and an iterative algorithm was proposed to achieve a local optimal solution. In [9], the computation and the communication resources as well as the number of the local model parameter quantization bits were jointly optimized to minimize the WFL convergence time. In [10], an iterative algorithm for jointly scheduling devices, local iterations and radio resources was developed based on the pointer network embedded deep reinforcement learning method and the breadth-first search method. In [11], an incentive mechanism based on the Stackelberg game was designed to motivate the devices to participate in collaborative model training.
In the above works, [7, 8, 10, 11] adopted the frequency division multiple access (FDMA) wireless transmission scheme, and [9] adopted the time division multiple access (TDMA) wireless transmission scheme. Both FDMA and TDMA belong to orthogonal multiple access (OMA) transmission scheme. However, OMA suffers from low transmission efficiency [12, 13]. To fully realize the potential capability of WFL, more efficient transmission schemes other than OMA are needed. In this context, non-orthogonal multiple access (NOMA) [13, 14], which supports multiple concurrent transmissions on the same spectrum band, is a promising technique to realize high transmission efficiency in WFL networks. Particularly, devices can upload their local models simultaneously using the superposition coding, and the WFL server can decode different device signals by using the successive interference cancellation (SIC) technique.
There have been some works on NOMA-enhanced WFL networks. Specifically, in [15], devices were assumed to be wirelessly powered by the base station (BS), and the problem of joint optimization of the NOMA communication and computation resources to minimize the system-wise cost was investigated. A layered algorithm based on the monotonic optimization was developed to solve the joint optimization problem. In [16], the problem of jointly optimizing device scheduling, transmit power and computation frequency allocation in a relay-assisted NOMA-enhanced WFL network to minimize the energy consumption was solved by graph theory. In [17], devices were grouped into different NOMA groups for local model uploading, and the transmit power and bandwidth of NOMA groups were jointly optimized to maximize the system convergence metric based on convex optimization. In [18], the joint optimization of device selection and resource allocation to minimize the total training latency in a NOMA-enhanced WFL network was carried by the monotonicity analysis and dual decomposition method.
Meanwhile, AIGC in wireless networks has attracted a lot of attention recently, such as the AIGC-enhanced semantic communications [19, 20, 21], blockchain-enabled AIGC [22], distributed AIGC [23], and AIGC service provider selection [24]. AIGC has also been integrated with WFL in recent works [25, 26]. Particularly, the work in [25] applied WFL to achieve efficient AIGC, and presented WFL-based techniques for AIGC to generate diverse and personalized contents. While [25] focused on how WFL can empower the AIGC, the work in [26] adopted AIGC to empower WFL. Specifically, in [26], AIGC was proposed to generate more training data for devices to minimize the device energy consumption under the learning performance constraint.
I-B Motivation and Contributions
Since devices are heterogeneous and the data are limited and unevenly distributed, AIGC can be used to generate the specified data missing at the devices for more efficient local training and improved global convergence performance in WFL. In this regard, the pioneer work [26] has considered to use AIGC to enhance the WFL performance. However, the work [26] ignored the procedure of synthetic data downloading from the AIGC server to the devices, the time of which cannot be neglected in practice. In addition, the work [26] used a low-efficient FDMA transmission scheme for local model uploading, which is inadequate for a large amount of devices. The above research gaps motivate the work in this paper to use the highly efficient NOMA transmission scheme both for synthetic data downloading and local model uploading in AIGC-enhanced WFL networks, and jointly design the synthetic data distribution, two-way communication resource and computation resource allocation to maximize the learning performance. Note that jointly designing resource optimization policy in NOMA+AIGC-enhanced WFL networks is non-trivial, since the optimization variables are highly coupled in such complicated non-convex optimization problems, while the SIC decoding policy in NOMA can further complicate the optimization.
The main contributions of this paper are summarized as follows:
(1) We are the first to propose a NOMA+AIGC-enhanced WFL system model, where devices can download synthetic data from the AIGC server based on NOMA, then train the local models based on the local data and synthetic data, and upload the local models to the WFL server based on NOMA for global model aggregation. The problem of jointly optimizing the synthetic data allocation, the time allocation, the transmit power allocation of the BS and the devices, the SIC decoding order, and the computing frequency allocation, is formulated with the objective of minimizing the global learning error, under various system constraints.
(2) We propose an efficient low-complexity algorithm with partial closed-form results to achieve a local optimal solution to the problem. First, we analytically derive the closed-form optimal computing frequency allocation to simplify the problem. Then, the block coordinate descent (BCD) method is adopted to decouple the complex problem into two simpler subproblems. The first subproblem optimizes the synthetic data allocation and the time allocation, where the optimal time allocation is analytical obtained in closed form, and the optimal synthetic data allocation is obtained via convex optimization. The second subproblem optimizes the transmit power allocation of the BS, the transmit power of the devices, and the SIC decoding order, where the optimal transmit power allocation of the BS and the transmit power of the devices are analytically obtained in a recursive form, and the optimal SIC decoding order is analytically obtained in closed form.
(3) Extensive simulation results are illustrated to demonstrate the superiority of the proposed NOMA+AIGC-enhanced scheme. The results show the advantages of combining NOMA and AIGC with WFL. It is shown that the proposed scheme outperforms the existing and benchmark schemes such as the FDMA or TDMA+AIGC-enhanced schemes, in terms of global learning accuracy, under various system configurations. Particularly, the learning performance improvement of our proposed scheme is more obvious when the data synthesizing capability of the AIGC server is stronger, the maximum latency requirement is more stringent, and the number of devices is larger.
The remainder of this paper is organized as follows. Section II presents the system model of the proposed NOMA+AIGC-enhanced WFL network. Section III formulates the optimization problem of maximizing the learning performance and presents an algorithm framework to solve the optimization problem. Section IV and V presents algorithms to optimally solve the two subproblems. Section VI provides simulation examples to demonstrate the effectiveness of the proposed NOMA+AIGC-enhanced scheme. Finally, the paper is concluded in Section VII.
II System Model
We consider a NOMA+AIGC-enhanced WFL network consisting of an AIGC server in the cloud, a BS and devices, as shown in Fig. 1. The BS is equipped with a WFL server for simple computation of global model aggregation, and connects with the upper AIGC server via high-speed wired backhaul. The AIGC server is assumed to be deployed at the cloud computing center and equipped with powerful computation capacity for data synthesis. Each device has a set of original local dataset for local model training. Let denote the number of samples in the local dataset of device In order to improve the learning model accuracy, AIGC is adopted to synthesize the data required by the devices for performing local training. Specifically, each device can send the data synthesis request to the AIGC server indicating the specific data distributions/properties. After the AIGC server receives the requests from the devices, it will synthesize the requested data and then send the synthetic data to the BS and then the devices for local model training. Let denote the amount of synthetic data samples that are generated by a pre-trained AI generative model and are downloaded from the AIGC server to the device . After the AIGC server pushes the synthetic data to the devices, the devices can train the local models based on both the local dataset and the synthetic dataset.
II-A AIGC-Enhanced WFL Model
The whole AIGC-enhanced WFL procedure consists of three phases [26]. In the first phase, all the devices send the data synthesis request to the AIGC server indicating the specific data distributions/properties, and then the AIGC server synthesizes the data required by all the devices. Due to data scarcity/heterogeneity, the local data available at the devices may lack particular types of data, which may hinder the convergence of the global model. Thus, the synthetic data can compensate for the missing portions of local data to improve the learning convergence [26]. We assume that due to physical limitations, the AIGC server can generate a maximum amount of synthetic data [6]. Since the synthetic data received by all the devices cannot exceed the maximum amount to bear by the AIGC server, we have the following synthetic data constraint as given by
(1) |
In the second phase, the synthetic data are transmitted from the AIGC server in the cloud to the BS and then the devices with time . Since the AIGC server connects with the BS via high-speed wired backhaul, the time for transmission the synthetic data from the AIGC server to the BS is ignored. In the third phase, the WFL server first broadcasts the initial global model to the devices, then each device trains the local model using the local dataset and the synthetic dataset, and finally uploads the trained local model to the WFL server for global model aggregation and update. We assume that the number of global model iterations is fixed at Let and denote the local/global model data size in bits, the time required for generating the synthetic data for all the devices, the time for the global model broadcasting of the WFL server, the time for the local model training of all the devices, and the time for the local model uploading of all the devices, respectively. Then, the time of the third phase is We assume that there is a pre-determined maximum latency for the whole WFL procedure, i.e.,
(2) |
Since the synthetic data are generated by the pre-trained AI generative model in the AIGC server, we assume that is modeled as a linear function of the amount of synthetic data generated for all the devices [6], i.e., .
According to the results in [26], the global learning error (i.e., the global learning model accuracy) of the WFL depends on the local training dataset sizes of the devices and the number of global iterations, and can be modeled as
(3) |
where is a positive constant parameter, and are positive hyper-parameters that can be obtained through curve fitting [26].
II-B Computation Model
Let and denote the computing frequency of the device the number of CPU cycles of the devices to locally train one data sample, and the local epoch, respectively. The computing frequency of each device is capped by its maximum value, i.e.,
(4) |
where is the maximum computing frequency of the device Then, the time of the device for a single-round local model training is given by
(5) |
Since each device has to finish the local model training within the required time we have
(6) |
In addition, the energy consumption per single-round local model training of the device is written as
(7) |
where denote the hardware energy coefficient [27].
II-C NOMA-Enhanced Communication Model
Let and denote the channel gains from the BS to the device and from the device to the BS, respectively. The system bandwidth is There are three procedures that involve wireless transmissions, i.e., synthetic data downloading from the BS to the devices, global model broadcasting from the BS to the devices, and local model uploading from the devices to the BS.
For synthetic data downloading, downlink NOMA is applied. Specifically, according to the downlink NOMA principle, the messages intended for the devices are transmitted simultaneously based on the superposition coding. Each device can apply SIC to cancel the messages of other devices whose channel gains are smaller than its own channel gain. Without loss of the generality, we assume the devices are sorted in the ascending order of the channel gain i.e., . Let denote the transmit power of the message for the device . Thus, the achievable rate for synthetic data downloading of the device is given by
(8) |
where is the noise power spectral density. Since the allocated synthetic data has to be finished transmitting within the time we have
(9) |
where is the size of one data sample in bits. Furthermore, the maximum transmit power of the BS is limited as
(10) |
where is the maximum transmit power of the BS.
For global model broadcasting, the BS is assumed to transmit at its maximum power and in order for all the devices to successfully receive the global model, the broadcasting rate is chosen as the minimum rate achievable for all the devices, i.e., Since the global model data has to be transmitted within the time we have
(11) |
For local model uploading, uplink NOMA is adopted. Specifically, the messages of all devices are transmitted to the BS simultaneously. Let denote the transmit power of the device and denote the maximum transmit power of the device Then, we have
(12) |
At the BS, the SIC is adopted to decode the messages of all the devices. Denote by the SIC decoding order of the device . Let and it belongs to the set of all possible SIC decoding orders of all messages. Thus, the achievable rate of the device for local model uploading is expressed as
(13) |
In order to upload the local model to the BS within the time we have
(14) |
In addition, the energy consumption of the device for local model uploading per single-round training is given by
(15) |
III NOMA+AIGC-Enhanced WFL
III-A Problem Formulation
Based on the system description in the previous section, the energy consumption of the device for a single-round training is written as
(16) |
We assume that there is an energy budget for each device, i.e.,
(17) |
where is the maximum energy consumption of the device per single-round training.
Our focus is maximizing the learning performance under the constraints analyzed in the system description. Specifically, the optimization objective is minimizing the global learning error (i.e., to maximize the global learning model accuracy), and the optimization variables are the synthetic data allocation the time allocation the transmit power allocation of the BS the transmit power of the devices the SIC decoding order and the computing frequency allocation . Mathematically, the optimization problem for the NOMA+AIGC-enhanced WFL is formulated as
(18a) | ||||
(18b) | ||||
(18c) | ||||
(18d) | ||||
(18e) | ||||
(18f) | ||||
(18g) | ||||
(18h) | ||||
(18i) | ||||
(18j) | ||||
(18k) | ||||
(18l) | ||||
(18m) | ||||
(18n) | ||||
(18o) | ||||
(18p) | ||||
(18q) | ||||
(18r) |
where the abbreviation ‘’ stands for ‘subject to’ and the abbreviation ‘’ stands for ‘optimization variables’. The constraint (18b) restricts that the total transmitted synthetic data is smaller than the totally synthetic data that can be generated in the AIGC server. The constraint (18c) requires that the total time for WFL rounds is less than the pre-defined maximum latency. The constraint (18d) restricts the maximum computing frequency of each device. The constraint (18e) requires that each device finishes the local model training within the required time. The constraint (18f) requires that the synthetic data can finish transmitting within the synthetic data transmission time. The constraint (18g) restricts the transmit power of the BS. The constraint (18h) requires that the global model data can finish transmitting within the global model broadcasting time. The constraint (18i) restricts the transmit power of each device. The constraint (18j) requires that the local model data can finish transmitting within the local model uploading time. The constraint (18k) restricts the energy consumption of each device. The constraint (18l) restricts the SIC decoding order. The constraints (18m)-(18q) restrict that the optimization variables are non-negative.
III-B Proposed Solution Framework
Since is discrete and the constraints (18f), (18j), (18k) are non-convex, the problem (18) is a mixed integer nonlinear programming (MINLP) problem, which is NP-hard in general, and its optimal solution is thus generally intractable to find. Before proposing an algorithm to solve the problem (18), we present analysis to equivalently simplify the problem (18).
Lemma 1.
Proof:
See Appendix -A. ∎
Lemma 1 indicates that each device shall use up the allocated local model training time for saving energy consumption. From Lemma 1, the optimal is derived as
(19) |
By inserting (19) into the constraints (18d) and (18k), we have
(20) | |||
(21) |
In addition, from (3), it can be shown that the objective function is a monotonically increasing function of . Thus, minimizing is equivalent to minimizing .
Thanks to Lemma 1, the number of optimization variables is reduced. After the above equivalent problem transformation, the problem (18) is rewritten as
(22a) | ||||
(22b) |
The problem (22) is still a MINLP problem, and its optimal solution is hard to obtain. Therefore, we develop an efficient low-complexity algorithm based on the BCD method to achieve a local optimal solution. The overall flowchart of solving the problem (18) is shown in Fig. 2. Specifically, the problem (22) is decoupled into two subproblems. One subproblem on the left-hand-side optimizes with given as shown in the left part of Fig. 2, and the other one on the right-hand-side optimizes with given as shown in the right part of Fig. 2. The two subproblems are solved iteratively until the objective function value in (22a) converges. We will optimally solve the two subproblems in the next two sections.
IV Efficient Algorithm for Optimally Optimizing
In this subsection, the subproblem of optimizing with given (the left part of Fig. 2) is investigated as
(23a) | ||||
(23b) |
In what follows, we present important properties of the problem (23).
Lemma 2.
Proof:
See Appendix -B. ∎
Lemma 2 indicates that the total allocated time for the whole WFL procedure shall use up the maximum latency for saving the energy consumption of the devices. From Lemma 2, we get
(24) |
Lemma 3.
Proof:
See Appendix -C. ∎
Lemma 3 indicates that the synthetic data transmission time is determined by the device with the maximum
Lemma 4.
Proof:
It can be proved similar to Lemma 3, and is thus omitted here for brevity. ∎
Lemma 4 indicates that the BS shall use up the allocated global model downloading time for saving the energy consumption of the devices.
Lemma 5.
Proof:
It can be proved similar to Lemma 3, and is thus omitted here for brevity. ∎
Lemma 5 indicates that only the device with the minimum local model uploading rate uses up the allocated local model uploading time, while the other devices with higher local model uploading rate shall wait until the end of the local model uploading time even though they finish the local model uploading early.
Theorem 1.
Proof:
The optimal can be easily derived based on Lemmas 2-5. Thus the details are omitted here for brevity. ∎
Using Theorem 1, the problem (23) is simplified as
(30a) | ||||
(30b) | ||||
(30c) | ||||
It can be verified that the objective function in (30a) is a convex function of and all the constraints are convex or linear with respect to . Thus, the problem (30) is a convex optimization problem and can be optimally solved via CVX [28].
V Efficient Algorithm for Optimally Optimizing
In this section, the subproblem of optimizing with given (the right part of Fig. 2) is investigated. It can be shown that the constraints related to and the constraints related to are different. Therefore, the subproblem of optimizing can be decoupled into two problems, given by
(31) | ||||
and
(32) | ||||
Both the problems in (31) and (32) try to find feasible solutions, since the objective function in the original problem (22) does not depend on the optimization variables . However, in order to find feasible solutions which can lead to more favorable results such that the subproblem (23) has higher objective function value, the objective functions in the problems (31) and (32) are modified respectively as
(33) | ||||
and
(34) | ||||
It is shown that by selecting the objective function as expressed in (33), the constraint (18f) can be more relaxed in the subproblem (23), which can lead to higher objective function value. It is also shown that by selecting the objective function as expressed in (34), the constraint (18j) can be more relaxed in the subproblem (23), which can also lead to higher objective function value. In what follows, we first solve the problem (33), and then solve the problem (34).
V-A Proposed algorithm for optimally optimizing
By introducing an auxiliary variable , the problem (33) can be reformulated as
(35a) | ||||
(35b) | ||||
It is noted that the constraint (18f) is inactive as long as the problem is feasible, i.e., Next, we present an important property of the optimal solution to the problem (35).
Lemma 6.
Proof:
See Appendix -D ∎
From Lemma 6, the optimal given satisfies the following equalities
(36) |
Theorem 2.
The optimal for the problem (35) given can be sequentially determined from to according to
(37) |
Proof:
After obtaining the optimal , what remains is optimizing in the problem (35). From (37), it shows that is an increasing function of Therefore, if is larger than the optimal the constraint (18g) will be violated. Accordingly, the optimal for the problem (35) can be derived by a bisection search of , where is increased if the constraint (18g) with given is obeyed, and is decreased if the constraint (18g) with given is violated.
V-B Proposed algorithm for optimally optimizing
By integrating the constraints (18i), (18o) and (21), it follows that
(38) |
where
(39) |
Furthermore, it shows that the constraint (18j) is redundant given the objective function formulated in (34), as long as the problem (34) is feasible. Thus, the problem (34) is rewritten as
(40) | ||||
By defining , where , the problem (40) can be reformulated as
(41a) | ||||
(41b) | ||||
where is rewritten as
(42) |
By introducing an auxiliary variable , the problem (41) can be reformulated as
(43a) | ||||
(43b) | ||||
Due to the discrete constraint (18l), it is intractable to find the optimal solution to the problem (43a) by standard optimization methods. In what follows, we derive the optimal SIC decoding order by exploring the problem structure.
Theorem 3.
The optimal for the problem (43) is in the descending order of
Proof:
See Appendix -E. ∎
From Theorem 3, the optimal decoding order for the problem (43) can be obtained, and the problem (43) is simplified as
(44) | ||||
Since the above problem given is feasible only when is smaller than or equal to the optimal , the optimal can be obtained by a simple bisection search of , where in each search, the problem of optimizing given is investigated as
find | (45) | |||
Lemma 7.
Proof:
See Appendix -F. ∎
From Lemma 7, the feasible solution to the problem (45) satisfies the following equalities
(46) |
Theorem 4.
The feasible for the problem (45) can be recursively obtained from the last decoding device to the first decoding device according to
(47) |
Proof:
After has been obtained from (47), we can check whether the constraint (41b) is satisfied by the obtained . Specifically, the problem (45) with the given is infeasible if the constraint (41b) is not satisfied, and is feasible otherwise.
The proposed algorithm to optimally optimize is summarized in Algorithm 3. Since the optimal decoding order is derived in closed form and the convergence of the bisection search method does not depend on the number of devices [30], the complexity of Algorithm 3 is only linear in the number of devices, i.e.,
V-C Convergence and Complexity Analysis of the Overall Proposed Algorithm
The overall proposed algorithm for solving the problem (18) is summarized in Algorithm 4. In this subsection, we provide convergence and complexity analysis of the overall proposed algorithm.
The convergence of the proposed algorithm is affected by the BCD method used for iteratively solving the problem (22), i.e., the algorithm 1 for optimizing and the algorithms 2 and 3 for optimizing are iteratively performed until convergence. The following proposition presents the convergence analysis of the adopted BCD method.
Proposition 1.
Proof:
See Appendix -G. ∎
The above Proposition has shown the convergence of the proposed algorithm to a locally optimal solution. Then, we provide the complexity analysis. Note that the BCD method converges in finite number of iterations which is independent of the number of devices. Thus, based on the complexity analysis in Section IV, Section V-A and Section V-B, the total complexity of Algorithm 4 is , which is only polynomial in the number of devices.
VI Simulation Results
This section provides illustrative simulation results to demonstrate the effectiveness of the proposed NOMA+AIGC-enhanced WFL scheme. Unless otherwise noted, the simulation parameters are set as follows. The setting of the AIGC server is similar to [26], where eight RTX A5000 GPUs are equipped by the AIGC server and synthesizing one data sample requires approximately s, i.e., . The number of devices is , where the devices are randomly distributed around the BS within the distance range m. The wireless channels are assumed to follow Rayleigh fading, where the channel gains and are modeled as and , respectively. Specifically, the (or ) is the mean value of (or ) and is modeled as in dB [31], where is the distance in km. The (or is an exponentially distributed random variable with unit mean. The , , are assumed to be uniformly distributed within samples, samples, Mbits, cycles, and GHz, respectively. In addition, we set MHz, dBm/Hz, s, , [26], dBm, dBm, [32], Kbits, and Joule.
For the purpose of comparison, the following four schemes developed in existing literature or coined for benchmarking are considered:
- •
-
•
TDMA+AIGC: In this scheme, TDMA is used for both synthetic data downloading and local model uploading.
-
•
NOMA-w/o-AIGC: In this scheme, synthetic data are not transmitted to the devices, and the proposed NOMA scheme is used for the local model uploading.
-
•
FDMA-w/o-AIGC: In this scheme, synthetic data are not transmitted to the devices, and FDMA is used for local model uploading as in [26].
Fig. 3 illustrates the impact of the maximum transmit power of the BS on the learning performance. It shows that the learning performance of the proposed NOMA+AIGC scheme outperforms all the other schemes including FDMA+AIGC. This indicates that our proposed scheme is more effective in improving the WFL performance. Meanwhile, it shows that the learning performance with AIGC improves a lot compared to that without AIGC. This is because by downloading synthetic data from the server, more training data are available for local training to improve the training performance. It is also shown that TDMA+AIGC even underperforms the NOMA and the FDMA schemes without AIGC. This is due to the fact that the devices that are unscheduled for synthetic data downloading in TDMA shall wait and this significantly lowers the time resource utilization and makes the maximum latency constraint vulnerable.
As increases, Fig. 3 shows that the learning performance improves. The reason for this is that a higher can let the server transmit more synthetic data to the devices to improve the learning performance for the schemes with AIGC. Meanwhile, for the schemes without AIGC, a higher can let the BS broadcast the global model to the devices with less time, and thus it is easier to satisfy the maximum latency constraint and make the investigated problem feasible, since we set the learning error to one when the problem is infeasible. When is very large, it shows that the learning performance saturates. This is since the system will be restricted by the other factors such as the energy consumption constraint and the latency constraint, and no more synthetic data can be transmitted to the devices if is very high.
Fig. 4 illustrates the impact of the total amount of synthetic data on the learning performance. It shows that the learning performance of the schemes without AIGC remains unchanged as increases. This is since the schemes without AIGC do not use synthetic data for local training. It also shows that the schemes with AIGC achieve better learning performance as increases. This is because higher amount of synthetic data available at the server can let the server transmit more synthetic data to the devices. Whereas when is very large, a larger cannot improve the learning performance further. This is since the energy consumption constraint and the latency constraint may restrict the learning performance and the synthetic data received by the devices cannot be increased even if the server has more synthetic data available. Furthermore, it shows that the learning performance of the proposed NOMA+AIGC scheme is the best among all the schemes and the performance improvement is more obvious when is larger. This means that the proposed scheme is more effective in utilizing the synthetic data if more synthetic data are available at the server for improving the learning performance.
Fig. 5 illustrates the impact of the maximum latency constraint on the learning performance. It shows that all the schemes can achieve better learning performance as increases. This is because a larger value of can let the server transmit more synthetic data to the devices for better learning performance of the schemes with AIGC, while the maximum latency constraint is easier to be satisfied for improving the learning performance of the schemes without AIGC. It also shows that when is very large, the schemes with/without AIGC converge to the same learning performance. This is since a very large can let the server transmit as much data as possible under other constraints such as the energy consumption constraint, and the efficiencies of different multiple access schemes will have no impact on the learning performance. There is still a gap between the schemes with and without AIGC, since the schemes without AIGC are only easier to satisfy the problem constraints when is larger, and the learning performance will remain the same if the problem is feasible.
In addition, Fig. 5 shows that the performance improvement of the proposed scheme compared to FDMA+AIGC is more obvious when is smaller. This is due to the fact that the proposed scheme can utilize the time resource more efficiently than FDMA+AIGC. It also shows that the performance improvement of TDMA+AIGC with the increases of is more obvious than the other schemes. This is due to the fact that the time resource utilization efficiency of TDMA+AIGC is low and a larger can efficiently offset the impact of low time resource utilization efficiency on the learning performance.
Fig. 6 illustrates the impact of the model data size on the learning performance. It shows that the learning performance degrades as increases. This is because a larger requires more time for local model uploading and global model broadcasting, which leads to less time for synthetic data downloading and may also render the problem to be infeasible. It also shows that TDMA+AIGC quickly saturates to the worst learning performance. This is since TDMA+AIGC has the lowest time resource utilization efficiency, and a larger will make the required time for local model uploading and global model broadcasting much larger. Moreover, it shows that the proposed NOMA+AIGC scheme achieves the highest learning performance and the performance degradation due to the increase of is the least among all the schemes. This means that the proposed scheme can minimize the impact of the increased time needed for local model uploading and global model broadcasting to guarantee the learning performance.
Fig. 7 illustrates the impact of the energy budget on the learning performance. It shows that the learning performance improves with the increase of . This is because higher energy budget can let the device train with more local data for better learning performance, and can also let the device finish the local model uploading with less time consumption to satisfy the maximum latency constraint. It also shows that the learning performance saturates with the increase of when is very large. This is since when is very large, the other constraints such as the transmit power constraint and the maximum latency constraint restrict the amount of synthetic data that can be downloaded from the server and become the main bottleneck of the learning performance.
Furthermore, Fig. 7 shows that as increases, the learning performance of the schemes without AIGC saturates earlier than the schemes with AIGC except TDMA+AIGC. The reasons for this are explained as follows. A larger can let the devices upload the local model to the server more quickly or train the local model in time such that the constraints of the problem for the schemes without AIGC can be satisfied more easily. However, since the training data cannot be increased, the learning performance of the schemes without AIGC is capped. While for the schemes with AIGC, besides the benefit mentioned above, more synthetic data can be downloaded from the server for local training with a higher such that the learning performance can be further improved. It also shows that the learning performance improvement of the proposed NOMA+AIGC scheme compared to other schemes is obvious and does not change as varies.
Fig. 8 illustrates the impact of the number of devices on the learning performance. It shows that the learning performance degrades as increases. This is due to the fact that under the maximum latency constraint, more devices lead to a higher probability of violating this constraint, since the global model broadcasting rate decreases as increases and the required time increases. Besides, more devices also lead to less synthetic data available for each device, which will degrade the learning performance, since the objective function in (22a) is a convex function of the amount of the synthetic data. It also shows that the impact of on the learning performance of TDMA+AIGC is the severest. This is because less time resource can be allocated to each device for a larger by TDMA+AIGC, and thus the constraints of the problem are much harder to be satisfied. The proposed NOMA+AIGC scheme is shown to achieve the best learning performance, and such performance improvement is still impressive when is large.
VII Conclusions
In this paper, AIGC and NOMA are jointly adopted to enhance the WFL performance. The synthetic data distribution, two-way communication and computation resource allocation are jointly optimized to minimize the global learning error, under various system constraints. Specifically, an efficient low-complexity local optimal solution to the problem with partial closed-form results is proposed based on the BCD method and the analytical method. Extensive simulation results verify the superiority of the proposed NOMA+AIGC-enhanced scheme compared to the existing and benchmark schemes such as FDMA or TDMA+AIGC-enhanced schemes, under various system configurations. Our results have demonstrated the effectiveness of jointly combining NOMA and AIGC to enhance the WFL performance.
-A Proof of Lemma 1
Suppose that the optimal computing frequency allocation is where the constraint (18e) is satisfied with strict inequality by for a given i.e., Then, we consider another computing frequency allocation with and . It is clear that and with Since is only related with the constraints (18d), (18e), (18k), and (18q) in the problem (18), it can be easily verified that is a feasible solution to the problem (18) and achieves the same objective function value as the optimal solution . This means that the solution is also optimal. From (7) and (16), it follows that with is smaller than that with . This means that has lower energy consumption than . Thus, the optimal solution is more desirable than . This completes the proof.
-B Proof of Lemma 2
Suppose that the optimal time allocation solution is where Then, we construct another time allocation solution with except that . It is shown that the (18c) is satisfied with equality by and It can be shown that all the remaining constraints of the problem (23) are still satisfied by the solution and the objective function value achieved by is the same as the optimal solution Thus, is not only a feasible solution but also an optimal solution. From (21), it is shown that the energy consumption of each device achieved by the solution is lower than that achieved by the solution which means that the optimal solution is more desirable than the optimal solution This completes the proof.
-C Proof of Lemma 3
Suppose that the optimal time allocation solution is where for . This means that Then, we construct another solution with except that This means that , and It can be verified that satisfies all the constraints of the problem (23), and achieves the same objective function value as the optimal solution . Thus, is also an optimal solution. Since it can be shown from (21) that the solution achieves lower energy consumption compared to This means that the optimal solution is more desirable than the optimal solution This completes the proof.
-D Proof of Lemma 6
Suppose that the optimal solution to the problem (35) is where for a given , and for . Then, we can consider another solution with , except that is determined by . It is shown that and thus all the constraints of the problem (35) are satisfied by the solution . Therefore, the solution is a feasible solution to the problem (35) and consumes less power than the optimal solution, which indicates that the solution is more desirable than the optimal solution This completes the proof.
-E Proof of Theorem 3
We consider two devices and with adjacent decoding orders and . There are two possible decoding orders for the devices and , i.e., the device is decoded first or the device is decoded first. Let denote the interference caused by the devices and to the devices whose decoding orders are smaller than the devices and , and denote the interference caused by the devices whose decoding orders are larger than the devices and to the devices and . To guarantee the performance of other devices, the interference caused by the devices and is restricted as The problem of optimizing and is formulated as
(48a) | ||||
(48b) | ||||
(48c) | ||||
(48d) |
Suppose that the device is decoded first. Then, we have
(49) | ||||
(50) |
The optimal solution to the problem (48) can satisfy the constraint (48b) with strict equality, otherwise oder can be decreased to let the constraint (48b) be satisfied with equality to save energy consumption, or can be increased to achieve a higher objective function value. Thus, from we have
(51) | |||
(52) |
By inserting (51) and (52) into the constraints (48c) and (48d), we have
(53) | |||
(54) | |||
(55) |
The inequality (53) restricts the maximum that can be supported under the given interference constraint while inequalities (54) and (55) also restrict the maximum that can be supported under the given and Since the inequality (54) is tighter than the inequality (55). Thus, the inequality (55) is dumb, and the maximum can be derived from (53) and (54) accordingly.
Then, assume that the device is decoded first, and we get
(56) | ||||
(57) |
Similarly, the optimal and for the problem (48) when the device is decoded first shall let the constraint (48b) be satisfied with equality. Thus, from we get
(58) | |||
(59) |
By substituting (58) and (59) into the constraints (48c) and (48d), we get
(60) | |||
(61) | |||
(62) |
It is noted that the expressions (53) and (60) are the same. It is shown the constraint (61) is looser than the constraint (54), while the constraint (62) is also looser than the constraint (54) due to the fact that . Thus, the maximum allowable under the constraints (60), (61) and (62) when the device is decoded first is equal to or larger than that when the device is decoded first. Therefore, the optimal decoding order is decoding the device first.
In the above, we have proved that the optimal decoding order for the two devices and with adjacent decoding orders and is decoding the device first. For multiple devices, since any two adjacent devices shall satisfy this decoding criterion, we can conclude that the optimal decoding order is in the descending order of This completes the proof.
-F Proof of Lemma 7
Suppose that a feasible solution to the problem (35) satisfies for a given . Then, we can easily decrease the value of until such that all the constraints are still satisfied. Thus, the constraint (43b) can be satisfied with strict equality by the feasible solution to the problem (35). This completes the proof.
-G Proof of Proposition 1
Let denote the objective function in (22a). Then, in the -th iteration of the BCD method is given by
(63) |
The first inequality in (63) holds because we optimally solve the problem of optimizing with given , and optimally maximizes the objective function as compared to . The second inequality in (63) holds because we optimally solve the problem of optimizing with given and optimally maximizes the objective function as compared to Since is clearly lower-bounded, the BCD method used for iteratively solving the problem (22) converges to a local optimal solution. This completes the proof.
References
- [1] F. Javed, M. K. Afzal, M. Sharif, and B.-S. Kim, “Internet of things (IoT) operating systems support, networking technologies, applications, and challenges: A comparative review,” IEEE Commun. Surveys Tuts., vol. 20, no. 3, pp. 2062–2100, 2018.
- [2] L. U. Khan, W. Saad, Z. Han, E. Hossain, and C. S. Hong, “Federated learning for internet of things: Recent advances, taxonomy, and open challenges,” IEEE Commun. Surveys Tuts., vol. 23, no. 3, pp. 1759–1799, 2021.
- [3] S. Wang, Y.-C. Wu, M. Xia, R. Wang, and H. V. Poor, “Machine intelligence at the edge with learning centric power allocation,” IEEE Trans. Wireless Commun., vol. 19, no. 11, pp. 7293–7308, 2020.
- [4] A. Celik and A. M. Eltawil, “At the dawn of generative AI era: A tutorial-cum-survey on new frontiers in 6G wireless intelligence,” IEEE Open J. Commun. Soc., vol. 5, pp. 2433–2489, 2024.
- [5] A. Karapantelakis, P. Alizadeh, A. Alabassi, K. Dey, and A. Nikou, “Generative AI in mobile networks: A survey,” Ann. Telecommun., vol. 79, no. 1, pp. 15–33, 2024.
- [6] M. Xu et al., “Unleashing the power of edge-cloud generative AI in mobile networks: A survey of AIGC services,” IEEE Commun. Surveys Tuts., 2024.
- [7] M. Chen, Z. Yang, W. Saad, C. Yin, H. V. Poor, and S. Cui, “A joint learning and communications framework for federated learning over wireless networks,” IEEE Trans. Wireless Commun., vol. 20, no. 1, pp. 269–283, 2020.
- [8] Z. Yang, M. Chen, W. Saad, C. S. Hong, and M. Shikh-Bahaei, “Energy efficient federated learning over wireless communication networks,” IEEE Trans. Wireless Commun., vol. 20, no. 3, pp. 1935–1949, 2021.
- [9] P. S. Bouzinis, P. D. Diamantoulakis, and G. K. Karagiannidis, “Wireless quantized federated learning: a joint computation and communication design,” IEEE Trans. Commun., vol. 71, no. 5, pp. 2756–2770, 2023.
- [10] J. Zhang, S. Chen, X. Zhou, X. Wang, and Y.-B. Lin, “Joint scheduling of participants, local iterations, and radio resources for fair federated learning over mobile edge networks,” IEEE Trans. Mobile Comput., vol. 22, no. 07, pp. 3985–3999, 2023.
- [11] H. Zhao, M. Zhou, W. Xia, Y. Ni, G. Gui, and H. Zhu, “Economic and energy-efficient wireless federated learning based on stackelberg game,” IEEE Trans. Veh. Technol., vol. 73, no. 2, pp. 2995–2999, 2024.
- [12] D. Xu and H. Zhu, “Sum-rate maximization of wireless powered primary users for cooperative CRNs: NOMA or TDMA at cognitive users?” IEEE Trans. Commun., vol. 69, no. 7, pp. 4862–4876, 2021.
- [13] Y. Liu et al., “Evolution of NOMA toward next generation multiple access (NGMA) for 6G,” IEEE J. Sel. Areas Commun., vol. 40, no. 4, pp. 1037–1071, 2022.
- [14] D. Xu, “Device scheduling and computation offloading in mobile edge computing networks: A novel NOMA scheme,” IEEE Trans. Veh. Technol., early access, Jan. 10, 2024, doi: 10.1109/TVT.2024.3352262.
- [15] Y. Wu, Y. Song, T. Wang, L. Qian, and T. Q. Quek, “Non-orthogonal multiple access assisted federated learning via wireless power transfer: A cost-efficient approach,” IEEE Trans. Commun., vol. 70, no. 4, pp. 2853–2869, 2022.
- [16] M. S. Al-Abiad, M. Z. Hassan, and M. J. Hossain, “Energy-efficient resource allocation for federated learning in NOMA-enabled and relay-assisted Internet of Things networks,” IEEE Internet Things J., vol. 9, no. 24, pp. 24 736–24 753, 2022.
- [17] W. Li, T. Lv, Y. Cao, W. Ni, and M. Peng, “Multi-carrier NOMA-empowered wireless federated learning with optimal power and bandwidth allocation,” IEEE Trans. Wireless Commun., vol. 22, no. 12, pp. 9762–9777, 2023.
- [18] B. Wu, F. Fang, and X. Wang, “Joint age-based client selection and resource allocation for communication-efficient federated learning over NOMA networks,” IEEE Trans. Commun., vol. 72, no. 1, pp. 179–192, 2024.
- [19] G. Liu et al., “Semantic communications for artificial intelligence generated content (AIGC) toward effective content creation,” IEEE Netw., early access, Jan. 11, 2024, doi: 10.1109/MNET.2024.3352917.
- [20] R. Cheng, Y. Sun, D. Niyato, L. Zhang, L. Zhang, and M. A. Imran, “A wireless AI-generated content (AIGC) provisioning framework empowered by semantic communication,” arXiv preprint arXiv:2310.17705, 2023.
- [21] T. Wu et al., “CDDM: Channel denoising diffusion models for wireless semantic communications,” IEEE Trans. Wireless Commun., early access, Mar. 28, 2024, doi: 10.1109/TWC.2024.3379244.
- [22] Y. Liu et al., “Blockchain-empowered lifecycle management for AI-generated content products in edge networks,” IEEE Wireless Commun., early access, Feb. 05, 2024, doi: 10.1109/MWC.003.2300053.
- [23] H. Du et al., “Exploring collaborative distributed diffusion-based AI-generated content (AIGC) in wireless networks,” IEEE Netw., early access, Jul. 03, 2024, doi: 10.1109/MNET.006.2300223.
- [24] ——, “Diffusion-based reinforcement learning for edge-enabled AI-generated content services,” IEEE Trans. Mobile Comput., early access, Jan. 19, 2024, doi: 10.1109/TMC.2024.3356178.
- [25] X. Huang et al., “Federated learning-empowered AI-generated content in wireless networks,” IEEE Netw., early access, Jan. 12, 2024, doi: 10.1109/MNET.2024.3353377.
- [26] P. Li et al., “Filling the missing: Exploring generative AI for enhanced federated learning over heterogeneous mobile edge devices,” IEEE Trans. Mobile Comput., early access, Feb. 29, 2024, doi: 10.1109/TMC.2024.3371772.
- [27] D. Xu, “Latency minimization for TDMA-based wireless federated learning networks,” IEEE Trans. Veh. Technol., early access, Apr. 16, 2024, doi: 10.1109/TVT.2024.3389972.
- [28] M. Grant and S. Boyd, “CVX: Matlab software for disciplined convex programming, version 2.1,” http://cvxr.com/cvx, Mar. 2014.
- [29] Z. Yang, M. Chen, W. Saad, W. Xu, and M. Shikh-Bahaei, “Sum-rate maximization of uplink rate splitting multiple access (RSMA) communication,” IEEE Trans. Mobile Comput., vol. 21, no. 07, pp. 2596–2609, 2022.
- [30] S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, U.K.: Cambridge Univ. Press, 2004.
- [31] “Further advancements for E-UTRA physical layer aspects (release 9),” 3GPP, TS 36.814 (V9.0.0), Mar. 2010.
- [32] P. S. Bouzinis, P. D. Diamantoulakis, and G. K. Karagiannidis, “Wireless federated learning (WFL) for 6G networks–part I: Research challenges and future trends,” IEEE Commun. Lett., vol. 26, no. 1, pp. 3–7, 2022.