Hadamardova matice, pojmenovaná po francouzském matematikovi Jacquesovi Hadamardovi (1865–1963), je v matematice čtvercová matice, jejíž prvky mají hodnotu buď +1 nebo -1 a jejíž řádky jsou navzájem ortogonální. Ortogonalitu řádků lze geometricky interpretovat tak, že každá dvojice řádků v Hadamardově matici představuje dva navzájem kolmé vektory. Kombinatorická lze ortogonalitu interpretovat tak, že každá dvojice řádků má shodné hodnoty v přesně polovině sloupců a opačné hodnoty ve zbývajících sloupcích. Hadamardovy matice jsou až na skalární násobek ortogonální, a proto všechny jejich vlastnosti platí nejen pro řádky, ale i pro sloupce.

Gilbert Strang demonstruje Hadamardovu domněnku na MIT v roce 2005 pomocí Sylvesterovy konstrukce.

Rovnoběžnostěn dimenze určený řádky Hadamardovy matice řádu má maximální možný -rozměrný objem mezi možnými rovnoběžnostěny určenými vektory s prvky absolutní hodnoty nejvýše 1. Jinými slovy, Hadamardovy matice mají největší možnou absolutní hodnotu determinantu mezi maticemi se prvky z intervalu , a tak je extremálním řešením Hadamardova problému maximálního determinantu.

Některé Hadamardovy matice přímo určují Hadamardův samoopravný kód (zobecněn v Reedových–Mullerových kódech). Hadamardovy matice se také používají ve statistice k odhadu rozptylu.

Vlastnosti

editovat

Z kolmosti různých řádků Hadamardovy matice   vyplývá, že v součinu  , kde   značí transpozici matice  , jsou mimo diagonálu samé nuly. Na diagonále výsledné matice je hodnota standardního skalárního součinu odpovídajícího řádku se sebou samým, čili eukleidovská délka vektoru. Vektor o   složkách hodnot 1 a -1 má délku  .

Reálná čtvercová matice řádu   je proto Hadamardova, právě když pro ni platí:

 

kde   značí jednotkovou matici řádu  .

Matice   (vzniklá vydělením prvků matice   hodnotou  ) je ortogonální, neboli matice jejíž transpozice se shoduje s její inverzí.

Inverzní matice

editovat

Matici inverzní k Hadamardově matici   lze vyjádřit pomocí transpozice:

 

Poslední vztah lze i obrátit a vyjádřit  . Z něj lze odvodit že Hadamardova matice komutuje v součinu se svou transpozicí, neboť:

 

Úpravy

editovat

Transpozicí Hadamardovy matice vznikne opět Hadamardova matice, protože

 

V důsledku lze veškeré vlastnosti či úpravy řádků aplikovat i na sloupce.

Vlastnosti Hadamardovy matice se zachovávají i při přerovnání řádků a sloupců, protože ortogonalita vektorů je nezměněna, jsou-li vektory umístěné v matici v jiném pořadí.

Změna znamének v některém řádku či sloupci Hadamardovy matice odpovídá náhradě vektoru opačným vektorem. Z linearity skalárního součinu vůči skalárním násobkům vyplývá, že tato operace zachovává ortogonalitu, a proto je výsledkem opět Hadamardova matice.

Z libovolné Hadamardovy matice lze proto uvedenými operacemi získat Hadamardovu matici stejného řádu, v jejímž prvním řádku i sloupci jsou samé jedničky.

Determinant

editovat

Hadamardova matice má shodný determinant jako její transpozice, a tak z rovnosti:

 

bezprostředně vyplývá:

 

Hadamardova nerovnost pro komplexní matici   řádu  , jejíž prvky mají absolutní hodnotu nejvýše 1, udává horní mez na hodnotu determinantu:

 

Pro reálné matice se rovnosti nabývá, právě když je   Hadamardovou maticí.

Hadamardovy matice mají řád 1, 2 nebo dělitelný 4.[1]

Má-li Hadamardova matice řád  , potom lze její sloupce přerovnat tak, aby první tři řádky byly ve tvaru:

 

Jinými slovy u dvojic prvků ve druhém a třetím řádku v témže sloupci mohou nastat čtyři různé situace podle toho jaká mají znaménka. Počty těchto případů jsou označeny následovně:   značí počet jedniček ve druhém řádku nad jedničkami ve třetím řádku;   je počet 1 ve druhém řádku nad -1 ve třetím řádku;   je počet -1 ve druhém řádku nad 1 ve třetím řádku; a   je počet -1 ve druhém řádku nad -1 ve třetím řádku.

Všechny možné situace jsou pokryty, a proto  . Druhý a třetí řádek jsou navzájem kolmé, a proto  . Ze součtu těchto dvou rovnic vyplývá  , čili  .

