Source author record

Padraig Ó Catháin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Information Theory math.IT Data Structures and Algorithms math.AG math.FA math.GR math.HO math.OC

Catalog footprint

Research overview

8works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Segre's theorem on ovals in Desarguesian projective planes

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.

preprint2020arXiv

Morphisms of Skew Hadamard Matrices

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.

preprint2016arXiv

Explicit correlation amplifiers for finding outlier correlations in deterministic subquadratic time

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$ .

preprint2016arXiv

Remark on a result of Constantine

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.

preprint2015arXiv

An asymptotic existence result on compressed sensing matrices

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.

preprint2015arXiv

Classifying cocyclic Butson Hadamard matrices

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.

preprint2015arXiv

Compressed sensing with combinatorial designs: theory and simulations

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.

preprint2015arXiv

Trades in complex Hadamard matrices

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Padraig Ó Catháin

Research overview

Is this your work?

8 publications

Segre's theorem on ovals in Desarguesian projective planes

Morphisms of Skew Hadamard Matrices

Explicit correlation amplifiers for finding outlier correlations in deterministic subquadratic time

Remark on a result of Constantine

An asymptotic existence result on compressed sensing matrices

Classifying cocyclic Butson Hadamard matrices

Compressed sensing with combinatorial designs: theory and simulations

Trades in complex Hadamard matrices

See the researcher in context

Building this map preview