Let n be a positive integer. Let ξ be an algebraic real number of degree greater than n. It follows from a deep result of W. M. Schmidt that, for every positive real number ε, there are infinitely many algebraic numbers α of degree at most n such that |ξ−α| < H(α)−n−1+ε, where H(α) denotes the näıve height of α. We sharpen this result by replacing ε by a function H 7→ ε(H) that tends to zero wh...

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum of at most N units. Moreover, all quadratic global function fields whose rings of integers are generated by their units are determined.

In analogy with values of the classical Euler Γ-function at rational numbers and the Riemann ζ-function at positive integers, we consider Thakur’s geometric Γ-function evaluated at rational arguments and Carlitz ζ-values at positive integers. We prove that, when considered together, all of the algebraic relations among these special values arise from the standard functional equations of the Γ-f...

k For multiplicative representations ni=, ay' and n;=, Byi , where ai, pj are non-zero elements of some algebraic number field K and ni, mj are rational integers, we present a deterministic polynomial time algorithm that decides whether HfZl ay' equals l$=, py'. The running time of the algorithm is polynomial in the number of bits required to represent the number field K, the elements a i , p j...

Abstract. Let ψ1, . . . , ψk be maps from Z to an additive abelian group with positive periods n1, . . . , nk respectively. We show that the function ψ1 + · · · + ψk is constant if ψ1(x) + · · · + ψk(x) equals a constant for |S| consecutive integers x where S = {r/ns : r = 0, . . . , ns −1; s = 1, . . . , k}. This local-global theorem extends a previous result [Math. Res. Lett. 11(2004), 187–19...

Number theory may be loosely defined as the study of the integers: in particular, the interaction between their additive and multiplicative structures. However, modern number theory is often described as the study of such objects as algebraic number fields and elliptic curves, which we have invented in order to answer elementary questions about the integers. Therefore, an argument can be made t...

This paper presents a matrix factorization method for implementing orthonormal M-band wavelet reversible integer transforms. Based on an algebraic construction approach, the polyphase matrix of orthonormal M-band wavelet transforms can be factorized into a finite sequence of elementary reversible matrices that map integers to integers reversibly. These elementary reversible matrices can be furt...

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum of at most N units. Moreover, all quadratic global function fields whose rings of integers are generated by their units are determined.

Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rat...

Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rat...