Source author record

Xiang-dong Hou

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

27works
7topics
4close collaborators

Published work

27 publications

preprint2022arXiv

A General Construction of Permutation Polynomials of Fq2\Bbb F_{q^2}

Let rr be a positive integer, h(X)∈Fq2[X]h(X)\in\Bbb F_{q^2}[X], and μq+1μ_{q+1} be the subgroup of order q+1q+1 of Fq2∗\Bbb F_{q^2}^*. It is well known that Xrh(Xq−1)X^rh(X^{q-1}) permutes Fq2\Bbb F_{q^2} if and only if gcd(r,q−1)=1\text{gcd}(r,q-1)=1 and Xrh(X)q−1X^rh(X)^{q-1} permutes μq+1μ_{q+1}. There are many ad hoc constructions of permutation polynomials of Fq2\Bbb F_{q^2} of this type such that h(X)q−1h(X)^{q-1} induces monomial functions on the cosets of a subgroup of μq+1μ_{q+1}. We give a general construction that can generate, through an algorithm, {\em all} permutation polynomials of Fq2\Bbb F_{q^2} with this property, including many which are not known previously. The construction is illustrated explicitly for permutation binomials and trinomials.

preprint2022arXiv

New Results on Permutation Binomials of Finite Fields

After a brief review of existing results on permutation binomials of finite fields, we introduce the notion of equivalence among permutation binomials (PBs) and describe how to bring a PB to its canonical form under equivalence. We then focus on PBs of Fq2\Bbb F_{q^2} of the form Xn(Xd(q−1)+a)X^n(X^{d(q-1)}+a), where nn and dd are positive integers and a∈Fq2∗a\in\Bbb F_{q^2}^*. Our contributions include two nonexistence results: (1) If qq is even and sufficiently large and aq+1≠1a^{q+1}\ne 1, then Xn(X3(q−1)+a)X^n(X^{3(q-1)}+a) is not a PB of Fq2\Bbb F_{q^2}. (2) If 2≤d∣q+12\le d\mid q+1, qq is sufficiently large and aq+1≠1a^{q+1}\ne 1, then Xn(Xd(q−1)+a)X^n(X^{d(q-1)}+a) is not a PB of Fq2\Bbb F_{q^2} under certain additional conditions. (1) partially confirms a recent conjecture by Tu et al. (2) is an extension of a previous result with n=1n=1.

preprint2020arXiv

A power sum formula by Carlitz and its applications to permutation rational functions of finite fields

A formula discovered by L. Carlitz in 1935 finds an interesting application in permutation rational functions of finite fields. It allows us to determine all rational functions of degree three that permute the projective line P1(Fq)\Bbb P^1(\Bbb F_q) over Fq\Bbb F_q, a result previously obtained by Ferraguti and Micheli through a different method. It also allows us to determine all rational functions of degree four that permute P1(Fq)\Bbb P^1(\Bbb F_q) under a certain condition. (A complete determination of all rational functions of degree four that permute P1(Fq)\Bbb P^1(\Bbb F_q) without any condition will appear in a separate forthcoming paper.)

preprint2020arXiv

on a conjecture on permutation rational functions over finite fields

Let pp be a prime and nn be a positive integer, and consider fb(X)=X+(Xp−X+b)−1∈Fp(X)f_b(X)=X+(X^p-X+b)^{-1}\in \Bbb F_p(X), where b∈Fpnb\in\Bbb F_{p^n} is such that Trpn/p(b)≠0\text{Tr}_{p^n/p}(b)\ne 0. It is known that (i) fbf_b permutes Fpn\Bbb F_{p^n} for p=2,3p=2,3 and all n≥1n\ge 1; (ii) for p>3p>3 and n=2n=2, fbf_b permutes Fp2\Bbb F_{p^2} if and only if Trp2/p(b)=±1\text{Tr}_{p^2/p}(b)=\pm 1; and (iii) for p>3p>3 and n≥5n\ge 5, fbf_b does not permute Fpn\Bbb F_{p^n}. It has been conjectured that for p>3p>3 and n=3,4n=3,4, fbf_b does not permute Fpn\Bbb F_{p^n}. We prove this conjecture for sufficiently large pp.

preprint2020arXiv

On a Type of Permutation Rational Functions over Finite Fields

