    # Geometric Sequence Decomposition with k-simplexes Transform

This paper presents a computationally-efficient technique for decomposing the non-orthogonally superposed k geometric sequences. The method, namely geometric sequence decomposition with k-simplexes transform (GSD-ST), is based on the idea of transforming an observed sequence to multiple k-simplexes in a virtual k-dimensional space and correlating the volumes of the transformed simplexes. Hence, the GSD-ST turns the problem of decomposing k geometric sequences into a solving of a k-th order polynomial equation. Our technique has significance to wireless communications because sampled points of a radio wave comprise a geometric sequence. This means that the GSD-ST is capable of demodulating the randomly combined radio waves, thus eliminating the effect of interference. To exemplify the potential of GSD-ST, we propose a new radio access scheme, non-orthogonal interference-free radio access (No-INFRA), in which the GSD-ST enables the collision-free reception of uncoordinated access requests. Numerical results show that No-INFRA effectively resolves the colliding access requests when the interference is dominant.

## Authors

##### This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

## I Introduction

A geometric sequence is a series of numbers in which the ratio between any two consecutive terms is fixed. Recall that a geometric sequence is expressed by

 {a,ar,ar2,ar3,⋯}

where is the initial term and is the common ratio of the sequence. Depending on the common ratio, the geometric sequence can increase, decrease, or remain constant as it progresses. The sequence may also oscillate in the complex plane if the common ratio is a complex number.

Consider geometric sequences with nonidentical common ratios, . Then, assume that we have no information about the individual sequences but we can only observe a superposition of geometric sequences :

 s=s1+s2+⋯+sk={k∑n=1an,k∑n=1anrn,k∑n=1anr2n,⋯}.

Let us pose an interesting question as follows:

• How can we decompose a superposition of geometric sequences into the individual sequences in a computationally-efficient manner?

To answer the question, firstly the number of superposed sequences should be estimated. Secondly, the parameters of each sequence, i.e. the initial term and the common ratio, should be recognized.

The foremost contribution of this paper is to propose a new technique addressing the aforementioned problem. The main idea is to transform the observed sequence to a -dimensional space. For this, we bring in a well-known concept in geometry, -simplex . A -simplex is a -dimensional polytope which is the convex hull of its number of -vertices. For example, a -simplex means a tetrahedron in a three-dimensional space. By using the concept, we develop a method which we term geometric sequence decomposition with -simplexes transform (GSD-ST). Our method turns the complicated problem of decomposing geometric sequences into a simple root-finding of a -th order polynomial equation. The GSD-ST requires only samples of the superposed sequence to estimate the number of geometric sequences, , and to retrieve the parameters of each sequence. The required samples further reduce to if is known a priori.

The proposed GSD-ST is not only an intriguing mathematical trick, but it also has significance to wireless communications. This is because a sampling of a radio wave is indeed a geometric sequence. A radio wave is normally represented by a complex-valued function, simply in a form of , where denotes the constant value accounting for the amplitude and phase, and and are the frequency and the time, respectively. One can notice that a sampled progression of a radio wave with time interval makes a geometric sequence with the initial term of and the common ratio of . This means that, if we can decompose a superposition of geometric sequences, we can also separate multiple incoming radio waves that are non-orthogonally accumulated. Therefore, our work lays the foundation for new ways of handling wireless signals in the interference-limited environments.

### I-a Related Works

Interference is a phenomenon that multiple waves superpose to form a resultant wave of amplitude and phase. It is common in various fields dealing with waves, and thus extensive studies have been conducted to extract the desired wave or to separate all the accumulated waves. These include blind sound source separation in acoustics [2, 3], target detection in radar systems [4, 5], and wireless communications [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17].

In the wireless communication systems, the interference has been traditionally managed by orthogonalizing the signals. Intuitively, one of the easiest approaches to the orthogonality is to coordinate the multiple waves in the time domain. Thus, the time-division multiplexing (TDM) remains as the basic principle of user scheduling in cellular networks [6, 7] and collision avoidance in Wi-Fi systems [8, 9]. In the frequency domain, the orthogonal frequency-division multiplexing (OFDM) has become a key element of modern broadband systems such as the IEEE 802.11 family [10, 11] and Long Term Evolution (LTE) .

