Skip to main content
4 of 5
added 73 characters in body

$\omega\times\omega$-Hadamard matrices

In the following, we define infinite Hadamard matrices.

Let $\omega$ be the set of non-negative integers. If $f,g:\omega\to\{-1,1\}$ are maps, then we say $f,g$ are approximately orthogonal if there is a global constant $C_0\in\omega$ such that for all $n\in\omega$ we have $$\Big|\sum_{k=0}^n \big(f(k)\cdot g(k)\big)\Big| < C_0.$$

An infinite Hadamard matrix is a map $M:\omega^2 \to \{-1,1\}$ such that whenever $i\neq j \in\omega$ then the "row vectors" $M[i,\cdot]$ and $M[j,\cdot]$ are approximately orthogonal. (Given $a\in\omega$, the map $M[a,\cdot]:\omega\to\{-1,1\}$ is defined by $n\mapsto M(a, n)$.)

Question. What is an example of an infinite Hadamard matrix?