Next Article in Journal
Distinguishing the Leading Agents in Classification Problems Using the Entropy-Based Metric
Next Article in Special Issue
Evaluating the Gilbert–Varshamov Bound for Constrained Systems
Previous Article in Journal
Lossless and Near-Lossless Compression Algorithms for Remotely Sensed Hyperspectral Images
Previous Article in Special Issue
Non-Projective Two-Weight Codes
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Constructions and Mathematical Properties of Zero-Correlation-Zone Sonar Sequences

School of Electrical and Electronic Engineering, Yonsei University, Seoul 03722, Republic of Korea
*
Author to whom correspondence should be addressed.
In memory of Herbert Taylor.
Entropy 2024, 26(4), 317; https://doi.org/10.3390/e26040317
Submission received: 9 February 2024 / Revised: 28 March 2024 / Accepted: 2 April 2024 / Published: 5 April 2024
(This article belongs to the Special Issue Discrete Math in Coding Theory)

Abstract

:
In this paper, we propose the zero-correlation-zone (ZCZ) of radius r on two-dimensional m × n sonar sequences and define the ( m , n , r ) ZCZ sonar sequences. We also define some new optimality of an ( m , n , r ) ZCZ sonar sequence which has the largest r for given m and n. Because of the ZCZ for perfect autocorrelation, we are able to relax the distinct difference property of the conventional sonar sequences, and hence, the autocorrelation of ZCZ sonar sequences outside ZCZ may not be upper bounded by 1. We may sometimes require such an ideal autocorrelation outside ZCZ, and we define ZCZ-DD sonar sequences, indicating that it has an additional distinct difference (DD) property. We first derive an upper bound on the ZCZ radius r in terms of m and n m . We next propose some constructions for ( m , n , r ) ZCZ sonar sequences, which leads to some very good constructive lower bound on r. Furthermore, this construction suggests that for m and r, the parameter n can be as large as possible indefinitely. We present some exhaustive search results on the existence of ( m , n , r ) ZCZ sonar sequences for some small values of r. For ZCZ-DD sonar sequences, we prove that some variations of Costas arrays construct some ZCZ-DD sonar sequences with ZCZ radius r = 2 . We also provide some exhaustive search results on the existence of ( m , n , r ) ZCZ-DD sonar sequences. Lots of open problems are listed at the end.

1. Introduction

Sonar sequences are two-dimensional synchronizing patterns of dots and blanks with minimal ambiguity [1]. Rectangular array representation of sonar sequences is defined by having only one dot per column and the distinct difference properties of the dots. They are used in active sonar systems to improve target detection performance. They are also useful in radar [2] and many other applications where optimal 2-dimensional autocorrelation is required. Costas arrays as sonar sequences were introduced by J. P. Costas in 1984 [3]. Subsequently, research interest was aroused in the existence [4], enumeration, construction [5,6,7,8], and mathematical properties [9,10,11,12] of Costas arrays and also sonar sequences. It is further generalized into various shapes, for example, honeycomb array, maintaining the distinct difference properties [13].
Numerous studies have delved into the structural properties of sonar sequences. The properties of symmetry were discussed for Welch and Golomb constructions in [14]. S. W. Golomb and H. Taylor had previously proposed a weakened version of the conjecture, asserting that single periodicity was characteristic of Welch construction of the Costas array. Subsequently, in [15], the concept of cyclic Costas sequences was introduced, along with the conjecture that a Costas sequence is cyclic if and only if it is Welch.
With the introduction of Costas arrays, the search for the number of Costas arrays began using computers, even though computers were not well developed at the time. R. Games and M. Chao were the first to report exact values for order n 10 , the values for n 12 were found by J. P. Costas, and J. Robbins furthered the search up to n = 13 in 1984 [8]. In 1988, Silverman et al. reported a further extension to n = 17 , and developed a probabilistic estimation formula for the number of Costas arrays [16]. In 2011, K. Drakakis and S. Rickard et al. published results enumerating Costas arrays up to n = 29 [17].
In one dimension, a binary sequence is called to have an ideal autocorrelation when the out-of-phase autocorrelation magnitude is at most 1 or 2 according to the period of the sequence [18,19]. In [20], P. Fan proposed the concept of zero-correlation-zone (ZCZ) in which the autocorrelation is zero (perfect). As one-dimensional CDMA sequences, binary or non-binary ZCZ sequences can be used to perfectly eliminate co-channel and multipath interference for quasi-synchronous CDMA systems [21]. Therefore, they do not care for the autocorrelation values of ZCZ sequences outside ZCZ. It would have been mathematically or theoretically desirable if the autocorrelation magnitudes of ZCZ sequences were also very low or even close to zero, which is not at all required for QS-CDMA systems using ZCZ sequences since the system performance depends only on the autocorrelation magnitudes inside ZCZ [21,22]. In addition, several studies on the construction and bounds of these one-dimensional ZCZ sequences have been published [22,23,24].
Sonar sequences are two-dimensional synchronizing patterns since their autocorrelation properties are well-described in two dimensions. We now propose for the first time the concept of ZCZ into sonar sequences, and we emphasize that we do care for the autocorrelation value zero inside ZCZ (except for the in-phase, of course) and we do not care for the value outside ZCZ. As we have mentioned in the previous paragraph, it would have been great if we could define a ZCZ sonar sequence that has not only the zero autocorrelation value inside ZCZ but also the value of at most 1 outside ZCZ. We will call such a ZCZ sonar sequence a ZCZ-DD sonar sequence, which is itself a sonar sequence. We note, therefore, that a ZCZ sonar sequence may not be a (conventional) sonar sequence since it may lack the so called distinct difference property that defines sonar sequences.
In this paper, we propose the zero-correlation-zone (ZCZ) of radius r on two-dimensional m × n sonar sequences and define the ( m , n , r ) ZCZ sonar sequences. We also define some new optimality of an ( m , n , r ) ZCZ sonar sequence which has the largest r for given m and n. Because of the ZCZ for perfect autocorrelation, we are able to relax the distinct difference property of the conventional sonar sequences, and hence, the autocorrelation of ZCZ sonar sequences outside ZCZ may not be upper bounded by 1. We may sometimes require such an ideal autocorrelation outside ZCZ, and we call this a ZCZ-DD sonar sequence, indicating that it has an additional distinct difference (DD) property.
It is to be noted that, for conventional sonar sequences (without considering ZCZ), one has to increase the value n for a given m in order to increase the overall autocorrelation performance [25,26]. This gives the definition of (conventional) optimal ( m , n ) sonar sequences with largest n for a given m [26]. Now, we emphasize that it is quite appropriate to think of the new optimality of ( m , n , r ) ZCZ sonar sequences with largest value of r given m and n, since now it has perfect autocorrelation inside ZCZ and hence it is desirable to have as large ZCZ as possible for given size m × n . It is because we may be able to limit the operating range (of active sonar systems) inside ZCZ, as is the case for the one-dimensional sequences with ZCZ [20].
In Section 2, we review sonar sequences, encompassing essential definitions, properties, autocorrelation properties, and some well-known constructions. We introduce the Manhattan metric, which will be used in subsequent discussions to represent the ZCZ radius. Section 3 contains some main results on ZCZ sonar sequences. Section 4 discusses some theory only on ZCZ-DD sonar sequences. Section 6 discusses some open problems of both ZCZ sonar sequences and ZCZ-DD sonar sequences.

