arXiv++ Combinatorics

This work is concerned with the fundamental scaling laws of quasi-complementary sequence sets (QCSSs) by understanding how large the set size (denoted by $M$) can grow with the flock size ($K$) and the sequence length ($N$). We first establish a geometric framework that transforms a QCSS into a complex unit-norm codebook, through which and by exploiting the density thresholds of the codebooks, certain polynomial upper bounds of the QCSS set size are obtained. Sharp quadratic and cubic scaling laws are then introduced. Specifically, we show that asymptotically optimal QCSSs with tightness factor $ρ=1$ satisfy $M \le (1+o(1))K^2N$, while asymptotically near-optimal QCSSs satisfy $M \le (1+o(1))K^3N^2$ for $ρ< {(1+\sqrt{5})}/{2}$. To validate these upper bounds, we further propose explicit additive-character and mixed-character based constructions for QCSSs that achieve $M = K^2N + K$ and $M = K^3N^2 + 2K^2N + K$, respectively, thereby showing that the quadratic and cubic scaling laws are asymptotically tight. Our proposed constructions admit flexible parameter choices, and their maximum correlation estimates are shown to be tight through explicit extremal examples. Additionally, it is conjectured that the cubic scaling law is universal for all $1<ρ\le 2$, i.e., any asymptotically near-optimal QCSSs should satisfy $M \le (1+o(1))K^3N^2$. This identifies a fundamental cubic barrier for QCSS scalability.

In the most interesting case of safe prime powers $q$, Gómez and Winterhof showed that a subfamily of the family of Golomb Costas permutations of $\{1,2,\ldots,q-2\}$ of size $\varphi(q-1)$ has maximal cross-correlation of order of magnitude at most $q^{1/2}$. In this paper we study a larger family of Golomb Costas permutations and prove a weaker bound on its maximal cross-correlation. Considering the whole family of Golomb Costas permutations we show that large cross-correlations are very rare. Finally, we collect several conditions for a small cross-correlation of two Costas permutations. Our main tools are the Weil bound and the Szemerédi-Trotter theorem for finite fields.

Let $q$ be a positive integer and $\mathcal{S}=\left\{x_0,x_1,\ldots,x_{T-1}\right\}\subseteq\mathbb{Z}_q=\{0,1,\ldots,q-1\}$ with $$0\leq x_0<x_1<\ldots< x_{T-1}\leq q-1.$$ We derive from $\mathcal{S}$ three (finite) sequences. 1. For an integer $M\geq 2$ let $(s_n)$ be the $M$-ary sequence defined by \begin{eqnarray*} s_n\equiv x_{n+1}-x_n \bmod M, \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 2. For an integer $m\geq 2$ let $(t_n)$ be the binary sequence defined by \begin{eqnarray*} t_n=\left\{\begin{array}{ll} 1, & \hbox{if } 1\leq x_{n+1}-x_n\leq m-1, \\ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 3. Let $(u_n)$ be the characteristic sequence of $\mathcal{S}$, \begin{eqnarray*} u_n=\left\{\begin{array}{ll} 1, & \hbox{if } n\in \mathcal{S}, \\ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, q-1. \end{eqnarray*} We study the balance and pattern distribution of the sequences $(s_n)$, $(t_n)$ and $(u_n)$. For sets $\mathcal{S}$ with desirable pseudorandom properties, more precisely, sets with low correlation measures, we show the following: 1. The sequence $(s_n)$ is (asymptotically) balanced and has uniform pattern distribution if $T$ is of smaller order of magnitude than $q$. 2. The sequence $(t_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $\left(1-\frac{1}{2^{1/(m-1)}}\right)q$. 3. The sequence $(u_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $\frac{q}{2}$. These results are motivated by earlier results for the sets of quadratic residues and primitive roots modulo a prime. We unify these results and derive many further (asymptotically) balanced sequences with uniform pattern distribution from pseudorandom subsets.