Jedničky tvoří polovinu prvků ve druhém řádku, neboli   a podobně -1 tvoří polovinu prvků ve třetím řádku  . Z rozdílu těchto rovnic vyplývá   a následně i  . Protože je   celé číslo, je   dělitelné čtyřmi.

Sylvesterova konstrukce

editovat

Některé Hadamardovy matice ve skutečnosti poprvé zkonstruoval James Joseph Sylvester v roce 1867, konkrétně matice řádu   pro každé přirozené číslo  .[2] Je-li   Hadamardova matice řádu  , potom bloková matice

 

je Hadamardova matice řádu  . Uvedenou konstrukci lze opakovat, což vede k následující posloupnosti:

 

a obecně pro  :

 

kde   označuje Kroneckerův součin matic.

Výsledné matice symetrické a pro  , mají nulovou stopu. Prvky v prvním sloupci a prvním řádku jsou všechny kladné. Prvky ve všech ostatních řádcích a sloupcích jsou rovnoměrně rozděleny mezi kladné a záporné. Přerovnáním řádků podle počtu změn znamének (z 1 na -1 nebo naopak) lze získat tzv. Walshovy matice. Ty úzce souvisejí s Walshovými funkcemi.

 
Binární Hadamardova matice jako výsledek součinu generující matice   se svou transpozicí. Binární matice, kde bílá barva značí 0 a červená 1, je výsledkem operací v konečném tělese  , zatímco šedá čísla ukazují výsledek operací v  .

Alternativní popis konstrukce

editovat

Sylvesterovu konstrukci lze popsat také pomocí grupového homomorfismu  .

Označme   matici typu  , jejíž sloupce se skládají ze všech možných čísel ve dvojkové soustavě s nejvýše   ciframi uspořádaných vzestupně. Uvedenou matici   lze popsat rekurentním předpisem:

 
 

Bloky   a   jsou typu  .

Matematickou indukcí lze ukázat, že obraz Hadamardovy matice pod výše uvedeným homomorfismem je dán vztahem:

 

Z uvedené konstrukce vyplývá, že řádky Hadamardovy matice   odpovídají lineárnímu samoopravnému kódu délky   dimenze   a minimální vzdálenosti   s generující maticí  . Uvedený kód se nazývá Walshův kód. Hadamardův kód je naproti tomu zkonstruován z Hadamardovy matice   mírně odlišným postupem.


Hadamardova domněnka

editovat

V teorii Hadamardových matic je za hlavní otevřenou otázkou považována existence Hadamardových matic všech možných řádů. Hadamardova domněnka tak zní, že pro každé přirozené číslo   existuje Hadamardova matice řádu  . Hadamardova domněnka byla také připisována Paleymu, ačkoli i jiní před Paleyho prací ji nepřímo zvažovali.[3]

Ze zobecnění Sylvesterovy konstrukce vyplývá, že pokud jsou   a   Hadamardovy matice řádů   a  , tak potom   je Hadamardova matice řádu  . Tento vztah lze využít ke konstrukci Hadamardových matic vyšších řádů, jakmile jsou známy matice menších řádů.

Sylvesterova konstrukce z roku 1867 dává návod pro sestavení Hadamardových matic řádu 1, 2, 4, 8, 16, 32 atd. Hadamard sestavil v roce 1893 Hadamardovy matice řádů 12 a 20.[4] Raymond Paley objevil v roce 1933 konstrukci využívající konečných těles, pomocí níž lze sestrojit Hadamardovy matice řádu   pro každé prvočíslo  , které je kongruentní 3 modulo 4, a také Hadamardovy matice řádu  , pro všechna prvočísla  .[5]

Hadamardova matice řádu 92 je nejmenší, kterou nelze sestrojit kombinací Sylvesterových a Paleyových metod. Baumert, Golomb a Hall z Jet Propulsion Laboratory využili v roce 1962 Wiliamsonovu konstrukci,[6][7] díky níž pomocí počítače sestavili Hadamardovu matici řádu 92 i mnoha dalších řádů. Nyní je známo mnoho dalších metod pro konstrukci Hadamardových matic.

V roce 2005 Hadi Kharaghani a Behruz Tayfeh-Rezaie publikovali svou konstrukci Hadamardovy matice řádu 428.[8] Nejmenší řád, pro který není v současnosti (2014) známa žádná Hadamardova matice, je 668.

Do roku 2014 bylo 12 násobků 4 méně než 2000, pro které nebyla známa žádná Hadamardova matice tohoto řádu.[9] Jsou to: 668, 716, 892, 1132, 1244, 1388, 1436, 1676, 1772, 1916, 1948 a 1964.

