Search

In this paper, we present the compositional inverses of several classes permutation polynomials of the form $\sum_{i=1}^kb_i\left({\rm Tr}_m^{mn}(x)^{t_i}+\delta\right)^{s_i}+f_1(x)$, where $1\leq i \leq k,$ $s_i$ are positive integers, $b_i \in \mathbb{F}_{p^m},$ $p$ is a prime and $f_1(x)$ is a polynomial over $\mathbb{F}_{p^{mn}}$ satisfying the following conditions: (i) ${\rm Tr}_m^{mn}(x) \circ f_1(x)=\varphi(x) \circ {\rm Tr}_m^{mn}(x),$ where $\varphi(x)$ is a polynomial over $\mathbb{F}_{p^m};$ (ii) For any $a \in \mathbb{F}_{p^m},$ $f_1(x)$ is injective on ${\rm Tr}_m^{mn}(a)^{-1}.$

In this paper, we further investigate the local criterion and present a class of permutation polynomials and their compositional inverses over $ \mathbb{F}_{q^2}$. Additionally, we demonstrate that linearized polynomial over $\mathbb{F}_{q^n}$ is a local permutation polynomial with respect to all linear transformations from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q ,$ and that every permutation polynomial is a local permutation polynomial with respect to certain mappings.

In this paper, we present the compositional inverses of several classes permutation polynomials of the form $\sum_{i=1}^kb_i(x^{p^m}+x+\delta)^{s_i}-x$ over $\mathbb{F}_{p^{2m}}$, where for $1\leq i \leq k,$ $s_i, m$ are positive integers, $b_i, \delta \in \mathbb{F}_{p^{2m}},$ and $p$ is prime.

R. Gupta, P. Gahlyan and R.K. Sharma presented three classes of permutation trinomials over $\mathbb{F}_{q^3}$ in Finite Fields and Their Applications. In this paper, we employ the local method to prove that those polynomials are indeed permutation polynomials and provide their compositional inverses.

The definition of many-to-one mapping, or $m$-to-$1$ mapping for short, between two finite sets is introduced in this paper, which unifies and generalizes the definitions of $2$-to-$1$ mappings and $n$-to-$1$ mappings. A generalized local criterion is given, which is an abstract criterion for a mapping to be $m$-to-$1$. By employing the generalized local criterion, three constructions of $m$-to-$1$ mapping are proposed, which unify and generalize all the previous constructions of $2$-to-$1$ mappings and $n$-to-$1$ mappings. Then the $m$-to-$1$ property of polynomials $f(x) = x^r h(x^s)$ on $\mathbb{F}_{q}^{*}$ is studied by using these three constructions. A series of explicit conditions for~$f$ to be an $m$-to-$1$ mapping on $\mathbb{F}_{q}^{*}$ are found through the detailed discussion of the parameters $m$, $s$, $q$ and the polynomial $h$. These results extend many conclusions in the literature.

Let $\mathbb{N}$ be the set of all positive integers and let $a,\, b,\, c$ be nonzero integers such that $\gcd\left(a,\, b,\, c\right)=1$. In this paper, we prove the following three results: (1) the solvability of the matrix equation $aX^m+bY^n=cI,\,X,\,Y\in M_2(\mathbb{Z}),\, m,\, n\in\mathbb{N}$ can be reduced to the solvability of the corresponding Diophantine equation if $XY\neq YX$ and the solvability of the equation $ax^m+by^n=c,\, m,\, n\in\mathbb{N}$ in quadratic fields if $XY=YX$; (2) we determine all non-commutative solutions of the matrix equation $X^n+Y^n=c^nI,\,X,\,Y\in M_2(\mathbb{Z}),\,n\in\mathbb{N},\,n\geq3$, and the solvability of this matrix equation can be reduced to the solvability of the equation $x^n+y^n=c^n,\, n\in\mathbb{N},\,n\geq3$ in quadratic fields if $XY=YX$; (3) we determine all solutions of the matrix equation $aX^2+bY^2=cI,\,X,\,Y\in M_2(\mathbb{Z})$.

Let $k, l, a$ and $b$ be positive integers with $\max\{a, \, b\}\ge2$. In this paper, we show that every positive rational number can be written as the form $\varphi(km^{a})/\varphi(ln^{b})$, where $m, \, n\in\mathbb{N}$ if and only if $\gcd(a, \,b)=1$ or $(a, b, k, l)=(2,2, 1, 1)$. Moreover, if $\gcd(a, b)>1$, then the proper representation of such representation is unique.

In this paper, we provide a local method to find compositional inverses of all PPs, some new PPs and their compositional inverses are given., Comment: arXiv admin note: substantial text overlap with arXiv:2206.04252

