Source author record

Shaofang Hong

Shaofang Hong appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

30works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2022arXiv

On Igusa local zeta functions of Hauser hybrid polynomials

Let $K$ be a local field and $f(x)\in K[x]$ be a non-constant polynomial. When ${\rm char}K=0$, Igusa showed the local zeta function is a rational function. However, when ${\rm char}K>0$, the rationality of the local zeta function is unknown in general. In this paper, we study the local zeta functions for the so-called hybrid polynomials in three variables with coefficients in a non-archimedean local field of positive characteristic. These hybrid polynomials were first introduced by Hauser in 2003 to study the resolution of singularities in positive characteristic. We establish the rationality theorem for these local zeta functions and list explicitly all the candidate poles. Our result generalizes the work of Le$\acute{o}$n-Cardenal, Ibadula and Segers and that of Yin and Hong.

preprint2020arXiv

On the $p$-adic properties of Stirling numbers of the first kind

Let $n, k$ and $a$ be positive integers. The Stirling numbers of the first kind, denoted by $s(n,k)$, count the number of permutations of $n$ elements with $k$ disjoint cycles. Let $p$ be a prime. In recent years, Lengyel, Komatsu and Young, Leonetti and Sanna, Adelberg, Hong and Qiu made some progress in the study of the $p$-adic valuations of $s(n,k)$. In this paper, by using Washington's congruence on the generalized harmonic number and the $n$-th Bernoulli number $B_n$ and the properties of $m$-th Stirling numbers of the first kind obtained recently by the authors, we arrive at an exact expression or a lower bound of $v_p(s(ap, k))$ with $a$ and $k$ being integers such that $1\le a\le p-1$ and $1\le k\le ap$. This infers that for any regular prime $p\ge 7$ and for arbitrary integers $a$ and $k$ with $5\le a\le p-1$ and $a-2\le k\le ap-1$, one has $v_p(H(ap-1,k))<-\frac{\log{(ap-1)}}{2\log p}$ with $H(ap-1, k)$ being the $k$-th elementary symmetric function of $1, \frac{1}{2}, ..., \frac{1}{ap-1}$. This gives a partial support to a conjecture of Leonetti and Sanna raised in 2017. We also present results on $v_p(s(ap^n,ap^n-k))$ from which one can derive that under certain condition, for any prime $p\ge 5$, any odd number $k\ge 3$ and any sufficiently large integer $n$, if $(a,p)=1$, then $v_p(s(ap^{n+1},ap^{n+1}-))=v_p(s(ap^n,ap^n-k))+2$. It confirms partially Lengyel's conjecture proposed in 2015.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2014arXiv

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<a<2^{n+1}$ and $2\nmid c$. Furthermore, one gets that $ν_2(S(c2^{n},(c-1)2^{n}+a))=s_2(a)-1$, where $n\geq 2$, $1\leq a\leq 2^n$ and $2\nmid c$. Finally, it is proved that if $3\leq k\leq 2^n$ and $k$ is not a power of 2 minus 1, then $ν_2(S(a2^{n},k)-S(b2^{n},k))=n+ν_2(a-b)-\lceil\log_2k\rceil +s_2(k)+δ(k), $ where $δ(4)=2$, $δ(k)=1$ if $k>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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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$.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

On the periodicity of a class of arithmetic functions associated with multiplicative functions

Let $k\ge 1,a\ge 1,b\ge 0$ and $ c\ge 1$ be integers. Let $f$ be a multiplicative function with $f(n)\ne 0$ for all positive integers $n$. We define the arithmetic function $g_{k,f}$ for any positive integer $n$ by $g_{k,f}(n):=\frac{\prod_{i=0}^k f(b+a(n+ic))} {f({\rm lcm}_{0\le i\le k} \{b+a(n+ic)\})}$. We first show that $g_{k,f}$ is periodic and $c {\rm lcm}(1,...,k)$ is its period. Consequently, we provide a detailed local analysis to the periodic function $g_{k,φ}$, and determine the smallest period of $g_{k,φ}$, where $φ$ is the Euler phi function.

preprint2013arXiv

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.

preprint2012arXiv

New Lower Bounds for the Least Common Multiples of Arithmetic Progressions

For relatively prime positive integers $u_0$ and $r$ and for $0\le k\le n$, define $u_k:=u_0+kr$. Let $L_n:={\rm lcm}(u_0, u_1, ..., u_n)$ and let $a, l\ge 2$ be any integers. In this paper, we show that, for integers $α\geq a$ and $r\geq \max(a, l-1)$ and $n\geq lαr$, we have $$L_n\geq u_0r^{(l-1)α+a-l}(r+1)^n.$$ Particularly, letting $l=3$ yields an improvement to the best previous lower bound on $L_n$ obtained by Hong and Kominers.

preprint2012arXiv

Nonlinearity of quartic rotation symmetric Boolean functions

Nonlinearity of rotation symmetric Boolean functions is an important topic on cryptography algorithm. Let $e\ge 1$ be any given integer. In this paper, we investigate the following question: Is the nonlinearity of the quartic rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}x_{3e}$ equal to its weight? We introduce some new simple sub-functions and develop new technique to get several recursive formulas. Then we use these recursive formulas to show that the nonlinearity of the quartic rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}x_{3e}$ is the same as its weight. So we answer the above question affirmatively. Finally, we conjecture that if $l\ge 4$ is an integer, then the nonlinearity of the rotation symmetric Boolean function generated by the monomial $x_0x_ex_{2e}...x_{le}$ equals its weight.

preprint2012arXiv

On deep holes of standard Reed-Solomon codes

