Next Article in Journal
SPH Simulation of Molten Metal Flow Modeling Lava Flow Phenomena with Solidification
Previous Article in Journal
System Identification Using Self-Adaptive Filtering Applied to Second-Order Gradient Materials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Auto-Correlation Functions of Chaotic Binary Sequences Obtained by Alternating Two Binary Functions

Division of Informatics and Energy, Faculty of Advanced Science and Technology, Kumamoto University, Kumaomto 860-8555, Japan
Dynamics 2024, 4(2), 272-286; https://doi.org/10.3390/dynamics4020016
Submission received: 25 March 2024 / Revised: 9 April 2024 / Accepted: 15 April 2024 / Published: 16 April 2024

Abstract

:
This paper discusses the auto-correlation functions of chaotic binary sequences obtained by a one-dimensional chaotic map and two binary functions. The two binary functions are alternately used to obtain a binary sequence from a chaotic real-valued sequence. We consider two similar methods and give the theoretical auto-correlation functions of the new binary sequences, which are expressed by the auto-/cross-correlation functions of the two chaotic binary sequences generated by a single binary function. Furthermore, some numerical experiments are performed to confirm the validity of the theoretical auto-correlation functions.

1. Introduction

One-dimensional (1-D) nonlinear maps can generate chaotic real-valued sequences [1,2] and they can be used as random numbers due to their simplicity, despite their complex behavior [3,4,5,6]. Chaotic real-valued sequences can be transformed into discrete-valued (e.g., binary) sequences using discrete-valued functions, and they have been used in some applications (e.g., CDMA communications as spreading codes) [7]. In 1988, chaotic binary sequences based on a 1-D chaotic map (tent map) were proposed and proven to be independent and identically distributed (i.i.d.) [8]. In 1997, the statistical properties of chaotic binary sequences based on 1-D chaotic maps were deeply discussed and a sufficient condition to generate i.i.d. binary sequences was given for a class of chaotic maps and binary functions [9].
As described above, ideal random numbers are often assumed to be i.i.d. since the most prominent application of chaos-based random numbers is in the area of security, such as cryptography [3,4,5,6]. On the other hand, correlated chaotic sequences have also been discussed, and they are useful in some applications other than cryptography. The auto-correlation functions of chaotic real-valued sequences generated by the skew tent map were theoretically derived in [10], where the auto-correlation functions were exponentially decreasing. Chaotic discrete-valued sequences with exponential auto-correlation functions were discussed in [11,12,13], and some of them can be applied to CDMA communications as spreading codes. In Monte Carlo integration, the convergence rate can be drastically improved by using chaotic sequences with proper auto-correlations, which is called super-efficient chaotic Monte-Carlo simulation [14]. Thus, in applications of chaos-based random numbers, the controllability of the statistical properties is quite important. It should be noted that the desired (or optimal) statistical properties of the random numbers are different depending on the application.
Still, there have been many studies on chaos-based random number generation in both theoretical and experimental contexts (e.g., [15,16,17]). In order to adapt chaos-based random numbers for many applications, we have been attempting to realize chaotic binary (or discrete-valued) sequences with various auto-correlation properties [18]. To generate a chaotic binary sequence, a chaotic map and a binary function are normally used. Of course, there are many combinations of a chaotic map and a binary (or discrete-valued) function, which implies that various statistical properties can be realized. In this paper, however, we propose a different approach to generating chaotic binary sequences using 1-D chaotic maps. We use one chaotic map and two binary functions to generate a chaotic binary sequence, where the two binary functions are alternately used. The theoretical average and auto-correlation function of the new chaotic binary sequence are given, which is followed by numerical experiments using some chaotic maps and binary functions.
The rest of this paper is organized as follows. In Section 2, a brief review of conventional chaotic binary sequences based on 1-D chaotic map is given, where the theoretical average and auto-correlation function are defined. In Section 3, we propose two methods to generate chaotic binary sequences, where a chaotic map and two binary functions are used to generate a chaotic binary sequence. The two binary functions are alternately used. We derive the theoretical auto-correlation functions of the chaotic binary sequences generated by the proposed methods. Numerical results obtained using some chaotic maps and binary functions are shown in Section 4. Finally, Section 5 concludes this paper.

2. Chaotic Binary Sequences Based on a One-Dimensional Map and a Binary Function