Ekvivalence a jednoznačnost

editovat

Dvě Hadamardovy matice jsou považovány za ekvivalentní, pokud lze jednu získat z druhé změnou znamének v řádku či sloupci nebo výměnou řádků či sloupců. Hadamardovy matice řádu 1 jsou si navzájem ekvivalentní (mají jen jednu třídu ekvivalence) a totéž platí i pro řády 2, 4, 8 a 12. Hadamardovy matice řádu 16 mají 5 tříd ekvivalence, řád 20 má 3 třídy, řád 60 má 24 tříd a řád 28 má 487 tříd. Pro řády 32, 36 a 40 počet tříd přesahuje miliony. Při použití hrubšího pojmu ekvivalence, který také umožňuje transpozici, mají Hadamardovy matice řádu 16 celkem 4 třídy, řád 20 má 3 třídy, řád 24 má 36 tříd a řádu 28 má 294 tříd.

Hadamardovy matice jsou také jednoznačně obnovitelné v následujícím smyslu: Pokud je z Hadamardovy matice   řádu   náhodně odstraněno   prvků, potom lze skoro jistě obnovit původní matici  . Algoritmus obnovy má stejnou výpočetní složitost jako součin matic.[10]

Zvláštní případy

editovat

Šikmé Hadamardovy matrice

editovat

Hadamardova matice   je šikmá, pokud pro ni platí:  . Šikmá Hadamardova matice zůstane šikmou i po změně znamének v libovolném řádku a jemu odpovídajícím sloupci. Šikmé Hadamardovy matici mohou být proto normalizovány tak, aby všechny prvky v prvním řádku byly rovny 1.

Reid a Brown v roce 1972 ukázali, že dvojitě regulární turnaj řádu   existuje, právě když existuje šikmá Hadamardova matice řádu  . V matematickém turnaji řádu   hraje každý z   hráčů jeden zápas proti každému z ostatních hráčů, přičemž každý zápas vede k výhře jednoho z hráčů a prohře druhého. Turnaj je regulární, pokud každý hráč vyhraje stejný počet zápasů. Turnaj je dvojitě regulární, pokud počet soupeřů poražených dvěma různými hráči je zároveň stejný pro všechny dvojice hráčů. Protože každý z   odehraných zápasů vede k výhře jednoho z hráčů, každý hráč vyhraje   zápasů (a prohraje stejný počet). Protože každý z   hráčů poražených daným hráčem také prohrává s   dalšími hráči, počet dvojic hráčů   takových, že   prohraje jak s  , tak s daným hráčem je  . Stejný výsledek by měl být získán, pokud se dvojice počítají obráceně: daný hráč a kterýkoli z   ostatních hráčů společně porazí stejný počet společných soupeřů, jmenovitě  . Šikmá Hadamardova matice se získá zavedením dalšího hráče, který porazí všechny původní hráče, a poté vytvořením matice s řádky a sloupci označenými hráči podle pravidla, že řádek  , sloupec   obsahuje 1, pokud   nebo   porazí   a −1, pokud   porazí  . Tento předpis interpretován v opačném směru vede ke konstrukci dvojitě regulárního turnaje ze šikmé Hadamardovy matice, za předpokladu, že šikmá Hadamardova matice je normalizována tak, že všechny prvky prvního řádku jsou rovny 1. [11]

Regulární a cirkulační Hadamardovy matice

editovat

Regulární Hadamardovy matice jsou reálné Hadamardovy matice, jejichž řádkové i sloupcové součty jsou všechny stejné. Pro existenci regulární Hadamardovy matice je nutné, aby její řád byl čtvercové číslo. Každá cirkulační matice je regulární. Aby mohla cirkulační Hadamardova matice existovat, musela by mít řád, který by byl nejen druhou mocninou nějakého přirozeného čísla, ale pro   by musel být ve tvaru   pro liché  .[12][13]

Domněnka o cirkulačních Hadamardových maticích však tvrdí, že kromě řádů 1 a 4 žádné takové matice neexistují. Domněnka byla ověřena až na 26 hodnot pro všechna lichá  .[14]

Použití v praxi