2. Preliminary

Definition 1. 
(Sonar Sequences, Sonar Arrays and Costas Arrays [1,26]) Let m n be positive integers. A function f : { 1 , 2 , , n } { 1 , 2 , , m } has the distinct difference (DD) property if
f ( u + h ) f ( u ) = f ( v + h ) f ( v ) i m p l i e s u = v
for 1 h n 1 and 1 u , v n h .
An ( m , n ) sonar sequence is a function f : { 1 , 2 , , n } { 1 , 2 , , m } with the DD property. It can be written as
f = [ f ( 1 ) , f ( 2 ) , , f ( n ) ] ,
where 1 f ( j ) i , for j = 1 , 2 , . . . , n . This can also be represented as an m × n sonar array A = [ A ( i , j ) ] , where
A ( i , j ) = 1 , f ( j ) = i 0 , o t h e r w i s e , 1 i m , 1 j n .
It is a usual convention to represent "1" with a dot and "0" with a blank in A.
An ( m , n ) sonar sequence is called optimal if n is the largest with m rows.
The Costas array is a sonar array of square size with an additional condition that there is only one "dot" in each row.
There are some well-known constructions of Costas arrays as sonar sequences.
  • Lempel construction [1,5,8]: Let q > 2 be a prime or a prime power and let α be a primitive element of F q which is the finite field of size q. Then f : { 1 , 2 , , q 2 } { 1 , 2 , , q 2 } defined by the relation α j + α f ( j ) = 1 , for j = 1 , 2 , . . . , q 1 , is a ( q 2 ) × ( q 2 ) Costas array.
  • (Exponential) Welch construction [1,5,8]: Let α be a primitive element of F p where p is a prime. Then f : { 1 , 2 , , p 1 } { 1 , 2 , , p 1 } defined by f ( i ) = α i , for i = 1 , 2 , . . . , p 1 , is a ( p 1 ) × ( p 1 ) Costas array. Furthermore, if [ f ( 1 ) , f ( 2 ) , . . . , f ( p 1 ) ] is the exponential Welch Costas array, then so is
    [ f ( j ) , f ( j + 1 ) , . . . , f ( p 1 ) , f ( 1 ) , f ( 2 ) , . . . , f ( j 1 ) ]
    for each j = 2 , 3 , . . . , p 1 . This property is called the single periodicity of the Costas array.
There are also Quadratic constructions [25], Shift construction [27], Golomb construction [5,8], the constructions using Sidon set [28] and their extensions.
We note that attaching i empty rows, for any integer i = 1 , 2 , . . . , to the above n × n Costas array gives an ( n + i ) × n sonar array. We note also that rotating the rows of the result any number of times is still an ( n + i ) × n sonar array. If we start from the exponential Welch Costas array, then rotating the columns of the result any number of times is still an ( n + i ) × n sonar array because of its single periodicity. This will be used later for the some new construction of ZCZ-DD sonar sequences with radius 2.
Another variation on any n × n Costas array is to delete any corner dot and obtain the ( n 1 ) × ( n 1 ) Costas array. Deleting the corner dots twice gives the size ( n 2 ) × ( n 2 ) . Two corner dots in the diagonal position can be deleted once to produce the size ( n 2 ) × ( n 2 ) . This will also be used later for ZCZ-DD sonar sequence construction.
The discrete non-periodic autocorrelation function [8] C ( τ , φ ) of an m × n sonar array [ A ( i , j ) ] where i = 1 , 2 , , m , j = 1 , 2 , , n is defined to be the number of coincidences between dots in A ( i , j ) and its shift A ( i + φ , j + τ ) where τ is the amount of horizontal shift and φ is the amount of vertical shift. The set of all the values of C ( τ , φ ) can be represented as an array of size ( 2 m 1 ) × ( 2 n 1 ) , and it has a center-symmetric structure:
C ( τ , φ ) = C ( τ , φ ) , for   all ( τ , φ ) Z 2 .
When ( τ , φ ) = ( 0 , 0 ) , the correlation has the peak value C ( 0 , 0 ) = n , since all the dots coincide. The DD property implies that
C ( τ , φ ) 1 , for   all ( τ , φ ) ( 0 , 0 ) .
In this paper, we will define ZCZ in the Manhattan metric. The Manhattan metric is also known as the taxicab metric [29]. In a 2-dimensional plain, the Manhattan distance D between two dots in positions a = ( x 1 , y 1 ) and b = ( x 2 , y 2 ) is defined by
D ( a , b ) = | x 1 x 2 | + | y 1 y 2 | .
We will use the terms “sonar array” and “sonar sequence” interchangeably, and hence, the autocorrelation of a sonar sequence has to be understood as that of the sonar array.
This induces an integer-valued lattice in the 2-dimensional plain, which will be denoted by Z 2 . For a positive integer r, we consider the Manhattan-circle of radius r centered at the origin in Z 2 and the set M ( r ) of all the integer points inside, i.e.,
M ( r ) = ( x , y ) Z 2 : | x | + | y | r .
Lemma 1. 
The area of a Manhattan-circle M ( r ) of radius r is given as
| M ( r ) | = 1 + 2 r + 2 r 2 .
Proof. 
The first term in (2) counts the center. The remaining size is given by 4 times ( 1 + 2 + + r ) as shown in Figure 1. □