A one-dimensional nonlinear difference equation defined by
x n + 1 = τ ( x n ) , x n I = [ 0 , 1 ] , n = 0 , 1 , 2 ,
can generate a chaotic real-valued sequence  { x n } n = 0  for a chaotic map  τ ( x ) [1,2]. Moreover, we can obtain a binary sequence  { B ( x n ) } n = 0  using a binary function  B ( x ) ( { 0 , 1 } )  from a real-valued sequence  { x n } n = 0 . Then, the theoretical auto-correlation function of the binary sequence  { B ( x n ) } n = 0  is defined by
A ( ; B ) = I ( B ( x ) E [ B ] ) ( B ( τ ( x ) ) E [ B ] ) f * ( x ) d x ,
under the assumption that  τ ( x )  has an invariant density function  f * ( x ) , where  τ ( x )  is the -th iterate of the map  τ  starting from an initial value  x = x 0 , and  E [ B ]  denotes the average of the binary sequence  { B ( x n ) } n = 0  defined by
E [ B ] = I B ( x ) f * ( x ) d x .
We also define the normalized auto-correlation function by
A ˜ ( ; B ) = A ( ; B ) A ( 0 ; B ) ,
where  A ( 0 ; B )  is the variance of  { B ( x n ) } n = 0 . On the other hand, the auto-correlation function of  { B ( x n ) } n = 0  in time-average form is defined by
A ^ N ( ; B ( x n ) ) = 1 N n = 0 N 1 ( B ( x n ) E [ B ] ) ( B ( x n + ) E [ B ] ) ,
which can be used in numerical calculations of auto-correlation functions. According to the Birkhoff individual ergodic theorem [1,2], we have
lim N A ^ N ( ; B ( x n ) ) = A ( ; B ) for   almost   all   x 0 .
Note that the time average of  { B ( x n ) } n = 0  is defined by
E ^ N [ B ( x n ) ] = 1 N n = 0 N 1 B ( x n ) ,
and we also have
lim N E ^ N [ B ( x n ) ] = E [ B ] for   almost   all   x 0 .
Next, for two chaotic binary sequences  { B 1 ( x n ) } n = 0  and  { B 2 ( x n ) } n = 0  generated from a common real-valued sequence  { x n } n = 0 , their cross-correlation function is defined by
C ( ; B 1 , B 2 ) = I ( B 1 ( x ) E [ B 1 ] ) ( B 2 ( τ ( x ) ) E [ B 2 ] ) f * ( x ) d x .
Note that  C ( ; B 1 , B 2 ) = B ( ; B 2 , B 1 )  does not always hold. The normalized cross-correlation function is defined by
C ˜ ( ; B 1 , B 2 ) = C ( ; B 1 , B 2 ) A ( 0 ; B 1 ) A ( 0 ; B 2 ) .
The cross-correlation function between  { B 1 ( x n ) } n = 0  and  { B 2 ( x n ) } n = 0  in time-average form is defined by
C ^ N ( ; B 1 ( x n ) , B 2 ( x n ) ) = 1 N n = 0 N 1 ( B 1 ( x n ) E [ B 1 ] ) ( B 2 ( x n + ) E [ B 2 ] ) .
Similar to (6), we have
lim N C ^ N ( ; B 1 ( x n ) , B 2 ( x n ) ) = C ( ; B 1 , B 2 ) for   almost   all   x 0 .

3. Chaotic Binary Sequences Obtained by Alternating Two Binary Functions

We use two binary functions  B 1 ( x )  and  B 2 ( x )  to generate a new binary sequence from a chaotic real-valued sequence  { x n } n = 0 . We propose the following two methods and discuss the auto-correlation functions of the generated binary sequences.

3.1. Method 1

Using  B 1 ( x )  and  B 2 ( x )  alternately, we generate a new binary sequence  { D n ( 1 ) } n = 0  as
B 1 ( x 0 ) , B 2 ( x 1 ) , B 1 ( x 2 ) , B 2 ( x 3 ) , ,
that is,
D n ( 1 ) = B 1 ( x n ) ( n = 0 , 2 , 4 , ) , B 2 ( x n ) ( n = 1 , 3 , 5 , ) .
Here, we assume  E [ B 1 ] = E [ B 2 ] , which gives
E [ D n ( 1 ) ] = E [ B 1 ] = E [ B 2 ] .
Next, consider the auto-correlation function of the binary sequence  { D n ( 1 ) } n = 0 . First, the auto-correlation function in time-average form is expressed by
A ^ N ( ; D n ( 1 ) ) = 1 N ( B 1 ( x 0 ) B 1 ( x ) + B 2 ( x 1 ) B 2 ( x 1 + ) + B 1 ( x 2 ) B 1 ( x 2 + ) + B 2 ( x 3 ) B 2 ( x 3 + ) + ) ( = 0 , 2 , 4 , ) , 1 N ( B 1 ( x 0 ) B 2 ( x ) + B 2 ( x 1 ) B 1 ( x 1 + ) + B 1 ( x 2 ) B 2 ( x 2 + ) + B 2 ( x 3 ) B 1 ( x 3 + ) + ) ( = 1 , 3 , 5 , ) .
Thus, the theoretical auto-correlation function of  { D n ( 1 ) } n = 0  is given by
A ( ; D n ( 1 ) ) = 1 2 ( A ( ; B 1 ) + A ( ; B 2 ) ) ( = 0 , 2 , 4 , ) , 1 2 ( C ( ; B 1 , B 2 ) + C ( ; B 2 , B 1 ) ) ( = 1 , 3 , 5 , ) .
Note that  A ( ; D n ( 1 ) )  is invariant under exchanging  B 1 ( x )  and  B 2 ( x ) .