editovat
  • Olivia MFSK – radioamatérský digitální protokol navržený pro práci v obtížných podmínkách (nízký odstup signálu od šumu plus vícecestné šíření) na pásmech krátkých vln.
  • Vyvážená opakovaná replikace (Balanced repeated replication, BRR) - technika používaná statistiky k odhadu rozptylu statistického odhadu.
  • Spektrometrie kódované apertury – přístroj pro měření spektra světla. Maska používaná v kódovaných aperturových spektrometrech je často variantou Hadamardovy matice.
  • Sítě se zpožděním zpětné vazby – Digitální zařízení pro dozvuk, která používají Hadamardovy matice k míchání hodnot vzorků.
  • Plackettův–Burmanův návrh experimentů pro zkoumání závislosti nějaké měřené veličiny na řadě nezávislých proměnných.
  • Robustní návrh parametrů pro zkoumání vlivu šumu na odezvy.
  • Komprimované snímání pro zpracování signálu a nedourčené soustavy lineárních rovnic.
  • Kvantová Hadamardova brána pro kvantové výpočty a Hadamardova transformace pro kvantové algoritmy.

Reference

editovat

V tomto článku byl použit překlad textu z článku Hadamard matrix na anglické Wikipedii.

  1. Hadamard Matrices and Designs [online]. UC Denver [cit. 2023-02-11]. Dostupné online. 
  2. J.J. Sylvester. Thoughts on inverse orthogonal matrices, simultaneous sign successions, and tessellated pavements in two or more colours, with applications to Newton's rule, ornamental tile-work, and the theory of numbers. Philosophical Magazine, 34:461–475, 1867.
  3. HEDAYAT, A.; WALLIS, W. D. Hadamard Matrices and Their Applications. The Annals of Statistics. 1978-11-01, roč. 6, čís. 6. Dostupné online [cit. 2025-01-01]. ISSN 0090-5364. doi:10.1214/aos/1176344370. 
  4. HADAMARD, J. Résolution d'une question relative aux déterminants. Bulletin des Sciences Mathématiques. 1893, s. 240–246. 
  5. PALEY, R. E. A. C. On orthogonal matrices. Journal of Mathematics and Physics. 1933, s. 311–320. doi:10.1002/sapm1933121311. 
  6. BAUMERT, Leonard; GOLOMB, S. W.; HALL, Marshall. Discovery of an Hadamard matrix of order 92. Bulletin of the American Mathematical Society. 1962, roč. 68, čís. 3, s. 237–238. Dostupné online [cit. 2025-01-01]. ISSN 0273-0979. doi:10.1090/S0002-9904-1962-10761-7. (anglicky) 
  7. WILLIAMSON, John. Hadamard’s determinant theorem and the sum of four squares. Duke Mathematical Journal. 1944-03-01, roč. 11, čís. 1. Dostupné online [cit. 2025-01-01]. ISSN 0012-7094. doi:10.1215/S0012-7094-44-01108-7. 
  8. KHARAGHANI, H.; TAYFEH-REZAIE, B. A Hadamard matrix of order 428. Journal of Combinatorial Designs. 2005-11, roč. 13, čís. 6, s. 435–440. Dostupné online [cit. 2025-01-01]. ISSN 1063-8539. doi:10.1002/jcd.20043. (anglicky) 
  9. ĐOKOVIĆ, Dragomir Ž.; GOLUBITSKY, Oleg; KOTSIREAS, Ilias S. Some New Orders of Hadamard and Skew‐Hadamard Matrices. Journal of Combinatorial Designs. 2014-06, roč. 22, čís. 6, s. 270–277. Dostupné online [cit. 2025-01-01]. ISSN 1063-8539. doi:10.1002/jcd.21358. (anglicky) 
  10. KLINE, Jeffery. Geometric search for Hadamard matrices. Theoretical Computer Science. 2019-07-26, roč. 778, s. 33–46. Dostupné online [cit. 2025-01-01]. ISSN 0304-3975. doi:10.1016/j.tcs.2019.01.025. 
  11. REID, K.B; BROWN, Ezra. Doubly regular tournaments are equivalent to skew hadamard matrices. Journal of Combinatorial Theory, Series A. 1972-05, roč. 12, čís. 3, s. 332–338. Dostupné online [cit. 2025-01-01]. doi:10.1016/0097-3165(72)90098-2. (anglicky) 
  12. TURYN, Richard. Character sums and difference sets. Pacific Journal of Mathematics. 1965-03-01, roč. 15, čís. 1, s. 319–346. Dostupné online [cit. 2025-01-01]. ISSN 0030-8730. doi:10.2140/pjm.1965.15.319. (anglicky) 
  13. TURYN, R. J. Error Correcting Codes. Redakce Mann H. B.. New York: Wiley, 1969. Kapitola Sequences with small correlation, s. 195–228. 
  14. SCHMIDT, Bernhard. Cyclotomic integers and finite geometry. Journal of the American Mathematical Society. 1999-05-05, roč. 12, čís. 4, s. 929–952. Dostupné online [cit. 2025-01-01]. ISSN 0894-0347. doi:10.1090/S0894-0347-99-00298-2. (anglicky) 

Související články

editovat

Externí odkazy

editovat