3. Main Results on ZCZ Sonar Sequences

Definition 2. 
For positive integers r and m n , an ( m , n , r ) ZCZ sonar sequence is a function f : { 1 , 2 , , n } { 1 , 2 , , m } such that its autocorrelation C ( τ , φ ) = 0 for all ( τ , φ ) ( 0 , 0 ) with | φ | + | τ | r where r is the radius of ZCZ in the Manhattan metric.
For clarity, it is important to note that a ZCZ sonar sequence, although termed a “sonar sequence”, does not necessarily satisfy the DD property of sonar sequences. A special case of ZCZ sonar sequences is a ZCZ-DD sonar sequence, which is a sonar sequence with ZCZ of some radius.
Definition 3. 
An ( m , n , r ) ZCZ-DD sonar sequence is an ( m , n , r ) ZCZ sonar sequence that has the DD property, in addition.
Remark 1. 
A ZCZ-DD sonar sequence is a sonar sequence. A ZCZ-DD sonar sequence is always a ZCZ sonar sequence, but not conversely. A ZCZ sonar sequence may not have the DD property.
Example 1. 
The first example in Figure 2 is a ( 5 , 5 ) Costas array (sonar sequence) and its autocorrelation. The second example is a ( 5 , 5 , 2 ) ZCZ-DD sonar sequence and its autocorrelation showing the ZCZ of radius 2. We note that it is a sonar sequence. The third example is a ( 5 , 5 , 2 ) ZCZ sonar sequence. Observe that it is not a sonar sequence because it does not have the DD property. This can be seen by the value 2 at some out-of-phase shifts ( τ , φ ) ( 0 , 0 ) .
Given an ( m , n , r ) ZCZ sonar array, we define D m i n to be the minimum Manhattan distance among all the distances between the pairs of dots. The following is obvious:
Lemma 2. 
For a ZCZ sonar sequence with its ZCZ radius r, the distance D of any pair of dots satisfies
D D m i n = r + 1 .
This lemma gives some trivial upper bound on r of any ( m , n , r ) ZCZ sonar sequences. That is,
r = D m i n 1 D 1 .
The following upper bound on r is the best in terms of m and n m that we could prove. The main idea is analogous to the proof of Hamming bound on binary linear block codes:
Theorem 1. 
For an ( m , n , r ) ZCZ sonar sequence with n m 2 , we have
r 2 m 4 .
Proof. 
Consider the m × n array corresponding to an ( m , n , r ) ZCZ sonar sequence. Then, any two Manhattan-circles of radius ρ with dots at the center will not intersect with each other when ρ r 2 . Therefore, the sum of the area of all the Manhattan-circles of radius ρ cannot be more than the total area of the array. Here, we may have to consider the dots in the edges so that the Manhattan-circle may cover the area beyond the m × n sonar array. For this, we increase the total area of the array from m × n to ( m + 2 ρ ) × ( n + 2 ρ ) , since the dot in the edges could reach the distance ρ for both horizontally and vertically. By carefully counting the number of cells in these additional areas, we see that we only have to increase in one direction. Therefore, we have the bound (similar to Hamming bound in algebraic coding theory)
n M ( ρ ) ( m + 2 ρ ) n ,
or
M ( ρ ) ( m + 2 ρ ) .
We substitute ρ = r / 2 on LHS and ρ = ( r 1 ) / 2 on RHS by carefully counting again the additional areas outside the m × n array. This gives the bound in the theorem. □
In [30], the maximum number of disjoint non-attacking Queens (NAQ) patterns that can sit on an n × n chessboard is proposed, where each pattern consists of n NAQs placed symmetrically around the center. NAQ means that for each dot in the pattern, there are no other dots in the horizontal, vertical and diagonal directions. We cite one of NAQ patterns and calculate the autocorrelation as shown in Figure 3. From its autocorrelation, it can be seen that it is an ( 11 , 11 , 2 ) ZCZ sonar sequence. The following construction of ( m , n , r ) ZCZ sonar sequence essentially comes from this idea from [30].
Theorem 2. 
The function f : { 0 , 1 , , n 1 } { 0 , 1 , , m 1 } defined by f ( j ) = r j ( mod m ) is an ( m , n , r ) ZCZ sonar sequence for any positive integers m , n m and r 3 with m = r 2 1 .
Proof. 
We will focus on a section containing consecutive r columns inside. For j = 0 , 1 , 2 , . . . , r 1 and also j = r , the function f is shown in Figure 4. We claim that the Manhattan distance between any two dots is at least r + 1 as shown below, and since this one period of r columns can repeat indefinitely, the proof is completed:
Consider the columns from 0 to r 1 in Figure 4. Any two adjacent dots have Manhattan distance r + 1 . Consider the dot in column r in Figure 4. Since m = r 2 1 , it is located one row up relative to the dot in column 0. Therefore, the Manhattan distance (of lower arrow in the figure) is r + 1 . The Manhattan distance of the dot from the dot in column 1 is r 1 + r 1 = 2 r 2 r + 1 since r 3 (upper arrow in the figure). □
The above construction gives a constructive lower bound on the parameter r for ( m , n , r ) ZCZ sonar sequences:
Corollary 1. 
There exists an ( m , n , r ) ZCZ sonar sequence such that
r m + 1 .
In an attempt to improve the lower bound in the above corollary, we propose another construction for ( m , n , r ) ZCZ sonar sequences in which the first repeat of the dot in the lowest block of size r is not in column r (which is the case in Figure 4 for the proof of Theorem 2) but in some column t where t < < r where we assume that r 3 . Since the total number of rows is m, its row index must be r t ( mod m ) which is equal to r t m . Therefore, we are trying to find the minimum t { 0 , 1 , , n 1 } such that r t m > 0 , where the function f : { 0 , 1 , , n 1 } { 0 , 1 , , m 1 } defined as f ( j ) = r j ( mod m ) is shown in Figure 5.
Since any two adjacent dots in the first t columns have the Manhattan distance of r + 1 , we need to check only the distances between the dot in column t and the dots in the first and second columns. This gives the following inequalities:
r + 1 t + r t m
and
r + 1 t 1 + r ( r t m ) .
By combining (4) and (5), we obtain the following range of m:
( r 1 ) t + 2 m ( r + 1 ) ( t 1 )
or the inequality
( r 1 ) t + 2 ( r + 1 ) ( t 1 )
which implies that
r + 3 2 t .
Now, a ZCZ sonar sequence can be constructed for ( m , n , r ) as follows: Choose a positive integer r 3 , and select the parameter t satisfying t r + 3 2 . The pair of integers r and t determines the range of m by (6). Select an appropriate value of m in this range. Then, for any positive integer n, we have an ( m , n , r ) ZCZ sonar sequence f ( j ) = r j ( mod m ) for j = 1 , 2 , . . . , n .
As an example, the case where t = r yields
r 2 r + 2 m r 2 1
for r 3 . Taking the value m = r 2 1 in this range for t = r is exactly the case of Theorem 2. Taking the value m = r 2 r + 2 on the other hand for the same t = r gives another ( m , n , r ) ZCZ sonar sequence for any positive integer n.
For some specific example, we consider r = 6 . Then t 5 and 5 t + 2 m 7 ( t 1 ) . Therefore, we may construct the ( m , n , 6 ) ZCZ sonar sequences for any positive integer n and the value m in the following range:
t = 5 27 m 28 t = 6 32 m 35 t = 7 37 m 42 e t c .
We summarize the discussions above as our main construction for a family of ( m , n , r ) ZCZ sonar sequences:
Theorem 3 
(Main construction for ZCZ sonar sequences). The function f : { 0 , 1 , , n 1 } { 0 , 1 , , m 1 } defined by f ( j ) r j ( mod m ) , as shown in Figure 5, is an ( m , n , r ) ZCZ sonar sequence for any positive integers n m and r 3 where the value m must be in the range (6) in which t satisfies the inequality (7).
Example 2. 
When r = 3 , the value of m can be 8 according to Theorem 3. Figure 6 depicts the ( 8 , 8 , 3 ) ZCZ sonar sequence with their autocorrelation on the left side.
When r = 4 , the construction derived from Theorem 3 produces the square array depicted on the right side of the figure with its autocorrelation. It becomes apparent that the top r 2 1 = 1 row of the array does not contain any dots. Thus, by removing this top row, we arrive at the construction for the size 13 × 14 with r = 4 .
Both examples can be repeated any number of times so that the result becomes either ( 8 , n , 3 ) ZCZ sonar sequence or ( 13 , n , 4 ) ZCZ sonar sequence for any positive integer n.
By selecting the minimum value of t = r + 3 2 for r 3 from the above construction, we derive the minimum value of m and hence the best constructive lower bound on r:
Corollary 2. 
The minimum value of m in Theorem 3 becomes the following
m = r 2 + 2 r + 1 2 , r   i s   o d d r 2 + 2 r + 2 2 , r   i s   e v e n ,
for the value t = r + 3 2 . This gives a constructive lower bound as follows: for any positive integer m 3 , there exists an ( m , n , r ) ZCZ sonar sequence (for any n m ) with the value r satisfying
r 2 m 1 1 .
Proof. 
The case of an odd r is obvious. When r is even, the theorem says the minimum value of m = r 2 + 3 r 2 , and the construction gives an m × n ZCZ sonar array for any n m where the top r / 2 1 rows are empty. These rows can be further removed to make m smaller. The resulting value of m becomes r 2 + 2 r + 2 2 . □
We show an example of a ( 61 , 52 , 10 ) ZCZ sonar sequence in Figure 7 found by computer. This is an interesting example since the construction in Theorem 3 for r = 10 gives a ZCZ sonar sequence with the smallest value m = 61 . It is also very special in that it has a periodic structure of a period of 13 columns repeating 4 times. We note that this period can be repeated any number of times to make a ( 61 , 13 a + b , 10 ) ZCZ sonar sequence for any integers a and b. Essentially, it gives a family of examples of ( 61 , n , 10 ) ZCZ sonar sequences for any positive integer n 1 .
Remark 2. 
It is obvious that one can find a family of ( m , n , r ) ZCZ sonar sequences for some given values of m and r with infinitely many values of n. Some evidence we discussed so far can be summarized as follows:
1. 
The example of ( 11 , 11 , 2 ) ZCZ sonar sequence in Figure 3 from [30] can be repeated any number of times and the result can be an ( 11 , n , 2 ) ZCZ sonar sequence for any positive integer n.
2. 
The example of ( 61 , 52 , 10 ) ZCZ sonar sequence in Figure 7 can be repeated any number of times and the result can be an ( 61 , n , 10 ) ZCZ sonar sequence for any positive integer n.
3. 
Theorem 2 gives a family of ( m , n , r ) ZCZ sonar sequences for any r 3 and m = r 2 1 but with infinitely many values of the positive integer n.
4. 
Theorem 3 generalizes Theorem 2. Corollary 2 gives one specific case for m and r with any positive integer n, which is different from those by Theorem 2. Two examples from this construction are shown in Example 2.
Therefore, it becomes meaningless to talk about the ‘optimal’ ( m , n , r ) ZCZ sonar sequence with the maximum value of n for given m and r. Instead, we may define the optimality of an ( m , n , r ) ZCZ sonar sequence if it has the maximum r for given m and n.
Definition 4. 
The ZCZ sonar sequence with the maximum r is called optimal for given m and n. In other words, an ( m , n , r ) ZCZ sonar sequence is optimal when there does not exist an ( m , n , r + 1 ) ZCZ sonar sequence.
We have searched by computer for the true maximum r in ( m , n , r ) ZCZ sonar sequences for m up to 78 and n in the range from m to m + 2 . We show this result in Table 1. The value r in this table is the maximum in the sense of Definition 4. This has been checked exhaustively. Therefore, they all are optimal ZCZ sonar sequences for given m and n. It is to be noted further that the upper bound in Theorem 1 is not tight since there are cases where this value is not attained. However, we argue that it is quite good since some other many times, this bound or one less value is attained.
We also show the upper bound on r from Theorem 1 for comparison. Therefore, any max value in the table must be equal to or smaller than this upper bound. We also show the constructive lower bound from Corollary 2 as well in the last column. As n increases from m, the max r will be non-increasing. When it reaches the lower bound, it will stay forever as n increases indefinitely. Therefore, it is enough to show the values of n in the range m n m + 2 for 3 m 78 .
In this range of values of m, we see that the difference between the upper bound and the constructive lower bound is either 0 or 1. When they are the same, the max r is this value for any n m . When they differ by 1, then the max r starts either from the upper bound and decreases by 1 somewhere and stays forever or from the lower bound and stays forever. The example of the former case is when m = 17 and those of the latter is when m = 20 .
For example, for m = 17 , the max r for n = 17 is 5 which is the upper bound. Since the constructive lower bound is 4 for m = 17 and this value is reached at n = 18 = m + 1 , we know that the max r = 4 stays the same as n increases from 18 indefinitely. For the case m = 20 , the max r at n = 20 is 5 which is already equal to the lower bound. Therefore, the max r = 5 for n stays the same as n increases indefinitely. We show the three ZCZ sonar sequences with parameters ( 17 , 17 , 5 ) , ( 17 , 18 , 4 ) and ( 20 , 20 , 5 ) as follows:
( 17 , 17 , 5 ) : [ 5 , 10 , 15 , 1 , 7 , 12 , 17 , 4 , 9 , 14 , 1 , 6 , 11 , 16 , 3 , 8 , 13 ] ( 17 , 18 , 4 ) : [ 1 , 5 , 9 , 13 , 2 , 6 , 10 , 14 , 1 , 5 , 9 , 13 , 2 , 6 , 10 , 14 , 1 , 17 ] ( 20 , 20 , 5 ) : [ 7 , 12 , 1 , 16 , 5 , 10 , 19 , 2 , 7 , 12 , 17 , 4 , 9 , 14 , 1 , 6 , 11 , 16 , 3 , 20 ]
These are shown in Figure 8. These are examples of optimal ZCZ sonar sequences.