3.2. Method 2

Similar to Method 1, we generate a new binary sequence  { D n ( 2 ) } n = 0  using  B 1 ( x )  and  B 2 ( x )  alternately as
B 1 ( x 0 ) , B 2 ( x 0 ) , B 1 ( x 1 ) , B 2 ( x 1 ) , .
That is, for each real value  x n , two binary values  B 1 ( x n ) B 2 ( x n )  are generated and  D n ( 2 )  is expressed by
D n ( 2 ) = B 1 ( x n 2 ) ( n = 0 , 2 , 4 , ) , B 2 ( x n 1 2 ) ( n = 1 , 3 , 5 , ) .
We also assume  E [ B 1 ] = E [ B 2 ] , which gives
E [ D n ( 2 ) ] = E [ B 1 ] = E [ B 2 ] .
The auto-correlation function of  { D n ( 2 ) } n = 0  in time-average form is expressed by
A ^ N ( ; D n ( 2 ) ) = 1 N ( B 1 ( x 0 ) B 1 ( x 2 ) + B 2 ( x 0 ) B 2 ( x 2 ) + B 1 ( x 1 ) B 1 ( x 1 + 2 ) + B 2 ( x 1 ) B 2 ( x 1 + 2 ) + ) ( = 0 , 2 , 4 , ) , 1 N ( B 1 ( x 0 ) B 2 ( x 1 2 ) + B 2 ( x 0 ) B 1 ( x + 1 2 ) + B 1 ( x 1 ) B 2 ( x 1 + 1 2 ) + B 2 ( x 1 ) B 1 ( x 1 + + 1 2 ) + ) ( = 1 , 3 , 5 , ) .
Thus, the theoretical auto-correlation function of  { D n ( 2 ) } n = 0  is given by
A ( ; D n ( 2 ) ) = 1 2 ( A ( 2 ; B 1 ) + A ( 2 ; B 2 ) ) ( = 0 , 2 , 4 , ) , 1 2 ( C ( 1 2 ; B 1 , B 2 ) + C ( + 1 2 ; B 2 , B 1 ) ) ( = 1 , 3 , 5 , ) .
Note that  A ( ; D n ( 2 ) )  is not invariant under the exchange of  B 1 ( x )  and  B 2 ( x ) .

4. Numerical Experiments

We perform numerical experiments on Method 1 and Method 2 using three chaotic maps  ( I = [ 0 , 1 ] , f * ( x ) = 1 )  and some binary functions. Note that the chaotic maps and the binary functions are chosen as examples to obtain some interesting (or unique) auto-/cross-correlation functions.

4.1. Bernoulli Map and Binary Functions

The Bernoulli map with  I = [ 0 , 1 ]  is defined by [1,2]
τ B ( x ) = 2 x ( 0 x < 1 2 ) , 2 x 1 ( 1 2 x 1 ) .
For this map, we use the following two binary functions:
b 1 ( x ) = Θ 1 8 ( x ) Θ 1 4 ( x ) + Θ 1 2 ( x ) Θ 3 4 ( x ) + Θ 7 8 ( x ) ,
b 2 ( x ) = Θ 1 4 ( x ) Θ 3 8 ( x ) + Θ 1 2 ( x ) Θ 5 8 ( x ) + Θ 3 4 ( x ) ,
where  Θ t ( x )  is a threshold function with a threshold t defined by
Θ t ( x ) = 0 ( x < t ) , 1 ( x t ) .
The Bernoulli map  τ B ( x )  and the binary functions  b 1 ( x ) b 2 ( x )  are illustrated in Figure 1. Since the Bernoulli map has  f * ( x ) = 1  (uniform density), we have
E [ b 1 ] = E [ b 2 ] = 1 2 ,
that is, the binary sequences  { b 1 ( τ B n ( x ) ) } n = 0  and  { b 2 ( τ B n ( x ) ) } n = 0  are balanced sequences. The theoretical correlation functions of the binary sequences can be derived by referring to [9,13] (see Appendix A for details). The normalized theoretical auto-/cross-correlation functions of the two binary sequences are summarized in Table 1 and illustrated in Figure 2. In Figure 2, numerical auto-/cross-correlation functions calculated by (5) and (11) with  N = 10 6  are also shown.

