Table of Contents
Fetching ...

On the Codebook Design for NOMA Schemes from Bent Functions

Chunlei Li, Constanza Riera, Palash Sarkar, Pantelimon Stanica

TL;DR

The paper presents a recursive, permutation-based construction of NOMA codebooks using Golay-Davis-Jedwab sequences linked to $n$-variable bent/near-bent Boolean functions. By establishing compatibility criteria via the Walsh-Hadamard condition and extending base dimension 4 sets through controlled permutation extensions, it builds large codebooks with guaranteed low PAPR and optimal coherence. The approach yields codebooks of size $K=6N$ for dimensions $n=4m$, with sequence length $N=2^n$, coherence $1/\sqrt{N}$, and a constant overloading factor $L=6$, providing a scalable framework for uplink grant-free NOMA in massive connectivity scenarios. This offers a practical method to design spreading matrices that support many users while minimizing interference and energy usage.

Abstract

Uplink grant-free non-orthogonal multiple access (NOMA) is a promising technology for massive connectivity with low latency and high energy efficiency. In code-domain NOMA schemes, the requirements boil down to the design of codebooks that contain a large number of spreading sequences with low peak-to-average power ratio (PAPR) while maintaining low coherence. When employing binary Golay sequences with guaranteed low PAPR in the design, the fundamental problem is to construct a large set of $n$-variable quadratic bent or near-bent functions in a particular form such that the difference of any two is bent for even $n$ or near-bent for odd $n$ to achieve optimally low coherence. In this work, we propose a theoretical construction of NOMA codebooks by applying a recursive approach to those particular quadratic bent functions in smaller dimensions. The proposed construction yields desired NOMA codebooks that contain $6\cdot N$ Golay sequences of length $N=2^{4m}$ for any positive integer $m$ and have the lowest possible coherence $1/\sqrt{N}$.

On the Codebook Design for NOMA Schemes from Bent Functions

TL;DR

The paper presents a recursive, permutation-based construction of NOMA codebooks using Golay-Davis-Jedwab sequences linked to -variable bent/near-bent Boolean functions. By establishing compatibility criteria via the Walsh-Hadamard condition and extending base dimension 4 sets through controlled permutation extensions, it builds large codebooks with guaranteed low PAPR and optimal coherence. The approach yields codebooks of size for dimensions , with sequence length , coherence , and a constant overloading factor , providing a scalable framework for uplink grant-free NOMA in massive connectivity scenarios. This offers a practical method to design spreading matrices that support many users while minimizing interference and energy usage.

Abstract

Uplink grant-free non-orthogonal multiple access (NOMA) is a promising technology for massive connectivity with low latency and high energy efficiency. In code-domain NOMA schemes, the requirements boil down to the design of codebooks that contain a large number of spreading sequences with low peak-to-average power ratio (PAPR) while maintaining low coherence. When employing binary Golay sequences with guaranteed low PAPR in the design, the fundamental problem is to construct a large set of -variable quadratic bent or near-bent functions in a particular form such that the difference of any two is bent for even or near-bent for odd to achieve optimally low coherence. In this work, we propose a theoretical construction of NOMA codebooks by applying a recursive approach to those particular quadratic bent functions in smaller dimensions. The proposed construction yields desired NOMA codebooks that contain Golay sequences of length for any positive integer and have the lowest possible coherence .

Paper Structure

This paper contains 14 sections, 11 theorems, 79 equations, 10 tables.

Key Result

Lemma 2.4

Let $\pi$ be a permutation of $\{1,2, \dots, n\}$, $c=(c_1,c_2, \dots, c_n) \in \mathbb F_{2}^n$ and For $\epsilon, \epsilon^{\prime} \in \mathbb F_{2}$, define the functions Let $\mathbf{a}=(a_0,a_1,\dots, a_{2^n-1}), \mathbf{b}=(b_0,b_1,\dots, b_{2^n-1})$ be two sequences associated with the functions $a(x)$ and $b(x)$ given by $a_j = (-1)^{a(j)}$ and $b_j=(-1)^{b(j)}$, respectively, for $0\le

Theorems & Definitions (27)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Lemma 2.4: Davis1999
  • Definition 2.5
  • Definition 2.6
  • Lemma 2.7
  • Definition 3.1
  • Lemma 3.2
  • proof
  • ...and 17 more