Search

In this paper, for positive integers $H$ and $k \leq n$, we obtain some estimates on the cardinality of the set of monic integer polynomials of degree $n$ and height bounded by $H$ with exactly $k$ roots of maximal modulus. These include lower and upper bounds in terms of $H$ for fixed $k$ and $n$. We also count reducible and irreducible polynomials in that set separately. Our results imply, for instance, that the number of monic integer irreducible polynomials of degree $n$ and height at most $H$ whose all $n$ roots have equal moduli is approximately $2H$ for odd $n$, while for even $n$ there are more than $H^{n/8}$ of such polynomials., Comment: 20 pages

In this paper, we study some typical arithmetic properties of Euler's totient function of polynomials over finite fields. Especially, we study polynomial analogues of some classical conjectures about Euler's totient function, such as Carmichael's conjecture, Sierpi\'{n}ski's conjecture, and Erd\"{o}s' conjecture., Comment: 19 pages

Let $f$ be a polynomial with coefficients in the ring $O_S$ of $S$-integers of a number field $K$, $b$ a non-zero $S$-integer, and $m$ an integer $\ge 2$. We consider the equation $( \star )$: $f(x) = b y^m$ in $x,y \in O_S$. Under the well-known LeVeque condition, we give fully explicit upper bounds in terms of $K, S, f, m$ and the $S$-norm of $b$ for the heights of the solutions $x$ of the equation $( \star)$. Further, we give an explicit bound $C$ in terms of $K, S, f$ and the $S$-norm of $b$ such that if $m > C$ the equation $(\star)$ has only solutions with $y = 0$ or a root of unity. Our results are more detailed versions of work of Trelina, Brindza, Shorey and Tijdeman, Voutier and Bugeaud, and extend earlier results of B\'erczes, Evertse, and Gy\H{o}ry to polynomials with multiple roots. In contrast with the previous results, our bounds depend on the $S$-norm of $b$ instead of its height., Comment: 37 pages

In this paper, we use some of our previous results to improve an upper bound of Bayer-Fluckiger, Borello and Jossen on the Euclidean minima of algebraic number fields. Our bound depends on the degree $n$ of the field, its signature, discriminant and the Hermite constant in dimension $n$., Comment: 11 pages

In this paper, as an analogue of the integer case, we study detailedly the period and the rank of the generalized Fibonacci sequence of polynomials over a finite field modulo an arbitrary polynomial. We establish some formulas to compute them, and we also obtain some properties about the quotient of the period and the rank. We find that the polynomial case is much more complicated than the integer case., Comment: 33 pages

We study functional graphs generated by several quadratic polynomials, acting simultaneously on a finite field of odd characteristic. We obtain several results about the number of leaves in such graphs. In particular, in the case of graphs generated by three polynomials, we relate the distribution of leaves to the Sato-Tate distribution of Frobenius traces of elliptic curves. We also present extensive numerical results which we hope may shed some light on the distribution of leaves for larger families of polynomials., Comment: 30 pages

