-
Triangle-free graphs with diameter 2
Authors:
Alice Devillers,
Nina Kamčev,
Brendan McKay,
Padraig Ó Catháin,
Gordon Royle,
Geertrui Van de Voorde,
Ian Wanless,
David R. Wood
Abstract:
There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for…
▽ More
There are finitely many graphs with diameter $2$ and girth 5. What if the girth 5 assumption is relaxed? Apart from stars, are there finitely many triangle-free graphs with diameter $2$ and no $K_{2,3}$ subgraph? This question is related to the existence of triangle-free strongly regular graphs, but allowing for a range of co-degrees gives the question a more extremal flavour. More generally, for fixed $s$ and $t$, are there infinitely many twin-free triangle-free $K_{s,t}$-free graphs with diameter 2? This paper presents partial results regarding these questions, including computational results, potential Cayley-graph and probabilistic constructions.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
A Bollobás-type problem: from root systems to Erdős-Ko-Rado
Authors:
Patrick J. Browne,
Qëndrim R. Gashi,
Padraig Ó Catháin
Abstract:
Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide u…
▽ More
Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide upper and lower bounds for this problem, relying on classical results of extremal combinatorics and an explicit construction using the incidence matrix of a finite projective plane.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Invariants of Quadratic Forms and applications in Design Theory
Authors:
Oliver W. Gnilke,
Padraig O Cathain,
Oktay Olmez,
Guillermo Nunez Ponasso
Abstract:
The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs…
▽ More
The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.
△ Less
Submitted 3 November, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Segre's theorem on ovals in Desarguesian projective planes
Authors:
Patrick J. Browne,
Steven T. Dougherty,
Padraig Ó Catháin
Abstract:
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desarg…
▽ More
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desargues' theorem are presented in full. While following the broad outline of Segre's proof, careful parameterisation of certain tangent lines results in shorter and simpler computations than the original.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Block avoiding point sequencings of partial Steiner systems
Authors:
Daniel Horsley,
Padraig Ó Catháin
Abstract:
A partial $(n,k,t)_λ$-system is a pair $(X,\mathcal{B})$ where $X$ is an $n$-set of vertices and $\mathcal{B}$ is a collection of $k$-subsets of $X$ called blocks such that each $t$-set of vertices is a subset of at most $λ$ blocks. A sequencing of such a system is a labelling of its vertices with distinct elements of $\{0,\ldots,n-1\}$. A sequencing is $\ell$-block avoiding or, more briefly,…
▽ More
A partial $(n,k,t)_λ$-system is a pair $(X,\mathcal{B})$ where $X$ is an $n$-set of vertices and $\mathcal{B}$ is a collection of $k$-subsets of $X$ called blocks such that each $t$-set of vertices is a subset of at most $λ$ blocks. A sequencing of such a system is a labelling of its vertices with distinct elements of $\{0,\ldots,n-1\}$. A sequencing is $\ell$-block avoiding or, more briefly, $\ell$-good if no block is contained in a set of $\ell$ vertices with consecutive labels. Here we give a short proof that, for fixed $k$, $t$ and $λ$, any partial $(n,k,t)_λ$-system has an $\ell$-good sequencing for some $\ell=Θ(n^{1/t})$ as $n$ becomes large. This improves on results of Blackburn and Etzion, and of Stinson and Veitch. Our result is perhaps of most interest in the case $k=t+1$ where results of Kostochka, Mubayi and Verstraëte show that the value of $\ell$ cannot be increased beyond $Θ((n \log n)^{1/t})$. A special case of our result shows that every partial Steiner triple system (partial $(n,3,2)_1$-system) has an $\ell$-good sequencing for each positive integer $\ell \leq 0.0908\,n^{1/2}$.
△ Less
Submitted 1 August, 2022; v1 submitted 1 November, 2021;
originally announced November 2021.
-
A Survey of the Hadamard Maximal Determinant Problem
Authors:
Patrick Browne,
Ronan Egan,
Fintan Hegarty,
Padraig O Cathain
Abstract:
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.…
▽ More
In a celebrated paper of 1893, Hadamard established the maximal determinant theorem, which establishes an upper bound on the determinant of a matrix with complex entries of norm at most $1$. His paper concludes with the suggestion that mathematicians study the maximum value of the determinant of an $n \times n$ matrix with entries in $\{ \pm 1\}$. This is the Hadamard maximal determinant problem.
This survey provides complete proofs of the major results obtained thus far. We focus equally on upper bounds for the determinant (achieved largely via the study of the Gram matrices), and constructive lower bounds (achieved largely via quadratic residues in finite fields and concepts from design theory). To provide an impression of the historical development of the subject, we have attempted to modernise many of the original proofs, while maintaining the underlying ideas. Thus some of the proofs have the flavour of determinant theory, and some appear in print in English for the first time.
We survey constructions of matrices in order $n \equiv 3 \mod 4$, giving asymptotic analysis which has not previously appeared in the literature. We prove that there exists an infinite family of matrices achieving at least $0.48$ of the maximal determinant bound. Previously the best known constant for a result of this type was $0.34$.
△ Less
Submitted 3 November, 2021; v1 submitted 14 April, 2021;
originally announced April 2021.
-
Morphisms of Skew Hadamard Matrices
Authors:
Philip Heikoop,
Guillermo Nuñez Ponasso,
Padraig Ó Catháin,
John Pugmire
Abstract:
Quaternary unit Hadamard (QUH) matrices were introduced by Fender, Kharagani and Suda along with a method to construct them at prime power orders. We present a novel construction of real Hadamard matrices from QUH matrices. Our construction recovers the result by Mukhopadhyay on the existence of real Hadamard matrices of order $q^n+q^{n-1}$ for each prime power $q\equiv 3\mod 4$. Furthermore we pr…
▽ More
Quaternary unit Hadamard (QUH) matrices were introduced by Fender, Kharagani and Suda along with a method to construct them at prime power orders. We present a novel construction of real Hadamard matrices from QUH matrices. Our construction recovers the result by Mukhopadhyay on the existence of real Hadamard matrices of order $q^n+q^{n-1}$ for each prime power $q\equiv 3\mod 4$. Furthermore we provide nonexistence conditions for QUH matrices.
△ Less
Submitted 17 April, 2020; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Dimensions of semi-simple matrix algebras
Authors:
Phillip Heikoop,
Padraig Ó Catháin
Abstract:
For $n \geq 225$ we show that every integer of the form $n + 2m$ such that $0 \leq 2m \leq n^{2} - \frac{9}{2} n \sqrt{n}$ is the dimension of a connected semi-simple subalgebra of $\mathrm{M}_{n}(k)$, that is, a subalgebra isomorphic to a direct sum of $t$ disjoint subalgebras $\mathrm{M}_{n_{i}}(k)$, where $\sum_{i=1}^{t} n_{i} = n$. From this, we conclude that the density of integers in…
▽ More
For $n \geq 225$ we show that every integer of the form $n + 2m$ such that $0 \leq 2m \leq n^{2} - \frac{9}{2} n \sqrt{n}$ is the dimension of a connected semi-simple subalgebra of $\mathrm{M}_{n}(k)$, that is, a subalgebra isomorphic to a direct sum of $t$ disjoint subalgebras $\mathrm{M}_{n_{i}}(k)$, where $\sum_{i=1}^{t} n_{i} = n$. From this, we conclude that the density of integers in $[0,\ldots, n^{2}]$ which are the dimension of a semi-simple subalgebra of $\mathrm{M}_{n}(k)$ tends to $1$ as $n \rightarrow \infty$.
△ Less
Submitted 16 August, 2019; v1 submitted 9 May, 2019;
originally announced May 2019.
-
Constructing cocyclic Hadamard matrices of order 4p
Authors:
Santiago Barrera Acevedo,
Heiko Dietrich,
Padraig O Cathain
Abstract:
Cocyclic Hadamard matrices (CHMs) were introduced by de Launey and Horadam as a class of Hadamard matrices with interesting algebraic properties. Ó Catháin and Röder described a classification algorithm for CHMs of order $4n$ based on relative difference sets in groups of order $8n$; this led to the classification of all CHMs of order at most 36. Based on work of de Launey and Flannery, we describ…
▽ More
Cocyclic Hadamard matrices (CHMs) were introduced by de Launey and Horadam as a class of Hadamard matrices with interesting algebraic properties. Ó Catháin and Röder described a classification algorithm for CHMs of order $4n$ based on relative difference sets in groups of order $8n$; this led to the classification of all CHMs of order at most 36. Based on work of de Launey and Flannery, we describe a classification algorithm for CHMs of order $4p$ with $p$ a prime; we prove refined structure results and provide a classification for $p \leqslant 13$. Our analysis shows that every CHM of order $4p$ with $p\equiv 1\bmod 4$ is equivalent to a Hadamard matrix with one of five distinct block structures, including Williamson type and (transposed) Ito matrices. If $p\equiv 3 \bmod 4$, then every CHM of order $4p$ is equivalent to a Williamson type or (transposed) Ito matrix.
△ Less
Submitted 17 July, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
Homomorphisms of matrix algebras and constructions of Butson-Hadamard matrices
Authors:
Padraig O Cathain,
Eric Swartz
Abstract:
An $n \times n$ matrix $H$ is Butson-Hadamard if its entries are $k^{\text{th}}$ roots of unity and it satisfies $HH^* = nI_n$. Write $BH(n, k)$ for the set of such matrices.
Suppose that $k = p^αq^β$ where $p$ and $q$ are primes and $α\geq 1$. A recent result of {Ö}stergård and Paavola uses a matrix $H \in BH(n,pk)$ to construct $H' \in BH(pn, k)$. We simplify the proof of this result and remov…
▽ More
An $n \times n$ matrix $H$ is Butson-Hadamard if its entries are $k^{\text{th}}$ roots of unity and it satisfies $HH^* = nI_n$. Write $BH(n, k)$ for the set of such matrices.
Suppose that $k = p^αq^β$ where $p$ and $q$ are primes and $α\geq 1$. A recent result of {Ö}stergård and Paavola uses a matrix $H \in BH(n,pk)$ to construct $H' \in BH(pn, k)$. We simplify the proof of this result and remove the restriction on the number of prime divisors of $k$. More precisely, we prove that if $k = mt$, and each prime divisor of $k$ divides $t$, then we can construct a matrix $H' \in BH(mn, t)$ from any $H \in BH(n,k)$.
△ Less
Submitted 16 August, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Spectra of Hadamard matrices
Authors:
Ronan Egan,
Padraig O Cathain,
Eric Swartz
Abstract:
A Butson Hadamard matrix $H$ has entries in the kth roots of unity, and satisfies the matrix equation $HH^{\ast} = nI_{n}$. We write $\mathrm{BH}(n, k)$ for the set of such matrices. A complete morphism of Butson matrices is a map $\mathrm{BH}(n, k) \rightarrow \mathrm{BH}(m, \ell)$. In this paper, we develop a technique for controlling the spectra of certain Hadamard matrices. For each integer…
▽ More
A Butson Hadamard matrix $H$ has entries in the kth roots of unity, and satisfies the matrix equation $HH^{\ast} = nI_{n}$. We write $\mathrm{BH}(n, k)$ for the set of such matrices. A complete morphism of Butson matrices is a map $\mathrm{BH}(n, k) \rightarrow \mathrm{BH}(m, \ell)$. In this paper, we develop a technique for controlling the spectra of certain Hadamard matrices. For each integer $t$, we construct a real Hadamard matrix $H_{t}$ of order $n_{t} = 2^{2^{t-1}-1}$ such that the minimal polynomial of $\frac{1}{\sqrt{n_{t}}}H_{t}$ is the cyclotomic polynomial $Φ_{2^{t+1}}(x)$. Such matrices yield new examples of complete morphisms \[ \mathrm{BH}(n, 2^{t}) \rightarrow \mathrm{BH}(2^{2^{t-1}-1}n, 2)\,, \] for each $t \geq 2$, generalising a well-known result of Turyn.
△ Less
Submitted 11 January, 2019; v1 submitted 11 July, 2018;
originally announced July 2018.
-
Construction of the outer automorphism of S6 via a complex Hadamard matrix
Authors:
Neil Gillespie,
Padraig Ó Catháin,
Cheryl Praeger
Abstract:
We give a new construction of the outer automorphism of the symmetric group on six points. Our construction features a complex Hadamard matrix of order six containing third roots of unity and the algebra of split quaternions over the real numbers.
We give a new construction of the outer automorphism of the symmetric group on six points. Our construction features a complex Hadamard matrix of order six containing third roots of unity and the algebra of split quaternions over the real numbers.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Morphisms of Butson classes
Authors:
Ronan Egan,
Padraig Ó Catháin
Abstract:
We introduce the concept of a morphism from the set of Butson Hadamard matrices over kth roots of unity to the set of Butson matrices over $\ell$th roots of unity. As concrete examples of such morphisms, we describe tensor-product-like maps which reduce the order of the roots of unity appearing in a Butson matrix at the cost of increasing the dimension. Such maps can be constructed from Butson mat…
▽ More
We introduce the concept of a morphism from the set of Butson Hadamard matrices over kth roots of unity to the set of Butson matrices over $\ell$th roots of unity. As concrete examples of such morphisms, we describe tensor-product-like maps which reduce the order of the roots of unity appearing in a Butson matrix at the cost of increasing the dimension. Such maps can be constructed from Butson matrices with eigenvalues satisfying certain natural conditions. Our work unifies and generalises Turyn's construction of real Hadamard matrices from Butson matrices over the 4th roots and the work of Compton, Craigen and de Launey on `unreal' Butson matrices over the 6th roots. As a case study, we classify all morphisms from the set of $n \times n$ Butson matrices over kth roots of unity to the set of $2n\times 2n$ Butson matrices over $\ell$th roots of unity where $\ell < k$.
△ Less
Submitted 25 October, 2017; v1 submitted 27 July, 2017;
originally announced July 2017.
-
Improved User-Private Information Retrieval via Finite Geometry
Authors:
Oliver Gnilke,
Marcus Greferath,
Camilla Hollanti,
Guillermo Nuñez Ponasso,
Padraig Ó Catháin,
Eric Swartz
Abstract:
In a User-Private Information Retrieval (UPIR) scheme, a set of users collaborate to retrieve files from a database without revealing to observers which participant in the scheme requested the file. Protocols have been proposed based on pairwise balanced designs and symmetric designs. Wepropose a new class of UPIR schemes based on generalised quadrangles (GQ).
We prove that while the privacy of…
▽ More
In a User-Private Information Retrieval (UPIR) scheme, a set of users collaborate to retrieve files from a database without revealing to observers which participant in the scheme requested the file. Protocols have been proposed based on pairwise balanced designs and symmetric designs. Wepropose a new class of UPIR schemes based on generalised quadrangles (GQ).
We prove that while the privacy of users in the previously proposed schemes could be compromised by a single user, the new GQ-UPIR schemes proposed in this paper maintain privacy with high probability even when up to $O(n^{1/4 - ε})$ users collude, where $n$ is the total number of users in the scheme.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Explicit correlation amplifiers for finding outlier correlations in deterministic subquadratic time
Authors:
Matti Karppa,
Petteri Kaski,
Jukka Kohonen,
Padraig Ó Catháin
Abstract:
We derandomize G. Valiant's [J. ACM 62 (2015) Art. 13] subquadratic-time algorithm for finding outlier correlations in binary data. Our derandomized algorithm gives deterministic subquadratic scaling essentially for the same parameter range as Valiant's randomized algorithm, but the precise constants we save over quadratic scaling are more modest. Our main technical tool for derandomization is an…
▽ More
We derandomize G. Valiant's [J. ACM 62 (2015) Art. 13] subquadratic-time algorithm for finding outlier correlations in binary data. Our derandomized algorithm gives deterministic subquadratic scaling essentially for the same parameter range as Valiant's randomized algorithm, but the precise constants we save over quadratic scaling are more modest. Our main technical tool for derandomization is an explicit family of correlation amplifiers built via a family of zigzag-product expanders in Reingold, Vadhan, and Wigderson [Ann. of Math. 155 (2002) 157--187]. We say that a function $f:\{-1,1\}^d\rightarrow\{-1,1\}^D$ is a correlation amplifier with threshold $0\leqτ\leq 1$, error $γ\geq 1$, and strength $p$ an even positive integer if for all pairs of vectors $x,y\in\{-1,1\}^d$ it holds that (i) $|\langle x,y\rangle|<τd$ implies $|\langle f(x),f(y)\rangle|\leq(τγ)^pD$; and (ii) $|\langle x,y\rangle|\geqτd$ implies $\bigl(\frac{\langle x,y\rangle}{γd}\bigr)^pD
\leq\langle f(x),f(y)\rangle\leq
\bigl(\frac{γ\langle x,y\rangle}{d}\bigr)^pD$.
△ Less
Submitted 8 November, 2016; v1 submitted 17 June, 2016;
originally announced June 2016.
-
Remark on a result of Constantine
Authors:
Padraig Ó Catháin
Abstract:
In this short note we construct codes of length $4n$ with $8n+8$ codewords and minimum distance $2n-2$ whenever $4n+4$ is the order of a Hadamard matrix. This generalises work of Constantine who obtained a similar result in the special case that $n$ is a prime power.
In this short note we construct codes of length $4n$ with $8n+8$ codewords and minimum distance $2n-2$ whenever $4n+4$ is the order of a Hadamard matrix. This generalises work of Constantine who obtained a similar result in the special case that $n$ is a prime power.
△ Less
Submitted 12 March, 2016; v1 submitted 25 November, 2015;
originally announced November 2015.
-
Sparsification of Matrices and Compressed Sensing
Authors:
Fintan Hegarty,
Padraig Ó Catháin,
Yunbin Zhao
Abstract:
Compressed sensing is a signal processing technique whereby the limits imposed by the Shannon--Nyquist theorem can be exceeded provided certain conditions are imposed on the signal. Such conditions occur in many real-world scenarios, and compressed sensing has emerging applications in medical imaging, big data, and statistics. Finding practical matrix constructions and computationally efficient re…
▽ More
Compressed sensing is a signal processing technique whereby the limits imposed by the Shannon--Nyquist theorem can be exceeded provided certain conditions are imposed on the signal. Such conditions occur in many real-world scenarios, and compressed sensing has emerging applications in medical imaging, big data, and statistics. Finding practical matrix constructions and computationally efficient recovery algorithms for compressed sensing is an area of intense research interest. Many probabilistic matrix constructions have been proposed, and it is now well known that matrices with entries drawn from a suitable probability distribution are essentially optimal for compressed sensing.
Potential applications have motivated the search for constructions of sparse compressed sensing matrices (i.e., matrices containing few non-zero entries). Various constructions have been proposed, and simulations suggest that their performance is comparable to that of dense matrices. In this paper, extensive simulations are presented which suggest that sparsification leads to a marked improvement in compressed sensing performance for a large class of matrix constructions and for many different recovery algorithms.
△ Less
Submitted 14 February, 2018; v1 submitted 10 June, 2015;
originally announced June 2015.
-
Compressed sensing with combinatorial designs: theory and simulations
Authors:
Darryn Bryant,
Charles Colbourn,
Daniel Horsley,
Padraig Ó Catháin
Abstract:
In 'An asymptotic result on compressed sensing matrices', a new construction for compressed sensing matrices using combinatorial design theory was introduced. In this paper, we use deterministic and probabilistic methods to analyse the performance of matrices obtained from this construction. We provide new theoretical results and detailed simulations. These simulations indicate that the constructi…
▽ More
In 'An asymptotic result on compressed sensing matrices', a new construction for compressed sensing matrices using combinatorial design theory was introduced. In this paper, we use deterministic and probabilistic methods to analyse the performance of matrices obtained from this construction. We provide new theoretical results and detailed simulations. These simulations indicate that the construction is competitive with Gaussian random matrices, and that recovery is tolerant to noise. A new recovery algorithm tailored to the construction is also given.
△ Less
Submitted 20 May, 2015; v1 submitted 23 March, 2015;
originally announced March 2015.
-
Classifying cocyclic Butson Hadamard matrices
Authors:
Ronan Egan,
Dane Flannery,
Padraig Ó Catháin
Abstract:
We classify all the cocyclic Butson Hadamard matrices $\mathrm{BH}(n,p)$ of order $n$ over the $p$th roots of unity for an odd prime $p$ and $np\leq 100$. That is, we compile a list of matrices such that any cocyclic $\mathrm{BH}(n,p)$ for these $n$, $p$ is equivalent to exactly one element in the list. Our approach encompasses non-existence results and computational machinery for Butson and gener…
▽ More
We classify all the cocyclic Butson Hadamard matrices $\mathrm{BH}(n,p)$ of order $n$ over the $p$th roots of unity for an odd prime $p$ and $np\leq 100$. That is, we compile a list of matrices such that any cocyclic $\mathrm{BH}(n,p)$ for these $n$, $p$ is equivalent to exactly one element in the list. Our approach encompasses non-existence results and computational machinery for Butson and generalized Hadamard matrices that are of independent interest.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
Trades in complex Hadamard matrices
Authors:
Padraig Ó Catháin,
Ian M. Wanless
Abstract:
A trade in a complex Hadamard matrix is a set of entries which can be changed to obtain a different complex Hadamard matrix. We show that in a real Hadamard matrix of order $n$ all trades contain at least $n$ entries. We call a trade rectangular if it consists of a submatrix that can be multiplied by some scalar $c \neq 1$ to obtain another complex Hadamard matrix. We give a characterisation of re…
▽ More
A trade in a complex Hadamard matrix is a set of entries which can be changed to obtain a different complex Hadamard matrix. We show that in a real Hadamard matrix of order $n$ all trades contain at least $n$ entries. We call a trade rectangular if it consists of a submatrix that can be multiplied by some scalar $c \neq 1$ to obtain another complex Hadamard matrix. We give a characterisation of rectangular trades in complex Hadamard matrices of order $n$ and show that they all contain at least $n$ entries. We conjecture that all trades in complex Hadamard matrices contain at least $n$ entries.
△ Less
Submitted 8 February, 2015;
originally announced February 2015.
-
An asymptotic existence result on compressed sensing matrices
Authors:
Darryn Bryant,
Padraig Ó Catháin
Abstract:
For any rational number $h$ and all sufficiently large $n$ we give a deterministic construction for an $n\times \lfloor hn\rfloor$ compressed sensing matrix with $(\ell_1,t)$-recoverability where $t=O(\sqrt{n})$. Our method uses pairwise balanced designs and complex Hadamard matrices in the construction of $ε$-equiangular frames, which we introduce as a generalisation of equiangular tight frames.…
▽ More
For any rational number $h$ and all sufficiently large $n$ we give a deterministic construction for an $n\times \lfloor hn\rfloor$ compressed sensing matrix with $(\ell_1,t)$-recoverability where $t=O(\sqrt{n})$. Our method uses pairwise balanced designs and complex Hadamard matrices in the construction of $ε$-equiangular frames, which we introduce as a generalisation of equiangular tight frames. The method is general and produces good compressed sensing matrices from any appropriately chosen pairwise balanced design. The $(\ell_1,t)$-recoverability performance is specified as a simple function of the parameters of the design. To obtain our asymptotic existence result we prove new results on the existence of pairwise balanced designs in which the numbers of blocks of each size are specified.
△ Less
Submitted 8 February, 2015; v1 submitted 12 March, 2014;
originally announced March 2014.