This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Stochastic Resource Allocation for Semantic Communication-aided Virtual Transportation Networks in the Metaverse

Wei Chong Ng1,2 Hongyang Du3,4 Wei Yang Bryan Lim2 Zehui Xiong5 Dusit Niyato4 and Chunyan Miao4,6
1Alibaba Group 2Alibaba-NTU Joint Research Institute  3Energy Research Institute @ NTU
4School of Computer Science and Engineering
Nanyang Technological University Singapore
5Singapore University of Technology and Design
Abstract

The physical-virtual world synchronization to develop the Metaverse will require a massive transmission and exchange of data. In this paper, we introduce semantic communication for the development of virtual transportation networks in the Metaverse. Leveraging the perception capabilities of edge devices, virtual service providers (VSPs) can subscribe to their preferred edge devices to receive the semantic data of interest. However, the demands of the VSPs are highly dependent on the users that they are serving. To address the resource allocation problem amid stochastic user demand, we propose a stochastic semantic transmission scheme (SSTS) based on two-stage stochastic integer programming. Using real data captured by edge devices we deploy in Singapore, the simulation results show that SSTS can minimize the transmission cost of the VSPs while accounting for the users’ demand uncertainties.

Index Terms:
Metaverse, Semantic Communication, Resource Allocation, Stochastic Integer Programming

I Introduction

The concept of the Metaverse first appeared in 1992 [1]. However, it was in recent years that it received much attention from academia and industry due to the growing feasibility of realizing the Metaverse as a result of technological advancements, e.g., mixed/augmented/extended/virtual reality (MR/AR/ER/VR), 6G network and edge computing. For example, Meta spent $10\$10 billion to start building the Metaverse in 2021. With the recently developed Horizon Worlds VR social platform, users can trade virtual items and be encouraged to create their own contents [2].

The Metaverse can be seen as an integration of multiple virtual worlds accessible using technologies such as VR/AR and developed using artificial intelligence (AI) [3]. Besides, a defining characteristic of the Metaverse is the closely-linked physical and virtual domains. On one hand, virtual worlds within the Metaverse can be constructed using transmitted/perceived data from edge devices such as the Internet of Things (IoT). On the other hand, the physical domain is influenced by actions taken in the virtual world, e.g., through IoT actuation.

To realize the Metaverse, it is therefore crucial that future communication systems are capable of supporting the transmission and exchange of tremendous amounts of data. However, the technical requirements for constructing high-resolution virtual worlds that accurately reflect the physical environment in a timely manner are more stringent than what current fifth-generation (5G) networks may support [4]. In response, semantic communication systems may be instrumental for the development of the Metaverse. Unlike existing communication technologies, the transmission in semantic communication is considered effective as long as the received information retains the same meaning as the transmitted information. For example, when a user requires an image, semantic communication systems utilize semantic extraction to reduce the transmitted data such that only the region in which the user is interested in is transmitted.

In this paper, we propose a case study of developing a virtual transportation network in the Metaverse using real data [5]. We refer to a VSP as an entity that provides a virtual service in the Metaverse. Using data from the physical domain such as weather conditions or images of geographical landmarks and vehicles, the VSP is able to provide immersive experiences to users, e.g., for realistic test driving of vehicles or the safe training of autonomous vehicles subjected to practical constraints. The captured data from physical domains may usually be traded in data markets or retrieved through crowdsensing [6]. Specifically, edge devices may sell data captured from geographical regions in which they are deployed.

Subscription plans are required so that the edge devices are paid for when the VSPs use semantic data transmission. Following the data pricing model of [7], there are two types of subscription plans in general: reservation and on-demand. The reservation plan allows the VSPs to purchase the number of transmissions in bundles while the on-demand plan charges the VSP per transmission. The on-demand plan is a one-time, short-term plan, so it is more expensive than the reservation plan. However, with the uncertainty in demands, it is difficult for VSPs to choose the optimal subscription strategy. For example, the detection system may not be able to detect pedestrians very well under extreme weather conditions such as thunderstorms. Hence, the on-demand plan may be triggered to obtain more data to update the machine learning model. Moreover, the VSPs may have different interests in the types of semantic data (images) required. For example, an autonomous vehicle VSP may require more semantic data from edge devices deployed around a particular region. To minimize the operation cost of the VSP while addressing the demand uncertainty of the users, we propose a two-stage stochastic integer programming (SIP) scheme for semantic data subscription provisioning. The contributions of this paper are summarized as follows.

  • We, for the first time, introduce the integration of semantic communication and stochastic integer programming to devise fully dynamic transmission solutions for emerging AI-enabled Metaverse applications in the virtual transportation network.

  • Our proposed stochastic semantic transmission scheme (SSTS) minimizes transmission/storage costs and energy costs within the network given the uncertainty of users’ demands. The scheme is capable of handling the unknown by incorporating recourse actions to remedy the under-subscription incident.

  • Using the real data, we demonstrate that SSTS achieves superior performances compared with other baselines such as Expected-Value Formulation (EVF) and random allocation schemes.

