On ZZt × ZZ2 2-cocyclic Hadamard matrices

A characterization of ZZt × ZZ22 -cocyclic Hadamard matrices is described, de- pending on the notions of distributions, ingredients and recipes. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2-coboundaries over ZZt × ZZ22 to use and the way in which they have to be combined in order to obtain a ZZt × ZZ22 -cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in [4] is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining ZZt × ZZ22 -cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, de- fine representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of diagrams. Let H be the set of cocyclic Hadamard matrices over ZZt × ZZ22 having a sym- metric diagram. We also prove that the set of Williamson type matrices is a subset of H of size |H| t .Junta de Andalucía FQM-01

A Generalised Hadamard Transform

A Generalised Hadamard Transform for multi-phase or multilevel signals is introduced, which includes the Fourier, Generalised, Discrete Fourier, Walsh-Hadamard and Reverse Jacket Transforms. The jacket construction is formalised and shown to admit a tensor product decomposition. Primary matrices under this decomposition are identified. New examples of primary jacket matrices of orders 8 and 12 are presented.Comment: To appear in the proceedings of the 2005 IEEE International Symposium on Information Theory, Adelaide, Australia, September 4-9, 200

Direct sums of balanced functions, perfect nonlinear functions, and orthogonal cocycles

Determining if a direct sum of functions inherits nonlinearity properties from its direct summands is a subtle problem. Here, we correct a statement by Nyberg on inheritance of balance and we use a connection between balanced derivatives and orthogonal cocycles to generalize Nyberg's result to orthogonal cocycles. We obtain a new search criterion for PN functions and orthogonal cocycles mapping to non-cyclic abelian groups and use it to find all the orthogonal cocycles over Z2t, 2 t 4. We conjecture that any orthogonal cocycle over Z2t, t 2, must be multiplicative

A polynomial approach to cocycles over elementary abelian groups

We derive bivariate polynomial formulae for cocycles and coboundaries in Z2(xs2124pn,xs2124pn), and a basis for the (pn-1-n)-dimensional GF(pn)-space of coboundaries. When p=2 we determine a basis for the $(2^n + {n\choose 2} -1)$-dimensional GF(2n)-space of cocycles and show that each cocycle has a unique decomposition as a direct sum of a coboundary and a multiplicative cocycle of restricted form

Equivalences of Zt×Z22-cocyclic Hadamard matrices

One of the most promising structural approaches to resolving the Hadamard Conjecture uses the family of cocyclic matrices over Zt × Z2 2. Two types of equivalence relations for classifying cocyclic matrices over Zt × Z2 2 have been found. Any cocyclic matrix equivalent by either of these relations to a Hadamard matrix will also be Hadamard. One type, based on algebraic relations between cocycles over any fi- nite group, has been known for some time. Recently, and independently, a second type, based on four geometric relations between diagrammatic visualisations of cocyclic matrices over Zt × Z2 2, has been found. Here we translate the algebraic equivalences to diagrammatic equivalences and show one of the diagrammatic equivalences cannot be obtained this way. This additional equivalence is shown to be the geometric translation of matrix transposition

Hermitian unitary matrices with modular permutation symmetry

We study Hermitian unitary matrices $\mathcal{S}\in\mathbb{C}^{n,n}$ with the following property: There exist $r\geq0$ and $t>0$ such that the entries of $\mathcal{S}$ satisfy $|\mathcal{S}_{jj}|=r$ and $|\mathcal{S}_{jk}|=t$ for all $j,k=1,\ldots,n$, $j\neq k$. We derive necessary conditions on the ratio $d:=r/t$ and show that these conditions are very restrictive except for the case when $n$ is even and the sum of the diagonal elements of $\S$ is zero. Examples of families of matrices $\mathcal{S}$ are constructed for $d$ belonging to certain intervals. The case of real matrices $\mathcal{S}$ is examined in more detail. It is demonstrated that a real $\mathcal{S}$ can exist only for $d=\frac{n}{2}-1$, or for $n$ even and $\frac{n}{2}+d\equiv1\pmod 2$. We provide a detailed description of the structure of real $\mathcal{S}$ with $d\geq\frac{n}{4}-\frac{3}{2}$, and derive a sufficient and necessary condition of their existence in terms of the existence of certain symmetric $(v,k,\lambda)$-designs. We prove that there exist no real $\mathcal{S}$ with $d\in\left(\frac{n}{6}-1,\frac{n}{4}-\frac{3}{2}\right)$. A parametrization of Hermitian unitary matrices is also proposed, and its generalization to general unitary matrices is given. At the end of the paper, the role of the studied matrices in quantum mechanics on graphs is briefly explained.Comment: revised version, 21 page

A simple construction of complex equiangular lines

A set of vectors of equal norm in $\mathbb{C}^d$ represents equiangular lines if the magnitudes of the inner product of every pair of distinct vectors in the set are equal. The maximum size of such a set is $d^2$, and it is conjectured that sets of this maximum size exist in $\mathbb{C}^d$ for every $d \geq 2$. We describe a new construction for maximum-sized sets of equiangular lines, exposing a previously unrecognized connection with Hadamard matrices. The construction produces a maximum-sized set of equiangular lines in dimensions 2, 3 and 8.Comment: 11 pages; minor revisions and comments added in section 1 describing a link to previously known results; correction to Theorem 1 and updates to reference

On the characterization of periodic generalized Horadam sequences

The Horadam sequence is a direct generalization of the Fibonacci numbers in the complex plane, which depends on a family of four complex parameters: two recurrence coefficients and two initial conditions. In this article a computational matrix-based method is developed to formulate necessary and sufficient conditions for the periodicity of generalized complex Horadam sequences, which are generated by higher order recurrences for arbitrary initial conditions. The asymptotic behaviour of generalized Horadam sequences generated by roots of unity is also examined, along with upper boundaries for the disc containing periodic orbits. Some applications are suggested, along with a number of future research directions

A new numerical scheme for solving system of Volterra integro-differential equation

In this article, we apply Genocchi polynomials to solve numerically a system of Volterra integro-differential equations. This is done by approximating functions using Genocchi polynomials and derivatives using Genocchi polynomials operational matrix of integer order derivative. Com-bining approximation with collocation method, the problem is reduced to a system of algebraic equations in terms of Genocchi coefficients of the unknown functions. By solving the Genocchi coefficients, we obtain good approximate functions of the exact solutions of the system. A few numerical examples show that our proposed Genocchi polynomials method achieves better accu-racy compared to some other existing methods