Determining deep holes is an important open problem in decoding Reed-Solomon codes. It is well known that the received word is trivially a deep hole if the degree of its Lagrange interpolation polynomial equals the dimension of the Reed-Solomon code. For the standard Reed-Solomon codes $[p-1, k]_p$ with $p$ a prime, Cheng and Murray conjectured in 2007 that there is no other deep holes except the trivial ones. In this paper, we show that this conjecture is not true. In fact, we find a new class of deep holes for standard Reed-Solomon codes $[q-1, k]_q$ with $q$ a prime power of $p$. Let $q \geq 4$ and $2 \leq k\leq q-2$. We show that the received word $u$ is a deep hole if its Lagrange interpolation polynomial is the sum of monomial of degree $q-2$ and a polynomial of degree at most $k-1$. So there are at least $2(q-1)q^k$ deep holes if $k \leq q-3$.

preprint2012arXiv

The universal Kummer congruences

Let $p$ be a prime. In this paper, we present a detailed $p$-adic analysis to factorials and double factorials and their congruences. We give good bounds for the $p$-adic sizes of the coefficients of the divided universal Bernoulli number ${{\hat B_n}\over n}$ when $n$ is divisible by $p-1$. Using these we then establish the universal Kummer congruences modulo powers of a prime $p$ for the divided universal Bernoulli numbers ${{\hat B_n}\over n}$ when $n$ is divisible by $p-1$.

preprint2011arXiv

Asymptotic behavior of the smallest eigenvalue of matrices associated with completely even functions (mod r)

In this paper we present systematically analysis on the smallest eigenvalue of matrices associated with completely even functions (mod $r$). We obtain several theorems on the asymptotic behavior of the smallest eigenvalue of matrices associated with completely even functions (mod $r$). In particular, we get information on the asymptotic behavior of the smallest eigenvalue of the famous Smith matrices. Finally some examples are given to demonstrate the main results.

preprint2011arXiv

On the integrality of the elementary symmetric functions of $1, 1/3, ..., 1/(2n-1)$

Erdos and Niven proved that for any positive integers $m$ and $d$, there are only finitely many positive integers $n$ for which one or more of the elementary symmetric functions of $1/m,1/(m+d), ..., 1/(m+nd)$ are integers. Recently, Chen and Tang proved that if $n\ge 4$, then none of the elementary symmetric functions of $1,1/2, ..., 1/n$ is an integer. In this paper, we show that if $n\ge 2$, then none of the elementary symmetric functions of $1, 1/3, ..., 1/(2n-1)$ is an integer.

preprint2011arXiv

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

In this paper, we investigate the 2-adic valuations of the Stirling numbers $S(n, k)$ of the second kind. We show that $v_2(S(4i, 5))=v_2(S(4i+3, 5))$ if and only if $i\not\equiv 7\pmod {32}$. This confirms a conjecture of Amdeberhan, Manna and Moll raised in 2008. We show also that $v_2(S(2^n+1, k+1))= s_2(n)-1$ for any positive integer $n$, where $s_2(n)$ is the sum of binary digits of $n$. It proves another conjecture of Amdeberhan, Manna and Moll.

preprint2010arXiv

The least common multiple of consecutive arithmetic progression terms

Let $k\ge 0,a\ge 1$ and $b\ge 0$ be integers. We define the arithmetic function $g_{k,a,b}$ for any positive integer $n$ by $g_{k,a,b}(n):=\frac{(b+na)(b+(n+1)a)...(b+(n+k)a)} {{\rm lcm}(b+na,b+(n+1)a,...,b+(n+k)a)}.$ Letting $a=1$ and $b=0$, then $g_{k,a,b}$ becomes the arithmetic function introduced previously by Farhi. Farhi proved that $g_{k,1,0}$ is periodic and that $k!$ is a period. Hong and Yang improved Farhi's period $k!$ to ${\rm lcm}(1,2,...,k)$ and conjectured that $\frac{{\rm lcm}(1,2,...,k,k+1)}{k+1}$ divides the smallest period of $g_{k,1,0}$. Recently, Farhi and Kane proved this conjecture and determined the smallest period of $g_{k,1,0}$. For the general integers $a\ge 1$ and $b\ge 0$, it is natural to ask the interesting question: Is $g_{k,a,b}$ periodic? If so, then what is the smallest period of $g_{k,a,b}$? We first show that the arithmetic function $g_{k,a,b}$ is periodic. Subsequently, we provide detailed $p$-adic analysis of the periodic function $g_{k,a,b}$. Finally, we determine the smallest period of $g_{k,a,b}$. Our result extends the Farhi-Kane theorem from the set of positive integers to general arithmetic progressions.

preprint2008arXiv

Infinite divisibility of Smith matrices

Given an arithmetical function $f$, by $f(a, b)$ and $f[a, b]$ we denote the function $f$ evaluated at the greatest common divisor $(a, b)$ of positive integers $a$ and $b$ and evaluated at the least common multiple $[a, b]$ respectively. A positive semi-definite matrix $A=(a_{ij})$ with $a_{ij}\ge 0$ for all $i$ and $j$ is called infinitely divisible if the fractional Hadamard power $A^{\circ r}=(a_{ij}^r)$ is positive semi-definite for every nonnegative real number $r$. Let $S=\{x_1, ..., x_n\}$ be a set of $n$ distinct positive integers. In this paper, we show that if $f$ is a multiplicative function such that $(f*μ)(d)\ge 0$ whenever $d|x$ for any $x\in S$, then the $n\times n$ matrices $(f(x_i, x_j))$, $(\frac{1}{f[x_i, x_j]})$ and $(\frac{f(x_i, x_j)}{f[x_i, x_j]})$ are infinitely divisible. Finally we extend these results to the Dirichlet convolution case which produces infinitely many examples of infinitely divisible matrices. Our results extend the results obtained previously by Bourque, Ligh, Bhatia, Hong, Lee, Lindqvist and Seip.