In this paper, we establish some finiteness results about the multiplicative dependence of rational values modulo sets which are `close' (with respect to the Weil height) to division groups of finitely generated multiplicative groups of a number field $K$. For example, we show that under some conditions on rational functions $f_1, \ldots, f_n\in K(X)$, there are only finitely many elements $\alpha \in K$ such that $f_1(\alpha),\ldots,f_n(\alpha)$ are multiplicatively dependent modulo such sets., Comment: 20 pages

For positive integers $K$ and $L$, we introduce and study the notion of $K$-multiplicative dependence over the algebraic closure $\overline{\mathbb{F}}_p$ of a finite prime field $\mathbb{F}_p$, as well as $L$-linear dependence of points on elliptic curves in reduction modulo primes. One of our main results shows that, given non-zero rational functions $\varphi_1,\ldots,\varphi_m, \varrho_1,\ldots,\varrho_n\in\mathbb{Q}(X)$ and an elliptic curve $E$ defined over the integers $\mathbb{Z}$, for any sufficiently large prime $p$, for all but finitely many $\alpha\in\overline{\mathbb{F}}_p$, at most one of the following two can happen: $\varphi_1(\alpha),\ldots,\varphi_m(\alpha)$ are $K$-multiplicatively dependent or the points $(\varrho_1(\alpha),\cdot), \ldots,(\varrho_n(\alpha),\cdot)$ are $L$-linearly dependent on the reduction of $E$ modulo $p$. As one of our main tools, we prove a general statement about the intersection of an irreducible curve in the split semiabelian variety $\mathbb{G}_{\mathrm{m}}^m \times E^n$ with the algebraic subgroups of codimension at least $2$. As an application of our results, we improve a result of M. C. Chang and extend a result of J. F. Voloch about elements of large order in finite fields in some special cases., Comment: 32 pages. To appear in International Mathematics Research Notices

In this paper, we first obtain the strong divisibility property for the Lucas and Lehmer sequences in Dedekind domains, and then establish analogues of Zsigmondy's theorem and the primitive divisor results for such sequences in function fields., Comment: 20 pages. arXiv admin note: text overlap with arXiv:2005.01940

In this paper, we obtain analogues of Zsigmondy's theorem and the primitive divisor results for the Lucas and Lehmer sequences in polynomial rings of several variables., Comment: 14 pages

In this paper, for an elliptic curve $E$ defined over the algebraic numbers and for any subfield $F$ of algebraic numbers, we say that $E$ has the Northcott property over $F$ if there are at most finitely many $F$-rational points on $E$ of uniformly bounded height, and we say that $E$ has the property (P) over $F$ if for any infinite subset $S$ of $F$-rational points on $E$, $f(S) = S$ for an $F$-endomorphism $f$ of $E$ implies that $f$ is an automorphism. We establish some criteria for both properties and provide typical examples. We also show that the Northcott property implies the property (P)., Comment: 18 pages

Recently E. Bombieri and N. M. Katz (2010) have demonstrated that several well-known results about the distribution of values of linear recurrence sequences lead to interesting statements for Frobenius traces of algebraic curves. Here we continue this line of study and establish the M\"obius randomness law quantitatively for the normalised form of Frobenius traces., Comment: 13 pages

The Smarandache function of a positive integer $n$, denoted by $S(n)$, is defined to be the smallest positive integer $j$ such that $n$ divides the factorial $j!$. In this note, we prove that for any fixed number $k > 1$, the inequality $n^k < S(n)!$ holds for almost all positive integers $n$. This confirms Sondow's conjecture which asserts that the inequality $n^2 < S(n)!$ holds for almost all positive integers $n$., Comment: 6

In this paper, we generalize the notion of functional graph. Specifically, given an equation $E(X,Y) = 0$ with variables $X$ and $Y$ over a finite field $\mathbb{F}_q$ of odd characteristic, we define a digraph by choosing the elements in $\mathbb{F}_q$ as vertices and drawing an edge from $x$ to $y$ if and only if $E(x,y)=0$. We call this graph as equational graph. In this paper, we study the equational graphs when choosing $E(X,Y) = (Y^2 - f(X))(\lambda Y^2 - f(X))$ with $f(X)$ a polynomial over $\mathbb{F}_q$ and $\lambda$ a non-square element in $\mathbb{F}_q$. We show that if $f$ is a permutation polynomial over $\mathbb{F}_q$, then every connected component of the graph has a Hamiltonian cycle. Moreover, these Hamiltonian cycles can be used to construct balancing binary sequences. By making computations for permutation polynomials $f$ of low degree, it appears that almost all these graphs are strongly connected, and there are many Hamiltonian cycles in such a graph if it is connected., Comment: 32 pages. To appear in Finite Fields and Their Applications

In the integer case, the Smarandache function of a positive integer $n$ is defined to be the smallest positive integer $k$ such that $n$ divides the factorial $k!$. In this paper, we first define a natural order for polynomials in $\mathbb{F}_q[t]$ over a finite field $\mathbb{F}_q$ and then define the Smarandache function of a non-zero polynomial $f \in \mathbb{F}_q[t]$, denoted by $S(f)$, to be the smallest polynomial $g$ such that $f$ divides the Carlitz factorial of $g$. In particular, we establish an analogue of a problem of Erd{\H o}s, which implies that for almost all polynomials $f$, $S(f)=t^d$, where $d$ is the maximal degree of the irreducible factors of $f$., Comment: 19

In this paper, we study the finiteness problem of torsion points on an elliptic curve whose coordinates satisfy some multiplicative dependence relations. In particular, we prove that on an elliptic curve defined over a number field there are only finitely many torsion points whose coordinates are multiplicatively dependent. Moreover, we produce an effective result when the elliptic curve is defined over the rational numbers or has complex multiplication., Comment: 11 pages

In this paper, we study the distribution of multiplicatively dependent vectors. For example, although they have zero Lebesgue measure, they are everywhere dense both in $\mathbb{R}^n$ and $\mathbb{C}^n$. We also study this property in a more detailed manner by considering the covering radius of such vectors., Comment: 26 pages

Let $p$ be a prime. If an integer $g$ generates a subgroup of index $t$ in $(\mathbb Z/p\mathbb Z)^*,$ then we say that $g$ is a $t$-near primitive root modulo $p$. We point out the easy result that each primitive residue class contains a positive natural density subset of primes $p$ not having $g$ as a $t$-near primitive root and prove a more difficult variant., Comment: 7 pages, changed title, to appear in the Bulletin of the Australian Mathematical Society, deals with a side problem that came up in arXiv:1809.08431 (to appear in Journal of Number Theory)

In this paper, we introduce and study a variant of Kummer's notion of (ir)regularity of primes which we call G-irregularity. It is based on Genocchi numbers $G_n$, rather than Bernoulli number $B_n.$ We say that an odd prime $p$ is G-irregular if it divides at least one of the integers $G_2,G_4,\ldots, G_{p-3}$, and G-regular otherwise. We show that, as in Kummer's case, G-irregularity is related to the divisibility of some class number. Furthermore, we obtain some results on the distribution of G-irregular primes. In particular, we show that each primitive residue class contains infinitely many G-irregular primes and establish non-trivial lower bounds for their number up to a given bound $x$ as $x$ tends to infinity. As a by-product, we obtain some results on the distribution of primes in arithmetic progressions with a prescribed near-primitive root., Comment: 19 pages

Motivated by Carmichael numbers, we say that a finite ring $R$ is a Carmichael ring if $a^{|R|}=a$ for any $a \in R$. We then call an ideal $I$ of a ring $R$ as a Carmichael ideal if $R/I$ is a Carmichael ring, and a Carmichael element of $R$ means it generates a Carmichael ideal. In this paper, we determine the structure of Carmichael rings and prove a generalization of Korselt's criterion for Carmichael ideals in Dedekind domains. We also study Carmichael elements of polynomial rings over finite fields (called Carmichael polynomials) by generalizing various classical results. For example, we show that there are infinitely many Carmichael polynomials but they have zero density., Comment: 21 pages

In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine a necessary and sufficient condition under which all congruence preserving functions are also polynomial functions, and characterize such functions., Comment: 15

In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where $f_1(t),\ldots,f_n(t)\in\mathbb{Z}[t]$ are non-constant integer polynomials with positive leading coefficients and $g_0(t),\ldots,g_n(t)\in\mathbb{Q}(t)$ are rational functions. This generalizes the classical von Staudt-Clausen's and Kummer's congruences of Eisenstein series, and also yields some new congruences., Comment: 17 pages

A polynomial over a ring is called decomposable if it is a composition of two nonlinear polynomials. In this paper, we obtain sharp lower and upper bounds for the number of decomposable polynomials with integer coefficients of fixed degree and bounded height. Moreover, we obtain asymptotic formulas for the number of decomposable monic polynomials of even degree. For example, the number of monic sextic integer polynomials which are decomposable and of height at most $H$ is asymptotic to $(16\zeta(3)-5/4)H^3$ as $H \to \infty$., Comment: 26 pages

In this paper, we define the linear complexity for multidimensional sequences over finite fields, generalizing the one-dimensional case. We give some lower and upper bounds, valid with large probability, for the linear complexity and $k$-error linear complexity of multidimensional periodic sequences., Comment: 13 pages

In this paper, we consider a variant of Tur\'an's problem on the distance from an integer polynomial in $\mathbb{Z}[x]$ to the nea\-rest irreducible polynomial in $\mathbb{Z}[x]$. We prove that for any polynomial $f \in \mathbb{Z}[x]$, there exist infinitely many square-free polynomials $g\in \mathbb{Z}[x]$ such that $L(f-g) \le 2$, where $L(f-g)$ denotes the sum of the absolute values of the coefficients of $f-g$. On the other hand, we show that this inequality cannot be replaced by $L(f-g) \le 1$. For this, for each integer $d \geq 16$ we construct infinitely many polynomials $f \in \mathbb{Z}[x]$ of degree $d$ such that neither $f$ itself nor any $f(x) \pm x^k$, where $k$ is a non-negative integer, is square-free. Polynomials over prime fields and their distances to square-free polynomials are also considered., Comment: 16 pages

In this paper, we give some counting results on integer polynomials of fixed degree and bounded height whose distinct non-zero roots are multiplicatively dependent. These include sharp lower bounds, upper bounds and asymptotic formulas for various cases, although in general there is a logarithmic gap between lower and upper bounds.

In this paper, we study multiplicative dependence of values of polynomials or rational functions over a number field. As an application, we obtain new results on multiplicative dependence in the orbits of a univariate polynomial dynamical system. We also obtain a broad generalisation of the Northcott theorem replacing the finiteness of preperiodic points from a given number field by the finiteness of initial points with two multiplicatively dependent elements in their orbits.

We study functional graphs generated by quadratic polynomials over prime fields. We introduce efficient algorithms for methodical computations and provide the values of various direct and cumulative statistical parameters of interest. These include: the number of connected functional graphs, the number of graphs having a maximal cycle, the number of cycles of fixed size, the number of components of fixed size, as well as the shape of trees extracted from functional graphs. We particularly focus on connected functional graphs, that is, the graphs which contain only one component (and thus only one cycle). Based on the results of our computations, we formulate several conjectures highlighting the similarities and differences between these functional graphs and random mappings.

We investigate two arithmetic functions naturally occurring in the study of the Euler and Carmichael quotients. The functions are related to the frequency of vanishing of the Euler and Carmichael quotients. We obtain several results concerning the relations between these functions as well as their typical and extreme values.

In this paper we initiate a study on Gauss factorials of polynomials over finite fields, which are the analogues of Gauss factorials of positive integers., Comment: 17 pages

In this paper, as an extension of the integer case, we define polynomial functions over the residue class rings of Dedekind domains, and then we give canonical representations and counting formulas for such polynomial functions. In particular, we give an explicit formula for the number of polynomial functions over the residue class rings of polynomials over finite fields., Comment: 15 pages

We show, under some natural conditions, that the set of abelian (and thus also cyclotomic) multiplicatively dependent points on an irreducible curve over a number field is a finite union of preimages of roots of unity by a certain finite set of primitive characters from $\Gm^n$ to $\Gm$ restricted to the curve, and a finite set. We also introduce the notion of primitive multiplicative dependence and obtain a finiteness result for primitively multiplicatively dependent points defined over a so-called Bogomolov extension of a number field., Comment: To appear in the Quarterly Journal of Mathematics