The scarcity of radio spectrum forced the researchers to go beyond the orthogonal division of radio resources. Further, the stringent requirements of high data rate and low latency in 5G magnify the need. So, there have been numerous attempts to deal with non-orthogonal accumulation of radio waves. If we confine the discussion to the radio access where the challenge is to accommodate multiple uncoordinated requests with ultra-low latency, non-orthogonal multiple access (NOMA) has been considered a practical solution [13, 14, 15, 16, 17]. This technique separates the multiple signals in the power domain by means of iterative decoding. This means that NOMA relies on the difference between the powers of received signals. Thus, its effectiveness becomes limited as the number of accumulated signals increases and the power difference decreases.

If a new method is available that can separate several randomly superposed radio waves regardless of the distribution of the received powers, it will be a powerful tool of designing radio access schemes for ultra-low latency. We will demonstrate that the proposed GSD-ST is a strong candidate.

### I-B Main Contributions

Our objective is to decompose a non-orthogonal superposition of geometric sequences into the original sequences without information loss when we can only observe the superposed sequence. The superposition is a one-dimensional progression, but it contains the information about sequences. Thus, we depart from an intuition that a proper transformation of the observed sequence to a -dimensional space may facilitate the analysis of the overlap of geometric sequences. We develop the idea further with the concept of -simplex, and propose the GSD-ST method. We will provide a simple numerical example and the formal methodology of GSD-ST in the subsequent sections.

Consider a superposed sequence . The GSD-ST has the three main ingredients for the decomposition of :

• Set of -vertices from : this is a search space in a -dimensional space, which is constructed from the elements of . For an arbitrary , we compose the following two different types of -simplexes using this set of -vertices.

• A series of basic -simplexes: this is a series of -simplexes made from the set of -vertices from to represent the characteristics of in a -dimensional space. We will prove that the volumes of the basic -simplexes constitute a single geometric sequence if and only if is the superposition of geometric sequences. This property enables us to estimate the number of superposed sequences, .

• Quotients of volumes of combinatorial -simplexes: once is estimated, we pick two consecutive basic -simplexes to construct number of -simplexes, named combinatorial -simplexes. Then, we establish a polynomial equation whose coefficients are the quotients of the volumes of the combinatorial -simplexes. We will prove that the roots of the equation are the common ratios of the original geometric sequences.

The entire process of GSD-ST requires only samples of . However, it may be prone to the effect of noise in practice. Thus, we also provide a practical de-noising technique which utilizes more samples than the minimum requirement.

As discussed earlier, the decomposition of geometric sequences is equivalent to the separation of non-orthogonally overlapping radio waves. To exemplify the potential of GSD-ST for wireless communications, we introduce a new radio access scheme, namely non-orthogonal interference-free radio access (No-INFRA), which allows multiple transmitters to randomly select frequencies in a continuous domain within a given signal bandwidth and to transmit simultaneously. Then, the receiver samples the mixed signal and decodes all the information with the GSD-ST. Contrary to the orthogonal resource division which inevitably suffers from the collisions of access requests, the No-INFRA enjoys the collision-free access by eliminating the notion of interference.

In summary, our main contributions in this study is threefold; first, we propose a new method of GSD-ST for the decomposition of non-orthogonally superposed geometric sequences; second, we provide the formal methodology consisting of theorems and proofs to sustain the GSD-ST method; third, we introduce a new radio access scheme of No-INFRA to demonstrate how the GSD-ST can be applied to wireless communications.

### I-C Organization of the Paper

The remainder of this paper is organized as follows. In Section II, we provide a numerical example of GSD-ST to help the readers understand the new method. Section III presents the formal methodology of GSD-ST accompanied by the necessary theorems and a practical de-noising process. This is followed by Section IV where we propose the No-INFRA scheme. In Section V, the performance of No-INFRA is compared with a conventional scheme of orthogonal resource division. Finally, Section VI presents the concluding remarks.

### I-D Notations

The following symbols will be used throughout the paper.

• : an arbitrary sequence with length whose -th element is .

• : the number of superposed geometric sequences.

• : the -th geometric sequence.