The remainder of the paper is organized as follows: In Section II, we present the network model. In Section III, we formulate the problem. We discuss and analyze the simulation result in Section IV. Section V concludes the paper.

Refer to caption
Figure 1: An illustrative example of the system model with one VSP from a bus company and four edge devices and they are placed at the traffic junction. The VSP is from an autonomous company and has an interest

II System Model

We consider the system model from the perspective of VSPs participating in the Metaverse. Let 𝒲={1,,w,,W}\mathcal{W}=\{1,\ldots,w,\ldots,W\} denote the set of VSPs and ={1,,e,,E}\mathcal{E}~{}=\{1,\ldots,e,\ldots,E\} denote the set of edge devices with sensing capabilities in the physical world. Each edge device has a different field of view pointed to different locations. Figure  1 shows an illustrative example of the system model with a VSP that operates a bus company. The VSP uses the Metaverse as a platform to provide on-the-job training to bus drivers (users). The four edge devices are situated at the traffic junction to capture images (semantic data) that are related to vehicles as most of the time, traffic accident happens at the junction [8]. The edge devices such as smartphones can transmit semantic data to the respective Metaverse VSPs through a base station (BS). Using the received data, VSPs can provide a more realistic Metaverse application to the users.

II-A The Edge Data Pricing Model

Before the data are transmitted to the VSPs, the VSPs have to subscribe to the resources in advance to secure them as separate entities (edge devices) own these resources. There are two types of subscription plans, i.e., reservation and on-demand plans. The reservation plan is treated as the long-term plan, which allows the VSPs to maintain a long-term collaboration with the edge devices. In contrast, the on-demand plan is a short-term plan. It is used only when the edge device’s service is needed temporarily, e.g., when the reservation plan is insufficient to meet the semantic data demand.

To enjoy the reservation plan, the VSPs have to pay a membership fee (monthly) to the owner of the edge devices. This entitles the VSP to a lower costing bundle. Note that each bundle supports nn transmissions for the VSP, i.e., one transmission includes that the edge device performs sensor data collection, semantic extraction, and wired or wireless transfer. Let Ce(r,memb)C_{e}^{(r,memb)} denote the membership cost of each edge device and Ce(r,trans)C_{e}^{(r,trans)} represent the reservation cost for each bundle charged by edge device ee. However, each VSP that is providing services in the Metaverse has a different demand from its users, and the demand is not known when the reservation of the edge devices is made. Consider the situation that, autonomous vehicles (AVs) are expensive and unsafe to train on the physical road involving other vehicles and pedestrians. Instead, the virtual world can be a good medium to train AVs in realistic scenarios. For example, the company Oxbotica uses the Metaverse to improve its AVs’ object detection algorithms [9]. As an illustration, the VSPs serving the users may request 100 semantic road data to train the AV further. However, if the weather changes rapidly, the VSP will require more semantic data that corresponds to the unforeseen weather scenario, e.g., 400 transmissions instead. Therefore, in this case, an on-demand plan is needed to accommodate the shortfall. The cost of each on-demand transmission is denoted as Ce(o,trans)C_{e}^{(o,trans)}.

II-B Uncertainty in Demands

With the uncertainty mentioned above, the demand for VSPs is not always fixed. Let λi\lambda_{i} denote the demand scenario ii of all the VSPs. The set of scenarios is denoted by Ω\Omega, i.e., λiΩ\lambda_{i}\in\Omega. Let P(λi)P(\lambda_{i}) denote the probability that scenario λiΩ\lambda_{i}\in\Omega is realized, where P(λi)P(\lambda_{i}) can be obtained from the historical records [7]. The uncertainty of demands is expressed as follows:

λi=[(F1,F¯1,F~1),,(FW,F¯W,F~W)]\lambda_{i}=\begin{bmatrix}(F_{1},\bar{F}_{1},\tilde{F}_{1}),\ldots,(F_{W},\bar{F}_{W},\tilde{F}_{W})\end{bmatrix},

