Showing 1–10 of 10 results for author: Gologlu, F

Counting the number of non-isotopic Taniguchi semifields

Authors: Faruk Göloğlu, Lukas Kölsch

Abstract: We investigate the isotopy question for Taniguchi semifields. We give a complete characterization when two Taniguchi semifields are isotopic. We further give precise upper and lower bounds for the total number of non-isotopic Taniguchi semifields, proving that there are around $p^{m+s}$ non-isotopic Taniguchi semifields of size $p^{2m}$ where $s$ is the largest divisor of $m$ with $2s\neq m$. This… ▽ More We investigate the isotopy question for Taniguchi semifields. We give a complete characterization when two Taniguchi semifields are isotopic. We further give precise upper and lower bounds for the total number of non-isotopic Taniguchi semifields, proving that there are around $p^{m+s}$ non-isotopic Taniguchi semifields of size $p^{2m}$ where $s$ is the largest divisor of $m$ with $2s\neq m$. This result proves that the family of Taniguchi semifields is (asymptotically) the biggest known family of semifields of odd order. The key ingredient of the proofs is a technique to determine isotopy that uses group theory to exploit the existence of certain large subgroups of the autotopism group of a semifield. △ Less

Submitted 16 June, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 14 pages. Comments welcome. Minor calculation error corrected. Final version, accepted for publication in Designs, Codes, Cryptography

Classification of $(q,q)$-biprojective APN functions

Authors: Faruk Göloğlu

Abstract: In this paper, we classify $(q,q)$-biprojective almost perfect nonlinear (APN) functions over $\mathbb{LL} \times \mathbb{LL}$ under the natural left and right action of $\mathrm{GL}(2,\mathbb{LL})$ where $\mathbb{LL}$ is a finite field of characteristic $2$. This shows in particular that the only quadratic APN functions (up to CCZ-equivalence) over $\mathbb{LL} \times \mathbb{LL}$ that satisfy th… ▽ More In this paper, we classify $(q,q)$-biprojective almost perfect nonlinear (APN) functions over $\mathbb{LL} \times \mathbb{LL}$ under the natural left and right action of $\mathrm{GL}(2,\mathbb{LL})$ where $\mathbb{LL}$ is a finite field of characteristic $2$. This shows in particular that the only quadratic APN functions (up to CCZ-equivalence) over $\mathbb{LL} \times \mathbb{LL}$ that satisfy the so-called subfield property are the Gold functions and the function $κ: \mathbb{F}_{64} \to \mathbb{F}_{64}$ which is the only known APN function that is equivalent to a permutation over $\mathbb{LL} \times \mathbb{LL}$ up to CCZ-equivalence. The $κ$-function was introduced in (Browning, Dillon, McQuistan, and Wolfe, 2010). Deciding whether there exist other quadratic APN functions (possibly CCZ-equivalent to permutations) that satisfy subfield property or equivalently, generalizing $κ$ to higher dimensions was an open problem listed for instance in (Carlet, 2015) as one of the interesting open problems on cryptographic functions. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Equivalences of biprojective almost perfect nonlinear functions

Authors: Faruk Göloğlu, Lukas Kölsch

Abstract: Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence probl… ▽ More Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence problem for all known biprojective APN functions. Furthermore, we give a new family of biprojective APN functions. Using our method, we count the number of inequivalent APN functions in all known biprojective APN families and show that the new family found in this paper gives exponentially many new inequivalent APN functions. Quite recently, the Taniguchi family of APN functions was shown to contain an exponential number of inequivalent APN functions by Kaspers and Zhou (J. Cryptol. 34 (1), 2021) which improved their previous count (J. Comb. Th. A 186, 2022) for the Zhou-Pott family. Our group theoretic method substantially simplifies the work required for proving those results and provides a generic natural method for every family in the large super-class of biprojective APN functions that contains these two family along with many others. △ Less

Submitted 24 March, 2025; v1 submitted 7 November, 2021; originally announced November 2021.

Comments: 29 pages. Changed formatting and moved some sections, as well as corrected typos. Accepted for publication in Combinatorial Theory

An exponential bound on the number of non-isotopic commutative semifields

Authors: Faruk Göloğlu, Lukas Kölsch

Abstract: We show that the number of non-isotopic commutative semifields of odd order $p^{n}$ is exponential in $n$ when $n = 4t$ and $t$ is not a power of $2$. We introduce a new family of commutative semifields and a method for proving isotopy results on commutative semifields that we use to deduce the aforementioned bound. The previous best bound on the number of non-isotopic commutative semifields of od… ▽ More We show that the number of non-isotopic commutative semifields of odd order $p^{n}$ is exponential in $n$ when $n = 4t$ and $t$ is not a power of $2$. We introduce a new family of commutative semifields and a method for proving isotopy results on commutative semifields that we use to deduce the aforementioned bound. The previous best bound on the number of non-isotopic commutative semifields of odd order was quadratic in $n$ and given by Zhou and Pott [Adv. Math. 234 (2013)]. Similar bounds in the case of even order were given in Kantor [J. Algebra 270 (2003)] and Kantor and Williams [Trans. Amer. Math. Soc. 356 (2004)]. △ Less

Submitted 24 July, 2022; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: 27 pages. Incorporates reviewer comments. To appear in Transactions of the American Mathematical Society

On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$

Authors: Faruk Göloğlu, Lukas Kölsch, Gohar Kyureghyan, Léo Perrin

Abstract: Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of… ▽ More Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of $\mathbb{F}_{2^n}$ that contains only Kloosterman zeros, i.e. a subspace $V$ such that $K_n(v)=0$ for all $v \in V$ where $K_n(v)$ denotes the Kloosterman sum of $v$.} △ Less

Submitted 22 September, 2020; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: Included reviewers comments. To appear in the proceedings of WAIFI 2020

New Bounds for Permutation Codes in Ulam Metric

Authors: Faruk Göloğlu, Jüri Lember, Ago-Erik Riet, Vitaly Skachek

Abstract: New bounds on the cardinality of permutation codes equipped with the Ulam distance are presented. First, an integer-programming upper bound is derived, which improves on the Singleton-type upper bound in the literature for some lengths. Second, several probabilistic lower bounds are developed, which improve on the known lower bounds for large minimum distances. The results of a computer search for… ▽ More New bounds on the cardinality of permutation codes equipped with the Ulam distance are presented. First, an integer-programming upper bound is derived, which improves on the Singleton-type upper bound in the literature for some lengths. Second, several probabilistic lower bounds are developed, which improve on the known lower bounds for large minimum distances. The results of a computer search for permutation codes are also presented. △ Less

Submitted 20 April, 2015; originally announced April 2015.

Comments: To be presented at ISIT 2015, 5 pages

APN trinomials and hexanomials

Authors: Faruk Gologlu

Abstract: In this paper we give a new family of APN trinomials of the form $X^{2^k+1} + (\mathsf{tr}^{n}_{m}(X))^{2^k+1}$ on $\mathbb{F}_{2^n}$ where $\mathsf{gcd}(k,n)=1$ and $n = 2m = 4t$, and prove its important properties. The family satisfies for all $n = 4t$ an interesting property of the Kim function which is, up to equivalence, the only known APN function equivalent to a permutation on… ▽ More In this paper we give a new family of APN trinomials of the form $X^{2^k+1} + (\mathsf{tr}^{n}_{m}(X))^{2^k+1}$ on $\mathbb{F}_{2^n}$ where $\mathsf{gcd}(k,n)=1$ and $n = 2m = 4t$, and prove its important properties. The family satisfies for all $n = 4t$ an interesting property of the Kim function which is, up to equivalence, the only known APN function equivalent to a permutation on $\mathbb{F}_{2^{2m}}$. As another contribution of the paper, we consider a family of hexanomials $g_{C,k}$ which was shown to be differentially $2^{\mathsf{gcd}(m,k)}$-uniform by Budaghyan and Carlet (2008) when a quadrinomial $P_{C,k}$ has no roots in a specific subgroup. In this paper, for all $(m,k)$ pairs, we characterize, construct and count all $C \in \mathbb{F}_{2^n}$ satisfying the condition. Bracken, Tan and Tan (2014) and Qu, Tan and Li (2014) constructed some elements $C$ satisfying the condition when $m \equiv 2 \textrm{or} 4 \pmod{6}$ and $m \equiv 0 \pmod{6}$ respectively, both requiring $\mathsf{gcd}(m,k) = 1$. Bluher (2013) proved that such $C$ exists if and only if $k \ne m$ without characterizing, constructing or counting those $C$. To prove the results, we effectively use a Trace-$0$/Trace-$1$ (relative to the subfield $\mathbb{F}_{2^m}$) decomposition of $\mathbb{F}_{2^n}$. △ Less

Submitted 27 October, 2014; originally announced November 2014.

Comments: 19 pages; submitted Feb 12, 2014; updated Jul 29, 2014

Some Congruences of Kloosterman Sums and their Minimal Polynomials

Authors: Faruk Gologlu, Gary McGuire, Richard Moloney

Abstract: We prove two results on Kloosterman sums over finite fields, using Stickelberger's theorem and the Gross-Koblitz formula. The first result concerns the minimal polynomial over Q of a Kloosterman sum, and the second result gives a characterisation of ternary Kloosterman sums modulo 27. We prove two results on Kloosterman sums over finite fields, using Stickelberger's theorem and the Gross-Koblitz formula. The first result concerns the minimal polynomial over Q of a Kloosterman sum, and the second result gives a characterisation of ternary Kloosterman sums modulo 27. △ Less

Submitted 4 December, 2010; originally announced December 2010.

Ternary Kloosterman sums using Stickelberger's theorem and the Gross-Koblitz formula

Authors: Faruk Gologlu, Gary McGuire, Richard Moloney

Abstract: We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis. We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis. △ Less

Submitted 9 June, 2010; originally announced June 2010.

MSC Class: 11L05

Binary Kloosterman sums using Stickelberger's theorem and the Gross-Koblitz formula

Authors: Faruk Gologlu, Gary McGuire, Richard Moloney

Abstract: Let $\mathcal{K}(a)$ denote the Kloosterman sum on the finite field of order $2^n$. We give a simple characterization of $\mathcal{K}(a)$ modulo 16, in terms of the trace of $a$ and one other function. We also give a characterization of $\mathcal{K}(a)$ modulo 64 in terms of a different function, which we call the lifted trace. Our proofs use Fourier analysis, Stickelberger's theorem and the Gross… ▽ More Let $\mathcal{K}(a)$ denote the Kloosterman sum on the finite field of order $2^n$. We give a simple characterization of $\mathcal{K}(a)$ modulo 16, in terms of the trace of $a$ and one other function. We also give a characterization of $\mathcal{K}(a)$ modulo 64 in terms of a different function, which we call the lifted trace. Our proofs use Fourier analysis, Stickelberger's theorem and the Gross-Koblitz formula. △ Less

Submitted 28 May, 2010; v1 submitted 25 May, 2010; originally announced May 2010.

Comments: Minor error corrected in final section