4. Two Constructions for Zcz-Dd Sonar Sequences with R = 2

Theorem 4. 
Let q be a prime or a prime power and α be a primitive element of F q which is the finite field of size q. Consider the Lempel Costas array ( j , f ( j ) ) for j = 1 , 2 , , q 2 given by α j + α f ( j ) = 1 . If α satisfies α 2 + α = 1 , then deleting the two corner dots at ( 1 , 2 ) and ( 2 , 1 ) gives a ( q 4 , q 4 , 2 ) ZCZ-DD sonar sequence.
Proof. 
The Lempel Costas array has only one dot in each row and column and is symmetric along the main diagonal [8]. Therefore, there are two types of dot pairs with a Manhattan distance of 2, as shown in Figure 9. One type consists of two consecutive dots along the diagonal (white dot pair), while the other type consists of two adjacent dots on either side of the diagonal (black dot pair).
We now claim that the pair of white dots do not exist in Lempel construction for any q. When q is even, α j + α j = 0 1 for all j. Therefore, no dot may come on the diagonal. In odd q, α j + α j are all distinct for j = 1 , 2 , , q 2 , with a unique j satisfying α j + α j = 1 . Therefore, there exists only one dot on the diagonal. Consequently, only black dot pair type exists in the array and no white dot pairs.
When α 2 + α = 1 , the dots at positions ( 2 , 1 ) and ( 1 , 2 ) constitute the type of black dot pair. Due to the DD property, this is the only dot pair of this type. Thus, removing the dots at positions ( 2 , 1 ) and ( 1 , 2 ) ensures that the Manhattan distance between the remaining pair of dots is at least 3 and hence r = 2 . The remaining array is a Costas array and maintains the DD property. □
Example 3. 
Figure 10 shows a ( 7 , 7 ) Lempel Costas array from q = 9 . Deleting the dots ( 1 , 2 ) and ( 2 , 1 ) gives a ( 5 , 5 , 2 ) ZCZ-DD sonar sequence.
For the second type construction of ZCZ-DD sonar sequence with r = 2 from the exponential Welch construction for Costas arrays, we observe the following:
Lemma 3. 
Let p be a prime and α be a primitive root mod p. There must exist unique j ( mod p 1 ) satisfying
α j α j 1 = 1 or 1 ( mod p ) .
Proof. 
Consider the case α j α j 1 = 1 ( mod p ) or α j 1 ( α 1 ) = 1 ( mod p ) . Since any non-zero element is some power of α , we let α 1 = α u for some u with 2 u p 2 . This gives
α j 1 + u = 1 ( mod p ) .
Then j 1 + u = 0 ( mod p 1 ) or j = p u is the unique integer mod p 1 . The other case is similar. □
Theorem 5. 
Consider the exponential Welch Costas array f ( j ) = α j for any consecutive p 1 values of j. Let j 0 ( mod p 1 ) satisfy α j 0 α j 0 1 = 1 ( mod p ) and i 0 ( mod p 1 ) satisfy α i 0 α i 0 1 = 1 ( mod p ) . Then
f ( j ) = α j 1 α i 0 ( mod p )
for j = j 0 , j 0 + 1 , , j 0 + p 2 is a ( p , p 1 , 2 ) ZCZ-DD sonar sequence.
Proof. 
The Welch construction satisfies the DD property. According to Lemma 3, since there is a unique j 0 that satisfies α j 0 α j 0 1 = 1 ( mod p ) , take j when starting from j 0 , the rest of the dots are all at a Manhattan distance greater than 2 from the point ( j 0 , α j 0 ) . And of the rest of the dots, only the Manhattan distance between the dot pair ( i 0 , α i 0 ) and ( i 0 1 , α i 0 1 ) is 2 since α i 0 α i 0 1 = 1 ( mod p ) . By adding an empty row at the bottom of the array, called the 0-th row, and cyclically rotating the rows of the array, once the dot ( i 0 , α i 0 ) moves to the top row of the array, then the pairs of dots with a Manhattan distance of 2 are avoided. Consequently, the Manhattan distance between the dots becomes at least 3. After adding a row, the array consists of a total of p rows, it retains the DD property because of its single periodicity. □
Example 4. 
There exists a unique integer i 0 ( mod p 1 ) satisfying α i 0 α i 0 1 = 1 ( mod p ) from Lemma 3. Similarly, there exists a unique integer j 0 ( mod p 1 ) satisfying α j 0 α j 0 1 = 1 ( mod p ) . As shown in Figure 11, when p = 7 , we have α = 3 , and hence, i 0 = 2 and j 0 = 5 both mod 6. Therefore, we take the exponential Welch Costas array given as f ( j ) = 3 j ( mod 7 ) for j = j 0 = 5 , 6 , . . . , 10 . This 6 × 6 array has two adjacent dots in some two consecutive columns whose row indices are α i 0 1 = 3 and α i 0 = 2 both mod 7. We will make this a 7 × 6 sonar array by adjoining an empty row at the bottom. Now, rotating all p = 7 rows downward 1 + α i 0 = 3 times will place the dot in column i 0 at the top. The resulting 7 × 6 array becomes a ( 7 , 6 , 2 ) ZCZ-DD sonar sequence.
Remark 3. 
The upper bound on r for ( m , n , r ) ZCZ sonar sequences can be an upper bound on r for ( m , n , r ) ZCZ-DD sonar sequences, only because any ( m , n , r ) ZCZ-DD sonar sequence is an ( m , n , r ) ZCZ sonar sequence. We expect that this upper bound must be quite loose.
Some search results for the max r in ( m , n , r ) ZCZ-DD sequences are documented initially in [31] for m 17 and we extend the search for m 20 and show the results in Table 2. Where the parameters m = 10 , n = m + 4 , and r = 2 represent the existence of an optimal ( 10 , 14 , 2 ) ZCZ-DD sonar sequence. It also implies that there does not exist a ( 10 , 14 , 3 ) ZCZ-DD sonar sequence.

