Searcharxiv⌕ Search

arXiv subjects

Shaofang Hong

Publications and source records attributed to Shaofang Hong.

At least 37 records · Page 2Linked to original sources

On deep holes of generalized projective Reed-Solomon codes

Determining deep holes is an important topic in decoding Reed-Solomon codes. Let $l\ge 1$ be an integer and $a_1,\ldots,a_l$ be arbitrarily given $l$ distinct elements of the finite field ${\bf F}_q$ of $q$ elements with the odd prime number $p$ as its characteristic. Let $D={\bf F}_q\backslash\{a_1,\ldots,a_l\}$ and $k$ be an integer such that $2\le k\le q-l-1$. In this paper, we study the deep holes of generalized projective Reed-Solomon code ${\rm GPRS}_q(D, k)$ of length $q-l+1$ and dimension $k$ over ${\bf F}_q$. For any $f(x)\in {\bf F}_q[x]$, we let $f(D)=(f(y_1),\ldots,f(y_{q-l}))$ if $D=\{y_1, ..., y_{q-l}\}$ and $c_{k-1}(f(x))$ be the coefficient of $x^{k-1}$ of $f(x)$. By using Dür's theorem on the relation between the covering radius and minimum distance of ${\rm GPRS}_q(D, k)$, we show that if $u(x)\in {\bf F}_q[x]$ with $°(u(x))=k$, then the received codeword $(u(D), c_{k-1}(u(x)))$ is a deep hole of ${\rm GPRS}_q(D, k)$ if and only if the sum $\sum\limits_{y\in I}y$ is nonzero for any subset $I\subseteq D$ with $\#(I)=k$. We show also that if $j$ is an integer with $1\leq j\leq l$ and $u_j(x):= λ_j(x-a_j)^{q-2}+ν_j x^{k-1}+f_{\leq k-2}^{(j)}(x)$ with $λ_j\in {\bf F}_q^*$, $ν_j\in {\bf F}_q$ and $f_{\leq{k-2}}^{(j)}(x)\in{\bf F}_q[x]$ being a polynomial of degree at most $k-2$, then $(u_j(D), c_{k-1}(u_j(x)))$ is a deep hole of ${\rm GPRS}_q(D, k)$ if and only if the sum $\binom{q-2}{k-1}(-a_j)^{q-1-k}\prod\limits_{y\in I}(a_j-y)+e$ is nonzero for any subset $I\subseteq D$ with $\#(I)=k$, where $e$ is the identity of the group ${\bf F}_q^*$. This implies that $(u_j(D), c_{k-1}(u_j(x)))$ is a deep hole of ${\rm GPRS}_q(D, k)$ if $p|k$.

math.NT↗

Igusa local zeta functions of a class of hybrid polynomials

In this paper, we study the Igusa's local zeta functions of a class of hybrid polynomials with coefficients in a non-archimedean local field of positive characteristic. Such class of hybrid polynomial was first introduced by Hauser in 2003 to study the resolution of singularities in positive characteristic. We prove the rationality of these local zeta functions and describe explicitly their poles. The proof is based on Igusa's stationary phase formula.

math.NT↗

Criterion for the integrality of hypergeometric series with parameters from quadratic fields

For the hypergeometric series with parameters from the rational fields, there is an effective criterion due to Christol to decide whether the hypergeometric series is N-integral or not. Christol criterion is a basic and vital tool in the recent striking work of Delaygue, Rivoal and Roques on the N-integrality of the hypergeometric mirror maps with rational parameters. In this paper, we develop a systematic theory on the N-integrality of the hypergeometric series with parameters from quadratic fields. We first present a detailed $p$-adic analysis to set up a criterion of the $p$-adic integrality of the hypergeometric series with parameters from rational fields. Consequently, we present two equivalent statements for the hypergeometric series with parameters from algebraic number fields to be N-integral. Finally, by using these results, introducing a new function that extends the Christol's function and developing a further $p$-adic analysis, we establish a criterion for the N-integrality of the hypergeometric series with parameters from the quadratic fields. In the process, there are two important ingredients. One is the uniform distribution result of roots of a quadratic congruence which is due to Duke, Friedlander and Iwaniec together with Toth. Another one is an upper bound on the number of solutions of polynomial congruences given by Stewart in 1991.

math.NT↗

On deep holes of generalized Reed-Solomon codes

Determining deep holes is an important topic in decoding Reed-Solomon codes. In a previous paper [8], we showed that the received word $u$ is a deep hole of the standard Reed-Solomon codes $[q-1, k]_q$ if its Lagrange interpolation polynomial is the sum of monomial of degree $q-2$ and a polynomial of degree at most $k-1$. In this paper, we extend this result by giving a new class of deep holes of the generalized Reed-Solomon codes.

math.NT↗

Reversed Dickson polynomials of the fourth kind over finite fields

In this paper, we obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,3}(1,x)$ of the fourth kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,3}(1,a)$.