4.2. Piecewise Linear Map with Three Sections and Binary Functions

Define a fully stretching piecewise linear (PL) map with  I = [ 0 , 1 ]  by [13]
τ P L ( x ) = 4 x + 1 ( 0 x < 1 4 ) , 12 5 x 3 5 ( 1 4 x < 2 3 ) , 3 x + 3 ( 2 3 x 1 ) .
For this map, we use the following two binary functions:
b 3 ( x ) = Θ 3 4 ( x ) ,
b 4 ( x ) = 1 Θ 1 4 ( x ) .
The PL map  τ P L ( x )  and the binary functions  b 3 ( x ) b 4 ( x )  are illustrated in Figure 3. Since the PL map  τ P L ( x )  also has  f * ( x ) = 1 , we have
E [ b 3 ] = E [ b 4 ] = 1 4 ,
that is, the binary sequences  { b 3 ( τ P L n ( x ) ) } n = 0  and  { b 4 ( τ P L n ( x ) ) } n = 0  are unbalanced sequences. The theoretical correlation functions of the binary sequences can be derived by referring to [9,13] (see Appendix A for details). The normalized theoretical auto-/cross-correlation functions of the two binary sequences are summarized in Table 2 and illustrated in Figure 4. In Figure 4, numerical auto-/cross-correlation functions calculated by (5) and (11) with  N = 10 6  are also shown.

4.3. Tent Map and Binary Functions

Define the tent map with  I = [ 0 , 1 ]  by [1,2,10]
τ T ( x ) = 2 x ( 0 x < 1 2 ) , 2 ( 1 x ) ( 1 2 x 1 ) .
For this map, we use the following two binary functions:
b 5 ( x ) = Θ 1 2 ( x ) ,
b 6 ( x , d ) = Θ d ( x ) Θ 1 2 ( x ) + Θ 1 d ( x ) ( 0 < d 1 2 ) .
The tent map  τ T ( x )  and the binary functions  b 5 ( x ) b 6 ( x )  are illustrated in Figure 5. Since the tent map  τ T ( x )  also has  f * ( x ) = 1 , we have
E [ b 5 ] = E [ b 6 ] = 1 2 ,
that is, the binary sequences  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0  are balanced sequences. The theoretical correlation functions of the binary sequences can be derived by referring to [9,13] (see Appendix A for details). Actually,  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0  are i.i.d. and uncorrelated to each other for  1 . Note that the cross-correlation function for  = 0 C ( 0 ; b 5 , b 6 ) , can be controlled by d (parameter of the binary function  b 6 ( x , d ) ). The normalized theoretical auto-/cross-correlation functions of the two binary sequences are summarized in Table 3 and illustrated in Figure 6. In Figure 6, numerical auto-/cross-correlation functions calculated by (5) and (11) with  N = 10 6  are also shown.

4.4. Auto-Correlation Functions of New Binary Sequences by Method 1 and Method 2

First, Figure 7 shows the normalized auto-correlation functions of new binary sequences  { D n ( 1 ) } n = 0  in Method 1, where the theoretical auto-correlation functions are calculated by (17) and the numerical ones are calculated by (5), where  N = 10 6 . We can find that the auto-correlation functions of  { D n ( 1 ) } n = 0  given in Figure 7a,b are different from those of the original binary sequences, but Figure 7c,d show the uncorrelated property, which is the same as in the original two binary sequences. We also confirm that the theoretical and numerical ones are in good agreement.
Next, Figure 8 shows the normalized auto-correlation functions of new binary sequences  { D n ( 2 ) } n = 0  in Method 2, where the theoretical auto-correlation functions are calculated by (22) and the numerical ones are calculated by (5), where  N = 10 6 . We can find that the auto-correlation functions of  { D n ( 2 ) } n = 0  are different from those of the original binary sequences, and the theoretical and numerical ones are in good agreement. Moreover, it is confirmed that the auto-correlation functions change if  B 1 ( x )  and  B 2 ( x )  are exchanged. It should be noted that the auto-correlation value at  = 1  in (e) and (f) (Figure 8) can be controlled by the parameter d.

5. Conclusions

The auto-correlation functions of chaotic binary sequences obtained by alternating two binary functions are discussed. Their theoretical auto-correlation function is given and verified by numerical experiments. The proposed methods give more flexibility in designing chaotic sequences with various auto-correlation properties (for example, they can be applied to the method in [18]). The number of binary functions can be extended to three or larger numbers, which will be discussed in future work.

