arXiv++ Combinatorics

In this paper, we are concerned about optimal two-dimensional optical orthogonal codes with $λ$ = 2. Some combinatorial constructions are presented and many infinite families of optimal two-dimensional optical orthogonal codes with weight 4 and $λ$ = 2 are obtained. Especially, we shall see that in many cases an optimal two-dimensional optical orthogonal code can not achieve the Johnson bound.

Let $p$ be an odd prime and $\F_q$ be the finite field with $q=p^n$ elements. A planar function $f:\F_q\rightarrow\F_q$ is called homogenous if $f(λx)=λ^df(x)$ for all $λ\in\F_p$ and $x\in\F_q$, where $d$ is some fixed positive integer. We characterize $x^2$ as the unique homogenous planar function over $\F_{p^2}$ up to equivalence.

It is well-known that translation schemes on prime number of vertices are exactly the cyclotomic schemes. In this current paper, we show that there are no nonsymmetric primitive translation schemes on prime square vertices with at most four classes. On the other hand, we find new non-symmetric four- and five-class association schemes from cyclotomy as fission schemes of certain symmetric three-class schemes. Moreover, we provide an affirmative answer to the following question raised by Song \cite{song_2}: Are there any other two-class primitive schemes that admit symmetrizable fission schemes besides the cyclotomic scheme of index 2 for $q \equiv5 \pmod{8}$? To be more specific, we show that a certain two-class primitive scheme in the finite field $\F_{37^3}$ constructed by Feng and Xiang in \cite{fx} admits a four-class fission scheme. This fission scheme is realized as a fusion scheme of the cyclotomic scheme of index 28.

Planar functions in odd characteristic were introduced by Dembowski and Ostrom in order to construct finite projective planes in 1968. They were also used in the constructions of DES-like iterated ciphers, error-correcting codes, and signal sets. Recently, a new notion of pseudo-planar functions in even characteristic was proposed by Zhou. These new pseudo-planar functions, as an analogue of planar functions in odd characteristic, also bring about finite projective planes. There are three known infinite families of pseudo-planar monomial functions constructed by Schmidt and Zhou, and Scherr and Zieve. In this paper, three new classes of pseudo-planar binomials are provided. Moreover, we find that each pseudo-planar function gives an association scheme which is defined on a Galois ring.

In this paper we discuss the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When n=3, a 3-SCHGDD of type (3,m^t) is equivalent to a (3,mt;m)-cyclic holey difference matrix, denoted by a (3,mt;m)-CHDM. It is shown that there is a (3,mt;m)-CHDM if and only if (t-1)m\equiv 0 (mod 2) and t\geq 3 with the exception of m\equiv 0 (mod 2) and t=3. When n\geq 4, the case of t odd is considered. It is established that if t\equiv 1 (mod 2) and n\geq 4, then there exists a 3-SCHGDD of type (n,m^t) if and only if t\geq 3 and (t-1)n(n-1)m\equiv 0 (mod 6) with some possible exceptions of n=6 and 8. The main results in this paper have been used to construct optimal two-dimensional optical orthogonal codes with weight 3 and different auto- and cross-correlation constraints by the authors recently.

The known families of difference sets can be subdivided into three classes: difference sets with Singer parameters, cyclotomic difference sets, and difference sets with gcd$(v,n)>1$. It is remarkable that all the known difference sets with gcd$(v,n)>1$ have the so-called character divisibility property. In 1997, Jungnickel and Schmidt posed the problem of constructing difference sets with gcd$(v,n)>1$ that do not satisfy this property. In an attempt to attack this problem, we use difference sets with three nontrivial character values as candidates, and get some necessary conditions.

In this paper, we make some progress towards a well-known conjecture on the minimum weights of binary cyclic codes with two primitive nonzeros. We also determine the Walsh spectrum of $\Tr(x^d)$ over $\F_{2^{m}}$ in the case where $m=2t$, $d=3+2^{t+1}$ and $\gcd(d, 2^{m}-1)=1$.

