Weighing matrix

In mathematics, a weighing matrix W of order n and weight w is an n × n (0,1,-1)-matrix such that , where is the transpose of and is the identity matrix of order .

For convenience, a weighing matrix of order n and weight w is often denoted by W(n,w). A W(n,n) is a Hadamard matrix and a W(n,n-1) is equivalent to a conference matrix.

Properties

Some properties are immediate from the definition. If W is a W(n,w), then:

  • The rows of W are pairwise orthogonal (that is, every pair of rows you pick from W will be orthogonal). Similarly, the columns are pairwise orthogonal.
  • Each row and each column of W has exactly w non-zero elements.
  • , since the definition means that , where is the inverse of .
  • where is the determinant of .

Examples

Note that when weighing matrices are displayed, the symbol is used to represent -1. Here are two examples:

This is a W(2,2):

This is a W(7,4):

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 w ≤ 5 as well as all cases where n ≤ 15 are also completed.[1] However, very little has been done beyond this with exception to classifying circulant weighing matrices.[2][3]

Open Questions

There are many open questions about weighing matrices. The main question about weighing matrices is their existence: for which values of n and w does there exist a 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 n and w, how many 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.

gollark: There were things with Soviet truck depots driving trucks in circles pointlessly because they had a quota of "40000 miles driven".
gollark: If your factory is told to make 100K units of winter clothing of any kind they will probably just go for the simplest/easiest one, even if it isn't very useful to have 100K winter coats (extra small) (plain white). Now, you could say "but in capitalism they'll just make the cheapest one", but companies are directly subservient to what consumers actually want and can't get away with that.
gollark: That is why we have the "legal system"./
gollark: With a government.
gollark: Sure they can. Just apply penalties/taxes if you pollute stuff.

References

  1. Harada, Masaaki; Munemasa, Akihiro (2012). "On the classification of weighing matrices and self-orthogonal codes". J. Combin. Designs. 20: 40–57. arXiv:1011.5382. doi:10.1002/jcd.20295. S2CID 1004492.
  2. Ang, Miin Huey; Arasu, K.T.; Lun Ma, Siu; Strassler, Yoseph (2008). "Study of proper circulant weighing matrices with weight 9". Discrete Mathematics. 308 (13): 2802–2809. doi:10.1016/j.disc.2004.12.029.
  3. Arasu, K.T.; Hin Leung, Ka; Lun Ma, Siu; Nabavi, Ali; Ray-Chaudhuri, D.K. (2006). "Determination of all possible orders of weight 16 circulant weighing matrices". Finite Fields and Their Applications. 12 (4): 498–538. doi:10.1016/j.ffa.2005.06.009.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.