• : the initial term of , ().

• : the common ratio of , ().

• : the sequence made up of overlapping geometric sequences.

• (): an arbitrary collection of lexicographically ordered indices, e.g. .

• : the -vertex in -dimensional space, which is made by different samples of an arbitrary sequence sketched by .

• : a function that returns the -simplex by connecting the () number of -vertices which consists of the origin and the given number of -vertices, , in a -dimensional space.

• : a function that returns the volume of the -simplex , i.e. . In addition, if the input is a series of -simplexes, this function returns the series of volumes of each -simplex as an output.

• : the one-vector whose length is

.

## Ii A Simple Example of GSD-ST

In this section, we provide a numerical example to help the readers understand the new concept of GDS-ST. Consider the following three geometric sequences where is the length of the sequences:

 s1={a1rl1}P−1l=0={2⋅2l}P−1l=0={2,4,8,16,32,⋯},s2={a2rl2}P−1l=0={1⋅3l}P−1l=0={1,3,9,27,81,⋯},s3={a3rl3}P−1l=0={4⋅(−1)l}P−1l=0={4,−4,4,−4,4,⋯}.

Then, suppose that we have no information about the three sequences and we can only observe their superposition, , i.e.

 s=s1+s2+s3={2⋅2l+1⋅3l+4⋅(−1)l}P−1l=0={7,3,21,39,117,303,861,⋯}.

Our objective is to estimate how many sequences are superposed and to obtain the parameters of each sequence.

### Ii-a Estimation of the Number of Sequences

Let be the true number of the superposed geometric sequences, and be an estimate of . Theorem 1 in Section III states that the volumes of successively generated -simplexes make a non-zero geometric sequence if and only if .

For the case that , we consider a two dimensional space where we generate 2-simplexes, i.e. triangles, from the origin and consecutive values of . Let us create three triangles, namely , , and with the following coordinates:

 A1:[(0,0)T,(7,3)% T,(3,21)T],A2:[(0,0)T,(3,21)T,(21,39)T],A3:[(0,0)T,(21,39)T,(39,117)T],

where is the transpose of an input. Then, we examine whether the volumes of the triangles, , constitute a geometric sequence. Since , , and , it does not make a geometric sequence. Thus, we conclude that .

For the case of , we increase the dimension by one and consider 3-simplexes, i.e. tetrahedrons. We create three tetrahedrons denoted again by , , and with the following coordinates:

 A1:[(0,0,0)T,(7,3,21)T,(3,21,39)T,(21,39,117)T],A2:[(0,0,0)T,(3,21,39)T,(21,39,117)T,(39,117,303)T],A3:[(0,0,0)T,(21,39,117)T,(39,117,303)T,(117,303,861)T].

This time, , , and , which is a geometric sequence with the common ratio of . Therefore we confirm that is a superposition of three geometric sequences.

For the greater than 3, one can easily verify that the volumes of -simplexes always constitute a sequence of zeros.

### Ii-B Obtaining Parameters of Each Sequence

Given that is correctly estimated, we can fully extract the original sequences with sampling of . The procedure is divided into five steps.

First, we pick consecutive elements from . Second, considering a -dimensional space, place vertices whose coordinates are basic elements of . In this example, 4 vertices are created with the coordinates of

 [(7,3,21)T,(3,21,39)T,(21,39,117)T,(39,117,303)T].

Third, choose out of vertices shown above. By including the origin, we can create different -simplexes in the lexicographically ordered manner. This corresponds to 4 tetrahedrons in this example with the following coordinates:

 B1:[(0,0,0)T,(7,3,21)T,(3,21,39)T,(21,39,117)T],B2:[(0,0,0)T,(7,3,21)T,(3,21,39)T,(39,117,303)T],B3:[(0,0,0)T,(7,3,21)T,(21,39,117)T,(39,117,303)T],B4:[(0,0,0)T,(3,21,39)T,(21,39,117)T,(39,117,303)T].

