Source author record

Kwang Ho Kim

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

5works
4topics
4close collaborators

Published work

5 publications

preprint2022arXiv

Solving X23n+22n+2n−1+(X+1)23n+22n+2n−1=bX^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=b in GF24nGF{2^{4n}}

This article determines all the solutions in the finite field GF24nGF{2^{4n}} of the equation x23n+22n+2n−1+(x+1)23n+22n+2n−1=bx^{2^{3n}+2^{2n}+2^{n}-1}+(x+1)^{2^{3n}+2^{2n}+2^{n}-1}=b. Specifically, we explicitly determine the set of bb's for which the equation has ii solutions for any positive integer ii. Such sets, which depend on the number of solutions ii, are given explicitly and expressed nicely, employing the absolute trace function over GF2nGF{2^{n}}, the norm function over GF24nGF{2^{4n}} relatively to GF2nGF{2^{n}} and the set of 2n+12^n+1st roots of unity in GF24nGF{2^{4n}}. The equation considered in this paper comes from an article by Budaghyan et al. \cite{BCCDK20}. As an immediate consequence of our results, we prove that the above equation has 22n2^{2n} solutions for one value of bb, 22n−2n2^{2n}-2^n solutions for 2n2^n values of bb in GF24nGF{2^{4n}} and has at most two solutions for all remaining points bb, leading to complete proof of the conjecture raised by Budaghyan et al. We highlight that the recent work of Li et al., in \cite{Li-et-al-2020} gives the complete differential spectrum of FF and also gives an affirmative answer to the conjecture of Budaghyan et al. However, we emphasize that our approach is interesting and promising by being different from Li et al. Indeed, on the opposite to their article, our technique allows determine ultimately the set of bb's for which the considered equation has solutions as well as the solutions of the equation for any bb in GF24nGF{2^{4n}}.

preprint2021arXiv

Complete solution over $\GF{p^n}$ of the equation Xpk+1+X+a=0X^{p^k+1}+X+a=0

The problem of solving explicitly the equation Pa(X):=Xq+1+X+a=0P_a(X):=X^{q+1}+X+a=0 over the finite field $\GF{Q}$, where Q=pnQ=p^n, q=pkq=p^k and pp is a prime, arises in many different contexts including finite geometry, the inverse Galois problem \cite{ACZ2000}, the construction of difference sets with Singer parameters \cite{DD2004}, determining cross-correlation between mm-sequences \cite{DOBBERTIN2006} and to construct error correcting codes \cite{Bracken2009}, cryptographic APN functions \cite{BTT2014,Budaghyan-Carlet_2006}, designs \cite{Tang_2019}, as well as to speed up the index calculus method for computing discrete logarithms on finite fields \cite{GGGZ2013,GGGZ2013+} and on algebraic curves \cite{M2014}. Subsequently, in \cite{Bluher2004,HK2008,HK2010,BTT2014,Bluher2016,KM2019,CMPZ2019,MS2019,KCM19}, the $\GF{Q}$-zeros of Pa(X)P_a(X) have been studied. In \cite{Bluher2004}, it was shown that the possible values of the number of the zeros that Pa(X)P_a(X) has in $\GF{Q}$ is 00, 11, 22 or pgcd⁡(n,k)+1p^{\gcd(n, k)}+1. Some criteria for the number of the $\GF{Q}$-zeros of Pa(x)P_a(x) were found in \cite{HK2008,HK2010,BTT2014,KM2019,MS2019}. However, while the ultimate goal is to explicit all the $\GF{Q}$-zeros, even in the case p=2p=2, it was solved only under the condition gcd⁡(n,k)=1\gcd(n, k)=1 \cite{KM2019}. In this article, we discuss this equation without any restriction on pp and gcd⁡(n,k)\gcd(n,k). In \cite{KCM19}, for the cases of one or two $\GF{Q}$-zeros, explicit expressions for these rational zeros in terms of aa were provided, but for the case of pgcd⁡(n,k)+1p^{\gcd(n, k)}+1 $\GF{Q}-$ zeros it was remained open to explicitly compute the zeros. This paper solves the remained problem, thus now the equation Xpk+1+X+a=0X^{p^k+1}+X+a=0 over $\GF{p^n}$ is completely solved for any prime pp, any integers nn and kk.

preprint2020arXiv

Solving Some Affine Equations over Finite Fields

Let ll and kk be two integers such that l∣kl|k. Define Tlk(X):=X+Xpl+⋯+Xpl(k/l−2)+Xpl(k/l−1)T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}} and Slk(X):=X−Xpl+⋯+(−1)(k/l−1)Xpl(k/l−1)S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}, where pp is any prime. This paper gives explicit representations of all solutions in $\GF{p^n}$ to the affine equations Tlk(X)=aT_l^{k}(X)=a and Slk(X)=aS_l^{k}(X)=a, $a\in \GF{p^n}$. For the case p=2p=2 that was solved very recently in \cite{MKCL2019}, the result of this paper reveals another solution.

preprint2019arXiv

Solving Xq+1+X+a=0X^{q+1}+X+a=0 over Finite Fields

Solving the equation Pa(X):=Xq+1+X+a=0P_a(X):=X^{q+1}+X+a=0 over finite field $\GF{Q}$, where Q=pn,q=pkQ=p^n, q=p^k and pp is a prime, arises in many different contexts including finite geometry, the inverse Galois problem \cite{ACZ2000}, the construction of difference sets with Singer parameters \cite{DD2004}, determining cross-correlation between mm-sequences \cite{DOBBERTIN2006,HELLESETH2008} and to construct error-correcting codes \cite{Bracken2009}, as well as to speed up the index calculus method for computing discrete logarithms on finite fields \cite{GGGZ2013,GGGZ2013+} and on algebraic curves \cite{M2014}. Subsequently, in \cite{Bluher2004,HK2008,HK2010,BTT2014,Bluher2016,KM2019,CMPZ2019,MS2019}, the $\GF{Q}$-zeros of Pa(X)P_a(X) have been studied: in \cite{Bluher2004} it was shown that the possible values of the number of the zeros that Pa(X)P_a(X) has in $\GF{Q}$ is 00, 11, 22 or pgcd⁡(n,k)+1p^{\gcd(n, k)}+1. Some criteria for the number of the $\GF{Q}$-zeros of Pa(x)P_a(x) were found in \cite{HK2008,HK2010,BTT2014,KM2019,MS2019}. However, while the ultimate goal is to identify all the $\GF{Q}$-zeros, even in the case p=2p=2, it was solved only under the condition gcd⁡(n,k)=1\gcd(n, k)=1 \cite{KM2019}. We discuss this equation without any restriction on pp and gcd⁡(n,k)\gcd(n,k). New criteria for the number of the $\GF{Q}$-zeros of Pa(x)P_a(x) are proved. For the cases of one or two $\GF{Q}$-zeros, we provide explicit expressions for these rational zeros in terms of aa. For the case of pgcd⁡(n,k)+1p^{\gcd(n, k)}+1 rational zeros, we provide a parametrization of such aa's and express the pgcd⁡(n,k)+1p^{\gcd(n, k)}+1 rational zeros by using that parametrization.

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.