where FWF_{W} represents the interest of VSP WW, F¯W\bar{F}_{W} represents the number of semantic data transmissions that VSP WW requires, and F~W{0,1}\tilde{F}_{W}~{}\in~{}\{0,1\} represents the threshold of VSP WW. For example, λi={(FW:traffic conditions,F¯W:100,F~W:0.8)}\lambda_{i}=~{}\{(F_{W}~{}:~{}\text{traffic conditions},~{}\bar{F}_{W}~{}:~{}100~{},~{}\tilde{F}_{W}~{}:~{}0.8)\} means that VSP WW has an interest in traffic condition data. Also, out of the 100 semantic data required, it is acceptable when the edge device can only provide 80 semantic data relevant to the VSPs’ interest, as the VSPs can achieve their objective by using 80 semantic data.

II-C Transmission Model

We assume that each edge device is allocated with an orthogonal spectrum resource block to avoid the co-interference among the edge devices [10]. Let rer_{e} denote the uplink data transmission rate from edge device ee to the BS under its coverage. Then, the transmission time taken tet_{e} is defined as follows [11]:

te=qere,\displaystyle t_{e}=\frac{q_{e}}{r_{e}}, (1)

where qeq_{e} is the size of the transmitted data. Let ww denote the transmit power used by edge device ee in the uplink transmission, and the energy consumption of the transmission is represented as follows [11]:

xe=wte.\displaystyle x_{e}=wt_{e}. (2)

Therefore, using the energy consumption model, Ce(r,trans)=n^wq¯reα1C_{e}^{(r,trans)}~{}=~{}\frac{\hat{n}w\bar{q}}{r_{e}}\alpha_{1} and Ce(o,trans)=wq¯reα2C_{e}^{(o,trans)}=\frac{w\bar{q}}{r_{e}}\alpha_{2}. For simplicity, the average transmitted data size q¯\bar{q} is used, and it is obtained from past historical records. n^\hat{n} is the number of semantic data transmissions. α1\alpha_{1} and α2\alpha_{2} are the cost coefficient associated with energy consumption, where α2>α1\alpha_{2}>\alpha_{1} since the on-demand plan is typically more expensive than the reservation plan.

II-D Category Generation and Similarity Matching

Using the plans, the VSPs can obtain semantic data captured by the edge devices. However, it is difficult to identify which edge device produces images that are important or relevant to the interests of the VSPs. This paper adopts a pre-trained machine learning model, you only look once (YOLO) from [12]. With the help of YOLO, objects (semantic data) and their corresponding categories can be extracted from the respective images. YOLO provides real-time detection with relatively high accuracy. When the category is within the interest of the VSPs, the semantic data, which is the snapshot of the object, can be transmitted.

Once the categories are generated from the images, the VSPs cannot identify which edge device to subscribe to as the VSPs do not know which semantic data is relevant to their interest. It is not practical for the VSPs to search manually through the categories. Therefore, we propose to use category similarity for the VSPs to subscribe to the edge device that produces the best semantic data that meets the interest of the VSPs. However, in different contexts, the same word might have multiple definitions. For example, “wind” can mean the current of air or the action turn. The traditional method, such as word2vec cannot recognise polysemy. The issue arises when the same word cannot be represented by the same numerical vector in different contexts. One of the solutions is to use BERT [13]. BERT is a powerful pre-trained machine learning model that has been trained by billions of sentences for extracting semantic information. It is used to convert multiple categories and convert them into vectors according to different contexts. In this paper, we use cosine similarity [13] to measure the similarity between the two sentences. Specifically,

match(A,B)=ABAB,\displaystyle\text{match({A},{B})}=\frac{\textbf{A}\cdot\textbf{B}}{\|\textbf{A}\|\|\textbf{B}\|}, (3)

where A is the vectorized of FwF_{w} and B is the vectorized output generated from BERT. The category similarity defined in( 3) is a number between 0 and 1, which indicates how similar A is to B, with 1 representing the highest similarity and 0 representing no similarity. The average similarity of VSP ww’s demands and edge device ee’s data types is represented by Sw,eS_{w,e} and can be calculated from Sw,e=i=1ymatch(A,Bi)yS_{w,e}=\frac{\sum_{i=1}^{y}\text{match}(\textbf{A},\textbf{B}_{i})}{y}, where yy is the total number of images in edge device ee. As a result, the VSPs can subscribe to receive the semantic data from the edge device that has the highest similarity score.

Refer to caption
Figure 2: Locations of the smartphones in Singapore and an illustrative example of a virtual transportation case study.

II-E Virtual Transportation Case Study

