Formal orthogonal pairs via monomial representations and cohomology

zbMATH Open1447.05042arXiv2006.01197MaRDI QIDQ2199864FDOQ2199864

Ilias S. Kotsireas, Assaf Goldberger

Publication date: 14 September 2020

Published in: Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Abstract: A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $A{B}^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology groups. This construction has strong connections to the theory of Association Schemes and (weighted) Coherent Configurations. Our techniques are also capable for producing (anti-) amicable pairs. A handful of examples are given.

Full work available at URL: https://arxiv.org/abs/2006.01197

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• On the amicability of orthogonal designs
• scientific article
• Constructions of primitive formally dual pairs having subsets with unequal sizes
• Some results on orthogonal designs and Hadamard matrices
• A direct construction of primitive formally dual pairs having subsets with unequal sizes

zbMATH Keywords

representation theoryHadamard matricesgroup cohomologycoherent configurations

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Association schemes, strongly regular graphs (05E30) Combinatorial aspects of matrices (incidence, Hadamard, etc.) (05B20)

Cites Work

• The Magma algebra system. I: The user language
• Hadamard matrices and their applications
• Coherent configurations. I: Ordinary representation theory
• Title not available (Why is that?)
• Hadamard matrices and their applications: progress 2007--2010
• Title not available (Why is that?)
• The cocyclic Hadamard matrices of order less than 40
• Title not available (Why is that?)
• Homological models for semidirect products of finitely generated Abelian groups.
• Coherent configurations. II: Weights
• Title not available (Why is that?)
• Gröbner bases and cocyclic Hadamard matrices
• Orthogonal Designs

Cited In (1)

• Cohomology-developed matrices: constructing families of weighing matrices and automorphism actions

Uses Software

• Magma

This page was built for publication: Formal orthogonal pairs via monomial representations and cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199864)