Let pp be a prime and nn be a positive integer. Let fb(X)=X+(Xp−X+b)−1f_b(X)=X+(X^p-X+b)^{-1}, where b∈Fpnb\in\Bbb F_{p^n} is such that Trpn/p(b)≠0\text{Tr}_{p^n/p}(b)\ne 0. In 2008, Yuan et al. \cite{Yuan-Ding-Wang-Pieprzyk-FFA-2008} showed that for p=2,3p=2,3, fbf_b permutes Fpn\Bbb F_{p^n} for all n≥1n\ge 1. Using the Hasse-Weil bound, we show that when p>3p>3 and n≥5n\ge 5, ff does not permute Fpn\Bbb F_{p^n}. For p>3p>3 and n=2n=2, we prove that fbf_b permutes Fp2\Bbb F_{p^2} if and only if Trp2/p(b)=±1\text{Tr}_{p^2/p}(b)=\pm 1. We conjecture that for p>3p>3 and n=3,4n=3,4, fbf_b does not permute Fpn\Bbb F_{p^n}.

preprint2016arXiv

On Gauss Periods

Let qq be a prime power, and let r=nk+1r=nk+1 be a prime such that r∤qr\nmid q, where nn and kk are positive integers. Under a simple condition on qq, rr and kk, a Gauss period of type (n,k)(n,k) is a normal element of Fqn\Bbb F_{q^n} over Fq\Bbb F_q; the complexity of the resulting normal basis of Fqn\Bbb F_{q^n} over Fq\Bbb F_q is denoted by C(n,k;q)C(n,k;q). Recent works determined C(n,k;q)C(n,k;q) for k≤7k\le 7 and all qualified nn and qq. In this paper, we show that for any given k>0k>0, C(n,k;q)C(n,k;q) is given by an explicit formula except for finitely many primes r=nk+1r=nk+1 and the exceptional primes are easily determined. Moreover, we describe an algorithm that allows one to compute C(n,k;q)C(n,k;q) for the exceptional primes r=nk+1r=nk+1. The numerical results of the paper cover C(n,k;q)C(n,k;q) for k≤20k\le 20 and all qualified nn and qq.

preprint2016arXiv

Permutation Polynomials of the form Xr(a+X2(q−1)){\tt X}^r(a+{\tt X}^{2(q-1)}) --- A Nonexistence Result

Let f=Xr(a+X2(q−1))∈Fq2[X]f={\tt X}^r(a+{\tt X}^{2(q-1)})\in{\Bbb F}_{q^2}[{\tt X}], where a∈Fq2∗a\in{\Bbb F}_{q^2}^* and r≥1r\ge 1. The parameters (q,r,a)(q,r,a) for which ff is a permutation polynomial (PP) of Fq2{\Bbb F}_{q^2} have been determined in the following cases: (i) aq+1=1a^{q+1}=1; (ii) r=1r=1; (iii) r=3r=3. These parameters together form three infinite families. For r>3r>3 (there is a good reason not to consider r=2r=2) and aq+1≠1a^{q+1}\ne 1, computer search suggested that ff is not a PP of Fq2{\Bbb F}_{q^2} when qq is not too small relative to rr. In the present paper, we prove that this claim is true. In particular, for each r>3r>3, there are only finitely many (q,a)(q,a), where aq+1≠1a^{q+1}\ne 1, for which ff is a PP of Fq2{\Bbb F}_{q^2}.

preprint2015arXiv

From rr-Linearized Polynomial Equations to rmr^m-Linearized Polynomial Equations

Let rr be a prime power and q=rmq=r^m. For 0≤i≤m−10\le i\le m-1, let fi∈Fr[x]f_i\in \mathbb{F}_r[x] be qq-linearized and ai∈Fqa_i\in \mathbb{F}_q. Assume that z∈Fˉrz\in \mathbb{\bar{F}}_r satisfies the equation ∑i=0m−1aifi(z)ri=0\sum_{i=0}^{m-1}a_if_i(z)^{r^i}=0, where ∑i=0m−1aifiri∈Fq[x]\sum_{i=0}^{m-1}a_if_i^{r_i}\in \mathbb{F}_q[x] is an rr-linearized polynomial. It is shown that zz satisfies a qq-linearized polynomial equation with coefficients in Fr\mathbb{F}_r. This result provides an explanation for numerous permutation polynomials previously obtained through computer search.

preprint2015arXiv

Permutation Polynomials of Fq2\Bbb F_{q^2} of the form aX+Xr(q−1)+1a{\tt X}+{\tt X}^{r(q-1)+1}