In the present paper we introduce old and new results related to St\"ormer theorem about Pell equations. Moreover we give four types of applications of these results.

Permutation polynomials are an interesting subject of mathematics and have applications in other areas of mathematics and engineering. In this paper, we determine all permutation trinomials over $\mathbb{F}_{2^m}$ in Zieve's paper. We prove a conjecture proposed by Gupta and Sharma and obtain some new permutation trinomials over $\mathbb{F}_{2^m}$. Finally, we show that some classes of permutation trinomials with parameters are QM equivalent to some known permutation trinomials.

In this paper, we prove that every PP is an AGW-PP. We also extend the result of Wan and Lidl to other permutation polynomials over finite fields and determine their group structure. Moreover, we provide a new general method to find the compositional inverses of all PPs, some new PPs and their compositional inverses are given.

In this paper, we present two methods to obtain the compositional inverses of AGW-PPs. We improve some known results in this topic., Comment: arXiv admin note: text overlap with arXiv:2004.12552 by other authors

In 2012, T. Miyazaki and A. Togb\'{e} gave all of the solutions of the Diophantine equations $(2am-1)^x+(2m)^y=(2am+1)^z$ and $b^x+2^y=(b+2)^z$ in positive integers $x,y,z,$ $a>1$ and $b\ge 5$ odd. In this paper, we propose a similar problem (which we call the shuffle variant of a Diophantine equation of Miyazaki and Togb\'{e}). Here we first prove that the Diophantine equation $(2am+1)^x+(2m)^y=(2am-1)^z$ has only the solutions $(a, m, x, y, z)=(2, 1, 2, 1, 3)$ and $(2,1,1,2,2)$ in positive integers $a>1,m,x,y,z$. Then using this result, we show that the Diophantine equation $b^x+2^y=(b-2)^z$ has only the solutions $(b,x, y, z)=(5, 2, 1, 3)$ and $(5,1,2,2)$ in positive integers $x,y,z$ and $b$ odd., Comment: 12 pages, accepted for publication

We say that $M$ and $S$ form a \textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, while $0$ has no such representation. The splitting is called {\it nonsingular} if $\gcd(|G|, a) = 1$ for any $a\in M$. In this paper, we focus our study on nonsingular splittings of cyclic groups. We introduce a new notation --direct KM logarithm and we prove that if there is a prime $q$ such that $M$ splits $\mathbb{Z}_q$, then there are infinitely many primes $p$ such that $M$ splits $\mathbb{Z}_p$.

Suppose that $n$ is a positive integer. In this paper, we show that the exponential Diophantine equation $$(n-1)^{x}+(n+2)^{y}=n^{z},\ n\geq 2,\ xyz\neq 0$$ has only the positive integer solutions $(n,x,y,z)=(3,2,1,2), (3,1,2,3)$. The main tools on the proofs are Baker's theory and Bilu-Hanrot-Voutier's result on primitive divisors of Lucas numbers., Comment: 12 pages, to appear, Colloquium Mathematicum (2020)

Let $G$ be a finite abelian group. We say that $M$ and $S$ form a \textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, while $0$ has no such representation. The splitting is called \textit{purely singular} if for each prime divisor $p$ of $|G|$, there is at least one element of $M$ is divisible by $p$. In this paper, we mainly study the purely singular splittings of cyclic groups. We first prove that if $k\ge3$ is a positive integer such that $[-k+1, \,k]^*$ splits a cyclic group $\mathbb{Z}_m$, then $m=2k$. Next, we have the following general result. Suppose $M=[-k_1, \,k_2]^*$ splits $\mathbb{Z}_{n(k_1+k_2)+1}$ with $1\leq k_1< k_2$. If $n\geq 2$, then $k_1\leq n-2$ and $k_2\leq 2n-5$. Applying this result, we prove that if $M=[-k_1, \,k_2]^*$ splits $\mathbb{Z}_m$ purely singularly, and either $(i)$ $\gcd(s, \,m)=1$ for all $s\in S$ or $(ii)$ $m=2^{\alpha}p^{\beta}$ or $2^{\alpha}p_1p_2$ with $\alpha\geq 0$, $\beta\geq 1$ and $p$, $p_1$, $p_2$ odd primes, then $m=k_1+k_2+1$ or $k_1=0$ and $m=k_2+1$ or $2k_2+1$.

Given integers $k_1, k_2$ with $0\le k_1