Funding

This work was supported by JSPS KAKENHI, Grant Number JP19K12158.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The author declare no conflict of interest.

Appendix A. Derivation of Auto-/Cross-Correlation Functions of Chaotic Binary Sequences Used in Numerical Experiments

First, we define the Perron–Frobenius (PF) operator  P τ  of the map  τ  with an interval  I = [ 0 , 1 ]  by
P τ G ( x ) = d d x τ 1 ( [ 0 , x ] ) G ( y ) d y
which can be rewritten as
P τ G ( x ) = i | g i ( x ) | G ( g i ( x ) ) ,
where  g i ( x )  is the i-th preimage of the map  τ ( · ) [1,2]. The PF operator is very useful in analyzing correlation functions because it has the following important property [1,2]:
I G ( x ) P τ { H ( x ) } d x = I G ( τ ( x ) ) H ( x ) d x .
Using (A3), the cross-correlation function defined by (9) can be rewritten as
C ( ; B 1 , B 2 ) = I P τ { ( B 1 ( x ) E [ B 1 ] ) f * ( x ) } ( B 2 ( x ) E [ B 2 ] ) d x .
Putting  B 1 ( x ) = B 2 ( x ) = B ( x )  in (A4), we have the auto-correlation function. Thus, it is important to calculate  P τ { ( B ( x ) E [ B ] ) f * ( x ) } ( = 1 , 2 , )  for the analysis of the auto-/cross-correlation functions.

Appendix A.1. Correlation Functions of Chaotic Binary Sequences Generated by Bernoulli Map

For Bernoulli map  τ B ( x )  defined by (23) and the threshold function  Θ t ( x )  defined by (26), we have [9]
P τ { Θ t ( x ) E [ Θ t ] } = 1 2 ( Θ τ ( t ) ( x ) E [ Θ τ ( t ) ] ) ,
where  f * ( x ) = 1  is taken into account. For binary functions  b 1 ( x ) b 2 ( x )  defined by (24), (25), we have [9]
P τ { b 1 ( x ) E [ b 1 ] } = P τ { Θ 1 8 ( x ) E [ Θ 1 8 ] } P τ { Θ 1 4 ( x ) E [ Θ 1 4 ] } + P τ { Θ 1 2 ( x ) E [ Θ 1 2 ] } P τ { Θ 3 4 ( x ) E [ Θ 3 4 ] } + P τ { Θ 7 8 ( x ) E [ Θ 7 8 ] } , = 1 2 { ( Θ 1 4 ( x ) E [ Θ 1 4 ] ) 2 ( Θ 1 2 ( x ) E [ Θ 1 2 ] ) + ( Θ 3 4 ( x ) E [ Θ 3 4 ] ) } , P τ 2 { b 1 ( x ) E [ b 1 ] } = 1 2 ( Θ 1 2 ( x ) E [ Θ 1 2 ] ) , P τ { b 1 ( x ) E [ b 1 ] } = 0 ( 3 ) ,
P τ { b 2 ( x ) E [ b 2 ] } = P τ { Θ 1 4 ( x ) E [ Θ 1 4 ] } P τ { Θ 3 8 ( x ) E [ Θ 3 8 ] } + P τ { Θ 1 2 ( x ) E [ Θ 1 2 ] } P τ { Θ 5 8 ( x ) E [ Θ 5 8 ] } + P τ { Θ 3 4 ( x ) E [ Θ 3 4 ] } , = 1 2 { 2 ( Θ 1 2 ( x ) E [ Θ 1 2 ] ) ( Θ 3 4 ( x ) E [ Θ 3 4 ] ) ( Θ 1 4 ( x ) E [ Θ 1 4 ] ) } , P τ 2 { b 2 ( x ) E [ b 2 ] } = 1 2 ( Θ 1 2 ( x ) E [ Θ 1 2 ] ) , P τ { b 2 ( x ) E [ b 2 ] } = 0 ( 3 ) .
Using (A6) and (A7), we can obtain
A ( ; b 1 ) = 0 1 P τ { ( b 1 ( x ) E [ b 1 ] ) } ( b 1 ( x ) E [ b 1 ] ) d x = 1 4 ( = 0 ) 1 8 ( = 1 ) 1 16 ( = 2 ) 0 ( 3 ) ,
A ( ; b 2 ) = 0 1 P τ { ( b 2 ( x ) E [ b 2 ] ) } ( b 2 ( x ) E [ b 2 ] ) d x = 1 4 ( = 0 ) 0 ( = 1 ) 1 16 ( = 2 ) 0 ( 3 ) ,
C ( ; b 1 , b 2 ) = 0 1 P τ { ( b 1 ( x ) E [ b 1 ] ) } ( b 2 ( x ) E [ b 2 ] ) d x = 0 ( = 0 ) 0 ( = 1 ) 1 16 ( = 2 ) 0 ( 3 ) ,
C ( ; b 2 , b 1 ) = 0 1 P τ { ( b 2 ( x ) E [ b 2 ] ) } ( b 1 ( x ) E [ b 1 ] ) d x = 0 ( = 0 ) 1 8 ( = 1 ) 1 16 ( = 2 ) 0 ( 3 ) ,
which give the normalized auto-/cross-correlation functions given in Table 1.