5. Some Relations with Results in [26,30]

This subsection is newly added as a result of some analysis from the comments of the initial reviewers of this manuscript. All of the authors would like to express sincere appreciation for these comments. We have investigated most of the results in both [26] and [30], with emphasis on some possibility of having ZCZ sonar sequences from theirs. Following is some conclusion from this analysis.
Most of the best known m × n sonar sequences in [26] for m up to 100 turned out to have no ZCZ at all. We show only two cases here for m = 10 and m = 30 from [26]. These are 10 × 16 and 30 × 37 sonar sequences as shown in Figure 12. These have the largest value of n for the given value of m = 10 and m = 30 . The fact that they do not have ZCZ can be seen easily by observing that there exist two adjacent dots of (Manhattan) distance 1.
The main topic of [30] is to find the maximum number of disjoint nonattacking-n-queen patterns that simultaneously pack the n × n board. We find one of interesting relation there when n > 7 is an odd prime. One of the solution in this case gives not only an ( n , n , 3 ) ZCZ sonar sequence, but a family of disjoint n ZCZ sonar sequences (which are also n disjoint nonattacking-n-queen patterns) of the same parameters that simultaneously pack n × n × n cube without attacking each other in three dimensional space as n-queen patterns. We may formulate a theorem from this construction as follows. We skip the proof which is quite straightforward. The first conclusion is from [30]. The second conclusion is the relation with ZCZ sonar sequences.
Theorem 6. 
Let n > 7 be a prime. Construct the n × n matrix Q = ( q i , j ) with integers mod n for i , j = 0 , 1 , . . . , n 1 as follows:
  • Put q 0 , j = 1 for j = ( n 1 ) / 2 .
  • Put q 0 , j + 2 = q 0 , j + 1 ( mod n ) where the subscript j + 2 is computed mod n, for j = ( n 1 ) / 2 , ( n 1 ) / 2 + 2 , . . . .
  • For each j = 0 , 1 , . . . , n 1 , put q i + 1 , j = q i , j + 2 ( mod n ) where the subscript i + 1 is computed mod n for i = 0 , 1 , . . . .