In 1956, Je$\acute{s}$manowicz conjectured that, for positive integers $m$ and $n$ with $m>n, \, \gcd(m,\, n)=1$ and $m\not\equiv n\pmod{2}$, the exponential Diophantine equation $(m^2-n^2)^x+(2mn)^y=(m^2+n^2)^z$ has only the positive integer solution $(x,\,y,\, z)=(2,\,2,\,2)$. Recently, Ma and Chen \cite{MC17} proved the conjecture if $4\not|mn$ and $y\ge2$. In this paper, we present an elementary proof of the result of Ma and Chen \cite{MC17}.

In this paper, we show that an order $m$ dimension 2 tensor is primitive if and only if its majorization matrix is primitive, and then we obtain the characterization of order $m$ dimension 2 strongly primitive tensors and the bound of the strongly primitive degree. Furthermore, we study the properties of strongly primitive tensors with $n\geq 3$, and propose some problems for further research., Comment: 15pages

In this paper, we mainly discuss the characterization of a class of arithmetic functions $f: N \rightarrow C$ such that $f(u^{2}+kv^2)=f^{2}(u)+kf^{2}(v)$ $(k, u, v \in N)$. We obtain a characterization with given condition, propose a conjecture and show the result holds for $k \in \{2, 3, 4, 5 \}$.

Four recursive constructions of permutation polynomials over $\gf(q^2)$ with those over $\gf(q)$ are developed and applied to a few famous classes of permutation polynomials. They produce infinitely many new permutation polynomials over $\gf(q^{2^\ell})$ for any positive integer $\ell$ with any given permutation polynomial over $\gf(q)$. A generic construction of permutation polynomials over $\gf(2^{2m})$ with o-polynomials over $\gf(2^m)$ is also presented, and a number of new classes of permutation polynomials over $\gf(2^{2m})$ are obtained.

Permutation polynomials (PPs) of the form $(x^{q} -x + c)^{\frac{q^2 -1}{3}+1} +x$ over $\mathbb{F}_{q^2}$ were presented by Li, Helleseth and Tang [Finite Fields Appl. 22 (2013) 16--23]. More recently, we have constructed PPs of the form $(x^{q} +bx + c)^{\frac{q^2 -1}{d}+1} -bx$ over $\mathbb{F}_{q^2}$, where $d=2, 3, 4, 6$ [Finite Fields Appl. 35 (2015) 215--230]. In this paper we concentrate our efforts on the PPs of more general form \[ f(x)=(ax^{q} +bx +c)^r \phi((ax^{q} +bx +c)^{(q^2 -1)/d}) +ux^{q} +vx~~\text{over $\mathbb{F}_{q^2}$}, \] where $a,b,c,u,v \in \mathbb{F}_{q^2}$, $r \in \mathbb{Z}^{+}$, $\phi(x)\in \mathbb{F}_{q^2}[x]$ and $d$ is an arbitrary positive divisor of $q^2-1$. The key step is the construction of a commutative diagram with specific properties, which is the basis of the Akbary--Ghioca--Wang (AGW) criterion. By employing the AGW criterion two times, we reduce the problem of determining whether $f(x)$ permutes $\mathbb{F}_{q^2}$ to that of verifying whether two more polynomials permute two subsets of $\mathbb{F}_{q^2}$. As a consequence, we find a series of simple conditions for $f(x)$ to be a PP of $\mathbb{F}_{q^2}$. These results unify and generalize some known classes of PPs.

In this paper, we obtain the sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix. We also apply these bounds to various matrices associated with a graph or a digraph, obtain some new results or known results about various spectral radii, including the adjacency spectral radius, the signless Laplacian spectral radius, the distance spectral radius, the distance signless Laplacian spectral radius of a graph or a digraph., Comment: 19 pages

Let $H$ be a Krull monoid with class group $G$ such that every class contains a prime divisor (for example, rings of integers in algebraic number fields or holomorphy rings in algebraic function fields). For $k \in \mathbb N$, let $\mathcal U_k (H)$ denote the set of all $m \in \mathbb N$ with the following property: There exist atoms $u_1, ..., u_k, v_1, ..., v_m \in H$ such that $u_1 \cdot ... \cdot u_k = v_1 \cdot ...\cdot v_m$. Furthermore, let $\lambda_k (H) = \min \mathcal U_k (H)$ and $\rho_k (H) = \sup \mathcal U_k (H)$. The sets $\mathcal U_k (H) \subset \mathbb N$ are intervals which are finite if and only if $G$ is finite. Their minima $\lambda_k (H)$ can be expressed in terms of $\rho_k (H)$. The invariants $\rho_k (H)$ depend only on the class group $G$, and in the present paper they are studied with new methods from Additive Combinatorics.

In this paper, we consider infinite sums derived from the reciprocals of the generalized Fibonacci numbers. We obtain some new and interesting identities for the generalized Fibonacci numbers.