Let qq be a prime power, 2≤r≤q2\le r\le q, and f=aX+Xr(q−1)+1∈Fq2[X]f=a{\tt X}+{\tt X}^{r(q-1)+1}\in\Bbb F_{q^2}[{\tt X}], where a≠0a\ne 0. The conditions on r,q,ar,q,a that are necessary and sufficient for ff to be a permutation polynomial (PP) of Fq2{\Bbb F}_{q^2} are not known. (Such conditions are known under an additional assumption that aq+1=1a^{q+1}=1.) In this paper, we prove the following: (i) If ff is a PP of Fq2{\Bbb F}_{q^2}, then gcd(r,q+1)>1\text{gcd}(r,q+1)>1 and (−a)(q+1)/gcd(r,q+1)≠1(-a)^{(q+1)/\text{gcd}(r,q+1)}\ne 1. (ii) For a fixed r>2r>2 and subject to the conditions that q+1≡0(modr)q+1\equiv 0\pmod r and aq+1≠1a^{q+1}\ne 1, there are only finitely many (q,a)(q,a) for which ff is a PP of Fq2{\Bbb F}_{q^2}. Combining (i) and (ii) confirms a recent conjecture regarding the type of permutation binomial considered here.

preprint2015arXiv

Polynomials Meeting Ax's Bound

Let f∈Fq[X1,…,Xn]f\in\Bbb F_q[X_1,\dots,X_n] with °f=d>0°f=d>0 and let Z(f)={(x1,…,xn)∈Fqn:f(x1,…,xn)=0}Z(f)=\{(x_1,\dots,x_n)\in \Bbb F_q^n: f(x_1,\dots,x_n)=0\}. Ax's theorem states that ∣Z(f)∣≡0(modq⌈n/d⌉−1)|Z(f)|\equiv 0\pmod {q^{\lceil n/d\rceil-1}}, that is, νp(∣Z(f)∣)≥m(⌈n/d⌉−1)ν_p(|Z(f)|)\ge m(\lceil n/d\rceil-1), where p=char Fqp=\text{char}\,\Bbb F_q, q=pmq=p^m, and νpν_p is the pp-adic valuation. In this paper, we determine a condition on the coefficients of ff that is necessary and sufficient for ff to meet Ax's bound, that is, νp(∣Z(f)∣)=m(⌈n/d⌉−1)ν_p(|Z(f)|)=m(\lceil n/d\rceil-1). Let Rq(d,n)R_q(d,n) denote the qq-ary Reed-Muller code {f∈Fq[X1,…,Xn]:°f≤d, °Xjf≤q−1, 1≤j≤n}\{f\in\Bbb F_q[X_1,\dots,X_n]: °f\le d,\ °_{X_j}f\le q-1,\ 1\le j\le n\}, and let Nq(d,n;t)N_q(d,n;t) be the number of codewords of Rq(d,n)R_q(d,n) with weight divisible by ptp^t. As applications of the aforementioned result, we find explicit formulas for Nq(d,n;t)N_q(d,n;t) in the following cases: (i) q=2mq=2^m, nn even, d=n/2d=n/2, t=m+1t=m+1; (ii) q=2q=2, n/2≤d≤n−2n/2\le d\le n-2, t=2t=2; (iii) q=3mq=3^m, d=nd=n, t=1t=1; (iv) q=3q=3, n≤d≤2nn\le d\le 2n, t=1t=1.

preprint2015arXiv

Proof of a conjecture on monomial graphs

Let ee be a positive integer, pp be an odd prime, q=peq=p^{e}, and Fq\Bbb F_q be the finite field of qq elements. Let f,g∈Fq[X,Y]f,g \in \Bbb F_q [X,Y]. The graph G=Gq(f,g)G=G_q(f,g) is a bipartite graph with vertex partitions P=Fq3P=\Bbb F_q^3 and L=Fq3L=\Bbb F_q^3, and edges defined as follows: a vertex (p)=(p1,p2,p3)∈P(p)=(p_1,p_2,p_3)\in P is adjacent to a vertex [l]=[l1,l2,l3]∈L[l] = [l_1,l_2,l_3]\in L if and only if p2+l2=f(p1,l1)p_2 + l_2 = f(p_1,l_1) and p3+l3=g(p1,l1)p_3 + l_3 = g(p_1,l_1). Motivated by some questions in finite geometry and extremal graph theory, Dmytrenko, Lazebnik and Williford conjectured in 2007 that if ff and gg are both monomials and GG has no cycle of length less than eight, then GG is isomorphic to the graph Gq(XY,XY2)G_q(XY,XY^2). They proved several instances of the conjecture by reducing it to the property of polynomials Ak=Xk[(X+1)k−Xk]A_k= X^k[(X+1)^k - X^k] and Bk=[(X+1)2k−1]Xq−1−k−2Xq−1B_k= [(X+1)^{2k} - 1] X^{q-1-k} - 2X^{q-1} being permutation polynomials of Fq\Bbb F_q. In this paper we prove the conjecture by obtaining new results on the polynomials AkA_k and BkB_k, which are also of interest on their own.

preprint2014arXiv

On Global P\mathcal P-Forms

Let Fq\Bbb F_q be a finite field with char Fq=p\text{char}\,\Bbb F_q=p and n>0n>0 an integer with gcd(n,log⁡pq)=1\text{gcd}(n, \log_pq)=1. Let ( )∗:Fq(x0,…,xn−1)→Fq(x0,…,xn−1)(\ )^*:\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})\to\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1}) be the Fq\Bbb F_q-monomorphism defined by xi∗=xi+1{\tt x}_i^*={\tt x}_{i+1} for 0≤i<n−10\le i< n-1 and xn−1∗=x0q{\tt x}_{n-1}^*={\tt x}_0^q. For f,g∈Fq(x0,…,xn−1)∖Fqf,g\in\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})\setminus\Bbb F_q, define f∘g=f(g,g∗,…,g(n−1)∗)f\circ g=f(g,g^*,\dots,g^{(n-1)*}). Then (Fq(x0,…,xn−1)∖Fq, ∘)(\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})\setminus\Bbb F_q,\,\circ) is a monoid whose invertible elements are called global P\mathcal P-forms. Global P\mathcal P-forms were first introduced by H. Dobbertin in 2001 with q=2q=2 to study certain type of permutation polynomials of F2m\Bbb F_{2^m} with gcd(m,n)=1\text{gcd}(m,n)=1; global P\mathcal P-forms with q=pq=p for an arbitrary prime pp were considered by W. More in 2005. In this paper, we discuss some fundamental questions about global P\mathcal P-forms, some of which are answered and others remain open.

preprint2014arXiv

Switchings of semifield multiplications

Let B(X,Y)B(X,Y) be a polynomial over Fqn\mathbb{F}_{q^n} which defines an Fq\mathbb{F}_q-bilinear form on the vector space Fqn\mathbb{F}_{q^n}, and let ξξ be a nonzero element in Fqn\mathbb{F}_{q^n}. In this paper, we consider for which B(X,Y)B(X,Y), the binary operation xy+B(x,y)ξxy+B(x,y)ξ defines a (pre)semifield multiplication on Fqn\mathbb{F}_{q^n}. We prove that this question is equivalent to finding qq-linearized polynomials L(X)∈Fqn[X]L(X)\in\mathbb{F}_{q^n}[X] such that Trqn/q(L(x)/x)≠0Tr_{q^n/q}(L(x)/x)\neq 0 for all x∈Fqn∗x\in\mathbb{F}_{q^n}^*. For n≤4n\le 4, we present several families of L(X)L(X) and we investigate the derived (pre)semifields. When qq equals a prime pp, we show that if n>12(p−1)(p2−p+4)n>\frac{1}{2}(p-1)(p^2-p+4), L(X)L(X) must be a0Xa_0 X for some a0∈Fpna_0\in\mathbb{F}_{p^n} satisfying Trqn/q(a0)≠0Tr_{q^n/q}(a_0)\neq 0. Finally, we include a natural connection with certain cyclic codes over finite fields, and we apply the Hasse-Weil-Serre bound for algebraic curves to prove several necessary conditions for such kind of L(X)L(X).

preprint2013arXiv

Determination of a Type of Permutation Trinomials over Finite Fields

Let f=ax+bxq+x2q−1∈Fq[x]f=a{\tt x} +b{\tt x}^q+{\tt x}^{2q-1}\in\Bbb F_q[{\tt x}]. We find explicit conditions on aa and bb that are necessary and sufficient for ff to be a permutation polynomial of Fq2\Bbb F_{q^2}. This result allows us to solve a related problem. Let gn,q∈Fp[x]g_{n,q}\in\Bbb F_p[{\tt x}] (n≥0n\ge 0, p=char Fqp=\text{char}\,\Bbb F_q) be the polynomial defined by the functional equation ∑c∈Fq(x+c)n=gn,q(xq−x)\sum_{c\in\Bbb F_q}({\tt x}+c)^n=g_{n,q}({\tt x}^q-{\tt x}). We determine all nn of the form n=qα−qβ−1n=q^α-q^β-1, α>β≥0α>β\ge 0, for which gn,qg_{n,q} is a permutation polynomial of Fq2\Bbb F_{q^2}.

preprint2013arXiv

Lattice of Ideals of the Polynomial Ring over a Commutative Chain Ring