A virtual transportation network is used as a case study to illustrate the system model. In this example, there are two VSPs, VSP 1 and VSP 2. VSP 1 is a company to provide the service of the AV, while VSP 2 is a bus company. AVs are dangerous to travel on the road when the machine learning model is not fully trained. However, the vehicles are unable to train when they are not allowed to travel on the road. Therefore, one solution for VSP 1 is to set up a simulated environment in the Metaverse, which digitises the physical road using real data as input. VSP 1 can then test the AVs’ detection systems in the Metaverse and update the machine learning model depending on users’ demands in the physical world.

Similarly, it is also dangerous for a pedestrian when VSP 2 conducts their on-the-job training for new bus drivers as the new drivers are unfamiliar with the traffic conditions or inexperienced. Therefore, virtual on-the-job training can be conducted in the Metaverse. VSP 2 can replicate the transportation networks in the physical world into the Metaverse. However, in order to support the Metaverse, VSPs 1 and 2 require a tremendous amount of data from the edge devices in the physical world to support their Metaverse. For example, VSP 1 may have the interest of F1=F_{1}= vehicles on the road. Different vehicle images can be used to constantly update the database to improve the Metaverse for autonomous vehicles. Meanwhile, VSP 2 may have the interest of F2=F_{2}= images related to the buses and traffic lights so that VSP 2 can monitor the physical driving condition of the bus driver and improve their virtual on-the-job training procedure.

In order to provide a more realistic or practical scenario, we deploy three different smartphones to act as edge devices at three different locations in Singapore. The locations are shown in Fig 2. The VSPs do not know whether the images captured by smartphones are related to their interest. Therefore, before the VSPs subscribe to which smartphone to use, each smartphone owner provides n¯\bar{n} data for the VSPs to study the historical records. From the historical captured images, the VSPs can extract the category and also the corresponding snapshots (semantic data). An average similarity score can be obtained from the historical category generated by the respective smartphones used to compare with the interest of the VSPs. Figure 2 is used to illustrate the case study. The average similarity score helps the VSPs choose the optimal smartphone to subscribe, for example, using the average similarity score obtained in Fig 2. When the threshold is 100% F~w=1\tilde{F}_{w}=1, n=120n=120 and the number of semantic data transmissions required is F¯w=100\bar{F}_{w}=100, it is definitely cheaper for the VSP 1 to subscribe smartphone 3. As out of the data transmitted, 83% of the data is related to the interest of VSP 1. Smartphone 3 can meet the demand of VSP 1 by using only 1 bundle, 1×n×83%F¯w×F~w1\times n\times 83\%\geq\bar{F}_{w}\times\tilde{F}_{w}. The snapshots of the objects (semantic data) are transmitted to the respective VSPs once the smartphone is subscribed. However, each VSP experiences different user demands, making it difficult for VSPs to subscribe for the optimal plan. Therefore, this paper uses a stochastic allocation scheme to optimize the resources by considering the demand uncertainties.

III Problem Formulation

This section introduces Deterministic Integer Programming (DIP) and Stochastic Integer Programming (SIP) to optimize the resources used by minimizing the total cost of the VSPs.

III-A Deterministic Integer Programming

The VSPs can subscribe to the optimal edge devices and purchase the optimal number of bundles for semantic data transmission by using the reservation plan when the demand is precisely known. Therefore, the on-demand plan is not required. In total, there are two decision variables.

  • mw,e(r){0,1}m_{w,e}^{(\mathrm{r})}\in\{0,1\} indicates whether VSP ww pays the membership cost to the owner of the edge device ee.

  • m¯w,e(r){0,1,}\bar{m}_{w,e}^{(\mathrm{r})}\in\{0,1,\ldots\} indicates the number of bundles purchased by the VSP ww.

A DIP can be formulated to minimize the total cost of the VSPs as follows:

minmw,e(r),m¯w,e(r)\displaystyle\min_{m_{w,e}^{(\mathrm{r})},\bar{m}_{w,e}^{(\mathrm{r})}}:

w𝒲e(mw,e(r)Ce(r,memb)+m¯w,e(r)Ce(r,trans)),\displaystyle\sum_{w\in\mathcal{W}}\sum_{e\in\mathcal{E}}\biggl{(}m_{w,e}^{(\mathrm{r})}C_{e}^{(r,memb)}+\bar{m}_{w,e}^{(\mathrm{r})}C_{e}^{(r,trans)}\biggr{)}, (4)

subject to:

m¯w,e(r)mw,e(r)X,\displaystyle\bar{m}_{w,e}^{(\mathrm{r})}\leq m_{w,e}^{(\mathrm{r})}X, w𝒲,e,\displaystyle\forall w\in\mathcal{W},\forall e\in\mathcal{E}, (5)
em¯w,e(r)nDw,eD¯wD~w,\displaystyle\sum_{e\in\mathcal{E}}\bar{m}_{w,e}^{(\mathrm{r})}nD_{w,e}\geq\bar{D}_{w}\tilde{D}_{w}, w𝒲,\displaystyle\forall w\in\mathcal{W}, (6)
mw,e(r){0,1},\displaystyle m_{w,e}^{(\mathrm{r})}\in\{0,1\}, w𝒲,e,\displaystyle\forall w\in\mathcal{W},\forall e\in\mathcal{E}, (7)
m¯w,e(r)-,\displaystyle\bar{m}_{w,e}^{(\mathrm{r})}\in\mathbb{Z}\text{-}*, w𝒲,e.\displaystyle\forall w\in\mathcal{W},\forall e\in\mathcal{E}. (8)

The objective function in (4) is to minimize the total cost due to subscription reservations. Dw,eD_{w,e} is the actual average similarity score between the interest of the VSP ww and the edge device ee. D¯w\bar{D}_{w} is the actual image demand of VSP ww and D~w\tilde{D}_{w} is the actual acceptable threshold of VSP ww. The constraint in (5) ensures that the VSP has to pay the membership fee to the edge device owner before the VSP can purchase any bundle from the respective edge device. (6) ensures that the demand is met. For example, when the number of edge devices is 1, e=1e=1, n=200,Dw,1=0.8n=200,D_{w,1}=0.8, D¯w=200\bar{D}_{w}=200, and D~w=1\tilde{D}_{w}=1. It means that only 80%80\% of the data that are captured by the edge device 11 is relevant to the interest of VSP ww. VSP ww faces a shortfall of 20%20\%, and the acceptable threshold of ww is 100%. As a result, instead of 1 bundle, VSP ww has to purchase two bundles mw,1(r)=2m_{w,1}^{(\mathrm{r})}=2 to meet the demand of 200 semantic data transmissions. (7) indicates that mw,e(r)m_{w,e}^{(\mathrm{r})} is a binary variable. (8) indicates that m¯w,e(r)\bar{m}_{w,e}^{(\mathrm{r})} is a non-negative integer.

III-B Stochastic Integer Programming

If the demands of the VSPs are not known, the DIP formulated in (4) - (8) is no longer applicable. Therefore, SIP with a two-stage recourse is developed. This section introduces the SIP to minimize the total cost of the network by optimizing the number of edge devices to subscribe to and the number of semantic data transmissions to subscribe. The first stage consists of all decisions that must be selected before the demands are realized and observed. The VSPs have to subscribe to the edge device and purchase the corresponding bundle before observing the demands. In the second stage, decisions are allowed to adapt to the demand observed. After the demand is observed, the VSPs have to pay for the additional images needed if the number of images reserved in the first stage is lesser than the demand.

TABLE I: Experiment parameters
Parameter Values
α1\alpha_{1} 5
α2\alpha_{2} 15
Membership cost [14], Cer,membC_{e}^{r,memb} $1.89\$1.89
Uplink data transmission rate [11], rer_{e} [1.5,3.5][1.5,3.5] MB/s
Uplink transmission power [11], ww [70,130][70,130]mW
TABLE II: Energy consumption comparison
Semantic Data Transmission Non-semantic Data Transmission
0.896J 111J

Besides the two decision variables listed in Section III-A, there is one more decision variable in the SIP formulation. mw,e(o)(λi){0,1,}m_{w,e}^{(\mathrm{o})}(\lambda_{i})\in\{0,1,\ldots\} indicates the number of semantic data transmissions that VSP ww is requested on-demand from the edge device ee in scenario λi\lambda_{i}.

The objective function given in (III-B) and (10) is to minimize the cost of resource allocation. The expressions in (III-B) and (10) represent the first- and second-stage SIP, respectively. The SIP formulation can be expressed as follows:

minmw,e(r),m¯w,e(r),mw,e(o)(λi)\displaystyle\min_{m_{w,e}^{(\mathrm{r})},\bar{m}_{w,e}^{(\mathrm{r})},m_{w,e}^{(\mathrm{o})}(\lambda_{i})}:

w𝒲e(mw,e(r)Ce(r,memb)+m¯w,e(r)Ce(r,trans))+\displaystyle\sum_{w\in\mathcal{W}}\sum_{e\in\mathcal{E}}\biggl{(}m_{w,e}^{(\mathrm{r})}C_{e}^{(r,memb)}+\bar{m}_{w,e}^{(\mathrm{r})}C_{e}^{(r,trans)}\biggr{)}+
𝔼[𝒬(mw,e(o)(λi)],\displaystyle\mathbb{E}\biggl{[}\mathcal{Q}(m_{w,e}^{(\mathrm{o})}(\lambda_{i})\biggr{]}, (9)

where

𝒬(mw,e(o)(λi))=λiΩP(λi)w𝒲emw,e(o)(λi)Ce(o,trans),\displaystyle\mathcal{Q}(m_{w,e}^{(\mathrm{o})}(\lambda_{i}))=\sum_{\lambda_{i}\in\Omega}P(\lambda_{i})\sum_{w\in\mathcal{W}}\sum_{e\in\mathcal{E}}m_{w,e}^{(\mathrm{o})}(\lambda_{i})C_{e}^{(o,trans)}, (10)

subject to: (5), (7)-(8)

em¯w,e(r)nSw,e(λi)+emw,e(o)(λi)F¯w(λi)F~w(λi),\displaystyle\sum_{e\in\mathcal{E}}\bar{m}_{w,e}^{(\mathrm{r})}nS_{w,e}(\lambda_{i})+\sum_{e\in\mathcal{E}}m_{w,e}^{(\mathrm{o})}(\lambda_{i})\geq\bar{F}_{w}(\lambda_{i})\tilde{F}_{w}(\lambda_{i}),
w𝒲,λiΩ,\displaystyle\forall w\in\mathcal{W},\forall\lambda_{i}\in\Omega, (11)
mw,e(o)(λi)-,w𝒲,e,λiΩ.\displaystyle m_{w,e}^{(\mathrm{o})}(\lambda_{i})\in\mathbb{Z}\text{-}*,\hskip 31.29802pt\forall w\in\mathcal{W},\forall e\in\mathcal{E},\forall\lambda_{i}\in\Omega. (12)

(11) is similar to (6), it is to ensure the demand is met. (12) indicates that mw,e(o)(λi)m_{w,e}^{(\mathrm{o})}(\lambda_{i}) is non-negative integer.

Refer to caption
Figure 3: The optimal solution in a simple SIP network.
Refer to caption
Figure 4: The cost of the network when the probability of the scenarios are varied.
Refer to caption
Figure 5: SIP comparing with EVF and random schemes.

IV Performance Evaluation

For the simulations, SSTS initializes two VSPs and deploy three smartphones e1e_{1}, e2e_{2}, and e3e_{3}, around Singapore. The smartphones (model: iPhone 13 Pro Max) are represented by the yellow, blue and red markers respectively in Fig 2. We consider the daily rental cost is the membership cost of each smartphone, where Cer,memb=$1.89C_{e}^{r,memb}=\$1.89 [14]. Cer,transC_{e}^{r,trans} and Ceo,transC_{e}^{o,trans} are additional cost for the transmission of semantic data. The simulation parameters are summarized in Table I.

To solve the SIP, we consider that the probability distribution of all scenarios in set Ω\Omega is known [15]. For the presented experiments, we implement the SIP model using GAMS script [16].

IV-1 Energy efficiency

We first compare the energy consumption with and without semantic communication. An image’s average transmitted data size is 5.25.2Mb, while the average transmitted semantic data is 4141Kb. The reason is that the transmitted semantic data is precisely the region that the VSP is interested in (demand). Using SSTS, we further perform the resource allocation and record the energy consumed with and without semantic communication. The result is shown in Table II. One instance of semantic data only requires 0.896J of energy in the transmission, whereas non-semantic data requires 111J of energy. Semantic extraction (using YOLO) also requires very little energy to compute [17]. Therefore, with the help of semantic data, edge devices can reduce their power consumption during transmission as well as storage costs, which means that they will charge the VSPs less as the transmission cost depends on the transmission energy. In addition, it improves the sustainability of developments in the Metaverse.

IV-2 Cost structure

We then study the cost structure of the network. As an illustration, a primitive network is considered with w1w_{1}, e1e_{1}, and one demand scenario |Ω|=1|\Omega|=1. VSP has a demand to require a certain amount of semantic data from the smartphone. We observe the cost structure of the network by varying the number of bundles reserved in the first stage m¯w,e(r)\bar{m}^{(r)}_{w,e}. In Fig. 5, the costs in the first stage and second stage, and the total cost under the different number of the bundles reserved m¯w,e(r)\bar{m}^{(r)}_{w,e} are presented. We can observe that the first stage cost (reservation cost) increases as the number of bundles reserved increases. With more bundles reserved in the first stage, the cost in stage 2 is reduced as the need for on-demand transmissions is less likely. It can be identified that even in this simple network, the optimal solution is not trivial to obtain due to the uncertainty of demands. For example, the optimal cost is not the point where the costs in the first and second stages intersect. Therefore, the SIP formulation is required to guarantee the minimum cost to the network.

IV-3 Probability of demand scenario (has interest or no interest)

Next, we consider two demand scenarios |Ω|=2|\Omega|=2. In the first scenario λ1\lambda_{1}, both VSPs 1 and 2 have no demand. In the second scenario λ2\lambda_{2}, both VSPs 1 and 2 have demands. VSP 1 requires 200200 semantic data transmissions while VSP 2 requires 300300 semantic data transmissions. We analyze the first stage (reservation), the second stage (on-demand), and the total cost by varying both the demand probabilities P(λ1)P(\lambda_{1}) and P(λ2)P(\lambda_{2}). Since P(λ1)+P(λ2)=1P(\lambda_{1})+P(\lambda_{2})=1, P(λ2)=1P(\lambda_{2})=1 when P(λ1)=0P(\lambda_{1})=0. Figure 5 depicts the network cost. When P(λ1)=0P(\lambda_{1})=0, both VSPs 1 and 2 subscribe to the reservation plan and pay the corresponding subscription fee as they will always have demands, and it is definitely cheaper to use the reservation plan than the on-demand plan. When P(λ1)P(\lambda_{1}) increases to 0.2, VSP 1 changes its decision and uses the on-demand plan instead of the reservation one. VSP 2 continues to subscribe using the reservation plan. This is due to the fact that P(λ2)P(\lambda_{2}) decreases as P(λ1)P(\lambda_{1}) increases, and when there is a demand, VSP 1 only requires 200 semantic data transmissions. It is less than VSP 2, which requires 300 semantic data transmissions. Moreover, there is an additional membership fee in the reservation plan. Therefore, It is cheaper for VSP 1 to subscribe to the on-demand plan only when demand occurs. When P(λ1)0.4P(\lambda_{1})\geq 0.4, the on-demand plan is cheaper than the reservation plan for both VSPs 1 and 2, and the total cost reduces as P(λ1)P(\lambda_{1}) increases. Eventually, the total cost is zero when P(λ1)=1P(\lambda_{1})=1 as both VSPs have no demand.

TABLE III: Varying the demand interest of VSP 1
Variables P(λ1)P(\lambda_{1})
0 0.2 0.4 0.6 0.8 1
m¯1,1(r)\bar{m}^{(r)}_{1,1} 11 12 12 12 12 0
m¯1,3(r)\bar{m}^{(r)}_{1,3} 0 0 0 0 0 10
m¯1,3(o)(λ1)\bar{m}^{(o)}_{1,3}(\lambda_{1}) 2 0 0 0 0 0

IV-4 Probability of demand scenario (different interest)

Different from the setup in Section IV-3, we study the VSP’s decision when its interest varies. For ease of exposition, we only consider a single VSP under two demand scenarios |Ω|=2|\Omega|=2. In the first scenario λ1\lambda_{1}, VSP 1 has an interest in vehicles on road. In the second scenario λ2\lambda_{2}, VSP 1 has an interest in buses and traffic lights. The average similarity scores for smartphones 1, 2, and 3 in scenario 1 are 0.720.72, 0.6970.697, and 0.830.83, respectively. The average similarity scores for smartphones 1, 2, and 3 in scenario 2 are 0.7930.793, 0.6610.661, and 0.570.57, respectively. The simulation result is shown in Table III. Due to a large number of variables, the table only shows the variables of value. When P(λ1)=0P(\lambda_{1})=0, VSP 1 purchases 11 bundles from smartphone 1 using the reservation plan and 2 additional images using the on-demand plan as smartphone 1 has the highest average similarity score. When the probability increases, VSP 1 purchases 12 bundles from smartphone 1 by using the reservation plan. The additional bundle is used to balance the shortfall from scenario 1. When P(λ1)=1P(\lambda_{1})=1, the demand is met by using only 10 bundles from smartphone 3, which has a higher similarity score.

IV-5 Comparing between EVF, SIP and random scheme

We compare the SIP with other baselines such as expected-value formulation (EVF) [7] and random scheme. EVF is an approximation scheme that uses the average demand to solve the DIP and uses the solution as the first stage decision variable value in SIP. In the random scheme, the values of the decision variables are randomly generated. We vary the on-demand cost to compare the difference between EVF, SIP, and random schemes. Figure. 5 depicts the comparison result. As shown in the result, the EVF and random schemes cannot adapt to the change in cost. Unlike the SIP scheme, when the VSPs realize that the on-demand cost is high, the VSPs change their subscription plan to on-demand, and this is the reason why the total cost for the SIP scheme remains constant when the on-demand cost is 1.5×\geq 1.5\times

V Conclusion

In this paper, we have presented a resource allocation framework, SSTS for the Metaverse, in a case study of utilizing semantic communication to develop the virtual transportation network. To achieve the optimal allocation, SSTS minimizes the total cost of the network even amid demand uncertainty. Using real data, our numerical studies and simulations have validated that SSTS reduces transmission costs and achieves the best solution as it can better adapt to changes in the probability of users’ demands.

References

  • [1] N. Stephenson, Snow crash: A novel.   Spectra, 2003.
  • [2] C. Harsh, “Meta platforms just made a big move in the metaverse,” Accessed Jul. 25, 2022. [Online]. Available: https://www.fool.com/investing/2022/04/14/meta-platforms-just-made-big-move-in-the-metaverse/
  • [3] N. H. Chu, D. T. Hoang, D. N. Nguyen, K. T. Phan, and E. Dutkiewicz, “Metaslicing: A novel resource allocation framework for metaverse,” arXiv preprint arXiv:2205.11087, 2022.
  • [4] X. Luo, H.-H. Chen, and Q. Guo, “Semantic communications: Overview, open issues, and future research directions,” IEEE Wireless Communications, 2022.
  • [5] S. Dmytro Spilka, “How big data could form the cornerstone of the metaverse,” Accessed Aug. 14, 2022. [Online]. Available: https://venturebeat.com/datadecisionmakers/how-big-data-could-form-the-cornerstone-of-the-metaverse/
  • [6] D. Niyato, M. A. Alsheikh, P. Wang, D. I. Kim, and Z. Han, “Market model and optimal pricing scheme of big data and internet of things (iot),” in 2016 IEEE international conference on communications (ICC).   IEEE, 2016, pp. 1–6.
  • [7] W. C. Ng, W. Y. B. Lim, J. S. Ng, Z. Xiong, D. Niyato, and C. Miao, “Unified resource allocation framework for the edge intelligence-enabled metaverse,” in ICC 2022-IEEE International Conference on Communications.   IEEE, 2022, pp. 5214–5219.
  • [8] U. BRUEDE, K. HEDMAN, J. Larsson, and L. THURESSON, “Accidents at junctions-a major problem,” Nordic Road and Transport Research, vol. 11, no. 1, 1999.
  • [9] O. Joe, “Oxbotica taps metaverse to improve autonomous vehicle detection scenarios,” Accessed Aug. 14, 2022. [Online]. Available: https://www.computerweekly.com/news/252521611/Oxbotica-taps-metaverse-to-improve-autonomous-vehicle-detection-scenarios
  • [10] Z. Zhou, J. Feng, Z. Chang, and X. Shen, “Energy-efficient edge computing service provisioning for vehicular networks: A consensus admm approach,” IEEE Transactions on Vehicular Technology, vol. 68, no. 5, pp. 5087–5099, 2019.
  • [11] W. Fan, Y. Liu, B. Tang, F. Wu, and Z. Wang, “Computation offloading based on cooperations of mobile edge computing-enabled base stations,” IEEE Access, vol. 6, pp. 22 622–22 633, 2017.
  • [12] J. Redmon and A. Farhadi, “Yolov3: An incremental improvement,” arXiv preprint arXiv:1804.02767, 2018.
  • [13] H. Xie, Z. Qin, G. Y. Li, and B.-H. Juang, “Deep learning enabled semantic communication systems,” IEEE Transactions on Signal Processing, vol. 69, pp. 2663–2675, 2021.
  • [14] Grover, “Smartphone rental,” Accessed Jul. 10, 2022. [Online]. Available: https://www.grover.com/us-en/phones-and-tablets/smartphones
  • [15] M. Dyer and L. Stougie, “Computational complexity of stochastic programming problems,” Mathematical Programming, vol. 106, no. 3, pp. 423–432, December 2006.
  • [16] D. Chattopadhyay, “Application of general algebraic modeling system to power system optimization,” IEEE Transactions on Power Systems, vol. 14, no. 1, pp. 15–22, 1999.
  • [17] S. Kim, S. Park, B. Na, and S. Yoon, “Spiking-yolo: spiking neural network for energy-efficient object detection,” in Proceedings of the AAAI conference on artificial intelligence, vol. 34, no. 07, 2020, pp. 11 270–11 277.