arXiv++ Combinatorics

In this paper, we prove the conjecture posed by Keller and Rosemarin at Eurocrypt 2021 on the nullity of a matrix polynomial of a block matrix with Hadamard type blocks over commutative rings of characteristic 2. Therefore, it confirms the conjectural optimal bound on the dimension of invariant subspace of the Starkad cipher using the HADES design strategy. Moreover, we reveal the algebraic structure formed by Hadamard matrices over commutative rings from the perspectives of group algebra and polynomial algebra. An interesting relation between block-Hadamard matrices and Hadamard-block matrices is obtained as well.

In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent work of N. Li, X. Tang and T. Helleseth.

Bent functions are of great importance in both mathematics and information science. The $\mathcal{P}\mathcal{S}$ class of bent functions was introduced by Dillon in 1974, but functions belonging to this class that can be explicitly represented are only the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions, which were also constructed by Dillon after his introduction of the $\mathcal{P}\mathcal{S}$ class. In this paper, a technique of using finite pre-quasifield spread from finite geometry to construct $\mathcal{P}\mathcal{S}$ bent functions is proposed. The constructed functions are in similar styles with the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions. To explicitly represent them in bivariate forms, the main task is to compute compositional inverses of certain parametric permutation polynomials over finite fields of characteristic 2. Concentrated on the Dempwolff-Müller pre-quasifield, the Knuth pre-semifield and the Kantor pre-semifield, three new subclasses of the $\mathcal{P}\mathcal{S}$ class are obtained. They are the only sub-classes that can be explicitly constructed more than 30 years after the $\mathcal{P}\mathcal{S}_{\text{ap}}$ subclass was introduced.

In this paper, we propose a new construction of quadratic bent functions in polynomial forms. Right Euclid algorithm in skew-polynomial rings over finite fields of characteristic 2 is applied in the proof.

In this paper, the compositional inverses of a class of linearized permutation polynomials of the form $P(x)=x+x^2+\tr(\frac{x}{a})$ over the finite field $\mathbb{F}_{2^n}$ for an odd positive integer $n$ are explicitly determined.

A class of bilinear permutation polynomials over a finite field of characteristic 2 was constructed in a recursive manner recently which involved some other constructions as special cases. We determine the compositional inverses of them based on a direct sum decomposition of the finite field. The result generalizes that in [R.S. Coulter, M. Henderson, The compositional inverse of a class of permutation polynomials over a finite field, Bull. Austral. Math. Soc. 65 (2002) 521-526].

The complexity of dual basis of a type I optimal normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$ was determined to be $3n-3$ or $3n-2$ according as $q$ is even or odd, respectively, by Z.-X. Wan and K. Zhou in 2007. We give a new proof to this result by clearly deriving the dual of a type I optimal normal basis with the aid of a lemma on the dual of a polynomial basis.