Fourth, let denote the volume of -th tetrahedron. Surprisingly, the following relationship holds by Theorem 2 in the next section:

 {Λ(B1)Λ(B1),Λ(B2)Λ(B1),Λ(B3)Λ(B1),Λ(B4)Λ(B1)}={1,3∑n=1rn,∑1≤n

Notice that these are the coefficients of a polynomial whose roots are , , and . Therefore, the common ratios of the geometric sequences can be obtained by solving the polynomial equation as below:

 x3−Λ(B2)Λ(B1)x2+Λ(B3)Λ(B1)x−Λ(B4)Λ(B1)=0.

Finally, once the common ratios of the sequences are obtained, we can extract the initial terms by solving a simple linear system of equations.

It should be emphasized that this section illustrated a simplified example of the GSD-ST. The formal methodology of GSD-ST is more general that, for example, the required samples do not need to be consecutive.

## Iii Methodology of GSD-ST Fig. 1: An illustration of the concept of GSD-ST; this is mainly composed of the three steps: i) transformation of the observed sequence to the set of ^k-vertices, ii) derivation of series of volume of basic k-simplexes, and iii) extraction of volume quotients of combinatorial k-simplexes.

This section provides the general methodology of GSD-ST. The overall concept of GSD-ST is depicted in Fig. 1.

### Iii-a Set of ^k-Vertices to Construct the Search Space

For any two different -vertices, and , we will say that they are index-dependent if they satisfy where is the index interval. Simply, if and , then and , are index-dependent. Otherwise, we will call they are index-independent. In addition, let be the set of all -vertices from that are index-independent of one another. Now, we can construct a different search space for each -vertex, , as follows.

###### Definition 1.

For an arbitrary , let a -dimensional search space, , be the lexicographically ordered collection of all the possible -vertices which are index-dependent to .

In other words, is the set of -vertices which is formed by successively creating a new -vertex at index intervals of starting from . This means that index-independent -vertices provide different search spaces. By the definition of geometric sequence, is a polynomial of degree consisting of the initial terms of degree one and the common ratios of degree . Thus, according to the Definition 1, the volume of any -simplex made by the origin and consecutive vertices in , i.e. , becomes a homogeneous polynomial whose degree is determined by , , , and . This property of algebraic geometry supports the approaches in the following subsections.

### Iii-B Series of Basic ^k-simplexes to Estimate the Number of Superposed Geometric Sequences

In this subsection, we will estimate the number of superposed geometric sequences, . For this, let us firstly look at an interesting property of the search space .

###### Definition 2.

Let be a series of basic -simplexes for given , , and , where the -th basic -simplex is denoted by

 ξic(ϕk,s)[j]:=e(Ξic(ϕk,s)[j],⋯,Ξic(ϕk,s)[j+k−1]).

Recall that denotes a series of volume of basic -simplexes.

###### Lemma 1.

is a geometric sequence whose common ratio is .

###### Proof.

Regardless of , we can extract the following polynomial from each element of :

 p(a,r)=∏kn=1anp(r)k!,

where is the -th degree polynomial of which is independent of . Consequently, for any , both -th and -th elements of are expressed as follows:

 Λ(ξic(ϕk,s))[j]=p(a,r)⋅det⎡⎢ ⎢ ⎢ ⎢ ⎢⎣rϕ(j)k1rϕ(j)k1…⋮⋱rϕ(j)kkrϕ(j)k[k−1]k⎤⎥ ⎥ ⎥ ⎥ ⎥⎦, (1)

 Λ(ξic(ϕk,s))[j+1]=p(a,r)⋅det⎡⎢ ⎢ ⎢ ⎢ ⎢⎣rϕ(j+1)k1rϕ(j+1)k1…⋮⋱rϕ(j+1)kkrϕ(j+1)k[k−1]k⎤⎥ ⎥ ⎥ ⎥ ⎥⎦, (2)

where . Based on (1) and (2), the following condition is satisfied for any :

 Λ(ξic(ϕk,s))[j+1]Λ(ξic(ϕk,s))[j]=(k∏n=1rn)ic. (3)

Thus, we can verify that is a geometric sequence. ∎

It is an interesting and useful property that non-orthogonally superposed geometric sequences can be transformed into a single geometric sequence. The fact that is a geometric sequence, regardless of and , can be utilized for the estimation of .

###### Theorem 1.

is a non-zero geometric sequence if and only if is .

###### Proof.

Lemma 1 provides that is a non-zero geometric sequence if is . In addition, we show its inverse as below:

1. [label=)]

