BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Xiang-dong Hou

Xiang-dong Hou appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COmath.ATmath.GRmath.RAmath.ACmath.GT

Catalog footprint

What is connected

27works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

27 published item(s)

preprint2022arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
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 $\Bbb F_{q^2}$ of the form $X^n(X^{d(q-1)}+a)$, where $n$ and $d$ are positive integers and $a\in\Bbb F_{q^2}^*$. Our contributions include two nonexistence results: (1) If $q$ is even and sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{3(q-1)}+a)$ is not a PB of $\Bbb F_{q^2}$. (2) If $2\le d\mid q+1$, $q$ is sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{d(q-1)}+a)$ is not a PB of $\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=1$.

0 citations0 reviewsNo code linkedOpen access
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 $\Bbb P^1(\Bbb F_q)$ over $\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 $\Bbb P^1(\Bbb F_q)$ under a certain condition. (A complete determination of all rational functions of degree four that permute $\Bbb P^1(\Bbb F_q)$ without any condition will appear in a separate forthcoming paper.)

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

on a conjecture on permutation rational functions over finite fields

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On a Type of Permutation Rational Functions over Finite Fields

Let $p$ be a prime and $n$ be a positive integer. Let $f_b(X)=X+(X^p-X+b)^{-1}$, where $b\in\Bbb F_{p^n}$ is such that $\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,3$, $f_b$ permutes $\Bbb F_{p^n}$ for all $n\ge 1$. Using the Hasse-Weil bound, we show that when $p>3$ and $n\ge 5$, $f$ does not permute $\Bbb F_{p^n}$. For $p>3$ and $n=2$, we prove that $f_b$ permutes $\Bbb F_{p^2}$ if and only if $\text{Tr}_{p^2/p}(b)=\pm 1$. We conjecture that for $p>3$ and $n=3,4$, $f_b$ does not permute $\Bbb F_{p^n}$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On Gauss Periods

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

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

From $r$-Linearized Polynomial Equations to $r^m$-Linearized Polynomial Equations

Let $r$ be a prime power and $q=r^m$. For $0\le i\le m-1$, let $f_i\in \mathbb{F}_r[x]$ be $q$-linearized and $a_i\in \mathbb{F}_q$. Assume that $z\in \mathbb{\bar{F}}_r$ satisfies the equation $\sum_{i=0}^{m-1}a_if_i(z)^{r^i}=0$, where $\sum_{i=0}^{m-1}a_if_i^{r_i}\in \mathbb{F}_q[x]$ is an $r$-linearized polynomial. It is shown that $z$ satisfies a $q$-linearized polynomial equation with coefficients in $\mathbb{F}_r$. This result provides an explanation for numerous permutation polynomials previously obtained through computer search.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Polynomials Meeting Ax's Bound

Let $f\in\Bbb F_q[X_1,\dots,X_n]$ with $°f=d>0$ and let $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)|\equiv 0\pmod {q^{\lceil n/d\rceil-1}}$, that is, $ν_p(|Z(f)|)\ge m(\lceil n/d\rceil-1)$, where $p=\text{char}\,\Bbb F_q$, $q=p^m$, and $ν_p$ is the $p$-adic valuation. In this paper, we determine a condition on the coefficients of $f$ that is necessary and sufficient for $f$ to meet Ax's bound, that is, $ν_p(|Z(f)|)=m(\lceil n/d\rceil-1)$. Let $R_q(d,n)$ denote the $q$-ary Reed-Muller code $\{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 $N_q(d,n;t)$ be the number of codewords of $R_q(d,n)$ with weight divisible by $p^t$. As applications of the aforementioned result, we find explicit formulas for $N_q(d,n;t)$ in the following cases: (i) $q=2^m$, $n$ even, $d=n/2$, $t=m+1$; (ii) $q=2$, $n/2\le d\le n-2$, $t=2$; (iii) $q=3^m$, $d=n$, $t=1$; (iv) $q=3$, $n\le d\le 2n$, $t=1$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Proof of a conjecture on monomial graphs