Appendix A.2. Correlation Functions of Chaotic Binary Sequences Generated by PL Map Defined by (28)

For the PL map  τ P L ( x )  defined by (28) and the threshold function  Θ t ( x )  defined by (26), we have [13]
P τ { Θ 3 4 ( x ) E [ Θ 3 4 ] } = 1 3 ( Θ 3 4 ( x ) E [ Θ 3 4 ] ) ,
P τ { Θ 1 4 ( x ) E [ Θ 1 4 ] } = 0 ,
where  f * ( x ) = 1 τ P L ( 3 4 ) = 3 4  (i.e.,  x = 3 4  is a fixed point on the map), and  τ P L ( 1 4 ) = 0  are taken into account. For binary functions  b 3 ( x ) b 4 ( x )  defined by (29), (30), we immediately obtain, from (A12) and (A13),
P τ { b 3 ( x ) E [ b 3 ] } = P τ { Θ 3 4 ( x ) E [ Θ 3 4 ] } = 1 ( 3 ) ( Θ 3 4 ( x ) E [ Θ 3 4 ] ) ,
P τ { b 4 ( x ) E [ b 4 ] } = P τ { 1 Θ 1 4 ( x ) ( 1 E [ Θ 1 4 ] ) } = 0 ( 1 ) .
Using (A14) and (A15), we can obtain
A ( ; b 3 ) = 0 1 P τ { ( b 3 ( x ) E [ b 3 ] ) } ( b 3 ( x ) E [ b 3 ] ) d x = 3 16 ( 3 ) ,
A ( ; b 4 ) = 0 1 P τ { ( b 4 ( x ) E [ b 4 ] ) } ( b 4 ( x ) E [ b 4 ] ) d x = 3 16 ( = 0 ) 0 ( 1 ) ,
C ( ; b 3 , b 4 ) = 0 1 P τ { ( b 3 ( x ) E [ b 3 ] ) } ( b 4 ( x ) E [ b 4 ] ) d x = 1 16 ( 3 ) ,
C ( ; b 4 , b 3 ) = 0 1 P τ { ( b 4 ( x ) E [ b 3 ] ) } ( b 3 ( x ) E [ b 3 ] ) d x = 1 16 ( = 0 ) 0 ( 1 ) ,
which give the normalized auto-/cross-correlation functions given in Table 2.

Appendix A.3. Correlation Functions of Chaotic Binary Sequences Generated by Tent Map

For the tent map  τ T ( x )  defined by (32) and the threshold function  Θ t ( x )  defined by (26), we have [9]
P τ { Θ t ( x ) E [ Θ t ] } = 1 2 ( Θ τ ( t ) ( x ) E [ Θ τ ( t ) ] ) ( 0 < t < 1 2 ) 1 2 ( Θ τ ( t ) ( x ) E [ Θ τ ( t ) ] ) ( 1 2 t < 1 ) ,
where  f * ( x ) = 1  is taken into account. For binary functions  b 5 ( x ) b 6 ( x , d )  defined by (33), (34), we have
P τ { b 5 ( x ) E [ b 5 ] } = 0 ,
P τ { b 6 ( x , d ) E [ b 6 ] } = 0 ,
where  τ T ( d ) = τ T ( 1 d )  is used. That is,  b 5 ( x )  and  b 6 ( x , d )  for the tent map satisfy the sufficient condition for the generation of i.i.d. binary sequences [9]. Using (A21) and (A22), the auto-correlation functions are given by
A ( ; b 5 ) = 1 4 ( = 0 ) 0 ( 1 ) ,
A ( ; b 6 ) = 1 4 ( = 0 ) 0 ( 1 ) , ( 0 < d 1 2 ) .
From (A21) and (A22), it is obvious that
C ( ; b 5 , b 6 ) = C ( ; b 6 , b 5 ) = 0 ( 1 ) .
Additionally, we have
C ( 0 ; b 5 , b 6 ) = C ( 0 ; b 6 , b 5 ) = d 1 4 .
Thus, the normalized auto-/cross-correlation functions given in Table 3 have been derived.