2. : if an arbitrary sequence is a geometric sequence, then the following holds for any :

 (b[j+1])2=(b[j])⋅(b[j+2]).

Thus, we can easily verify with a simple calculation that

 (Λ(ξic(ϕ^k,s))[j+1])2≠Λ(ξic(ϕ^k,s))[j]⋅Λ(ξic(ϕ^k,s))[j+2].
3. : -simplexes cannot be represented by number of linearly independent bases, and so the corresponding volumes become zero, i.e. is an all-zero sequence.

Next, we derive the minimum number of samples to estimate , i.e. the minimum required .

###### Corollary 1.

For given , the minimum required to estimate is .

###### Proof.

First, set to . Next, with the increment of , set in Theorem 1. ∎

### Iii-C Combinatorial k-simplexes to Extract Initial Terms and Common Ratios

After estimating in the observed sequence, we can specify the search space for extracting and .

###### Definition 3.

For an arbitrary , let the -th series of combinatorial -simplexes, , be the output of the following process:

1. [label=)]

2. Fix the search space to and construct over .

3. Pick any two consecutive basic -simplexes such as and in .

4. Paste these two -simplexes to create a new polyhedron having vertices, which we call the -th union polyhedron 111These two consecutive basic -simplexes can be attached because they share the coface made by number of -vertices based on the definition of ..

5. Extract lexicographically ordered number of -simplexes out of the -th union polyhedron.

We further define the volume quotients of combinatorial -simplexes with the -th union polyhedron, , as follows:

 vj(ϕk,s):={Λ(ϰj[ϕk,s])Λ(ϰj[ϕk,s]),⋯,Λ(ϰj[ϕk,s][k])Λ(ϰj[ϕk,s])}. (4)
###### Theorem 2.

For given , is unique regardless of and .

###### Proof.

For , is given by

where

is independent of , and it is included in for any . Thus, can be derived as follows:

 (5)

Therefore, all possible are identical to each other. ∎

By Theorem 2, is unique for given , and thus can be simplified as . This uniqueness is a strong property because it implies that all of search spaces contain the same information regardless of the selection of the initial -vertex. Based on the information of , we can make a polynomial equation for as follows:

 k∑n=0((−1)k−n⋅v(k,s)[k−n]⋅rn)=0. (6)

The roots of (6) are the common ratios which we look for. In addition, the minimum number of samples for extracting can be described as below.

###### Corollary 2.

Given , the most compact sampling for extracting is to take consecutive samples of sequence .

###### Proof.

Set in Theorem 2. ∎

After estimating , it is trivial to obtain by the simple matrix pseudo-inversion: , where is the matrix constructed by satisfying for , and is the pseudo-inverse operation. Each pair of initial term and common ratio is matched through this matrix operation, and thus there is no paring problem between the initial terms and the common ratios.

In summary, starting from an arbitrary -vertex, , we estimate the number of superposed geometric sequences by verifying that a series of volume of basic -simplexes, , is a geometric sequence. Then, we obtain common ratios, , through the volume quotients of combinatorial -simplexes, . Finally, initial terms, , are obtained by a simple matrix operation.

Let the method of GSD-ST be denoted by . Then,

 S(s):={(a1,r1),⋯,(ak,rk)}, (7)

where is a nonlinear function including the entire process of estimating and extracting . In addition, we define the inverse of GSD-ST, , as follows:

 S−1({(a1,r1),⋯,(ak,rk)}):=s. (8)

Based on Corollary 1 and Theorem 2, is equivalent to when and . Algorithm 1 summarizes the steps of GSD-ST consisting of two phases: estimation of and extraction of and .

### Iii-D GSD-ST with Noisy Samples

So far, we have assumed that the observation of is flawless. However, the observed sequence may be prone to noise particularly in wireless communications. Thus, we present the practical ways of mitigating errors in in this section. Let us define such that

 sw:=s+w={s[l]+w[l]}P−1l=0,

where

denotes a sequence of random variables representing additive white Gaussian noise (AWGN). The fundamental approach of the de-noising process is to utilize more samples than the minimum requirement, i.e. to consider