In this paper, we show that the exponent set of nonnegative primitive tensors with order m(\geq 3) and dimension n is {1,2,\ldots, (n-1)^2+1}; and propose some open problems for further research., Comment: 16 pages. arXiv admin note: substantial text overlap with arXiv:1404.1567

Recently, Song and Qi extended the concept of P, P_0 and B matrices to P, P_0, B and B_0 tensors, obtained some properties about these tensors, and proposed many questions for further research. In this paper, we answer three questions mentioned as above and obtain further results about P, P_0, B and B_0 tensors., Comment: 9 pages. arXiv admin note: text overlap with arXiv:1403.1118, arXiv:1404.0452 by other authors

In this paper, we present a necessary and sufficient condition for a nonnegative tensor to be a primitive one, show that the exponent set of nonnegative primitive tensors with order $m(\ge n)$ and dimension $n$ is $\{k| 1\le k\le (n-1)^2+1\}. $, Comment: 10 pages, 1 figures

Permutation polynomials have been a subject of study for a long time and have applications in many areas of science and engineering. However, only a small number of specific classes of permutation polynomials are described in the literature so far. In this paper we present a number of permutation trinomials over finite fields, which are of different forms.

Let $\mathbb{P}_n$ be the set of all matrices which have the same zero patterns with some permutation matrix of order $n$. In this paper, we prove the following result: Let $\mathbb{I}$ be the unit tensor of order $m\ge3$ and dimension $n\ge2$. Suppose that $P$ and $Q$ are two matrices with $P\mathbb{I}Q=\mathbb{I}$, then $P,Q\in \mathbb{P}_n$. This gives a characterization for the similarities of tensors with order $m\ge3$., Comment: 7 pages

Permutation polynomials are an interesting subject of mathematics and have applications in other areas of mathematics and engineering. In this paper, we develop general theorems on permutation polynomials over finite fields. As a demonstration of the theorems, we present a number of classes of explicit permutation polynomials on $\gf_q$.

For the cyclic group $G=\mathbb{Z}/n\mathbb{Z}$ and any non-empty $A\in\mathbb{Z}$. We define the Davenport constant of $G$ with weight $A$, denoted by $D_A(n)$, to be the least natural number $k$ such that for any sequence $(x_1, ..., x_k)$ with $x_i\in G$, there exists a non-empty subsequence $(x_{j_1}, ..., x_{j_l})$ and $a_1, ..., a_l\in A$ such that $\sum_{i=1}^l a_ix_{j_i} = 0$. Similarly, we define the constant $E_A(n)$ to be the least $t\in\mathbb{N}$ such that for all sequences $(x_1, >..., x_t)$ with $x_i \in G$, there exist indices $j_1, ..., j_n\in\mathbb{N}, 1\leq j_1 <... < j_n\leq t$, and $\vartheta_1, >..., \vartheta_n\in A$ with $\sum^{n}_{i=1} \vartheta_ix_{j_i} = 0$. In the present paper, we show that $E_A(n)=D_A(n)+n-1$. This solve the problem raised by Adhikari and Rath \cite{ar06}, Adhikari and Chen \cite{ac08}, Thangadurai \cite{th07} and Griffiths \cite{gr08}., Comment: 6pages

In this paper we investigate the infinite convergent sum $T=\sum_{n=0}^\infty\frac{P(n)}{Q(n)}$, where $P(x)\in\bar{\mathbb{Q}}[x]$, $Q(x)\in\mathbb{Q}[x]$ and $Q(x)$ has only simple rational zeros. N. Saradha and R. Tijdeman have obtained sufficient and necessary conditions for the transcendence of $T$ if the degree of $Q(x)$ is 3. In this paper we give sufficient and necessary conditions for the transcendence of $T$ if the degree of $Q(x)$ is 4 and $Q(x)$ is reduced., Comment: 15pages

Let $G$ be a finite abelian group, and let $S$ be a sequence over $G$. Let $f(S)$ denote the number of elements in $G$ which can be expressed as the sum over a nonempty subsequence of $S$. In this paper, we determine all the sequences $S$ that contains no zero-sum subsequences and $f(S)\leq 2|S|-1$., Comment: 11pages

Let $a(n, k)$ be the $k$-th coefficient of the $n$-th cyclotomic polynomial. Recently, Ji, Li and Moree \cite{JLM09} proved that for any integer $m\ge1$, $\{a(mn, k)| n, k\in\mathbb{N}\}=\mathbb{Z}$. In this paper, we improve this result and prove that for any integers $s>t\ge0$, $$\{a(ns+t, k)| n, k\in\mathbb{N}\}=\mathbb{Z}.$$, Comment: 5pages