Period of K System Generator of Pseudorandom Numbers
N.Z.Akopov, G.G.Athanasiu, E.G.Floratos, G.K.Savvidy

TL;DR
This paper analyzes the structure and period of pseudorandom number generators based on matrix systems, especially when related to Galois fields, providing explicit period calculations.
Contribution
It offers a detailed analysis of the periodic trajectories of matrix-based pseudorandom generators and computes their periods using Galois field properties.
Findings
Period of trajectories depends on prime p and matrix dimension d
Structure becomes clearer when rational sublattice matches GF[p]
Provides explicit formulas for trajectory periods
Abstract
We analyze the structure of the periodic trajectories of the matrix generator of pseudorandom numbers which has been proposed earlier. The structure of the periodic trajectories becomes more transparent when the rational sublattice coincides with the Galois field . We are able to compute the period of the trajectories as a function of and the dimension of the matrix .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsChaos-based Image/Signal Encryption
Period of K system generator of pseudorandom numbers
111Crete University reprint CRETE.TH/12/95; Hep-lat 9601003
N.Z.Akopov
Yerevan Physics Institute,375036 Yerevan,Armenia
G.G.Athanasiu
Physics Department,University of Crete,71409 Iraklion,Greece
E.G.Floratos
National Research Center,** A. Paraskevi, Greece;**
Physics Department,University of Crete,71409 Iraklion,Greece
G.K.Savvidy
Physics Department,University of Crete,71409 Iraklion,Greece;
Research Foundation of Thrace, Interdisciplinary Center for Complexity
We analyze the structure of the periodic trajectories of the matrix generator of pseudorandom numbers which has been earlier proposed in [1, 2]. The structure of the periodic trajectories becomes more transparent when the rational sublattice coincides with the Galois field [3, 4]. We are able to compute the period of the trajectories as a function of and the dimension of the matrix .
**1. **In the articles [1, 2] the authors suggested the matrix generator of pseudorandom numbers based on Kolmogorov-Anosov K systems [5, 6, 7, 8]. These systems are the most stochastic dynamical systems, with nonzero Kolmogorov entropy [5, 6, 9, 11, 12, 13]. The trajectories of the system are exponentially unstable and uniformly fill the phase space. The coordinates of these trajectories represent the desired sequence of pseudorandom numbers [1, 2].
In the given case it is assumed that the unit -dimensional torus plays the role of the phase space, therefore the coordinates of the trajectory are uniformly distributed over the unit hypercube and can be used for Monte-Karo simulations [1, 2].
The properties of this new class of matrix generators were investigated with different criterion including discrepancy in various dimensions. In all cases it shows good statistical properties [2]. Matrix generators based on different ideas are proposed in [14, 15]. We refer to the book of Niederreiter [16] and to the survey article [17] for recent references.
The aim of this article is to estimate the period of the trajectories which are used to produce pseudorandom numbers. Only periodic trajectories of the system can be simulated on a computer, because trajectories on a computer are always on a finite rational sublattice of the phase space [10, 20, 19].
The essence of the approach is to consider the system on rational sublattice of a unit -dimensional torus and particularly on sublattices with basis [3, 20]. These sublattices are equivalent to Galois fields and all four elementary arithmetical operations can be carried out unrestrictevely [21, 22, 23]. This approach demonstrates that in order to have a large period on a sublattice one should have matrices which have the eigenvalues in high extensions of the field and at the same time they should have integer entries.
On every Galois field exists a primitive element which has the period , that is , and every element of can be represented as a power of [21, 22, 23]. We shall show that if the eigenvalues of the matrix generator are proportional to these primitive elements, then the period of the trajectories is equal to
[TABLE]
The upper bound for the period of the cat map (15) found by Dyson and Falk [10] on arbitrary rational sublattice is equal to
[TABLE]
and also linearly depends on .
The period increases when we consider the sublattices of the basis , where instead of . In that case the period of the same matrix generator is
[TABLE]
Then increasing the dimension of the matrix generator by matrices we will get the period equal to
[TABLE]
and correspondingly on sublattice
[TABLE]
Using quadratic extension of the Galois field [21, 22, 23] we have found a systematic way to construct the matrix generators with period
[TABLE]
and finally on the high extended Galois field the period is equal to
[TABLE]
The last result shows that in practical simulations the period is very large and is of order where - is the dimension of the matrix generator and - is the basis of the sublattice .
We suggest specific matrices with this properties and with almost zero entries, see Section 17. This matrices have the largest period and can be easily used for practical simulations.
**2. **Let us pass to the details of the algorithm. The matrix generator is defined as [1, 2],
[TABLE]
where is dimensional matrix with integer matrix elements and determinant equal to one
[TABLE]
and is an initial vector. The last condition provides phase volume conservation. The automorphism (1) form the system of Anosov if and only if all eigenvalues of the matrix are in modulus different from unity [6, 7, 8]
[TABLE]
The of the system (1)
[TABLE]
represents the desired sequence of the pseudorandom numbers [1].
This approach allows a large freedom in choosing the matrices for the K system generators and the initial vectors [1]. Specific choices suggested in [1, 2, 24] are
[TABLE]
**3. **Let us consider trajectories of the system (1) with initial vector which has rational coordinates
[TABLE]
It is easy to see, that all these trajectories are periodic orbits of the Anosov map (1), because matrix elements are integer. Indeed, if we shall consider the sublattice of unit torus with rational coordinates of the form where is the smallest common denominator
[TABLE]
then the multiplication,summation and operations (1) will leave the trajectory on the same sublattice. The total number of vertices on this sublattice is
[TABLE]
therefore the period of the trajectories on , where is always less than
[TABLE]
Thus the periodic trajectories of this system (1) with the initial vector (5) coincide with a subset of the points of rational sublattice and our goal is to find conditions under which the period of the system will be as large as possible.
Let us show that on every given sublattice Anosov map (1) reduces to ( ) arithmetic. Indeed on sublattice the Anosov map (1) can be written as
[TABLE]
and is equivalent to () arithmetic on the lattice with integer coordinates which are in the interval
[TABLE]
Thus the images of the periodic trajectories on a unit torus appear as trajectories on the integer sublattice and all operations can be understood (). The most important thing is that now all operations become commutative.
**4. **To estimate the period of the trajectories on rational sublattice it is essential to consider those sublattices for which is the prime number, we mean that . In that case the integer sublattice gains an additional structure and becomes the Galois field and all operations reduce to arithmetic ones on Galois field. The benefit to work on Galois field is that four arithmetic operations are well defined on that sublattice [21].
In this way we can consider every coordinate , as belonging to Galois field , where and consider the sublattice as a direct product of Galois fields
[TABLE]
As we already mentioned, this reduction of the dynamical system (1) to dynamical system for which the Galois field plays the role of the phase space makes all operations commutative in the sense that
[TABLE]
where means operation. The commutativity of the multiplication and operation on the Galois sublattice means that the periodic trajectory
[TABLE]
can be represented in the form
[TABLE]
and the period of the trajectory can be understood as a degree of power on which the matrix reduces to identity ()
[TABLE]
The period of the trajectory on the Galois sublattice is equal therefore to the power in which the matrix reduces to identity on a given Galois field . This period does not depend on initial vectors and the whole phase space factories into trajectories with equal periods. It is obvious that the same matrix will have different periods on different Galois fields and that this period depends on the given prime number and the dimension of matrices.
**5. **To demonstrate this fact let us consider few examples. The matrix
[TABLE]
has period equal to four on the Galois field with and to eight when
[TABLE]
The question which appears here, is how it is possible to estimate the period of the matrix without actual computation of the powers of the matrix .
We can find the answer to this question considering the eigenvalues of the matrix . Indeed, as we will see, we can compute the periods using the eigenvalues of the matrix . Let us consider first the example of the eigenvalues of the cat map (15)
[TABLE]
The question: what is the period of the given matrix on Galois field is equivalent now to the question : in which power the eigenvalues are equal to identity on field ?
[TABLE]
As it is easy to see
[TABLE]
which confirms the direct computation. The exceptional case when this method can not be applied directly is when the eigenvalues have degeneracy on a particular field . This takes place for , indeed . Using Jordan normal form of the matrix one can see that . Because this happens for very particular values of in the following we will consider only the cases when eigenvalues are not degenerate.
**6. ** Thus the actual value of the period naturally depends on the form of eigenvalues and of the prime number . Here we can distinguish different cases:
i). The eigenvalue coincides with one of the elements of the Galois field . In that case the period depends on whether eigenvalue coincides with the primitive element of the Galois field or not. All elements of the field can be constructed as powers of primitive element and . If one of the eigenvalues coincides with the primitive element of the Galois field ,
[TABLE]
then the period of the matrix is maximal and is equal to
[TABLE]
Therefore to get the maximal period in the case i) one should have at least one of the eigenvalues equal to the primitive element of the field . If does not coincide with the primitive element , then the period is simply smaller.
ii). The eigenvalue does not coincide with any of the elements of the Galois field . This takes place because the solutions of the characteristic polynomial of the matrix are not always in the field . Galois field is arithmetically complete, but it is not algebraically complete, therefore one can have the situation when
[TABLE]
This possibility can be illustrated by cat map (15), indeed is not an element of GF[3] or GF[7].
In that case one should ask, whether it is an element of the quadratic extension . The quadratic extension of the Galois field consists of the numbers of the form where are the elements of field , is the primitive element of and is a square-free integer.
Now if the eigenvalue is an element of the quadratic extension and coincides with it’s primitive element
[TABLE]
then the period is equal to
[TABLE]
because the primitive element of the has the period equal to [21]. Again, if does not coincide with the primitive element , then the period is simply smaller, as it is in the case (15) for where the period is .
iii). In general the characteristic polynomial of the matrix is of order and the eigenvalues can belong to high extensions of the Galois field, the elements of which have the form where are the elements of , is the primitive element and . The primitive element of has the period
[TABLE]
This analysis demonstrates an important fact that in order to have a large period on a sublattice one should have matrices which have the eigenvalues in high extensions of the field and at the same time they should have integer entries.
**7. **In the previous sections we described the trajectories of the K system on the rational sublattice and particularly on a Galois field, that is when p is the prime number.
In this section we will reverse the discussion and will try to construct the matrices A with the properties of K systems on a given Galois field with the maximal period. The question can be formulated in the following form: can we construct a matrix A with the properties of K system such that it has the largest period on a given Galois field ?
Let us first consider two-dimensional matrices of the form
[TABLE]
which have the following eigenvalues
[TABLE]
To realize the first case i), when the eigenvalue belongs to the field, we should have as an element of the field, that is
[TABLE]
In this case the square root operation will belongs to the field. To have the maximal period we should choose one of the eigenvalues to be the primitive element of the given field
[TABLE]
therefore
[TABLE]
and (24) is satisfied automatically. From (26)
[TABLE]
so that the matrix (23) is equal to
[TABLE]
and has the period as large as the primitive element , which is
[TABLE]
The upper bound for the period of the cat map (15) found by Dyson and Falk [10] on an arbitrary rational sublattice is equal to
[TABLE]
and also linearly depends on .
**8. **These formulas allow to construct explicit examples of matrices with given period. The field has primitive element and therefore the matrix (28) has the form
[TABLE]
with the corresponding period .
**9. ** The next step in this construction is to enlarge the sublattice to sublattice , where p is the same prime number. Despite the fact that the sublattice does not have field structure, nevertheless there exists an element with the period . The important theorem [21] states that coincides with one of the primitive elements of the original field which has the property
[TABLE]
This primitive element is the same for for any integer and has the period
[TABLE]
We have therefore the following result: the matrices which we have constructed in the previous section on , will have period on sublattice equal to
[TABLE]
It simply means that with operation we increase the period of the matrix from to . This allows to have large sublattices with small basic primes.
**10. **For the case the condition (31) is satisfied because
[TABLE]
and the matrix (30) has the period
[TABLE]
So our construction of the matrices with eigenvalues which are proportional to the primitive element of the field is completed.
**11. ** As a basis for next constructions, let us consider a class of K system generators with very simple structure [24]
[TABLE]
In the last case it is easy to compute the characteristic polynomial of
[TABLE]
and therefore for it‘s eigenvalues we have
[TABLE]
[TABLE]
[TABLE]
These formulas allow to choose eigenvalues and then to construct matrix for K system generators.
For example if d=4 and , and , then
[TABLE]
[TABLE]
with an additional simplectic structure of .
**12. ** Our goal is to get matrices of the form (33) with the maximal period. Let us first consider four-dimensional case
[TABLE]
which has the characteristic polynomial
[TABLE]
and we will choose again , then the roots are:
[TABLE]
Because is square-free primitive element of the the period of this matrix is
[TABLE]
Increasing the dimension of the matrix with the same simplectic structure
[TABLE]
we will get the characteristic polynomial
[TABLE]
with different roots
[TABLE]
and the period is equal to
[TABLE]
The same matrices on sublattice will have the period
[TABLE]
**13. ** The example on where is
[TABLE]
with period and with we have .
**14. **The next step is to construct the matrices which have the eigenvalues in quadratic extension , that is we are going to consider the case ii). If is the primitive element of the , that is
[TABLE]
then the matrix which has the eigenvalues in can be constructed in the same form as (33)
[TABLE]
because the characteristic equation is
[TABLE]
[TABLE]
and has the root which coincides with the primitive element of . This matrix has integer elements by construction and the period
[TABLE]
Therefore the period quadratically increases in comparison with previous construction. The same matrix with operation will give
[TABLE]
**15. ** The example on where will be
[TABLE]
with and for the period is .
**16. **To construct the matrix generator with eigenvalues in high fields it is easier to use primitive polynomial of degree over the root of which coincides with the primitive element . The primitive polynomial has the form [21, 22, 23]
[TABLE]
with coefficients over . The only problem is that this polynomial does not correspond to a matrix with unit determinant (2). But the last term always can be represented as a power of the primitive element of , therefore if we multiply the primitive polynomial (53) by we will get the polynomial which corresponds to a matrix with unit determinant
[TABLE]
[TABLE]
To this polynomial corresponds the matrix generator of the form (33)
[TABLE]
with period
[TABLE]
and on
[TABLE]
This is our main result with the largest period of order .
**17. **The example of the primitive polynomial on with is [22] and (54) has the form therefore the matrix is
[TABLE]
with period and on .
It is also useful to have the list of primitive polynomials on [22]. Tables with larger ranges of are available for . In particular [25] contain tables for , in [26] for and in [27] for with the corresponding period
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
In this case one can directly construct the matrices of the form (33) because the free term is equal to one. For the last polynomial we have
[TABLE]
with period . Direct check of the eigenvalues, shows that eigenvalues are not on a unit circle, therefore the K conditions (2,3) are satisfied. We have checked that for all primitive polynomials on hand this conditions are satisfied, so one can use any of them.
Acknowledgments G.K.S. acknowledge G.Pavlos and M.Bountouridis for kind hospitality at the Interdisciplinary Center for Complexity of the Research Foundation of Thrace.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] G.K.Savvidy and N.G.Ter-Arutyunian, On the Monte-Carlo Simulation of Physical Systems, J.Comput.Phys. 97, 566 (1991); Preprint EPI-865(16)-86, Yerevan Jun.1986.
- 2[2] N.Z.Akopov,G.K.Savvidy and N.G.Ter-Arutyunian, Matrix Generator of Pseudorandom Numbers, J.Comput.Phys.97, 573 (1991); Preprint EPI-867(18)-86, Yerevan Jun.1986;
- 3[3] G.G.Athanasiu and E.G.Floratos, Nucl.Phys. B 425 (1994) 343; Polar decomposition of primitive elements in G F [ p 2 ] 𝐺 𝐹 delimited-[] superscript 𝑝 2 GF[p^{2}] , Crete University preprint CRETE.TH/9/93
- 4[4] G.G.Athanasiu,E.G.Floratos and S.Nicolis, Holomorphic quantization on the torus and finite quantum mechanics, Preprint LPTENS 95/43; hep-th/9509098
- 5[5] A.N.Kolmogorov, Dokl.Akad.Nauk SSSR 119, 861 (1958)
- 6[6] D.V.Anosov, Geodezicheskiye Potoki na Zamknutych Rimanovych Mnogoobraziyach Otrizatelnoi Krivizny (Geodesic flows on closed Riemannian manifolds of negative curvature) (Nauka, Moscow, 1967).
- 7[7] V.A.Rohlin. Uspechi Mat.Nauk 4 (1949) 47 Izv.Akad.Nauk SSSR. Ser.Mat. 13 (1949) 329; 25 (1961) 499 Russian Math. Surveys 15 (1960) 1
- 8[8] Ya.G.Sinai. Dokl.Akad.Nauk SSSR 124 (1959) 768