.

#### Iii-D1 Estimation of the number of sequences with noise

We can design an approximated algorithm to estimate by utilizing Theorem 2, i.e. all possible are identical when and . To extract the informative part of , is defined as since for any , where is the operator of set minus.

Now, we will use the well-known method based on Euclidean distance to check the similarity among the all possible . Let and be two different among the all possible cases. Then, the similarity function is defined as follows:

 D(^k,sw):=(∏1≤ic≤iU,1≤i

where is the Euclidean norm of an input. Let be minimizing and we will determine it as . Here, is the upper bound of , which corresponds to where is the operator of floor calculation. For given , denotes the number of all possible , . Thus,

is the geometric mean of the similarity values for all possible

. Consequently, if and , then goes to zero.

Let be the number of Euclidean distances to be computed. It is given by

 Nd=iU∑ic=1((P−ic^k^k)2). (10)

The computation of is demanding for a large number of . Thus, we define two simplified similarity functions, and , as follows:

1. [label=)]

2. ,

3. .

The simplification for comes from fixing as in (10). Furthermore, is the simplest way that executes only one calculation of Euclidean distance with an arbitrary and .

#### Iii-D2 Extraction of initial terms and common ratios with noise

The de-noising of is essentially a process of separating and . Here, is an index-wise correlated sequence with of parameters of interest, whereas is a sequence of random variables. We focus on the fact that has number of nonidentical bases. Further, each basis is made by only one parameter, i.e. the common ratio, from the nature of geometric sequence. From this perspective, the de-noising of can be handled by suppressing of the number of bases for to .

Thus, we utilize the iterative

-truncated singular value decomposition (SVD)

 for only taking the largest singular values and their corresponding vectors. Let be the de-noised sequence which is the output of the following process:

1. [label=)]

2. Make a matrix, , from satisfying the condition:

 Q[m,n]:=sw[m+n],

where .

3. Execute -truncated SVD of .

4. Reconstruct using -tuples of the singular values and vectors.

5. Transform onto a new by averaging the values with the same index, i.e.

 {sw[l]}P−1l=0=1q∑n,mQ[m,n], s.t. m+n=l,

where if , and otherwise.

6. Repeat the above four-step process with the stopping criterion until converges to .

The above de-noising process for is equivalent to making the bases of for both row space and column space identical to each other, aiming to minimize the number of parameters in . Then, we extract and by using . Algorithm 2 summarizes the process of GSD-ST with noisy samples.

## Iv Application of GSD-ST to Non-orthogonal Interference-free radio Access

### Iv-a Potential of GSD-ST for Wireless Communications

The ability to decompose geometric sequences opens up a new possibility of separating the non-orthogonally superposed radio waves. This means that, even if the overlapping radio waves are not linearly orthogonal, they can be decomposed as if there were no interference through just sampling with a rate faster than the highest frequency component. Theoretically, GSD-ST enables the infinitely many users to share a limited bandwidth if each user randomly picks its frequency.

To harness this advantage, we propose a novel technique, namely No-INFRA, as an application of GSD-ST to radio access networks. It strives to eliminate the effect of collisions of multiple access attempts by letting each user randomly select its frequency within a limited bandwidth and by employing GSD-ST for the demodulation process. The following one-to-one correspondences between GSD-ST and No-INFRA hold, and thus we will use these terms interchangeably.

• Number of geometric sequences () Number of signals containing independent messages.

• Non-orthogonally superposed geometric sequences with noise () Sampled signal at the receiver.

• Initial term of the -th geometric sequence () Symbol of the -th message.

• Common ratio of the -th geometric sequence () Subcarrier carrying the -th messages.

### Iv-B Design of No-INFRA

Let denote the frequency of the transmitted signal of the -th transmitter. We consider that

follows the uniform distribution,

, for any , where and are the symbol duration and signal bandwidth, respectively. Each transmitter uses a single subcarrier to deliver information. For a continuous time duration , the baseband signal of the -th transmitter, , can be expressed as: . Here, is a modulated symbol containing the information transmitted by the -th baseband signal, where . Then, for a discrete sampling domain , the discrete baseband sequence at the receiver is given by

 sw:=k∑i=1{βixi(ej2πfi)lΔTs}P−1l=0+w, (11)