Then, the first conclusion from [30] is that Q is a packing of an n × n board by n disjoint nonattacking-n-queen patterns, which is three-dimensionally nonattacking queens also. Second (new) conclusion: for each symbol k = 0 , 1 , . . . , n 1 , the pattern of the constant symbol k in Q is an ( n , n , 3 ) ZCZ sonar sequence.

6. Concluding Remarks

Some immediate open problems on ( m , n , r ) ZCZ sonar sequences are the following:
  • Describe the values of m for which the upper bound on r is the same as its constructive lower bound. Some of the smaller such values of m from Table 1 are m = 5 , m = 9 , m = 13 , m = 14 , etc.
  • Describe the values of m for which the upper bound on r is one more than its constructive lower bound. Some examples of such values of m from Table 1 are m = 6 , m = 10 , m = 15 , m = 16 , etc.
  • Prove that the difference between the upper bound and the constructive lower bound is at most 1 for all positive integers n m or else find the values of m for which the difference is more than 1.
  • Find the formula for the max r for the optimal m × m ZCZ sonar sequence.
  • Prove that the max r as n = m , m + 1 , m + 2 , . . . is non-increasing. We know that it eventually reaches and stays at the constructive lower bound in Cor.2.
  • Find any new construction for ZCZ sonar sequences ( j , f ( j ) ) for j = 1 , 2 , . . . , n which is not of the type f ( j ) = r j ( mod m ) . Note that the construction in Theorem 6 is of the form f ( j ) = r j ( mod n ) where r = 4 for all n disjoint patterns with some appropriate initial condition. See Figure 13.
For ( m , n , r ) ZCZ-DD sonar sequences, we have a lot of open problems. Only some of them are listed here:
  • Find the max r for given m and n.
  • Prove that the max r as n = m , m + 1 , m + 2 , . . . is non-increasing.
  • Find the max n for given m and r.
  • Find the max n m such that r = 2 for a given m. Some small cases are n = m = 5 , n = m + 1 = 7 , n = m + 2 = 9 , and n = m + 2 = 10 , etc.
  • Find the relation of n and r for a given m.
  • Find a systematic construction for ( m , n , r ) ZCZ-DD sonar sequences for r > 2 .
  • Improve the upper bound on r in Remark 3 for given m and n.

Author Contributions

