Weighing matrices are so called because of their use in optimally measuring the individual weights of multiple objects.^[1][2]

In mathematics, a weighing matrix of order ${\displaystyle n}$ and weight ${\displaystyle w}$ is a matrix ${\displaystyle W}$ with entries from the set ${\displaystyle \{0,1,-1\}}$ such that:

${\displaystyle WW^{\mathsf {T}}=wI_{n}}$

Where ${\displaystyle W^{\mathsf {T}}}$ is the transpose of ${\displaystyle W}$ and ${\displaystyle I_{n}}$ is the identity matrix of order ${\displaystyle n}$. The weight ${\displaystyle w}$ is also called the degree of the matrix. For convenience, a weighing matrix of order ${\displaystyle n}$ and weight ${\displaystyle w}$ is often denoted by ${\displaystyle W(n,w)}$.^[3]

Weighing matrices are so called because of their use in optimally measuring the individual weights of multiple objects. When the weighing device is a balance scale, the statistical variance of the measurement can be minimized by weighing multiple objects at once, including some objects in the opposite pan of the scale where they subtract from the measurement.^[1][2]

Properties

Some properties are immediate from the definition. If ${\displaystyle W}$ is a ${\displaystyle W(n,w)}$, then:

• The rows of ${\displaystyle W}$ are pairwise orthogonal. Similarly, the columns are pairwise orthogonal.
• Each row and each column of ${\displaystyle W}$ has exactly ${\displaystyle w}$ non-zero elements.
• ${\displaystyle W^{\mathsf {T}}W=wI}$, since the definition means that ${\displaystyle W^{-1}=w^{-1}W^{\mathsf {T}}}$, where ${\displaystyle W^{-1}}$ is the inverse of ${\displaystyle W}$.
• ${\displaystyle \det W=\pm w^{n/2}}$ where ${\displaystyle \det W}$ is the determinant of ${\displaystyle W}$.

A weighing matrix is a generalization of Hadamard matrix, which does not allow zero entries.^[3] As two special cases, a ${\displaystyle W(n,n)}$ is a Hadamard matrix^[3] and a ${\displaystyle W(n,n-1)}$ is equivalent to a conference matrix.

Applications

Optical measurement

An optical mask (3) based on a weighing matrix is used in the measurement of the spectrum of incoming light (4). Depending on the corresponding element of the matrix, the light is either absorbed, or passed to one of two intensity detectors (1,2).^[6]

Weighing matrices appear in the engineering of spectrometers, image scanners,^[6] and optical multiplexing systems.^[5] The design of these instruments involve an optical mask and two detectors that measure the intensity of light. The mask can either transmit light to the first detector, absorb it, or reflect it toward the second detector. The measurement of the second detector is subtracted from the first, and so these three cases correspond to weighing matrix elements of 1, 0, and −1 respectively. As this is essentially the same measurement problem as in the previous section, the usefulness of weighing matrices also applies.^[6]

Examples

Note that when weighing matrices are displayed, the symbol ${\displaystyle -}$ is used to represent −1. Here are some examples:

This is a ${\displaystyle W(2,2)}$:

${\displaystyle {\begin{pmatrix}1&1\\1&-\end{pmatrix}}}$

This is a ${\displaystyle W(4,3)}$:

${\displaystyle {\begin{pmatrix}1&1&1&0\\1&-&0&1\\1&0&-&-\\0&1&-&1\end{pmatrix}}}$

This is a ${\displaystyle W(7,4)}$:

${\displaystyle {\begin{pmatrix}1&1&1&1&0&0&0\\1&-&0&0&1&1&0\\1&0&-&0&-&0&1\\1&0&0&-&0&-&-\\0&1&-&0&0&1&-\\0&1&0&-&1&0&1\\0&0&1&-&-&1&0\end{pmatrix}}}$

Another ${\displaystyle W(7,4)}$:

${\displaystyle {\begin{pmatrix}-&1&1&0&1&0&0\\0&-&1&1&0&1&0\\0&0&-&1&1&0&1\\1&0&0&-&1&1&0\\0&1&0&0&-&1&1\\1&0&1&0&0&-&1\\1&1&0&1&0&0&-\end{pmatrix}}}$

Which is circulant, i.e. each row is a cyclic shift of the previous row. Such a matrix is called a ${\displaystyle CW(n,k)}$ and is determined by its first row. Circulant weighing matrices are of special interest since their algebraic structure makes them easier for classification. Indeed, we know that a circulant weighing matrix of order ${\displaystyle n}$ and weight ${\displaystyle k}$ must be of square weight. So, weights ${\displaystyle 1,4,9,16,...}$ are permissible and weights ${\displaystyle k\leq 25}$ have been completely classified.^[7] Two special (and actually, extreme) cases of circulant weighing matrices are (A) circulant Hadamard matrices which are conjectured not to exist unless their order is less than 5. This conjecture, the circulant Hadamard conjecture first raised by Ryser, is known to be true for many orders but is still open. (B) ${\displaystyle CW(n,k)}$ of weight ${\displaystyle k=s^{2}}$ and minimal order ${\displaystyle n}$ exist if ${\displaystyle s}$ is a prime power and such a circulant weighing matrix can be obtained by signing the complement of a finite projective plane. Since all ${\displaystyle CW(n,k)}$ for ${\displaystyle k\leq 25}$ have been classified, the first open case is ${\displaystyle CW(105,36)}$. The first open case for a general weighing matrix (certainly not a circulant) is ${\displaystyle W(35,25)}$.

Equivalence

Two weighing matrices are considered to be equivalent if one can be obtained from the other by a series of permutations and negations of the rows and columns of the matrix. The classification of weighing matrices is complete for cases where ${\displaystyle w\leq 5}$ as well as all cases where ${\displaystyle n\leq 15}$ are also completed.^[8] However, very little has been done beyond this with exception to classifying circulant weighing matrices.^[9][10]

Open questions

There are many open questions about weighing matrices. The main question about weighing matrices is their existence: for which values of ${\displaystyle n}$ and ${\displaystyle w}$ does there exist a ${\displaystyle W(n,w)}$? A great deal about this is unknown. An equally important but often overlooked question about weighing matrices is their enumeration: for a given ${\displaystyle n}$ and ${\displaystyle w}$, how many ${\displaystyle W(n,w)}$'s are there?

This question has two different meanings. Enumerating up to equivalence and enumerating different matrices with same n,k parameters. Some papers were published on the first question but none were published on the second important question.

References