Coded Multi-User Information Retrieval with a Multi-Antenna Helper Node

Milad Abolpour, MohammadJavad Salehi, Soheil Mohajer, Seyed Pooya Shariatpanahi and Antti Tölli

arXiv: 2402.00465v1 · PDF · 1 February 2024
Categories: cs.IT, math.IT
Licence: CC BY 4.0 The site shows the text.

Abstract

A novel coding design is proposed to enhance information retrieval in a wireless network of users with partial access to the data, in the sense of observation, measurement, computation, or storage. Information exchange in the network is assisted by a multi-antenna base station (BS), with no direct access to the data. Accordingly, the missing parts of data are exchanged among users through an uplink (UL) step followed by a downlink (DL) step. In this paper, new coding strategies, inspired by coded caching (CC) techniques, are devised to enhance both UL and DL steps. In the UL step, users transmit encoded and properly combined parts of their accessible data to the BS. Then, during the DL step, the BS carries out the required processing on its received signals and forwards a proper combination of the resulting signal terms back to the users, enabling each user to retrieve the desired information. Using the devised coded data retrieval strategy, the data exchange in both UL and DL steps requires the same communication delay, measured by normalized delivery time (NDT). Furthermore, the NDT of the UL/DL step is shown to coincide with the optimal NDT of the original DL multi-input single-output CC scheme, in which the BS is connected to a centralized data library.

Items 9

Notation

ABOV

In this paper, bold lower-case and calligraphic letters show vectors and sets, respectively. Moreover, {\mathbf{v}}[j] represents the j-entry of vector {\mathbf{v}}. We use {\mathbf{M}}^{\rm T} and {\mathbf{M}} ^{\mbox{\scriptsize H}} to demonstrate the transpose and conjugate-transpose (Hermitian) of matrix {\mathbf{M}}, respectively. For integers a and b, \left[ a:b \right] shows the set \lbrace a,\cdots,b \rbrace and [a]=\lbrace 1,\cdots,a \rbrace. \left\vert {\mathcal{A}} \right\vert is the cardinality of {\mathcal{A}}, and for {\mathcal{B}} \subseteq {\mathcal{A}}, {\mathcal{A}}\backslash {\mathcal{B}} represents \{x\in {\mathcal{A}}: x\notin {\mathcal{B}}\}.

Definition

Definition 1

5M9F

For some {\mathcal{V}} \subseteq [K] and an arbitrary \theta^{k}_{{\mathcal{P}}_{k}, q_{k}} \in \mathbb{C}, the superposition signal

\sum_{k \in {\mathcal{V}}} \theta^{k}_{{\mathcal{P}}_{k}, q_{k}} {\mathsf{c}} \left( W^{k}_{{\mathcal{P}}_{k}, q_{k}} \right),

is defined as a codeword of size \left\lvert {\mathcal{V}} \right\rvert, where {\mathcal{P}}_{k} \subseteq [K] with \left\lvert {\mathcal{P}}_{k} \right\rvert=t, q_{k} \in [\binom{K-t-1}{L-1}], and

{\mathsf{c}} \left( W^{k}_{{\mathcal{P}}_{k}, q_{k}} \right) is the encoded signal of W^{k}_{{\mathcal{P}}_{k}, q_{k}} with {\mathsf{c}}: \mathbb{F}_{2^{f}} \rightarrow \mathbb{C}.

Used by Theorem 1

Lemma

Lemma 1

EGBQ

Assuming E_{k} as the energy consumption of user k \in [K] in the UL step, the proposed encoding scheme in (?) satisfies the users’ energy constraints E_{k}=P_{\rm UL} N_{\rm T} \binom{K-1}{t+L-1}. Hence, although the transmit power of users may vary during each UL transmission, each user consumes an equal total amount of energy throughout all transmissions of the UL step.

Proof of Lemma 1

The proof is relegated to Appendix ?.

Definition

Definition 2

B83W

For the subset {\mathcal{Q}} \subseteq [t+L] with \lvert {\mathcal{Q}} \rvert = t+1, define the beamforming (row) vector {\mathbf{v}}_{{\mathcal{Q}}} \in \mathbb{C}^{1 \times L} as follows

\begin{aligned} \begin{cases} {\mathbf{v}}_{{\mathcal{Q}}} {\mathbf{h}}_{k} = 0 & k \in [t+L] \text{ and } k \notin {\mathcal{Q}} \\ {\mathbf{v}}_{{\mathcal{Q}}} {\mathbf{h}}_{k} \neq 0 & k \in {\mathcal{Q}} \end{cases}. \end{aligned}

Theorem

Theorem 1

RAZV

Using the proposed UL transmission strategy, during stage 1, the BS is able to create all codewords of size t+1 in the set {\mathcal{A}} \, \cup \, {\mathcal{B}}, where

\begin{array}{c} {\mathcal{A}} = \Big\lbrace \sum\limits_{k \in {\mathcal{S}}} {\mathbf{v}}_{{\mathcal{S}}} {\mathbf{h}}_{k} {\mathsf{c}} \big( W^{\left< k \right>_{{\mathcal{S}}}}_{{\mathcal{S}} \backslash \lbrace \left< k \right>_{{\mathcal{S}}} \rbrace ,q} \big) + {\mathbf{v}}_{{\mathcal{S}}} {\mathbf{n}}_{\rm BS} : {\mathcal{S}} \in {\mathcal{M}} \Big\rbrace, \end{array}

\begin{array}{c} {\mathcal{B}}= \Big\lbrace \sum\limits_{k \in {\mathcal{R}} } - {\mathbf{v}}_{{\mathcal{R}}} {\mathbf{h}}_{k} {\mathsf{c}} \big( W^{\left< k \right>_{{\mathcal{R}}}}_{{\mathcal{R}} \backslash \lbrace \left< k \right>_{{\mathcal{R}} } \rbrace ,q} \big) + {\mathbf{v}}_{{\mathcal{R}} } {\mathbf{n}}_{\rm BS} : \\ {\mathcal{R}} \subseteq \left[ 2: t+L \right], \left\vert {\mathcal{R}} \right\vert=t+1 \Big\rbrace \end{array}

include noisy versions of the codewords of size t+1 (that are needed in the DL step). Moreover, the NDT for UL is

\begin{aligned} T_{\rm UL} = \frac{K-t}{t+L}. \end{aligned}

Uses Definition 1

Proof of Theorem 1

The proof is provided in Appendix ?.

Theorem

Theorem 2

Z4QD

By adopting the introduced DL transmission strategy, each user is able to retrieve its requested file, and the achievable NDT for the DL step takes the form of:

\begin{aligned} T_{\rm DL} = \frac{K-t}{t+L}. \end{aligned}

Proof of Theorem 2

The proof is relegated to Appendix ?.

Source and licence

The text on this page is from arXiv:2402.00465v1 by Milad Abolpour, MohammadJavad Salehi, Soheil Mohajer, Seyed Pooya Shariatpanahi and Antti Tölli, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2402/2402.00465.jsonl.