Conceptualization, X.J., G.K. and H.-Y.S.; methodology, X.J., G.K. and H.-Y.S.; software, X.J. and S.C.; writing—original draft preparation, X.J.; writing—review and editing, X.J., G.K. and H.-Y.S.; supervision, H.-Y.S. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Research Foundation of Korea (NRF) Grant by the Korean Government through Ministry of Sciences and ICT (MSIT) under Grant RS-2023-00209000.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data is contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Golomb, S.W.; Taylor, H. Two-Dimensional Synchronization Patterns for Minimum Ambiguity. IEEE Trans. Inf. Theory 1982, 28, 600–604. [Google Scholar] [CrossRef]
  2. Levanon, N.; Mozeson, E. Radar Signals; Wiley: Hoboken, NY, USA, 2004; pp. 74–86. [Google Scholar]
  3. Costas, J.P. A study of a class of detection waveforms having nearly ideal range—Doppler ambiguity properties. Proc. IEEE 1984, 72, 996–1009. [Google Scholar] [CrossRef]
  4. Drakakis, K. A review of Costas arrays. J. Appl. Math. 2006, 2006, 1–32. [Google Scholar] [CrossRef]
  5. Golomb, S.W. Algebraic constructions for Costas arrays. J. Comb. Theory, Ser. 1984, 37, 13–21. [Google Scholar] [CrossRef]
  6. Golomb, S.W. The T4 and G4 constructions for Costas arrays. IEEE Trans. Inf. Theory 1992, 38, 1404–1406. [Google Scholar] [CrossRef]
  7. Golomb, S.W.; Gong, G. The status of Costas arrays. IEEE Trans. Inf. Theory 2007, 53, 4260–4265. [Google Scholar] [CrossRef]
  8. Golomb, S.W.; Taylor, H. Constructions and properties of Costas arrays. Proc. IEEE 1984, 72, 1143–1163. [Google Scholar] [CrossRef]
  9. Correll, B. A new structural property of Costas arrays. In Proceedings of the 2018 IEEE Radar Conference, Oklahoma City, OK, USA, 23–27 April 2018; pp. 748–753. [Google Scholar]
  10. Correll, B. More new structural properties of Costas arrays. In Proceedings of the 2019 IEEE Radar Conference, Boston, MA, USA, 22–26 April 2019; pp. 1–6. [Google Scholar]
  11. Correll, B.; Swanson, C.N. Difference-based structural properties of Costas arrays. Des. Codes Cryptogr. 2023, 91, 779–794. [Google Scholar] [CrossRef]
  12. Jedwab, J.; Wodlinger, J. Structural properties of Costas arrays. Adv. Math. Commun. 2014, 8, 241–256. [Google Scholar] [CrossRef]
  13. Blackburn, S.R.; Etzion, T.; Martin, K.M.; Paterson, M.B. Two-dimensional patterns with distinct differences-constructions, bounds, and maximal anticodes. IEEE Trans. Inf. Theory 2010, 56, 1216–1229. [Google Scholar] [CrossRef]
  14. Drakakis, K.; Gow, R.; O’Carroll, L. On the symmetry of Welchand Golomb-constructed Costas arrays. Discret. Math. 2009, 309, 2559–2563. [Google Scholar] [CrossRef]
  15. Golomb, S.W.; Moreno, O. On periodicity properties of Costas arrays and a conjecture on permutation polynomials. IEEE Trans. Inf. Theory 1996, 42, 2252–2253. [Google Scholar] [CrossRef]
  16. Silverman, J.; Vickers, V.E. On the number of Costas arrays as a function of array size. Proc. IEEE 1988, 76, 851–853. [Google Scholar] [CrossRef]
  17. Drakakis, K.; Iorio, F.; Rickard, S.; Walsh, J. Results of the enumeration of Costas arrays of order 29. Adv. Math. Commun. 2011, 5, 547–553. [Google Scholar] [CrossRef]
  18. Fan, P.; Darnell, M. Sequence Design for Communications Applications; Wiley: Hoboken, NJ, USA, 1996. [Google Scholar]
  19. Golomb, S.W.; Gong, G. Signal Design for Good Correlation: For Wireless Communications, Cryptography, and Radar; Cambridge University Press: Cambridge, UK, 2005. [Google Scholar]
  20. Fan, P.Z.; Suehiro, N.; Kuroyanagi, N.; Deng, X.M. Class of binary sequences with zero correlation zone. Electron. Lett. 1999, 35, 777–779. [Google Scholar] [CrossRef]
  21. Suehiro, N. A signal design without co-channel interference for approximately synchronized CDMA systems. IEEE J. Sel. Areas Commun. 1994, 12, 837–841. [Google Scholar] [CrossRef]
  22. Tang, X.; Fan, P.Z.; Matsufuji, S. Lower Bounds on Correlation of Spreading Sequence set with Low or Zero Correlation Zone. Electron. Lett. 2000, 36, 551–552. [Google Scholar] [CrossRef]
  23. Matsufuji, S.; Suehiro, N.; Kuroyanagi, N.; Fan, P.Z.; Takatsukasa, K. A binary sequence pair with zero correlation zone derived from complementary pairs. In Proceedings of the ISCTA’99, Ambleside, UK, 11–16 July 1999; pp. 223–224. [Google Scholar]
  24. Tang, X.; Fan, P.Z. Bounds on aperiodic and odd correlations of spreading sequences with low or zero correlation zone. Electron. Lett. 2001, 37, 1201–1202. [Google Scholar] [CrossRef]
  25. Gagliardi, R.; Robbins, J.; Taylor, H. Acquisition sequences in PPM communications. IEEE Trans. Inf. Theory 1987, 33, 738–744. [Google Scholar] [CrossRef]
  26. Moreno, O.; Games, R.A.; Taylor, H. Sonar Sequences from Costas Arrays and the Best Known Sonar Sequences with up to 100 Symbols. IEEE Trans. Inf. Theory 1993, 39, 1985–1987. [Google Scholar] [CrossRef]
  27. Games, R.A. An algebraic construction of sonar sequences using M-sequences. Siam J. Algebr. Discret. Methods 1987, 8, 753–761. [Google Scholar] [CrossRef]
  28. Ruiz, D.; Trujillo, C.; Caicedo, Y. New Constructions of Sonar Sequences. Int. J. Basic Appl. Sci. 2014, 14, 12–16. [Google Scholar]
  29. Kraus, E.F. Taxicab Geometry: An Adventure in Non-Euclidean Geometry; Dover Publications: New York, NY, USA, 1986; pp. 1–5. [Google Scholar]
  30. Taylor, H. Packing Centrosymmetric Patterns of n Nonattacking Queens on an n × n Board. In Proceedings of the Sequences, Subsequences, and Consequences, Los Angeles, CA, USA, 31 May–2 June 2007. [Google Scholar]
  31. Chae, S.-W.; Kim, H.-J.; Jin, X.; Song, H.-Y. Properties and optimization of sonar codes. In Proceedings of the 2023 KICS Winter Conference, Pyeongchang, Republic of Korea, 8–10 February 2023. [Google Scholar]
