Abstract
In this paper, we study two special subsets of a finite field of odd characteristics associated with non-weakly regular bent functions. We show that those subsets associated to non-weakly regular even bent functions in the GMMF class (see Çesmelioğlu et al. Finite Fields Appl. 24, 105–117 2013) are never partial difference sets (PDSs), and are PDSs if and only if they are trivial subsets. Moreover, we analyze the two known sporadic examples of non-weakly regular ternary bent functions given in Helleseth and Kholosha (IEEE Trans. Inf. Theory 52(5), 2018–2032 2006, Cryptogr. Commun. 3(4), 281–291 2011). We observe that corresponding subsets are non-trivial partial difference sets. We show that they are the union of some cyclotomic cosets and so correspond to 2-class fusion schemes of a cyclotomic scheme. We also present a further construction giving non-trivial PDSs from certain p-ary functions which are not bent functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we introduce a connection between partial difference sets and non-weakly regular bent functions.
Bent functions were first introduced by Rothaus in 1976 as Boolean functions having constant magnitude Walsh transform [16]. They have various applications including coding theory, cryptography and sequence designs. In [11], the authors generalized the notion of bent functions to the case of an arbitrary finite field. Unlike the binary case, not all bent functions are regular over finite field of odd characteristics. They are divided into three subclasses: regular, weakly regular and non weakly regular. Almost all known infinite families of bent functions are weakly regular. In [3], the authors gave a secondary construction method for weakly and non-weakly regular bent functions. This infinite family is called GMMF class. So far no primary constructions are known for non-weakly regular bent functions. There are only a few sporadic examples of non-weakly regular bent functions known not in GMMF class (see [6,7,8]).
Partial difference sets (see the Definition 2.1 in Section 2) have been studied extensively because of their connections with other combinatorial objects such as two-weight codes and strongly regular graphs. There are various constructions of partial difference sets in elementary abelian groups, for a brief survey see [12]. It is known that Cayley graphs such that their connection sets as are regular partial difference sets are strongly regular graphs (see the Definition 2.4 in Section 2).
One of the tools to construct partial difference sets are bent functions. In [18], the authors proved that pre-image sets of the ternary weakly regular even bent functions are partial difference sets. Shortly after, this result is generalized to arbitrary odd characteristics in [5]. As far as we know, no one introduced a relation between non-weakly regular bent functions and partial difference sets. In this paper, we study the two special subsets of a finite field of odd characteristics associated with the non-weakly regular bent functions which are introduced by the authors in [15]. As a corollary of Proposition 3.1, we prove that if the corresponding subsets of non-weakly regular even bent functions in GMMF class are partial difference sets then they are trivial. On the other hand, we analyze these two subsets associated with the two sporadic examples of ternary non-weakly regular bent functions which are introduced in [6, 8]. By using Magma, we observe that those subsets are non-trivial partial difference sets and they are the union of the cyclotomic cosets with certain parameters. As a consequence of this, they are 2-class fusion schemes of some cyclotomic association schemes (see the definitions in Section 2) with certain parameters. We also present a further construction giving non-trivial PDSs from certain p-ary functions which are not bent functions.
This paper is organized as follows: In Section 2, we give some mathematical background. In Section 3, we prove that if the two special subsets associated with the non-weakly regular even bent functions in GMMF class are partial difference sets then they are trivial. In Section 4, we analyze the corresponding subsets of the two sporadic examples of ternary non-weakly regular bent functions. Our further construction giving non-trivial PDSs from certain p-ary functions which are not bent functions is also given in Section 4. We conclude in Section 5.
2 Mathematical background
Let p be an odd prime and \(\mathbb {F}_{p^{n}}\) the finite field of order pn. Since it is a vector space of dimension n over \(\mathbb {F}_{p}\), we also use the notation \(\mathbb {F}_{p}^{n}\) which consists of n-tuples of the prime field \(\mathbb {F}_{p}\). Let f be a function from \(\mathbb {F}_{p}^{n}\) to \(\mathbb {F}_{p}\). The Walsh transform of f at \(\alpha \in \mathbb {F}_{p}^{n}\) is defined as a complex valued function \(\hat {f}\) on \(\mathbb {F}_{p}^{n},\)
where \( \epsilon _{p}=e^{\frac {2\pi i}{p}}\) and α.x denotes the usual dot product in \(\mathbb {F}_{p}^{n}\).
The function f is called bent function if \(|{\hat {f}(\alpha )}|=p^{n/2}\) for all \(\alpha \in \mathbb {F}_{p}^{n}\). The normalized Walsh coefficient of a bent function f at α is defined by \(p^{-n/2}\hat {f}(\alpha )\). The normalized Walsh coefficients of a bent function f are characterized in [11] as follows:
where f∗ is a function from \(\mathbb {F}_{p}^{n} \) to \(\mathbb {F}_{p}\), which is called the dual of f.
A bent function \(f:\mathbb {F}_{p}^{n}\rightarrow \mathbb {F}_{p}\) is called regular if for all \(\alpha \in \mathbb {F}_{p}^{n}\), we have
and is called weakly regular if for all \(\alpha \in \mathbb {F}_{p}^{n}\), we have
where ξ ∈{± 1,±i} is independent from α, otherwise it is called non-weakly regular.
Let B+(f) and B−(f) be the partitions of \({\mathbb {F}_{p}^{n}}\) given by
where ξ = 1 if pn ≡ 1 (mod 4) and ξ = i if pn ≡ 3 (mod 4) (see [15]). We use the notation \(B_{+}^{\star }(f)\) (respectively \(B_{-}^{\star }(f)\)) for the non-zero elements of the corresponding sets. Any bent function \(f:\mathbb {F}_{p^{n}}\rightarrow \mathbb {F}_{p}\) is of two types (see [15]).
A function \(f:\mathbb {F}_{p}^{n}\rightarrow \mathbb {F}_{p}\) is called s-plateaued if \(|{\hat {f}(\alpha )}|=p^{\frac {n+s}{2}} \text {or} 0\) for all \(\alpha \in \mathbb {F}_{p}^{n}\). The Walsh spectrum of s-plateaued functions is given as follows (see [9]),
The regularity and duality are also defined for s-plateaued functions in [13]. Moreover, the definitions of the sets B+(f) and B−(f) for a plateaued function f is given in [15] similarly. We denote the support of \(\hat {f}\) by \(\text {Supp}(\hat {f})\) and it is defined as \(\text {Supp}(\hat {f}):=\{\alpha :\alpha \in \mathbb {F}_{p}^{n}\mid \hat {f}(\alpha )\ne 0 \}\). For \(v\in \mathbb {F}_{p}^{n}\) let Dvf be the derivative function \(D_{v}f(x):\mathbb {F}_{p^{n}}\rightarrow \mathbb {F}_{p}\) given by Dvf(x) = f(x + v) − f(x). A function \(f:\mathbb {F}_{p}^{n}\rightarrow \mathbb {F}_{p}\) is called partially bent if the following property holds: For \(v\in \mathbb {F}_{p^{n}}\), if the derivative function \(D_{v}f: \mathbb {F}_{p^{n}}\rightarrow \mathbb {F}_{p}\) is not balanced then Dvf is a constant function. Note that partially bent functions are special subclass of plateaued functions, and most of the known plateaued functions are partially bent. In the literature, only a few construction methods for plateaued but not partially bent functions are known, for example, see [20].
Definition 2.1 (Partial Difference Sets)
Let G be a group of order v and D be a subset of G with k elements. Then D is called a (v,k,λ,μ)- PDS in G if the expressions g − h, for g and h in D with g≠h, represent each non-identity element in D exactly λ times and represent each non-identity element not in D exactly μ times.
Definition 2.2 (Cayley Graph)
Let G be a finite abelian group and D be a subset of G such that 0∉D andD = −D. Let E be the set defined as {(x,y)|x,y ∈ G,x − y ∈ D}. Then, (G,E) is called a Cayley graph, and denoted by Cay(G,D).
Here, D is called the connection set of (G,E). A PDS is called regular if e∉D and D− 1 = D. A subset D of G is called trivial if either D ∪{e} or G/D ∪{e} is a subgroup of G. It is equivalent to saying that the Cayley graph generated by D ∖{e} is a union of complete graphs or its complement. Otherwise, D is called non-trivial.
Proposition 2.1
[12, Propostion 1.5] Let D be a regular (v,k,λ,μ) − PDS with D≠G ∖{e}. Then D is nontrivial if and only if 1 ≤ μ ≤ k − 1.
Remark 2.1
μ = 0 implies that that D ∪{e} is a subgroup of G. The other case μ = k implies that D is equal G/H for some subgroup H of G.
Definition 2.3 (Strongly Regular Graphs)
A graph Γ with v vertices is said to be a (v,k,λ,μ) − strongly regular graph if
- (1)
it is regular of valency k, i.e., each vertex is joined to exactly k other vertices;
- (2)
any two adjacent vertices are both joined to exactly λ other vertices and two non-adjacent vertices are both joined to exactly μ other vertices.
Proposition 2.2
[12, Propostion 1.5] A Cayley graph Γ, generated by a subset D of the regular automorphism group G, is a strongly regular graph if and only if D is a regular PDS in G.
Definition 2.4 (Association scheme )
Let V be a finite set of vertices, and let \(\{R_{0},R_{1},\dots ,R_{d}\}\) be binary relations on V with R0 := {(x,x) : x ∈ V }. The configuration \((V ;R_{0},R_{1},\dots ,R_{d} )\) is called an association scheme of class d on V if the following holds:
- (1)
\( V\times V = R_{0}\cup R_{1}\cup \dots \cup R_{d}\) and Ri ∩ Rj = ∅ for i≠j.
- (2)
\( {R_{i}^{t}} = R_{i^{\prime }}\) for some \(i^{\prime } \in \{0,1,\dots ,d\}\), where \( {R_{i}^{t}} := \{(x,y) | (y,x)\in R_{i}\}\). If \(i^{\prime } = i\), we call Ri is symmetric.
- (3)
For \(i,j,k\in \{0,1,\dots ,d\}\) and for any pair (x,y) ∈ Rk, the number #{z ∈ V |(x,z) ∈ Ri,and(z,y) ∈ Rj} is a constant, which is denoted by \(p^{k}_{ij}\).
Definition 2.5 (Translation Scheme)
Let Γi := (G,Ei),1 ≤ i ≤ d, be Cayley graphs on an abelian group G, and Di be connection sets of (G,Ei) with D0 := {0}. Then, \((G, \{D_{i}\}^{d}_{i=0})\) is called a translation scheme if \((G, \{{\Gamma }_{i}\}^{d}_{i=0})\) is an association scheme.
Given a d-class translation scheme \((X, \{R_{i}\}^{d}_{i=0})\), we can take unions of classes to form graphs with larger edge sets which is called a fusion.
Remark 2.2 (Fusion Scheme)
Note that if the fusion gives a translation scheme again, it is called fusion scheme. However, it is not the case every time.
Definition 2.6 (Cyclotomic Scheme)
Let \(\mathbb {F}_{q}\) be the finite field of order q, \(\mathbb {F}_{q}^{\star }\) be the multiplicative group of \(\mathbb {F}_{q},\) and S be a subgroup of \(\mathbb {F}_{q}^{\star }\) s.t. S = −S. The partition \(\mathbb {F}_{q}\) by {0} and the multipicative cosets of S gives a translation scheme on \((\mathbb {F}_{q}, +)\), called a cyclotomic scheme.
Each coset (called a cyclotomic coset) of \(\mathbb {F}_{q}^{\star }\setminus S\) is expressed as
where N|q − 1 is a positive integer and w is a fixed primitive element of \(\mathbb {F}_{q}^{\star }\).
3 Partial difference sets associated with non-weakly regular GMMF bent functions are trivial
Let p be an odd prime and \(F:\mathbb {F}_{p}^{n}\times \mathbb {F}_{p}^{s}\rightarrow \mathbb {F}_{p}\) be the map \((x,y)\rightarrow f_{y}(x),\) where \(f_{y}:\mathbb {F}_{p}^{n}\rightarrow \mathbb {F}_{p}\) is an s-plateaued function for each \(y\in \mathbb {F}_{p}^{s}\) such that \(\text {Supp}(\hat {f_{i}})\cap \text {Supp}(\hat {f_{j}})=\emptyset \) for i≠j, \(i,j\in \mathbb {F}_{p}^{s}\). In [3], the authors showed that F is a bent function. They use s-partially bent functions with disjoint supports to obtain plateaued functions.
Remark 3.1
In fact, it is not easy to find s-plateaued but not partially bent functions with disjoint supports. The plateaued functions fa used in [3] can be obtained easily by adding a linear term to a bent function f, i.e. \(f_{a}: \mathbb {F}_{p}^{n-s}\times \mathbb {F}_{p}^{s}\rightarrow \mathbb {F}_{p}\) such that fa(x,y) = f(x) + a.y, where \(f:\mathbb {F}_{p}^{n-s}\rightarrow \mathbb {F}_{p}\), \(a\in \mathbb {F}_{p}^{s}\). Then \(supp(\hat {f_{i}})\cap supp(\hat {f_{j}})\) becomes the empty set for all \(i,j\in \mathbb {F}_{p}^{s}\).
The bent functions of the form F(x,y) = fy(x) are called GMMF (Generalized Maiorana-McFarland). The Walsh transform of F at (α,β) is given by
where y0 is the unique element of \(\mathbb {F}_{p}^{s}\) such that \(\alpha \in supp(\widehat {f_{y_{0}}})\). Then we have,
which follows from \(\widehat {f_{y_{0}}}(\alpha )=\xi _{\alpha }p^{\frac {n+s}{2}}\epsilon _{p}^{(f_{y_{0}})^{*}(\alpha )},\) where ξα ∈{± 1,±i}.
Observation
F is weakly regular if fy is weakly regular s-plateaued with the same sign for all \(y\in \mathbb {F}_{p}^{s}\) in their non-zero Walsh coefficients. F is non-weakly regular bent if fy is weakly regular s-plateaued for all \(y\in \mathbb {F}_{p}^{s}\) and there are \(y_{1},y_{2}\in \mathbb {F}_{p}^{s}\) such that \(f^{(y_{1})}\) and \(f^{(y_{2})}\) have opposite signs in their non-zero Walsh coefficients or there exists \(y\in \mathbb {F}_{p}^{s}\) such that fy is non-weakly regular s-plateaued.
Let us partition weakly regular s-plateaued functions into two subclasses as fy is in subclass (+) if its non-zero Walsh coefficients are positive, and in subclass (−) if its non-zero Walsh coefficients are negative. Let F ∈ GMMF be a non-weakly regular bent function with F(x) = F(−x). Next, we determine the structure of the sets B+(F) and B−(F) in two different cases.
Case 1 (fyis weakly regulars-plateauedfor all \(\mathbf {y\in \mathbb {F}_{p}^{s}}\))
By the observation above, one can partition \(\mathbb {F}_{p}^{s}\) into two subsets as \(W^{+}(F):=\{y: y \in \mathbb {F}_{p}^{s} | f_{y} \text {is in subclass} (+)\}\) and \(W^{-}(F):=\{y: y\in \mathbb {F}_{p}^{s} | f_{y} \text {is in subclass} (-)\},\) where \(F:\mathbb {F}_{p}^{n}\times \mathbb {F}_{p}^{s}\rightarrow \mathbb {F}_{p}\) is given by F(x,y) = fy(x). Then by the (1) we deduce that
Case 2 (fyis non-weakly regulars-plateauedfor some \(\mathbf {y\in \mathbb {F}_{p}^{s}}\))
Let W+(F),W−(F) be as in the Case 1, and \(W_{0}:=\{y: y\in \mathbb {F}_{p}^{s}| f_{y} \text {is non-weakly regular} s\textit {-plateaued}\}\). Again by the (1) we have
Remark 3.2
In Cases 1 and 2; the sets B+(F) and B−(F) can be viewed as a union of some cosets of the subgroup \(\{0\}\times \mathbb {F}_{p}^{s}\) in \(\mathbb {F}_{p}^{n}\times \mathbb {F}_{p}^{s}\).
Proposition 3.1
Let H be a subgroup of \(\mathbb {F}_{p^{n}}\) and K be one of its complement in \(\mathbb {F}_{p^{n}},\) i.e. H ∩ K = {0} and \(H\oplus K=\mathbb {F}_{p^{n}}\). Let L be a proper subset of K such that 0∉L and for each v ∈ L, − v is also in L. Let \(D=\bigcup _{v\in L}(H+v)\). If D is a PDS in \(\mathbb {F}_{p^{n}},\) then it is trivial.
Proof
Since 0∉L, we have 0∉D, and \(H\subset \mathbb {F}_{p}^{n}\setminus D\). Since for v ∈ L, − v is also in L, we have D = −D. Assume that D is a (pn,kr,λ,μ) PDS where #H = k, #L = r. Since \(H\subset \mathbb {F}_{p^{n}}\setminus D,\) every non-zero elements in H can be represented as x − y exactly μ times, for x≠y ∈ D. Let x≠y, x,y ∈ D. Let x = h1 + v1, y = h2 + v2, for some h1,h2 ∈ H and v1,v2 ∈ L, then we get x − y = (h1 − h2) + (v1 − v2). Clearly, if v1≠v2 then x − y∉H. Hence x − y ∈ H if and only if x,y ∈ H + vj for some vj ∈ L. Let x = h1 + vj, y = h2 + vj. Then x − y = h1 − h2 ∈ H. Since H is a group, each non-zero h ∈ H can be expressed exactly k times by the differences h1 − h2 for h1,h2,∈ H. If h ∈ H; then for each vj ∈ L, h can be represented exactly k times as (h1 + vj) − (h2 + vj) for h1≠h2 ∈ H. Hence h can be expressed exactly #H#L = k.r times as the difference x − y for x≠y ∈ D. Therefore, μ = k.r, and by Proposition 2.1, we have D is a trivial PDS in \(\mathbb {F}_{p^{n}}\). □
Corallary 3.1
Let F ∈ GMMF such that F(x) = F(−x). If B+(F)(or equivalently B−(F)) is a PDS, then it is trivial.
Proof
The proof follows from the Cases 1,2 and Proposition 3.1. □
In the following example, we use a non-weakly regular ternary bent function (see [19]). In [3], the authors showed that it belongs to the GMMF class. By using Magma, we observe that the set B+(g3) is a subgroup of \(\mathbb {F}_{3^{3}}\). Hence, it is a trivial PDS in \(\mathbb {F}_{3^{3}}\). Moreover, in [4], the authors claim that g3 is self-dual bent. However, by Magma computations, we observe that the dual function \(g_{3}^{*}\) of g3 is indeed equal to − g3, and it is not self-dual.
Example 1
\(g_{3}:\mathbb {F}_{3^{3}}\rightarrow \mathbb {F}_{3}\), g3(x) = Tr3(x22 + x8) is non-weakly regular of Type (+ ).
\(B_{+}^{\star }(g_{3})\) is a (27,8,7,0)-PDS in \(\mathbb {F}_{3^{3}}\).
B−(g3) is a (27,18,9,18)-PDS in \(\mathbb {F}_{3^{3}}\).
Remark 3.3
By the Corollary 3.1 it follows that if neither \(\bigcup _{y \in W^{+}(F)}supp(\hat {f_{y}})\) nor \(\bigcup _{y \in W^{-}(F)}supp(\hat {f_{y}})\) is a subgroup of \(\mathbb {F}_{p^{n}},\) then neither B+(F) nor B−(F) is a PDS in \(\mathbb {F}_{p}^{n}\times \mathbb {F}_{p}^{s}\). Hence, we conclude that not all non-weakly regular bent functions of the form f(x) = f(−x) have the property that B+(f) or B−(f) is a partial difference set. It is interesting to determine certain conditions on those sets, so that they become non-trivial PDSs. To do this, in the following section we analyze the sets B+(f) and B−(f) associated with two of the known sporadic examples of ternary non-weakly regular bent functions.
4 Non-trivial PDSs from ternary non weakly regular bent functions
It is known that one of the tools to construct partial difference sets are bent functions. In [18], the authors proved that pre-image sets of the ternary weakly regular even bent functions are partial difference sets. Shortly after, this result is generalized to arbitrary odd characteristics in [5].
Let \(f:\mathbb {F}_{p^{m}}\rightarrow \mathbb {F}_{p}\) be a p-ary function, and \(D_{i}:=\{x: x \in \mathbb {F}_{p^{m}}| f(x)=i\}\). The following is due to [18]
Theorem 4.1
Let\(f:\mathbb {F}_{3^{2m}}\rightarrow \mathbb {F}_{3}\)be ternaryfunction satisfyingf(x) = f(−x), andf(0) = 0. Then f is weakly regularbent if and only ifD1andD2areboth
where 𝜖 = ± 1. Moreover, D0 ∖{0} is a
Later this result is generalized to arbitrary odd characteristic in [5] for the weakly regular bent functions from \(\mathbb {F}_{p^{2m}}\) to \(\mathbb {F}_{p}\) satisfying certain conditions. Namely, for a weakly regular bent function f the following subsets
are regular partial difference sets.
As far as we know, no one introduced a relation between non-weakly regular bent functions and partial difference sets. In this section, we examine to a relation between the set B+(f) (or equivalently B−(f)) and cyclotomic schemes by analyzing two known sporadic examples of non-weakly regular bent functions over \(\mathbb {F}_{3^{6}}\) (see [6, 8]). We observe that the sets B+(f) (or equivalently B−(f)) corresponding to these sporadic examples are non-trivial partial difference sets and they are fusion scheme of some cyclotomic schemes for certain parameters. Hence, this is a different relation from the previous ones in the sense of while the pre-image sets of some weakly regular bent functions give PDSs, the partition of \(\mathbb {F}_{p^{2m}}\) with respect to the sign of the Walsh transformation of some non-weakly regular bent functions also gives PDSs. For the following examples we have q = 729, and N = 13. Let w be a fixed primitive element of \(\mathbb {F}_{3^{6}}\). Let C0 be the multiplicative subgroup of \(\mathbb {F}_{3^{6}}\) generated by w13. For 1 ≤ i ≤ 12, Ci denotes the i-th cyclotomic coset of C0, and defined by Ci = wiC0.
Example 2
\(g_{1}:\mathbb {F}_{3^{6}}\rightarrow \mathbb {F}_{3}\), g1(x) = Tr6(w7x98) is non-weakly regular of Type (−). The dual of g1 is not bent and corresponding partial difference sets and strongly regular graphs are non-trivial.
B+(g1) is a (729,504,351,342)-PDS in \(\mathbb {F}_{3^{6}}\)
\(B_{-}^{\star }(g_{1})\) is a (729,224,62,71)-PDS in \(\mathbb {F}_{3^{6}}\)
By using Magma, we compute B+(g1) and B−(g1). We observe that \(B_{+}(g_{1})=\bigcup _{i\in \{0,3,5,6,7,8,9,11,12\}}C_{i}\) and \(B_{-}(g_{1})=\bigcup _{i \in \{1,2,4,10\}}C_{i}\). Hence B+(g1) and \(B_{-}^{\star }(g_{1})\) are 2-class fusion schemes and correspond to non-trivial strongly regular graphs.
Example 3
\(g_{5}:\mathbb {F}_{3^{6}}\rightarrow \mathbb {F}_{3}\), g5(x) = Tr6(w7x14 + w35x70) is non-weakly regular of Type (−). The dual of g5 is not bent. Corresponding partial difference sets are non-trivial.
B+(g5) is a (729,504,351,342)- regular PDS in \(\mathbb {F}_{3^{6}}\).
\(B_{-}^{\star }(g_{5})\) is a (729,224,62,71)- regular PDS in \(\mathbb {F}_{3^{6}}\).
Again by Magma computations we have, \(B_{+}(g_{5})=\bigcup _{i\in \{0,1,2,4,5,6,9,11,12\}}C_{i}\) and \(B_{-}(g_{5})=\bigcup _{i\in \{3,7,8,10\}}C_{i}\). Hence B+(g5) and \(B_{-}^{\star }(g_{5})\) are 2-class fusion schemes and correspond to non-trivial strongly regular graphs.
Remark 4.1
Non-trivial strongly regular graphs correspond to g1 and g5 are from a unital: projective 9 − ary[28,3] code with weights 24,27; VO−(6,3) affine polar graph (See, [2]).
In fact, these are not the only examples giving non-trivial strongly regular graph. We easily obtain different non-trivial partial difference sets on \(\mathbb {F}_{3^{6}}\) by preserving the images of the functions g1 and g5 on C0. For example the functions; h1(x) = Tr6(w7kx154) and h2(x) = Tr6(w7kx658) are non-weakly regular bent for any odd integer k. The corresponding subsets B−(h1) ∖{0} and B−(h2) ∖{0}) are (729,224,62,71)-PDSs in \(\mathbb {F}_{3^{6}}\). On the other hand if we take k even the Walsh transform of the corresponding functions h1 and h2 have the form;
as α runs through \(\mathbb {F}_{3^{6}}^{\star }\).
Let k be even, \(D:=\{\alpha : \alpha \in \mathbb {F}_{3^{6}}| \widehat {h_{i}}(\alpha )=0\}\). We observe that D is a (729,252,81,90)-PDS in \(\mathbb {F}_{3^{6}}\). The parameters of D are different than the parameters of Examples 2 and 3. Moreover as k is even hi is not a bent function. This gives a construction of non-trivial strongly regular graphs from certain p-ary functions which are not bent functions.
It is an interesting problem to determine fusion schemes of an N-class cyclotomic scheme on \(\mathbb {F}_{q}\). There are a lot of research papers devoted to this problem, for example, see [1, 10, 14, 17]. Moreover, another interesting problem is to find an explicit relation between non-weakly regular bent functions and 2-class fusion schemes of cyclotomic schemes.
5 Conclusion
We study two special subsets of the finite field of odd characteristics associated with non-weakly regular bent functions. We prove that if \(f:\mathbb {F}_{p}^{n}\rightarrow \mathbb {F}_{p}\) is non-weakly regular in GMMF class, and f(x) = f(−x), then B+(f) and B−(f) are partial difference sets if and only if they are trivial subsets. We analyze two sporadic examples of non-weakly regular ternary bent functions introduced in [6]. We observe a relation between certain cyclotomic association scheme and the subsets B+(f) (or equivalently B−(f)) associated with the two sporadic examples. We show that they are non-trivial partial difference sets and 2-class fusion scheme of that cyclotomic association scheme. We give a further construction of non-trivial strongly regular graphs from certain p-ary functions which are not bent functions. It would be interesting to characterize B+(f) and B−(f) explicitly in terms of fusions of cyclotomic schemes.
References
Bannai, E: Subschemes of some association schemes. J. Algebra 23(5), 874–883 (1991)
Brouwer, A.: Web database of strongly regular graphs. http://www.win.tue.nl/aeb/graphs/srg/srgtab.html (online)
Çesmelioğlu, A., Meidl, W., Pott, A.: Generalized Maiorana Mcfarland class and normality of p-ary bent functions. Finite Fields Appl. 24, 105–117 (2013)
Çesmelioğlu, A., Meidl, W., Pott, A.: On the dual of (non)-weakly regular bent functions and self-dual bent functions. Adv. Math. Commun. 7(4), 425–440 (2013)
Chee, T.Y.Z.X., Y.M.: Strongly regular graphs constructed from p-ary bent functions. J. Algebr. Comb., 34(2)
Helleseth, T., Kholosha, A.: Monomial and quadratic bent functions over the finite fields of odd characteristic. IEEE Trans. Inf. Theory 52(5), 2018–2032 (2006)
Helleseth, T., Kholosha, A.: New binomial bent functions over the finite fields of odd characteristic. In: 2010 IEEE International Symposium on Information Theory Proceedings (ISIT), pp 1277–1281. IEEE (2010)
Helleseth, T., Kholosha, A.: Crosscorrelation of m-sequences exponential sums bent functions and jacobsthal sums. Cryptogr. Commun. 3(4), 281–291 (2011)
Hyun, J.Y., Lee, J., Lee, Y.: Explicit criteria for construction of plateaued functions. IEEE Trans. Inf. Theory 62(12), 7555–7565 (2016)
Ikuta, T, Munemasa, A.: Pseudocyclic association schemes and strongly regular graphs. Europ. J. Combin. 31, 1513–1519 (2010)
Kumar, P., Scholtz, R.A., Welch, L.R.: Generalized bent functions and their properties. J. Combinatorial Theory Ser. A 40(1), 90–107 (1985)
Ma, S.: A survey of partial difference sets. Des. Codes Crypt. 4(4), 221–261 (1994)
Mesnager, S., Özbudak, F., Sınak, A.: Linear codes from weakly regular plateaued functions and their secret sharing schemes. Des Codes Cryptogr. 87(2-3), 463–480 (2019)
Muzychuk, M.: V-rings of permutation groups with Invariant Metric. Ph.D. Thesis, Kiev State University (1987)
Özbudak, F., Pelen, R.M.: Duals of non-weakly regular bent functions are not weakly regular and generalization to plateaued functions. Submitted
Rothaus, O.S.: On “bent” functions. J. Comb. Theory Series A 20(3), 300–305 (1976)
Feng, Q.X.T., Momihara, K.: Constructions of strongly regular Cayley graphs and skew Hadamard difference sets from cyclotomic classes. Combinatorica 35, 413–434 (2015)
Tan, Y., Pott, A., bent, T. Feng.: Strongly regular graphs associated with ternary functions. J. Combinatorial Theory Ser. A 117(6), 668–682 (2010)
Tan, Y., Yang, J., Zhang, X.: A recursive construction of p-ary bent functions which are not weakly regular. In: 2010 IEEE International Conference on Information Theory and Information Security (ICITIS), pp. 156–159 (2010)
Zheng, Y., Zhang, X.-M.: Plateaued functions. In: ICICS, vol. 99, pp 284–300. Springer (1999)
Acknowledgments
The authors extend thanks to the anonymous reviewers for their valuable comments and suggestions, which improved the quality and presentation of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the Topical Collection on Special Issue on Boolean Functions and Their Applications
Rights and permissions
About this article
Cite this article
Özbudak, F., Pelen, R.M. Strongly regular graphs arising from non-weakly regular bent functions. Cryptogr. Commun. 11, 1297–1306 (2019). https://doi.org/10.1007/s12095-019-00394-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12095-019-00394-2
Keywords
- Non weakly regular bent functions
- Partial difference sets
- Cyclotomic association schemes
- Fusion schemes
- Strongly regular graphs