References

  1. Lasota, A.; Mackey, M.C. Chaos, Fractals, and Noise; Springer: New York, NY, USA, 1994. [Google Scholar]
  2. Boyarsky, A.; Góra, P. Laws of Chaos; Birkhäuser Boston: Boston, MA, USA, 1997. [Google Scholar]
  3. Gerosa, A.; Bernardini, R.; Pietri, S. A fully integrated chaotic system for the generation of truly random numbers. IEEE Trans. Circuits Syst. I 2001, 49, 993–1000. [Google Scholar] [CrossRef]
  4. Stojanovski, T.; Kocarev, L. Chaos-based random number generators—Part I: Analysis. IEEE Trans. Circuits Syst. I 2001, 48, 281–288. [Google Scholar] [CrossRef]
  5. Cicek, I.; Pusane, A.E.; Dundar, G. A novel design method for discrete time chaos based true random number generators. Integr. VLSI J. 2014, 47, 38–47. [Google Scholar] [CrossRef]
  6. Li, C.; Feng, B.; Li, S.; Kurths, J.; Chen, G. Dynamic analysis of digital chaotic maps via state-mapping networks. IEEE Trans. Circuits Syst. I 2019, 66, 2322–2335. [Google Scholar] [CrossRef]
  7. Kennedy, M.P.; Rovatti, R.; Setti, G. (Eds.) Chaotic Electronics in Telecommunications; CRC: Boca Raton, FL, USA, 2000. [Google Scholar]
  8. Liu, Z.; Tang, J.; Yu, J. An application of chaos: Generating binary pseudo-random sequences. In Proceedings of the 1988 IEEE International Symposium on Circuits and Systems, Espoo, Finland, 7–9 June 1988; pp. 1–3. [Google Scholar]
  9. Kohda, T.; Tsuneda, A. Statistics of chaotic binary sequences. IEEE Trans. Inf. Theory 1997, 43, 104–112. [Google Scholar] [CrossRef]
  10. Sakai, H.; Tokumaru, H. Autocorrelations of a certain chaos. IEEE Trans. Acoust. Speech Signal Process 1980, 28, 588–590. [Google Scholar] [CrossRef]
  11. Rovatti, R.; Mazzini, G. Interference in DS-CDMA systems with exponentially vanishing autocorrelations: Chaos-based spreading is optimal. Electron. Lett. 1998, 34, 1911–1913. [Google Scholar] [CrossRef]
  12. Mazzini, G.; Rovatti, R.; Setti, G. Interference minimization by autocorrelation shaping in asynchronous DS-CDMA systems: Chaos-based spreading is nearly optimal. Electron. Lett. 1999, 35, 1054–1055. [Google Scholar] [CrossRef]
  13. Tsuneda, A. Design of binary sequences with tunable exponential autocorrelations and run statistics based on one-dimensional chaotic maps. IEEE Trans. Circuits Syst. I 2005, 52, 454–462. [Google Scholar] [CrossRef]
  14. Yang, C.A.; Yao, K.; Umeno, K.; Biglieri, E. Using deterministic chaos for superefficient Monte-Carlo simulations. IEEE Circuits Syst. Mag. 2013, 13, 26–35. [Google Scholar] [CrossRef]
  15. Souza, C.E.C.; Chaves, D.P.B.; Pimentel, C. One-dimensional pseudo-chaotic sequences based on the discrete Arnold’s cat map over Z3m. IEEE Trans. Circuits Syst. II 2021, 68, 491–495. [Google Scholar]
  16. Paul, P.S.; Sadia, M.; Hossain, M.R.; Muldrey, B.; Hasan, M.S. Cascading CMOS-based chaotic maps for improved performance and its application in efficient RNG design. IEEE Access 2022, 10, 33758–33770. [Google Scholar] [CrossRef]
  17. Tang, J.; Zhang, Z.; Chen, P.; Huang, Z.; Huang, T. A simple chaotic model with complex chaotic behaviors and its hardware implementation. IEEE Trans. Circuits Syst. I 2023, 70, 3676–3688. [Google Scholar] [CrossRef]
  18. Tsuneda, A. Various Auto-correlation functions of m-bit random numbers generated from chaotic binary sequences. Entropy 2021, 23, 1295. [Google Scholar] [CrossRef]