Figure 1. Manhattan-circles of radius r = 1 , 2 , 3 and its area.
Figure 1. Manhattan-circles of radius r = 1 , 2 , 3 and its area.
Entropy 26 00317 g001
Figure 2. Three 5 × 5 arrays in Example 1.
Figure 2. Three 5 × 5 arrays in Example 1.
Entropy 26 00317 g002
Figure 3. An 11 × 11 NAQ pattern from [30] is an ( 11 , 11 , 2 ) ZCZ sonar sequence.
Figure 3. An 11 × 11 NAQ pattern from [30] is an ( 11 , 11 , 2 ) ZCZ sonar sequence.
Entropy 26 00317 g003
Figure 4. Proof of Theorem 2.
Figure 4. Proof of Theorem 2.
Entropy 26 00317 g004
Figure 5. Proof of Theorem 3 where ( r + 3 ) 2 t and ( r 1 ) t + 2 m ( r + 1 ) ( t 1 ) .
Figure 5. Proof of Theorem 3 where ( r + 3 ) 2 t and ( r 1 ) t + 2 m ( r + 1 ) ( t 1 ) .
Entropy 26 00317 g005
Figure 6. The ( 8 , 8 , 3 ) and ( 13 , 14 , 4 ) ZCZ sonar sequences from the construction in Theorem 3.
Figure 6. The ( 8 , 8 , 3 ) and ( 13 , 14 , 4 ) ZCZ sonar sequences from the construction in Theorem 3.
Entropy 26 00317 g006
Figure 7. A ( 61 , 52 , 10 ) ZCZ sonar sequence by computer search.
Figure 7. A ( 61 , 52 , 10 ) ZCZ sonar sequence by computer search.
Entropy 26 00317 g007
Figure 8. The optimal ( 17 , 17 , 5 ) , ( 17 , 18 , 4 ) and ( 20 , 20 , 5 ) ZCZ sonar sequences by computer search.
Figure 8. The optimal ( 17 , 17 , 5 ) , ( 17 , 18 , 4 ) and ( 20 , 20 , 5 ) ZCZ sonar sequences by computer search.
Entropy 26 00317 g008
Figure 9. Dot pair types with Manhattan distance 2 in the Lempel construction.
Figure 9. Dot pair types with Manhattan distance 2 in the Lempel construction.
Entropy 26 00317 g009
Figure 10. The ( 5 , 5 , 2 ) ZCZ-DD sonar sequence from the construction in Theorem 4.
Figure 10. The ( 5 , 5 , 2 ) ZCZ-DD sonar sequence from the construction in Theorem 4.
Entropy 26 00317 g010
Figure 11. The ( 7 , 6 , 2 ) ZCZ-DD sonar sequence from the construction in Theorem 5.
Figure 11. The ( 7 , 6 , 2 ) ZCZ-DD sonar sequence from the construction in Theorem 5.
Entropy 26 00317 g011
Figure 12. Best known sonar sequences from [26] without ZCZ ( m = 10 and m = 30 ).
Figure 12. Best known sonar sequences from [26] without ZCZ ( m = 10 and m = 30 ).
Entropy 26 00317 g012
Figure 13. Disjoint nonattacking-n-queen patterns ( n = 11 ) where each pattern of the constant symbol is an ( n , n , 3 ) ZCZ sonar sequence.
Figure 13. Disjoint nonattacking-n-queen patterns ( n = 11 ) where each pattern of the constant symbol is an ( n , n , 3 ) ZCZ sonar sequence.
Entropy 26 00317 g013
Table 1. The maximum r in ( m , n , r ) ZCZ sonar sequence found by computer.
Table 1. The maximum r in ( m , n , r ) ZCZ sonar sequence found by computer.
nm m + 1 m + 2 u.bnd (Theorem 1)l.bnd (Corollary 2) nm m + 1 m + 2 u.bnd (Theorem 1)l.bnd (Corollary 2)
mm
311111 4188888
421121 4288888
522222 4388898
622232 4488898
732232 4588898
833332 4688898
933333 4788898
1033343 4888898
1133343 4999998
1243343 5099998
1344444 5199999
1444444 52999109
1544454 53999109
1644454 54999109
1754454 55999109
1855554 56999109
1955555 57999109
2055565 58999109
2155565 59999109
2255565 6010109109
2355565 611010101010
2465565 621010101010
2566666 631010101110
2666666 641010101110
2766676 651010101110
2866676 661010101110
2966676 671010101110
3066676 681010101110
3176676 691010101110
3277776 701010101110
3377777 711111111110
3477787 721111111110
3577787 731111111111
3677787 741111111211
3777787 751111111211
3877787 761111111211
3977787 771111111211
4088787 781111111211
Table 2. The maximum r in ( m , n , r ) ZCZ-DD sonar sequence.
Table 2. The maximum r in ( m , n , r ) ZCZ-DD sonar sequence.
nm m + 1 m + 2 m + 3 m + 4
m
2110
31110
411110
521111
622111
722211
822211
922211
1022222
1122222
1233222
1333222
1433322
1533332
1633332
1733332
1833332
1933332
203333?
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.

Share and Cite

MDPI and ACS Style

Jin, X.; Kim, G.; Chae, S.; Song, H.-Y. Some Constructions and Mathematical Properties of Zero-Correlation-Zone Sonar Sequences. Entropy 2024, 26, 317. https://doi.org/10.3390/e26040317

AMA Style

Jin X, Kim G, Chae S, Song H-Y. Some Constructions and Mathematical Properties of Zero-Correlation-Zone Sonar Sequences. Entropy. 2024; 26(4):317. https://doi.org/10.3390/e26040317

Chicago/Turabian Style

Jin, Xiaoxiang, Gangsan Kim, Sangwon Chae, and Hong-Yeop Song. 2024. "Some Constructions and Mathematical Properties of Zero-Correlation-Zone Sonar Sequences" Entropy 26, no. 4: 317. https://doi.org/10.3390/e26040317

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop