Rational functions over finite fields having continued fraction expansions with linear partial quotients

1. Statement of results We let F be the finite field with two elements, and let K be the field F((x')) of all formal power series in x-' over F. Every element of K not in the field of rational functions F(x) has a unique infinite continued fraction expansion f = a. + 1/(al + 1/(a2 + * * *)), or more briefly f = [a0; a,, a2, * *.* ],

Polynomials with Odd Orthogonal Multiplicity

Journal Article Heights and preperiodic points of polynomials over function fields Get access Robert L. Benedetto Robert L. Benedetto Search for other works by this author on: Oxford Academic Google Scholar International Mathematics Research Notices, Volume 2005, Issue 62, 2005, Pages 3855–3866, https://doi.org/10.1155/IMRN.2005.3855 Published: 01 January 2005 Article history Published: 01 January 2005 Received: 20 October 2005 Revision received: 12 December 2005 Accepted: 25 December 2005

In this paper, we give the value of the approximation exponent of the hyperquadratic power series satisfying the equation $$Cx^{r}-Ax^{r-1}-1=0$$ where $r> 2$ is a power of a prime number $p$, $A$ and $C$ are nonzero polynomials over a finite field $\mathbf{K}$ of characteristic $p$ and $\deg A> \deg C$. Further, we exhibit explicitly its continued fraction expansion when $C$ divides $A$.

Наведено порівняльний аналіз відомих протоколів узгодження таємного ключа через відкритий канал звʼязку. Запропоновано узагальнення відомого протоколу з використанням некомутативного множення матриць над простим скінченним полем на випадок довільного скінченного поля. A symmetric cryptosystem requires a secret key agreed by both parties. The Diffie-Hellman protocol was originally proposed for its exchange via an open communication channel. It is based on the computational complexity of the discrete logarithm problem in certain finite groups (the multiplicative group of a finite field, the group of points of an elliptic curve over a finite field). The availability of a powerful quantum computer will allow solving the discrete logarithm problem in these groups. Therefore, the issue of construction of secret key exchange protocols that will be resistant to attacks using a quantum computer has become urgent. The paper provides a comparative analysis of known protocols for a secret key exchange via an open communication channel. A generalization of the known protocol using non-commutative matrix multiplication over a prime finite field for the case of an arbitrary finite field is proposed. In this protocol, two high order elements from the general linear group over a finite field should be used, which satisfy an additional condition. It consists in the fact that each of the matrices cannot be reduced to a diagonal form by conjugation transformation. This condition follows from the considerations of avoiding an attack on the protocol. It is shown how to construct such elements. For the proposed generalization of the protocol, the sizes of public and private keys, secret key, the size of the finite field, which ensure the appropriate level of security, are calculated. The dimensions of matrices (elements of the general linear group) that we use are also given. The generalization of the protocol to the case of an arbitrary finite field increases the flexibility of choosing protocol parameters to ensure the desired level of security.

The obvious way to compute the continued fraction of a real number α > 1 is to compute a very accurate numerical approximation of α, and then to iterate the well-known truncate-and-invert step which computes the next partial quotient a = bαc and the next complete quotient α′ = 1/(α − a). This method is called the basic method. In the course of this process precision is lost, and one has to take precautions to stop before the partial quotients become incorrect. Lehmer [6] gives a safe stopping-criterion, and a trick to reduce the amount of multi-length arithmetic. Schonhage [12] describes an algorithm for computing the greatest common divisor of u and v and the related continued fraction expansion of u/v in O(n log n log log n) steps if both u and v do not exceed 2. A disadvantage of this approach is that if we wish to extend the list of partial quotients computed from an initial approximation of α, we have to compute a more accurate initial approximation of α, compute the new complete quotient using this new approximation and the partial quotients already computed from the old approximation, and then extend the list of partial quotients using that new complete quotient (we notice that Shiu in [13, p.1312] incorrectly states that all the previous calculations have to be repeated, but the partial quotients computed so far don’t have to be recomputed). Bombieri and Van der Poorten [1], and Shiu [13] have recently proposed a remedy for this problem. They give a formula for computing a rational approximation of the next complete convergent from the first n partial quotients. From that complete convergent about n new partial quotients can be computed. So each step gives an approximate doubling of the number of partial quotients. To start the method, a few partial quotients have to be computed with the basic or indirect method. In [1] this method is proposed for algebraic numbers (which are zeros of polynomials) of degree ≥ 3, whereas Shiu also applies it to more general numbers, namely to transcendental numbers that can be defined as the zero of a function for which the logarithmic derivative at a rational point can be computed with arbitrary precision. This includes numbers like π, log π, and log 2. For each of thirteen different numbers, Shiu computes 10000 partial quotients. Their frequency distributions are compared with the one which almost all numbers should obey, according to the Khintchine– Levy theory [3, 7]. No significant deviations from this theory are reported. Shiu calls his method the direct method. Curiously, Shiu does not refer to what we would call the polynomial method for algebraic numbers [2, 5, 11] of degree ≥ 3, which computes the partial quotients of α using only the coefficients of its defining polynomial. Moreover, Shiu gives neither implementational

The study of solutions to polynomial equations over finite fields has a long history in mathematics and is an interesting area of contemporary research. In recent years, the subject has found important applications in the modelling of problems from applied mathematical fields such as signal analysis, system theory, coding theory and cryptology. In this connection, it is of interest to know criteria for the existence of squares and other powers in arbitrary finite fields. Making good use of polynomial division in polynomial rings over finite fields, we have examined a classical criterion of Euler for squares in odd prime fields, giving it a formulation that is apt for generalization to arbitrary finite fields and powers. Our proof uses algebra rather than classical number theory, which makes it convenient when presenting basic methods of applied algebra in the classroom.

In this note, we describe a family of particular algebraic, and nonquadratic, power series over an arbitrary finite field of characteristic 2, having a continued fraction expansion with all partial quotients of degree one. The main purpose being to point out a common origin with another analogue family in odd characteristic, which has been studied in [LY1].

Flat Power Series over a Finite Field

This thesis presents some contributions in additive combinatorics and arithmetic Ramsey theory. More specifically, it deals with the interaction between combinatorics, number theory and additive combinatorics. This area saw a great improvement with the Szemerédi Regularity Lemma and some of the results that followed. The Regularity Lemma and its consequences have become a widely used tool in graph theory, combinatorics and number theory. Furthermore, its language and point of view has deeply changed the face of additive number theory, a fact universally acknowledged by the Abel award given to Szemerédi in 2012. One of the main reasons for the prize has been Szemerédi's theorem, a result regarding the existence of arbitrarily long arithmetic progressions in dense sets of the integers, the proof of which uses the Regularity Lemma in a key step. One of the earlier consequences of the Regularity Lemma was the Removal Lemma for graphs that was used by Ruzsa and Szemerédi to show Roth theorem, regarding the existence of 3-term arithmetic progressions in dense sets of the integers, in a combinatorial way. The Removal Lemma states that in any graph K with few copies of a subgraph, say a triangle, we can remove few edges from K so that the result contains no copy of the subgraph. This has become a key tool in the applications of the so-called Regularity Method, which has extensive literature in combinatorics, graph theory, number theory and computer science. In 2005 Green introduced a regularity lemma for Abelian groups as well as an algebraic removal lemma. The removal lemma for groups states that, for a given finite Abelian group G, if there are o(|G|^3) solution to x+y+z+t=0 with the variables taking values in S, a subset of G, then we can remove o(|G|) elements from S to make the set S solution-free. The main contributions of this work corresponds to extensions of the removal lemma for groups to either more general contexts, like non-necessary Abelian finite groups, or to linear systems of equations for finite Abelian groups. The main goal is to give a comprehensive and more general framework for many results in additive number theory like Szemerédi Theorem. In particular, we show that the removal lemma for groups by Green can be extended to non-necessary Abelian finite groups. Moreover, we prove a removal lemma for linear systems on finite fields: for every e>0 there exists a d>0 such that if A is a (k x m) linear system of equations with coefficients in a finite field F and the number of solutions to Ax=b, where each variable takes values from a subset Si in F is less than d times |F| raised to m-k, then by removing less than e|F| elements in each Si we can make the resulting sets solution-free, thus solving a conjecture by Green to that respect. Even more, if A is an integer linear system, G is a finite Abelian group, and the determinantal of A and |G| are coprime, then a similar statement holds. Let us mention that the last result allows us to characterize those linear systems where any set S with size proportional to G has a nontrivial solution in S, provided |G| is large enough. This extends the validity of Szmerédi's theorem to finite Abelian groups. These extensions of the removal lemma have been used in arithmetic Ramsey theory to obtain counting results for the number of monochromatic solutions of linear systems. The main result from a work by Frankl, Graham and Rödl in '88 states that the number of monochromatic solutions of regular systems in integer intervals is in fact a positive proportion of the total number of solutions. We give analogous results for solutions in Abelian groups with bounded exponent, for which the main tool in the torsion-free case cannot be applied. Density versions of these counting results are also obtained, in this case with a full characterization.

Recently, the weight distributions of the duals of the cyclic codes with two zeros have been obtained for several cases in Ding et al. (IEEE Trans Inform Theory 57(12), 8000–8006, 2011); Ma et al. (IEEE Trans Inform Theory 57(1):397–402, 2011); Wang et al. (Trans Inf Theory 58(12):7253–7259, 2012); and Xiong (Finite Fields Appl 18(5):933–945, 2012). In this paper we use the method developed in Xiong (Finite Fields Appl 18(5):933–945, 2012) to solve one more special case. We make extensive use of standard tools in number theory such as characters of finite fields, the Gauss sums and the Jacobi sums. The problem of finding the weight distribution is transformed into a problem of evaluating certain character sums over finite fields, which turns out to be associated with counting the number of points on some elliptic curves over finite fields. We also treat the special case that the characteristic of the finite field is 2.

Reconstructing rational functions with FireFly

In this paper, we consider rational functions [Formula: see text] with some minor restrictions over the finite field [Formula: see text] where [Formula: see text] for some prime [Formula: see text] and positive integer [Formula: see text]. We establish a sufficient condition for the existence of a pair [Formula: see text] of primitive normal elements in [Formula: see text] over [Formula: see text] Moreover, for [Formula: see text] and rational functions [Formula: see text] with quadratic numerators and denominators, we explicitly find that there are at most [Formula: see text] finite fields [Formula: see text] in which such a pair [Formula: see text] of primitive normal elements may not exist.

In this paper, we will discuss the period length of the continued fraction of the product of a polynomial with a quadratic power series over a finite field. Furthermore, we will give the first example of bounded continued fraction in characteristic 3 with not flat partial quotients.

A chain of factored matrices is derived for formulating the Routh array if the first column of the array is known. The factored matrices may be used to perform the conversion of a continued fraction into a rational function. A set of tables based on the second Cauer form of continued fraction expansion is also included. These tables are the approximated rational functions for the commonly used irrational function √ and the transcendental function e s .