math.NT↗

Counting rational points of an algebraic variety over finite fields

Let $\mathbb{F}_q$ denote the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ represent the nonzero elements of $\mathbb{F}_{q}$. In this paper, by using the Smith normal form we give an explicit formula for the number of rational points of the algebraic variety defined by the following system of equations over $\mathbb{F}_{q}$: \begin{align*} {\left\{\begin{array}{rl} &\sum_{i=1}^{r_1}a_{1i}x_1^{e^{(1)}_{i1}} ...x_{n_1}^{e^{(1)}_{i,n_1}} +\sum_{i=r_1+1}^{r_2}a_{1i}x_1^{e^{(1)}_{i1}} ...x_{n_2}^{e^{(1)}_{i,n_2}}-b_1=0,\\ &\sum_{j=1}^{r_3}a_{2j}x_1^{e^{(2)}_{j1}} ...x_{n_3}^{e^{(2)}_{j,n_3}} +\sum_{j=r_3+1}^{r_4}a_{2j}x_1^{e^{(2)}_{j1}} ...x_{n_4}^{e^{(2)}_{j,n_4}}-b_2=0, \end{array}\right.} \end{align*} where the integers $1\leq r_1<r_2$, $1\leq r_3<r_4$, $1\le n_1<n_2$, $1\le n_3<n_4$, $n_1\leq n_3$, $b_1, b_2\in \mathbb{F}_{q}$, $a_{1i}\in \mathbb{F}_{q}^{*}$ $(1\leq i\leq r_2)$, $a_{2j}\in \mathbb{F}_{q}^{*}$$(1\leq j\leq r_4)$ and the exponent of each variable is a positive integer. An example is also presented to demonstrate the validity of the main result.

math.NT↗

The number of rational points on a family of varieties over finite fields

Let $\mathbb{F}_q$ stand for the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ denote the set of all the nonzero elements of $\mathbb{F}_{q}$. Let $m$ and $t$ be positive integers. In this paper, by using the Smith normal form of the exponent matrix, we obtain a formula for the number of rational points on the variety defined by the following system of equations over $\mathbb{F}_{q}$: $$ \sum\limits_{j=0}^{t-1}\sum\limits_{i=1}^{r_{j+1}-r_j} a_{k,r_j+i}x_1^{e^{(k)}_{r_j+i,1}}...x_{n_{j+1}}^{e^{(k)}_{r_j+i,n_{j+1}}}=b_k, \ k=1,...,m. $$ where the integers $t>0$, $r_0=0<r_1<r_2<...<r_t$, $1\le n_1<n_2<...<n_t$, $0\leq j\leq t-1$, $b_k\in \mathbb{F}_{q}$, $a_{k,i}\in \mathbb{F}_{q}^{*}$, $(k=1,...,m, i=1,...,r_t)$, and the exponent of each variable is a positive integer. Furthermore, under some natural conditions, we arrive at an explicit formula for the number of the above variety. It extends the results obtained previously by Wolfmann, Sun, Wang, Song, Chen, Hong, Hu and Zhao et al. Our result also answers completely an open problem raised by Song and Chen.

math.NT↗

The 2-adic valuations of differences of Stirling numbers of the second kind

Let $m, n, k$ and $c$ be positive integers. Let $ν_2(k)$ be the 2-adic valuation of $k$. By $S(n,k)$ we denote the Stirling numbers of the second kind. In this paper, we first establish a convolution identity of the Stirling numbers of the second kind and provide a detailed 2-adic analysis to the Stirling numbers of the second kind. Consequently, we show that if $2\le m\le n$ and $c$ is odd, then $ν_2(S(c2^{n+1},2^m-1)-S(c2^n, 2^m-1))=n+1$ except when $n=m=2$ and $c=1$, in which case $ν_2(S(8,3)-S(4,3))=6$. This solves a conjecture of Lengyel proposed in 2009.

math.NT↗

New results on permutation polynomials over finite fields

In this paper, we get several new results on permutation polynomials over finite fields. First, by using the linear translator, we construct permutation polynomials of the forms $L(x)+\sum_{j=1}^k γ_jh_j(f_j(x))$ and $x+\sum_{j=1}^kγ_jf_j(x)$. These generalize the results obtained by Kyureghyan in 2011. Consequently, we characterize permutation polynomials of the form $L(x)+\sum_{i=1} ^lγ_i {\rm Tr}_{{\bf F}_{q^m}/{\bf F}_{q}}(h_i(x))$, which extends a theorem of Charpin and Kyureghyan obtained in 2009.

math.NT↗

The least common multiple of consecutive quadratic progression terms

Let $k$ be an arbitrary given positive integer and let $f(x)\in {\mathbb Z}[x]$ be a quadratic polynomial with $a$ and $D$ as its leading coefficient and discriminant, respectively. Associated to the least common multiple ${\rm lcm}_{0\le i\le k}\{f(n+i)\}$ of any $k+1$ consecutive terms in the quadratic progression $\{f(n)\}_{n\in \mathbb{N}^*}$, we define the function $g_{k, f}(n):=(\prod_{i=0}^{k}|f(n+i)|)/{\rm lcm}_{0\le i\le k}\{f(n+i)\}$ for all integers $n\in \mathbb{N}^*\setminus Z_{k, f}$, where $Z_{k,f}:=\bigcup_{i=0}^k\{n\in \mathbb{N}^*: f(n+i)=0\}$. In this paper, we first show that $g_{k,f}$ is eventually periodic if and only if $D\ne a^2i^2$ for all integers $i$ with $1\le i\le k$. Consequently, we develop a detailed $p$-adic analysis of $g_{k, f}$ and determine its smallest period. Finally, we obtain asymptotic formulas of $\log {\rm lcm}_{0\le i\le k}\{f(n+i)\}$ for all quadratic polynomials $f$ as $n$ goes to infinity.

math.NT↗

The elementary symmetric functions of reciprocals of the elements of arithmetic progressions

Let $a$ and $b$ be positive integers. In 1946, Erdős and Niven proved that there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/b, 1/(a+b),..., 1/(an-a+b)$ are integers. In this paper, we show that for any integer $k$ with $1\le k\le n$, the $k$-th elementary symmetric function of $1/b, 1/(a+b),..., 1/(an-a+b)$ is not an integer except that either $b=n=k=1$ and $a\ge 1$, or $a=b=1, n=3$ and $k=2$. This refines the Erdős-Niven theorem and answers an open problem raised by Chen and Tang in 2012.

math.NT↗

Divisibility by 2 of Stirling numbers of the second kind and their differences

Let $n,k,a$ and $c$ be positive integers and $b$ be a nonnegative integer. Let $ν_2(k)$ and $s_2(k)$ be the 2-adic valuation of $k$ and the sum of binary digits of $k$, respectively. Let $S(n,k)$ be the Stirling number of the second kind. It is shown that $ν_2(S(c2^n,b2^{n+1}+a))\geq s_2(a)-1,$ where $0 4$ is a power of 2, and $δ(k)=0$ otherwise. This confirms a conjecture of Lengyel raised in 2009 except when $k$ is a power of 2 minus 1.

math.NT↗

The elementary symmetric functions of a reciprocal polynomial sequence

Erdös and Niven proved in 1946 that for any positive integers $m$ and $d$, there are at most finitely many integers $n$ for which at least one of the elementary symmetric functions of $1/m, 1/(m+d), ..., 1/(m+(n-1)d)$ are integers. Recently, Wang and Hong refined this result by showing that if $n\geq 4$, then none of the elementary symmetric functions of $1/m, 1/(m+d), ..., 1/(m+(n-1)d)$ is an integer for any positive integers $m$ and $d$. Let $f$ be a polynomial of degree at least $2$ and of nonnegative integer coefficients. In this paper, we show that none of the elementary symmetric functions of $1/f(1), 1/f(2), ..., 1/f(n)$ is an integer except for $f(x)=x^{m}$ with $m\geq2$ being an integer and $n=1$.

math.NT↗

Uniform lower bound for the least common multiple of a polynomial sequence

Let $n$ be a positive integer and $f(x)$ be a polynomial with nonnegative integer coefficients. We prove that ${\rm lcm}_{\lceil n/2\rceil \le i\le n} \{f(i)\}\ge 2^n$ except that $f(x)=x$ and $n=1, 2, 3, 4, 6$ and that $f(x)=x^s$ with $s\ge 2$ being an integer and $n=1$, where $\lceil n/2\rceil$ denotes the smallest integer which is not less than $n/2$. This improves and extends the lower bounds obtained by Nair in 1982, Farhi in 2007 and Oon in 2013.

math.NT↗

Constructing permutation polynomials over finite fields

In this paper, we construct several new permutation polynomials over finite fields. First, using the linearized polynomials, we construct the permutation polynomial of the form $\sum_{i=1}^k(L_{i}(x)+γ_i)h_i(B(x))$ over ${\bf F}_{q^{m}}$, where $L_i(x)$ and $B(x)$ are linearized polynomials. This extends a theorem of Coulter, Henderson and Matthews. Consequently, we generalize a result of Marcos by constructing permutation polynomials of the forms $x h(λ_{j}(x))$ and $xh(μ_{j}(x))$, where $λ_{j}(x)$ is the $j$-th elementary symmetric polynomial of $x, x^{q}, ..., x^{q^{m-1}}$ and $μ_{j}(x)=\textup{Tr}_{{\bf F}_{q^{m}}/{\bf F}_{q}}(x^{j})$. This answers an open problem raised by Zieve in 2010. Finally, by using the linear translator, we construct the permutation polynomial of the form $L_1(x)+L_{2}(γ)h(f(x))$ over ${\bf F}_{q^{m}}$, which extends a result of Kyureghyan.

math.NT↗