Let RR be a commutative chain ring. We use a variation of Gröbner bases to study the lattice of ideals of R[x]R[x]. Let II be a proper ideal of R[x]R[x]. We are interested in the following two questions: When is R[x]/IR[x]/I Frobenius? When is R[x]/IR[x]/I Frobenius and local? We develop algorithms for answering both questions. When the nilpotency of rad R\text{rad}\,R is small, the algorithms provide explicit answers to the questions.

preprint2013arXiv

Proof of a Conjecture on Permutation Polynomials over Finite Fields

Let kk be a positive integer and S2k=x+x4+...+x42k−1∈F2[x]S_{2k}={\tt x}+{\tt x}^4+...+{\tt x}^{4^{2k-1}}\in\Bbb F_2[{\tt x}]. It was recently conjectured that x+S2k42k+S2k4k+3{\tt x}+S_{2k}^{4^{2k}}+S_{2k}^{4^k+3} is a permutation polynomial of F43k\Bbb F_{4^{3k}}. In this note, the conjecture is confirmed and a generalization is obtained.

preprint2012arXiv

A Class of Permutation Binomials over Finite Fields

Let q>2q>2 be a prime power and f=xq−2+txq2−q−1f={\tt x}^{q-2}+t{\tt x}^{q^2-q-1}, where t∈Fq∗t\in\Bbb F_q^*. It was recently conjectured that ff is a permutation polynomial of Fq2\Bbb F_{q^2} if and only if one of the following holds: (i) t=1t=1, q≡1(mod4)q\equiv 1\pmod 4; (ii) t=−3t=-3, q≡±1(mod12)q\equiv \pm1\pmod{12}; (iii) t=3t=3, q≡−1(mod6)q\equiv -1\pmod 6. We confirm this conjecture in the present paper.

preprint2012arXiv

A New Approach to Permutation Polynomials over Finite Fields, II

Let pp be a prime and qq a power of pp. For n≥0n\ge 0, let gn,q∈Fp[x]g_{n,q}\in\Bbb F_p[{\tt x}] be the polynomial defined by the functional equation ∑a∈Fq(x+a)n=gn,q(xq−x)\sum_{a\in\Bbb F_q}({\tt x}+a)^n=g_{n,q}({\tt x}^q-{\tt x}). When is gn,qg_{n,q} a permutation polynomial (PP) of Fqe\Bbb F_{q^e}? This turns out to be a challenging question with remarkable breath and depth, as shown in the predecessor of the present paper. We call a triple of positive integers (n,e;q)(n,e;q) {\em desirable} if gn,qg_{n,q} is a PP of Fqe\Bbb F_{q^e}. In the present paper, we find many new classes of desirable triples whose corresponding PPs were previously unknown. Several new techniques are introduced for proving a given polynomial is a PP.

preprint2011arXiv

Connected Quandles Associated with Pointed Abelian Groups

A quandle is a self-distributive algebraic structure that appears in quasi-group and knot theories. For each abelian group A and c \in A we define a quandle G(A, c) on \Z_3 \times A. These quandles are generalizations of a class of non-medial Latin quandles defined by V. M. Galkin so we call them Galkin quandles. Each G(A, c) is connected but not Latin unless A has odd order. G(A, c) is non-medial unless 3A = 0. We classify their isomorphism classes in terms of pointed abelian groups, and study their various properties. A family of symmetric connected quandles is constructed from Galkin quandles, and some aspects of knot colorings by Galkin quandles are also discussed.

preprint2011arXiv

Galkin Quandles, Pointed Abelian Groups, and Sequence A000712A000712

For each pointed abelian group (A,c)(A,c), there is an associated {\em Galkin quandle} G(A,c)G(A,c) which is an algebraic structure defined on Z3×A\Bbb Z_3\times A that can be used to construct knot invariants. It is known that two finite Galkin quandles are isomorphic if and only if their associated pointed abelian groups are isomorphic. In this paper we classify all finite pointed abelian groups. We show that the number of nonisomorphic pointed abelian groups of order qnq^n (qq prime) is ∑0≤m≤np(m)p(n−m)\sum_{0\le m\le n}p(m)p(n-m), where p(m)p(m) is the number of partitions of integer mm.

preprint2011arXiv

Third Power of the Reversed Dickson Polynomial over Finite Fields

Let Dn(1,x)D_n(1,x) be the nnth reversed Dickson polynomial. The power sums ∑a∈FqDn(1,a)i\sum_{a\in\Bbb F_q}D_n(1,a)^i, i=1,2i=1,2, have been determined recently. In this paper we give an evaluation of the sum ∑a∈FqDn(1,a)3\sum_{a\in\Bbb F_q}D_n(1,a)^3. This result implies new necessary conditions for Dn(1,x)D_n(1,x) to be a permutation polynomial over Fq\Bbb F_q.

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.