The determination of weight distribution of cyclic codes involves evaluation of Gauss sums and exponential sums. Despite of some cases where a neat expression is available, the computation is generally rather complicated. In this note, we determine the weight distribution of a class of reducible cyclic codes whose dual codes may have arbitrarily many zeros. This goal is achieved by building an unexpected connection between the corresponding exponential sums and the spectrums of Hermitian forms graphs.

In this paper, we construct an infinite series of 9-class association schemes from a refinement of the partition of Delsarte-Goethals codes by their Lee weights. The explicit expressions of the dual schemes are determined through direct manipulations of complicated exponential sums. As a byproduct, the other three infinite families of association schemes are also obtained as fusion schemes and quotient schemes.

We give three constructions of three-class association schemes as fusion schemes of the cyclotomic scheme, two of which are primitive

In this paper, we present constructions of abelian Paley type group schemes by using multiplicative characters of finite fields and Arasu-Dillon-Player difference sets. The constructions produce many new Paley type group schemes that were previous unknown in our classification of Paley type group schemes in finite fields of small orders.

In this paper the fine triangle intersection problem for a pair of maximum kite packings is investigated. Let $Fin(v)={(s,t):$ $\exists$ a pair of maximum kite packings of order $v$ intersecting in $s$ blocks and $s+t$ triangles$}$. Let $Adm(v)={(s,t): s+t\leq b_v, s,t$ are non-negative integers$}$, where $b_v=\lfloor v(v-1)/8\rfloor$. It is established that $Fin(v)= Adm(v)\setminus {(b_v-1,0),(b_v-1,1)}$ for any integer $v\equiv 0,1 ({\rm mod} 8)$ and $v\geq 8$; $Fin(v)=Adm(v)$ for any integer $v\equiv 2,3,4,5,6,7 ({\rm mod} 8)$ and $v\geq 4$.

The duals of cyclic codes with two zeros have been extensively studied, and their weight distributions have recently been evaluated in some cases. In this note, we determine the weight distribution of a certain new class of such codes by computations involving index 2 Gauss sums.

In this paper, we give a construction of strongly regular Cayley graphs and a construction of skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and they generalize the constructions given by Feng and Xiang \cite{FX111,FX113}. Three infinite families of strongly regular graphs with new parameters are obtained. The main tools that we employed are index 2 Gauss sums, instead of cyclotomic numbers.

We revisit the old idea of constructing difference sets from cyclotomic classes. Two constructions of skew Hadamard difference sets are given in the additive groups of finite fields using unions of cyclotomic classes of order $N=2p_1^m$, where $p_1$ is a prime and $m$ a positive integer. Our main tools are index 2 Gauss sums, instead of cyclotomic numbers.

We construct twelve infinite families of pseudocyclic and non-amorphic association schemes, in which each nontrivial relation is a strongly regular graph. Three of the twelve families generalize the counterexamples to A. V. Ivanov's conjecture by Ikuta and Munemasa [15].

We give two constructions of strongly regular Cayley graphs on finite fields $\F_q$ by using union of cyclotomic classes and index 2 Gauss sums. In particular, we obtain twelve infinite families of strongly regular graphs with new parameters.

In this paper it is established that a decomposition of a 3-uniform hypergraph K_v^{(3)} into a special kind of hypergraph K_4^{(3)}+e exists if and only if v\equiv 0,1,2 (mod 5) and v\geq 7.

We generalize the construction of affine polar graphs in two different ways to obtain new partial difference sets and amorphic association schemes. The first generalization uses a combination of quadratic forms and uniform cyclotomy. In the second generalization we replace the quadratic form in the affine polar graph construction by higher degree homogeneous functions that are $p$-ary weakly regular bent. The negative Latin square type partial difference sets arising from the first generalization are new.

Let G be a finite abelian group with |G|>1. Let a_1,...,a_k be k distinct elements of G and let b_1,...,b_k be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation $π$ on {1,...,k} such that a_1b_{π(1)},...,a_kb_{π(k)} are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.