Two constructions of (v, (v − 1)/2, (v − 3)/2) difference families

In this article, two constructions of (v, (v ? 1)/2, (v ? 3)/2) difference families are presented. The first construction produces both cyclic and noncyclic difference families, while the second one gives only cyclic difference families. The parameters of the second construction are new. The difference families presented in this article can be used to construct Hadamard matrices. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 164–171, 2008     

Integrable Systems and Rank-One Conditions for Rectangular Matrices

We give a determinantal formula for tau functions of the KP hierarchy in terms of rectangular constant matrices A, B, and C satisfying a rank-one condition. This result is shown to generalize and unify many previous results of different authors on constructions of tau functions for differential and difference integrable systems from square matrices satisfying rank-one conditions. In particular, its explicit special cases include Wilson's formula for tau functions of the rational KP solutions in terms of Calogero–Moser Lax matrices and our previous formula for the KP tau functions in terms of almost-intertwining matrices.     

Perfect difference families,perfect difference matrices,and related combinatorial structures

The existence problems of perfect difference families with block size k, k=4,5, and additive sequences of permutations of length n, n=3,4, are two outstanding open problems in combinatorial design theory for more than 30 years. In this article, we mainly investigate perfect difference families with block size k=4 and additive sequences of permutations of length n=3. The necessary condition for the existence of a perfect difference family with block size 4 and order v, or briefly (v, 4,1)‐PDF, is v≡1(mod12), and that of an additive sequence of permutations of length 3 and order m, or briefly ASP (3, m), is m≡1(mod2). So far, (12t+1,4,1)‐PDFs with t<50 are known only for t=1,4−36,41,46 with two definiteexceptions of t=2,3, and ASP (3, m)'s with odd 3<m<200 are known only for m=5,7,13−29,35,45,49,65,75,85,91,95,105,115,119,121,125,133,135,145,147,161,169,175,189,195 with two definite exceptions of m=9,11. In this article, we show that a (12t+1,4,1)‐PDF exists for any t⩽1,000 except for t=2,3, and an ASP (3, m) exists for any odd 3<m<200 except for m=9,11 and possibly for m=59. The main idea of this article is to use perfect difference families and additive sequences of permutations with “holes”. We first introduce the concepts of an incomplete perfect difference matrix with a regular hole and a perfect difference packing with a regular difference leave, respectively. We show that an additive sequence of permutations is in fact equivalent to a perfect difference matrix, then describe an important recursive construction for perfect difference matrices via perfect difference packings with a regular difference leave. Plenty of perfect difference packings with a desirable difference leave are constructed directly. We also provide a general recursive construction for perfect difference packings, and as its applications, we obtain extensive recursive constructions for perfect difference families, some via incomplete perfect difference matrices with a regular hole. Examples of perfect difference packings directly constructed are used as ingredients in these recursive constructions to produce vast numbers of perfect difference families with block size 4. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 415–449, 2010     

Hadamard and Conference Matrices

We discuss new constructions of Hadamard and conference matrices using relative difference sets. We present the first example of a relative -difference set where n – 1 is not a prime power.     

Self-dual codes from orbit matrices and quotient matrices of combinatorial designs

In this paper we give constructions of self-orthogonal and self-dual codes, with respect to certain scalar products, with the help of orbit matrices of block designs and quotient matrices of symmetric (group) divisible designs (SGDDs) with the dual property. First we describe constructions from block designs and their extended orbit matrices, where the orbit matrices are induced by the action of an automorphism group of the design. Further, we give some further constructions of self-dual codes from symmetric block designs and their orbit matrices. Moreover, in a similar way as for symmetric designs, we give constructions of self-dual codes from SGDDs with the dual property and their quotient matrices.     

When does the inverse have the same sign pattern as the transpose?

By a sign pattern (matrix) we mean an array whose entries are from the set {+, –, 0}. The sign patterns A for which every real matrix with sign pattern A has the property that its inverse has sign pattern A ^T are characterized. Sign patterns A for which some real matrix with sign pattern A has that property are investigated. Some fundamental results as well as constructions concerning such sign pattern matrices are provided. The relation between these sign patterns and the sign patterns of orthogonal matrices is examined.     

A generalization of combinatorial designs and related codes

In this paper we study a certain generalization of combinatorial designs related to almost difference sets, namely the t-adesign, which was coined by Ding (Codes from difference sets, 2015). It is clear that 2-adesigns are partially balanced incomplete block designs which naturally arise in many combinatorial and statistical problems. We discuss some of their basic properties and give several constructions of 2-adesigns (some of which correspond to new almost difference sets and some to new almost difference families), as well as two constructions of 3-adesigns. We discuss basic properties of the incidence matrices and make an initial investigation into the codes which they generate. We find that many of the codes have good parameters in the sense they are optimal or have relatively high minimum distance.     

Complex Hadamard matrices

R. J. Turyn introduced complex Hadamard matrices and showed that if there is a complex Hadamard matrix of order c and a real Hadamard matrix of order h> > 1, then there is a real Hadamard matrix of order he. Previously, complex Hadamard matrices were only known for a few small orders and the orders for which symmetric conference matrices were known. These latter are known only to exist for orders which can be written as 1+a² +b² where a, b are integers. We give many constructions for new infinite classes of complex Hadamard matrices and show that they exist for orders 306,650, 870,1406,2450 and 3782: for the orders 650, 870, 2450 and 3782, a symmetric conference matrix cannot exist.     

Goethals–Seidel Difference Families with Symmetric or Skew Base Blocks

We single out a class of difference families which is widely used in some constructions of Hadamard matrices and which we call Goethals–Seidel (GS) difference families. They consist of four subsets (base blocks) of a finite abelian group of order v, which can be used to construct Hadamard matrices via the well-known Goethals–Seidel array. We consider the special class of these families in cyclic groups, where each base block is either symmetric or skew. We omit the well-known case where all four blocks are symmetric. By extending previous computations by several authors, we complete the classification of GS-difference families of this type for odd \(v<50\). In particular, we have constructed the first examples of so called good matrices, G-matrices and best matrices of order 43, and good matrices and G-matrices of order 45. We also point out some errors in one of the cited references.     

Construction of hyperdeterminants

Constructions of several multidimensional determinants for matrices in dimensions n = 2^m are described. With one exception, the constructions are facilitated by isomorphisms with rings of commutative hypercomplex numbers. Properties shared by the Cayley hyperdeterminant, such as the multiplicative property |AB|?=?|A||B|, are established and the degrees and homogeneity of the determinants are discussed. These considerations emphasize the close relationship between order 2 multidimensional matrices in dimension m and hypercomplex systems in dimension n = 2^m.     

Constructions of Group Divisible Designs

In this paper we present constructions for group divisible designs from generalized partial difference matrices. We describe some classes of examples.     

Multivariate subresultants using Jouanolou matrices

Earlier results expressing multivariate subresultants as ratios of two subdeterminants of the Macaulay matrix are extended to Jouanolou matrices. These matrix constructions are generalizations of the classical Macaulay matrices and involve matrices of significantly smaller size. Equivalence of the various subresultant constructions is proved. The resulting subresultant method improves the efficiency of previous methods to compute the solution of over-determined polynomial systems.     

Recursive constructions for difference matrices and relative difference families

We present a new recursive construction for difference matrices whose application allows us to improve some results by D. Jungnickel. For instance, we prove that for any Abelian p-group G of type (n₁, n₂, …, n_t) there exists a (G, p^e, 1) difference matrix with e = Also, we prove that for any group G there exists a (G, p, 1) difference matrix where p is the smallest prime dividing |G|. Difference matrices are then used for constructing, recursively, relative difference families. We revisit some constructions by M. J. Colbourn, C. J. Colbourn, D. Jungnickel, K. T. Phelps, and R. M. Wilson. Combining them we get, in particular, the existence of a multiplier (G, k, λ)-DF for any Abelian group G of nonsquare-free order, whenever there exists a (p, k, λ)-DF for each prime p dividing |G|. Then we focus our attention on a recent construction by M. Jimbo. We improve this construction and prove, as a corollary, the existence of a (G, k, λ)-DF for any group G under the same conditions as above. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 165–182, 1998     

Constructions of partitioned difference families

Partitioned difference families (PDFs) arise from constructions of optimum constant composition codes. In this paper, a number of infinite classes of PDFs are constructed, based on known cyclotomic difference families in GF(q). A general approach which obtains PDFs from difference packings and coverings in abelian group is also presented.     

Deterministic constructions of compressed sensing matrices

Compressed sensing is a new area of signal processing. Its goal is to minimize the number of samples that need to be taken from a signal for faithful reconstruction. The performance of compressed sensing on signal classes is directly related to Gelfand widths. Similar to the deeper constructions of optimal subspaces in Gelfand widths, most sampling algorithms are based on randomization. However, for possible circuit implementation, it is important to understand what can be done with purely deterministic sampling. In this note, we show how to construct sampling matrices using finite fields. One such construction gives cyclic matrices which are interesting for circuit implementation. While the guaranteed performance of these deterministic constructions is not comparable to the random constructions, these matrices have the best known performance for purely deterministic constructions.     

The cocyclic Hadamard matrices of order less than 40

In this paper all cocyclic Hadamard matrices of order less than 40 are classified. That is, all such Hadamard matrices are explicitly constructed, up to Hadamard equivalence. This represents a significant extension and completion of work by de Launey and Ito. The theory of cocyclic development is discussed, and an algorithm for determining whether a given Hadamard matrix is cocyclic is described. Since all Hadamard matrices of order at most 28 have been classified, this algorithm suffices to classify cocyclic Hadamard matrices of order at most 28. Not even the total numbers of Hadamard matrices of orders 32 and 36 are known. Thus we use a different method to construct all cocyclic Hadamard matrices at these orders. A result of de Launey, Flannery and Horadam on the relationship between cocyclic Hadamard matrices and relative difference sets is used in the classification of cocyclic Hadamard matrices of orders 32 and 36. This is achieved through a complete enumeration and construction of (4t, 2, 4t, 2t)-relative difference sets in the groups of orders 64 and 72.     

On some constructions of modular hadamard matrices

Some new constructions for modular Hadamard and Hadamard matrices are given. Incidentally, it is shown that the Williamson series of H-matrices can also be constructed by using modular Hadamard matrices and resolvable semi-regular group divisible designs.     

A weak difference set construction for higher dimensional designs

We continue the analysis of de Launey's modification of development of designs modulo a finite groupH by the action of an abelian extension function (AEF), and of the proper higher dimensional designs which result.We extend the characterization of allAEFs from the cyclic group case to the case whereH is an arbitrary finite abelian group.We prove that ourn-dimensional designs have the form (f(j ₁ j ₂ ...j _n )) (j _i J), whereJ is a subset of cardinality |H| of an extension groupE ofH. We say these designs have a weak difference set construction.We show that two well-known constructions for orthogonal designs fit this development scheme and hence exhibit families of such Hadamard matrices, weighing matrices and orthogonal designs of orderv for which |E|=2v. In particular, we construct proper higher dimensional Hadamard matrices for all orders 4t100, and conference matrices of orderq+1 whereq is an odd prime power. We conjecture that such Hadamard matrices exist for all ordersv0 mod 4.     

Bent Functions, Partial Difference Sets, and Quasi-Frobenius Local Rings

Bent functions andpartial difference sets have been constructed from finite principalideal local rings. In this paper, the constructions are generalizedto finite quasi-Frobenius local rings. Let R bea finite quasi-Frobenius local ring with maximal ideal M.Bent functions and certain partial difference sets on M } M are extended to R } R.     

Quasiperiodic spectra and orthogonality for iterated function system measures

We extend classical basis constructions from Fourier analysis to attractors for affine iterated function systems (IFSs). This is of interest since these attractors have fractal features, e.g., measures with fractal scaling dimension. Moreover, the spectrum is then typically quasi-periodic, but non-periodic, i.e., the spectrum is a “small perturbation” of a lattice. Due to earlier research on IFSs, there are known results on certain classes of spectral duality-pairs, also called spectral pairs or spectral measures. It is known that some duality pairs are associated with complex Hadamard matrices. However, not all IFSs X admit spectral duality. When X is given, we identify geometric conditions on X for the existence of a Fourier spectrum, serving as the second part in a spectral pair. We show how these spectral pairs compose, and we characterize the decompositions in terms of atoms. The decompositions refer to tensor product factorizations for associated complex Hadamard matrices. Research supported in part by a grant from the National Science Foundation DMS-0704191.