Abstract
The study of aperiodic Hamming correlation (APC) of frequency hopping sequences (FHSs) is a hard problem that has not been paid enough attention in the literature. For low-hit-zone (LHZ) FHSs, the study of APC becomes more difficult. We call them LHZ FHSs under APC (LHZ-APC FHSs). LHZ-APC FHSs are studied for the first time in this paper. First, we establish a bound on the family sizes of LHZ-APC FHS sets. Then we present a method for constructions of LHZ-APC FHS sets based on conventional FHS sets under periodic Hamming correlation (conventional PC FHS sets). By choosing different conventional PC FHS sets, we obtain three classes of LHZ-APC FHS sets whose family sizes are optimal or near optimal according to this new bound. Further, we modify the construction method and get more new LHZ-APC FHS sets with optimal family sizes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries
Aperiodic Hamming correlation (APC) of frequency hopping sequences (FHSs) provides a better evaluation for frequency hopping (FH) spread-spectrum (SS) systems than periodic Hamming correlation (PC). However, it is hard to find mathematical tools to design FHSs with good APC properties. APC of FHSs has not been paid enough attention in the literature compared with PC. There are a lot of constructions for FHSs with good PC [1,2,3, 6,7,8,9, 12, 24, 27, 29]. Recently, several results on APC of conventional FHSs have emerged [13, 14, 17, 31]. We call them conventional FHSs under APC (conventional APC FHSs). For quasi-synchronous FH SS systems, low-hit-zone (LHZ) FHSs are necessary as the time delay can be controlled within the LHZ. The interference is reduced as the time delay is kept in the LHZ [30]. There are some results on PC of LHZ FHSs [4, 16, 19, 20, 22, 23, 25]. For APC of LHZ FHSs, however, there are still not good results [21]. The study of APC of LHZ FHSs is very difficult.
This paper focuses on the APC of LHZ FHSs. We call them LHZ FHSs under APC (LHZ-APC FHSs). We first derive a bound on the family sizes of LHZ-APC FHS sets. Then we present a method for constructions of LHZ-APC FHS sets based on conventional FHS sets under PC (conventional PC FHS sets) and get three classes of LHZ-APC FHS sets. Further, we modify the construction method and get another class of LHZ-APC FHS sets. All of the LHZ-APC FHS sets in this paper have optimal or near optimal family sizes according to this new bound.
Next we give some notations and definitions.
Let \(Q\!=\!\{q_0,q_1,\cdots ,q_{\lambda -1}\}\) be a set of frequency slots. Let \(G\!=\!\{G^0,G^1,\cdots ,G^{M-1}\}\) be an FHS set over Q, where \(G^k\!=\!(g_0^k,g_1^k,\cdots ,g_{N-1}^k)\) for \(k=0,1,\cdots ,M-1\). For any integers x, y, let \(\langle y\rangle _x\) satisfy that \(y\equiv \langle y\rangle _x\) mod x and \(0\le \langle y\rangle _x\le x-1\). For \(G^{k_1},G^{k_2}\in G\), \(0\le k_1,k_2\le M-1\), their PC function is
where \(c(u,v)=0\) for \(u\ne v\) and \(c(u,v)=1\) for \(u=v\), and \(\varsigma \) is the time delay. Their APC function at time delay \(\varsigma \) (\(0\le \varsigma \le N-1\)) is
Let \(P_a,P_c,P_m\) be the maximum periodic Hamming auto-correlation (PAC), maximum periodic Hamming cross-correlation (PCC), and maximum PC of G respectively, which are given as follows:
By considering the PC in above definitions, we call G a conventional PC FHS set.
Let G be an LHZ FHS set whose LHZ is Z. Let \(C_a,C_c,C_m\) be the maximum aperiodic Hamming auto-correlation (APAC), maximum aperiodic Hamming cross-correlation (APCC), and maximum APC of G respectively, which are given as follows:
By considering the APC in above definitions, G is an LHZ-APC FHS set. When \(Z=N-1\), G becomes a conventional APC FHS set.
In the remainder, we denote an LHZ-APC FHS set with family size M, sequence length N, frequency slot number \(\lambda \), and LHZ Z, by \([N,M,\lambda ,Z]\), a conventional APC FHS set with family size M, sequence length N, frequency slot number \(\lambda \), by \([N,M,\lambda ]\), and a conventional PC FHS set with family size M, sequence length N, frequency slot number \(\lambda \), by \((N,M,\lambda )\).
By utilizing the Singleton bound, Ding et al. [5] and Yang et al. [28] obtained a bound on conventional PC FHS sets.
Lemma 1
(Singleton bound on conventional PC FHS sets) For an \((N,M,\lambda )\) FHS set with maximum PC \(P_m\), we have
Liu et al. [15, 18] then improved this bound.
Lemma 2
For an \((N,M,\lambda )\) FHS set with maximum PC \(P_m\), we have
where \(\varphi (\kappa )\) is the M\(\ddot{\text {o}}\)bius function, i.e.
Definition 1
Let \(G'\) be an \((N',M',\lambda ')\) FHS set with maximum PC \(P'_m\). If \(M=M'\) is the largest integer satisfying (3) or (4), then the family size of \(G'\) is optimal.
2 A bound on LHZ-APC FHS sets
We establish a bound on the family sizes of LHZ-APC FHS sets in this section.
Theorem 1
For an \([N,M,\lambda ,Z]\) LHZ-APC FHS set with maximum APC \(C_m\), we have
Proof
Let \(G=\{G^0,G^1,\cdots ,G^{M-1}\}\) be an \([N,M,\lambda ,Z]\) LHZ-APC FHS set with maximum APC \(C_m\), where \(G^k=(g_0^k,g_1^k,\cdots ,g_{N-1}^k)\) for \(k=0,1,\cdots ,M-1\). For \(0\le k_1,k_2\le M-1\) and \(0\le \varsigma \le Z\), the APC between \(G^{k_1}\) and \(G^{k_2}\) at time delay \(\varsigma \) is
Since the maximum APC of G is \(C_m\), we have
for \((k_1-k_2)^2+\varsigma ^2\ne 0\).
Case 1: \(N-C_m\le Z+1\). For two vectors \((g_{t_1}^{k_1},g_{t_1+1}^{k_1},\cdots ,g_{t_1+C_m}^{k_1})\) and \((g_{t_2}^{k_2},g_{t_2+1}^{k_2},\) \(\cdots ,g_{t_2+C_m}^{k_2})\) where \(0\le t_1\le t_2\le N-C_m-1\), \((t_1-t_2)^2+(k_1-k_2)^2\ne 0\), we have
Since \(0\le t_2-t_1\le N-C_m-1\le Z\) and \((k_1-k_2)^2+(t_2-t_1)^2\ne 0\), by (7) and (8) we have
This means that in the vector set
the elements are distinct. Since it is up to \(\lambda ^{C_m+1}\) different sequences with length \(C_m+1\), we have \((N-C_m)M\le \lambda ^{C_m+1}\) which leads to
Case 2: \(N-C_m>Z+1\). Let \((g_{t_1}^{k_1},g_{t_1+1}^{k_1},\cdots ,g_{t_1+C_m}^{k_1})\) and \((g_{t_2}^{k_2},g_{t_2+1}^{k_2},\cdots ,g_{t_2+C_m}^{k_2})\) be two vectors, where \(0\le t_1\le t_2\le Z\), \((t_1-t_2)^2+(k_1-k_2)^2\ne 0\). Note that \(C_m<N-Z-1\le N-t_2-1\). Similar to Case 1, we have
which means that in the vector set
the elements are distinct. Thus, we have \((Z+1)M\le \lambda ^{C_m+1}\). It follows that
Case 1 and Case 2 imply that \(M\le \frac{\lambda ^{C_m+1}}{\min \{N-C_m,Z+1\}}\). \(\square \)
Let \(Z=N-1\) in (5). It degenerates into the bound on conventional APC FHS sets. It was first derived by Liu and Peng [13] in 2014.
Corollary 1
For an \([N,M,\lambda ]\) conventional APC FHS set with maximum APC \(C_m\), we have
Definition 2
Let \(G'\) be an \([N',M',\lambda ',Z']\) LHZ-APC FHS set with maximum APC \(C'_m\). If \(M=M'\) is the largest integer satisfying (5), then the family size of \(G'\) is optimal. If \(M=M'+1\) is the largest integer satisfying (5), then the family size of \(G'\) is near optimal.
Definition 3
Let \(G'\) be an \([N',M',\lambda ']\) FHS set with maximum APC \(C'_m\). If \(M=M'\) is the largest integer satisfying (13), then the family size of \(G'\) is optimal. If \(M=M'+1\) is the largest integer satisfying (13), then the family size of \(G'\) is near optimal.
Example 1
For a frequency slot set \(Q=\{0,1,2,3,4,5,6,7,8\}\), a [10, 20, 9, 3] LHZ-APC FHS set G is
It can be verified that the maximum APC of the LHZ-APC FHS set G is 1. By (5)
which implies that the family size of LHZ-APC FHS set G is optimal.
3 A new method for constructions of LHZ-APC FHS sets
Now a new method which is suitable for constructions of LHZ-APC FHS sets is given. Then we construct LHZ-APC FHS sets, whose family sizes are optimal/near optimal with respect to the new bound.
A construction method:
Step 1: Choose an \((N,M,\lambda )\) conventional PC FHS set \(T=\{T^0,T^1,\cdots ,T^{M-1}\}\), where \(T^k=(t_0^k,t_1^k,\cdots ,t_{N-1}^k)\) for \(k=0,1,\cdots ,M-1\). \(P_m\) is the maximum PC of T.
Step 2: Let Z, l be two integers such that \(Z+1\mid N\) and \(P_m\le l\le N-Z-1\). An LHZ-APC FHS set S is given by
where the subscripts are performed modulo N.
We illustrate this construction method by Fig. 1. We choose \(Z=2,l=5\) by giving a conventional PC FHS set T with sequence length \(N=12\). For a sequence \((t_0^k,t_1^k,t_2^k,t_3^k,t_4^k,t_5^k,t_6^k,\) \(t_7^k,t_8^k,t_9^k,t_{10}^k,t_{11}^k)\in T\), select red square parts in Fig. 1 as sequences \(S^0,S^1,S^2,S^3\) respectively. Note that the red square parts of \(S^0,S^1,S^2,S^3\) overlap each other partially. The size of each overlapping area is l. We can get other sequences in this way from each sequence of T. Then a sequence set \(S\!=\!\{S^0\!,S^1\!,S^2\!,S^3\!,\cdots \}\) can be obtained. Next we will discuss the fact that S is an LHZ-APC FHS set whose family size is optimal under some conditions.
For the LHZ-APC FHS set S obtained by the construction method, the following result is obtained.
Theorem 2
S is an \([l+Z+1,\frac{MN}{Z+1},\lambda ,Z]\) LHZ-APC FHS set with maximum APC \(P_m\).
Proof
Obviously, the sequence length and family size of S are \(l+Z+1\) and \(\frac{MN}{Z+1}\) respectively. The frequency slot number is also \(\lambda \). For \(S^{j_1}=(t_{i_1(Z+1)}^{k_1},t_{i_1(Z+1)+1}^{k_1},\) \(\cdots ,t_{i_1(Z+1)+Z+l}^{k_1}),S^{j_2}=(t_{i_2(Z+1)}^{k_2},t_{i_2(Z+1)+1}^{k_2},\cdots ,t_{i_2(Z+1)+Z+l}^{k_2})\in S\), the APC function between them at time delay \(\varsigma \) is
Case 1: \(i_1=i_2\), \(k_1=k_2\), \(1\le \varsigma \le Z\). In this case, (15) becomes \(C_{S^{j_1}S^{j_2}}(\varsigma )\le \sum _{m=0}^{N-1}c(t_{m}^{k_1},t_{m+\varsigma }^{k_1})\le P_m\).
Case 2: \(k_1\ne k_2\), \(0\le \varsigma \le Z\). Similarly, we can get \(C_{S^{j_1}S^{j_2}}(\varsigma )\le P_m\).
Case 3: \(i_1\ne i_2\), \(0\le \varsigma \le Z\). Since \(\langle i_2(Z+1)-i_1(Z+1)+\varsigma \rangle _N\ne 0\), we have \(C_{S^{j_1}S^{j_2}}(\varsigma )\le P_m\).
Thus, within LHZ Z, the maximum APC of S is \(P_m\). \(\square \)
Then we discuss the optimality of S.
Theorem 3
The LHZ-APC FHS set S has optimal family size by (5) if T has optimal family size by bound (3) and \(\left\lfloor \frac{\lambda ^{P_m+1}}{Z+1}\right\rfloor =\frac{N}{Z+1}\cdot \left\lfloor \frac{\lambda ^{P_m+1}}{N}\right\rfloor \).
Proof
If the conventional PC FHS set T has optimal family size by (3), then
Since \(\left\lfloor \frac{\lambda ^{P_m+1}}{Z+1}\right\rfloor =\frac{N}{Z+1}\cdot \left\lfloor \frac{\lambda ^{P_m+1}}{N}\right\rfloor \), we have
\(\frac{MN}{Z+1}=\left\lfloor \frac{\lambda ^{P_m+1}}{\min \{l+Z+1-P_m,Z+1\}}\right\rfloor \) holds for \(l\ge P_m\). \(\square \)
In order to illustrate the construction method by a concrete example, we choose a conventional PC FHS (1, 0, 1, 1, 2, 0, 2, 2) whose maximum PC is 2. By choosing \(Z=3\) and \(l=3\), an LHZ-APC FHS set \(\{(1,0,1,1,2,0,2),(2,0,2,2,1,0,1)\}\) can be obtained. It is easy to verify that the set is a [7, 2, 3, 3] LHZ-APC FHS set with maximum APC 2. Note that this example only illustrates the construction method without considering its optimality.
Next we give three classes of conventional PC FHS sets which will be used to generate LHZ-APC FHS sets which have optimal or near optimal family sizes. A finite field with prime power q is defined by \(\text {F}_q\).
A. First Class
For \(\text {F}_q\), let \(\alpha \) be its generator and \(\beta \) be a primitive \(n'\)th root of unity in \(\text {F}_q\) where \(n'\mid q-1\). Let
and
where \(1\le e<\min \{x:x\mid n',~x>1\}\).
Definition 4
For a sequence \(g=(g_0,g_1,\cdots ,g_{N-1})\), define \(\varrho ^i(g)=(g_i,g_{\langle i+1\rangle _N},\cdots ,\) \(g_{\langle i+N-1\rangle _N})\) for \(i=0,1,\cdots ,N-1\).
Definition 5
For two different sequences x, y, if there exists \(\varsigma \) making \(x=\varrho ^\varsigma (y)\), then x and y are cyclic equivalent.
Partition \(\mathbb {V}\) into cyclic equivalence classes \(\mathbb {V}_1,\mathbb {V}_2,\mathbb {V}_3,\cdots \) [26], that is, all the sequences that are cyclic equivalent constitute some \(\mathbb {V}_i\), \(i=1,2,3,\cdots \). Note that the cycle lengths of each cyclic equivalence class can be different. We only consider the cyclic equivalence classes whose cycle lengths are \(n'\). Select one element from each cyclic equivalence class with cycle length \(n'\), and put them together as set \(\mathbb {V}^*\).
Take \(\mathbb {V}^*\) as a conventional PC FHS set in Step 1 of the construction method. Let Z, l be two integers such that \(Z+1\mid n'\) and \(e-1\le l\le n'-Z-1\). Then an LHZ-APC FHS set \(S_1\) can be obtained by Step 2 of the construction method.
Theorem 4
\(S_1\) is an \([l+Z+1,\frac{q^e-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(e-1\) and has optimal family size by (5).
Proof
\(\mathbb {V}^*\) is an \((n',\frac{q^e-1}{n'},q)\) conventional PC FHS set with maximum PC \(e-1\) by Lemma 20 in [28], and has optimal family size by bound (3). By Theorem 2, \(S_1\) is an \([l+Z+1,\frac{q^e-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(e-1\). Since \(Z+1\mid n'\) and \(n'\mid q-1\), we have \(Z+1\mid q^e-1\). Then
By Theorem 3, \(S_1\) has optimal family size by (5). \(\square \)
Example 2
For \(q=512,n'=511,e=3,Z=72,l=427\), we can obtain a [500, 1838599, 512, 72] LHZ-APC FHS set with maximum APC 2. By (5)
Hence, it has optimal family size.
B. Second Class
For \(\text {F}_{q^2}\) with prime power q, let \(\delta \) be a primitive \(n'\)th root of unity in \(\text {F}_{q^2}\) where \(n'\) is odd and \(n'\mid q+1\). Define
For an integer \(e'\), \(1\le e'<\frac{\min \{x:x\mid n',~x>1\}+1}{2}\), let
where
Let A(x) be the parity-check polynomial of \(\mathbb {D}\) whose length is \(n'\). Partition \(\mathbb {D}\) into cyclic equivalence classes \(\mathbb {D}_1,\mathbb {D}_2,\mathbb {D}_3,\cdots \), that is, all the codewords that are cyclic equivalent constitute some \(\mathbb {D}_i\), \(i=1,2,3,\cdots \). We only consider the cyclic equivalence classes whose cycle lengths are \(n'\). Select one codeword from each cyclic equivalence class with cycle length \(n'\), and put them together as set \(\mathbb {D}^*\) which is a subset of \(\mathbb {D}\).
Take \(\mathbb {D}^*\) as a conventional PC FHS set in Step 1 of the construction method. Let Z, l be two integers such that \(Z+1\mid n'\) and \(2e'-1\le l\le n'-Z-1\). By Step 2 of the construction method, an LHZ-APC FHS set \(S_2\) can be generated.
Theorem 5
\(S_2\) is an \([l+Z+1,\frac{q^{2e'}-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(2e'-1\) and has optimal family size by (5).
Proof
In [17], we can deduce that \(\mathbb {D}^*\) is an \((n',\frac{q^{2e'}-1}{n'},q)\) conventional PC FHS set with maximum PC \(2e'-1\). It is clear that
Thus, \(\mathbb {D}^*\) has optimal family size by (3). By Theorem 2, \(S_2\) is an \([l+Z+1,\frac{q^{2e'}-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(2e'-1\). Since \(Z+1\mid n'\) and \(n'\mid q+1\), we have \(Z+1\mid q^{2e'}-1\). Then
By Theorem 3, \(S_2\) has optimal family size by (5). \(\square \)
Example 3
For \(q=64,n'=65,e'=2,Z=12,l=47\), a [60, 1290555, 64, 12] LHZ-APC FHS set with maximum APC 3 can be obtained. By bound (5), we have
Thus, it has optimal family size.
C. Third Class
For \(\text {F}_{q^2}\) with prime power q, let \(\alpha \) be its generator and \(\beta =\alpha ^{q-1}\). Let \(\text {tr}(x)\) be a trace function from \(\text {F}_{q^2}\) to \(\text {F}_q\). Define a one-to-one mapping from \(\{0,1,\cdots ,q-1\}\) to \(\text {F}_q\), by \(\pi (x)\). Let \(B=\{(b_0^j,b_1^j,\cdots ,b_q^j):0\le j\le q(q-1)-1\}\) where
for \(0\le x\le q-1\), \(0\le y\le q-2\), \(0\le i\le q\).
Take B as a conventional PC FHS set in Step 1 of the construction method. Let Z, l satisfy that \(Z+1\mid q+1\), \(Z>\frac{q}{2}-1\), and \(2\le l\le q-Z\). By Step 2 of the construction method, an LHZ-APC FHS set \(S_3\) can be generated.
Theorem 6
\(S_3\) is an \([l+Z+1,\frac{q(q^2-1)}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC 2 and has near optimal family size by (5).
Proof
In [17], it is known that B is a \((q+1,q(q-1),q)\) conventional PC FHS set with maximum PC 2. By Theorem 2, \(S_3\) is an \([l+Z+1,\frac{q(q^2-1)}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC 2. Since \(Z>\frac{q}{2}-1\) and \(2\le l\le q-Z\), we have \(\left\lfloor \frac{q}{Z+1}\right\rfloor =1\). For the LHZ-APC FHS set \(S_3\), by (5)
This implies that \(S_3\) has near optimal family size. \(\Box \)
Example 4
For \(q=11,Z=5,l=5\), an [11, 220, 11, 5] LHZ-APC FHS set with maximum APC 2 is obtained. By (5)
Thus, it has near optimal family size.
4 A modified method for constructions of LHZ-APC FHS sets
In this section, we modify the construction method for LHZ-APC FHS sets which was presented in Section 3.
A modified construction method:
Step 1: Let n, N satisfy that \(n\mid N\). The number of frequency slots is \(\lambda \). Choose a sequence set \(T=\{U^0,U^1,\cdots ,U^{M_1-1},V^0,V^1,\cdots ,V^{M_2-1}\}\) with sequence length N, where \(U^{k_1}=(u_0^{k_1},u_1^{k_1},\cdots ,u_{N-1}^{k_1})\) for \(k_1=0,1,\cdots ,M_1-1\) and \(V^{k_2}=(v_0^{k_2},v_1^{k_2},\cdots ,\) \(v_{n-1}^{k_2},v_0^{k_2},v_1^{k_2},\cdots ,v_{n-1}^{k_2},\cdots ,v_0^{k_2},v_1^{k_2},\cdots ,v_{n-1}^{k_2})\) for \(k_2=0,1,\cdots ,M_2-1\). It is clear that \(V^{k_2}\) has cycle length n. Here, \(P_{U^{k_1}U^{k_1}}(\varsigma )\le P_m\) for \(1\le \varsigma \le N-1\), \(k_1=0,1,\cdots ,M_1-1\), and \(P_{V^{k_2}V^{k_2}}(\varsigma )\le P_m\) for \(1\le \varsigma \le n-1\), \(k_2=0,1,\cdots ,M_2-1\). The maximum PCC of T is \(P_m\).
Step 2: Let Z, l be two integers such that \(Z+1\mid n\) and \(P_m\le l\le N-Z-1\). An LHZ-APC FHS set S is given as
where the subscripts of \(u_{i(Z+1)+i'}^{k_1}\) and \(v_{j(Z+1)+i'}^{k_2}\), \(i'=0,1,\cdots ,Z+l\), are performed modulo N and n, respectively.
We illustrate the LHZ-APC FHSs generated by a sequence with cycle length n as follows.
In Fig. 2, the sequence set T has sequence length \(N=12\). For \(V^k=(v_0^k,v_1^k,v_2^k,v_3^k,\) \(v_4^k,v_5^k,v_0^k,v_1^k,v_2^k,v_3^k,v_4^k,v_5^k)\in T\), \(k=0,1,\cdots ,M_2-1\), we choose \(Z=2,l=5\). It is clear that \(V^k\) has cycle length \(n=6\). Select red square parts in Fig. 2 as sequences \(S^0,S^1\) respectively. It is easy to see that \(S^0\) and \(S^1\) overlap each other partially within the cycle length \(n=6\). The size of each overlapping area is l. Note that \(l>n-Z-1\) in Fig. 2. The other sequences generated by \(U^0,U^1,\cdots ,U^{M_1-1}\) are performed in the same way as that in Section 3. Then \(S=\{S^0,S^1,\cdots \}\) can be generated.
Theorem 7
S is an \([l+Z+1,\frac{M_1N+M_2n}{Z+1},\lambda ,Z]\) LHZ-APC FHS set with maximum APC \(P_m\).
Proof
Obviously, the sequence length and family size of S are \(l+Z+1\) and \(\frac{M_1N+M_2n}{Z+1}\) respectively. The number of frequency slots is also \(\lambda \). For \(S^{m_1}=(v_{j_1(Z+1)}^{k_{21}},\) \(v_{j_1(Z+1)+1}^{k_{21}},\cdots ,\) \(v_{j_1(Z+1)+Z+l}^{k_{21}}),S^{m_2}=(v_{j_2(Z+1)}^{k_{22}},v_{j_2(Z+1)+1}^{k_{22}},\cdots ,v_{j_2(Z+1)+Z+l}^{k_{22}})\in S\), their APC function at time delay \(\varsigma \) is
The subscripts are performed modulo n.
Case 1: \(j_1=j_2\), \(k_{21}=k_{22}\), \(1\le \varsigma \le Z\). In this case, (23) becomes \(C_{S^{m_1}S^{m_2}}(\varsigma )\le P_{V^{k_{21}}V^{k_{21}}}(\varsigma )\le P_m\).
Case 2: \(k_{21}\ne k_{22}\), \(0\le \varsigma \le Z\). Similarly, we can get \(C_{S^{m_1}S^{m_2}}(\varsigma )\le P_m\).
Case 3: \(j_1\ne j_2\), \(0\le \varsigma \le Z\). Note that \(j_1,j_2=0,1,\cdots ,\frac{n}{Z+1}-1\). If \(j_1<j_2\), then \(Z+1\le j_2(Z+1)-j_1(Z+1)+\varsigma \le n-1\) which leads to \(C_{S^{m_1}S^{m_2}}(\varsigma )\le P_m\). If \(j_1>j_2\), then \(Z+1-n\le j_2(Z+1)-j_1(Z+1)+\varsigma \le -1\). Since \(P_{V^{k_{21}}V^{k_{22}}}(j_2(Z+1)-j_1(Z+1)+\varsigma )=P_{V^{k_{22}}V^{k_{21}}}(-(j_2(Z+1)-j_1(Z+1)+\varsigma ))\), we have \(C_{S^{m_1}S^{m_2}}(\varsigma )\le P_{V^{k_{22}}V^{k_{21}}}(-(j_2(Z+1)-j_1(Z+1)+\varsigma ))\le P_m\).
For \(S^{m_1}=(u_{i(Z+1)}^{k_1},u_{i(Z+1)+1}^{k_1},\cdots ,u_{i(Z+1)+Z+l}^{k_1}),S^{m_2}=(v_{j(Z+1)}^{k_2},v_{j(Z+1)+1}^{k_2},\cdots ,\) \(v_{j(Z+1)+Z+l}^{k_2})\in S\), the APC function between them at time delay \(\varsigma \) is
The subscripts of \(u_{i(Z+1)+m}^{k_1}\) and \(v_r^{k_2}\), \(r=j(Z+1)+m+\varsigma ,m+j(Z+1)-i(Z+1)+\varsigma \), are performed modulo N and n, respectively.
For \(S^{m_1}=(u_{i_1(Z+1)}^{k_{11}},u_{i_1(Z+1)+1}^{k_{11}},\cdots ,u_{i_1(Z+1)+Z+l}^{k_{11}}),S^{m_2}=(u_{i_2(Z+1)}^{k_{12}},u_{i_2(Z+1)+1}^{k_{12}},\) \(\cdots ,u_{i_2(Z+1)+Z+l}^{k_{12}})\in S\), we can get the same results in a similar way.
Thus, the maximum APC of S is \(P_m\) within LHZ Z. \(\square \)
Next we give a class of sequence sets which was described by Step 1 of the modified construction method. Then a class of LHZ-APC FHS sets can be generated.
In (18), we set \(\min \{x:x\mid n',~x>1\}\le e<\min \{y:y\mid n',~y>\min \{x:x\mid n',~x>1\}\}\). Let \(n'=q-1\) in (19). Select an element from each equivalence class of \(\mathbb {V}\), and \(\mathbb {H'}\) is obtained. Define a set consisting of those elements \(x\in \mathbb {H'}\) which have cycle length \(q-1\), by \(\mathbb {U'}\). Let \(\mathbb {V'}=\{V:V\in \mathbb {H'}\backslash \mathbb {U'},~V\ne (0,0,\cdots ,0)\}\). By Theorem 3.3 in [26], the elements in \(\mathbb {V'}\) have cycle length \(\frac{q-1}{\min \{x:x\mid q-1,~x>1\}}\). Next we will determine the sizes of \(\mathbb {U'}\) and \(\mathbb {V'}\).
For simplicity and convenience, let \(\theta =\min \{x:x\mid q-1,~x>1\}\).
Lemma 3
The size of \(\mathbb {H'}\) is
Proof
Let \(\varrho \) be defined in Definition 4. By the Polya’s counting formula [10], we have
under the cyclic group \(\{\varrho ,\varrho ^2,\cdots ,\varrho ^{q-1}\}\), where \(\phi (\cdot )\) is the Euler \(\phi \)-function and \(I(\varrho ^l)\) the number of elements in \(\mathbb {V}\) fixed by \(\varrho ^l\). Let \(J_m\) be the number of equivalence classes whose cycle lengths are m. Thus, \(I(\varrho ^l)=\sum _{m\mid l}mJ_m\). For a codeword with cycle length \(m\mid l\), we have
which leads to
Then \(\sum _{i=1}^ea_i(\beta ^{il}-1)x^i=0\) has \(q-1\) different roots. Since \(e<q-1\), we have
For \(il\not \equiv 0\) mod \(q-1\), since \(\beta ^{il}-1\ne 0\), we have \(a_i=0\). Thus any codeword with cycle length \(m\mid l\) can be given as follows
Note that the size of \(\{i:q-1\mid il,~1\le i\le e\}\) is \(\left\lfloor \frac{el}{q-1}\right\rfloor \). For \(l\mid q-1\) we have
Thus
By the properties of the Euler’s function [10, 11], \(\phi (p)=p-1\) for a prime p, \(\phi (1)=1\), and \(\sum _{l\mid q-1}\phi (l)=q-1\). Since \(\theta \le e<\min \{y:y\mid q-1,~y>\theta \}\), we have
\(\square \)
Theorem 8
The size of \(\mathbb {U'}\) is
Proof
We have
by Lemma 19 in [28], where \(\varphi (l)\) is the M\(\ddot{\text {o}}\)bius function. By the properties of the M\(\ddot{\text {o}}\)bius function [10, 11], \(\varphi (1)=1\) and \(\sum _{l\mid q-1}\varphi (l)=0\). Since \(\theta \le e<\min \{y:y\mid q-1,~y>\theta \}\), we have
\(\square \)
Theorem 9
The size of \(\mathbb {V'}\) is
Proof
We have
\(\square \)
Take \(\mathbb {U'}\bigcup \mathbb {V'}\) as a sequence set in Step 1 of the modified construction method. It is easily checked that the sequence set meets the conditions in Step 1 with \(P_m=e-1\). Let Z, l be two integers such that \(Z+1\mid \frac{q-1}{\theta }\) and \(e-1\le l\le q-Z-2\). Then an LHZ-APC FHS set \(S_4\) is obtained by Step 2 of the modified construction method.
Theorem 10
\(S_4\) is an \([l+Z+1,\frac{q^e-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(e-1\) and has optimal family size by (5).
Proof
By Theorems 7, 8, and 9, \(S_4\) is an \([l+Z+1,\frac{q^e-1}{Z+1},q,Z]\) LHZ-APC FHS set with maximum APC \(e-1\). Since \(Z+1\mid \frac{q-1}{\theta }\), we have \(Z+1\mid q^e-1\). By bound (5), \(S_4\) has optimal family size. \(\square \)
Remark 1
The parameters of \(S_4\) are different from those of \(S_1\) in Theorem 4, since the restrictions for \(S_4\) include \(\theta \le e<\min \{y:y\mid q-1,~y>\theta \}\) and \(e-1\le l\le q-Z-2\) which are not same as \(S_1\).
Example 5
For \(q=11,e=4,Z=4,l=4\), one can obtain a [9, 2928, 11, 4] LHZ-APC FHS set with maximum APC 3. By bound (5), we have
Then it has optimal family size.
Note that by setting \(q=11,n'=5,e=4,Z=4\), we can still not get a [9, 2928, 11, 4] LHZ-APC FHS set with maximum APC 3 by First Class in Section 3. This is because l is restricted by \(l\le n'-Z-1\) in Section 3. But by utilizing the modified construction method in this section, an LHZ-APC FHS set with these parameters can be obtained.
5 Conclusion
In this paper, a bound on the family sizes of LHZ-APC FHS sets was established. Then a method for constructions of LHZ-APC FHS sets was proposed, which is based on conventional PC FHS sets. By choosing different conventional PC FHS sets, three classes of LHZ-APC FHS sets were obtained. Moreover, the construction method was modified, which generated another class of LHZ-APC FHS sets. It should be noted that all of the LHZ-APC FHS sets in this paper have optimal or near optimal family sizes with respect to the new bound.
Table 1 lists the parameters of the LHZ-APC FHS sets in this paper.
Change history
12 April 2024
A Correction to this paper has been published: https://doi.org/10.1007/s12095-024-00714-1
References
Bao, J.J., Ji, L.J.: New families of optimal frequency hopping sequence sets. IEEE Trans. Inf. Theory. 62, 5209–5224 (2016)
Chu, W., Colbourn, C.J.: Optimal frequency-hopping sequences via cyclotomy. IEEE Trans. Inf. Theory. 51, 1139–1141 (2005)
Chung, J.H., Han, Y.K., Yang, K.: New classes of optimal frequency-hopping sequences by interleaving techniques. IEEE Trans. Inf. Theory. 45, 5783–5791 (2009)
Chung, J.H., Yang, K.: New classes of optimal low-hit-zone frequency-hopping sequence sets by Cartesian product. IEEE Trans. Inf. Theory. 59, 726–732 (2013)
Ding, C., Fuji-Hara, R., Fujiwara, Y., Jimbo, M., Mishima, M.: Sets of frequency hopping sequences: bounds and optimal constructions. IEEE Trans. Inf. Theory. 55, 3297–3304 (2009)
Ding, C., Yang, Y., Tang, X.H.: Optimal sets of frequency hopping sequences from linear cyclic codes. IEEE Trans. Inf. Theory. 55, 3605–3612 (2010)
Fan, P.Z., Lee, M.H., Peng, D.Y.: New family of hopping sequences for time/frequency-hopping CDMA systems. IEEE Trans. Wireless Commun. 4, 2836–2842 (2005)
Fuji-Hara, R., Miao, Y., Mishima, M.: Optimal frequency hopping sequences: a combinatorial approach. IEEE Trans. Inf. Theory. 50, 2408–2420 (2004)
Ge, G., Miao, Y., Yao, Z.: Optimal frequency hopping sequences: auto- and cross-correlation properties. IEEE Trans. Inf. Theory. 55, 867–879 (2009)
Golomb S.W.: A mathematical theory of discrete classification. Proc. 4th London Symp. Information Theory. London, U.K.. 404-425 (1961)
Golomb, S.W., Gordon, B., Welch, L.R.: Comma-free codes. Can. J. Math. 10, 202–209 (1958)
Lempel, A., Greenberger, H.: Families of sequences with optimal Hamming correlation properties. IEEE Trans. Inf. Theory. 20, 90–94 (1974)
Liu, X., Peng, D.Y.: Sets of frequency hopping sequences under aperiodic Hamming correlation: upper bound and optimal constructions. Adv. Math. Commun. 8, 359–373 (2014)
Liu, X., Peng, D.Y.: Frequency hopping sequences with optimal aperiodic Hamming correlation by interleaving techniques. Adv. Math. Commun. 11, 151–159 (2017)
Liu X., Peng D.Y., and Han H.Y.: Improved Singleton bound on frequency hopping sequences. Proc. of the 8th International Conference on Sequences and Their Applications. 8865, 305-314 (2014)
Liu, X., Shu, Q., Zeng, Q.: Low-hit-zone frequency/time hopping sequence sets with large family size. IEEE Access. 7, 181733–181739 (2019)
Liu, X., Zeng, Q.: Frequency hopping sequence sets with good aperiodic Hamming correlation properties and large family size. IEEE Commun. Lett. 23, 394–397 (2019)
Liu, X., Zhou, L.: Improved Singleton bound on frequency hopping sequences and optimal constructions. Des. Codes Cryptogr. 87, 1713–1733 (2019)
Liu, X., Zhou, L.: New bound on partial Hamming correlation of low-hit-zone frequency hopping sequences and optimal constructions. IEEE Commun. Lett. 22, 878–881 (2018)
Liu, X., Zhou, L., Li, S.Q.: A new method to construct strictly optimal frequency hopping sequences with new parameters. IEEE Trans. Inf. Theory. 65, 1828–1844 (2019)
Liu, X., Zhou, L., Zeng, Q.: No-hit-zone frequency hopping sequence sets with respect to aperiodic Hamming correlation. Electron. Lett. 54, 212–213 (2018)
Ma, W., Sun, S.: New designs of frequency hopping sequences with low hit zone. Des. Codes Cryptogr. 60, 145–153 (2011)
Niu, X.H., Peng, D.Y., Zhou, Z.C.: New classes of optimal frequency hopping sequences with low hit zone. Adv. Math. Commun. 7, 293–310 (2013)
Peng, D.Y., Fan, P.Z.: Lower bounds on the Hamming auto- and cross correlations of frequency-hopping sequences. IEEE Trans. Inf. Theory. 50, 2149–2154 (2004)
Peng, D.Y., Fan, P.Z., Lee, M.H.: Lower bounds on the periodic Hamming correlations of frequency hopping sequences with low hit zone. Sci. China Inf. Sci. 49, 1–11 (2006)
Song, H.Y., Reed, I.S., Golomb, S.W.: On the nonperiodic cyclic equivalent classes of Reed-Solomon codes. IEEE Trans. Inf. Theory. 39, 1431–1434 (1993)
Wang, Q.: Optimal sets of frequency hopping sequences with large linear spans. IEEE Trans. Inf. Theory. 56, 1729–1736 (2010)
Yang, Y., Tang, X.H., Udaya, P., Peng, D.Y.: New bound on frequency hopping sequence sets and its optimal constructions. IEEE Trans. Inf. Theory. 57, 7605–7613 (2011)
Zeng, X.Y., Cai, H., Tang, X.H., Yang, Y.: A class of optimal frequency hopping sequences with new parameters. IEEE Trans. Inf. Theory. 58, 4899–4907 (2012)
Zhou, Z.C., Tang, X.H., Gong, G.: A new class of sequences with zero or low correlation zone based on interleaving technique. IEEE Trans. Inf. Theory. 54, 4267–4273 (2008)
Zhou, Z.C., Tang, X.H., Yang, Y., Udaya, P.: A hybrid incomplete exponential sum with application to aperiodic Hamming correlation of some frequency-hopping sequences. IEEE Trans. Inf. Theory. 58, 6610–6615 (2012)
Acknowledgements
This work was supported in part by the National Natural Science Foundation of China (Grant Nos. 61901288, 62171387) and in part by the Fundamental Research Funds for the Central Universities (Grant No. 2019SCU12004).
Author information
Authors and Affiliations
Contributions
All the work in this paper was done by Xing Liu.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised due to a retrospective Open Access order.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, X. Low-hit-zone frequency hopping sequence sets under aperiodic Hamming correlation. Cryptogr. Commun. 16, 629–645 (2024). https://doi.org/10.1007/s12095-023-00691-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12095-023-00691-x
Keywords
- Frequency hopping sequences
- Aperiodic Hamming correlation
- Low hit zone
- Theoretical bound
- Quasi-synchronous frequency hopping systems