ArticlePDF Available

Partial Path Overlapping Mitigation: An Initial Stage for Joint Detection and Decoding in Multipath Channels Using the Sum–Product Algorithm

MDPI
Applied Sciences
Authors:

Abstract and Figures

This paper addresses the problem of mitigating unknown partial path overlaps in communication systems. This study demonstrates that by utilizing the front-end insight of communication systems along with the sum–product algorithm applied to factor graphs, it is possible not only to track these overlapping components accurately, but also to detect all multipath channel impairments simultaneously. The proposed methodology involves discretizing channel parameters, such as channel paths and attenuation coefficients, to ensure the most accurate computation of means of Gaussian observations. These parameters are modeled as Bernoulli random variables with priors set to 0.5. A notable aspect of the algorithm is its integration of the received signal power into the calculation of noise variance, which is critical for its performance. To further reduce the receiver complexity, a novel implementation strategy, based on provided pre-defined look up tables (LOTs) to the reciver, is introduced. The simulation results, covering both distributed and concentrated pilot scenarios, reveal that the algorithm performs almost equally under both conditions and surpasses the established upper bound in performance.
This content is subject to copyright.
Citation: Mirbadin, A.; Zaraki, A.
Partial Path Overlapping Mitigation:
An Initial Stage for Joint Detection
and Decoding in Multipath Channels
Using the Sum–Product Algorithm.
Appl. Sci. 2024,14, 9175. https://
doi.org/10.3390/app14209175
Academic Editor: Christos Bouras
Received: 8 September 2024
Revised: 30 September 2024
Accepted: 8 October 2024
Published: 10 October 2024
Copyright: © 2024 by the authors.
Licensee MDPI, Basel, Switzerland.
This article is an open access article
distributed under the terms and
conditions of the Creative Commons
Attribution (CC BY) license (https://
creativecommons.org/licenses/by/
4.0/).
applied
sciences
Article
Partial Path Overlapping Mitigation: An Initial Stage for Joint
Detection and Decoding in Multipath Channels Using the
Sum–Product Algorithm
Anoush Mirbadin 1,*,† and Abolfazl Zaraki 2,†
1Department of Engineering, SELTA Digital Platforms Company, 29010 Cadeo, Italy
2School of Physics, Engineering and Computer Science (SPECS), University of Hertfordshire,
Hatfield AL10 9AB, UK; a.zaraki@herts.ac.uk
*Correspondence: anoush.mirbadin@dplatforms.it
These authors contributed equally to this work.
Abstract: This paper addresses the problem of mitigating unknown partial path overlaps in commu-
nication systems. This study demonstrates that by utilizing the front-end insight of communication
systems along with the sum–product algorithm applied to factor graphs, it is possible not only to
track these overlapping components accurately, but also to detect all multipath channel impairments
simultaneously. The proposed methodology involves discretizing channel parameters, such as chan-
nel paths and attenuation coefficients, to ensure the most accurate computation of means of Gaussian
observations. These parameters are modeled as Bernoulli random variables with priors set to 0.5.
A notable aspect of the algorithm is its integration of the received signal power into the calculation
of noise variance, which is critical for its performance. To further reduce the receiver complexity, a
novel implementation strategy, based on provided pre-defined look up tables (LOTs) to the reciver, is
introduced. The simulation results, covering both distributed and concentrated pilot scenarios, reveal
that the algorithm performs almost equally under both conditions and surpasses the established
upper bound in performance.
Keywords: joint; detection; decoding; multipath
1. Introduction
The initial approaches to reduce the effect of multipath impairment are broadly catego-
rized into three main groups: diversity, multicarrier transmission, and their combinations.
Diversity considerably reduces the probability of simultaneous fade on several replicas of
the same information signal. Various diversity transmission techniques for fading envi-
ronments have been extensively studied in [
1
5
]. In multicarrier modulation schemes like
orthogonal frequency division multiplexing (OFDM), employing longer symbol durations
effectively reduces the intersymbol interference (ISI), which can further be mitigated by
utilizing cyclic prefixes. The effectiveness of OFDM and its application in combating ISI
channels has been well investigated in [
6
]. Additionally, the combination of multicar-
rier modulation and diversity techniques has also been well addressed in the literature,
e.g., [7,8].
Later, with the emergence of machine learning algorithms like expectation propagation
(EP), new attempts to mitigate multipath phenomena in both time and frequency domains
have been pursued [
9
,
10
]. However, EP has its drawbacks, such as numerical instabili-
ties when performing distribution divisions [
11
]. As a result, our focus shifts toward the
fundamental aspects of wireless communications. More recently, AI-assisted algorithms
have been proposed to handle multipath channels [
12
]. In the first two studies, the chan-
nel parameters, such as the number of paths, path gains, and delays, are known as the
receiver. To provide additional clarity, we will briefly outline the algorithm proposed in [
9
].
Appl. Sci. 2024,14, 9175. https://doi.org/10.3390/app14209175 https://www.mdpi.com/journal/applsci
Appl. Sci. 2024,14, 9175 2 of 10
The receiver utilizes an equalizer based on EP. This equalizer employs the decoder feedback
to execute the EP. Specifically, the posteriors generated by the decoder are mapped into
Gaussian messages, with their means and variances dependent on channel impairments,
such as channel taps. A similar methodology is applied in the frequency domain in [
10
].
In the last work, the number of channel taps is fixed, and it is assumed that the channel
taps follow a Gaussian distribution with an exponential power profile, but the channel is
not dense over a block of the received signal.
The main contribution of this paper is the design of a receiver that, instead of de-
pending on the low-pass equivalent of the channels, is based on front-end communication
systems. This design allows for the use of the sum–product algorithm (SPA) to simultane-
ously track all multipath channel parameters. In addition, a discretization and modeling
technique for unknown channel parameters is introduced, where the parameters are rep-
resented as Bernoulli random variables. The SPA is then used to track the unknown
parameters. Notably, the receiver does not require prior knowledge of the channel param-
eters, such as the number of paths or Gaussian channel taps. Moreover, extending this
algorithm to the general multipath channels is straightforward.
This paper introduces a novel approach for performing joint partial path overlapping
detection and channel decoding symbol by symbol in a dense partial path overlapping over
a block of received symbols, utilizing the SPA on factor graphs. By focusing on front-end
communication systems, we can track all unknown channel parameters through SPA on
factor graphs. While this approach, i.e., the front-end receiver design using SPA, was
initially proposed by the authors of this paper in [
13
], its advantages quickly gained the
attention of researchers [
14
], where it has been named as discrete time models. In our
study, we discretize channel parameters such as channel paths and attenuation coefficients,
both in the channel low-pass equivalent (for illustrative purposes) and in the front-end
strategy. These parameters are modeled as Bernoulli random variables with priors set
to 0.5, denoted as path existence (PE) and attenuation existence (AE). Given a vector of
observations, we factorize the joint posterior distribution of channel model parameters
and codeword bits. SPA is then applied to the corresponding factor graph to compute the
marginals of the desired random variables. The exact implementation of SPA results in a
significant computational complexity. To reduce this considerably, we propose the use of
pre-defined look-up tables (LOTs) at the receiver. The dimension of LOTs depends on the
constellation symbols’ dimensionality and the discretization levels of unknown channel
parameters. Average signal power at the receiver determines the noise variance. However,
when we compensate the reflected components in the means of Gaussain observations,
we should remove the power of those components from the noise variance. This can
also be accomplished through the provided LOTs for the receiver. We found that the
constellation size dictates the quantity of estimated patterns of reflected rays, with only
one occurring at each time epoch, similar to additive noise. Therefore, the receiver relies
on making hard decisions based on the provided posteriors by the decoder to select the
most suitable one among them. Performance evaluations are conducted through bit error
rate (BER) curves in both distributed and concentrated pilots scenarios. As none of the
channel parameters are known to the receiver, previous works, such as [
9
], were unable to
effectively track these parameters. This limitation highlights the need to modify existing
algorithms. For this reason, we introduce a relative solution as the upper bound of the
system performance. The relative solution can also serve as a comparison benchmark in
this context. Our simulation results prove that by increasing receiver’ iterations, the BER
curves differ from the relative solution considerably.
The paper is organized as follows: Section 2introduces the discretization strategy for
channel parameters, followed by the system model in Section 3. Section 4discusses the
corresponding factor graph and its SPA equations. Receiver implementations are detailed
in Section 5, with performance analysis provided in Section 6. Finally, conclusions are
drawn in Section 7.
Appl. Sci. 2024,14, 9175 3 of 10
2. Discretization Strategy
Consider the general model for a
L
-Path multipath channel (Equations (13.1)–(5)
of [15], Equations (3.3)–(3.6) of [16])
h(τ;t) =
L1
i=0
αi(t)exp(j2πfcτi(t)) expj2πvicos ϕi(t)
c0
fctδ(ττi(t)) (1)
in which
αi(t)
is the real-valued gain of
i
-th path,
exp(j
2
πfcτi(t))
is the phase shift (often,
these two terms are considered as one term, called the complex attenuation factor),
fc
is the
carrier frequency,
τi(t)
is the propagation delay of
i
-th path,
vi
is the velocity associated
with the
i
-th path,
ϕi(t)
is the angle of arrival of the wave (for the sake of simplicity, its
value is assumed zero throughout this article), and
c0
is the speed of light. We consider that
the channel remains constant during each symbol period. This implies that the channel
can change symbol by symbol, i.e.,
L
changes symbol by symbol. In this project, we model
the path gain in (1) by the exponential function as
αi(t) = exp(τi(t)ai)
in which
ai
is the
attenuation coefficient. It is assumed that
τi
is a Weibull random variable. The parameter
of the Weibull distribution is adjusted such that its behavior closes a semi-exponential
function. We assume that each
τi(t)
is smaller than the symbol duration
T
. This ensures
partial paths overlapping across the successive symbol, and guarantees dense overlapping
environment over a block of received symbols. At the receiver side, the following channel
model is employed, i.e., all channel hypotheses are considered.
h(τ;t) =
N1
i=0
PEiexp
iTN
N
i=1
AEiia
N
exp(j2πfciTN)
×exp
j2π
N′′
i′′ =1
VEi′′ i′′ VN′′
c0
fct
δ(τiTN)
(2)
where
TN=T
N
is the delay resolution (
T
is the symbol duration),
a
N=1
N
is the attenuation
resolution, and
VN′′ =Vm
N′′
is the velocity resolution (in which
Vm
is the maximum possible
velocity).
PE
,
AE
, and
VE
are Bernoulli random variables representing path, attenuation,
and velocity existences, respectively. Their prior probabilities are set to 0.5. If
N
,
N
, and
N′′
go to infinity and we have exactly the knowledge of
PE
,
AE
, and
VE
, the error modeling
goes to zero. It is important to highlight that the low-pass equivalent equations mentioned
above primarily represent our discretization strategy. Our simulations are rooted in our
front-end approach.
3. System Model
We start this research from the simplest case, i.e., baseband communications, to avoid
missing all aspects of this research field. We consider a baseband communication system
in which symbol duration is much smaller than the coherent time of the channel, and the
Doppler effect is negligible. This assumption is unavoidable unless otherwise the baseband
pulses will be broadened at the receiver due to the Doppler effect, and a high amount of
interference corrupts the communication.
Consider a modern baseband communication system. The transmitter encodes data
bits using a low-density parity-check (LDPC) encoder. Pilot symbols are inserted to enhance
the performance of the receiver. This is followed by a binary pulse amplitude (B-PAM)
modulator. The coded modulation symbols
c= (c0
,
c1
, ...,
cK1)
are pulsed-shaped using
the root-raised cosine filter and then transmitted over an additive white Gaussian noise
(AWGN) channel impaired by path overlapping.
Appl. Sci. 2024,14, 9175 4 of 10
4. Factor Graph
We consider a scenario where a maximum of
N
potential paths are considered during
each time epoch, with
N
1 of these paths susceptible to interference to the successive
symbol. Additionally, we account for a maximum of
N
discretization levels for attenuation
coefficients. To illustrate, let us examine a channel model with
N=
2. Here, at each
time epoch, three paths emerge: the potential interfering path from the preceding symbol;
the delayed version of the current symbol, encompassing segments of both the current and
preceding symbols; and the direct line-of-sight (LOS) signal. Each of these paths undergoes
processing via the receiver-matched filter to calculate the conditional Gaussian observation
mean. To facilitate this, we conduct offline computations of the receiver-matched filter
for all possible paths, constructing a LOT to simplify the message-passing algorithm.
Consequently, four values, denoted as
βk
,
γk
,
ζk
, and
ψk
, where
k
denotes the current time
epoch, are acquired at the output of the receiver-matched filter. From the system model,
the observation at time kcan be determined by
rk=βk+γk+ζk+ψk+nk,(k=0, 1, ..., K1)(3)
The value
rk
is acquired post receiver-matched filtering. The sequence
{nk}
comprises
independent and identically distributed (i.i.d.) Gaussian noise components, denoted as
nk N (nk
; 0,
σ2)
.
ψk
results from matched filtering of the LOS component.
βk
arises from
matched filtering a segment of the preceding symbol at time
k
1, representing the delayed
version of the symbol at time
k
1.
γk
stems from matched filtering a segment of the
preceding symbol at time
k
.
ζk
is obtained through matched filtering a segment of the
current symbol at time epoch
k
. The computation of these signals, considering Equation (2),
is summarized as
ψk=[ckp(n)]NTN
n=0p(n)|n=NTN(4)
in which
p(n)
is the pulse shaping filter (here it is the root-raised cosine one).
NTN
is the
symbol duration.
βk=explTNla(N)[ck1p(n)]NTN
n=NTNlTNp(n)|n=NTN(5)
where land lare detected channel parameters for the non-LOS path at time epoch k1.
γk=expl′′ TNl′′′ a(N)[ck1p(n)]NTNl′′ TN
n=0p(n)|n=NTN(6)
ζk=expl′′ TNl′′′ a(N)[ckp(n)]NTN
n=NTNl′′ TN
p(n)|n=NTN(7)
where
l′′
and
l′′′
are the detected channel parameters for the non-LOS path at time epoch
k
.
The receiver can be implemented through factorizing the joint posterior distribution
of data bits and channel parameters, given the observation samples after the matched filter
and applying the SPA to the corresponding factor graph.
p(b,PE,AE|r)P(b)P(PE)P(AE)(r|b,PE,AE)
K1
k=0
prk|ck,ck1,PEk,PEk1,AEk,AEk1N1
k=0
P(PEk
k)
N
k′′ =1
P(AEk
k′′ )×
N1
k′′′ =1
P(PEk1
k′′′ )
N
k′′′′ =1
P(AEk
k′′′′ )T[c=ȷc(b)]
(8)
where
T[
.
]
is the code indicator function that is equal to 1 if
c
is the codeword corresponding
to
b
, and to 0 otherwise. The detector estimates different patterns for paths at each time,
conditioned on
ck1
, with only one occurring at any given moment. This concept will be
Appl. Sci. 2024,14, 9175 5 of 10
further explained in the following section. The corresponding factor graph is depicted in
Figure 1. One can conclude by considering the mentioned example.
prk|ck,ck1,PEk,PEk1,AEk,AEk1exp((rk(βk+γk+ζk))2
2σ2)(9)
Code Check Nodes
ck1ck
Pdk1
pk1
uk1(ck1)Pk
dk(ck)
Pk1
dk(ck1)
Pk
uk1(ck1)
prk1|ck1, ck2,PE k1,P Ek2,AEk1,AE k2prk|ck, ck1,P Ek,P Ek1,AE k,AEk1
... ...
PE k1
0PE k1
1PE k1
N1PE k
0
PE k
1
PE k
N1
P(PE k1
0)P(PE k1
1)P(PE k1
N1)P(PE k
0)P(PE k
1)
P(PE k
N1)
......
pk1
uk1(PE k1
1)
pk
dk1(PE k1
1)
...
...
...
AEN1
1AEN1
2AEN1
N
AE0
1AE0
2AE0
N...
...
... AE0
1
AE0
1
AE0
N
AEN1
1
AEN1
2
AEN1
N
P(AE0
1)P(AE0
2)
P(AE0
N)
P(AEN1
1)P(AEN1
2)
P(AEN1
N)
P(AEN1
1)P(AEN1
2)P(AEN1
N)
P(AE0
1)P(AE0
2)P(AE0
N)
pk1
uk1(AEN1
1)
pk
dk1(AEN1
1)
Figure 1. Factor graph representation of Equation (8). The receiver contains two detection algorithms,
each corresponding to a specific unknown channel parameter. The variable node
PEk
i
represents the
i-th path existence at time k, while AEk
irepresents the i-th attenuation existence at the same time.
5. Implementation of the Receiver
The iterative receiver consists of two algorithms to detect
PE
s and
AE
s. This is
followed by hard decisions on variable nodes. The detection is performed bit by bit.
This detection process iterates, and after several iterations, LDPC decoding is executed.
The entire process is reiterated a few times, followed by error rate computations at the
receiver. During forward recursion, backward messages are not available. To compute the
forward message at time epoch
k
, we assume that the decoder and detector have made
their decisions on
ck1
,
PEk1
, and
AEk1
at time
k
1, thus, they are known. Now, we
compute the messages
pk
uk(ck)
and
pk+1
uk(PEk)pk+1
uk(AEk)
. To achieve this, we calculate the
following messages by applying the SPA on the corresponding factor graph.
pk
uk(ck) =
N1
n=0
PEk
n
P(PEk
n)
AEn
1
P(AEn
1)...
AEn
N′′
P(AEn
N′′ )
prk|ck,PEk,AEk(10)
pk+1
uk(PEk
i) =
ck
Pk
dk(ck)
N1
n=0
n=i
PEk
n
P(PEk
n)
AEn
1
P(AEn
1)...
AEn
N′′
P(AEn
N′′ )
×
AEi
1
P(AEi
1)...
AEi
N′′
P(AEi
N′′ )
P(PEk
n)prk|ck,PEk,AEk
(11)
Appl. Sci. 2024,14, 9175 6 of 10
pk+1
uk(AEj
i) =
ck
Pk
dk(ck)
N
n=1
n=i
AEj
n
P(AEj
n)
PEk
0
P(PEk
0)...
PEk
N1
P(PEk
N1)
×
N
m=1
m=j
AEm
0
P(AEm
0)...
AEm
N
P(AEm
N)
P(AEj
n)prk|ck,PEk,AEk
(12)
Provided the fact that
PE
and
AE
are Bernoulli random variables and only one (
PE,AE
)
pair occurs at every time epoch, the above equations form a Bahl–Cocke–Jelinek–Raviv
(BCJR) algorithm. In this case,
pk+1
uk(PEk
i)
and
pk+1
uk(AEj
i)
are equal. This is followed by
hard decisions to find the indices of (
PE
,
AE
) pair. A similar algorithm is employed to
compute the backward messages. It should be noted that at every time epoch, we make
hard decisions on
Pdk1
and
Pdk+1
to determine the symbols
ck1
and
ck+1
, respectively.
Finally, the bit log-likelihood ratios (bitLLRs) are computed by
puk(ck) = pk+1
uk(ck)pk
uk(ck)(13)
As implementing the SPA directly on such a factor graph is intricate, we propose
a simplified implementation strategy to streamline the process and mitigate complexity
issues. To realize Equations (10)–(12), we introduce four LOTs, each corresponding one-
to-one with possible combinations of
ck1ck
, as per Equations (4) to (7). These LOTs have
dimensions
N×N
. Consequently, potential Gaussian observation means are computed
prior to the receiver computations. Thus, the algorithm simplifies to:
At every time epoch, the receiver performs matrix subtractions, rkminus LOTs.
Receiver finds the indices of the minimum matrices members of the detector’s up-
ward messages.
It is evident by considering the interference of the current symbol on many successive
symbols only the number of LOTs increases. The main algorithm could still be implemented
through matrix subtractions and finding the indices of the minimum value at every time.
To conclude this section, it is essential to highlight three key aspects of this research.
Firstly, as per the aforementioned process, the receiver provides overlapping patterns at
each time epoch, with the number of patterns equating to the constellation size. Only one
pattern occurs at a time. We employ feedback from the decoder to select the pattern corre-
sponding to the constellation symbol with the highest probability of occurrence. Secondly,
the average signal power at the receiver determines the noise variance. However, when
compensating for reflected components in the means of the Gaussian observations, it is
crucial to remove the power of those components from the noise variance. We simplify this
adjustment using the LOTs provided for the receiver. Finally, the Gaussian multiplication
is employed, whenever it is needed, in the message passing algorithm.
6. Simulation Results
Computer simulations were carried out to evaluate the proposed algorithm’s perfor-
mance in multipath scenarios. To this end, we draw the BER versus the signal-to-noise ratio
(SNR) curves. We consider a
(
3, 6
)
-regular LDPC code of length 4000. The modulation for-
mat is B-PAM. In the distributed pilots, one pilot is inserted in every 20 successive symbols,
while in the concentrated one a group of 100 pilots is inserted before and after the LDPC
Packet. In a baseband communication system, pulse shaping was carried out using a raised
cosine filter with a filter span of 10 per symbol, samples of 16 per symbol, i.e., dividing the
symbol duration to 16 (16 possible
PE
s), and the roll-off factor of 0.5. We assumed that the
symbol duration is much smaller than the coherent time of the channel; thus, no Doppler
effect (otherwise, the baseband pulses will be broadened at the receiver, due to the Doppler
effect). We also considered the transmitter and receiver filter delays in our simulations.
Attenuation coefficients were randomly chosen from a set of 100 numbers in the range of
[
0
:
99
]×1
100
. Please confirm this revision. To simplify the algorithm, we assume that LOS
Appl. Sci. 2024,14, 9175 7 of 10
always exists. The delay profile of the channel follows a Weibull distribution with a scale
parameter of 1 and a shape parameter of 0.4. We consider code rate in the computation
of noise variance at the receiver. We also set the minimum error packets to 100, detector
iterations to 10, maximum number of decoder iterations to 200, and global iterations of the
receiver to 5 and 30. We used lookup tables to compute the means of Gaussian likelihoods
according to the explained instructions in this paper. Figures 25show the simulation
results for the distributed and concentrated pilots. The curve labelled by “LDPC” was
obtained through pulse shaping, matched filtering and LDPC decoding in an AWGN
channel. The name of the rest of the curves is based on their multipath numbers and global
iterations of the receiver, e.g., 3-JDD Glob. It. 5 represents joint detection and decoding in
a scenario involving three unknown overlapping paths and 5 overall receiver iterations.
The relative solution is obtained through 200 iterations of the decoder and single iteration
of the receiver where the observations are computed by
exp(rkck)2
2σ2
.
σ2
is inversely
proportional to the average power of the received signal. The relative solution can be used
to compare the performance of various algorithms in the multipath scenario. The more an
algorithm outperforms the relative solution, the more accurate it is. As the receiver lacks
knowledge of the channel parameters, previous methods have been unable to track them,
requiring changes to existing algorithms. In response, we present a relative solution that
establishes an upper bound for system performance. For simplicity, the simulation assumes
that only the number of interfering paths remains fixed at each time epoch.
The results indicate that the performances of distributed and concentrated pilots
are nearly identical under the same conditions. In the scenario with two overlapping
paths, the proposed algorithm experiences a degradation of 0.6 dB compared with LDPC,
and in the scenario with three overlapping paths, this degradation increases to 1 dB.
However, in every case, the proposed algorithm outperforms the relative solution by 0.2 dB.
Although the difference between 5 and 30 iterations of the receiver is negligible for two
overlapping paths, as the number of unknown paths increases, the difference becomes
more significant.
1 1.2 1.4 1.6 1.8 2 2.2 2.4
Eb/N0
10-4
10-3
10-2
10-1
BER
LDPC
2-JDD Glob. It. 30
2-JDD Glob. It. 5
Relative Solution
Figure 2. 2-JDD in the distributed pilots, including the lower and upper bounds (LDPC and rela-
tive solution).
Appl. Sci. 2024,14, 9175 8 of 10
1 1.2 1.4 1.6 1.8 2 2.2 2.4 2.6 2.8
Eb/N0
10-5
10-4
10-3
10-2
10-1
BER
LDPC
3-JDD Glob. It. 30
3-JDD Glob. It 5
Relative Solution
Figure 3. 3-JDD in the distributed pilots pilots, including the lower and upper bounds (LDPC and
relative solution).
1 1.2 1.4 1.6 1.8 2 2.2 2.4
Eb/N0
10-4
10-3
10-2
10-1
BER
LDPC
2-JDD Glob. It. 30
2-JDD Glob. It. 5
Relative Solution
Figure 4. 2-JDD in the concentrated pilots, including the lower and upper bounds (LDPC and
relative solution).
Appl. Sci. 2024,14, 9175 9 of 10
1 1.2 1.4 1.6 1.8 2 2.2 2.4 2.6 2.8
Eb/N0
10-4
10-3
10-2
10-1
BER
LDPC
3-JDD Glob. It. 30
3-JDD Glob. It. 5
Relative Solution
Figure 5. 3-JDD in the concentrated pilots, including the lower and upper bounds (LDPC and
relative solution).
We compute the complexity of the proposed algorithms in terms of the number of
accesses to the LOTs, the number of operations (additions and multiplications) between
two real arguments, and the number of comparisons to find the minimum value of a matrix
at each time epoch. The results are summarized in Table 1.
Table 1. Computational Load at each time epoch for B-PAM Modulation.
Operations LUT Accesses Comparisons
(4N2N+8N+4)(L1)6N(L1) + 4N2N
2NN+N+2N6
7. Conclusions and Future Work
In this paper, the tracking of all multipath parameters using SPA was made possible
through the front-end consideration of the communication systems. This process was fol-
lowed by discretizing channel parameters and assigning them Bernoulli random variables.
The primary limitation of the algorithm is its complexity in detection of path patterns when
the number of interfering paths increases significantly. The use of quantum computing
algorithms for path pattern detection could offer a potential solution to this challenge.
In future work, we aim to compute the optimal discretization levels.
Author Contributions: Conceptualization, A.M. and A.Z.; methodology, A.M. and A.Z.; software,
A.M. and A.Z.; validation, A.M. and A.Z.; formal analysis, A.M. and A.Z.; investigation, A.M. and
A.Z.; resources, A.M. and A.Z.; data curation, A.M. and A.Z.; writing—original draft preparation, A.M.
and A.Z.; writing—review and editing, A.M. and A.Z.; visualization, A.M. and A.Z.; supervision,
A.M. and A.Z.; project administration, A.M. and A.Z. All authors have read and agreed to the
published version of the manuscript.
Funding: This research received no external funding.
Institutional Review Board Statement: Not applicable.
Appl. Sci. 2024,14, 9175 10 of 10
Informed Consent Statement: Not applicable.
Data Availability Statement: The original contributions presented in the study are included in the
article, further inquiries can be directed to the corresponding author.
Conflicts of Interest: Author Anoush Mirbadin was employed by the SELTA Digital Platforms
Company. The remaining authors declare that the research was conducted in the absence of any
commercial or financial relationships that could be construed as a potential conflict of interest.
References
1. Pierce, J.N. Theoretical diversity improvement in frequency-shift keying. Proc. IRE 1985,46, 903–910. [CrossRef]
2. Brennan, D.G. Linear diversity combining techniques. Proc. IRE 1959,47, 1075–1102. [CrossRef]
3. Turin, G.L. On optimal diversity reception. IRE Trans. Inf. Theory 1961,7, 154–166. [CrossRef]
4.
Kaye, A.; George, D. Transmission of multiplexed PAM signals over multiple channel and diversity systems. IRE Trans. Commun.
1970,18, 520–526. [CrossRef]
5.
Alamouti, S.M. A simple transmit diversity technique for wireless communications. IEEE J. Selec. Areas Commun. 1998,16,
1451–1458. [CrossRef]
6. Prasad, R. OFDM for Wireless Communications Systems, 1st ed.; Artech House: London, UK, 2004.
7.
Hutter, A.A.; Mekrazi, S.; Getu, B.N.; Platbrood, F. Alamouti-based space-frequency coding for OFDM. Wirel. Pers. Commun. 2005,
35, 173–185. [CrossRef]
8.
Zhang, J.A.; Zhang, F.; Masouros, C.; Heath, R.W.; Feng, Z.; Zheng, L.; Petropulu, A. An overview of signal processing techniques
for joint communication and radar sensing. IEEE J. Sel. Top. Signal Process. 2021,15, 1295–1315. [CrossRef]
9.
Santos, I.; Murillo-Fuentes, J.J.; Arias-de-Reyna, E.; Olmos, P.M. Turbo EP-Based Equalization: A Filter-Type Implementation.
IEEE Trans. Commun. 2018,66, 4259–4270. [CrossRef]
10.
Ahin, S.S.; Cipriano, A.M.; Poulliat, C.; Boucheret, M.L. A Framework for Iterative Frequency Domain EP-Based Receiver Design.
IEEE Trans. Commun. 2018,66, 6478–6493. [CrossRef]
11.
Mirbadin, A.; Vannucci, A.; Colavolpe, G.; Pecori, R.; Veltri, L. Iterative Receiver Design for the Estimation of Gaussian Samples
in Impulsive Noise. Appl. Sci. 2020,11, 557. [CrossRef]
12.
Yang, M.; Bian, C.; Kim, H.S. OFDM-Guided Deep Joint Source Channel Coding for Wireless Multipath Fading Channels. IEEE
Trans. Cog. Commun. Netw. 2022,8, 584–599.. [CrossRef]
13. Mirbadin, A.; Zaraki, A. Joint Detection and Decoding over Multipath Channels: The Known Path. TechRxiv 2023. [CrossRef]
14.
Venus, A.; Leitinger, E.; Tertinek, S.; Meyer, F.; Witrisal, K. Graph-based Simultaneous Localization and Bias Tracking. IEEE Trans.
Wirel. Commun 2024, 1. [CrossRef]
15. Proakis, J.G.; Salehi M. Digital Communications, 5th ed.; McGraw-Hill Higher Education: New York, NY, USA, 2005.
16. Goldsmith, A. Wireless Communications, 1st ed.; Cambridge University Press: New York, NY, USA, 2007.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual
author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to
people or property resulting from any ideas, methods, instructions or products referred to in the content.
... According to the Gaussian product rule, the product of re-scaled distributions provides a single Gaussian distribution which contains the memory of the channel coder in its mean. It should be mentioned that we employed the product of two re-scaled Gaussian distributions at every time epoch prior to bit LLR computations in our last work on multipath mitigation [6]. The corresponding factor graph is depicted in Fig. 1. ...
Preprint
Thanks to the product rule of Gaussian distributions, the memory of channel coding schemes, such as low–density parity–check (LDPC) codes used in this paper, is reflected in the mean of a single Gaussian distribution, obtained through the product of re–scaled Gaussian observations in additive white Gaussian noise (AWGN) channels. Consequently, employing a novel bit log–likelihood ratio (LLR) updating algorithm, in conjunction with an appropriate scheduling procedure, increases the convergence speed of the decoder considerably. Bit LLR values close to zero are accumulated with those obtained in the current iteration of the receiver. Simulation results demonstrate a substantial improvement (close to 50%) in the convergence speed of the proposed algorithm compared to traditional ones. This approach can also be applied to conventional sequence and symbol detection strategies in the presence of memory. Although this approach only affects convergence in AWGN channels, it could play a vital role in scenarios involving nonlinear parameters, such as phase noise and multipath channels.
Article
Full-text available
We present a factor graph formulation and particle-based sum-product algorithm for robust localization and tracking in multipath-prone environments. The proposed sequential algorithm jointly estimates the mobile agent’s position together with a time-varying number of multipath components (MPCs). The MPCs are represented by "delay biases" corresponding to the offset between line-of-sight (LOS) component delay and the respective delays of all detectable MPCs. The delay biases of the MPCs capture the geometric features of the propagation environment with respect to the mobile agent. Therefore, they can provide position-related information contained in the MPCs without explicitly building a map of the environment. We demonstrate that the position-related information enables the algorithm to provide high-accuracy position estimates even in fully obstructed line-of-sight (OLOS) situations. Using simulated and real measurements in different scenarios we demonstrate that the proposed algorithm significantly outperforms state-of-the-art multipath-aided tracking algorithms and show that the performance of our algorithm constantly attains the posterior Cramér-Rao lower bound (P-CRLB). Furthermore, we demonstrate the implicit capability of the proposed method to identify unreliable measurements and, thus, to mitigate lost tracks.
Preprint
Full-text available
p>Joint Detection and Decoding over Multipath Channels: the Known Path</p
Article
Full-text available
Joint communication and radar sensing (JCR) represents an emerging research field aiming to integrate the above two functionalities into a single system, by sharing the majority of hardware, signal processing modules and, in a typical case, the transmitted signal. The close cooperation of the communication and sensing functions can enable significant improvement of spectrum efficiency, reduction of device size, cost and power consumption, and improvement of performance of both functions. Advanced signal processing techniques are critical for making the integration efficient, from transmission signal design to receiver processing. This paper provides a comprehensive overview of the state-of-the-art on JCR systems from the signal processing perspective. A balanced coverage on both transmitter and receiver is provided for three types of JCR systems, namely, communication-centric, radar-centric, and joint design and optimization.
Article
Full-text available
Featured Application The communications scenario analyzed in this paper is typical of environments affected by strong electromagnetic interference (EMI), such as, e.g., power line communications or power substations. The transmission of random correlated samples with continuous values, which we analyze, can be seen both as a rough model for multicarrier digital transmission systems (such as OFDM) or, more realistically, as an accurate model for a network of distributed sensors, as typical of an Internet of Things (IoT) scenario. The receivers that we propose in this paper are a convenient choice whenever the sensors communicate (with each other or with a base station) in an environment affected by strong EM interference. Abstract Impulsive noise is the main limiting factor for transmission over channels affected by electromagnetic interference. We study the estimation of (correlated) Gaussian signals in an impulsive noise scenario. In this work, we analyze some of the existing, as well as some novel estimation algorithms. Their performance is compared, for the first time, for different channel conditions, including the Markov–Middleton scenario, where the impulsive noise switches between different noise states. Following a modern approach in digital communications, the receiver design is based on a factor graph model and implements a message passing algorithm. The correlation among signal samples, as well as among noise states brings about a loopy factor graph, where an iterative message passing scheme should be employed. As is well known, approximate variational inference techniques are necessary in these cases. We propose and analyze different algorithms and provide a complete performance comparison among them, showing that the expectation propagation, transparent propagation, and parallel iterative schedule approaches reach a performance close to optimal, at different channel conditions.
Preprint
Full-text available
Impulsive noise is the main limiting factor for transmission over channels affected by electromagnetic interference. We study the estimation of (correlated) Gaussian signals in an impulsive noise scenarios. In this work, we analyze some of the existing as well as some novel estimation algorithms. Their performance is compared, for the first time, for different channel conditions, including the Markov-Middleton scenario, where the impulsive noise switches between different noise states. Following a modern approach in digital communications, the receiver design is based on a factor graph model and implements a message passing algorithm. The correlation among signal samples as well as among noise states brings about a loopy factor graph, where an iterative message passing scheme should be employed. As it is well known, approximate variational inference techniques are necessary in these cases. We propose and analyze different algorithms and provide a complete performance comparison among them, showing that both Expectation Propagation, Transparent Propagation, and the Parallel Iterative Schedule approaches reach a performance close to the optimal, at different channel conditions.
Article
Full-text available
An original expectation propagation (EP) based message passing framework is introduced, wherein transmitted symbols are considered to belong to the multivariate white Gaussian distribution family. This approach allows deriving a novel class of single-tap frequency domain (FD) receivers with a quasi-linear computational complexity in block length, thanks to Fast-Fourier transform (FFT) based implementation. This framework is exposed in detail, through the design of a novel double-loop single-carrier frequency domain equalizer (SC-FDE), where self-iterations of the equalizer with the demapper, and turbo iterations with the decoder, provide numerous combinations for the performance and complexity trade-off. Furthermore, the flexibility of this framework is illustrated with the derivation of an overlap FDE, used for time-varying channel equalization, among others, and with the design of a FD multiple-input multiple-output (MIMO) detector, used for spatial multiplexing. Through these different receiver design problems, this framework is shown to improve the mitigation of inter-symbol, inter-block and multi-antenna interferences, compared to alternative single-tap FD structures of the prior work. Thanks to finite-length and asymptotic analysis, supported by numerical results, the improvement brought by the proposed structures is assessed, and then completed by also accounting for computational costs.
Article
Full-text available
This manuscript has been submitted to Transactions on Communications on September 7, 2017 and it is currently under review. We propose a novel filter-type equalizer to improve the solution of the linear minimum-mean squared-error (LMMSE) turbo equalizer, with computational complexity constrained to be quadratic in the filter length. When high-order modulations and/or large memory channels are used the optimal BCJR equalizer is unavailable, due to its computational complexity. In this scenario, the filter-type LMMSE turbo equalization exhibits a good performance compared to other approximations. In this paper, we show that this solution can be significantly improved by using expectation propagation (EP) in the estimation of the a posteriori probabilities. First, it yields a more accurate estimation of the extrinsic distribution to be sent to the channel decoder. Second, compared to other solutions based on EP the computational complexity of the proposed solution is constrained to be quadratic in the length of the finite impulse response (FIR). In addition, we review previous EP-based turbo equalization implementations. Instead of considering default uniform priors we exploit the outputs of the decoder. Some simulation results are included to show that this new EP-based filter remarkably outperforms the turbo approach of previous versions of the EP algorithm and also improves the LMMSE solution, with and without turbo equalization.
Article
We investigate joint source channel coding (JSCC) for wireless image transmission over multipath fading channels. Inspired by recent works on deep learning based JSCC and model-based learning methods, we combine an autoencoder with orthogonal frequency division multiplexing (OFDM) to cope with multipath fading. The proposed encoder and decoder use convolutional neural networks (CNNs) and directly map the source images to complex-valued baseband samples for OFDM transmission. The multipath channel and OFDM are represented by non-trainable (deterministic) but differentiable layers so that the system can be trained end-to-end. Furthermore, our JSCC decoder further incorporates explicit channel estimation, equalization, and additional subnets to enhance the performance. The proposed method exhibits 2.5 – 4 dB SNR gain for the equivalent image quality compared to conventional schemes that employ state-of-the-art but separate source and channel coding such as Better Portable Graphics (BPG) and Low-Density Parity-Check (LDPC) schemes. The performance further improves when the system incorporates the channel state information (CSI) feedback. The proposed scheme is robust against OFDM signal clipping and parameter mismatch for the channel model used in training and evaluation.
Book
Multiple-input multiple-output (MIMO) technology constitutes a breakthrough in the design of wireless communication systems, and is already at the core of several wireless standards. Exploiting multi-path scattering, MIMO techniques deliver significant performance enhancements in terms of data transmission rate and interference reduction. This book is a detailed introduction to the analysis and design of MIMO wireless systems. Beginning with an overview of MIMO technology, the authors then examine the fundamental capacity limits of MIMO systems. Transmitter design, including precoding and space-time coding, is then treated in depth, and the book closes with two chapters devoted to receiver design. Written by a team of leading experts, the book blends theoretical analysis with physical insights, and highlights a range of key design challenges. It can be used as a textbook for advanced courses on wireless communications, and will also appeal to researchers and practitioners working on MIMO wireless systems.
Article
We investigate space-frequency block coding for OFDM systems with multiple transmit antennas, where coding is applied in the frequency domain (OFDM carriers) rather than in the time domain (OFDM symbols). In particular we consider Alamouti's code, which was shown to be the optimum block code for two transmit antennas and time domain coding. We show that the standard decoding algorithm results in significant performance degradation depending on the frequency-selective nature of the transmission channels, such that a low coherence bandwidth results in a huge degradation. The optimum decoding algorithm that alleviates this problem is the maximum-likelihood decoder for joint symbol detection. We present a performance analysis for the investigated space-frequency decoders in terms of the achievable BER results. Furthermore we compare space-time and space-frequency coding and discuss the respective advantages and drawbacks of the different decoding algorithms in terms of their complexity. It should be noted that for the space-time approach we introduce the so-called matched-filter receiver, which shows significantly lower complexity compared to the maximum-likelihood decoder known from literature. The HIPERMAN system serves as an example OFDM system for quantitative comparisons.