Table of Contents
Fetching ...

A universal theory of switching for combinatorial objects, and applications to complex Hadamard matrices

Dean Crnković, Ronan Egan, Andrea Švob

TL;DR

This paper unifies diverse switching notions under a universal framework and extends Orrick’s real-Hadamard switching to Butson and complex Hadamard matrices. It develops a general switching theory with rank-1 and rank-2 constructions, including Fourier-set and generalized Hall-set switchings, enabling new inequivalent BH and CH matrices and illuminating trades. The results connect switching with spectral, combinatorial, and design-theoretic concepts, offering tools for classification and construction of complex Hadamard families and addressing open questions on trade sizes. The work has implications for quantum information (e.g., mutually unbiased bases) and combinatorial matrix theory, providing a versatile methodology for generating and distinguishing inequivalent Hadamard objects.

Abstract

The concept of switching has arisen in several different areas within combinatorics. The act of switching usually transforms a combinatorial object into a non-isomorphic object of the same type, in a way that some key property is preserved. Godsil-McKay switching of graphs preserves the spectrum, switching of designs preserves their parameters, and switching of binary codes preserves the minimum distance. For Hadamard matrices, the switching techniques introduced by Orrick proved to be an incredibly powerful tool when enumerating the Hadamard matrices of order $32$. In this paper, we introduce a universal definition of switching that can be adapted to incorporate these known types of switching. Through this language, we extend Orrick's methods to Butson Hadamard and complex Hadamard matrices. We introduce switchings of these matrices that can be used to construct new, inequivalent matrices. We also consider the concept of trades in complex Hadamard matrices in this terminology, and address an open problem on the permissible size of a trade.

A universal theory of switching for combinatorial objects, and applications to complex Hadamard matrices

TL;DR

This paper unifies diverse switching notions under a universal framework and extends Orrick’s real-Hadamard switching to Butson and complex Hadamard matrices. It develops a general switching theory with rank-1 and rank-2 constructions, including Fourier-set and generalized Hall-set switchings, enabling new inequivalent BH and CH matrices and illuminating trades. The results connect switching with spectral, combinatorial, and design-theoretic concepts, offering tools for classification and construction of complex Hadamard families and addressing open questions on trade sizes. The work has implications for quantum information (e.g., mutually unbiased bases) and combinatorial matrix theory, providing a versatile methodology for generating and distinguishing inequivalent Hadamard objects.

Abstract

The concept of switching has arisen in several different areas within combinatorics. The act of switching usually transforms a combinatorial object into a non-isomorphic object of the same type, in a way that some key property is preserved. Godsil-McKay switching of graphs preserves the spectrum, switching of designs preserves their parameters, and switching of binary codes preserves the minimum distance. For Hadamard matrices, the switching techniques introduced by Orrick proved to be an incredibly powerful tool when enumerating the Hadamard matrices of order . In this paper, we introduce a universal definition of switching that can be adapted to incorporate these known types of switching. Through this language, we extend Orrick's methods to Butson Hadamard and complex Hadamard matrices. We introduce switchings of these matrices that can be used to construct new, inequivalent matrices. We also consider the concept of trades in complex Hadamard matrices in this terminology, and address an open problem on the permissible size of a trade.

Paper Structure

This paper contains 16 sections, 15 theorems, 15 equations, 1 table.

Key Result

Proposition 5.1

Let $H \in \mathrm{BH}(mk,k)$ be a matrix such that the first $k$ rows are equal to $F_{k} \otimes j_{m}$. Then any matrix $K$ obtained by multiplying any of the $k \times m$ blocks from the first $k$ rows of $H$ by any element of $\langle x \rangle$ is also in $\mathrm{BH}(mk,k)$.

Theorems & Definitions (37)

  • Definition 3.1
  • Example 3.2
  • Definition 3.3
  • Definition 3.4
  • Definition 3.5
  • Example 3.6
  • Remark 3.7
  • Proposition 5.1
  • proof
  • Corollary 5.2
  • ...and 27 more