Figure 1. Bernoulli map and binary functions.
Figure 1. Bernoulli map and binary functions.
Dynamics 04 00016 g001
Figure 2. Normalized auto-/cross-correlation functions of  { b 1 ( τ B n ( x ) ) } n = 0  and  { b 2 ( τ B n ( x ) ) } n = 0 .
Figure 2. Normalized auto-/cross-correlation functions of  { b 1 ( τ B n ( x ) ) } n = 0  and  { b 2 ( τ B n ( x ) ) } n = 0 .
Dynamics 04 00016 g002
Figure 3. Piecewise linear map with three sections and binary functions.
Figure 3. Piecewise linear map with three sections and binary functions.
Dynamics 04 00016 g003
Figure 4. Auto-/cross-correlation functions of  { b 3 ( τ P L n ( x ) ) } n = 0  and  { b 4 ( τ P L n ( x ) ) } n = 0 .
Figure 4. Auto-/cross-correlation functions of  { b 3 ( τ P L n ( x ) ) } n = 0  and  { b 4 ( τ P L n ( x ) ) } n = 0 .
Dynamics 04 00016 g004
Figure 5. Tent map and binary functions.
Figure 5. Tent map and binary functions.
Dynamics 04 00016 g005
Figure 6. Auto-/cross-correlation functions of  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0 ( d = 0.15 , 0.35 ) .
Figure 6. Auto-/cross-correlation functions of  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0 ( d = 0.15 , 0.35 ) .
Dynamics 04 00016 g006
Figure 7. Normalized auto-correlation functions of new binary sequences  { D n ( 1 ) } n = 0  in Method 1.
Figure 7. Normalized auto-correlation functions of new binary sequences  { D n ( 1 ) } n = 0  in Method 1.
Dynamics 04 00016 g007aDynamics 04 00016 g007b
Figure 8. Normalized auto-correlation functions of new binary sequences  { D n ( 2 ) } n = 0  in Method 2.
Figure 8. Normalized auto-correlation functions of new binary sequences  { D n ( 2 ) } n = 0  in Method 2.
Dynamics 04 00016 g008aDynamics 04 00016 g008b
Table 1. Normalized theoretical auto-/cross-correlation functions of  { b 1 ( τ B n ( x ) ) } n = 0  and  { b 2 ( τ B n ( x ) ) } n = 0 .
Table 1. Normalized theoretical auto-/cross-correlation functions of  { b 1 ( τ B n ( x ) ) } n = 0  and  { b 2 ( τ B n ( x ) ) } n = 0 .
  = 0   = 1   = 2   3
  A ˜ ( ; b 1 ) 1 1 2       1 4 0
  A ˜ ( ; b 2 ) 10 1 4    0
  C ˜ ( ; b 1 , b 2 ) 00   1 4 0
  C ˜ ( ; b 2 , b 1 ) 0   1 2 1 4    0
Table 2. Normalized theoretical auto-/cross-correlation functions of  { b 3 ( τ P L n ( x ) ) } n = 0  and  { b 4 ( τ P L n ( x ) ) } n = 0 .
Table 2. Normalized theoretical auto-/cross-correlation functions of  { b 3 ( τ P L n ( x ) ) } n = 0  and  { b 4 ( τ P L n ( x ) ) } n = 0 .
  = 0   = 1   = 2   3
  A ˜ ( ; b 3 )   ( 3 )
  A ˜ ( ; b 4 ) 1000
  C ˜ ( ; b 3 , b 4 )   ( 3 ) 1
  C ˜ ( ; b 4 , b 3 )   1 3 000
Table 3. Normalized theoretical auto-/cross-correlation functions of  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0 .
Table 3. Normalized theoretical auto-/cross-correlation functions of  { b 5 ( τ T n ( x ) ) } n = 0  and  { b 6 ( τ T n ( x ) , d ) } n = 0 .
  = 0   1
  A ˜ ( ; b 5 ) 10
  A ˜ ( ; b 6 ) 10
  C ˜ ( ; b 5 , b 6 )   4 d 1 0
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

Tsuneda, A. Auto-Correlation Functions of Chaotic Binary Sequences Obtained by Alternating Two Binary Functions. Dynamics 2024, 4, 272-286. https://doi.org/10.3390/dynamics4020016

AMA Style

Tsuneda A. Auto-Correlation Functions of Chaotic Binary Sequences Obtained by Alternating Two Binary Functions. Dynamics. 2024; 4(2):272-286. https://doi.org/10.3390/dynamics4020016

Chicago/Turabian Style

Tsuneda, Akio. 2024. "Auto-Correlation Functions of Chaotic Binary Sequences Obtained by Alternating Two Binary Functions" Dynamics 4, no. 2: 272-286. https://doi.org/10.3390/dynamics4020016

Article Metrics

Back to TopTop