where and are the sampling interval and the number of samples, respectively. In addition, is the factor of power attenuation from the -th transmitter to the receiver, and we assume that it is known to the receiver. The factor of power attenuation and modulated symbol, i.e. and , are integrated into the initial term of the -th sequence, . Further, and are integrated into the common ratio of the -th sequence, . The procedure for No-INFRA is described in Algorithm 3.

## V Performance Analysis

In this section, we evaluate the performance of the proposed No-INFRA mainly in terms of symbol error rate (SER). The result is based on Monte Carlo simulation experiments. We assume that the symbol duration and the signal bandwidth are 1 msec and 30 kHz, respectively. Also, we set that the sampling rate at the receiver is equivalent to the signal bandwidth, i.e.

. Furthermore, we assume that the signal-to-noise ratio (SNR) of each signal follows a normal distribution,

, in dB scale.

### V-a Effect of De-noising Process

Firstly, we examine the impact of the de-noising process on the performance of GSD-ST. Fig. 2 shows the performance of de-noising in terms of normalized mean square error (NMSE) between the original sequence and the observed/reconstructed sequences when is known. We set to zero, which means that all sequences undergo the same . The convergence speed of de-noising is also presented to indicate its complexity. Each transmitter picks the frequency of subcarrier through a continuous uniform distribution in the range . We set the stopping criterion () and the maximum number of iterations () as and 30, respectively.

Fig. 1(a) suggests that the de-noising is an appropriate pre-processing of the GSD-ST. Notice that the NMSE of the observed sequence is inverse-proportional to the SNR. As expected, reconstruction of the sequence through GSD-ST incurs more errors without the de-noising. Conversely, the de-noising makes the reconstructed sequence even closer to the original one. The gap between the GSD-ST with de-noising and the observed sequence remains almost constant regardless of , which indicates that the de-noising is effective in the whole range of SNR. Hence, we will keep employing the de-noising in the subsequent experiments.

The computational complexity required for de-noising is derived as based on the complexity of -truncated SVD , where and is the number of iterations. Thus, the distributions of for different values are shown in Fig. 1(b) to represent the complexity of de-noising and its convergence tendency. It is observed that the de-noising converges faster in high SNR regime. When , the de-nosing process fails to converge for 9.35 of the cases. On the contrary, the de-noising finishes in a relatively short time for high SNR, e.g. 11.33 iterations when .

### V-B Comparison with Conventional Scheme in Random Access

In this subsection, the SER performance of No-INFRA is shown as functions of the SNR distribution (), the number of transmitters (), and the modulation order () under the assumption that is known. In our simulation, quadrature amplitude modulation (QAM) is adopted for modulation. For a performance comparison, we choose an orthogonal random access with successive interference cancellation (ORA+SIC) [15, 16]

. It consists of two steps for demodulation: the fast Fourier transform (FFT) in the time domain and the SIC in the power domain. The same symbol duration and the signal bandwidth as No-INFRA yield 30 orthogonal subcarriers. However, even a few transmitters may experience interference due to collisions inevitably incurred by the uncoordinated nature of random access. For the case of collision, SIC is employed to reduce the SER.

Fig. 3 illustrates the SER of the No-INFRA and the ORA+SIC schemes with regard to under the setting of and . This figure shows that the performance of ORA+SIC is saturated even in the high SNR regime. In the case of , the average signal-to-interference-plus-noise ratio (SINR) is about 0 dB if a collision occurs. Thus, no matter how large the value of , the interference between signals remains dominant, resulting in the saturation of SER performance. It is obvious that this tendency is more severe for the case of where the average SINR is almost -5 dB. Contrarily, No-INFRA shows the excellent SER performance over a region where interference is dominant compared to noise. That is, No-INFRA responds more strongly to weaker noise power than ORA+SIC. Therefore, despite the poor average SINR, the SER of No-INFRA exhibits a linear decline in the log-log scale as increases. No-INFRA starts to outperform ORA+SIC at when . Furthermore, when , No-INFRA shows superior performance in the interval of , and the gap becomes wider as increases.