Let $e$ be a positive integer, $p$ be an odd prime, $q=p^{e}$, and $\Bbb F_q$ be the finite field of $q$ elements. Let $f,g \in \Bbb F_q [X,Y]$. The graph $G=G_q(f,g)$ is a bipartite graph with vertex partitions $P=\Bbb F_q^3$ and $L=\Bbb F_q^3$, and edges defined as follows: a vertex $(p)=(p_1,p_2,p_3)\in P$ is adjacent to a vertex $[l] = [l_1,l_2,l_3]\in L$ if and only if $p_2 + l_2 = f(p_1,l_1)$ and $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 $f$ and $g$ are both monomials and $G$ has no cycle of length less than eight, then $G$ is isomorphic to the graph $G_q(XY,XY^2)$. They proved several instances of the conjecture by reducing it to the property of polynomials $A_k= X^k[(X+1)^k - X^k]$ and $B_k= [(X+1)^{2k} - 1] X^{q-1-k} - 2X^{q-1}$ being permutation polynomials of $\Bbb F_q$. In this paper we prove the conjecture by obtaining new results on the polynomials $A_k$ and $B_k$, which are also of interest on their own.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Global $\mathcal P$-Forms

Let $\Bbb F_q$ be a finite field with $\text{char}\,\Bbb F_q=p$ and $n>0$ an integer with $\text{gcd}(n, \log_pq)=1$. Let $(\ )^*:\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 $\Bbb F_q$-monomorphism defined by ${\tt x}_i^*={\tt x}_{i+1}$ for $0\le i< n-1$ and ${\tt x}_{n-1}^*={\tt x}_0^q$. For $f,g\in\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})\setminus\Bbb F_q$, define $f\circ g=f(g,g^*,\dots,g^{(n-1)*})$. Then $(\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 $\mathcal P$-forms. Global $\mathcal P$-forms were first introduced by H. Dobbertin in 2001 with $q=2$ to study certain type of permutation polynomials of $\Bbb F_{2^m}$ with $\text{gcd}(m,n)=1$; global $\mathcal P$-forms with $q=p$ for an arbitrary prime $p$ were considered by W. More in 2005. In this paper, we discuss some fundamental questions about global $\mathcal P$-forms, some of which are answered and others remain open.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Switchings of semifield multiplications

Let $B(X,Y)$ be a polynomial over $\mathbb{F}_{q^n}$ which defines an $\mathbb{F}_q$-bilinear form on the vector space $\mathbb{F}_{q^n}$, and let $ξ$ be a nonzero element in $\mathbb{F}_{q^n}$. In this paper, we consider for which $B(X,Y)$, the binary operation $xy+B(x,y)ξ$ defines a (pre)semifield multiplication on $\mathbb{F}_{q^n}$. We prove that this question is equivalent to finding $q$-linearized polynomials $L(X)\in\mathbb{F}_{q^n}[X]$ such that $Tr_{q^n/q}(L(x)/x)\neq 0$ for all $x\in\mathbb{F}_{q^n}^*$. For $n\le 4$, we present several families of $L(X)$ and we investigate the derived (pre)semifields. When $q$ equals a prime $p$, we show that if $n>\frac{1}{2}(p-1)(p^2-p+4)$, $L(X)$ must be $a_0 X$ for some $a_0\in\mathbb{F}_{p^n}$ satisfying $Tr_{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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Determination of a Type of Permutation Trinomials over Finite Fields

Let $f=a{\tt x} +b{\tt x}^q+{\tt x}^{2q-1}\in\Bbb F_q[{\tt x}]$. We find explicit conditions on $a$ and $b$ that are necessary and sufficient for $f$ to be a permutation polynomial of $\Bbb F_{q^2}$. This result allows us to solve a related problem. Let $g_{n,q}\in\Bbb F_p[{\tt x}]$ ($n\ge 0$, $p=\text{char}\,\Bbb F_q$) be the polynomial defined by the functional equation $\sum_{c\in\Bbb F_q}({\tt x}+c)^n=g_{n,q}({\tt x}^q-{\tt x})$. We determine all $n$ of the form $n=q^α-q^β-1$, $α>β\ge 0$, for which $g_{n,q}$ is a permutation polynomial of $\Bbb F_{q^2}$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A New Approach to Permutation Polynomials over Finite Fields, II

Let $p$ be a prime and $q$ a power of $p$. For $n\ge 0$, let $g_{n,q}\in\Bbb F_p[{\tt x}]$ be the polynomial defined by the functional equation $\sum_{a\in\Bbb F_q}({\tt x}+a)^n=g_{n,q}({\tt x}^q-{\tt x})$. When is $g_{n,q}$ a permutation polynomial (PP) of $\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)$ {\em desirable} if $g_{n,q}$ is a PP of $\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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Galkin Quandles, Pointed Abelian Groups, and Sequence $A000712$

For each pointed abelian group $(A,c)$, there is an associated {\em Galkin quandle} $G(A,c)$ which is an algebraic structure defined on $\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 $q^n$ ($q$ prime) is $\sum_{0\le m\le n}p(m)p(n-m)$, where $p(m)$ is the number of partitions of integer $m$.

0 citations0 reviewsNo code linkedOpen access